1#include "x86_arch.h"
2.text
3
4.globl	whirlpool_block
5.type	whirlpool_block,@function
6.align	16
7whirlpool_block:
8	pushq	%rbx
9	pushq	%rbp
10	pushq	%r12
11	pushq	%r13
12	pushq	%r14
13	pushq	%r15
14
15	movq	%rsp,%r11
16	subq	$128+40,%rsp
17	andq	$-64,%rsp
18
19	leaq	128(%rsp),%r10
20	movq	%rdi,0(%r10)
21	movq	%rsi,8(%r10)
22	movq	%rdx,16(%r10)
23	movq	%r11,32(%r10)
24.Lprologue:
25
26	movq	%r10,%rbx
27	leaq	.Ltable(%rip),%rbp
28
29	xorq	%rcx,%rcx
30	xorq	%rdx,%rdx
31	movq	0(%rdi),%r8
32	movq	8(%rdi),%r9
33	movq	16(%rdi),%r10
34	movq	24(%rdi),%r11
35	movq	32(%rdi),%r12
36	movq	40(%rdi),%r13
37	movq	48(%rdi),%r14
38	movq	56(%rdi),%r15
39.Louterloop:
40	movq	%r8,0(%rsp)
41	movq	%r9,8(%rsp)
42	movq	%r10,16(%rsp)
43	movq	%r11,24(%rsp)
44	movq	%r12,32(%rsp)
45	movq	%r13,40(%rsp)
46	movq	%r14,48(%rsp)
47	movq	%r15,56(%rsp)
48	xorq	0(%rsi),%r8
49	xorq	8(%rsi),%r9
50	xorq	16(%rsi),%r10
51	xorq	24(%rsi),%r11
52	xorq	32(%rsi),%r12
53	xorq	40(%rsi),%r13
54	xorq	48(%rsi),%r14
55	xorq	56(%rsi),%r15
56	movq	%r8,64+0(%rsp)
57	movq	%r9,64+8(%rsp)
58	movq	%r10,64+16(%rsp)
59	movq	%r11,64+24(%rsp)
60	movq	%r12,64+32(%rsp)
61	movq	%r13,64+40(%rsp)
62	movq	%r14,64+48(%rsp)
63	movq	%r15,64+56(%rsp)
64	xorq	%rsi,%rsi
65	movq	%rsi,24(%rbx)
66.align	16
67.Lround:
68	movq	4096(%rbp,%rsi,8),%r8
69	movl	0(%rsp),%eax
70	movl	4(%rsp),%ebx
71	movb	%al,%cl
72	movb	%ah,%dl
73	leaq	(%rcx,%rcx,1),%rsi
74	leaq	(%rdx,%rdx,1),%rdi
75	shrl	$16,%eax
76	xorq	0(%rbp,%rsi,8),%r8
77	movq	7(%rbp,%rdi,8),%r9
78	movb	%al,%cl
79	movb	%ah,%dl
80	movl	0+8(%rsp),%eax
81	leaq	(%rcx,%rcx,1),%rsi
82	leaq	(%rdx,%rdx,1),%rdi
83	movq	6(%rbp,%rsi,8),%r10
84	movq	5(%rbp,%rdi,8),%r11
85	movb	%bl,%cl
86	movb	%bh,%dl
87	leaq	(%rcx,%rcx,1),%rsi
88	leaq	(%rdx,%rdx,1),%rdi
89	shrl	$16,%ebx
90	movq	4(%rbp,%rsi,8),%r12
91	movq	3(%rbp,%rdi,8),%r13
92	movb	%bl,%cl
93	movb	%bh,%dl
94	movl	0+8+4(%rsp),%ebx
95	leaq	(%rcx,%rcx,1),%rsi
96	leaq	(%rdx,%rdx,1),%rdi
97	movq	2(%rbp,%rsi,8),%r14
98	movq	1(%rbp,%rdi,8),%r15
99	movb	%al,%cl
100	movb	%ah,%dl
101	leaq	(%rcx,%rcx,1),%rsi
102	leaq	(%rdx,%rdx,1),%rdi
103	shrl	$16,%eax
104	xorq	0(%rbp,%rsi,8),%r9
105	xorq	7(%rbp,%rdi,8),%r10
106	movb	%al,%cl
107	movb	%ah,%dl
108	movl	8+8(%rsp),%eax
109	leaq	(%rcx,%rcx,1),%rsi
110	leaq	(%rdx,%rdx,1),%rdi
111	xorq	6(%rbp,%rsi,8),%r11
112	xorq	5(%rbp,%rdi,8),%r12
113	movb	%bl,%cl
114	movb	%bh,%dl
115	leaq	(%rcx,%rcx,1),%rsi
116	leaq	(%rdx,%rdx,1),%rdi
117	shrl	$16,%ebx
118	xorq	4(%rbp,%rsi,8),%r13
119	xorq	3(%rbp,%rdi,8),%r14
120	movb	%bl,%cl
121	movb	%bh,%dl
122	movl	8+8+4(%rsp),%ebx
123	leaq	(%rcx,%rcx,1),%rsi
124	leaq	(%rdx,%rdx,1),%rdi
125	xorq	2(%rbp,%rsi,8),%r15
126	xorq	1(%rbp,%rdi,8),%r8
127	movb	%al,%cl
128	movb	%ah,%dl
129	leaq	(%rcx,%rcx,1),%rsi
130	leaq	(%rdx,%rdx,1),%rdi
131	shrl	$16,%eax
132	xorq	0(%rbp,%rsi,8),%r10
133	xorq	7(%rbp,%rdi,8),%r11
134	movb	%al,%cl
135	movb	%ah,%dl
136	movl	16+8(%rsp),%eax
137	leaq	(%rcx,%rcx,1),%rsi
138	leaq	(%rdx,%rdx,1),%rdi
139	xorq	6(%rbp,%rsi,8),%r12
140	xorq	5(%rbp,%rdi,8),%r13
141	movb	%bl,%cl
142	movb	%bh,%dl
143	leaq	(%rcx,%rcx,1),%rsi
144	leaq	(%rdx,%rdx,1),%rdi
145	shrl	$16,%ebx
146	xorq	4(%rbp,%rsi,8),%r14
147	xorq	3(%rbp,%rdi,8),%r15
148	movb	%bl,%cl
149	movb	%bh,%dl
150	movl	16+8+4(%rsp),%ebx
151	leaq	(%rcx,%rcx,1),%rsi
152	leaq	(%rdx,%rdx,1),%rdi
153	xorq	2(%rbp,%rsi,8),%r8
154	xorq	1(%rbp,%rdi,8),%r9
155	movb	%al,%cl
156	movb	%ah,%dl
157	leaq	(%rcx,%rcx,1),%rsi
158	leaq	(%rdx,%rdx,1),%rdi
159	shrl	$16,%eax
160	xorq	0(%rbp,%rsi,8),%r11
161	xorq	7(%rbp,%rdi,8),%r12
162	movb	%al,%cl
163	movb	%ah,%dl
164	movl	24+8(%rsp),%eax
165	leaq	(%rcx,%rcx,1),%rsi
166	leaq	(%rdx,%rdx,1),%rdi
167	xorq	6(%rbp,%rsi,8),%r13
168	xorq	5(%rbp,%rdi,8),%r14
169	movb	%bl,%cl
170	movb	%bh,%dl
171	leaq	(%rcx,%rcx,1),%rsi
172	leaq	(%rdx,%rdx,1),%rdi
173	shrl	$16,%ebx
174	xorq	4(%rbp,%rsi,8),%r15
175	xorq	3(%rbp,%rdi,8),%r8
176	movb	%bl,%cl
177	movb	%bh,%dl
178	movl	24+8+4(%rsp),%ebx
179	leaq	(%rcx,%rcx,1),%rsi
180	leaq	(%rdx,%rdx,1),%rdi
181	xorq	2(%rbp,%rsi,8),%r9
182	xorq	1(%rbp,%rdi,8),%r10
183	movb	%al,%cl
184	movb	%ah,%dl
185	leaq	(%rcx,%rcx,1),%rsi
186	leaq	(%rdx,%rdx,1),%rdi
187	shrl	$16,%eax
188	xorq	0(%rbp,%rsi,8),%r12
189	xorq	7(%rbp,%rdi,8),%r13
190	movb	%al,%cl
191	movb	%ah,%dl
192	movl	32+8(%rsp),%eax
193	leaq	(%rcx,%rcx,1),%rsi
194	leaq	(%rdx,%rdx,1),%rdi
195	xorq	6(%rbp,%rsi,8),%r14
196	xorq	5(%rbp,%rdi,8),%r15
197	movb	%bl,%cl
198	movb	%bh,%dl
199	leaq	(%rcx,%rcx,1),%rsi
200	leaq	(%rdx,%rdx,1),%rdi
201	shrl	$16,%ebx
202	xorq	4(%rbp,%rsi,8),%r8
203	xorq	3(%rbp,%rdi,8),%r9
204	movb	%bl,%cl
205	movb	%bh,%dl
206	movl	32+8+4(%rsp),%ebx
207	leaq	(%rcx,%rcx,1),%rsi
208	leaq	(%rdx,%rdx,1),%rdi
209	xorq	2(%rbp,%rsi,8),%r10
210	xorq	1(%rbp,%rdi,8),%r11
211	movb	%al,%cl
212	movb	%ah,%dl
213	leaq	(%rcx,%rcx,1),%rsi
214	leaq	(%rdx,%rdx,1),%rdi
215	shrl	$16,%eax
216	xorq	0(%rbp,%rsi,8),%r13
217	xorq	7(%rbp,%rdi,8),%r14
218	movb	%al,%cl
219	movb	%ah,%dl
220	movl	40+8(%rsp),%eax
221	leaq	(%rcx,%rcx,1),%rsi
222	leaq	(%rdx,%rdx,1),%rdi
223	xorq	6(%rbp,%rsi,8),%r15
224	xorq	5(%rbp,%rdi,8),%r8
225	movb	%bl,%cl
226	movb	%bh,%dl
227	leaq	(%rcx,%rcx,1),%rsi
228	leaq	(%rdx,%rdx,1),%rdi
229	shrl	$16,%ebx
230	xorq	4(%rbp,%rsi,8),%r9
231	xorq	3(%rbp,%rdi,8),%r10
232	movb	%bl,%cl
233	movb	%bh,%dl
234	movl	40+8+4(%rsp),%ebx
235	leaq	(%rcx,%rcx,1),%rsi
236	leaq	(%rdx,%rdx,1),%rdi
237	xorq	2(%rbp,%rsi,8),%r11
238	xorq	1(%rbp,%rdi,8),%r12
239	movb	%al,%cl
240	movb	%ah,%dl
241	leaq	(%rcx,%rcx,1),%rsi
242	leaq	(%rdx,%rdx,1),%rdi
243	shrl	$16,%eax
244	xorq	0(%rbp,%rsi,8),%r14
245	xorq	7(%rbp,%rdi,8),%r15
246	movb	%al,%cl
247	movb	%ah,%dl
248	movl	48+8(%rsp),%eax
249	leaq	(%rcx,%rcx,1),%rsi
250	leaq	(%rdx,%rdx,1),%rdi
251	xorq	6(%rbp,%rsi,8),%r8
252	xorq	5(%rbp,%rdi,8),%r9
253	movb	%bl,%cl
254	movb	%bh,%dl
255	leaq	(%rcx,%rcx,1),%rsi
256	leaq	(%rdx,%rdx,1),%rdi
257	shrl	$16,%ebx
258	xorq	4(%rbp,%rsi,8),%r10
259	xorq	3(%rbp,%rdi,8),%r11
260	movb	%bl,%cl
261	movb	%bh,%dl
262	movl	48+8+4(%rsp),%ebx
263	leaq	(%rcx,%rcx,1),%rsi
264	leaq	(%rdx,%rdx,1),%rdi
265	xorq	2(%rbp,%rsi,8),%r12
266	xorq	1(%rbp,%rdi,8),%r13
267	movb	%al,%cl
268	movb	%ah,%dl
269	leaq	(%rcx,%rcx,1),%rsi
270	leaq	(%rdx,%rdx,1),%rdi
271	shrl	$16,%eax
272	xorq	0(%rbp,%rsi,8),%r15
273	xorq	7(%rbp,%rdi,8),%r8
274	movb	%al,%cl
275	movb	%ah,%dl
276	movl	56+8(%rsp),%eax
277	leaq	(%rcx,%rcx,1),%rsi
278	leaq	(%rdx,%rdx,1),%rdi
279	xorq	6(%rbp,%rsi,8),%r9
280	xorq	5(%rbp,%rdi,8),%r10
281	movb	%bl,%cl
282	movb	%bh,%dl
283	leaq	(%rcx,%rcx,1),%rsi
284	leaq	(%rdx,%rdx,1),%rdi
285	shrl	$16,%ebx
286	xorq	4(%rbp,%rsi,8),%r11
287	xorq	3(%rbp,%rdi,8),%r12
288	movb	%bl,%cl
289	movb	%bh,%dl
290	movl	56+8+4(%rsp),%ebx
291	leaq	(%rcx,%rcx,1),%rsi
292	leaq	(%rdx,%rdx,1),%rdi
293	xorq	2(%rbp,%rsi,8),%r13
294	xorq	1(%rbp,%rdi,8),%r14
295	movq	%r8,0(%rsp)
296	movq	%r9,8(%rsp)
297	movq	%r10,16(%rsp)
298	movq	%r11,24(%rsp)
299	movq	%r12,32(%rsp)
300	movq	%r13,40(%rsp)
301	movq	%r14,48(%rsp)
302	movq	%r15,56(%rsp)
303	movb	%al,%cl
304	movb	%ah,%dl
305	leaq	(%rcx,%rcx,1),%rsi
306	leaq	(%rdx,%rdx,1),%rdi
307	shrl	$16,%eax
308	xorq	0(%rbp,%rsi,8),%r8
309	xorq	7(%rbp,%rdi,8),%r9
310	movb	%al,%cl
311	movb	%ah,%dl
312	movl	64+0+8(%rsp),%eax
313	leaq	(%rcx,%rcx,1),%rsi
314	leaq	(%rdx,%rdx,1),%rdi
315	xorq	6(%rbp,%rsi,8),%r10
316	xorq	5(%rbp,%rdi,8),%r11
317	movb	%bl,%cl
318	movb	%bh,%dl
319	leaq	(%rcx,%rcx,1),%rsi
320	leaq	(%rdx,%rdx,1),%rdi
321	shrl	$16,%ebx
322	xorq	4(%rbp,%rsi,8),%r12
323	xorq	3(%rbp,%rdi,8),%r13
324	movb	%bl,%cl
325	movb	%bh,%dl
326	movl	64+0+8+4(%rsp),%ebx
327	leaq	(%rcx,%rcx,1),%rsi
328	leaq	(%rdx,%rdx,1),%rdi
329	xorq	2(%rbp,%rsi,8),%r14
330	xorq	1(%rbp,%rdi,8),%r15
331	movb	%al,%cl
332	movb	%ah,%dl
333	leaq	(%rcx,%rcx,1),%rsi
334	leaq	(%rdx,%rdx,1),%rdi
335	shrl	$16,%eax
336	xorq	0(%rbp,%rsi,8),%r9
337	xorq	7(%rbp,%rdi,8),%r10
338	movb	%al,%cl
339	movb	%ah,%dl
340	movl	64+8+8(%rsp),%eax
341	leaq	(%rcx,%rcx,1),%rsi
342	leaq	(%rdx,%rdx,1),%rdi
343	xorq	6(%rbp,%rsi,8),%r11
344	xorq	5(%rbp,%rdi,8),%r12
345	movb	%bl,%cl
346	movb	%bh,%dl
347	leaq	(%rcx,%rcx,1),%rsi
348	leaq	(%rdx,%rdx,1),%rdi
349	shrl	$16,%ebx
350	xorq	4(%rbp,%rsi,8),%r13
351	xorq	3(%rbp,%rdi,8),%r14
352	movb	%bl,%cl
353	movb	%bh,%dl
354	movl	64+8+8+4(%rsp),%ebx
355	leaq	(%rcx,%rcx,1),%rsi
356	leaq	(%rdx,%rdx,1),%rdi
357	xorq	2(%rbp,%rsi,8),%r15
358	xorq	1(%rbp,%rdi,8),%r8
359	movb	%al,%cl
360	movb	%ah,%dl
361	leaq	(%rcx,%rcx,1),%rsi
362	leaq	(%rdx,%rdx,1),%rdi
363	shrl	$16,%eax
364	xorq	0(%rbp,%rsi,8),%r10
365	xorq	7(%rbp,%rdi,8),%r11
366	movb	%al,%cl
367	movb	%ah,%dl
368	movl	64+16+8(%rsp),%eax
369	leaq	(%rcx,%rcx,1),%rsi
370	leaq	(%rdx,%rdx,1),%rdi
371	xorq	6(%rbp,%rsi,8),%r12
372	xorq	5(%rbp,%rdi,8),%r13
373	movb	%bl,%cl
374	movb	%bh,%dl
375	leaq	(%rcx,%rcx,1),%rsi
376	leaq	(%rdx,%rdx,1),%rdi
377	shrl	$16,%ebx
378	xorq	4(%rbp,%rsi,8),%r14
379	xorq	3(%rbp,%rdi,8),%r15
380	movb	%bl,%cl
381	movb	%bh,%dl
382	movl	64+16+8+4(%rsp),%ebx
383	leaq	(%rcx,%rcx,1),%rsi
384	leaq	(%rdx,%rdx,1),%rdi
385	xorq	2(%rbp,%rsi,8),%r8
386	xorq	1(%rbp,%rdi,8),%r9
387	movb	%al,%cl
388	movb	%ah,%dl
389	leaq	(%rcx,%rcx,1),%rsi
390	leaq	(%rdx,%rdx,1),%rdi
391	shrl	$16,%eax
392	xorq	0(%rbp,%rsi,8),%r11
393	xorq	7(%rbp,%rdi,8),%r12
394	movb	%al,%cl
395	movb	%ah,%dl
396	movl	64+24+8(%rsp),%eax
397	leaq	(%rcx,%rcx,1),%rsi
398	leaq	(%rdx,%rdx,1),%rdi
399	xorq	6(%rbp,%rsi,8),%r13
400	xorq	5(%rbp,%rdi,8),%r14
401	movb	%bl,%cl
402	movb	%bh,%dl
403	leaq	(%rcx,%rcx,1),%rsi
404	leaq	(%rdx,%rdx,1),%rdi
405	shrl	$16,%ebx
406	xorq	4(%rbp,%rsi,8),%r15
407	xorq	3(%rbp,%rdi,8),%r8
408	movb	%bl,%cl
409	movb	%bh,%dl
410	movl	64+24+8+4(%rsp),%ebx
411	leaq	(%rcx,%rcx,1),%rsi
412	leaq	(%rdx,%rdx,1),%rdi
413	xorq	2(%rbp,%rsi,8),%r9
414	xorq	1(%rbp,%rdi,8),%r10
415	movb	%al,%cl
416	movb	%ah,%dl
417	leaq	(%rcx,%rcx,1),%rsi
418	leaq	(%rdx,%rdx,1),%rdi
419	shrl	$16,%eax
420	xorq	0(%rbp,%rsi,8),%r12
421	xorq	7(%rbp,%rdi,8),%r13
422	movb	%al,%cl
423	movb	%ah,%dl
424	movl	64+32+8(%rsp),%eax
425	leaq	(%rcx,%rcx,1),%rsi
426	leaq	(%rdx,%rdx,1),%rdi
427	xorq	6(%rbp,%rsi,8),%r14
428	xorq	5(%rbp,%rdi,8),%r15
429	movb	%bl,%cl
430	movb	%bh,%dl
431	leaq	(%rcx,%rcx,1),%rsi
432	leaq	(%rdx,%rdx,1),%rdi
433	shrl	$16,%ebx
434	xorq	4(%rbp,%rsi,8),%r8
435	xorq	3(%rbp,%rdi,8),%r9
436	movb	%bl,%cl
437	movb	%bh,%dl
438	movl	64+32+8+4(%rsp),%ebx
439	leaq	(%rcx,%rcx,1),%rsi
440	leaq	(%rdx,%rdx,1),%rdi
441	xorq	2(%rbp,%rsi,8),%r10
442	xorq	1(%rbp,%rdi,8),%r11
443	movb	%al,%cl
444	movb	%ah,%dl
445	leaq	(%rcx,%rcx,1),%rsi
446	leaq	(%rdx,%rdx,1),%rdi
447	shrl	$16,%eax
448	xorq	0(%rbp,%rsi,8),%r13
449	xorq	7(%rbp,%rdi,8),%r14
450	movb	%al,%cl
451	movb	%ah,%dl
452	movl	64+40+8(%rsp),%eax
453	leaq	(%rcx,%rcx,1),%rsi
454	leaq	(%rdx,%rdx,1),%rdi
455	xorq	6(%rbp,%rsi,8),%r15
456	xorq	5(%rbp,%rdi,8),%r8
457	movb	%bl,%cl
458	movb	%bh,%dl
459	leaq	(%rcx,%rcx,1),%rsi
460	leaq	(%rdx,%rdx,1),%rdi
461	shrl	$16,%ebx
462	xorq	4(%rbp,%rsi,8),%r9
463	xorq	3(%rbp,%rdi,8),%r10
464	movb	%bl,%cl
465	movb	%bh,%dl
466	movl	64+40+8+4(%rsp),%ebx
467	leaq	(%rcx,%rcx,1),%rsi
468	leaq	(%rdx,%rdx,1),%rdi
469	xorq	2(%rbp,%rsi,8),%r11
470	xorq	1(%rbp,%rdi,8),%r12
471	movb	%al,%cl
472	movb	%ah,%dl
473	leaq	(%rcx,%rcx,1),%rsi
474	leaq	(%rdx,%rdx,1),%rdi
475	shrl	$16,%eax
476	xorq	0(%rbp,%rsi,8),%r14
477	xorq	7(%rbp,%rdi,8),%r15
478	movb	%al,%cl
479	movb	%ah,%dl
480	movl	64+48+8(%rsp),%eax
481	leaq	(%rcx,%rcx,1),%rsi
482	leaq	(%rdx,%rdx,1),%rdi
483	xorq	6(%rbp,%rsi,8),%r8
484	xorq	5(%rbp,%rdi,8),%r9
485	movb	%bl,%cl
486	movb	%bh,%dl
487	leaq	(%rcx,%rcx,1),%rsi
488	leaq	(%rdx,%rdx,1),%rdi
489	shrl	$16,%ebx
490	xorq	4(%rbp,%rsi,8),%r10
491	xorq	3(%rbp,%rdi,8),%r11
492	movb	%bl,%cl
493	movb	%bh,%dl
494	movl	64+48+8+4(%rsp),%ebx
495	leaq	(%rcx,%rcx,1),%rsi
496	leaq	(%rdx,%rdx,1),%rdi
497	xorq	2(%rbp,%rsi,8),%r12
498	xorq	1(%rbp,%rdi,8),%r13
499	movb	%al,%cl
500	movb	%ah,%dl
501	leaq	(%rcx,%rcx,1),%rsi
502	leaq	(%rdx,%rdx,1),%rdi
503	shrl	$16,%eax
504	xorq	0(%rbp,%rsi,8),%r15
505	xorq	7(%rbp,%rdi,8),%r8
506	movb	%al,%cl
507	movb	%ah,%dl
508
509	leaq	(%rcx,%rcx,1),%rsi
510	leaq	(%rdx,%rdx,1),%rdi
511	xorq	6(%rbp,%rsi,8),%r9
512	xorq	5(%rbp,%rdi,8),%r10
513	movb	%bl,%cl
514	movb	%bh,%dl
515	leaq	(%rcx,%rcx,1),%rsi
516	leaq	(%rdx,%rdx,1),%rdi
517	shrl	$16,%ebx
518	xorq	4(%rbp,%rsi,8),%r11
519	xorq	3(%rbp,%rdi,8),%r12
520	movb	%bl,%cl
521	movb	%bh,%dl
522
523	leaq	(%rcx,%rcx,1),%rsi
524	leaq	(%rdx,%rdx,1),%rdi
525	xorq	2(%rbp,%rsi,8),%r13
526	xorq	1(%rbp,%rdi,8),%r14
527	leaq	128(%rsp),%rbx
528	movq	24(%rbx),%rsi
529	addq	$1,%rsi
530	cmpq	$10,%rsi
531	je	.Lroundsdone
532
533	movq	%rsi,24(%rbx)
534	movq	%r8,64+0(%rsp)
535	movq	%r9,64+8(%rsp)
536	movq	%r10,64+16(%rsp)
537	movq	%r11,64+24(%rsp)
538	movq	%r12,64+32(%rsp)
539	movq	%r13,64+40(%rsp)
540	movq	%r14,64+48(%rsp)
541	movq	%r15,64+56(%rsp)
542	jmp	.Lround
543.align	16
544.Lroundsdone:
545	movq	0(%rbx),%rdi
546	movq	8(%rbx),%rsi
547	movq	16(%rbx),%rax
548	xorq	0(%rsi),%r8
549	xorq	8(%rsi),%r9
550	xorq	16(%rsi),%r10
551	xorq	24(%rsi),%r11
552	xorq	32(%rsi),%r12
553	xorq	40(%rsi),%r13
554	xorq	48(%rsi),%r14
555	xorq	56(%rsi),%r15
556	xorq	0(%rdi),%r8
557	xorq	8(%rdi),%r9
558	xorq	16(%rdi),%r10
559	xorq	24(%rdi),%r11
560	xorq	32(%rdi),%r12
561	xorq	40(%rdi),%r13
562	xorq	48(%rdi),%r14
563	xorq	56(%rdi),%r15
564	movq	%r8,0(%rdi)
565	movq	%r9,8(%rdi)
566	movq	%r10,16(%rdi)
567	movq	%r11,24(%rdi)
568	movq	%r12,32(%rdi)
569	movq	%r13,40(%rdi)
570	movq	%r14,48(%rdi)
571	movq	%r15,56(%rdi)
572	leaq	64(%rsi),%rsi
573	subq	$1,%rax
574	jz	.Lalldone
575	movq	%rsi,8(%rbx)
576	movq	%rax,16(%rbx)
577	jmp	.Louterloop
578.Lalldone:
579	movq	32(%rbx),%rsi
580	movq	(%rsi),%r15
581	movq	8(%rsi),%r14
582	movq	16(%rsi),%r13
583	movq	24(%rsi),%r12
584	movq	32(%rsi),%rbp
585	movq	40(%rsi),%rbx
586	leaq	48(%rsi),%rsp
587.Lepilogue:
588	retq
589.size	whirlpool_block,.-whirlpool_block
590
591.align	64
592.type	.Ltable,@object
593.Ltable:
594.byte	24,24,96,24,192,120,48,216,24,24,96,24,192,120,48,216
595.byte	35,35,140,35,5,175,70,38,35,35,140,35,5,175,70,38
596.byte	198,198,63,198,126,249,145,184,198,198,63,198,126,249,145,184
597.byte	232,232,135,232,19,111,205,251,232,232,135,232,19,111,205,251
598.byte	135,135,38,135,76,161,19,203,135,135,38,135,76,161,19,203
599.byte	184,184,218,184,169,98,109,17,184,184,218,184,169,98,109,17
600.byte	1,1,4,1,8,5,2,9,1,1,4,1,8,5,2,9
601.byte	79,79,33,79,66,110,158,13,79,79,33,79,66,110,158,13
602.byte	54,54,216,54,173,238,108,155,54,54,216,54,173,238,108,155
603.byte	166,166,162,166,89,4,81,255,166,166,162,166,89,4,81,255
604.byte	210,210,111,210,222,189,185,12,210,210,111,210,222,189,185,12
605.byte	245,245,243,245,251,6,247,14,245,245,243,245,251,6,247,14
606.byte	121,121,249,121,239,128,242,150,121,121,249,121,239,128,242,150
607.byte	111,111,161,111,95,206,222,48,111,111,161,111,95,206,222,48
608.byte	145,145,126,145,252,239,63,109,145,145,126,145,252,239,63,109
609.byte	82,82,85,82,170,7,164,248,82,82,85,82,170,7,164,248
610.byte	96,96,157,96,39,253,192,71,96,96,157,96,39,253,192,71
611.byte	188,188,202,188,137,118,101,53,188,188,202,188,137,118,101,53
612.byte	155,155,86,155,172,205,43,55,155,155,86,155,172,205,43,55
613.byte	142,142,2,142,4,140,1,138,142,142,2,142,4,140,1,138
614.byte	163,163,182,163,113,21,91,210,163,163,182,163,113,21,91,210
615.byte	12,12,48,12,96,60,24,108,12,12,48,12,96,60,24,108
616.byte	123,123,241,123,255,138,246,132,123,123,241,123,255,138,246,132
617.byte	53,53,212,53,181,225,106,128,53,53,212,53,181,225,106,128
618.byte	29,29,116,29,232,105,58,245,29,29,116,29,232,105,58,245
619.byte	224,224,167,224,83,71,221,179,224,224,167,224,83,71,221,179
620.byte	215,215,123,215,246,172,179,33,215,215,123,215,246,172,179,33
621.byte	194,194,47,194,94,237,153,156,194,194,47,194,94,237,153,156
622.byte	46,46,184,46,109,150,92,67,46,46,184,46,109,150,92,67
623.byte	75,75,49,75,98,122,150,41,75,75,49,75,98,122,150,41
624.byte	254,254,223,254,163,33,225,93,254,254,223,254,163,33,225,93
625.byte	87,87,65,87,130,22,174,213,87,87,65,87,130,22,174,213
626.byte	21,21,84,21,168,65,42,189,21,21,84,21,168,65,42,189
627.byte	119,119,193,119,159,182,238,232,119,119,193,119,159,182,238,232
628.byte	55,55,220,55,165,235,110,146,55,55,220,55,165,235,110,146
629.byte	229,229,179,229,123,86,215,158,229,229,179,229,123,86,215,158
630.byte	159,159,70,159,140,217,35,19,159,159,70,159,140,217,35,19
631.byte	240,240,231,240,211,23,253,35,240,240,231,240,211,23,253,35
632.byte	74,74,53,74,106,127,148,32,74,74,53,74,106,127,148,32
633.byte	218,218,79,218,158,149,169,68,218,218,79,218,158,149,169,68
634.byte	88,88,125,88,250,37,176,162,88,88,125,88,250,37,176,162
635.byte	201,201,3,201,6,202,143,207,201,201,3,201,6,202,143,207
636.byte	41,41,164,41,85,141,82,124,41,41,164,41,85,141,82,124
637.byte	10,10,40,10,80,34,20,90,10,10,40,10,80,34,20,90
638.byte	177,177,254,177,225,79,127,80,177,177,254,177,225,79,127,80
639.byte	160,160,186,160,105,26,93,201,160,160,186,160,105,26,93,201
640.byte	107,107,177,107,127,218,214,20,107,107,177,107,127,218,214,20
641.byte	133,133,46,133,92,171,23,217,133,133,46,133,92,171,23,217
642.byte	189,189,206,189,129,115,103,60,189,189,206,189,129,115,103,60
643.byte	93,93,105,93,210,52,186,143,93,93,105,93,210,52,186,143
644.byte	16,16,64,16,128,80,32,144,16,16,64,16,128,80,32,144
645.byte	244,244,247,244,243,3,245,7,244,244,247,244,243,3,245,7
646.byte	203,203,11,203,22,192,139,221,203,203,11,203,22,192,139,221
647.byte	62,62,248,62,237,198,124,211,62,62,248,62,237,198,124,211
648.byte	5,5,20,5,40,17,10,45,5,5,20,5,40,17,10,45
649.byte	103,103,129,103,31,230,206,120,103,103,129,103,31,230,206,120
650.byte	228,228,183,228,115,83,213,151,228,228,183,228,115,83,213,151
651.byte	39,39,156,39,37,187,78,2,39,39,156,39,37,187,78,2
652.byte	65,65,25,65,50,88,130,115,65,65,25,65,50,88,130,115
653.byte	139,139,22,139,44,157,11,167,139,139,22,139,44,157,11,167
654.byte	167,167,166,167,81,1,83,246,167,167,166,167,81,1,83,246
655.byte	125,125,233,125,207,148,250,178,125,125,233,125,207,148,250,178
656.byte	149,149,110,149,220,251,55,73,149,149,110,149,220,251,55,73
657.byte	216,216,71,216,142,159,173,86,216,216,71,216,142,159,173,86
658.byte	251,251,203,251,139,48,235,112,251,251,203,251,139,48,235,112
659.byte	238,238,159,238,35,113,193,205,238,238,159,238,35,113,193,205
660.byte	124,124,237,124,199,145,248,187,124,124,237,124,199,145,248,187
661.byte	102,102,133,102,23,227,204,113,102,102,133,102,23,227,204,113
662.byte	221,221,83,221,166,142,167,123,221,221,83,221,166,142,167,123
663.byte	23,23,92,23,184,75,46,175,23,23,92,23,184,75,46,175
664.byte	71,71,1,71,2,70,142,69,71,71,1,71,2,70,142,69
665.byte	158,158,66,158,132,220,33,26,158,158,66,158,132,220,33,26
666.byte	202,202,15,202,30,197,137,212,202,202,15,202,30,197,137,212
667.byte	45,45,180,45,117,153,90,88,45,45,180,45,117,153,90,88
668.byte	191,191,198,191,145,121,99,46,191,191,198,191,145,121,99,46
669.byte	7,7,28,7,56,27,14,63,7,7,28,7,56,27,14,63
670.byte	173,173,142,173,1,35,71,172,173,173,142,173,1,35,71,172
671.byte	90,90,117,90,234,47,180,176,90,90,117,90,234,47,180,176
672.byte	131,131,54,131,108,181,27,239,131,131,54,131,108,181,27,239
673.byte	51,51,204,51,133,255,102,182,51,51,204,51,133,255,102,182
674.byte	99,99,145,99,63,242,198,92,99,99,145,99,63,242,198,92
675.byte	2,2,8,2,16,10,4,18,2,2,8,2,16,10,4,18
676.byte	170,170,146,170,57,56,73,147,170,170,146,170,57,56,73,147
677.byte	113,113,217,113,175,168,226,222,113,113,217,113,175,168,226,222
678.byte	200,200,7,200,14,207,141,198,200,200,7,200,14,207,141,198
679.byte	25,25,100,25,200,125,50,209,25,25,100,25,200,125,50,209
680.byte	73,73,57,73,114,112,146,59,73,73,57,73,114,112,146,59
681.byte	217,217,67,217,134,154,175,95,217,217,67,217,134,154,175,95
682.byte	242,242,239,242,195,29,249,49,242,242,239,242,195,29,249,49
683.byte	227,227,171,227,75,72,219,168,227,227,171,227,75,72,219,168
684.byte	91,91,113,91,226,42,182,185,91,91,113,91,226,42,182,185
685.byte	136,136,26,136,52,146,13,188,136,136,26,136,52,146,13,188
686.byte	154,154,82,154,164,200,41,62,154,154,82,154,164,200,41,62
687.byte	38,38,152,38,45,190,76,11,38,38,152,38,45,190,76,11
688.byte	50,50,200,50,141,250,100,191,50,50,200,50,141,250,100,191
689.byte	176,176,250,176,233,74,125,89,176,176,250,176,233,74,125,89
690.byte	233,233,131,233,27,106,207,242,233,233,131,233,27,106,207,242
691.byte	15,15,60,15,120,51,30,119,15,15,60,15,120,51,30,119
692.byte	213,213,115,213,230,166,183,51,213,213,115,213,230,166,183,51
693.byte	128,128,58,128,116,186,29,244,128,128,58,128,116,186,29,244
694.byte	190,190,194,190,153,124,97,39,190,190,194,190,153,124,97,39
695.byte	205,205,19,205,38,222,135,235,205,205,19,205,38,222,135,235
696.byte	52,52,208,52,189,228,104,137,52,52,208,52,189,228,104,137
697.byte	72,72,61,72,122,117,144,50,72,72,61,72,122,117,144,50
698.byte	255,255,219,255,171,36,227,84,255,255,219,255,171,36,227,84
699.byte	122,122,245,122,247,143,244,141,122,122,245,122,247,143,244,141
700.byte	144,144,122,144,244,234,61,100,144,144,122,144,244,234,61,100
701.byte	95,95,97,95,194,62,190,157,95,95,97,95,194,62,190,157
702.byte	32,32,128,32,29,160,64,61,32,32,128,32,29,160,64,61
703.byte	104,104,189,104,103,213,208,15,104,104,189,104,103,213,208,15
704.byte	26,26,104,26,208,114,52,202,26,26,104,26,208,114,52,202
705.byte	174,174,130,174,25,44,65,183,174,174,130,174,25,44,65,183
706.byte	180,180,234,180,201,94,117,125,180,180,234,180,201,94,117,125
707.byte	84,84,77,84,154,25,168,206,84,84,77,84,154,25,168,206
708.byte	147,147,118,147,236,229,59,127,147,147,118,147,236,229,59,127
709.byte	34,34,136,34,13,170,68,47,34,34,136,34,13,170,68,47
710.byte	100,100,141,100,7,233,200,99,100,100,141,100,7,233,200,99
711.byte	241,241,227,241,219,18,255,42,241,241,227,241,219,18,255,42
712.byte	115,115,209,115,191,162,230,204,115,115,209,115,191,162,230,204
713.byte	18,18,72,18,144,90,36,130,18,18,72,18,144,90,36,130
714.byte	64,64,29,64,58,93,128,122,64,64,29,64,58,93,128,122
715.byte	8,8,32,8,64,40,16,72,8,8,32,8,64,40,16,72
716.byte	195,195,43,195,86,232,155,149,195,195,43,195,86,232,155,149
717.byte	236,236,151,236,51,123,197,223,236,236,151,236,51,123,197,223
718.byte	219,219,75,219,150,144,171,77,219,219,75,219,150,144,171,77
719.byte	161,161,190,161,97,31,95,192,161,161,190,161,97,31,95,192
720.byte	141,141,14,141,28,131,7,145,141,141,14,141,28,131,7,145
721.byte	61,61,244,61,245,201,122,200,61,61,244,61,245,201,122,200
722.byte	151,151,102,151,204,241,51,91,151,151,102,151,204,241,51,91
723.byte	0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
724.byte	207,207,27,207,54,212,131,249,207,207,27,207,54,212,131,249
725.byte	43,43,172,43,69,135,86,110,43,43,172,43,69,135,86,110
726.byte	118,118,197,118,151,179,236,225,118,118,197,118,151,179,236,225
727.byte	130,130,50,130,100,176,25,230,130,130,50,130,100,176,25,230
728.byte	214,214,127,214,254,169,177,40,214,214,127,214,254,169,177,40
729.byte	27,27,108,27,216,119,54,195,27,27,108,27,216,119,54,195
730.byte	181,181,238,181,193,91,119,116,181,181,238,181,193,91,119,116
731.byte	175,175,134,175,17,41,67,190,175,175,134,175,17,41,67,190
732.byte	106,106,181,106,119,223,212,29,106,106,181,106,119,223,212,29
733.byte	80,80,93,80,186,13,160,234,80,80,93,80,186,13,160,234
734.byte	69,69,9,69,18,76,138,87,69,69,9,69,18,76,138,87
735.byte	243,243,235,243,203,24,251,56,243,243,235,243,203,24,251,56
736.byte	48,48,192,48,157,240,96,173,48,48,192,48,157,240,96,173
737.byte	239,239,155,239,43,116,195,196,239,239,155,239,43,116,195,196
738.byte	63,63,252,63,229,195,126,218,63,63,252,63,229,195,126,218
739.byte	85,85,73,85,146,28,170,199,85,85,73,85,146,28,170,199
740.byte	162,162,178,162,121,16,89,219,162,162,178,162,121,16,89,219
741.byte	234,234,143,234,3,101,201,233,234,234,143,234,3,101,201,233
742.byte	101,101,137,101,15,236,202,106,101,101,137,101,15,236,202,106
743.byte	186,186,210,186,185,104,105,3,186,186,210,186,185,104,105,3
744.byte	47,47,188,47,101,147,94,74,47,47,188,47,101,147,94,74
745.byte	192,192,39,192,78,231,157,142,192,192,39,192,78,231,157,142
746.byte	222,222,95,222,190,129,161,96,222,222,95,222,190,129,161,96
747.byte	28,28,112,28,224,108,56,252,28,28,112,28,224,108,56,252
748.byte	253,253,211,253,187,46,231,70,253,253,211,253,187,46,231,70
749.byte	77,77,41,77,82,100,154,31,77,77,41,77,82,100,154,31
750.byte	146,146,114,146,228,224,57,118,146,146,114,146,228,224,57,118
751.byte	117,117,201,117,143,188,234,250,117,117,201,117,143,188,234,250
752.byte	6,6,24,6,48,30,12,54,6,6,24,6,48,30,12,54
753.byte	138,138,18,138,36,152,9,174,138,138,18,138,36,152,9,174
754.byte	178,178,242,178,249,64,121,75,178,178,242,178,249,64,121,75
755.byte	230,230,191,230,99,89,209,133,230,230,191,230,99,89,209,133
756.byte	14,14,56,14,112,54,28,126,14,14,56,14,112,54,28,126
757.byte	31,31,124,31,248,99,62,231,31,31,124,31,248,99,62,231
758.byte	98,98,149,98,55,247,196,85,98,98,149,98,55,247,196,85
759.byte	212,212,119,212,238,163,181,58,212,212,119,212,238,163,181,58
760.byte	168,168,154,168,41,50,77,129,168,168,154,168,41,50,77,129
761.byte	150,150,98,150,196,244,49,82,150,150,98,150,196,244,49,82
762.byte	249,249,195,249,155,58,239,98,249,249,195,249,155,58,239,98
763.byte	197,197,51,197,102,246,151,163,197,197,51,197,102,246,151,163
764.byte	37,37,148,37,53,177,74,16,37,37,148,37,53,177,74,16
765.byte	89,89,121,89,242,32,178,171,89,89,121,89,242,32,178,171
766.byte	132,132,42,132,84,174,21,208,132,132,42,132,84,174,21,208
767.byte	114,114,213,114,183,167,228,197,114,114,213,114,183,167,228,197
768.byte	57,57,228,57,213,221,114,236,57,57,228,57,213,221,114,236
769.byte	76,76,45,76,90,97,152,22,76,76,45,76,90,97,152,22
770.byte	94,94,101,94,202,59,188,148,94,94,101,94,202,59,188,148
771.byte	120,120,253,120,231,133,240,159,120,120,253,120,231,133,240,159
772.byte	56,56,224,56,221,216,112,229,56,56,224,56,221,216,112,229
773.byte	140,140,10,140,20,134,5,152,140,140,10,140,20,134,5,152
774.byte	209,209,99,209,198,178,191,23,209,209,99,209,198,178,191,23
775.byte	165,165,174,165,65,11,87,228,165,165,174,165,65,11,87,228
776.byte	226,226,175,226,67,77,217,161,226,226,175,226,67,77,217,161
777.byte	97,97,153,97,47,248,194,78,97,97,153,97,47,248,194,78
778.byte	179,179,246,179,241,69,123,66,179,179,246,179,241,69,123,66
779.byte	33,33,132,33,21,165,66,52,33,33,132,33,21,165,66,52
780.byte	156,156,74,156,148,214,37,8,156,156,74,156,148,214,37,8
781.byte	30,30,120,30,240,102,60,238,30,30,120,30,240,102,60,238
782.byte	67,67,17,67,34,82,134,97,67,67,17,67,34,82,134,97
783.byte	199,199,59,199,118,252,147,177,199,199,59,199,118,252,147,177
784.byte	252,252,215,252,179,43,229,79,252,252,215,252,179,43,229,79
785.byte	4,4,16,4,32,20,8,36,4,4,16,4,32,20,8,36
786.byte	81,81,89,81,178,8,162,227,81,81,89,81,178,8,162,227
787.byte	153,153,94,153,188,199,47,37,153,153,94,153,188,199,47,37
788.byte	109,109,169,109,79,196,218,34,109,109,169,109,79,196,218,34
789.byte	13,13,52,13,104,57,26,101,13,13,52,13,104,57,26,101
790.byte	250,250,207,250,131,53,233,121,250,250,207,250,131,53,233,121
791.byte	223,223,91,223,182,132,163,105,223,223,91,223,182,132,163,105
792.byte	126,126,229,126,215,155,252,169,126,126,229,126,215,155,252,169
793.byte	36,36,144,36,61,180,72,25,36,36,144,36,61,180,72,25
794.byte	59,59,236,59,197,215,118,254,59,59,236,59,197,215,118,254
795.byte	171,171,150,171,49,61,75,154,171,171,150,171,49,61,75,154
796.byte	206,206,31,206,62,209,129,240,206,206,31,206,62,209,129,240
797.byte	17,17,68,17,136,85,34,153,17,17,68,17,136,85,34,153
798.byte	143,143,6,143,12,137,3,131,143,143,6,143,12,137,3,131
799.byte	78,78,37,78,74,107,156,4,78,78,37,78,74,107,156,4
800.byte	183,183,230,183,209,81,115,102,183,183,230,183,209,81,115,102
801.byte	235,235,139,235,11,96,203,224,235,235,139,235,11,96,203,224
802.byte	60,60,240,60,253,204,120,193,60,60,240,60,253,204,120,193
803.byte	129,129,62,129,124,191,31,253,129,129,62,129,124,191,31,253
804.byte	148,148,106,148,212,254,53,64,148,148,106,148,212,254,53,64
805.byte	247,247,251,247,235,12,243,28,247,247,251,247,235,12,243,28
806.byte	185,185,222,185,161,103,111,24,185,185,222,185,161,103,111,24
807.byte	19,19,76,19,152,95,38,139,19,19,76,19,152,95,38,139
808.byte	44,44,176,44,125,156,88,81,44,44,176,44,125,156,88,81
809.byte	211,211,107,211,214,184,187,5,211,211,107,211,214,184,187,5
810.byte	231,231,187,231,107,92,211,140,231,231,187,231,107,92,211,140
811.byte	110,110,165,110,87,203,220,57,110,110,165,110,87,203,220,57
812.byte	196,196,55,196,110,243,149,170,196,196,55,196,110,243,149,170
813.byte	3,3,12,3,24,15,6,27,3,3,12,3,24,15,6,27
814.byte	86,86,69,86,138,19,172,220,86,86,69,86,138,19,172,220
815.byte	68,68,13,68,26,73,136,94,68,68,13,68,26,73,136,94
816.byte	127,127,225,127,223,158,254,160,127,127,225,127,223,158,254,160
817.byte	169,169,158,169,33,55,79,136,169,169,158,169,33,55,79,136
818.byte	42,42,168,42,77,130,84,103,42,42,168,42,77,130,84,103
819.byte	187,187,214,187,177,109,107,10,187,187,214,187,177,109,107,10
820.byte	193,193,35,193,70,226,159,135,193,193,35,193,70,226,159,135
821.byte	83,83,81,83,162,2,166,241,83,83,81,83,162,2,166,241
822.byte	220,220,87,220,174,139,165,114,220,220,87,220,174,139,165,114
823.byte	11,11,44,11,88,39,22,83,11,11,44,11,88,39,22,83
824.byte	157,157,78,157,156,211,39,1,157,157,78,157,156,211,39,1
825.byte	108,108,173,108,71,193,216,43,108,108,173,108,71,193,216,43
826.byte	49,49,196,49,149,245,98,164,49,49,196,49,149,245,98,164
827.byte	116,116,205,116,135,185,232,243,116,116,205,116,135,185,232,243
828.byte	246,246,255,246,227,9,241,21,246,246,255,246,227,9,241,21
829.byte	70,70,5,70,10,67,140,76,70,70,5,70,10,67,140,76
830.byte	172,172,138,172,9,38,69,165,172,172,138,172,9,38,69,165
831.byte	137,137,30,137,60,151,15,181,137,137,30,137,60,151,15,181
832.byte	20,20,80,20,160,68,40,180,20,20,80,20,160,68,40,180
833.byte	225,225,163,225,91,66,223,186,225,225,163,225,91,66,223,186
834.byte	22,22,88,22,176,78,44,166,22,22,88,22,176,78,44,166
835.byte	58,58,232,58,205,210,116,247,58,58,232,58,205,210,116,247
836.byte	105,105,185,105,111,208,210,6,105,105,185,105,111,208,210,6
837.byte	9,9,36,9,72,45,18,65,9,9,36,9,72,45,18,65
838.byte	112,112,221,112,167,173,224,215,112,112,221,112,167,173,224,215
839.byte	182,182,226,182,217,84,113,111,182,182,226,182,217,84,113,111
840.byte	208,208,103,208,206,183,189,30,208,208,103,208,206,183,189,30
841.byte	237,237,147,237,59,126,199,214,237,237,147,237,59,126,199,214
842.byte	204,204,23,204,46,219,133,226,204,204,23,204,46,219,133,226
843.byte	66,66,21,66,42,87,132,104,66,66,21,66,42,87,132,104
844.byte	152,152,90,152,180,194,45,44,152,152,90,152,180,194,45,44
845.byte	164,164,170,164,73,14,85,237,164,164,170,164,73,14,85,237
846.byte	40,40,160,40,93,136,80,117,40,40,160,40,93,136,80,117
847.byte	92,92,109,92,218,49,184,134,92,92,109,92,218,49,184,134
848.byte	248,248,199,248,147,63,237,107,248,248,199,248,147,63,237,107
849.byte	134,134,34,134,68,164,17,194,134,134,34,134,68,164,17,194
850.byte	24,35,198,232,135,184,1,79
851.byte	54,166,210,245,121,111,145,82
852.byte	96,188,155,142,163,12,123,53
853.byte	29,224,215,194,46,75,254,87
854.byte	21,119,55,229,159,240,74,218
855.byte	88,201,41,10,177,160,107,133
856.byte	189,93,16,244,203,62,5,103
857.byte	228,39,65,139,167,125,149,216
858.byte	251,238,124,102,221,23,71,158
859.byte	202,45,191,7,173,90,131,51
860#if defined(HAVE_GNU_STACK)
861.section .note.GNU-stack,"",%progbits
862#endif
863