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