OLD | NEW |
1 ; This test checks that undef values are represented as zero. | 1 ; This test checks that undef values are represented as zero. |
2 | 2 |
3 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 \ | 3 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 \ |
4 ; RUN: | FileCheck %s | 4 ; RUN: | FileCheck %s |
5 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -Om1 \ | 5 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -Om1 \ |
6 ; RUN: | FileCheck %s | 6 ; RUN: | FileCheck %s |
7 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 -mattr=sse4.1 \ | 7 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 -mattr=sse4.1 \ |
8 ; RUN: | FileCheck %s | 8 ; RUN: | FileCheck %s |
9 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -Om1 -mattr=sse4.1 \ | 9 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -Om1 -mattr=sse4.1 \ |
10 ; RUN: | FileCheck %s | 10 ; RUN: | FileCheck %s |
11 | 11 |
12 define i32 @undef_i32() { | 12 define internal i32 @undef_i32() { |
13 entry: | 13 entry: |
14 ret i32 undef | 14 ret i32 undef |
15 ; CHECK-LABEL: undef_i32 | 15 ; CHECK-LABEL: undef_i32 |
16 ; CHECK: mov eax,0x0 | 16 ; CHECK: mov eax,0x0 |
17 } | 17 } |
18 | 18 |
19 define i64 @undef_i64() { | 19 define internal i64 @undef_i64() { |
20 entry: | 20 entry: |
21 ret i64 undef | 21 ret i64 undef |
22 ; CHECK-LABEL: undef_i64 | 22 ; CHECK-LABEL: undef_i64 |
23 ; CHECK-DAG: mov eax,0x0 | 23 ; CHECK-DAG: mov eax,0x0 |
24 ; CHECK-DAG: mov edx,0x0 | 24 ; CHECK-DAG: mov edx,0x0 |
25 ; CHECK: ret | 25 ; CHECK: ret |
26 } | 26 } |
27 | 27 |
28 define i32 @trunc_undef_i64() { | 28 define internal i32 @trunc_undef_i64() { |
29 entry: | 29 entry: |
30 %ret = trunc i64 undef to i32 | 30 %ret = trunc i64 undef to i32 |
31 ret i32 %ret | 31 ret i32 %ret |
32 ; CHECK-LABEL: trunc_undef_i64 | 32 ; CHECK-LABEL: trunc_undef_i64 |
33 ; CHECK: mov eax,0x0 | 33 ; CHECK: mov eax,0x0 |
34 ; CHECK: ret | 34 ; CHECK: ret |
35 } | 35 } |
36 | 36 |
37 define float @undef_float() { | 37 define internal float @undef_float() { |
38 entry: | 38 entry: |
39 ret float undef | 39 ret float undef |
40 ; CHECK-LABEL: undef_float | 40 ; CHECK-LABEL: undef_float |
41 ; CHECK: fld DWORD PTR {{.*}} .L$float$00000000 | 41 ; CHECK: fld DWORD PTR {{.*}} .L$float$00000000 |
42 } | 42 } |
43 | 43 |
44 define <4 x i1> @undef_v4i1() { | 44 define internal <4 x i1> @undef_v4i1() { |
45 entry: | 45 entry: |
46 ret <4 x i1> undef | 46 ret <4 x i1> undef |
47 ; CHECK-LABEL: undef_v4i1 | 47 ; CHECK-LABEL: undef_v4i1 |
48 ; CHECK: pxor | 48 ; CHECK: pxor |
49 } | 49 } |
50 | 50 |
51 define <8 x i1> @undef_v8i1() { | 51 define internal <8 x i1> @undef_v8i1() { |
52 entry: | 52 entry: |
53 ret <8 x i1> undef | 53 ret <8 x i1> undef |
54 ; CHECK-LABEL: undef_v8i1 | 54 ; CHECK-LABEL: undef_v8i1 |
55 ; CHECK: pxor | 55 ; CHECK: pxor |
56 } | 56 } |
57 | 57 |
58 define <16 x i1> @undef_v16i1() { | 58 define internal <16 x i1> @undef_v16i1() { |
59 entry: | 59 entry: |
60 ret <16 x i1> undef | 60 ret <16 x i1> undef |
61 ; CHECK-LABEL: undef_v16i1 | 61 ; CHECK-LABEL: undef_v16i1 |
62 ; CHECK: pxor | 62 ; CHECK: pxor |
63 } | 63 } |
64 | 64 |
65 define <16 x i8> @undef_v16i8() { | 65 define internal <16 x i8> @undef_v16i8() { |
66 entry: | 66 entry: |
67 ret <16 x i8> undef | 67 ret <16 x i8> undef |
68 ; CHECK-LABEL: undef_v16i8 | 68 ; CHECK-LABEL: undef_v16i8 |
69 ; CHECK: pxor | 69 ; CHECK: pxor |
70 } | 70 } |
71 | 71 |
72 define <8 x i16> @undef_v8i16() { | 72 define internal <8 x i16> @undef_v8i16() { |
73 entry: | 73 entry: |
74 ret <8 x i16> undef | 74 ret <8 x i16> undef |
75 ; CHECK-LABEL: undef_v8i16 | 75 ; CHECK-LABEL: undef_v8i16 |
76 ; CHECK: pxor | 76 ; CHECK: pxor |
77 } | 77 } |
78 | 78 |
79 define <4 x i32> @undef_v4i32() { | 79 define internal <4 x i32> @undef_v4i32() { |
80 entry: | 80 entry: |
81 ret <4 x i32> undef | 81 ret <4 x i32> undef |
82 ; CHECK-LABEL: undef_v4i32 | 82 ; CHECK-LABEL: undef_v4i32 |
83 ; CHECK: pxor | 83 ; CHECK: pxor |
84 } | 84 } |
85 | 85 |
86 define <4 x float> @undef_v4f32() { | 86 define internal <4 x float> @undef_v4f32() { |
87 entry: | 87 entry: |
88 ret <4 x float> undef | 88 ret <4 x float> undef |
89 ; CHECK-LABEL: undef_v4f32 | 89 ; CHECK-LABEL: undef_v4f32 |
90 ; CHECK: pxor | 90 ; CHECK: pxor |
91 } | 91 } |
92 | 92 |
93 define <4 x i32> @vector_arith(<4 x i32> %arg) { | 93 define internal <4 x i32> @vector_arith(<4 x i32> %arg) { |
94 entry: | 94 entry: |
95 %val = add <4 x i32> undef, %arg | 95 %val = add <4 x i32> undef, %arg |
96 ret <4 x i32> %val | 96 ret <4 x i32> %val |
97 ; CHECK-LABEL: vector_arith | 97 ; CHECK-LABEL: vector_arith |
98 ; CHECK: pxor | 98 ; CHECK: pxor |
99 } | 99 } |
100 | 100 |
101 define <4 x float> @vector_bitcast() { | 101 define internal <4 x float> @vector_bitcast() { |
102 entry: | 102 entry: |
103 %val = bitcast <4 x i32> undef to <4 x float> | 103 %val = bitcast <4 x i32> undef to <4 x float> |
104 ret <4 x float> %val | 104 ret <4 x float> %val |
105 ; CHECK-LABEL: vector_bitcast | 105 ; CHECK-LABEL: vector_bitcast |
106 ; CHECK: pxor | 106 ; CHECK: pxor |
107 } | 107 } |
108 | 108 |
109 define <4 x i32> @vector_sext() { | 109 define internal <4 x i32> @vector_sext() { |
110 entry: | 110 entry: |
111 %val = sext <4 x i1> undef to <4 x i32> | 111 %val = sext <4 x i1> undef to <4 x i32> |
112 ret <4 x i32> %val | 112 ret <4 x i32> %val |
113 ; CHECK-LABEL: vector_sext | 113 ; CHECK-LABEL: vector_sext |
114 ; CHECK: pxor | 114 ; CHECK: pxor |
115 } | 115 } |
116 | 116 |
117 define <4 x i32> @vector_zext() { | 117 define internal <4 x i32> @vector_zext() { |
118 entry: | 118 entry: |
119 %val = zext <4 x i1> undef to <4 x i32> | 119 %val = zext <4 x i1> undef to <4 x i32> |
120 ret <4 x i32> %val | 120 ret <4 x i32> %val |
121 ; CHECK-LABEL: vector_zext | 121 ; CHECK-LABEL: vector_zext |
122 ; CHECK: pxor | 122 ; CHECK: pxor |
123 } | 123 } |
124 | 124 |
125 define <4 x i1> @vector_trunc() { | 125 define internal <4 x i1> @vector_trunc() { |
126 entry: | 126 entry: |
127 %val = trunc <4 x i32> undef to <4 x i1> | 127 %val = trunc <4 x i32> undef to <4 x i1> |
128 ret <4 x i1> %val | 128 ret <4 x i1> %val |
129 ; CHECK-LABEL: vector_trunc | 129 ; CHECK-LABEL: vector_trunc |
130 ; CHECK: pxor | 130 ; CHECK: pxor |
131 } | 131 } |
132 | 132 |
133 define <4 x i1> @vector_icmp(<4 x i32> %arg) { | 133 define internal <4 x i1> @vector_icmp(<4 x i32> %arg) { |
134 entry: | 134 entry: |
135 %val = icmp eq <4 x i32> undef, %arg | 135 %val = icmp eq <4 x i32> undef, %arg |
136 ret <4 x i1> %val | 136 ret <4 x i1> %val |
137 ; CHECK-LABEL: vector_icmp | 137 ; CHECK-LABEL: vector_icmp |
138 ; CHECK: pxor | 138 ; CHECK: pxor |
139 } | 139 } |
140 | 140 |
141 define <4 x i1> @vector_fcmp(<4 x float> %arg) { | 141 define internal <4 x i1> @vector_fcmp(<4 x float> %arg) { |
142 entry: | 142 entry: |
143 %val = fcmp ueq <4 x float> undef, %arg | 143 %val = fcmp ueq <4 x float> undef, %arg |
144 ret <4 x i1> %val | 144 ret <4 x i1> %val |
145 ; CHECK-LABEL: vector_fcmp | 145 ; CHECK-LABEL: vector_fcmp |
146 ; CHECK: pxor | 146 ; CHECK: pxor |
147 } | 147 } |
148 | 148 |
149 define <4 x i32> @vector_fptosi() { | 149 define internal <4 x i32> @vector_fptosi() { |
150 entry: | 150 entry: |
151 %val = fptosi <4 x float> undef to <4 x i32> | 151 %val = fptosi <4 x float> undef to <4 x i32> |
152 ret <4 x i32> %val | 152 ret <4 x i32> %val |
153 ; CHECK-LABEL: vector_fptosi | 153 ; CHECK-LABEL: vector_fptosi |
154 ; CHECK: pxor | 154 ; CHECK: pxor |
155 } | 155 } |
156 | 156 |
157 define <4 x i32> @vector_fptoui() { | 157 define internal <4 x i32> @vector_fptoui() { |
158 entry: | 158 entry: |
159 %val = fptoui <4 x float> undef to <4 x i32> | 159 %val = fptoui <4 x float> undef to <4 x i32> |
160 ret <4 x i32> %val | 160 ret <4 x i32> %val |
161 ; CHECK-LABEL: vector_fptoui | 161 ; CHECK-LABEL: vector_fptoui |
162 ; CHECK: pxor | 162 ; CHECK: pxor |
163 } | 163 } |
164 | 164 |
165 define <4 x float> @vector_sitofp() { | 165 define internal <4 x float> @vector_sitofp() { |
166 entry: | 166 entry: |
167 %val = sitofp <4 x i32> undef to <4 x float> | 167 %val = sitofp <4 x i32> undef to <4 x float> |
168 ret <4 x float> %val | 168 ret <4 x float> %val |
169 ; CHECK-LABEL: vector_sitofp | 169 ; CHECK-LABEL: vector_sitofp |
170 ; CHECK: pxor | 170 ; CHECK: pxor |
171 } | 171 } |
172 | 172 |
173 define <4 x float> @vector_uitofp() { | 173 define internal <4 x float> @vector_uitofp() { |
174 entry: | 174 entry: |
175 %val = uitofp <4 x i32> undef to <4 x float> | 175 %val = uitofp <4 x i32> undef to <4 x float> |
176 ret <4 x float> %val | 176 ret <4 x float> %val |
177 ; CHECK-LABEL: vector_uitofp | 177 ; CHECK-LABEL: vector_uitofp |
178 ; CHECK: pxor | 178 ; CHECK: pxor |
179 } | 179 } |
180 | 180 |
181 define <4 x float> @vector_insertelement_arg1() { | 181 define internal <4 x float> @vector_insertelement_arg1() { |
182 entry: | 182 entry: |
183 %val = insertelement <4 x float> undef, float 1.0, i32 0 | 183 %val = insertelement <4 x float> undef, float 1.0, i32 0 |
184 ret <4 x float> %val | 184 ret <4 x float> %val |
185 ; CHECK-LABEL: vector_insertelement_arg1 | 185 ; CHECK-LABEL: vector_insertelement_arg1 |
186 ; CHECK: pxor | 186 ; CHECK: pxor |
187 } | 187 } |
188 | 188 |
189 define <4 x float> @vector_insertelement_arg2(<4 x float> %arg) { | 189 define internal <4 x float> @vector_insertelement_arg2(<4 x float> %arg) { |
190 entry: | 190 entry: |
191 %val = insertelement <4 x float> %arg, float undef, i32 0 | 191 %val = insertelement <4 x float> %arg, float undef, i32 0 |
192 ret <4 x float> %val | 192 ret <4 x float> %val |
193 ; CHECK-LABEL: vector_insertelement_arg2 | 193 ; CHECK-LABEL: vector_insertelement_arg2 |
194 ; CHECK: {{movss|insertps}} {{.*}},DWORD PTR {{.*}} .L$float$00000000 | 194 ; CHECK: {{movss|insertps}} {{.*}},DWORD PTR {{.*}} .L$float$00000000 |
195 } | 195 } |
196 | 196 |
197 define float @vector_extractelement_v4f32_index_0() { | 197 define internal float @vector_extractelement_v4f32_index_0() { |
198 entry: | 198 entry: |
199 %val = extractelement <4 x float> undef, i32 0 | 199 %val = extractelement <4 x float> undef, i32 0 |
200 ret float %val | 200 ret float %val |
201 ; CHECK-LABEL: vector_extractelement_v4f32_index_0 | 201 ; CHECK-LABEL: vector_extractelement_v4f32_index_0 |
202 ; CHECK: pxor | 202 ; CHECK: pxor |
203 } | 203 } |
204 | 204 |
205 define float @vector_extractelement_v4f32_index_1() { | 205 define internal float @vector_extractelement_v4f32_index_1() { |
206 entry: | 206 entry: |
207 %val = extractelement <4 x float> undef, i32 1 | 207 %val = extractelement <4 x float> undef, i32 1 |
208 ret float %val | 208 ret float %val |
209 ; CHECK-LABEL: vector_extractelement_v4f32_index_1 | 209 ; CHECK-LABEL: vector_extractelement_v4f32_index_1 |
210 ; CHECK: pxor | 210 ; CHECK: pxor |
211 } | 211 } |
212 | 212 |
213 define i32 @vector_extractelement_v16i1_index_7() { | 213 define internal i32 @vector_extractelement_v16i1_index_7() { |
214 entry: | 214 entry: |
215 %val.trunc = extractelement <16 x i1> undef, i32 7 | 215 %val.trunc = extractelement <16 x i1> undef, i32 7 |
216 %val = sext i1 %val.trunc to i32 | 216 %val = sext i1 %val.trunc to i32 |
217 ret i32 %val | 217 ret i32 %val |
218 ; CHECK-LABEL: vector_extractelement_v16i1_index_7 | 218 ; CHECK-LABEL: vector_extractelement_v16i1_index_7 |
219 ; CHECK: pxor | 219 ; CHECK: pxor |
220 } | 220 } |
221 | 221 |
222 define <4 x i32> @vector_select_v4i32_cond(<4 x i32> %a, <4 x i32> %b) { | 222 define internal <4 x i32> @vector_select_v4i32_cond(<4 x i32> %a, |
| 223 <4 x i32> %b) { |
223 entry: | 224 entry: |
224 %val = select <4 x i1> undef, <4 x i32> %a, <4 x i32> %b | 225 %val = select <4 x i1> undef, <4 x i32> %a, <4 x i32> %b |
225 ret <4 x i32> %val | 226 ret <4 x i32> %val |
226 ; CHECK-LABEL: vector_select_v4i32_cond | 227 ; CHECK-LABEL: vector_select_v4i32_cond |
227 ; CHECK: pxor | 228 ; CHECK: pxor |
228 } | 229 } |
229 | 230 |
230 define <4 x i32> @vector_select_v4i32_arg1(<4 x i1> %cond, <4 x i32> %b) { | 231 define internal <4 x i32> @vector_select_v4i32_arg1(<4 x i1> %cond, |
| 232 <4 x i32> %b) { |
231 entry: | 233 entry: |
232 %val = select <4 x i1> %cond, <4 x i32> undef, <4 x i32> %b | 234 %val = select <4 x i1> %cond, <4 x i32> undef, <4 x i32> %b |
233 ret <4 x i32> %val | 235 ret <4 x i32> %val |
234 ; CHECK-LABEL: vector_select_v4i32_arg1 | 236 ; CHECK-LABEL: vector_select_v4i32_arg1 |
235 ; CHECK: pxor | 237 ; CHECK: pxor |
236 } | 238 } |
237 | 239 |
238 define <4 x i32> @vector_select_v4i32_arg2(<4 x i1> %cond, <4 x i32> %a) { | 240 define internal <4 x i32> @vector_select_v4i32_arg2(<4 x i1> %cond, |
| 241 <4 x i32> %a) { |
239 entry: | 242 entry: |
240 %val = select <4 x i1> %cond, <4 x i32> %a, <4 x i32> undef | 243 %val = select <4 x i1> %cond, <4 x i32> %a, <4 x i32> undef |
241 ret <4 x i32> %val | 244 ret <4 x i32> %val |
242 ; CHECK-LABEL: vector_select_v4i32_arg2 | 245 ; CHECK-LABEL: vector_select_v4i32_arg2 |
243 ; CHECK: pxor | 246 ; CHECK: pxor |
244 } | 247 } |
245 | 248 |
246 define <4 x i1> @vector_select_v4i1_cond(<4 x i1> %a, <4 x i1> %b) { | 249 define internal <4 x i1> @vector_select_v4i1_cond(<4 x i1> %a, |
| 250 <4 x i1> %b) { |
247 entry: | 251 entry: |
248 %val = select <4 x i1> undef, <4 x i1> %a, <4 x i1> %b | 252 %val = select <4 x i1> undef, <4 x i1> %a, <4 x i1> %b |
249 ret <4 x i1> %val | 253 ret <4 x i1> %val |
250 ; CHECK-LABEL: vector_select_v4i1_cond | 254 ; CHECK-LABEL: vector_select_v4i1_cond |
251 ; CHECK: pxor | 255 ; CHECK: pxor |
252 } | 256 } |
253 | 257 |
254 define <4 x i1> @vector_select_v4i1_arg1(<4 x i1> %cond, <4 x i1> %b) { | 258 define internal <4 x i1> @vector_select_v4i1_arg1(<4 x i1> %cond, |
| 259 <4 x i1> %b) { |
255 entry: | 260 entry: |
256 %val = select <4 x i1> %cond, <4 x i1> undef, <4 x i1> %b | 261 %val = select <4 x i1> %cond, <4 x i1> undef, <4 x i1> %b |
257 ret <4 x i1> %val | 262 ret <4 x i1> %val |
258 ; CHECK-LABEL: vector_select_v4i1_arg1 | 263 ; CHECK-LABEL: vector_select_v4i1_arg1 |
259 ; CHECK: pxor | 264 ; CHECK: pxor |
260 } | 265 } |
261 | 266 |
262 define <4 x i1> @vector_select_v4i1_arg2(<4 x i1> %cond, <4 x i1> %a) { | 267 define internal <4 x i1> @vector_select_v4i1_arg2(<4 x i1> %cond, |
| 268 <4 x i1> %a) { |
263 entry: | 269 entry: |
264 %val = select <4 x i1> %cond, <4 x i1> %a, <4 x i1> undef | 270 %val = select <4 x i1> %cond, <4 x i1> %a, <4 x i1> undef |
265 ret <4 x i1> %val | 271 ret <4 x i1> %val |
266 ; CHECK-LABEL: vector_select_v4i1_arg2 | 272 ; CHECK-LABEL: vector_select_v4i1_arg2 |
267 ; CHECK: pxor | 273 ; CHECK: pxor |
268 } | 274 } |
269 | 275 |
270 define <4 x float> @vector_select_v4f32_cond(<4 x float> %a, <4 x float> %b) { | 276 define internal <4 x float> @vector_select_v4f32_cond(<4 x float> %a, |
| 277 <4 x float> %b) { |
271 entry: | 278 entry: |
272 %val = select <4 x i1> undef, <4 x float> %a, <4 x float> %b | 279 %val = select <4 x i1> undef, <4 x float> %a, <4 x float> %b |
273 ret <4 x float> %val | 280 ret <4 x float> %val |
274 ; CHECK-LABEL: vector_select_v4f32_cond | 281 ; CHECK-LABEL: vector_select_v4f32_cond |
275 ; CHECK: pxor | 282 ; CHECK: pxor |
276 } | 283 } |
277 | 284 |
278 define <4 x float> @vector_select_v4f32_arg1(<4 x i1> %cond, <4 x float> %b) { | 285 define internal <4 x float> @vector_select_v4f32_arg1(<4 x i1> %cond, |
| 286 <4 x float> %b) { |
279 entry: | 287 entry: |
280 %val = select <4 x i1> %cond, <4 x float> undef, <4 x float> %b | 288 %val = select <4 x i1> %cond, <4 x float> undef, <4 x float> %b |
281 ret <4 x float> %val | 289 ret <4 x float> %val |
282 ; CHECK-LABEL: vector_select_v4f32_arg1 | 290 ; CHECK-LABEL: vector_select_v4f32_arg1 |
283 ; CHECK: pxor | 291 ; CHECK: pxor |
284 } | 292 } |
285 | 293 |
286 define <4 x float> @vector_select_v4f32_arg2(<4 x i1> %cond, <4 x float> %a) { | 294 define internal <4 x float> @vector_select_v4f32_arg2(<4 x i1> %cond, |
| 295 <4 x float> %a) { |
287 entry: | 296 entry: |
288 %val = select <4 x i1> %cond, <4 x float> %a, <4 x float> undef | 297 %val = select <4 x i1> %cond, <4 x float> %a, <4 x float> undef |
289 ret <4 x float> %val | 298 ret <4 x float> %val |
290 ; CHECK-LABEL: vector_select_v4f32_arg2 | 299 ; CHECK-LABEL: vector_select_v4f32_arg2 |
291 ; CHECK: pxor | 300 ; CHECK: pxor |
292 } | 301 } |
OLD | NEW |