67 lines · plain
1; RUN: opt -S -passes=instcombine < %s | FileCheck %s2 3declare float @llvm.fma.f32(float, float, float) #04declare float @llvm.fmuladd.f32(float, float, float) #05declare <4 x float> @llvm.fma.v4f32(<4 x float>, <4 x float>, <4 x float>) #06 7declare double @llvm.fma.f64(double, double, double) #08declare double @llvm.fmuladd.f64(double, double, double) #09 10declare double @llvm.sqrt.f64(double) #011 12 13; CHECK-LABEL: @constant_fold_fma_f3214; CHECK-NEXT: ret float 6.000000e+0015define float @constant_fold_fma_f32() #0 {16 %x = call float @llvm.fma.f32(float 1.0, float 2.0, float 4.0) #017 ret float %x18}19 20; CHECK-LABEL: @constant_fold_fma_v4f3221; CHECK-NEXT: ret <4 x float> <float 1.200000e+01, float 1.400000e+01, float 1.600000e+01, float 1.800000e+01>22define <4 x float> @constant_fold_fma_v4f32() #0 {23 %x = call <4 x float> @llvm.fma.v4f32(<4 x float> <float 1.0, float 2.0, float 3.0, float 4.0>, <4 x float> <float 2.0, float 2.0, float 2.0, float 2.0>, <4 x float> <float 10.0, float 10.0, float 10.0, float 10.0>)24 ret <4 x float> %x25}26 27; CHECK-LABEL: @constant_fold_fmuladd_f3228; CHECK-NEXT: ret float 6.000000e+0029define float @constant_fold_fmuladd_f32() #0 {30 %x = call float @llvm.fmuladd.f32(float 1.0, float 2.0, float 4.0) #031 ret float %x32}33 34; CHECK-LABEL: @constant_fold_fma_f6435; CHECK-NEXT: ret double 6.000000e+0036define double @constant_fold_fma_f64() #0 {37 %x = call double @llvm.fma.f64(double 1.0, double 2.0, double 4.0) #038 ret double %x39}40 41; CHECK-LABEL: @constant_fold_fmuladd_f6442; CHECK-NEXT: ret double 6.000000e+0043define double @constant_fold_fmuladd_f64() #0 {44 %x = call double @llvm.fmuladd.f64(double 1.0, double 2.0, double 4.0) #045 ret double %x46}47 48; PR3217749 50; CHECK-LABEL: @constant_fold_frem_f3251; CHECK-NEXT: ret float 0x41A61B200000000052define float @constant_fold_frem_f32() #0 {53 %x = frem float 0x43cbfcd960000000, 0xc1e2b34a0000000054 ret float %x55}56 57; PR331658 59; CHECK-LABEL: @constant_fold_frem_f6460; CHECK-NEXT: ret double 0.000000e+0061define double @constant_fold_frem_f64() {62 %x = frem double 0x43E0000000000000, 1.000000e+0063 ret double %x64}65 66attributes #0 = { nounwind readnone }67