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