| blob | ccabb360a990c9562c210b9deb1f1fc362152a45 |
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=i686-unknown-linux-gnu | FileCheck %s --check-prefix=X86
3 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s --check-prefix=X64
5 declare {i32, i1} @llvm.umul.with.overflow.i32(i32 %a, i32 %b)
7 define zeroext i1 @a(i32 %x) nounwind {
8 ; X86-LABEL: a:
9 ; X86: # %bb.0:
10 ; X86-NEXT: movl $3, %eax
11 ; X86-NEXT: mull {{[0-9]+}}(%esp)
12 ; X86-NEXT: seto %al
13 ; X86-NEXT: retl
14 ;
15 ; X64-LABEL: a:
16 ; X64: # %bb.0:
17 ; X64-NEXT: movl %edi, %eax
18 ; X64-NEXT: movl $3, %ecx
19 ; X64-NEXT: mull %ecx
20 ; X64-NEXT: seto %al
21 ; X64-NEXT: retq
22 %res = call {i32, i1} @llvm.umul.with.overflow.i32(i32 %x, i32 3)
23 %obil = extractvalue {i32, i1} %res, 1
24 ret i1 %obil
25 }
27 define i32 @test2(i32 %a, i32 %b) nounwind readnone {
28 ; X86-LABEL: test2:
29 ; X86: # %bb.0: # %entry
30 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
31 ; X86-NEXT: addl {{[0-9]+}}(%esp), %eax
32 ; X86-NEXT: addl %eax, %eax
33 ; X86-NEXT: retl
34 ;
35 ; X64-LABEL: test2:
36 ; X64: # %bb.0: # %entry
37 ; X64-NEXT: # kill: def $esi killed $esi def $rsi
38 ; X64-NEXT: # kill: def $edi killed $edi def $rdi
39 ; X64-NEXT: leal (%rdi,%rsi), %eax
40 ; X64-NEXT: addl %eax, %eax
41 ; X64-NEXT: retq
42 entry:
43 %tmp0 = add i32 %b, %a
44 %tmp1 = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %tmp0, i32 2)
45 %tmp2 = extractvalue { i32, i1 } %tmp1, 0
46 ret i32 %tmp2
47 }
49 define i32 @test3(i32 %a, i32 %b) nounwind readnone {
50 ; X86-LABEL: test3:
51 ; X86: # %bb.0: # %entry
52 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
53 ; X86-NEXT: addl {{[0-9]+}}(%esp), %eax
54 ; X86-NEXT: movl $4, %ecx
55 ; X86-NEXT: mull %ecx
56 ; X86-NEXT: retl
57 ;
58 ; X64-LABEL: test3:
59 ; X64: # %bb.0: # %entry
60 ; X64-NEXT: # kill: def $esi killed $esi def $rsi
61 ; X64-NEXT: # kill: def $edi killed $edi def $rdi
62 ; X64-NEXT: leal (%rdi,%rsi), %eax
63 ; X64-NEXT: movl $4, %ecx
64 ; X64-NEXT: mull %ecx
65 ; X64-NEXT: retq
66 entry:
67 %tmp0 = add i32 %b, %a
68 %tmp1 = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %tmp0, i32 4)
69 %tmp2 = extractvalue { i32, i1 } %tmp1, 0
70 ret i32 %tmp2
71 }
73 ; Check that shifts larger than the shift amount type are handled.
74 ; Intentionally not testing codegen here, only that this doesn't assert.
75 declare {i300, i1} @llvm.umul.with.overflow.i300(i300 %a, i300 %b)
76 define i300 @test4(i300 %a, i300 %b) nounwind {
77 ; X86-LABEL: test4:
78 ; X86: # %bb.0:
79 ; X86-NEXT: pushl %ebp
80 ; X86-NEXT: pushl %ebx
81 ; X86-NEXT: pushl %edi
82 ; X86-NEXT: pushl %esi
83 ; X86-NEXT: subl $76, %esp
84 ; X86-NEXT: movl $4095, %ecx # imm = 0xFFF
85 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
86 ; X86-NEXT: andl %ecx, %eax
87 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
88 ; X86-NEXT: andl {{[0-9]+}}(%esp), %ecx
89 ; X86-NEXT: movl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
90 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
91 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
92 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
93 ; X86-NEXT: movl %ebx, %eax
94 ; X86-NEXT: mull %edi
95 ; X86-NEXT: movl %edx, %esi
96 ; X86-NEXT: movl %eax, (%esp) # 4-byte Spill
97 ; X86-NEXT: movl %ecx, %eax
98 ; X86-NEXT: mull %edi
99 ; X86-NEXT: movl %edx, %ecx
100 ; X86-NEXT: movl %eax, %edi
101 ; X86-NEXT: addl %esi, %edi
102 ; X86-NEXT: adcl $0, %ecx
103 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
104 ; X86-NEXT: movl %ebx, %eax
105 ; X86-NEXT: mull %ebp
106 ; X86-NEXT: movl %edx, %esi
107 ; X86-NEXT: movl %eax, %ebx
108 ; X86-NEXT: addl %edi, %ebx
109 ; X86-NEXT: adcl %ecx, %esi
110 ; X86-NEXT: setb %cl
111 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
112 ; X86-NEXT: mull %ebp
113 ; X86-NEXT: addl %esi, %eax
114 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
115 ; X86-NEXT: movzbl %cl, %eax
116 ; X86-NEXT: adcl %eax, %edx
117 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
118 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
119 ; X86-NEXT: movl %ebp, %eax
120 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
121 ; X86-NEXT: mull %ecx
122 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
123 ; X86-NEXT: movl %edx, %edi
124 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
125 ; X86-NEXT: mull %ecx
126 ; X86-NEXT: movl %edx, %esi
127 ; X86-NEXT: movl %eax, %ecx
128 ; X86-NEXT: addl %edi, %ecx
129 ; X86-NEXT: adcl $0, %esi
130 ; X86-NEXT: movl %ebp, %eax
131 ; X86-NEXT: mull {{[0-9]+}}(%esp)
132 ; X86-NEXT: movl %edx, %edi
133 ; X86-NEXT: addl %ecx, %eax
134 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
135 ; X86-NEXT: adcl %esi, %edi
136 ; X86-NEXT: setb %cl
137 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
138 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
139 ; X86-NEXT: mull %edx
140 ; X86-NEXT: movl %edx, %ebp
141 ; X86-NEXT: movl %eax, %esi
142 ; X86-NEXT: addl %edi, %esi
143 ; X86-NEXT: movzbl %cl, %eax
144 ; X86-NEXT: adcl %eax, %ebp
145 ; X86-NEXT: addl (%esp), %esi # 4-byte Folded Reload
146 ; X86-NEXT: adcl %ebx, %ebp
147 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
148 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
149 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
150 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
151 ; X86-NEXT: mull %edi
152 ; X86-NEXT: movl %edx, %ecx
153 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
154 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
155 ; X86-NEXT: mull %edi
156 ; X86-NEXT: movl %edx, %edi
157 ; X86-NEXT: movl %eax, %ebx
158 ; X86-NEXT: addl %ecx, %ebx
159 ; X86-NEXT: adcl $0, %edi
160 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
161 ; X86-NEXT: mull {{[0-9]+}}(%esp)
162 ; X86-NEXT: movl %edx, %ecx
163 ; X86-NEXT: addl %ebx, %eax
164 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
165 ; X86-NEXT: adcl %edi, %ecx
166 ; X86-NEXT: setb (%esp) # 1-byte Folded Spill
167 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
168 ; X86-NEXT: mull {{[0-9]+}}(%esp)
169 ; X86-NEXT: movl %edx, %edi
170 ; X86-NEXT: movl %eax, %ebx
171 ; X86-NEXT: addl %ecx, %ebx
172 ; X86-NEXT: movzbl (%esp), %eax # 1-byte Folded Reload
173 ; X86-NEXT: adcl %eax, %edi
174 ; X86-NEXT: addl %esi, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
175 ; X86-NEXT: adcl %ebp, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
176 ; X86-NEXT: adcl $0, %ebx
177 ; X86-NEXT: adcl $0, %edi
178 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebx # 4-byte Folded Reload
179 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edi # 4-byte Folded Reload
180 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) # 1-byte Folded Spill
181 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
182 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
183 ; X86-NEXT: mull %ecx
184 ; X86-NEXT: movl %edx, %esi
185 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
186 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
187 ; X86-NEXT: mull %ecx
188 ; X86-NEXT: movl %edx, %ecx
189 ; X86-NEXT: movl %eax, %ebp
190 ; X86-NEXT: addl %esi, %ebp
191 ; X86-NEXT: adcl $0, %ecx
192 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
193 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
194 ; X86-NEXT: mull %edx
195 ; X86-NEXT: movl %edx, %esi
196 ; X86-NEXT: addl %ebp, %eax
197 ; X86-NEXT: movl %eax, %ebp
198 ; X86-NEXT: adcl %ecx, %esi
199 ; X86-NEXT: setb %cl
200 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
201 ; X86-NEXT: mull {{[0-9]+}}(%esp)
202 ; X86-NEXT: addl %esi, %eax
203 ; X86-NEXT: movl %eax, %esi
204 ; X86-NEXT: movzbl %cl, %eax
205 ; X86-NEXT: adcl %eax, %edx
206 ; X86-NEXT: addl %ebx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
207 ; X86-NEXT: adcl %edi, %ebp
208 ; X86-NEXT: movl %ebp, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
209 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 1-byte Folded Reload
210 ; X86-NEXT: adcl %eax, %esi
211 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
212 ; X86-NEXT: adcl $0, %edx
213 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
214 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
215 ; X86-NEXT: movl %ebx, %eax
216 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
217 ; X86-NEXT: mull %ecx
218 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
219 ; X86-NEXT: movl %edx, %esi
220 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
221 ; X86-NEXT: movl %ebp, %eax
222 ; X86-NEXT: mull %ecx
223 ; X86-NEXT: movl %edx, %ecx
224 ; X86-NEXT: movl %eax, %edi
225 ; X86-NEXT: addl %esi, %edi
226 ; X86-NEXT: adcl $0, %ecx
227 ; X86-NEXT: movl %ebx, %eax
228 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
229 ; X86-NEXT: mull %ebx
230 ; X86-NEXT: movl %edx, %esi
231 ; X86-NEXT: addl %edi, %eax
232 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
233 ; X86-NEXT: adcl %ecx, %esi
234 ; X86-NEXT: setb %cl
235 ; X86-NEXT: movl %ebp, %eax
236 ; X86-NEXT: mull %ebx
237 ; X86-NEXT: addl %esi, %eax
238 ; X86-NEXT: movl %eax, (%esp) # 4-byte Spill
239 ; X86-NEXT: movzbl %cl, %eax
240 ; X86-NEXT: adcl %eax, %edx
241 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
242 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
243 ; X86-NEXT: movl %ebx, %eax
244 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
245 ; X86-NEXT: mull %ebp
246 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
247 ; X86-NEXT: movl %edx, %edi
248 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
249 ; X86-NEXT: mull %ebp
250 ; X86-NEXT: movl %edx, %esi
251 ; X86-NEXT: movl %eax, %ecx
252 ; X86-NEXT: addl %edi, %ecx
253 ; X86-NEXT: adcl $0, %esi
254 ; X86-NEXT: movl %ebx, %eax
255 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
256 ; X86-NEXT: mull %ebx
257 ; X86-NEXT: movl %edx, %edi
258 ; X86-NEXT: addl %ecx, %eax
259 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
260 ; X86-NEXT: adcl %esi, %edi
261 ; X86-NEXT: setb %cl
262 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
263 ; X86-NEXT: movl %esi, %eax
264 ; X86-NEXT: mull %ebx
265 ; X86-NEXT: movl %edx, %ebx
266 ; X86-NEXT: movl %eax, %ebp
267 ; X86-NEXT: addl %edi, %ebp
268 ; X86-NEXT: movzbl %cl, %eax
269 ; X86-NEXT: adcl %eax, %ebx
270 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebp # 4-byte Folded Reload
271 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebx # 4-byte Folded Reload
272 ; X86-NEXT: adcl $0, (%esp) # 4-byte Folded Spill
273 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
274 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
275 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
276 ; X86-NEXT: mull %edi
277 ; X86-NEXT: movl %edx, %ecx
278 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
279 ; X86-NEXT: movl %esi, %eax
280 ; X86-NEXT: mull %edi
281 ; X86-NEXT: movl %edx, %esi
282 ; X86-NEXT: movl %eax, %edi
283 ; X86-NEXT: addl %ecx, %edi
284 ; X86-NEXT: adcl $0, %esi
285 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
286 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
287 ; X86-NEXT: mull %ecx
288 ; X86-NEXT: movl %edx, %ecx
289 ; X86-NEXT: addl %edi, %eax
290 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
291 ; X86-NEXT: adcl %esi, %ecx
292 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) # 1-byte Folded Spill
293 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
294 ; X86-NEXT: mull {{[0-9]+}}(%esp)
295 ; X86-NEXT: movl %edx, %esi
296 ; X86-NEXT: movl %eax, %edi
297 ; X86-NEXT: addl %ecx, %edi
298 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 1-byte Folded Reload
299 ; X86-NEXT: adcl %eax, %esi
300 ; X86-NEXT: addl %ebp, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
301 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ebp # 4-byte Reload
302 ; X86-NEXT: adcl %ebx, %ebp
303 ; X86-NEXT: adcl $0, %edi
304 ; X86-NEXT: adcl $0, %esi
305 ; X86-NEXT: addl (%esp), %edi # 4-byte Folded Reload
306 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Folded Reload
307 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
308 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
309 ; X86-NEXT: imull %edx, %ecx
310 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
311 ; X86-NEXT: movl %ebx, %eax
312 ; X86-NEXT: mull %edx
313 ; X86-NEXT: addl %edx, %ecx
314 ; X86-NEXT: imull {{[0-9]+}}(%esp), %ebx
315 ; X86-NEXT: addl %ecx, %ebx
316 ; X86-NEXT: movl %eax, %edx
317 ; X86-NEXT: addl %edi, %edx
318 ; X86-NEXT: adcl %esi, %ebx
319 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
320 ; X86-NEXT: addl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
321 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
322 ; X86-NEXT: adcl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
323 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
324 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Folded Reload
325 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
326 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebp # 4-byte Folded Reload
327 ; X86-NEXT: movl %ebp, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
328 ; X86-NEXT: adcl $0, %edx
329 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
330 ; X86-NEXT: adcl $0, %ebx
331 ; X86-NEXT: movl %ebx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
332 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
333 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
334 ; X86-NEXT: movl %esi, %eax
335 ; X86-NEXT: mull %ecx
336 ; X86-NEXT: movl %edx, %edi
337 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
338 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
339 ; X86-NEXT: mull %ecx
340 ; X86-NEXT: movl %edx, %ecx
341 ; X86-NEXT: movl %eax, %ebp
342 ; X86-NEXT: addl %edi, %ebp
343 ; X86-NEXT: adcl $0, %ecx
344 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
345 ; X86-NEXT: movl %esi, %eax
346 ; X86-NEXT: mull %edi
347 ; X86-NEXT: movl %edi, %esi
348 ; X86-NEXT: movl %edx, %ebx
349 ; X86-NEXT: movl %eax, %edi
350 ; X86-NEXT: addl %ebp, %edi
351 ; X86-NEXT: adcl %ecx, %ebx
352 ; X86-NEXT: setb %cl
353 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
354 ; X86-NEXT: mull %esi
355 ; X86-NEXT: addl %ebx, %eax
356 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
357 ; X86-NEXT: movzbl %cl, %eax
358 ; X86-NEXT: adcl %eax, %edx
359 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
360 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
361 ; X86-NEXT: movl %esi, %eax
362 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
363 ; X86-NEXT: mull %ecx
364 ; X86-NEXT: movl %edx, %ebp
365 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
366 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
367 ; X86-NEXT: mull %ecx
368 ; X86-NEXT: movl %edx, %ecx
369 ; X86-NEXT: movl %eax, %ebx
370 ; X86-NEXT: addl %ebp, %ebx
371 ; X86-NEXT: adcl $0, %ecx
372 ; X86-NEXT: movl %esi, %eax
373 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
374 ; X86-NEXT: mull %esi
375 ; X86-NEXT: movl %edx, %ebp
376 ; X86-NEXT: addl %ebx, %eax
377 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
378 ; X86-NEXT: adcl %ecx, %ebp
379 ; X86-NEXT: setb (%esp) # 1-byte Folded Spill
380 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
381 ; X86-NEXT: mull %esi
382 ; X86-NEXT: movl %edx, %ebx
383 ; X86-NEXT: movl %eax, %ecx
384 ; X86-NEXT: addl %ebp, %ecx
385 ; X86-NEXT: movzbl (%esp), %eax # 1-byte Folded Reload
386 ; X86-NEXT: adcl %eax, %ebx
387 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ecx # 4-byte Folded Reload
388 ; X86-NEXT: adcl %edi, %ebx
389 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
390 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
391 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
392 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
393 ; X86-NEXT: mull %edi
394 ; X86-NEXT: movl %edx, %esi
395 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
396 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
397 ; X86-NEXT: mull %edi
398 ; X86-NEXT: movl %edx, %edi
399 ; X86-NEXT: movl %eax, %ebp
400 ; X86-NEXT: addl %esi, %ebp
401 ; X86-NEXT: adcl $0, %edi
402 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
403 ; X86-NEXT: mull {{[0-9]+}}(%esp)
404 ; X86-NEXT: movl %edx, %esi
405 ; X86-NEXT: addl %ebp, %eax
406 ; X86-NEXT: movl %eax, (%esp) # 4-byte Spill
407 ; X86-NEXT: adcl %edi, %esi
408 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) # 1-byte Folded Spill
409 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
410 ; X86-NEXT: mull {{[0-9]+}}(%esp)
411 ; X86-NEXT: movl %edx, %edi
412 ; X86-NEXT: movl %eax, %ebp
413 ; X86-NEXT: addl %esi, %ebp
414 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 1-byte Folded Reload
415 ; X86-NEXT: adcl %eax, %edi
416 ; X86-NEXT: addl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
417 ; X86-NEXT: adcl %ebx, (%esp) # 4-byte Folded Spill
418 ; X86-NEXT: adcl $0, %ebp
419 ; X86-NEXT: adcl $0, %edi
420 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebp # 4-byte Folded Reload
421 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edi # 4-byte Folded Reload
422 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
423 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
424 ; X86-NEXT: imull %edx, %ecx
425 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
426 ; X86-NEXT: movl %esi, %eax
427 ; X86-NEXT: mull %edx
428 ; X86-NEXT: movl %eax, %ebx
429 ; X86-NEXT: addl %edx, %ecx
430 ; X86-NEXT: imull {{[0-9]+}}(%esp), %esi
431 ; X86-NEXT: addl %ecx, %esi
432 ; X86-NEXT: addl %ebp, %ebx
433 ; X86-NEXT: adcl %edi, %esi
434 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
435 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Folded Reload
436 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
437 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
438 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Folded Reload
439 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
440 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
441 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Folded Reload
442 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
443 ; X86-NEXT: movl (%esp), %eax # 4-byte Reload
444 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Folded Reload
445 ; X86-NEXT: movl %eax, (%esp) # 4-byte Spill
446 ; X86-NEXT: adcl $0, %ebx
447 ; X86-NEXT: adcl $0, %esi
448 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebx # 4-byte Folded Reload
449 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Folded Reload
450 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
451 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
452 ; X86-NEXT: imull %ecx, %ebp
453 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
454 ; X86-NEXT: movl %edi, %eax
455 ; X86-NEXT: mull %ecx
456 ; X86-NEXT: movl %eax, %ecx
457 ; X86-NEXT: addl %edx, %ebp
458 ; X86-NEXT: imull {{[0-9]+}}(%esp), %edi
459 ; X86-NEXT: addl %ebp, %edi
460 ; X86-NEXT: addl %ebx, %ecx
461 ; X86-NEXT: adcl %esi, %edi
462 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
463 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
464 ; X86-NEXT: movl %edi, %eax
465 ; X86-NEXT: imull {{[0-9]+}}(%esp), %edi
466 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Reload
467 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
468 ; X86-NEXT: imull %edx, %esi
469 ; X86-NEXT: mull %edx
470 ; X86-NEXT: movl %eax, %ebp
471 ; X86-NEXT: addl %edx, %edi
472 ; X86-NEXT: addl %esi, %edi
473 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
474 ; X86-NEXT: movl %ebx, %eax
475 ; X86-NEXT: imull {{[0-9]+}}(%esp), %ebx
476 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Reload
477 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
478 ; X86-NEXT: imull %edx, %esi
479 ; X86-NEXT: mull %edx
480 ; X86-NEXT: addl %edx, %ebx
481 ; X86-NEXT: addl %esi, %ebx
482 ; X86-NEXT: addl %ebp, %eax
483 ; X86-NEXT: adcl %edi, %ebx
484 ; X86-NEXT: addl %ecx, %eax
485 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebx # 4-byte Folded Reload
486 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
487 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edx # 4-byte Reload
488 ; X86-NEXT: movl %edx, 4(%ecx)
489 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edx # 4-byte Reload
490 ; X86-NEXT: movl %edx, (%ecx)
491 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edx # 4-byte Reload
492 ; X86-NEXT: movl %edx, 8(%ecx)
493 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edx # 4-byte Reload
494 ; X86-NEXT: movl %edx, 12(%ecx)
495 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edx # 4-byte Reload
496 ; X86-NEXT: movl %edx, 16(%ecx)
497 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edx # 4-byte Reload
498 ; X86-NEXT: movl %edx, 20(%ecx)
499 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edx # 4-byte Reload
500 ; X86-NEXT: movl %edx, 24(%ecx)
501 ; X86-NEXT: movl (%esp), %edx # 4-byte Reload
502 ; X86-NEXT: movl %edx, 28(%ecx)
503 ; X86-NEXT: movl %eax, 32(%ecx)
504 ; X86-NEXT: andl $4095, %ebx # imm = 0xFFF
505 ; X86-NEXT: movw %bx, 36(%ecx)
506 ; X86-NEXT: movl %ecx, %eax
507 ; X86-NEXT: addl $76, %esp
508 ; X86-NEXT: popl %esi
509 ; X86-NEXT: popl %edi
510 ; X86-NEXT: popl %ebx
511 ; X86-NEXT: popl %ebp
512 ; X86-NEXT: retl $4
513 ;
514 ; X64-LABEL: test4:
515 ; X64: # %bb.0:
516 ; X64-NEXT: pushq %rbp
517 ; X64-NEXT: pushq %r15
518 ; X64-NEXT: pushq %r14
519 ; X64-NEXT: pushq %r13
520 ; X64-NEXT: pushq %r12
521 ; X64-NEXT: pushq %rbx
522 ; X64-NEXT: movq %r9, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
523 ; X64-NEXT: movq %r8, %r11
524 ; X64-NEXT: movq %rcx, %r8
525 ; X64-NEXT: movq %rdx, %rcx
526 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %r12
527 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %r9
528 ; X64-NEXT: movq %rsi, %rax
529 ; X64-NEXT: mulq %r9
530 ; X64-NEXT: movq %rdx, %rbx
531 ; X64-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
532 ; X64-NEXT: movq %rcx, %rax
533 ; X64-NEXT: mulq %r9
534 ; X64-NEXT: movq %rdx, %r14
535 ; X64-NEXT: movq %rax, %r15
536 ; X64-NEXT: addq %rbx, %r15
537 ; X64-NEXT: adcq $0, %r14
538 ; X64-NEXT: movq %rsi, %rax
539 ; X64-NEXT: mulq %r12
540 ; X64-NEXT: movq %rdx, %rbp
541 ; X64-NEXT: movq %rax, %rbx
542 ; X64-NEXT: addq %r15, %rbx
543 ; X64-NEXT: adcq %r14, %rbp
544 ; X64-NEXT: setb %al
545 ; X64-NEXT: movzbl %al, %r10d
546 ; X64-NEXT: movq %rcx, %rax
547 ; X64-NEXT: mulq %r12
548 ; X64-NEXT: movq %rdx, %r12
549 ; X64-NEXT: movq %rax, %r13
550 ; X64-NEXT: addq %rbp, %r13
551 ; X64-NEXT: adcq %r10, %r12
552 ; X64-NEXT: movq %r8, %rax
553 ; X64-NEXT: mulq %r9
554 ; X64-NEXT: movq %rdx, %r15
555 ; X64-NEXT: movq %rax, %r14
556 ; X64-NEXT: movq %r11, %rax
557 ; X64-NEXT: mulq %r9
558 ; X64-NEXT: movq %rdx, %rbp
559 ; X64-NEXT: movq %rax, %r10
560 ; X64-NEXT: addq %r15, %r10
561 ; X64-NEXT: adcq $0, %rbp
562 ; X64-NEXT: movq %r8, %rax
563 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %r9
564 ; X64-NEXT: mulq %r9
565 ; X64-NEXT: movq %rax, %r15
566 ; X64-NEXT: addq %r10, %r15
567 ; X64-NEXT: adcq %rbp, %rdx
568 ; X64-NEXT: imulq %r9, %r11
569 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %r9
570 ; X64-NEXT: addq %r13, %r14
571 ; X64-NEXT: adcq %r12, %r15
572 ; X64-NEXT: adcq %rdx, %r11
573 ; X64-NEXT: movq %rsi, %rax
574 ; X64-NEXT: mulq %r9
575 ; X64-NEXT: movq %rdx, %r10
576 ; X64-NEXT: movq %rax, %r12
577 ; X64-NEXT: movq %rcx, %rax
578 ; X64-NEXT: mulq %r9
579 ; X64-NEXT: movq %rdx, %r13
580 ; X64-NEXT: movq %rax, %rbp
581 ; X64-NEXT: addq %r10, %rbp
582 ; X64-NEXT: adcq $0, %r13
583 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %r10
584 ; X64-NEXT: movq %rsi, %rax
585 ; X64-NEXT: mulq %r10
586 ; X64-NEXT: addq %rbp, %rax
587 ; X64-NEXT: adcq %r13, %rdx
588 ; X64-NEXT: imulq %r10, %rcx
589 ; X64-NEXT: addq %rdx, %rcx
590 ; X64-NEXT: addq %r14, %r12
591 ; X64-NEXT: adcq %r15, %rax
592 ; X64-NEXT: adcq %r11, %rcx
593 ; X64-NEXT: imulq %r9, %r8
594 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rdx # 8-byte Reload
595 ; X64-NEXT: imulq {{[0-9]+}}(%rsp), %rdx
596 ; X64-NEXT: imulq {{[0-9]+}}(%rsp), %rsi
597 ; X64-NEXT: addq %rdx, %rsi
598 ; X64-NEXT: addq %r8, %rsi
599 ; X64-NEXT: addq %rcx, %rsi
600 ; X64-NEXT: movq %rbx, 8(%rdi)
601 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rcx # 8-byte Reload
602 ; X64-NEXT: movq %rcx, (%rdi)
603 ; X64-NEXT: movq %r12, 16(%rdi)
604 ; X64-NEXT: movq %rax, 24(%rdi)
605 ; X64-NEXT: movl %esi, 32(%rdi)
606 ; X64-NEXT: shrq $32, %rsi
607 ; X64-NEXT: andl $4095, %esi # imm = 0xFFF
608 ; X64-NEXT: movw %si, 36(%rdi)
609 ; X64-NEXT: movq %rdi, %rax
610 ; X64-NEXT: popq %rbx
611 ; X64-NEXT: popq %r12
612 ; X64-NEXT: popq %r13
613 ; X64-NEXT: popq %r14
614 ; X64-NEXT: popq %r15
615 ; X64-NEXT: popq %rbp
616 ; X64-NEXT: retq
617 %x = call {i300, i1} @llvm.umul.with.overflow.i300(i300 %a, i300 %b)
618 %y = extractvalue {i300, i1} %x, 0
619 ret i300 %y
620 }