1; RUN: opt < %s -constprop -S | FileCheck %s 2 3declare double @cos(double) 4 5declare double @sin(double) 6 7declare double @tan(double) 8 9declare double @sqrt(double) 10declare double @exp2(double) 11 12define double @T() { 13; CHECK: @T 14; CHECK-NOT: call 15; CHECK: ret 16 %A = call double @cos(double 0.000000e+00) 17 %B = call double @sin(double 0.000000e+00) 18 %a = fadd double %A, %B 19 %C = call double @tan(double 0.000000e+00) 20 %b = fadd double %a, %C 21 %D = call double @sqrt(double 4.000000e+00) 22 %c = fadd double %b, %D 23 24 ; PR9315 25 %E = call double @exp2(double 4.0) 26 %d = fadd double %c, %E 27 ret double %d 28} 29 30define i1 @test_sse_cvt() nounwind readnone { 31; CHECK: @test_sse_cvt 32; CHECK-NOT: call 33; CHECK: ret i1 true 34entry: 35 %i0 = tail call i32 @llvm.x86.sse.cvtss2si(<4 x float> <float 1.75, float undef, float undef, float undef>) nounwind 36 %i1 = tail call i32 @llvm.x86.sse.cvttss2si(<4 x float> <float 1.75, float undef, float undef, float undef>) nounwind 37 %i2 = tail call i64 @llvm.x86.sse.cvtss2si64(<4 x float> <float 1.75, float undef, float undef, float undef>) nounwind 38 %i3 = tail call i64 @llvm.x86.sse.cvttss2si64(<4 x float> <float 1.75, float undef, float undef, float undef>) nounwind 39 %i4 = call i32 @llvm.x86.sse2.cvtsd2si(<2 x double> <double 1.75, double undef>) nounwind 40 %i5 = call i32 @llvm.x86.sse2.cvttsd2si(<2 x double> <double 1.75, double undef>) nounwind 41 %i6 = call i64 @llvm.x86.sse2.cvtsd2si64(<2 x double> <double 1.75, double undef>) nounwind 42 %i7 = call i64 @llvm.x86.sse2.cvttsd2si64(<2 x double> <double 1.75, double undef>) nounwind 43 %sum11 = add i32 %i0, %i1 44 %sum12 = add i32 %i4, %i5 45 %sum1 = add i32 %sum11, %sum12 46 %sum21 = add i64 %i2, %i3 47 %sum22 = add i64 %i6, %i7 48 %sum2 = add i64 %sum21, %sum22 49 %sum1.sext = sext i32 %sum1 to i64 50 %b = icmp eq i64 %sum1.sext, %sum2 51 ret i1 %b 52} 53 54declare i32 @llvm.x86.sse.cvtss2si(<4 x float>) nounwind readnone 55declare i32 @llvm.x86.sse.cvttss2si(<4 x float>) nounwind readnone 56declare i64 @llvm.x86.sse.cvtss2si64(<4 x float>) nounwind readnone 57declare i64 @llvm.x86.sse.cvttss2si64(<4 x float>) nounwind readnone 58declare i32 @llvm.x86.sse2.cvtsd2si(<2 x double>) nounwind readnone 59declare i32 @llvm.x86.sse2.cvttsd2si(<2 x double>) nounwind readnone 60declare i64 @llvm.x86.sse2.cvtsd2si64(<2 x double>) nounwind readnone 61declare i64 @llvm.x86.sse2.cvttsd2si64(<2 x double>) nounwind readnone 62