| OLD | NEW |
| 1 ; RUN: opt < %s -constprop -S | FileCheck %s | 1 ; RUN: opt < %s -constprop -S | FileCheck %s |
| 2 | 2 |
| 3 declare double @cos(double) | |
| 4 | |
| 5 declare double @sin(double) | |
| 6 | |
| 7 declare double @tan(double) | |
| 8 | |
| 9 declare double @sqrt(double) | |
| 10 declare double @exp2(double) | |
| 11 | |
| 12 define 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 | |
| 30 define i1 @test_sse_cvt() nounwind readnone { | 3 define i1 @test_sse_cvt() nounwind readnone { |
| 31 ; CHECK: @test_sse_cvt | 4 ; CHECK: @test_sse_cvt |
| 32 ; CHECK-NOT: call | 5 ; CHECK-NOT: call |
| 33 ; CHECK: ret i1 true | 6 ; CHECK: ret i1 true |
| 34 entry: | 7 entry: |
| 35 %i0 = tail call i32 @llvm.x86.sse.cvtss2si(<4 x float> <float 1.75, float unde
f, float undef, float undef>) nounwind | 8 %i0 = tail call i32 @llvm.x86.sse.cvtss2si(<4 x float> <float 1.75, float unde
f, float undef, float undef>) nounwind |
| 36 %i1 = tail call i32 @llvm.x86.sse.cvttss2si(<4 x float> <float 1.75, float und
ef, float undef, float undef>) nounwind | 9 %i1 = tail call i32 @llvm.x86.sse.cvttss2si(<4 x float> <float 1.75, float und
ef, float undef, float undef>) nounwind |
| 37 %i2 = tail call i64 @llvm.x86.sse.cvtss2si64(<4 x float> <float 1.75, float un
def, float undef, float undef>) nounwind | 10 %i2 = tail call i64 @llvm.x86.sse.cvtss2si64(<4 x float> <float 1.75, float un
def, float undef, float undef>) nounwind |
| 38 %i3 = tail call i64 @llvm.x86.sse.cvttss2si64(<4 x float> <float 1.75, float u
ndef, float undef, float undef>) nounwind | 11 %i3 = tail call i64 @llvm.x86.sse.cvttss2si64(<4 x float> <float 1.75, float u
ndef, float undef, float undef>) nounwind |
| 39 %i4 = call i32 @llvm.x86.sse2.cvtsd2si(<2 x double> <double 1.75, double undef
>) nounwind | 12 %i4 = call i32 @llvm.x86.sse2.cvtsd2si(<2 x double> <double 1.75, double undef
>) nounwind |
| (...skipping 12 matching lines...) Expand all Loading... |
| 52 } | 25 } |
| 53 | 26 |
| 54 declare i32 @llvm.x86.sse.cvtss2si(<4 x float>) nounwind readnone | 27 declare i32 @llvm.x86.sse.cvtss2si(<4 x float>) nounwind readnone |
| 55 declare i32 @llvm.x86.sse.cvttss2si(<4 x float>) nounwind readnone | 28 declare i32 @llvm.x86.sse.cvttss2si(<4 x float>) nounwind readnone |
| 56 declare i64 @llvm.x86.sse.cvtss2si64(<4 x float>) nounwind readnone | 29 declare i64 @llvm.x86.sse.cvtss2si64(<4 x float>) nounwind readnone |
| 57 declare i64 @llvm.x86.sse.cvttss2si64(<4 x float>) nounwind readnone | 30 declare i64 @llvm.x86.sse.cvttss2si64(<4 x float>) nounwind readnone |
| 58 declare i32 @llvm.x86.sse2.cvtsd2si(<2 x double>) nounwind readnone | 31 declare i32 @llvm.x86.sse2.cvtsd2si(<2 x double>) nounwind readnone |
| 59 declare i32 @llvm.x86.sse2.cvttsd2si(<2 x double>) nounwind readnone | 32 declare i32 @llvm.x86.sse2.cvttsd2si(<2 x double>) nounwind readnone |
| 60 declare i64 @llvm.x86.sse2.cvtsd2si64(<2 x double>) nounwind readnone | 33 declare i64 @llvm.x86.sse2.cvtsd2si64(<2 x double>) nounwind readnone |
| 61 declare i64 @llvm.x86.sse2.cvttsd2si64(<2 x double>) nounwind readnone | 34 declare i64 @llvm.x86.sse2.cvttsd2si64(<2 x double>) nounwind readnone |
| OLD | NEW |