| blob | f5248d8679717d5e84b353b6283c2833dd221125 |
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, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
97 ; X86-NEXT: movl %ecx, %eax
98 ; X86-NEXT: mull %edi
99 ; X86-NEXT: movl %edx, %edi
100 ; X86-NEXT: movl %eax, %ebp
101 ; X86-NEXT: addl %esi, %ebp
102 ; X86-NEXT: adcl $0, %edi
103 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
104 ; X86-NEXT: movl %ebx, %eax
105 ; X86-NEXT: mull %ecx
106 ; X86-NEXT: movl %ecx, %ebx
107 ; X86-NEXT: movl %edx, %esi
108 ; X86-NEXT: addl %ebp, %eax
109 ; X86-NEXT: movl %eax, (%esp) # 4-byte Spill
110 ; X86-NEXT: adcl %edi, %esi
111 ; X86-NEXT: setb %cl
112 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
113 ; X86-NEXT: mull %ebx
114 ; X86-NEXT: movl %edx, %edi
115 ; X86-NEXT: addl %esi, %eax
116 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
117 ; X86-NEXT: movzbl %cl, %eax
118 ; X86-NEXT: adcl %eax, %edi
119 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
120 ; X86-NEXT: movl %ebx, %eax
121 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
122 ; X86-NEXT: mull %ecx
123 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
124 ; X86-NEXT: movl %edx, %esi
125 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
126 ; X86-NEXT: mull %ecx
127 ; X86-NEXT: movl %edx, %ebp
128 ; X86-NEXT: movl %eax, %ecx
129 ; X86-NEXT: addl %esi, %ecx
130 ; X86-NEXT: adcl $0, %ebp
131 ; X86-NEXT: movl %ebx, %eax
132 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
133 ; X86-NEXT: mull %esi
134 ; X86-NEXT: movl %edx, %ebx
135 ; X86-NEXT: addl %ecx, %eax
136 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
137 ; X86-NEXT: adcl %ebp, %ebx
138 ; X86-NEXT: setb %cl
139 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
140 ; X86-NEXT: mull %esi
141 ; X86-NEXT: movl %eax, %esi
142 ; X86-NEXT: addl %ebx, %esi
143 ; X86-NEXT: movzbl %cl, %eax
144 ; X86-NEXT: adcl %eax, %edx
145 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Folded Reload
146 ; X86-NEXT: adcl (%esp), %edx # 4-byte Folded Reload
147 ; X86-NEXT: movl %edx, (%esp) # 4-byte Spill
148 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
149 ; X86-NEXT: adcl $0, %edi
150 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
151 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
152 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
153 ; X86-NEXT: movl %ebp, %eax
154 ; X86-NEXT: mull %edi
155 ; X86-NEXT: movl %edx, %ecx
156 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
157 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
158 ; X86-NEXT: mull %edi
159 ; X86-NEXT: movl %edx, %ebx
160 ; X86-NEXT: movl %eax, %edi
161 ; X86-NEXT: addl %ecx, %edi
162 ; X86-NEXT: adcl $0, %ebx
163 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
164 ; X86-NEXT: movl %ebp, %eax
165 ; X86-NEXT: mull %ecx
166 ; X86-NEXT: movl %edx, %ebp
167 ; X86-NEXT: addl %edi, %eax
168 ; X86-NEXT: movl %eax, %edi
169 ; X86-NEXT: adcl %ebx, %ebp
170 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) # 1-byte Folded Spill
171 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
172 ; X86-NEXT: mull %ecx
173 ; X86-NEXT: movl %edx, %ecx
174 ; X86-NEXT: movl %eax, %ebx
175 ; X86-NEXT: addl %ebp, %ebx
176 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 1-byte Folded Reload
177 ; X86-NEXT: adcl %eax, %ecx
178 ; X86-NEXT: addl %esi, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
179 ; X86-NEXT: adcl (%esp), %edi # 4-byte Folded Reload
180 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
181 ; X86-NEXT: adcl $0, %ebx
182 ; X86-NEXT: adcl $0, %ecx
183 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebx # 4-byte Folded Reload
184 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ecx # 4-byte Folded Reload
185 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) # 1-byte Folded Spill
186 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
187 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
188 ; X86-NEXT: mull %edi
189 ; X86-NEXT: movl %edx, %esi
190 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
191 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
192 ; X86-NEXT: mull %edi
193 ; X86-NEXT: movl %edx, %edi
194 ; X86-NEXT: movl %eax, %ebp
195 ; X86-NEXT: addl %esi, %ebp
196 ; X86-NEXT: adcl $0, %edi
197 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
198 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
199 ; X86-NEXT: mull %edx
200 ; X86-NEXT: movl %edx, %esi
201 ; X86-NEXT: addl %ebp, %eax
202 ; X86-NEXT: movl %eax, %ebp
203 ; X86-NEXT: adcl %edi, %esi
204 ; X86-NEXT: setb (%esp) # 1-byte Folded Spill
205 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
206 ; X86-NEXT: mull {{[0-9]+}}(%esp)
207 ; X86-NEXT: addl %esi, %eax
208 ; X86-NEXT: movzbl (%esp), %esi # 1-byte Folded Reload
209 ; X86-NEXT: adcl %esi, %edx
210 ; X86-NEXT: addl %ebx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
211 ; X86-NEXT: adcl %ecx, %ebp
212 ; X86-NEXT: movl %ebp, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
213 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %ecx # 1-byte Folded Reload
214 ; X86-NEXT: adcl %ecx, %eax
215 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
216 ; X86-NEXT: adcl $0, %edx
217 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
218 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
219 ; X86-NEXT: movl %edi, %eax
220 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
221 ; X86-NEXT: mull %esi
222 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
223 ; X86-NEXT: movl %edx, %ecx
224 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
225 ; X86-NEXT: movl %ebp, %eax
226 ; X86-NEXT: mull %esi
227 ; X86-NEXT: movl %edx, %esi
228 ; X86-NEXT: movl %eax, %ebx
229 ; X86-NEXT: addl %ecx, %ebx
230 ; X86-NEXT: adcl $0, %esi
231 ; X86-NEXT: movl %edi, %eax
232 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
233 ; X86-NEXT: mull %edi
234 ; X86-NEXT: movl %edx, %ecx
235 ; X86-NEXT: addl %ebx, %eax
236 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
237 ; X86-NEXT: adcl %esi, %ecx
238 ; X86-NEXT: setb %bl
239 ; X86-NEXT: movl %ebp, %eax
240 ; X86-NEXT: mull %edi
241 ; X86-NEXT: addl %ecx, %eax
242 ; X86-NEXT: movl %eax, (%esp) # 4-byte Spill
243 ; X86-NEXT: movzbl %bl, %eax
244 ; X86-NEXT: adcl %eax, %edx
245 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
246 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
247 ; X86-NEXT: movl %edi, %eax
248 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
249 ; X86-NEXT: mull %ebp
250 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
251 ; X86-NEXT: movl %edx, %ecx
252 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
253 ; X86-NEXT: mull %ebp
254 ; X86-NEXT: movl %edx, %esi
255 ; X86-NEXT: movl %eax, %ebx
256 ; X86-NEXT: addl %ecx, %ebx
257 ; X86-NEXT: adcl $0, %esi
258 ; X86-NEXT: movl %edi, %eax
259 ; X86-NEXT: movl %edi, %ebp
260 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
261 ; X86-NEXT: mull %edi
262 ; X86-NEXT: movl %edx, %ecx
263 ; X86-NEXT: addl %ebx, %eax
264 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
265 ; X86-NEXT: adcl %esi, %ecx
266 ; X86-NEXT: setb %bl
267 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
268 ; X86-NEXT: movl %esi, %eax
269 ; X86-NEXT: mull %edi
270 ; X86-NEXT: addl %ecx, %eax
271 ; X86-NEXT: movzbl %bl, %ecx
272 ; X86-NEXT: adcl %ecx, %edx
273 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Folded Reload
274 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
275 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx # 4-byte Folded Reload
276 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
277 ; X86-NEXT: adcl $0, (%esp) # 4-byte Folded Spill
278 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
279 ; X86-NEXT: movl %ebp, %ebx
280 ; X86-NEXT: movl %ebp, %eax
281 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
282 ; X86-NEXT: mull %edi
283 ; X86-NEXT: movl %edx, %ecx
284 ; X86-NEXT: movl %eax, %ebp
285 ; X86-NEXT: movl %esi, %eax
286 ; X86-NEXT: mull %edi
287 ; X86-NEXT: movl %edx, %esi
288 ; X86-NEXT: movl %eax, %edi
289 ; X86-NEXT: addl %ecx, %edi
290 ; X86-NEXT: adcl $0, %esi
291 ; X86-NEXT: movl %ebx, %eax
292 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
293 ; X86-NEXT: mull %ebx
294 ; X86-NEXT: movl %edx, %ecx
295 ; X86-NEXT: addl %edi, %eax
296 ; X86-NEXT: movl %eax, %edi
297 ; X86-NEXT: adcl %esi, %ecx
298 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) # 1-byte Folded Spill
299 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
300 ; X86-NEXT: mull %ebx
301 ; X86-NEXT: movl %edx, %ebx
302 ; X86-NEXT: movl %eax, %esi
303 ; X86-NEXT: addl %ecx, %esi
304 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 1-byte Folded Reload
305 ; X86-NEXT: adcl %eax, %ebx
306 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebp # 4-byte Folded Reload
307 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edi # 4-byte Folded Reload
308 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
309 ; X86-NEXT: adcl $0, %esi
310 ; X86-NEXT: adcl $0, %ebx
311 ; X86-NEXT: addl (%esp), %esi # 4-byte Folded Reload
312 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebx # 4-byte Folded Reload
313 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
314 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
315 ; X86-NEXT: imull %edx, %ecx
316 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
317 ; X86-NEXT: movl %edi, %eax
318 ; X86-NEXT: mull %edx
319 ; X86-NEXT: addl %edx, %ecx
320 ; X86-NEXT: imull {{[0-9]+}}(%esp), %edi
321 ; X86-NEXT: addl %ecx, %edi
322 ; X86-NEXT: movl %eax, %edx
323 ; X86-NEXT: addl %esi, %edx
324 ; X86-NEXT: adcl %ebx, %edi
325 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
326 ; X86-NEXT: addl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
327 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
328 ; X86-NEXT: adcl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
329 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebp # 4-byte Folded Reload
330 ; X86-NEXT: movl %ebp, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
331 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
332 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Folded Reload
333 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
334 ; X86-NEXT: adcl $0, %edx
335 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
336 ; X86-NEXT: adcl $0, %edi
337 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
338 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
339 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
340 ; X86-NEXT: movl %esi, %eax
341 ; X86-NEXT: mull %edi
342 ; X86-NEXT: movl %edx, %ecx
343 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
344 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
345 ; X86-NEXT: mull %edi
346 ; X86-NEXT: movl %edx, %edi
347 ; X86-NEXT: movl %eax, %ebx
348 ; X86-NEXT: addl %ecx, %ebx
349 ; X86-NEXT: adcl $0, %edi
350 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
351 ; X86-NEXT: movl %esi, %eax
352 ; X86-NEXT: mull %ecx
353 ; X86-NEXT: movl %ecx, %esi
354 ; X86-NEXT: movl %edx, %ebp
355 ; X86-NEXT: addl %ebx, %eax
356 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
357 ; X86-NEXT: adcl %edi, %ebp
358 ; X86-NEXT: setb %cl
359 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
360 ; X86-NEXT: mull %esi
361 ; X86-NEXT: addl %ebp, %eax
362 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
363 ; X86-NEXT: movzbl %cl, %eax
364 ; X86-NEXT: adcl %eax, %edx
365 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
366 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
367 ; X86-NEXT: movl %ecx, %eax
368 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
369 ; X86-NEXT: mull %esi
370 ; X86-NEXT: movl %edx, %edi
371 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
372 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
373 ; X86-NEXT: mull %esi
374 ; X86-NEXT: movl %edx, %ebx
375 ; X86-NEXT: movl %eax, %ebp
376 ; X86-NEXT: addl %edi, %ebp
377 ; X86-NEXT: adcl $0, %ebx
378 ; X86-NEXT: movl %ecx, %eax
379 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
380 ; X86-NEXT: mull %esi
381 ; X86-NEXT: movl %edx, %edi
382 ; X86-NEXT: addl %ebp, %eax
383 ; X86-NEXT: movl %eax, (%esp) # 4-byte Spill
384 ; X86-NEXT: adcl %ebx, %edi
385 ; X86-NEXT: setb %cl
386 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
387 ; X86-NEXT: mull %esi
388 ; X86-NEXT: movl %eax, %ebp
389 ; X86-NEXT: addl %edi, %ebp
390 ; X86-NEXT: movzbl %cl, %eax
391 ; X86-NEXT: adcl %eax, %edx
392 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebp # 4-byte Folded Reload
393 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx # 4-byte Folded Reload
394 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
395 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
396 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
397 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
398 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
399 ; X86-NEXT: movl %ebx, %eax
400 ; X86-NEXT: mull %ecx
401 ; X86-NEXT: movl %edx, %esi
402 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
403 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
404 ; X86-NEXT: mull %ecx
405 ; X86-NEXT: movl %edx, %edi
406 ; X86-NEXT: movl %eax, %ecx
407 ; X86-NEXT: addl %esi, %ecx
408 ; X86-NEXT: adcl $0, %edi
409 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
410 ; X86-NEXT: movl %ebx, %eax
411 ; X86-NEXT: mull %esi
412 ; X86-NEXT: movl %edx, %ebx
413 ; X86-NEXT: addl %ecx, %eax
414 ; X86-NEXT: movl %eax, %ecx
415 ; X86-NEXT: adcl %edi, %ebx
416 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) # 1-byte Folded Spill
417 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
418 ; X86-NEXT: mull %esi
419 ; X86-NEXT: movl %edx, %edi
420 ; X86-NEXT: movl %eax, %esi
421 ; X86-NEXT: addl %ebx, %esi
422 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 1-byte Folded Reload
423 ; X86-NEXT: adcl %eax, %edi
424 ; X86-NEXT: addl %ebp, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill
425 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ecx # 4-byte Folded Reload
426 ; X86-NEXT: movl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
427 ; X86-NEXT: adcl $0, %esi
428 ; X86-NEXT: adcl $0, %edi
429 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Folded Reload
430 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edi # 4-byte Folded Reload
431 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
432 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
433 ; X86-NEXT: imull %ecx, %ebp
434 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
435 ; X86-NEXT: movl %ebx, %eax
436 ; X86-NEXT: mull %ecx
437 ; X86-NEXT: movl %eax, %ecx
438 ; X86-NEXT: addl %edx, %ebp
439 ; X86-NEXT: imull {{[0-9]+}}(%esp), %ebx
440 ; X86-NEXT: addl %ebp, %ebx
441 ; X86-NEXT: addl %esi, %ecx
442 ; X86-NEXT: adcl %edi, %ebx
443 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
444 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Folded Reload
445 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
446 ; X86-NEXT: movl (%esp), %eax # 4-byte Reload
447 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Folded Reload
448 ; X86-NEXT: movl %eax, (%esp) # 4-byte Spill
449 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
450 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Folded Reload
451 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
452 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
453 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Folded Reload
454 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
455 ; X86-NEXT: adcl $0, %ecx
456 ; X86-NEXT: adcl $0, %ebx
457 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ecx # 4-byte Folded Reload
458 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebx # 4-byte Folded Reload
459 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
460 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
461 ; X86-NEXT: imull %edx, %ebp
462 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
463 ; X86-NEXT: movl %esi, %eax
464 ; X86-NEXT: mull %edx
465 ; X86-NEXT: movl %eax, %edi
466 ; X86-NEXT: addl %edx, %ebp
467 ; X86-NEXT: imull {{[0-9]+}}(%esp), %esi
468 ; X86-NEXT: addl %ebp, %esi
469 ; X86-NEXT: addl %ecx, %edi
470 ; X86-NEXT: adcl %ebx, %esi
471 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
472 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
473 ; X86-NEXT: movl %esi, %eax
474 ; X86-NEXT: imull {{[0-9]+}}(%esp), %esi
475 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx # 4-byte Reload
476 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
477 ; X86-NEXT: imull %edx, %ecx
478 ; X86-NEXT: mull %edx
479 ; X86-NEXT: movl %eax, %ebx
480 ; X86-NEXT: addl %edx, %esi
481 ; X86-NEXT: addl %ecx, %esi
482 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
483 ; X86-NEXT: movl %ecx, %eax
484 ; X86-NEXT: imull {{[0-9]+}}(%esp), %ecx
485 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ebp # 4-byte Reload
486 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
487 ; X86-NEXT: imull %edx, %ebp
488 ; X86-NEXT: mull %edx
489 ; X86-NEXT: addl %edx, %ecx
490 ; X86-NEXT: addl %ebp, %ecx
491 ; X86-NEXT: addl %ebx, %eax
492 ; X86-NEXT: adcl %esi, %ecx
493 ; X86-NEXT: addl %edi, %eax
494 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ecx # 4-byte Folded Reload
495 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
496 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Reload
497 ; X86-NEXT: movl %esi, 4(%edx)
498 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Reload
499 ; X86-NEXT: movl %esi, (%edx)
500 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Reload
501 ; X86-NEXT: movl %esi, 8(%edx)
502 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Reload
503 ; X86-NEXT: movl %esi, 12(%edx)
504 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Reload
505 ; X86-NEXT: movl %esi, 16(%edx)
506 ; X86-NEXT: movl (%esp), %esi # 4-byte Reload
507 ; X86-NEXT: movl %esi, 20(%edx)
508 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Reload
509 ; X86-NEXT: movl %esi, 24(%edx)
510 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %esi # 4-byte Reload
511 ; X86-NEXT: movl %esi, 28(%edx)
512 ; X86-NEXT: movl %eax, 32(%edx)
513 ; X86-NEXT: andl $4095, %ecx # imm = 0xFFF
514 ; X86-NEXT: movw %cx, 36(%edx)
515 ; X86-NEXT: movl %edx, %eax
516 ; X86-NEXT: addl $76, %esp
517 ; X86-NEXT: popl %esi
518 ; X86-NEXT: popl %edi
519 ; X86-NEXT: popl %ebx
520 ; X86-NEXT: popl %ebp
521 ; X86-NEXT: retl $4
522 ;
523 ; X64-LABEL: test4:
524 ; X64: # %bb.0:
525 ; X64-NEXT: pushq %rbp
526 ; X64-NEXT: pushq %r15
527 ; X64-NEXT: pushq %r14
528 ; X64-NEXT: pushq %r13
529 ; X64-NEXT: pushq %r12
530 ; X64-NEXT: pushq %rbx
531 ; X64-NEXT: movq %r9, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
532 ; X64-NEXT: movq %r8, %r11
533 ; X64-NEXT: movq %rcx, %r8
534 ; X64-NEXT: movq %rdx, %rcx
535 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %r9
536 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %r10
537 ; X64-NEXT: movq %rsi, %rax
538 ; X64-NEXT: mulq %r10
539 ; X64-NEXT: movq %rdx, %rbx
540 ; X64-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
541 ; X64-NEXT: movq %rcx, %rax
542 ; X64-NEXT: mulq %r10
543 ; X64-NEXT: movq %r10, %rbp
544 ; X64-NEXT: movq %rdx, %r14
545 ; X64-NEXT: movq %rax, %r15
546 ; X64-NEXT: addq %rbx, %r15
547 ; X64-NEXT: adcq $0, %r14
548 ; X64-NEXT: movq %rsi, %rax
549 ; X64-NEXT: mulq %r9
550 ; X64-NEXT: movq %rdx, %r12
551 ; X64-NEXT: movq %rax, %rbx
552 ; X64-NEXT: addq %r15, %rbx
553 ; X64-NEXT: adcq %r14, %r12
554 ; X64-NEXT: setb %al
555 ; X64-NEXT: movzbl %al, %r10d
556 ; X64-NEXT: movq %rcx, %rax
557 ; X64-NEXT: mulq %r9
558 ; X64-NEXT: movq %rdx, %r15
559 ; X64-NEXT: movq %rax, %r13
560 ; X64-NEXT: addq %r12, %r13
561 ; X64-NEXT: adcq %r10, %r15
562 ; X64-NEXT: movq %r8, %rax
563 ; X64-NEXT: mulq %rbp
564 ; X64-NEXT: movq %rdx, %r12
565 ; X64-NEXT: movq %rax, %r14
566 ; X64-NEXT: movq %r11, %rax
567 ; X64-NEXT: mulq %rbp
568 ; X64-NEXT: movq %rdx, %rbp
569 ; X64-NEXT: movq %rax, %r10
570 ; X64-NEXT: addq %r12, %r10
571 ; X64-NEXT: adcq $0, %rbp
572 ; X64-NEXT: movq %r8, %rax
573 ; X64-NEXT: mulq %r9
574 ; X64-NEXT: movq %rax, %r12
575 ; X64-NEXT: addq %r10, %r12
576 ; X64-NEXT: adcq %rbp, %rdx
577 ; X64-NEXT: imulq %r9, %r11
578 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %r9
579 ; X64-NEXT: addq %r13, %r14
580 ; X64-NEXT: adcq %r15, %r12
581 ; X64-NEXT: adcq %rdx, %r11
582 ; X64-NEXT: movq %rsi, %rax
583 ; X64-NEXT: mulq %r9
584 ; X64-NEXT: movq %rdx, %r10
585 ; X64-NEXT: movq %rax, %r15
586 ; X64-NEXT: movq %rcx, %rax
587 ; X64-NEXT: mulq %r9
588 ; X64-NEXT: movq %rdx, %r13
589 ; X64-NEXT: movq %rax, %rbp
590 ; X64-NEXT: addq %r10, %rbp
591 ; X64-NEXT: adcq $0, %r13
592 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %r10
593 ; X64-NEXT: movq %rsi, %rax
594 ; X64-NEXT: mulq %r10
595 ; X64-NEXT: addq %rbp, %rax
596 ; X64-NEXT: adcq %r13, %rdx
597 ; X64-NEXT: imulq %r10, %rcx
598 ; X64-NEXT: addq %rdx, %rcx
599 ; X64-NEXT: addq %r14, %r15
600 ; X64-NEXT: adcq %r12, %rax
601 ; X64-NEXT: adcq %r11, %rcx
602 ; X64-NEXT: imulq %r9, %r8
603 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rdx # 8-byte Reload
604 ; X64-NEXT: imulq {{[0-9]+}}(%rsp), %rdx
605 ; X64-NEXT: imulq {{[0-9]+}}(%rsp), %rsi
606 ; X64-NEXT: addq %rdx, %rsi
607 ; X64-NEXT: addq %r8, %rsi
608 ; X64-NEXT: addq %rcx, %rsi
609 ; X64-NEXT: movq %rbx, 8(%rdi)
610 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rcx # 8-byte Reload
611 ; X64-NEXT: movq %rcx, (%rdi)
612 ; X64-NEXT: movq %r15, 16(%rdi)
613 ; X64-NEXT: movq %rax, 24(%rdi)
614 ; X64-NEXT: movl %esi, 32(%rdi)
615 ; X64-NEXT: shrq $32, %rsi
616 ; X64-NEXT: andl $4095, %esi # imm = 0xFFF
617 ; X64-NEXT: movw %si, 36(%rdi)
618 ; X64-NEXT: movq %rdi, %rax
619 ; X64-NEXT: popq %rbx
620 ; X64-NEXT: popq %r12
621 ; X64-NEXT: popq %r13
622 ; X64-NEXT: popq %r14
623 ; X64-NEXT: popq %r15
624 ; X64-NEXT: popq %rbp
625 ; X64-NEXT: retq
626 %x = call {i300, i1} @llvm.umul.with.overflow.i300(i300 %a, i300 %b)
627 %y = extractvalue {i300, i1} %x, 0
628 ret i300 %y
629 }