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