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