test/Transforms/ConstProp/calls.ll - Issue 7792066: [llvm] Conditionally include target intrinsics, based on --enable-target

Side by Side Diff: test/Transforms/ConstProp/calls.ll

Issue 7792066: [llvm] Conditionally include target intrinsics, based on --enable-target Base URL: https://llvm.org/svn/llvm-project/llvm/trunk/

Patch Set: cleanups Created 9 years, 3 months ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

View unified diff | Download patch

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)	3 declare double @cos(double)

4	4

5 declare double @sin(double)	5 declare double @sin(double)

6	6

7 declare double @tan(double)	7 declare double @tan(double)

8	8

9 declare double @sqrt(double)	9 declare double @sqrt(double)

10 declare double @exp2(double)	10 declare double @exp2(double)

11	11

12 define double @T() {	12 define double @T() {

13 ; CHECK: @T	13 ; CHECK: @T

14 ; CHECK-NOT: call	14 ; CHECK-NOT: call

15 ; CHECK: ret	15 ; CHECK: ret

16 %A = call double @cos(double 0.000000e+00)	16 %A = call double @cos(double 0.000000e+00)

17 %B = call double @sin(double 0.000000e+00)	17 %B = call double @sin(double 0.000000e+00)

18 %a = fadd double %A, %B	18 %a = fadd double %A, %B

19 %C = call double @tan(double 0.000000e+00)	19 %C = call double @tan(double 0.000000e+00)

20 %b = fadd double %a, %C	20 %b = fadd double %a, %C

21 %D = call double @sqrt(double 4.000000e+00)	21 %D = call double @sqrt(double 4.000000e+00)

22 %c = fadd double %b, %D	22 %c = fadd double %b, %D

23	23

24 ; PR9315	24 ; PR9315

25 %E = call double @exp2(double 4.0)	25 %E = call double @exp2(double 4.0)

26 %d = fadd double %c, %E	26 %d = fadd double %c, %E

27 ret double %d	27 ret double %d

28 }	28 }

29

30 define i1 @test_sse_cvt() nounwind readnone {

31 ; CHECK: @test_sse_cvt

32 ; CHECK-NOT: call

33 ; CHECK: ret i1 true

34 entry:

35 %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

37 %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

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 unde f>) nounwind

41 %i6 = call i64 @llvm.x86.sse2.cvtsd2si64(<2 x double> <double 1.75, double und ef>) nounwind

42 %i7 = call i64 @llvm.x86.sse2.cvttsd2si64(<2 x double> <double 1.75, double un def>) 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

54 declare i32 @llvm.x86.sse.cvtss2si(<4 x float>) nounwind readnone

55 declare i32 @llvm.x86.sse.cvttss2si(<4 x float>) nounwind readnone

56 declare i64 @llvm.x86.sse.cvtss2si64(<4 x float>) nounwind readnone

57 declare i64 @llvm.x86.sse.cvttss2si64(<4 x float>) nounwind readnone

58 declare i32 @llvm.x86.sse2.cvtsd2si(<2 x double>) nounwind readnone

59 declare i32 @llvm.x86.sse2.cvttsd2si(<2 x double>) nounwind readnone

60 declare i64 @llvm.x86.sse2.cvtsd2si64(<2 x double>) nounwind readnone

61 declare i64 @llvm.x86.sse2.cvttsd2si64(<2 x double>) nounwind readnone

OLD	NEW

« no previous file with comments | « test/Transforms/ConstProp/X86/dg.exp ('k') | test/Transforms/InstCombine/2008-07-16-sse2_storel_dq.ll » ('j') | no next file with comments »