1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc -mtriple=x86_64-darwin-unknown < %s | FileCheck %s --check-prefix=X64
3 ; RUN: llc -mtriple=i686-darwin-unknown < %s | FileCheck %s --check-prefix=X86
5 define zeroext i1 @smuloi128(i128 %v1, i128 %v2, i128* %res) {
6 ; X64-LABEL: smuloi128:
9 ; X64-NEXT: .cfi_def_cfa_offset 16
10 ; X64-NEXT: subq $16, %rsp
11 ; X64-NEXT: .cfi_def_cfa_offset 32
12 ; X64-NEXT: .cfi_offset %rbx, -16
13 ; X64-NEXT: movq %r8, %rbx
14 ; X64-NEXT: movq $0, {{[0-9]+}}(%rsp)
15 ; X64-NEXT: leaq {{[0-9]+}}(%rsp), %r8
16 ; X64-NEXT: callq ___muloti4
17 ; X64-NEXT: cmpq $0, {{[0-9]+}}(%rsp)
19 ; X64-NEXT: movq %rdx, 8(%rbx)
20 ; X64-NEXT: movq %rax, (%rbx)
21 ; X64-NEXT: movl %ecx, %eax
22 ; X64-NEXT: addq $16, %rsp
26 ; X86-LABEL: smuloi128:
28 ; X86-NEXT: pushl %ebp
29 ; X86-NEXT: .cfi_def_cfa_offset 8
30 ; X86-NEXT: pushl %ebx
31 ; X86-NEXT: .cfi_def_cfa_offset 12
32 ; X86-NEXT: pushl %edi
33 ; X86-NEXT: .cfi_def_cfa_offset 16
34 ; X86-NEXT: pushl %esi
35 ; X86-NEXT: .cfi_def_cfa_offset 20
36 ; X86-NEXT: subl $52, %esp
37 ; X86-NEXT: .cfi_def_cfa_offset 72
38 ; X86-NEXT: .cfi_offset %esi, -20
39 ; X86-NEXT: .cfi_offset %edi, -16
40 ; X86-NEXT: .cfi_offset %ebx, -12
41 ; X86-NEXT: .cfi_offset %ebp, -8
42 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
43 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
44 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
45 ; X86-NEXT: movl %edi, %eax
47 ; X86-NEXT: movl %edx, %ecx
48 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
49 ; X86-NEXT: movl %esi, %eax
51 ; X86-NEXT: movl %ebx, %esi
52 ; X86-NEXT: movl %edx, %ebx
53 ; X86-NEXT: movl %eax, %ebp
54 ; X86-NEXT: addl %ecx, %ebp
55 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
56 ; X86-NEXT: adcl $0, %ebx
57 ; X86-NEXT: movl %edi, %eax
59 ; X86-NEXT: movl %ecx, %edi
60 ; X86-NEXT: movl %edx, %ecx
61 ; X86-NEXT: addl %ebp, %eax
62 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
63 ; X86-NEXT: adcl %ebx, %ecx
65 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
67 ; X86-NEXT: addl %ecx, %eax
68 ; X86-NEXT: movl %eax, (%esp) ## 4-byte Spill
69 ; X86-NEXT: movzbl %bl, %eax
70 ; X86-NEXT: adcl %eax, %edx
71 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
72 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
73 ; X86-NEXT: movl %edi, %eax
75 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
76 ; X86-NEXT: movl %edx, %ecx
77 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
79 ; X86-NEXT: movl %edx, %ebx
80 ; X86-NEXT: movl %eax, %ebp
81 ; X86-NEXT: addl %ecx, %ebp
82 ; X86-NEXT: adcl $0, %ebx
83 ; X86-NEXT: movl %edi, %eax
84 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
86 ; X86-NEXT: movl %edx, %edi
87 ; X86-NEXT: addl %ebp, %eax
88 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
89 ; X86-NEXT: adcl %ebx, %edi
91 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
92 ; X86-NEXT: movl %ebp, %eax
94 ; X86-NEXT: movl %eax, %ebx
95 ; X86-NEXT: addl %edi, %ebx
96 ; X86-NEXT: movzbl %cl, %eax
97 ; X86-NEXT: adcl %eax, %edx
98 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Folded Reload
99 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
100 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
101 ; X86-NEXT: adcl $0, (%esp) ## 4-byte Folded Spill
102 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
103 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
104 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
105 ; X86-NEXT: movl %ecx, %eax
106 ; X86-NEXT: mull %esi
107 ; X86-NEXT: movl %edx, %edi
108 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
109 ; X86-NEXT: movl %ebp, %eax
110 ; X86-NEXT: mull %esi
111 ; X86-NEXT: movl %edx, %ebp
112 ; X86-NEXT: movl %eax, %esi
113 ; X86-NEXT: addl %edi, %esi
114 ; X86-NEXT: adcl $0, %ebp
115 ; X86-NEXT: movl %ecx, %eax
116 ; X86-NEXT: mull {{[0-9]+}}(%esp)
117 ; X86-NEXT: movl %edx, %ecx
118 ; X86-NEXT: addl %esi, %eax
119 ; X86-NEXT: movl %eax, %edi
120 ; X86-NEXT: adcl %ebp, %ecx
121 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
122 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
123 ; X86-NEXT: mull {{[0-9]+}}(%esp)
124 ; X86-NEXT: movl %edx, %ebp
125 ; X86-NEXT: movl %eax, %esi
126 ; X86-NEXT: addl %ecx, %esi
127 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 1-byte Folded Reload
128 ; X86-NEXT: adcl %eax, %ebp
129 ; X86-NEXT: addl %ebx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
130 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Folded Reload
131 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
132 ; X86-NEXT: adcl $0, %esi
133 ; X86-NEXT: adcl $0, %ebp
134 ; X86-NEXT: addl (%esp), %esi ## 4-byte Folded Reload
135 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Folded Reload
136 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
137 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
138 ; X86-NEXT: movl %edi, %eax
139 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
140 ; X86-NEXT: mull %ecx
141 ; X86-NEXT: movl %edx, (%esp) ## 4-byte Spill
142 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
143 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
144 ; X86-NEXT: mull %ecx
145 ; X86-NEXT: movl %edx, %ebx
146 ; X86-NEXT: movl %eax, %ecx
147 ; X86-NEXT: addl (%esp), %ecx ## 4-byte Folded Reload
148 ; X86-NEXT: adcl $0, %ebx
149 ; X86-NEXT: movl %edi, %eax
150 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
151 ; X86-NEXT: mull %edx
152 ; X86-NEXT: movl %edx, %edi
153 ; X86-NEXT: addl %ecx, %eax
154 ; X86-NEXT: movl %eax, %ecx
155 ; X86-NEXT: adcl %ebx, %edi
157 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
158 ; X86-NEXT: mull {{[0-9]+}}(%esp)
159 ; X86-NEXT: addl %edi, %eax
160 ; X86-NEXT: movl %eax, %edi
161 ; X86-NEXT: movzbl %bl, %eax
162 ; X86-NEXT: adcl %eax, %edx
163 ; X86-NEXT: addl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
164 ; X86-NEXT: adcl %ebp, %ecx
165 ; X86-NEXT: movl %ecx, (%esp) ## 4-byte Spill
166 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 1-byte Folded Reload
167 ; X86-NEXT: adcl %eax, %edi
168 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
169 ; X86-NEXT: adcl $0, %edx
170 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
171 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
172 ; X86-NEXT: sarl $31, %ebx
173 ; X86-NEXT: movl %ebx, %ecx
174 ; X86-NEXT: imull {{[0-9]+}}(%esp), %ecx
175 ; X86-NEXT: movl %ebx, %eax
176 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
177 ; X86-NEXT: mull %esi
178 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
179 ; X86-NEXT: addl %ecx, %edx
180 ; X86-NEXT: imull %ebx, %esi
181 ; X86-NEXT: addl %edx, %esi
182 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
183 ; X86-NEXT: movl %ebx, %ecx
184 ; X86-NEXT: imull {{[0-9]+}}(%esp), %ecx
185 ; X86-NEXT: movl %ebx, %eax
186 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
187 ; X86-NEXT: mull %edi
188 ; X86-NEXT: movl %eax, %esi
189 ; X86-NEXT: addl %ecx, %edx
190 ; X86-NEXT: movl %ebx, %ebp
191 ; X86-NEXT: imull %edi, %ebp
192 ; X86-NEXT: addl %edx, %ebp
193 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
194 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
195 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Folded Reload
196 ; X86-NEXT: movl %edi, %eax
197 ; X86-NEXT: mull %ebx
198 ; X86-NEXT: movl %edx, %edi
199 ; X86-NEXT: movl %eax, %ecx
200 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
201 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
202 ; X86-NEXT: mull %ebx
203 ; X86-NEXT: movl %edx, %esi
204 ; X86-NEXT: movl %eax, %ebx
205 ; X86-NEXT: addl %edi, %ebx
206 ; X86-NEXT: adcl $0, %edx
207 ; X86-NEXT: addl %ecx, %ebx
208 ; X86-NEXT: movl %ebx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
209 ; X86-NEXT: adcl %edi, %edx
211 ; X86-NEXT: addl %eax, %edx
212 ; X86-NEXT: movzbl %cl, %eax
213 ; X86-NEXT: adcl %esi, %eax
214 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
215 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
216 ; X86-NEXT: adcl %ebp, %eax
217 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
218 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
219 ; X86-NEXT: sarl $31, %ecx
220 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
221 ; X86-NEXT: movl %eax, %edi
222 ; X86-NEXT: imull %ecx, %edi
223 ; X86-NEXT: mull %ecx
224 ; X86-NEXT: movl %eax, %ebx
225 ; X86-NEXT: addl %edi, %edx
226 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
227 ; X86-NEXT: imull %ecx, %edi
228 ; X86-NEXT: addl %edx, %edi
229 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
230 ; X86-NEXT: movl %eax, %ebp
231 ; X86-NEXT: imull %ecx, %ebp
232 ; X86-NEXT: mull %ecx
233 ; X86-NEXT: movl %eax, %esi
234 ; X86-NEXT: addl %ebp, %edx
235 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
236 ; X86-NEXT: imull %ecx, %eax
237 ; X86-NEXT: addl %edx, %eax
238 ; X86-NEXT: addl %ebx, %esi
239 ; X86-NEXT: movl %esi, %ebx
240 ; X86-NEXT: adcl %edi, %eax
241 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
242 ; X86-NEXT: movl %ecx, %eax
243 ; X86-NEXT: mull {{[0-9]+}}(%esp)
244 ; X86-NEXT: movl %edx, %ebp
245 ; X86-NEXT: movl %eax, %edi
246 ; X86-NEXT: movl %eax, %esi
247 ; X86-NEXT: addl %edx, %esi
248 ; X86-NEXT: adcl $0, %ebp
249 ; X86-NEXT: movl %ecx, %eax
250 ; X86-NEXT: mull {{[0-9]+}}(%esp)
251 ; X86-NEXT: addl %eax, %esi
252 ; X86-NEXT: adcl %edx, %ebp
254 ; X86-NEXT: addl %eax, %ebp
255 ; X86-NEXT: movzbl %cl, %eax
256 ; X86-NEXT: adcl %edx, %eax
257 ; X86-NEXT: addl %ebx, %ebp
258 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
259 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Folded Reload
260 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
261 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Folded Reload
262 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
263 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Folded Reload
264 ; X86-NEXT: adcl (%esp), %esi ## 4-byte Folded Reload
265 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Folded Reload
266 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
267 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Reload
268 ; X86-NEXT: movl %edx, %ecx
269 ; X86-NEXT: sarl $31, %ecx
270 ; X86-NEXT: xorl %ecx, %eax
271 ; X86-NEXT: xorl %ecx, %esi
272 ; X86-NEXT: orl %eax, %esi
273 ; X86-NEXT: xorl %ecx, %ebp
274 ; X86-NEXT: xorl %edi, %ecx
275 ; X86-NEXT: orl %ebp, %ecx
276 ; X86-NEXT: orl %esi, %ecx
277 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
278 ; X86-NEXT: movl %edx, 12(%eax)
279 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
280 ; X86-NEXT: movl %ecx, (%eax)
281 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
282 ; X86-NEXT: movl %ecx, 4(%eax)
283 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
284 ; X86-NEXT: movl %ecx, 8(%eax)
285 ; X86-NEXT: setne %al
286 ; X86-NEXT: addl $52, %esp
287 ; X86-NEXT: popl %esi
288 ; X86-NEXT: popl %edi
289 ; X86-NEXT: popl %ebx
290 ; X86-NEXT: popl %ebp
292 %t = call {i128, i1} @llvm.smul.with.overflow.i128(i128 %v1, i128 %v2)
293 %val = extractvalue {i128, i1} %t, 0
294 %obit = extractvalue {i128, i1} %t, 1
295 store i128 %val, i128* %res
299 define zeroext i1 @smuloi256(i256 %v1, i256 %v2, i256* %res) {
300 ; X64-LABEL: smuloi256:
302 ; X64-NEXT: pushq %rbp
303 ; X64-NEXT: .cfi_def_cfa_offset 16
304 ; X64-NEXT: pushq %r15
305 ; X64-NEXT: .cfi_def_cfa_offset 24
306 ; X64-NEXT: pushq %r14
307 ; X64-NEXT: .cfi_def_cfa_offset 32
308 ; X64-NEXT: pushq %r13
309 ; X64-NEXT: .cfi_def_cfa_offset 40
310 ; X64-NEXT: pushq %r12
311 ; X64-NEXT: .cfi_def_cfa_offset 48
312 ; X64-NEXT: pushq %rbx
313 ; X64-NEXT: .cfi_def_cfa_offset 56
314 ; X64-NEXT: .cfi_offset %rbx, -56
315 ; X64-NEXT: .cfi_offset %r12, -48
316 ; X64-NEXT: .cfi_offset %r13, -40
317 ; X64-NEXT: .cfi_offset %r14, -32
318 ; X64-NEXT: .cfi_offset %r15, -24
319 ; X64-NEXT: .cfi_offset %rbp, -16
320 ; X64-NEXT: movq %rcx, %r15
321 ; X64-NEXT: movq %rdx, %r11
322 ; X64-NEXT: movq %rdx, %rax
323 ; X64-NEXT: movq %rdx, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
325 ; X64-NEXT: movq %rdx, %r10
326 ; X64-NEXT: movq %rax, %r14
327 ; X64-NEXT: movq %rcx, %rax
328 ; X64-NEXT: movq %rcx, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
330 ; X64-NEXT: movq %rdx, %rbx
331 ; X64-NEXT: movq %rax, %rbp
332 ; X64-NEXT: addq %r10, %rbp
333 ; X64-NEXT: adcq $0, %rbx
334 ; X64-NEXT: movq %r11, %rax
336 ; X64-NEXT: movq %rdx, %rcx
337 ; X64-NEXT: movq %rax, %r11
338 ; X64-NEXT: addq %rbp, %r11
339 ; X64-NEXT: adcq %rbx, %rcx
341 ; X64-NEXT: movzbl %al, %ebp
342 ; X64-NEXT: movq %r15, %rax
344 ; X64-NEXT: movq %r9, %r15
345 ; X64-NEXT: movq %rdx, %r12
346 ; X64-NEXT: movq %rax, %r10
347 ; X64-NEXT: addq %rcx, %r10
348 ; X64-NEXT: adcq %rbp, %r12
349 ; X64-NEXT: movq %rdi, %r9
350 ; X64-NEXT: movq %rdi, %rax
351 ; X64-NEXT: movq %r8, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
353 ; X64-NEXT: movq %rdx, %rbp
354 ; X64-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
355 ; X64-NEXT: movq %rsi, %rcx
356 ; X64-NEXT: movq %rsi, %rax
358 ; X64-NEXT: movq %rdx, %rbx
359 ; X64-NEXT: movq %rax, %rsi
360 ; X64-NEXT: addq %rbp, %rsi
361 ; X64-NEXT: adcq $0, %rbx
362 ; X64-NEXT: movq %rdi, %rax
363 ; X64-NEXT: movq %r15, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
364 ; X64-NEXT: mulq %r15
365 ; X64-NEXT: movq %rdx, %rbp
366 ; X64-NEXT: addq %rsi, %rax
367 ; X64-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
368 ; X64-NEXT: adcq %rbx, %rbp
370 ; X64-NEXT: movq %rcx, %rax
371 ; X64-NEXT: movq %rcx, %rdi
372 ; X64-NEXT: mulq %r15
373 ; X64-NEXT: movq %rdx, %r15
374 ; X64-NEXT: movq %rax, %rcx
375 ; X64-NEXT: addq %rbp, %rcx
376 ; X64-NEXT: movzbl %bl, %eax
377 ; X64-NEXT: adcq %rax, %r15
378 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %r8
379 ; X64-NEXT: addq %r14, %rcx
380 ; X64-NEXT: adcq %r11, %r15
381 ; X64-NEXT: adcq $0, %r10
382 ; X64-NEXT: adcq $0, %r12
383 ; X64-NEXT: movq %r9, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
384 ; X64-NEXT: movq %r9, %rax
386 ; X64-NEXT: movq %rdx, %rsi
387 ; X64-NEXT: movq %rax, %r11
388 ; X64-NEXT: movq %rdi, %rax
389 ; X64-NEXT: movq %rdi, %r14
390 ; X64-NEXT: movq %rdi, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
392 ; X64-NEXT: movq %rdx, %rbp
393 ; X64-NEXT: movq %rax, %rdi
394 ; X64-NEXT: addq %rsi, %rdi
395 ; X64-NEXT: adcq $0, %rbp
396 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %rsi
397 ; X64-NEXT: movq %r9, %rax
398 ; X64-NEXT: mulq %rsi
399 ; X64-NEXT: movq %rdx, %rbx
400 ; X64-NEXT: addq %rdi, %rax
401 ; X64-NEXT: movq %rax, %rdi
402 ; X64-NEXT: adcq %rbp, %rbx
403 ; X64-NEXT: setb %r9b
404 ; X64-NEXT: movq %r14, %rax
405 ; X64-NEXT: mulq %rsi
406 ; X64-NEXT: movq %rdx, %r13
407 ; X64-NEXT: movq %rax, %r14
408 ; X64-NEXT: addq %rbx, %r14
409 ; X64-NEXT: movzbl %r9b, %eax
410 ; X64-NEXT: adcq %rax, %r13
411 ; X64-NEXT: addq %rcx, %r11
412 ; X64-NEXT: movq %r11, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
413 ; X64-NEXT: adcq %r15, %rdi
414 ; X64-NEXT: movq %rdi, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
415 ; X64-NEXT: adcq $0, %r14
416 ; X64-NEXT: adcq $0, %r13
417 ; X64-NEXT: addq %r10, %r14
418 ; X64-NEXT: adcq %r12, %r13
419 ; X64-NEXT: setb %r9b
420 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rbp ## 8-byte Reload
421 ; X64-NEXT: movq %rbp, %rax
423 ; X64-NEXT: movq %rdx, %rcx
424 ; X64-NEXT: movq %rax, %r10
425 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %r12 ## 8-byte Reload
426 ; X64-NEXT: movq %r12, %rax
428 ; X64-NEXT: movq %rdx, %rdi
429 ; X64-NEXT: movq %rax, %rbx
430 ; X64-NEXT: addq %rcx, %rbx
431 ; X64-NEXT: adcq $0, %rdi
432 ; X64-NEXT: movq %rbp, %rax
433 ; X64-NEXT: mulq %rsi
434 ; X64-NEXT: movq %rdx, %rcx
435 ; X64-NEXT: addq %rbx, %rax
436 ; X64-NEXT: movq %rax, %rbp
437 ; X64-NEXT: adcq %rdi, %rcx
439 ; X64-NEXT: movq %r12, %rax
440 ; X64-NEXT: mulq %rsi
441 ; X64-NEXT: movq %rax, %r11
442 ; X64-NEXT: addq %rcx, %r11
443 ; X64-NEXT: movzbl %bl, %eax
444 ; X64-NEXT: adcq %rax, %rdx
445 ; X64-NEXT: addq %r14, %r10
446 ; X64-NEXT: movq %r10, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
447 ; X64-NEXT: adcq %r13, %rbp
448 ; X64-NEXT: movq %rbp, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
449 ; X64-NEXT: movzbl %r9b, %eax
450 ; X64-NEXT: adcq %rax, %r11
451 ; X64-NEXT: adcq $0, %rdx
452 ; X64-NEXT: movq %rdx, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
453 ; X64-NEXT: movq %r12, %rdi
454 ; X64-NEXT: sarq $63, %rdi
455 ; X64-NEXT: movq %rdi, %rcx
456 ; X64-NEXT: imulq %rsi, %rcx
457 ; X64-NEXT: movq %rdi, %rax
459 ; X64-NEXT: movq %rax, %r9
460 ; X64-NEXT: addq %rcx, %rdx
461 ; X64-NEXT: imulq %rdi, %r8
462 ; X64-NEXT: addq %rdx, %r8
463 ; X64-NEXT: movq %rdi, %rbp
464 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %r10 ## 8-byte Reload
465 ; X64-NEXT: imulq %r10, %rbp
466 ; X64-NEXT: movq %rdi, %rax
467 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rbx ## 8-byte Reload
468 ; X64-NEXT: mulq %rbx
469 ; X64-NEXT: movq %rax, %r13
470 ; X64-NEXT: addq %rbp, %rdx
471 ; X64-NEXT: movq %rdi, %rcx
472 ; X64-NEXT: imulq %rbx, %rcx
473 ; X64-NEXT: movq %rbx, %rax
474 ; X64-NEXT: addq %rdx, %rcx
475 ; X64-NEXT: addq %r9, %r13
476 ; X64-NEXT: adcq %r8, %rcx
477 ; X64-NEXT: mulq %rdi
478 ; X64-NEXT: movq %rdx, %rbx
479 ; X64-NEXT: movq %rax, %r14
480 ; X64-NEXT: movq %r10, %rax
481 ; X64-NEXT: mulq %rdi
482 ; X64-NEXT: movq %rax, %r8
483 ; X64-NEXT: addq %rbx, %r8
484 ; X64-NEXT: movq %rdx, %rbp
485 ; X64-NEXT: adcq $0, %rbp
486 ; X64-NEXT: addq %r14, %r8
487 ; X64-NEXT: adcq %rbx, %rbp
489 ; X64-NEXT: addq %rax, %rbp
490 ; X64-NEXT: movzbl %bl, %r15d
491 ; X64-NEXT: adcq %rdx, %r15
492 ; X64-NEXT: addq %r13, %rbp
493 ; X64-NEXT: adcq %rcx, %r15
494 ; X64-NEXT: sarq $63, %rsi
495 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %r10 ## 8-byte Reload
496 ; X64-NEXT: movq %r10, %rcx
497 ; X64-NEXT: imulq %rsi, %rcx
498 ; X64-NEXT: movq %r10, %rax
499 ; X64-NEXT: mulq %rsi
500 ; X64-NEXT: movq %rax, %rdi
501 ; X64-NEXT: addq %rcx, %rdx
502 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %r9 ## 8-byte Reload
503 ; X64-NEXT: movq %r9, %rcx
504 ; X64-NEXT: imulq %rsi, %rcx
505 ; X64-NEXT: addq %rdx, %rcx
506 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax ## 8-byte Reload
507 ; X64-NEXT: movq %rax, %rbx
508 ; X64-NEXT: imulq %rsi, %rbx
509 ; X64-NEXT: mulq %rsi
510 ; X64-NEXT: movq %rax, %r13
511 ; X64-NEXT: addq %rbx, %rdx
512 ; X64-NEXT: movq %r12, %rax
513 ; X64-NEXT: imulq %rsi, %rax
514 ; X64-NEXT: addq %rdx, %rax
515 ; X64-NEXT: addq %rdi, %r13
516 ; X64-NEXT: adcq %rcx, %rax
517 ; X64-NEXT: movq %rax, %r12
518 ; X64-NEXT: movq %rsi, %rax
519 ; X64-NEXT: mulq %r10
520 ; X64-NEXT: movq %rdx, %rbx
521 ; X64-NEXT: movq %rax, %rcx
522 ; X64-NEXT: movq %rax, %rdi
523 ; X64-NEXT: addq %rdx, %rdi
524 ; X64-NEXT: adcq $0, %rbx
525 ; X64-NEXT: movq %rsi, %rax
527 ; X64-NEXT: addq %rax, %rdi
528 ; X64-NEXT: adcq %rdx, %rbx
529 ; X64-NEXT: setb %sil
530 ; X64-NEXT: addq %rax, %rbx
531 ; X64-NEXT: movzbl %sil, %eax
532 ; X64-NEXT: adcq %rdx, %rax
533 ; X64-NEXT: addq %r13, %rbx
534 ; X64-NEXT: adcq %r12, %rax
535 ; X64-NEXT: addq %r14, %rcx
536 ; X64-NEXT: adcq %r8, %rdi
537 ; X64-NEXT: adcq %rbp, %rbx
538 ; X64-NEXT: adcq %r15, %rax
539 ; X64-NEXT: addq {{[-0-9]+}}(%r{{[sb]}}p), %rcx ## 8-byte Folded Reload
540 ; X64-NEXT: adcq {{[-0-9]+}}(%r{{[sb]}}p), %rdi ## 8-byte Folded Reload
541 ; X64-NEXT: adcq %r11, %rbx
542 ; X64-NEXT: adcq {{[-0-9]+}}(%r{{[sb]}}p), %rax ## 8-byte Folded Reload
543 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rsi ## 8-byte Reload
544 ; X64-NEXT: movq %rsi, %rdx
545 ; X64-NEXT: sarq $63, %rdx
546 ; X64-NEXT: xorq %rdx, %rax
547 ; X64-NEXT: xorq %rdx, %rdi
548 ; X64-NEXT: orq %rax, %rdi
549 ; X64-NEXT: xorq %rdx, %rbx
550 ; X64-NEXT: xorq %rcx, %rdx
551 ; X64-NEXT: orq %rbx, %rdx
552 ; X64-NEXT: orq %rdi, %rdx
553 ; X64-NEXT: movq {{[0-9]+}}(%rsp), %rax
554 ; X64-NEXT: movq %rsi, 24(%rax)
555 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rcx ## 8-byte Reload
556 ; X64-NEXT: movq %rcx, (%rax)
557 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rcx ## 8-byte Reload
558 ; X64-NEXT: movq %rcx, 8(%rax)
559 ; X64-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rcx ## 8-byte Reload
560 ; X64-NEXT: movq %rcx, 16(%rax)
561 ; X64-NEXT: setne %al
562 ; X64-NEXT: popq %rbx
563 ; X64-NEXT: popq %r12
564 ; X64-NEXT: popq %r13
565 ; X64-NEXT: popq %r14
566 ; X64-NEXT: popq %r15
567 ; X64-NEXT: popq %rbp
570 ; X86-LABEL: smuloi256:
572 ; X86-NEXT: pushl %ebp
573 ; X86-NEXT: .cfi_def_cfa_offset 8
574 ; X86-NEXT: pushl %ebx
575 ; X86-NEXT: .cfi_def_cfa_offset 12
576 ; X86-NEXT: pushl %edi
577 ; X86-NEXT: .cfi_def_cfa_offset 16
578 ; X86-NEXT: pushl %esi
579 ; X86-NEXT: .cfi_def_cfa_offset 20
580 ; X86-NEXT: subl $152, %esp
581 ; X86-NEXT: .cfi_def_cfa_offset 172
582 ; X86-NEXT: .cfi_offset %esi, -20
583 ; X86-NEXT: .cfi_offset %edi, -16
584 ; X86-NEXT: .cfi_offset %ebx, -12
585 ; X86-NEXT: .cfi_offset %ebp, -8
586 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
587 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
588 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
589 ; X86-NEXT: movl %ebx, %eax
590 ; X86-NEXT: mull %edi
591 ; X86-NEXT: movl %edx, %ecx
592 ; X86-NEXT: movl %eax, (%esp) ## 4-byte Spill
593 ; X86-NEXT: movl %ebp, %eax
594 ; X86-NEXT: mull %edi
595 ; X86-NEXT: movl %edx, %esi
596 ; X86-NEXT: movl %eax, %edi
597 ; X86-NEXT: addl %ecx, %edi
598 ; X86-NEXT: adcl $0, %esi
599 ; X86-NEXT: movl %ebx, %eax
600 ; X86-NEXT: mull {{[0-9]+}}(%esp)
601 ; X86-NEXT: movl %edx, %ecx
602 ; X86-NEXT: addl %edi, %eax
603 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
604 ; X86-NEXT: adcl %esi, %ecx
606 ; X86-NEXT: movl %ebp, %eax
607 ; X86-NEXT: mull {{[0-9]+}}(%esp)
608 ; X86-NEXT: movl %eax, %edi
609 ; X86-NEXT: addl %ecx, %edi
610 ; X86-NEXT: movzbl %bl, %eax
611 ; X86-NEXT: adcl %eax, %edx
612 ; X86-NEXT: movl %edx, %ecx
613 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
614 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
615 ; X86-NEXT: mull %esi
616 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
617 ; X86-NEXT: movl %edx, %ebx
618 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
619 ; X86-NEXT: mull %esi
620 ; X86-NEXT: movl %edx, %esi
621 ; X86-NEXT: movl %eax, %ebp
622 ; X86-NEXT: addl %ebx, %ebp
623 ; X86-NEXT: adcl $0, %esi
624 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
625 ; X86-NEXT: mull {{[0-9]+}}(%esp)
626 ; X86-NEXT: movl %edx, %ebx
627 ; X86-NEXT: addl %ebp, %eax
628 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
629 ; X86-NEXT: adcl %esi, %ebx
630 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
631 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
632 ; X86-NEXT: movl %ebp, %eax
633 ; X86-NEXT: mull {{[0-9]+}}(%esp)
634 ; X86-NEXT: movl %eax, %esi
635 ; X86-NEXT: addl %ebx, %esi
636 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 1-byte Folded Reload
637 ; X86-NEXT: adcl %eax, %edx
638 ; X86-NEXT: addl (%esp), %esi ## 4-byte Folded Reload
639 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
640 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
641 ; X86-NEXT: adcl $0, %edi
642 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
643 ; X86-NEXT: adcl $0, %ecx
644 ; X86-NEXT: movl %ecx, (%esp) ## 4-byte Spill
645 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
646 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
647 ; X86-NEXT: movl %ecx, %eax
648 ; X86-NEXT: mull %edi
649 ; X86-NEXT: movl %edx, %ebx
650 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
651 ; X86-NEXT: movl %ebp, %eax
652 ; X86-NEXT: mull %edi
653 ; X86-NEXT: movl %edx, %ebp
654 ; X86-NEXT: movl %eax, %edi
655 ; X86-NEXT: addl %ebx, %edi
656 ; X86-NEXT: adcl $0, %ebp
657 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
658 ; X86-NEXT: movl %ecx, %eax
659 ; X86-NEXT: mull %ebx
660 ; X86-NEXT: movl %edx, %ecx
661 ; X86-NEXT: addl %edi, %eax
662 ; X86-NEXT: movl %eax, %edi
663 ; X86-NEXT: adcl %ebp, %ecx
664 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
665 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
666 ; X86-NEXT: mull %ebx
667 ; X86-NEXT: movl %edx, %ebx
668 ; X86-NEXT: movl %eax, %ebp
669 ; X86-NEXT: addl %ecx, %ebp
670 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 1-byte Folded Reload
671 ; X86-NEXT: adcl %eax, %ebx
672 ; X86-NEXT: addl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
673 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Folded Reload
674 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
675 ; X86-NEXT: adcl $0, %ebp
676 ; X86-NEXT: adcl $0, %ebx
677 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Folded Reload
678 ; X86-NEXT: adcl (%esp), %ebx ## 4-byte Folded Reload
679 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
680 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
681 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
682 ; X86-NEXT: mull %esi
683 ; X86-NEXT: movl %edx, %ecx
684 ; X86-NEXT: movl %eax, (%esp) ## 4-byte Spill
685 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
686 ; X86-NEXT: mull %esi
687 ; X86-NEXT: movl %edx, %esi
688 ; X86-NEXT: movl %eax, %edi
689 ; X86-NEXT: addl %ecx, %edi
690 ; X86-NEXT: adcl $0, %esi
691 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
692 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
693 ; X86-NEXT: mull %ecx
694 ; X86-NEXT: movl %edx, %ecx
695 ; X86-NEXT: addl %edi, %eax
696 ; X86-NEXT: movl %eax, %edi
697 ; X86-NEXT: adcl %esi, %ecx
698 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
699 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
700 ; X86-NEXT: mull {{[0-9]+}}(%esp)
701 ; X86-NEXT: addl %ecx, %eax
702 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 1-byte Folded Reload
703 ; X86-NEXT: adcl %ecx, %edx
704 ; X86-NEXT: addl %ebp, (%esp) ## 4-byte Folded Spill
705 ; X86-NEXT: adcl %ebx, %edi
706 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
707 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 1-byte Folded Reload
708 ; X86-NEXT: adcl %ecx, %eax
709 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
710 ; X86-NEXT: adcl $0, %edx
711 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
712 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
713 ; X86-NEXT: movl %ebx, %eax
714 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
715 ; X86-NEXT: mull %esi
716 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
717 ; X86-NEXT: movl %edx, %ecx
718 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
719 ; X86-NEXT: mull %esi
720 ; X86-NEXT: movl %edx, %esi
721 ; X86-NEXT: movl %eax, %edi
722 ; X86-NEXT: addl %ecx, %edi
723 ; X86-NEXT: adcl $0, %esi
724 ; X86-NEXT: movl %ebx, %eax
725 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
726 ; X86-NEXT: mull %ebp
727 ; X86-NEXT: movl %edx, %ecx
728 ; X86-NEXT: addl %edi, %eax
729 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
730 ; X86-NEXT: adcl %esi, %ecx
732 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
733 ; X86-NEXT: mull %ebp
734 ; X86-NEXT: addl %ecx, %eax
735 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
736 ; X86-NEXT: movzbl %bl, %eax
737 ; X86-NEXT: adcl %eax, %edx
738 ; X86-NEXT: movl %edx, %ecx
739 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
740 ; X86-NEXT: movl %ebp, %eax
741 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
742 ; X86-NEXT: mull %esi
743 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
744 ; X86-NEXT: movl %edx, %edi
745 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
746 ; X86-NEXT: mull %esi
747 ; X86-NEXT: movl %edx, %esi
748 ; X86-NEXT: movl %eax, %ebx
749 ; X86-NEXT: addl %edi, %ebx
750 ; X86-NEXT: adcl $0, %esi
751 ; X86-NEXT: movl %ebp, %eax
752 ; X86-NEXT: movl %ebp, %edi
753 ; X86-NEXT: mull {{[0-9]+}}(%esp)
754 ; X86-NEXT: movl %edx, %ebp
755 ; X86-NEXT: addl %ebx, %eax
756 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
757 ; X86-NEXT: adcl %esi, %ebp
759 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
760 ; X86-NEXT: mull {{[0-9]+}}(%esp)
761 ; X86-NEXT: movl %eax, %esi
762 ; X86-NEXT: addl %ebp, %esi
763 ; X86-NEXT: movzbl %bl, %eax
764 ; X86-NEXT: adcl %eax, %edx
765 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
766 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
767 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
768 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
769 ; X86-NEXT: adcl $0, %ecx
770 ; X86-NEXT: movl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
771 ; X86-NEXT: movl %edi, %eax
772 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
773 ; X86-NEXT: mull %ecx
774 ; X86-NEXT: movl %edx, %ebx
775 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
776 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
777 ; X86-NEXT: mull %ecx
778 ; X86-NEXT: movl %edx, %ebp
779 ; X86-NEXT: movl %eax, %edi
780 ; X86-NEXT: addl %ebx, %edi
781 ; X86-NEXT: adcl $0, %ebp
782 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
783 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
784 ; X86-NEXT: mull %ebx
785 ; X86-NEXT: movl %edx, %ecx
786 ; X86-NEXT: addl %edi, %eax
787 ; X86-NEXT: movl %eax, %edi
788 ; X86-NEXT: adcl %ebp, %ecx
789 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
790 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
791 ; X86-NEXT: mull %ebx
792 ; X86-NEXT: movl %edx, %ebx
793 ; X86-NEXT: movl %eax, %ebp
794 ; X86-NEXT: addl %ecx, %ebp
795 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 1-byte Folded Reload
796 ; X86-NEXT: adcl %eax, %ebx
797 ; X86-NEXT: addl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
798 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Folded Reload
799 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
800 ; X86-NEXT: adcl $0, %ebp
801 ; X86-NEXT: adcl $0, %ebx
802 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Folded Reload
803 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Folded Reload
804 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
805 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
806 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
807 ; X86-NEXT: mull %esi
808 ; X86-NEXT: movl %edx, %ecx
809 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
810 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
811 ; X86-NEXT: mull %esi
812 ; X86-NEXT: movl %edx, %esi
813 ; X86-NEXT: movl %eax, %edi
814 ; X86-NEXT: addl %ecx, %edi
815 ; X86-NEXT: adcl $0, %esi
816 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
817 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
818 ; X86-NEXT: mull %ecx
819 ; X86-NEXT: movl %edx, %ecx
820 ; X86-NEXT: addl %edi, %eax
821 ; X86-NEXT: movl %eax, %edi
822 ; X86-NEXT: adcl %esi, %ecx
823 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
824 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
825 ; X86-NEXT: mull {{[0-9]+}}(%esp)
826 ; X86-NEXT: addl %ecx, %eax
827 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 1-byte Folded Reload
828 ; X86-NEXT: adcl %ecx, %edx
829 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
830 ; X86-NEXT: addl %ebp, %ecx
831 ; X86-NEXT: movl %edi, %esi
832 ; X86-NEXT: adcl %ebx, %esi
833 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 1-byte Folded Reload
834 ; X86-NEXT: adcl %edi, %eax
835 ; X86-NEXT: adcl $0, %edx
836 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Folded Reload
837 ; X86-NEXT: movl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
838 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
839 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
840 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
841 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
842 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
843 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
844 ; X86-NEXT: adcl $0, (%esp) ## 4-byte Folded Spill
845 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
846 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
847 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
848 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
849 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
850 ; X86-NEXT: movl %ebx, %eax
851 ; X86-NEXT: mull %esi
852 ; X86-NEXT: movl %edx, %ecx
853 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
854 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
855 ; X86-NEXT: movl %ebp, %eax
856 ; X86-NEXT: mull %esi
857 ; X86-NEXT: movl %edx, %esi
858 ; X86-NEXT: movl %eax, %edi
859 ; X86-NEXT: addl %ecx, %edi
860 ; X86-NEXT: adcl $0, %esi
861 ; X86-NEXT: movl %ebx, %eax
862 ; X86-NEXT: mull {{[0-9]+}}(%esp)
863 ; X86-NEXT: movl %edx, %ecx
864 ; X86-NEXT: addl %edi, %eax
865 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
866 ; X86-NEXT: adcl %esi, %ecx
868 ; X86-NEXT: movl %ebp, %eax
869 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
870 ; X86-NEXT: mull %edi
871 ; X86-NEXT: addl %ecx, %eax
872 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
873 ; X86-NEXT: movzbl %bl, %eax
874 ; X86-NEXT: adcl %eax, %edx
875 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
876 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
877 ; X86-NEXT: movl %ebx, %eax
878 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
879 ; X86-NEXT: mull %esi
880 ; X86-NEXT: movl %edx, %ecx
881 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
882 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
883 ; X86-NEXT: mull %esi
884 ; X86-NEXT: movl %edx, %esi
885 ; X86-NEXT: movl %eax, %ebp
886 ; X86-NEXT: addl %ecx, %ebp
887 ; X86-NEXT: adcl $0, %esi
888 ; X86-NEXT: movl %ebx, %eax
889 ; X86-NEXT: mull %edi
890 ; X86-NEXT: movl %edx, %ebx
891 ; X86-NEXT: addl %ebp, %eax
892 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
893 ; X86-NEXT: adcl %esi, %ebx
895 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
896 ; X86-NEXT: movl %eax, %ebp
897 ; X86-NEXT: mull %edi
898 ; X86-NEXT: movl %eax, %esi
899 ; X86-NEXT: addl %ebx, %esi
900 ; X86-NEXT: movzbl %cl, %eax
901 ; X86-NEXT: adcl %eax, %edx
902 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
903 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
904 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
905 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
906 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
907 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
908 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
909 ; X86-NEXT: movl %ecx, %eax
910 ; X86-NEXT: mull %edi
911 ; X86-NEXT: movl %edx, %ebx
912 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
913 ; X86-NEXT: movl %ebp, %eax
914 ; X86-NEXT: mull %edi
915 ; X86-NEXT: movl %edx, %ebp
916 ; X86-NEXT: movl %eax, %edi
917 ; X86-NEXT: addl %ebx, %edi
918 ; X86-NEXT: adcl $0, %ebp
919 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
920 ; X86-NEXT: movl %ecx, %eax
921 ; X86-NEXT: mull %ebx
922 ; X86-NEXT: movl %edx, %ecx
923 ; X86-NEXT: addl %edi, %eax
924 ; X86-NEXT: movl %eax, %edi
925 ; X86-NEXT: adcl %ebp, %ecx
926 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
927 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
928 ; X86-NEXT: mull %ebx
929 ; X86-NEXT: movl %edx, %ebp
930 ; X86-NEXT: movl %eax, %ebx
931 ; X86-NEXT: addl %ecx, %ebx
932 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 1-byte Folded Reload
933 ; X86-NEXT: adcl %eax, %ebp
934 ; X86-NEXT: addl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
935 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Folded Reload
936 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
937 ; X86-NEXT: adcl $0, %ebx
938 ; X86-NEXT: adcl $0, %ebp
939 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Folded Reload
940 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Folded Reload
941 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
942 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
943 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
944 ; X86-NEXT: mull %esi
945 ; X86-NEXT: movl %edx, %ecx
946 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
947 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
948 ; X86-NEXT: mull %esi
949 ; X86-NEXT: movl %edx, %esi
950 ; X86-NEXT: movl %eax, %edi
951 ; X86-NEXT: addl %ecx, %edi
952 ; X86-NEXT: adcl $0, %esi
953 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
954 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
955 ; X86-NEXT: mull %ecx
956 ; X86-NEXT: movl %edx, %ecx
957 ; X86-NEXT: addl %edi, %eax
958 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
959 ; X86-NEXT: adcl %esi, %ecx
960 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
961 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
962 ; X86-NEXT: mull {{[0-9]+}}(%esp)
963 ; X86-NEXT: addl %ecx, %eax
964 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 1-byte Folded Reload
965 ; X86-NEXT: adcl %ecx, %edx
966 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Reload
967 ; X86-NEXT: addl %ebx, %edi
968 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Reload
969 ; X86-NEXT: adcl %ebp, %ebx
970 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 1-byte Folded Reload
971 ; X86-NEXT: adcl %ecx, %eax
972 ; X86-NEXT: adcl $0, %edx
973 ; X86-NEXT: movl %edx, %esi
974 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
975 ; X86-NEXT: addl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
976 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
977 ; X86-NEXT: adcl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
978 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
979 ; X86-NEXT: adcl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
980 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
981 ; X86-NEXT: adcl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
982 ; X86-NEXT: movl %edi, %edx
983 ; X86-NEXT: adcl $0, %edx
984 ; X86-NEXT: movl %ebx, %ecx
985 ; X86-NEXT: adcl $0, %ecx
986 ; X86-NEXT: adcl $0, %eax
987 ; X86-NEXT: adcl $0, %esi
988 ; X86-NEXT: addl (%esp), %edx ## 4-byte Folded Reload
989 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
990 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Folded Reload
991 ; X86-NEXT: movl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
992 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
993 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
994 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
995 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
996 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
997 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
998 ; X86-NEXT: movl %edi, %eax
999 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
1000 ; X86-NEXT: mull %esi
1001 ; X86-NEXT: movl %edx, %ecx
1002 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1003 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
1004 ; X86-NEXT: movl %ebp, %eax
1005 ; X86-NEXT: mull %esi
1006 ; X86-NEXT: movl %edx, %esi
1007 ; X86-NEXT: movl %eax, %ebx
1008 ; X86-NEXT: addl %ecx, %ebx
1009 ; X86-NEXT: adcl $0, %esi
1010 ; X86-NEXT: movl %edi, %eax
1011 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
1012 ; X86-NEXT: mull %edi
1013 ; X86-NEXT: movl %edx, %ecx
1014 ; X86-NEXT: addl %ebx, %eax
1015 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1016 ; X86-NEXT: adcl %esi, %ecx
1017 ; X86-NEXT: setb %bl
1018 ; X86-NEXT: movl %ebp, %eax
1019 ; X86-NEXT: mull %edi
1020 ; X86-NEXT: addl %ecx, %eax
1021 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1022 ; X86-NEXT: movzbl %bl, %eax
1023 ; X86-NEXT: adcl %eax, %edx
1024 ; X86-NEXT: movl %edx, (%esp) ## 4-byte Spill
1025 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
1026 ; X86-NEXT: movl %edi, %eax
1027 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
1028 ; X86-NEXT: mull %ebx
1029 ; X86-NEXT: movl %edx, %ecx
1030 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1031 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1032 ; X86-NEXT: mull %ebx
1033 ; X86-NEXT: movl %edx, %ebx
1034 ; X86-NEXT: movl %eax, %ebp
1035 ; X86-NEXT: addl %ecx, %ebp
1036 ; X86-NEXT: adcl $0, %ebx
1037 ; X86-NEXT: movl %edi, %eax
1038 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
1039 ; X86-NEXT: mull %esi
1040 ; X86-NEXT: movl %edx, %edi
1041 ; X86-NEXT: addl %ebp, %eax
1042 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1043 ; X86-NEXT: adcl %ebx, %edi
1044 ; X86-NEXT: setb %cl
1045 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1046 ; X86-NEXT: movl %eax, %ebx
1047 ; X86-NEXT: mull %esi
1048 ; X86-NEXT: movl %eax, %ebp
1049 ; X86-NEXT: addl %edi, %ebp
1050 ; X86-NEXT: movzbl %cl, %eax
1051 ; X86-NEXT: adcl %eax, %edx
1052 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Folded Reload
1053 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
1054 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1055 ; X86-NEXT: adcl $0, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
1056 ; X86-NEXT: adcl $0, (%esp) ## 4-byte Folded Spill
1057 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
1058 ; X86-NEXT: movl %ecx, %eax
1059 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
1060 ; X86-NEXT: mull %esi
1061 ; X86-NEXT: movl %edx, %edi
1062 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1063 ; X86-NEXT: movl %ebx, %eax
1064 ; X86-NEXT: mull %esi
1065 ; X86-NEXT: movl %edx, %ebx
1066 ; X86-NEXT: movl %eax, %esi
1067 ; X86-NEXT: addl %edi, %esi
1068 ; X86-NEXT: adcl $0, %ebx
1069 ; X86-NEXT: movl %ecx, %eax
1070 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
1071 ; X86-NEXT: mull %edi
1072 ; X86-NEXT: movl %edx, %ecx
1073 ; X86-NEXT: addl %esi, %eax
1074 ; X86-NEXT: movl %eax, %esi
1075 ; X86-NEXT: adcl %ebx, %ecx
1076 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
1077 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1078 ; X86-NEXT: mull %edi
1079 ; X86-NEXT: movl %edx, %ebx
1080 ; X86-NEXT: movl %eax, %edi
1081 ; X86-NEXT: addl %ecx, %edi
1082 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 1-byte Folded Reload
1083 ; X86-NEXT: adcl %eax, %ebx
1084 ; X86-NEXT: addl %ebp, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
1085 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
1086 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1087 ; X86-NEXT: adcl $0, %edi
1088 ; X86-NEXT: adcl $0, %ebx
1089 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Folded Reload
1090 ; X86-NEXT: adcl (%esp), %ebx ## 4-byte Folded Reload
1091 ; X86-NEXT: setb (%esp) ## 1-byte Folded Spill
1092 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1093 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
1094 ; X86-NEXT: mull %esi
1095 ; X86-NEXT: movl %edx, %ecx
1096 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1097 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1098 ; X86-NEXT: mull %esi
1099 ; X86-NEXT: movl %edx, %esi
1100 ; X86-NEXT: movl %eax, %ebp
1101 ; X86-NEXT: addl %ecx, %ebp
1102 ; X86-NEXT: adcl $0, %esi
1103 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1104 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
1105 ; X86-NEXT: mull %ecx
1106 ; X86-NEXT: movl %edx, %ecx
1107 ; X86-NEXT: addl %ebp, %eax
1108 ; X86-NEXT: movl %eax, %ebp
1109 ; X86-NEXT: adcl %esi, %ecx
1110 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
1111 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1112 ; X86-NEXT: mull {{[0-9]+}}(%esp)
1113 ; X86-NEXT: movl %eax, %esi
1114 ; X86-NEXT: addl %ecx, %esi
1115 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 1-byte Folded Reload
1116 ; X86-NEXT: adcl %eax, %edx
1117 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
1118 ; X86-NEXT: addl %edi, %ecx
1119 ; X86-NEXT: adcl %ebx, %ebp
1120 ; X86-NEXT: movzbl (%esp), %eax ## 1-byte Folded Reload
1121 ; X86-NEXT: adcl %eax, %esi
1122 ; X86-NEXT: adcl $0, %edx
1123 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Reload
1124 ; X86-NEXT: addl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
1125 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Reload
1126 ; X86-NEXT: adcl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
1127 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Reload
1128 ; X86-NEXT: adcl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
1129 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Reload
1130 ; X86-NEXT: adcl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
1131 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 1-byte Folded Reload
1132 ; X86-NEXT: adcl %eax, %ecx
1133 ; X86-NEXT: movl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1134 ; X86-NEXT: adcl $0, %ebp
1135 ; X86-NEXT: movl %ebp, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1136 ; X86-NEXT: adcl $0, %esi
1137 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1138 ; X86-NEXT: adcl $0, %edx
1139 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1140 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
1141 ; X86-NEXT: sarl $31, %ebx
1142 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1143 ; X86-NEXT: mull %ebx
1144 ; X86-NEXT: movl %edx, %esi
1145 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1146 ; X86-NEXT: movl %eax, %ecx
1147 ; X86-NEXT: movl %eax, (%esp) ## 4-byte Spill
1148 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1149 ; X86-NEXT: mull %ebx
1150 ; X86-NEXT: movl %eax, %ebp
1151 ; X86-NEXT: addl %esi, %ebp
1152 ; X86-NEXT: movl %edx, %edi
1153 ; X86-NEXT: adcl $0, %edi
1154 ; X86-NEXT: addl %ecx, %ebp
1155 ; X86-NEXT: movl %ebp, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1156 ; X86-NEXT: adcl %esi, %edi
1157 ; X86-NEXT: setb %cl
1158 ; X86-NEXT: addl %eax, %edi
1159 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1160 ; X86-NEXT: movzbl %cl, %eax
1161 ; X86-NEXT: adcl %edx, %eax
1162 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1163 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1164 ; X86-NEXT: mull %ebx
1165 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1166 ; X86-NEXT: movl %eax, %edi
1167 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1168 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1169 ; X86-NEXT: mull %ebx
1170 ; X86-NEXT: movl %edx, %ecx
1171 ; X86-NEXT: movl %eax, %ebp
1172 ; X86-NEXT: movl %eax, %esi
1173 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Reload
1174 ; X86-NEXT: addl %eax, %esi
1175 ; X86-NEXT: adcl $0, %edx
1176 ; X86-NEXT: addl %edi, %esi
1177 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1178 ; X86-NEXT: adcl %eax, %edx
1179 ; X86-NEXT: setb %al
1180 ; X86-NEXT: addl %ebp, %edx
1181 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1182 ; X86-NEXT: movzbl %al, %esi
1183 ; X86-NEXT: adcl %ecx, %esi
1184 ; X86-NEXT: movl (%esp), %ecx ## 4-byte Reload
1185 ; X86-NEXT: addl %edx, %ecx
1186 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Reload
1187 ; X86-NEXT: adcl %esi, %eax
1188 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Reload
1189 ; X86-NEXT: adcl $0, %ebp
1190 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Reload
1191 ; X86-NEXT: movl %edx, %edi
1192 ; X86-NEXT: adcl $0, %edi
1193 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Folded Reload
1194 ; X86-NEXT: movl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1195 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1196 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1197 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
1198 ; X86-NEXT: adcl $0, %ecx
1199 ; X86-NEXT: adcl $0, %esi
1200 ; X86-NEXT: addl %ebp, %ecx
1201 ; X86-NEXT: adcl %edi, %esi
1202 ; X86-NEXT: setb %al
1203 ; X86-NEXT: addl (%esp), %ecx ## 4-byte Folded Reload
1204 ; X86-NEXT: movl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1205 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
1206 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1207 ; X86-NEXT: movzbl %al, %eax
1208 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1209 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1210 ; X86-NEXT: adcl $0, %edx
1211 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1212 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1213 ; X86-NEXT: movl %eax, %ecx
1214 ; X86-NEXT: imull %ebx, %ecx
1215 ; X86-NEXT: mull %ebx
1216 ; X86-NEXT: movl %eax, %ebp
1217 ; X86-NEXT: addl %ecx, %edx
1218 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
1219 ; X86-NEXT: imull %ebx, %edi
1220 ; X86-NEXT: addl %edx, %edi
1221 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1222 ; X86-NEXT: movl %eax, %ecx
1223 ; X86-NEXT: imull %ebx, %ecx
1224 ; X86-NEXT: mull %ebx
1225 ; X86-NEXT: movl %eax, %esi
1226 ; X86-NEXT: addl %ecx, %edx
1227 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
1228 ; X86-NEXT: imull %ebx, %ecx
1229 ; X86-NEXT: addl %edx, %ecx
1230 ; X86-NEXT: addl %ebp, %esi
1231 ; X86-NEXT: adcl %edi, %ecx
1232 ; X86-NEXT: movl %ebx, %eax
1233 ; X86-NEXT: mull {{[0-9]+}}(%esp)
1234 ; X86-NEXT: movl %edx, %ebp
1235 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1236 ; X86-NEXT: movl %eax, %edi
1237 ; X86-NEXT: addl %edx, %edi
1238 ; X86-NEXT: adcl $0, %ebp
1239 ; X86-NEXT: movl %ebx, %eax
1240 ; X86-NEXT: mull {{[0-9]+}}(%esp)
1241 ; X86-NEXT: addl %eax, %edi
1242 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1243 ; X86-NEXT: adcl %edx, %ebp
1244 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
1245 ; X86-NEXT: addl %eax, %ebp
1246 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 1-byte Folded Reload
1247 ; X86-NEXT: adcl %edx, %edi
1248 ; X86-NEXT: addl %esi, %ebp
1249 ; X86-NEXT: adcl %ecx, %edi
1250 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1251 ; X86-NEXT: imull %ebx, %eax
1252 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1253 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
1254 ; X86-NEXT: imull %ebx, %ecx
1255 ; X86-NEXT: addl %eax, %ecx
1256 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1257 ; X86-NEXT: imull %ebx, %eax
1258 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1259 ; X86-NEXT: movl %eax, %edx
1260 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1261 ; X86-NEXT: imull %ebx, %eax
1262 ; X86-NEXT: addl %edx, %eax
1263 ; X86-NEXT: movl (%esp), %edx ## 4-byte Reload
1264 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
1265 ; X86-NEXT: movl %edx, (%esp) ## 4-byte Spill
1266 ; X86-NEXT: adcl %ecx, %eax
1267 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1268 ; X86-NEXT: movl %ebx, %eax
1269 ; X86-NEXT: mull {{[0-9]+}}(%esp)
1270 ; X86-NEXT: movl %edx, %esi
1271 ; X86-NEXT: movl %eax, %ecx
1272 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1273 ; X86-NEXT: addl %edx, %ecx
1274 ; X86-NEXT: adcl $0, %esi
1275 ; X86-NEXT: movl %ebx, %eax
1276 ; X86-NEXT: mull {{[0-9]+}}(%esp)
1277 ; X86-NEXT: addl %eax, %ecx
1278 ; X86-NEXT: adcl %edx, %esi
1279 ; X86-NEXT: setb %bl
1280 ; X86-NEXT: addl %eax, %esi
1281 ; X86-NEXT: movzbl %bl, %ebx
1282 ; X86-NEXT: adcl %edx, %ebx
1283 ; X86-NEXT: addl (%esp), %esi ## 4-byte Folded Reload
1284 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Folded Reload
1285 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Reload
1286 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1287 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Folded Reload
1288 ; X86-NEXT: adcl %ebp, %esi
1289 ; X86-NEXT: adcl %edi, %ebx
1290 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1291 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1292 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Folded Reload
1293 ; X86-NEXT: movl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1294 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
1295 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1296 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Folded Reload
1297 ; X86-NEXT: movl %ebx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1298 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1299 ; X86-NEXT: sarl $31, %eax
1300 ; X86-NEXT: movl %eax, %ebx
1301 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1302 ; X86-NEXT: mull {{[0-9]+}}(%esp)
1303 ; X86-NEXT: movl %eax, %ecx
1304 ; X86-NEXT: movl %eax, %esi
1305 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1306 ; X86-NEXT: movl %edx, %edi
1307 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1308 ; X86-NEXT: addl %edx, %ecx
1309 ; X86-NEXT: adcl $0, %edi
1310 ; X86-NEXT: movl %ebx, %eax
1311 ; X86-NEXT: mull {{[0-9]+}}(%esp)
1312 ; X86-NEXT: addl %eax, %ecx
1313 ; X86-NEXT: movl %ecx, %ebx
1314 ; X86-NEXT: movl %ecx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1315 ; X86-NEXT: adcl %edx, %edi
1316 ; X86-NEXT: setb %cl
1317 ; X86-NEXT: addl %eax, %edi
1318 ; X86-NEXT: movzbl %cl, %ebp
1319 ; X86-NEXT: adcl %edx, %ebp
1320 ; X86-NEXT: movl %esi, %eax
1321 ; X86-NEXT: addl %edi, %eax
1322 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1323 ; X86-NEXT: movl %ebx, %eax
1324 ; X86-NEXT: adcl %ebp, %eax
1325 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1326 ; X86-NEXT: adcl $0, %edi
1327 ; X86-NEXT: adcl $0, %ebp
1328 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Reload
1329 ; X86-NEXT: movl %esi, %eax
1330 ; X86-NEXT: mull {{[0-9]+}}(%esp)
1331 ; X86-NEXT: movl %edx, %ecx
1332 ; X86-NEXT: movl %eax, %ebx
1333 ; X86-NEXT: movl %eax, (%esp) ## 4-byte Spill
1334 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1335 ; X86-NEXT: addl %edx, %ebx
1336 ; X86-NEXT: adcl $0, %ecx
1337 ; X86-NEXT: movl %esi, %eax
1338 ; X86-NEXT: mull {{[0-9]+}}(%esp)
1339 ; X86-NEXT: addl %eax, %ebx
1340 ; X86-NEXT: adcl %edx, %ecx
1341 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
1342 ; X86-NEXT: addl %eax, %ecx
1343 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 1-byte Folded Reload
1344 ; X86-NEXT: adcl %edx, %eax
1345 ; X86-NEXT: movl (%esp), %edx ## 4-byte Reload
1346 ; X86-NEXT: addl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
1347 ; X86-NEXT: adcl %ebx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill
1348 ; X86-NEXT: movl %ecx, %edx
1349 ; X86-NEXT: adcl $0, %edx
1350 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1351 ; X86-NEXT: movl %eax, %esi
1352 ; X86-NEXT: movl %eax, %edx
1353 ; X86-NEXT: adcl $0, %esi
1354 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Reload
1355 ; X86-NEXT: addl %edi, %eax
1356 ; X86-NEXT: adcl %ebp, %esi
1357 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
1358 ; X86-NEXT: addl (%esp), %eax ## 4-byte Folded Reload
1359 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1360 ; X86-NEXT: adcl %ebx, %esi
1361 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1362 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 1-byte Folded Reload
1363 ; X86-NEXT: adcl %ecx, %eax
1364 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1365 ; X86-NEXT: adcl $0, %edx
1366 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1367 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1368 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Reload
1369 ; X86-NEXT: imull %ebp, %eax
1370 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1371 ; X86-NEXT: movl %eax, %ecx
1372 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1373 ; X86-NEXT: imull %ebp, %eax
1374 ; X86-NEXT: addl %ecx, %eax
1375 ; X86-NEXT: movl %eax, %ecx
1376 ; X86-NEXT: movl %ebp, %edx
1377 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
1378 ; X86-NEXT: imull %esi, %edx
1379 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
1380 ; X86-NEXT: movl %ebp, %edi
1381 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1382 ; X86-NEXT: imull %eax, %edi
1383 ; X86-NEXT: addl %edx, %edi
1384 ; X86-NEXT: movl (%esp), %edx ## 4-byte Reload
1385 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
1386 ; X86-NEXT: movl %edx, (%esp) ## 4-byte Spill
1387 ; X86-NEXT: adcl %ecx, %edi
1388 ; X86-NEXT: mull %ebp
1389 ; X86-NEXT: movl %edx, %ecx
1390 ; X86-NEXT: movl %eax, %ebx
1391 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1392 ; X86-NEXT: movl %esi, %eax
1393 ; X86-NEXT: mull %ebp
1394 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1395 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1396 ; X86-NEXT: movl %eax, %esi
1397 ; X86-NEXT: addl %ecx, %esi
1398 ; X86-NEXT: adcl $0, %edx
1399 ; X86-NEXT: addl %ebx, %esi
1400 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1401 ; X86-NEXT: adcl %ecx, %edx
1402 ; X86-NEXT: setb %cl
1403 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
1404 ; X86-NEXT: movzbl %cl, %eax
1405 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1406 ; X86-NEXT: addl (%esp), %edx ## 4-byte Folded Reload
1407 ; X86-NEXT: movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1408 ; X86-NEXT: adcl %edi, %eax
1409 ; X86-NEXT: movl %eax, (%esp) ## 4-byte Spill
1410 ; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
1411 ; X86-NEXT: imull %ebp, %esi
1412 ; X86-NEXT: movl %ebp, %eax
1413 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
1414 ; X86-NEXT: mull %ecx
1415 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1416 ; X86-NEXT: addl %esi, %edx
1417 ; X86-NEXT: imull %ebp, %ecx
1418 ; X86-NEXT: addl %edx, %ecx
1419 ; X86-NEXT: movl %ecx, %edi
1420 ; X86-NEXT: movl %ebp, %ecx
1421 ; X86-NEXT: imull {{[0-9]+}}(%esp), %ecx
1422 ; X86-NEXT: movl %ebp, %eax
1423 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
1424 ; X86-NEXT: mull %ebx
1425 ; X86-NEXT: addl %ecx, %edx
1426 ; X86-NEXT: movl %ebp, %esi
1427 ; X86-NEXT: imull %ebx, %esi
1428 ; X86-NEXT: addl %edx, %esi
1429 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1430 ; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1431 ; X86-NEXT: adcl %edi, %esi
1432 ; X86-NEXT: movl %ebx, %eax
1433 ; X86-NEXT: mull %ebp
1434 ; X86-NEXT: movl %edx, %edi
1435 ; X86-NEXT: movl %eax, %ebx
1436 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1437 ; X86-NEXT: mull %ebp
1438 ; X86-NEXT: movl %edx, %ebp
1439 ; X86-NEXT: movl %eax, %ecx
1440 ; X86-NEXT: addl %edi, %eax
1441 ; X86-NEXT: adcl $0, %edx
1442 ; X86-NEXT: addl %ebx, %eax
1443 ; X86-NEXT: adcl %edi, %edx
1444 ; X86-NEXT: setb {{[-0-9]+}}(%e{{[sb]}}p) ## 1-byte Folded Spill
1445 ; X86-NEXT: addl %ecx, %edx
1446 ; X86-NEXT: movzbl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 1-byte Folded Reload
1447 ; X86-NEXT: adcl %ebp, %ecx
1448 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
1449 ; X86-NEXT: adcl %esi, %ecx
1450 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Folded Reload
1451 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1452 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
1453 ; X86-NEXT: adcl (%esp), %ecx ## 4-byte Folded Reload
1454 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Folded Reload
1455 ; X86-NEXT: movl %ebx, (%esp) ## 4-byte Spill
1456 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1457 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
1458 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Folded Reload
1459 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Reload
1460 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Folded Reload
1461 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Reload
1462 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Folded Reload
1463 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Reload
1464 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
1465 ; X86-NEXT: movl %esi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1466 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Reload
1467 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Folded Reload
1468 ; X86-NEXT: movl (%esp), %esi ## 4-byte Reload
1469 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
1470 ; X86-NEXT: movl %esi, (%esp) ## 4-byte Spill
1471 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1472 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
1473 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Folded Reload
1474 ; X86-NEXT: addl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Folded Reload
1475 ; X86-NEXT: movl %edi, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1476 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Folded Reload
1477 ; X86-NEXT: movl %ebp, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1478 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Reload
1479 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edi ## 4-byte Folded Reload
1480 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Folded Reload
1481 ; X86-NEXT: movl %ebx, {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Spill
1482 ; X86-NEXT: movl (%esp), %ebx ## 4-byte Reload
1483 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Folded Reload
1484 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %eax ## 4-byte Folded Reload
1485 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Folded Reload
1486 ; X86-NEXT: adcl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Folded Reload
1487 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ebp ## 4-byte Reload
1488 ; X86-NEXT: movl %ebp, %esi
1489 ; X86-NEXT: sarl $31, %esi
1490 ; X86-NEXT: xorl %esi, %edi
1491 ; X86-NEXT: xorl %esi, %edx
1492 ; X86-NEXT: orl %edi, %edx
1493 ; X86-NEXT: movl %ebx, %edi
1494 ; X86-NEXT: xorl %esi, %edi
1495 ; X86-NEXT: orl %edx, %edi
1496 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %edx ## 4-byte Reload
1497 ; X86-NEXT: xorl %esi, %edx
1498 ; X86-NEXT: orl %edi, %edx
1499 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ebx ## 4-byte Reload
1500 ; X86-NEXT: xorl %esi, %ebx
1501 ; X86-NEXT: xorl %esi, %ecx
1502 ; X86-NEXT: orl %ebx, %ecx
1503 ; X86-NEXT: xorl %esi, %eax
1504 ; X86-NEXT: orl %ecx, %eax
1505 ; X86-NEXT: xorl {{[-0-9]+}}(%e{{[sb]}}p), %esi ## 4-byte Folded Reload
1506 ; X86-NEXT: orl %eax, %esi
1507 ; X86-NEXT: orl %edx, %esi
1508 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
1509 ; X86-NEXT: movl %ebp, 28(%eax)
1510 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
1511 ; X86-NEXT: movl %ecx, (%eax)
1512 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
1513 ; X86-NEXT: movl %ecx, 4(%eax)
1514 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
1515 ; X86-NEXT: movl %ecx, 8(%eax)
1516 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
1517 ; X86-NEXT: movl %ecx, 12(%eax)
1518 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
1519 ; X86-NEXT: movl %ecx, 16(%eax)
1520 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
1521 ; X86-NEXT: movl %ecx, 20(%eax)
1522 ; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %ecx ## 4-byte Reload
1523 ; X86-NEXT: movl %ecx, 24(%eax)
1524 ; X86-NEXT: setne %al
1525 ; X86-NEXT: addl $152, %esp
1526 ; X86-NEXT: popl %esi
1527 ; X86-NEXT: popl %edi
1528 ; X86-NEXT: popl %ebx
1529 ; X86-NEXT: popl %ebp
1531 %t = call {i256, i1} @llvm.smul.with.overflow.i256(i256 %v1, i256 %v2)
1532 %val = extractvalue {i256, i1} %t, 0
1533 %obit = extractvalue {i256, i1} %t, 1
1534 store i256 %val, i256* %res
1538 declare {i128, i1} @llvm.smul.with.overflow.i128(i128, i128) nounwind readnone
1539 declare {i256, i1} @llvm.smul.with.overflow.i256(i256, i256) nounwind readnone