[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / nancvt.ll
blob9222f6b768222d3c748f92a1b6293db25f18b75a
1 ; RUN: opt < %s -O3 | llc > %t
2 ; RUN: grep 2147027116 %t | count 3
3 ; RUN: grep 2147228864 %t | count 3
4 ; RUN: grep 2146502828 %t | count 3
5 ; RUN: grep 2143034560 %t | count 3
6 ; Compile time conversions of NaNs.
7 ; ModuleID = 'nan2.c'
8 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
9 target triple = "i686-apple-darwin8"
10         %struct..0anon = type { float }
11         %struct..1anon = type { double }
12 @fnan = constant [3 x i32] [ i32 2143831397, i32 2143831396, i32 2143831398 ]           ; <[3 x i32]*> [#uses=1]
13 @dnan = constant [3 x i64] [ i64 9223235251041752696, i64 9223235251041752697, i64 9223235250773317239 ], align 8               ; <[3 x i64]*> [#uses=1]
14 @fsnan = constant [3 x i32] [ i32 2139637093, i32 2139637092, i32 2139637094 ]          ; <[3 x i32]*> [#uses=1]
15 @dsnan = constant [3 x i64] [ i64 9220983451228067448, i64 9220983451228067449, i64 9220983450959631991 ], align 8              ; <[3 x i64]*> [#uses=1]
16 @.str = internal constant [10 x i8] c"%08x%08x\0A\00"           ; <[10 x i8]*> [#uses=2]
17 @.str1 = internal constant [6 x i8] c"%08x\0A\00"               ; <[6 x i8]*> [#uses=2]
19 @var = external global i32
21 define i32 @main() {
22 entry:
23         %retval = alloca i32, align 4           ; <i32*> [#uses=1]
24         %i = alloca i32, align 4                ; <i32*> [#uses=20]
25         %uf = alloca %struct..0anon, align 4            ; <%struct..0anon*> [#uses=8]
26         %ud = alloca %struct..1anon, align 8            ; <%struct..1anon*> [#uses=10]
27         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
28         store i32 0, i32* %i, align 4
29         br label %bb23
31 bb:             ; preds = %bb23
32         %tmp = load i32, i32* %i, align 4               ; <i32> [#uses=1]
33         %tmp1 = getelementptr [3 x i32], [3 x i32]* @fnan, i32 0, i32 %tmp              ; <i32*> [#uses=1]
34         %tmp2 = load i32, i32* %tmp1, align 4           ; <i32> [#uses=1]
35         %tmp3 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0         ; <float*> [#uses=1]
36         %tmp34 = bitcast float* %tmp3 to i32*           ; <i32*> [#uses=1]
37         store i32 %tmp2, i32* %tmp34, align 4
38         %tmp5 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0         ; <float*> [#uses=1]
39         %tmp6 = load float, float* %tmp5, align 4               ; <float> [#uses=1]
40         %tmp67 = fpext float %tmp6 to double            ; <double> [#uses=1]
41         %tmp8 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0         ; <double*> [#uses=1]
42         store double %tmp67, double* %tmp8, align 8
43         %tmp9 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0         ; <double*> [#uses=1]
44         %tmp910 = bitcast double* %tmp9 to i64*         ; <i64*> [#uses=1]
45         %tmp11 = load i64, i64* %tmp910, align 8                ; <i64> [#uses=1]
46         %tmp1112 = trunc i64 %tmp11 to i32              ; <i32> [#uses=1]
47         %tmp13 = and i32 %tmp1112, -1           ; <i32> [#uses=1]
48         %tmp14 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0                ; <double*> [#uses=1]
49         %tmp1415 = bitcast double* %tmp14 to i64*               ; <i64*> [#uses=1]
50         %tmp16 = load i64, i64* %tmp1415, align 8               ; <i64> [#uses=1]
51         %.cast = zext i32 32 to i64             ; <i64> [#uses=1]
52         %tmp17 = ashr i64 %tmp16, %.cast                ; <i64> [#uses=1]
53         %tmp1718 = trunc i64 %tmp17 to i32              ; <i32> [#uses=1]
54         %tmp19 = getelementptr [10 x i8], [10 x i8]* @.str, i32 0, i32 0                ; <i8*> [#uses=1]
55         store volatile i32 %tmp1718, i32* @var
56         store volatile i32 %tmp13, i32* @var
57         %tmp21 = load i32, i32* %i, align 4             ; <i32> [#uses=1]
58         %tmp22 = add i32 %tmp21, 1              ; <i32> [#uses=1]
59         store i32 %tmp22, i32* %i, align 4
60         br label %bb23
62 bb23:           ; preds = %bb, %entry
63         %tmp24 = load i32, i32* %i, align 4             ; <i32> [#uses=1]
64         %tmp25 = icmp sle i32 %tmp24, 2         ; <i1> [#uses=1]
65         %tmp2526 = zext i1 %tmp25 to i8         ; <i8> [#uses=1]
66         %toBool = icmp ne i8 %tmp2526, 0                ; <i1> [#uses=1]
67         br i1 %toBool, label %bb, label %bb27
69 bb27:           ; preds = %bb23
70         store i32 0, i32* %i, align 4
71         br label %bb46
73 bb28:           ; preds = %bb46
74         %tmp29 = load i32, i32* %i, align 4             ; <i32> [#uses=1]
75         %tmp30 = getelementptr [3 x i64], [3 x i64]* @dnan, i32 0, i32 %tmp29           ; <i64*> [#uses=1]
76         %tmp31 = load i64, i64* %tmp30, align 8         ; <i64> [#uses=1]
77         %tmp32 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0                ; <double*> [#uses=1]
78         %tmp3233 = bitcast double* %tmp32 to i64*               ; <i64*> [#uses=1]
79         store i64 %tmp31, i64* %tmp3233, align 8
80         %tmp35 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0                ; <double*> [#uses=1]
81         %tmp36 = load double, double* %tmp35, align 8           ; <double> [#uses=1]
82         %tmp3637 = fptrunc double %tmp36 to float               ; <float> [#uses=1]
83         %tmp38 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0                ; <float*> [#uses=1]
84         store float %tmp3637, float* %tmp38, align 4
85         %tmp39 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0                ; <float*> [#uses=1]
86         %tmp3940 = bitcast float* %tmp39 to i32*                ; <i32*> [#uses=1]
87         %tmp41 = load i32, i32* %tmp3940, align 4               ; <i32> [#uses=1]
88         %tmp42 = getelementptr [6 x i8], [6 x i8]* @.str1, i32 0, i32 0         ; <i8*> [#uses=1]
89         store volatile i32 %tmp41, i32* @var
90         %tmp44 = load i32, i32* %i, align 4             ; <i32> [#uses=1]
91         %tmp45 = add i32 %tmp44, 1              ; <i32> [#uses=1]
92         store i32 %tmp45, i32* %i, align 4
93         br label %bb46
95 bb46:           ; preds = %bb28, %bb27
96         %tmp47 = load i32, i32* %i, align 4             ; <i32> [#uses=1]
97         %tmp48 = icmp sle i32 %tmp47, 2         ; <i1> [#uses=1]
98         %tmp4849 = zext i1 %tmp48 to i8         ; <i8> [#uses=1]
99         %toBool50 = icmp ne i8 %tmp4849, 0              ; <i1> [#uses=1]
100         br i1 %toBool50, label %bb28, label %bb51
102 bb51:           ; preds = %bb46
103         store i32 0, i32* %i, align 4
104         br label %bb78
106 bb52:           ; preds = %bb78
107         %tmp53 = load i32, i32* %i, align 4             ; <i32> [#uses=1]
108         %tmp54 = getelementptr [3 x i32], [3 x i32]* @fsnan, i32 0, i32 %tmp53          ; <i32*> [#uses=1]
109         %tmp55 = load i32, i32* %tmp54, align 4         ; <i32> [#uses=1]
110         %tmp56 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0                ; <float*> [#uses=1]
111         %tmp5657 = bitcast float* %tmp56 to i32*                ; <i32*> [#uses=1]
112         store i32 %tmp55, i32* %tmp5657, align 4
113         %tmp58 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0                ; <float*> [#uses=1]
114         %tmp59 = load float, float* %tmp58, align 4             ; <float> [#uses=1]
115         %tmp5960 = fpext float %tmp59 to double         ; <double> [#uses=1]
116         %tmp61 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0                ; <double*> [#uses=1]
117         store double %tmp5960, double* %tmp61, align 8
118         %tmp62 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0                ; <double*> [#uses=1]
119         %tmp6263 = bitcast double* %tmp62 to i64*               ; <i64*> [#uses=1]
120         %tmp64 = load i64, i64* %tmp6263, align 8               ; <i64> [#uses=1]
121         %tmp6465 = trunc i64 %tmp64 to i32              ; <i32> [#uses=1]
122         %tmp66 = and i32 %tmp6465, -1           ; <i32> [#uses=1]
123         %tmp68 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0                ; <double*> [#uses=1]
124         %tmp6869 = bitcast double* %tmp68 to i64*               ; <i64*> [#uses=1]
125         %tmp70 = load i64, i64* %tmp6869, align 8               ; <i64> [#uses=1]
126         %.cast71 = zext i32 32 to i64           ; <i64> [#uses=1]
127         %tmp72 = ashr i64 %tmp70, %.cast71              ; <i64> [#uses=1]
128         %tmp7273 = trunc i64 %tmp72 to i32              ; <i32> [#uses=1]
129         %tmp74 = getelementptr [10 x i8], [10 x i8]* @.str, i32 0, i32 0                ; <i8*> [#uses=1]
130         store volatile i32 %tmp7273, i32* @var
131         store volatile i32 %tmp66, i32* @var
132         %tmp76 = load i32, i32* %i, align 4             ; <i32> [#uses=1]
133         %tmp77 = add i32 %tmp76, 1              ; <i32> [#uses=1]
134         store i32 %tmp77, i32* %i, align 4
135         br label %bb78
137 bb78:           ; preds = %bb52, %bb51
138         %tmp79 = load i32, i32* %i, align 4             ; <i32> [#uses=1]
139         %tmp80 = icmp sle i32 %tmp79, 2         ; <i1> [#uses=1]
140         %tmp8081 = zext i1 %tmp80 to i8         ; <i8> [#uses=1]
141         %toBool82 = icmp ne i8 %tmp8081, 0              ; <i1> [#uses=1]
142         br i1 %toBool82, label %bb52, label %bb83
144 bb83:           ; preds = %bb78
145         store i32 0, i32* %i, align 4
146         br label %bb101
148 bb84:           ; preds = %bb101
149         %tmp85 = load i32, i32* %i, align 4             ; <i32> [#uses=1]
150         %tmp86 = getelementptr [3 x i64], [3 x i64]* @dsnan, i32 0, i32 %tmp85          ; <i64*> [#uses=1]
151         %tmp87 = load i64, i64* %tmp86, align 8         ; <i64> [#uses=1]
152         %tmp88 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0                ; <double*> [#uses=1]
153         %tmp8889 = bitcast double* %tmp88 to i64*               ; <i64*> [#uses=1]
154         store i64 %tmp87, i64* %tmp8889, align 8
155         %tmp90 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0                ; <double*> [#uses=1]
156         %tmp91 = load double, double* %tmp90, align 8           ; <double> [#uses=1]
157         %tmp9192 = fptrunc double %tmp91 to float               ; <float> [#uses=1]
158         %tmp93 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0                ; <float*> [#uses=1]
159         store float %tmp9192, float* %tmp93, align 4
160         %tmp94 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0                ; <float*> [#uses=1]
161         %tmp9495 = bitcast float* %tmp94 to i32*                ; <i32*> [#uses=1]
162         %tmp96 = load i32, i32* %tmp9495, align 4               ; <i32> [#uses=1]
163         %tmp97 = getelementptr [6 x i8], [6 x i8]* @.str1, i32 0, i32 0         ; <i8*> [#uses=1]
164         store volatile i32 %tmp96, i32* @var
165         %tmp99 = load i32, i32* %i, align 4             ; <i32> [#uses=1]
166         %tmp100 = add i32 %tmp99, 1             ; <i32> [#uses=1]
167         store i32 %tmp100, i32* %i, align 4
168         br label %bb101
170 bb101:          ; preds = %bb84, %bb83
171         %tmp102 = load i32, i32* %i, align 4            ; <i32> [#uses=1]
172         %tmp103 = icmp sle i32 %tmp102, 2               ; <i1> [#uses=1]
173         %tmp103104 = zext i1 %tmp103 to i8              ; <i8> [#uses=1]
174         %toBool105 = icmp ne i8 %tmp103104, 0           ; <i1> [#uses=1]
175         br i1 %toBool105, label %bb84, label %bb106
177 bb106:          ; preds = %bb101
178         br label %return
180 return:         ; preds = %bb106
181         %retval107 = load i32, i32* %retval             ; <i32> [#uses=1]
182         ret i32 %retval107