• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1#if defined(__has_feature)
2#if __has_feature(memory_sanitizer) && !defined(OPENSSL_NO_ASM)
3#define OPENSSL_NO_ASM
4#endif
5#endif
6
7#if defined(__arm__) && !defined(OPENSSL_NO_ASM) && !defined(__APPLE__)
8
9#if defined(BORINGSSL_PREFIX)
10#include <boringssl_prefix_symbols_asm.h>
11#endif
12
13# This implementation was taken from the public domain, neon2 version in
14# SUPERCOP by D. J. Bernstein and Peter Schwabe.
15
16# qhasm: int32 input_0
17
18# qhasm: int32 input_1
19
20# qhasm: int32 input_2
21
22# qhasm: int32 input_3
23
24# qhasm: stack32 input_4
25
26# qhasm: stack32 input_5
27
28# qhasm: stack32 input_6
29
30# qhasm: stack32 input_7
31
32# qhasm: int32 caller_r4
33
34# qhasm: int32 caller_r5
35
36# qhasm: int32 caller_r6
37
38# qhasm: int32 caller_r7
39
40# qhasm: int32 caller_r8
41
42# qhasm: int32 caller_r9
43
44# qhasm: int32 caller_r10
45
46# qhasm: int32 caller_r11
47
48# qhasm: int32 caller_r12
49
50# qhasm: int32 caller_r14
51
52# qhasm: reg128 caller_q4
53
54# qhasm: reg128 caller_q5
55
56# qhasm: reg128 caller_q6
57
58# qhasm: reg128 caller_q7
59
60# qhasm: startcode
61.fpu neon
62.text
63
64# qhasm: reg128 r0
65
66# qhasm: reg128 r1
67
68# qhasm: reg128 r2
69
70# qhasm: reg128 r3
71
72# qhasm: reg128 r4
73
74# qhasm: reg128 x01
75
76# qhasm: reg128 x23
77
78# qhasm: reg128 x4
79
80# qhasm: reg128 y0
81
82# qhasm: reg128 y12
83
84# qhasm: reg128 y34
85
86# qhasm: reg128 5y12
87
88# qhasm: reg128 5y34
89
90# qhasm: stack128 y0_stack
91
92# qhasm: stack128 y12_stack
93
94# qhasm: stack128 y34_stack
95
96# qhasm: stack128 5y12_stack
97
98# qhasm: stack128 5y34_stack
99
100# qhasm: reg128 z0
101
102# qhasm: reg128 z12
103
104# qhasm: reg128 z34
105
106# qhasm: reg128 5z12
107
108# qhasm: reg128 5z34
109
110# qhasm: stack128 z0_stack
111
112# qhasm: stack128 z12_stack
113
114# qhasm: stack128 z34_stack
115
116# qhasm: stack128 5z12_stack
117
118# qhasm: stack128 5z34_stack
119
120# qhasm: stack128 two24
121
122# qhasm: int32 ptr
123
124# qhasm: reg128 c01
125
126# qhasm: reg128 c23
127
128# qhasm: reg128 d01
129
130# qhasm: reg128 d23
131
132# qhasm: reg128 t0
133
134# qhasm: reg128 t1
135
136# qhasm: reg128 t2
137
138# qhasm: reg128 t3
139
140# qhasm: reg128 t4
141
142# qhasm: reg128 mask
143
144# qhasm: reg128 u0
145
146# qhasm: reg128 u1
147
148# qhasm: reg128 u2
149
150# qhasm: reg128 u3
151
152# qhasm: reg128 u4
153
154# qhasm: reg128 v01
155
156# qhasm: reg128 mid
157
158# qhasm: reg128 v23
159
160# qhasm: reg128 v4
161
162# qhasm: int32 len
163
164# qhasm: qpushenter crypto_onetimeauth_poly1305_neon2_blocks
165.align 4
166.global openssl_poly1305_neon2_blocks
167.hidden openssl_poly1305_neon2_blocks
168.type openssl_poly1305_neon2_blocks STT_FUNC
169openssl_poly1305_neon2_blocks:
170vpush {q4,q5,q6,q7}
171mov r12,sp
172sub sp,sp,#192
173bic sp,sp,#31
174
175# qhasm: len = input_3
176# asm 1: mov >len=int32#4,<input_3=int32#4
177# asm 2: mov >len=r3,<input_3=r3
178mov r3,r3
179
180# qhasm: new y0
181
182# qhasm: y0  = mem64[input_1]y0[1]; input_1 += 8
183# asm 1: vld1.8 {<y0=reg128#1%bot},[<input_1=int32#2]!
184# asm 2: vld1.8 {<y0=d0},[<input_1=r1]!
185vld1.8 {d0},[r1]!
186
187# qhasm: y12 = mem128[input_1]; input_1 += 16
188# asm 1: vld1.8 {>y12=reg128#2%bot->y12=reg128#2%top},[<input_1=int32#2]!
189# asm 2: vld1.8 {>y12=d2->y12=d3},[<input_1=r1]!
190vld1.8 {d2-d3},[r1]!
191
192# qhasm: y34 = mem128[input_1]; input_1 += 16
193# asm 1: vld1.8 {>y34=reg128#3%bot->y34=reg128#3%top},[<input_1=int32#2]!
194# asm 2: vld1.8 {>y34=d4->y34=d5},[<input_1=r1]!
195vld1.8 {d4-d5},[r1]!
196
197# qhasm: input_1 += 8
198# asm 1: add >input_1=int32#2,<input_1=int32#2,#8
199# asm 2: add >input_1=r1,<input_1=r1,#8
200add r1,r1,#8
201
202# qhasm: new z0
203
204# qhasm: z0  = mem64[input_1]z0[1]; input_1 += 8
205# asm 1: vld1.8 {<z0=reg128#4%bot},[<input_1=int32#2]!
206# asm 2: vld1.8 {<z0=d6},[<input_1=r1]!
207vld1.8 {d6},[r1]!
208
209# qhasm: z12 = mem128[input_1]; input_1 += 16
210# asm 1: vld1.8 {>z12=reg128#5%bot->z12=reg128#5%top},[<input_1=int32#2]!
211# asm 2: vld1.8 {>z12=d8->z12=d9},[<input_1=r1]!
212vld1.8 {d8-d9},[r1]!
213
214# qhasm: z34 = mem128[input_1]; input_1 += 16
215# asm 1: vld1.8 {>z34=reg128#6%bot->z34=reg128#6%top},[<input_1=int32#2]!
216# asm 2: vld1.8 {>z34=d10->z34=d11},[<input_1=r1]!
217vld1.8 {d10-d11},[r1]!
218
219# qhasm: 2x mask = 0xffffffff
220# asm 1: vmov.i64 >mask=reg128#7,#0xffffffff
221# asm 2: vmov.i64 >mask=q6,#0xffffffff
222vmov.i64 q6,#0xffffffff
223
224# qhasm: 2x u4 = 0xff
225# asm 1: vmov.i64 >u4=reg128#8,#0xff
226# asm 2: vmov.i64 >u4=q7,#0xff
227vmov.i64 q7,#0xff
228
229# qhasm: x01 aligned= mem128[input_0];input_0+=16
230# asm 1: vld1.8 {>x01=reg128#9%bot->x01=reg128#9%top},[<input_0=int32#1,: 128]!
231# asm 2: vld1.8 {>x01=d16->x01=d17},[<input_0=r0,: 128]!
232vld1.8 {d16-d17},[r0,: 128]!
233
234# qhasm: x23 aligned= mem128[input_0];input_0+=16
235# asm 1: vld1.8 {>x23=reg128#10%bot->x23=reg128#10%top},[<input_0=int32#1,: 128]!
236# asm 2: vld1.8 {>x23=d18->x23=d19},[<input_0=r0,: 128]!
237vld1.8 {d18-d19},[r0,: 128]!
238
239# qhasm: x4  aligned= mem64[input_0]x4[1]
240# asm 1: vld1.8 {<x4=reg128#11%bot},[<input_0=int32#1,: 64]
241# asm 2: vld1.8 {<x4=d20},[<input_0=r0,: 64]
242vld1.8 {d20},[r0,: 64]
243
244# qhasm: input_0 -= 32
245# asm 1: sub >input_0=int32#1,<input_0=int32#1,#32
246# asm 2: sub >input_0=r0,<input_0=r0,#32
247sub r0,r0,#32
248
249# qhasm: 2x mask unsigned>>=6
250# asm 1: vshr.u64 >mask=reg128#7,<mask=reg128#7,#6
251# asm 2: vshr.u64 >mask=q6,<mask=q6,#6
252vshr.u64 q6,q6,#6
253
254# qhasm: 2x u4 unsigned>>= 7
255# asm 1: vshr.u64 >u4=reg128#8,<u4=reg128#8,#7
256# asm 2: vshr.u64 >u4=q7,<u4=q7,#7
257vshr.u64 q7,q7,#7
258
259# qhasm: 4x 5y12 = y12 << 2
260# asm 1: vshl.i32 >5y12=reg128#12,<y12=reg128#2,#2
261# asm 2: vshl.i32 >5y12=q11,<y12=q1,#2
262vshl.i32 q11,q1,#2
263
264# qhasm: 4x 5y34 = y34 << 2
265# asm 1: vshl.i32 >5y34=reg128#13,<y34=reg128#3,#2
266# asm 2: vshl.i32 >5y34=q12,<y34=q2,#2
267vshl.i32 q12,q2,#2
268
269# qhasm: 4x 5y12 += y12
270# asm 1: vadd.i32 >5y12=reg128#12,<5y12=reg128#12,<y12=reg128#2
271# asm 2: vadd.i32 >5y12=q11,<5y12=q11,<y12=q1
272vadd.i32 q11,q11,q1
273
274# qhasm: 4x 5y34 += y34
275# asm 1: vadd.i32 >5y34=reg128#13,<5y34=reg128#13,<y34=reg128#3
276# asm 2: vadd.i32 >5y34=q12,<5y34=q12,<y34=q2
277vadd.i32 q12,q12,q2
278
279# qhasm: 2x u4 <<= 24
280# asm 1: vshl.i64 >u4=reg128#8,<u4=reg128#8,#24
281# asm 2: vshl.i64 >u4=q7,<u4=q7,#24
282vshl.i64 q7,q7,#24
283
284# qhasm: 4x 5z12 = z12 << 2
285# asm 1: vshl.i32 >5z12=reg128#14,<z12=reg128#5,#2
286# asm 2: vshl.i32 >5z12=q13,<z12=q4,#2
287vshl.i32 q13,q4,#2
288
289# qhasm: 4x 5z34 = z34 << 2
290# asm 1: vshl.i32 >5z34=reg128#15,<z34=reg128#6,#2
291# asm 2: vshl.i32 >5z34=q14,<z34=q5,#2
292vshl.i32 q14,q5,#2
293
294# qhasm: 4x 5z12 += z12
295# asm 1: vadd.i32 >5z12=reg128#14,<5z12=reg128#14,<z12=reg128#5
296# asm 2: vadd.i32 >5z12=q13,<5z12=q13,<z12=q4
297vadd.i32 q13,q13,q4
298
299# qhasm: 4x 5z34 += z34
300# asm 1: vadd.i32 >5z34=reg128#15,<5z34=reg128#15,<z34=reg128#6
301# asm 2: vadd.i32 >5z34=q14,<5z34=q14,<z34=q5
302vadd.i32 q14,q14,q5
303
304# qhasm: new two24
305
306# qhasm: new y0_stack
307
308# qhasm: new y12_stack
309
310# qhasm: new y34_stack
311
312# qhasm: new 5y12_stack
313
314# qhasm: new 5y34_stack
315
316# qhasm: new z0_stack
317
318# qhasm: new z12_stack
319
320# qhasm: new z34_stack
321
322# qhasm: new 5z12_stack
323
324# qhasm: new 5z34_stack
325
326# qhasm: ptr = &two24
327# asm 1: lea >ptr=int32#2,<two24=stack128#1
328# asm 2: lea >ptr=r1,<two24=[sp,#0]
329add r1,sp,#0
330
331# qhasm: mem128[ptr] aligned= u4
332# asm 1: vst1.8 {<u4=reg128#8%bot-<u4=reg128#8%top},[<ptr=int32#2,: 128]
333# asm 2: vst1.8 {<u4=d14-<u4=d15},[<ptr=r1,: 128]
334vst1.8 {d14-d15},[r1,: 128]
335
336# qhasm: r4 = u4
337# asm 1: vmov >r4=reg128#16,<u4=reg128#8
338# asm 2: vmov >r4=q15,<u4=q7
339vmov q15,q7
340
341# qhasm: r0 = u4
342# asm 1: vmov >r0=reg128#8,<u4=reg128#8
343# asm 2: vmov >r0=q7,<u4=q7
344vmov q7,q7
345
346# qhasm: ptr = &y0_stack
347# asm 1: lea >ptr=int32#2,<y0_stack=stack128#2
348# asm 2: lea >ptr=r1,<y0_stack=[sp,#16]
349add r1,sp,#16
350
351# qhasm: mem128[ptr] aligned= y0
352# asm 1: vst1.8 {<y0=reg128#1%bot-<y0=reg128#1%top},[<ptr=int32#2,: 128]
353# asm 2: vst1.8 {<y0=d0-<y0=d1},[<ptr=r1,: 128]
354vst1.8 {d0-d1},[r1,: 128]
355
356# qhasm: ptr = &y12_stack
357# asm 1: lea >ptr=int32#2,<y12_stack=stack128#3
358# asm 2: lea >ptr=r1,<y12_stack=[sp,#32]
359add r1,sp,#32
360
361# qhasm: mem128[ptr] aligned= y12
362# asm 1: vst1.8 {<y12=reg128#2%bot-<y12=reg128#2%top},[<ptr=int32#2,: 128]
363# asm 2: vst1.8 {<y12=d2-<y12=d3},[<ptr=r1,: 128]
364vst1.8 {d2-d3},[r1,: 128]
365
366# qhasm: ptr = &y34_stack
367# asm 1: lea >ptr=int32#2,<y34_stack=stack128#4
368# asm 2: lea >ptr=r1,<y34_stack=[sp,#48]
369add r1,sp,#48
370
371# qhasm: mem128[ptr] aligned= y34
372# asm 1: vst1.8 {<y34=reg128#3%bot-<y34=reg128#3%top},[<ptr=int32#2,: 128]
373# asm 2: vst1.8 {<y34=d4-<y34=d5},[<ptr=r1,: 128]
374vst1.8 {d4-d5},[r1,: 128]
375
376# qhasm: ptr = &z0_stack
377# asm 1: lea >ptr=int32#2,<z0_stack=stack128#7
378# asm 2: lea >ptr=r1,<z0_stack=[sp,#96]
379add r1,sp,#96
380
381# qhasm: mem128[ptr] aligned= z0
382# asm 1: vst1.8 {<z0=reg128#4%bot-<z0=reg128#4%top},[<ptr=int32#2,: 128]
383# asm 2: vst1.8 {<z0=d6-<z0=d7},[<ptr=r1,: 128]
384vst1.8 {d6-d7},[r1,: 128]
385
386# qhasm: ptr = &z12_stack
387# asm 1: lea >ptr=int32#2,<z12_stack=stack128#8
388# asm 2: lea >ptr=r1,<z12_stack=[sp,#112]
389add r1,sp,#112
390
391# qhasm: mem128[ptr] aligned= z12
392# asm 1: vst1.8 {<z12=reg128#5%bot-<z12=reg128#5%top},[<ptr=int32#2,: 128]
393# asm 2: vst1.8 {<z12=d8-<z12=d9},[<ptr=r1,: 128]
394vst1.8 {d8-d9},[r1,: 128]
395
396# qhasm: ptr = &z34_stack
397# asm 1: lea >ptr=int32#2,<z34_stack=stack128#9
398# asm 2: lea >ptr=r1,<z34_stack=[sp,#128]
399add r1,sp,#128
400
401# qhasm: mem128[ptr] aligned= z34
402# asm 1: vst1.8 {<z34=reg128#6%bot-<z34=reg128#6%top},[<ptr=int32#2,: 128]
403# asm 2: vst1.8 {<z34=d10-<z34=d11},[<ptr=r1,: 128]
404vst1.8 {d10-d11},[r1,: 128]
405
406# qhasm: ptr = &5y12_stack
407# asm 1: lea >ptr=int32#2,<5y12_stack=stack128#5
408# asm 2: lea >ptr=r1,<5y12_stack=[sp,#64]
409add r1,sp,#64
410
411# qhasm: mem128[ptr] aligned= 5y12
412# asm 1: vst1.8 {<5y12=reg128#12%bot-<5y12=reg128#12%top},[<ptr=int32#2,: 128]
413# asm 2: vst1.8 {<5y12=d22-<5y12=d23},[<ptr=r1,: 128]
414vst1.8 {d22-d23},[r1,: 128]
415
416# qhasm: ptr = &5y34_stack
417# asm 1: lea >ptr=int32#2,<5y34_stack=stack128#6
418# asm 2: lea >ptr=r1,<5y34_stack=[sp,#80]
419add r1,sp,#80
420
421# qhasm: mem128[ptr] aligned= 5y34
422# asm 1: vst1.8 {<5y34=reg128#13%bot-<5y34=reg128#13%top},[<ptr=int32#2,: 128]
423# asm 2: vst1.8 {<5y34=d24-<5y34=d25},[<ptr=r1,: 128]
424vst1.8 {d24-d25},[r1,: 128]
425
426# qhasm: ptr = &5z12_stack
427# asm 1: lea >ptr=int32#2,<5z12_stack=stack128#10
428# asm 2: lea >ptr=r1,<5z12_stack=[sp,#144]
429add r1,sp,#144
430
431# qhasm: mem128[ptr] aligned= 5z12
432# asm 1: vst1.8 {<5z12=reg128#14%bot-<5z12=reg128#14%top},[<ptr=int32#2,: 128]
433# asm 2: vst1.8 {<5z12=d26-<5z12=d27},[<ptr=r1,: 128]
434vst1.8 {d26-d27},[r1,: 128]
435
436# qhasm: ptr = &5z34_stack
437# asm 1: lea >ptr=int32#2,<5z34_stack=stack128#11
438# asm 2: lea >ptr=r1,<5z34_stack=[sp,#160]
439add r1,sp,#160
440
441# qhasm: mem128[ptr] aligned= 5z34
442# asm 1: vst1.8 {<5z34=reg128#15%bot-<5z34=reg128#15%top},[<ptr=int32#2,: 128]
443# asm 2: vst1.8 {<5z34=d28-<5z34=d29},[<ptr=r1,: 128]
444vst1.8 {d28-d29},[r1,: 128]
445
446# qhasm:                       unsigned>? len - 64
447# asm 1: cmp <len=int32#4,#64
448# asm 2: cmp <len=r3,#64
449cmp r3,#64
450
451# qhasm: goto below64bytes if !unsigned>
452bls ._below64bytes
453
454# qhasm: input_2 += 32
455# asm 1: add >input_2=int32#2,<input_2=int32#3,#32
456# asm 2: add >input_2=r1,<input_2=r2,#32
457add r1,r2,#32
458
459# qhasm: mainloop2:
460._mainloop2:
461
462# qhasm:   c01 = mem128[input_2];input_2+=16
463# asm 1: vld1.8 {>c01=reg128#1%bot->c01=reg128#1%top},[<input_2=int32#2]!
464# asm 2: vld1.8 {>c01=d0->c01=d1},[<input_2=r1]!
465vld1.8 {d0-d1},[r1]!
466
467# qhasm:   c23 = mem128[input_2];input_2+=16
468# asm 1: vld1.8 {>c23=reg128#2%bot->c23=reg128#2%top},[<input_2=int32#2]!
469# asm 2: vld1.8 {>c23=d2->c23=d3},[<input_2=r1]!
470vld1.8 {d2-d3},[r1]!
471
472# qhasm: r4[0,1] += x01[0] unsigned*  z34[2];  r4[2,3] += x01[1] unsigned*  z34[3]
473# asm 1: vmlal.u32 <r4=reg128#16,<x01=reg128#9%bot,<z34=reg128#6%top
474# asm 2: vmlal.u32 <r4=q15,<x01=d16,<z34=d11
475vmlal.u32 q15,d16,d11
476
477# qhasm:   ptr = &z12_stack
478# asm 1: lea >ptr=int32#3,<z12_stack=stack128#8
479# asm 2: lea >ptr=r2,<z12_stack=[sp,#112]
480add r2,sp,#112
481
482# qhasm:   z12 aligned= mem128[ptr]
483# asm 1: vld1.8 {>z12=reg128#3%bot->z12=reg128#3%top},[<ptr=int32#3,: 128]
484# asm 2: vld1.8 {>z12=d4->z12=d5},[<ptr=r2,: 128]
485vld1.8 {d4-d5},[r2,: 128]
486
487# qhasm: r4[0,1] += x01[2] unsigned* z34[0];  r4[2,3] += x01[3] unsigned* z34[1]
488# asm 1: vmlal.u32 <r4=reg128#16,<x01=reg128#9%top,<z34=reg128#6%bot
489# asm 2: vmlal.u32 <r4=q15,<x01=d17,<z34=d10
490vmlal.u32 q15,d17,d10
491
492# qhasm:   ptr = &z0_stack
493# asm 1: lea >ptr=int32#3,<z0_stack=stack128#7
494# asm 2: lea >ptr=r2,<z0_stack=[sp,#96]
495add r2,sp,#96
496
497# qhasm:   z0 aligned= mem128[ptr]
498# asm 1: vld1.8 {>z0=reg128#4%bot->z0=reg128#4%top},[<ptr=int32#3,: 128]
499# asm 2: vld1.8 {>z0=d6->z0=d7},[<ptr=r2,: 128]
500vld1.8 {d6-d7},[r2,: 128]
501
502# qhasm: r4[0,1] += x23[0] unsigned* z12[2];  r4[2,3] += x23[1] unsigned* z12[3]
503# asm 1: vmlal.u32 <r4=reg128#16,<x23=reg128#10%bot,<z12=reg128#3%top
504# asm 2: vmlal.u32 <r4=q15,<x23=d18,<z12=d5
505vmlal.u32 q15,d18,d5
506
507# qhasm:   c01 c23 = c01[0]c01[1]c01[2]c23[2]c23[0]c23[1]c01[3]c23[3]
508# asm 1: vtrn.32 <c01=reg128#1%top,<c23=reg128#2%top
509# asm 2: vtrn.32 <c01=d1,<c23=d3
510vtrn.32 d1,d3
511
512# qhasm: r4[0,1] += x23[2] unsigned* z12[0];  r4[2,3] += x23[3] unsigned* z12[1]
513# asm 1: vmlal.u32 <r4=reg128#16,<x23=reg128#10%top,<z12=reg128#3%bot
514# asm 2: vmlal.u32 <r4=q15,<x23=d19,<z12=d4
515vmlal.u32 q15,d19,d4
516
517# qhasm: r4[0,1] +=  x4[0] unsigned* z0[0];  r4[2,3] +=  x4[1] unsigned* z0[1]
518# asm 1: vmlal.u32 <r4=reg128#16,<x4=reg128#11%bot,<z0=reg128#4%bot
519# asm 2: vmlal.u32 <r4=q15,<x4=d20,<z0=d6
520vmlal.u32 q15,d20,d6
521
522# qhasm: r3[0,1] = c23[2]<<18; r3[2,3] = c23[3]<<18
523# asm 1: vshll.u32 >r3=reg128#5,<c23=reg128#2%top,#18
524# asm 2: vshll.u32 >r3=q4,<c23=d3,#18
525vshll.u32 q4,d3,#18
526
527# qhasm:   c01 c23 = c01[0]c23[0]c01[2]c01[3]c01[1]c23[1]c23[2]c23[3]
528# asm 1: vtrn.32 <c01=reg128#1%bot,<c23=reg128#2%bot
529# asm 2: vtrn.32 <c01=d0,<c23=d2
530vtrn.32 d0,d2
531
532# qhasm: r3[0,1] += x01[0] unsigned* z34[0];   r3[2,3] += x01[1] unsigned* z34[1]
533# asm 1: vmlal.u32 <r3=reg128#5,<x01=reg128#9%bot,<z34=reg128#6%bot
534# asm 2: vmlal.u32 <r3=q4,<x01=d16,<z34=d10
535vmlal.u32 q4,d16,d10
536
537# qhasm: r3[0,1] += x01[2] unsigned* z12[2];   r3[2,3] += x01[3] unsigned* z12[3]
538# asm 1: vmlal.u32 <r3=reg128#5,<x01=reg128#9%top,<z12=reg128#3%top
539# asm 2: vmlal.u32 <r3=q4,<x01=d17,<z12=d5
540vmlal.u32 q4,d17,d5
541
542# qhasm:   r0 = r0[1]c01[0]r0[2,3]
543# asm 1: vext.32 <r0=reg128#8%bot,<r0=reg128#8%bot,<c01=reg128#1%bot,#1
544# asm 2: vext.32 <r0=d14,<r0=d14,<c01=d0,#1
545vext.32 d14,d14,d0,#1
546
547# qhasm: r3[0,1] += x23[0] unsigned* z12[0];   r3[2,3] += x23[1] unsigned* z12[1]
548# asm 1: vmlal.u32 <r3=reg128#5,<x23=reg128#10%bot,<z12=reg128#3%bot
549# asm 2: vmlal.u32 <r3=q4,<x23=d18,<z12=d4
550vmlal.u32 q4,d18,d4
551
552# qhasm: 								input_2 -= 64
553# asm 1: sub >input_2=int32#2,<input_2=int32#2,#64
554# asm 2: sub >input_2=r1,<input_2=r1,#64
555sub r1,r1,#64
556
557# qhasm: r3[0,1] += x23[2] unsigned* z0[0];   r3[2,3] += x23[3] unsigned* z0[1]
558# asm 1: vmlal.u32 <r3=reg128#5,<x23=reg128#10%top,<z0=reg128#4%bot
559# asm 2: vmlal.u32 <r3=q4,<x23=d19,<z0=d6
560vmlal.u32 q4,d19,d6
561
562# qhasm:   ptr = &5z34_stack
563# asm 1: lea >ptr=int32#3,<5z34_stack=stack128#11
564# asm 2: lea >ptr=r2,<5z34_stack=[sp,#160]
565add r2,sp,#160
566
567# qhasm:   5z34 aligned= mem128[ptr]
568# asm 1: vld1.8 {>5z34=reg128#6%bot->5z34=reg128#6%top},[<ptr=int32#3,: 128]
569# asm 2: vld1.8 {>5z34=d10->5z34=d11},[<ptr=r2,: 128]
570vld1.8 {d10-d11},[r2,: 128]
571
572# qhasm: r3[0,1] +=  x4[0] unsigned*  5z34[2]; r3[2,3] +=  x4[1] unsigned*  5z34[3]
573# asm 1: vmlal.u32 <r3=reg128#5,<x4=reg128#11%bot,<5z34=reg128#6%top
574# asm 2: vmlal.u32 <r3=q4,<x4=d20,<5z34=d11
575vmlal.u32 q4,d20,d11
576
577# qhasm:   r0 = r0[1]r0[0]r0[3]r0[2]
578# asm 1: vrev64.i32 >r0=reg128#8,<r0=reg128#8
579# asm 2: vrev64.i32 >r0=q7,<r0=q7
580vrev64.i32 q7,q7
581
582# qhasm:   r2[0,1] = c01[2]<<12; r2[2,3] = c01[3]<<12
583# asm 1: vshll.u32 >r2=reg128#14,<c01=reg128#1%top,#12
584# asm 2: vshll.u32 >r2=q13,<c01=d1,#12
585vshll.u32 q13,d1,#12
586
587# qhasm:   		d01 = mem128[input_2];input_2+=16
588# asm 1: vld1.8 {>d01=reg128#12%bot->d01=reg128#12%top},[<input_2=int32#2]!
589# asm 2: vld1.8 {>d01=d22->d01=d23},[<input_2=r1]!
590vld1.8 {d22-d23},[r1]!
591
592# qhasm: r2[0,1] += x01[0] unsigned* z12[2];   r2[2,3] += x01[1] unsigned* z12[3]
593# asm 1: vmlal.u32 <r2=reg128#14,<x01=reg128#9%bot,<z12=reg128#3%top
594# asm 2: vmlal.u32 <r2=q13,<x01=d16,<z12=d5
595vmlal.u32 q13,d16,d5
596
597# qhasm: r2[0,1] += x01[2] unsigned* z12[0];   r2[2,3] += x01[3] unsigned* z12[1]
598# asm 1: vmlal.u32 <r2=reg128#14,<x01=reg128#9%top,<z12=reg128#3%bot
599# asm 2: vmlal.u32 <r2=q13,<x01=d17,<z12=d4
600vmlal.u32 q13,d17,d4
601
602# qhasm: r2[0,1] += x23[0] unsigned* z0[0];   r2[2,3] += x23[1] unsigned* z0[1]
603# asm 1: vmlal.u32 <r2=reg128#14,<x23=reg128#10%bot,<z0=reg128#4%bot
604# asm 2: vmlal.u32 <r2=q13,<x23=d18,<z0=d6
605vmlal.u32 q13,d18,d6
606
607# qhasm: r2[0,1] += x23[2] unsigned*  5z34[2]; r2[2,3] += x23[3] unsigned*  5z34[3]
608# asm 1: vmlal.u32 <r2=reg128#14,<x23=reg128#10%top,<5z34=reg128#6%top
609# asm 2: vmlal.u32 <r2=q13,<x23=d19,<5z34=d11
610vmlal.u32 q13,d19,d11
611
612# qhasm: r2[0,1] +=  x4[0] unsigned* 5z34[0]; r2[2,3] +=  x4[1] unsigned* 5z34[1]
613# asm 1: vmlal.u32 <r2=reg128#14,<x4=reg128#11%bot,<5z34=reg128#6%bot
614# asm 2: vmlal.u32 <r2=q13,<x4=d20,<5z34=d10
615vmlal.u32 q13,d20,d10
616
617# qhasm:   r0 = r0[0,1]c01[1]r0[2]
618# asm 1: vext.32 <r0=reg128#8%top,<c01=reg128#1%bot,<r0=reg128#8%top,#1
619# asm 2: vext.32 <r0=d15,<c01=d0,<r0=d15,#1
620vext.32 d15,d0,d15,#1
621
622# qhasm:   r1[0,1] = c23[0]<<6; r1[2,3] = c23[1]<<6
623# asm 1: vshll.u32 >r1=reg128#15,<c23=reg128#2%bot,#6
624# asm 2: vshll.u32 >r1=q14,<c23=d2,#6
625vshll.u32 q14,d2,#6
626
627# qhasm: r1[0,1] += x01[0] unsigned* z12[0];   r1[2,3] += x01[1] unsigned* z12[1]
628# asm 1: vmlal.u32 <r1=reg128#15,<x01=reg128#9%bot,<z12=reg128#3%bot
629# asm 2: vmlal.u32 <r1=q14,<x01=d16,<z12=d4
630vmlal.u32 q14,d16,d4
631
632# qhasm: r1[0,1] += x01[2] unsigned* z0[0];   r1[2,3] += x01[3] unsigned* z0[1]
633# asm 1: vmlal.u32 <r1=reg128#15,<x01=reg128#9%top,<z0=reg128#4%bot
634# asm 2: vmlal.u32 <r1=q14,<x01=d17,<z0=d6
635vmlal.u32 q14,d17,d6
636
637# qhasm: r1[0,1] += x23[0] unsigned*  5z34[2]; r1[2,3] += x23[1] unsigned*  5z34[3]
638# asm 1: vmlal.u32 <r1=reg128#15,<x23=reg128#10%bot,<5z34=reg128#6%top
639# asm 2: vmlal.u32 <r1=q14,<x23=d18,<5z34=d11
640vmlal.u32 q14,d18,d11
641
642# qhasm: r1[0,1] += x23[2] unsigned* 5z34[0]; r1[2,3] += x23[3] unsigned* 5z34[1]
643# asm 1: vmlal.u32 <r1=reg128#15,<x23=reg128#10%top,<5z34=reg128#6%bot
644# asm 2: vmlal.u32 <r1=q14,<x23=d19,<5z34=d10
645vmlal.u32 q14,d19,d10
646
647# qhasm: ptr = &5z12_stack
648# asm 1: lea >ptr=int32#3,<5z12_stack=stack128#10
649# asm 2: lea >ptr=r2,<5z12_stack=[sp,#144]
650add r2,sp,#144
651
652# qhasm: 5z12 aligned= mem128[ptr]
653# asm 1: vld1.8 {>5z12=reg128#1%bot->5z12=reg128#1%top},[<ptr=int32#3,: 128]
654# asm 2: vld1.8 {>5z12=d0->5z12=d1},[<ptr=r2,: 128]
655vld1.8 {d0-d1},[r2,: 128]
656
657# qhasm: r1[0,1] +=  x4[0] unsigned* 5z12[2]; r1[2,3] +=  x4[1] unsigned* 5z12[3]
658# asm 1: vmlal.u32 <r1=reg128#15,<x4=reg128#11%bot,<5z12=reg128#1%top
659# asm 2: vmlal.u32 <r1=q14,<x4=d20,<5z12=d1
660vmlal.u32 q14,d20,d1
661
662# qhasm:   		d23 = mem128[input_2];input_2+=16
663# asm 1: vld1.8 {>d23=reg128#2%bot->d23=reg128#2%top},[<input_2=int32#2]!
664# asm 2: vld1.8 {>d23=d2->d23=d3},[<input_2=r1]!
665vld1.8 {d2-d3},[r1]!
666
667# qhasm:   		input_2 += 32
668# asm 1: add >input_2=int32#2,<input_2=int32#2,#32
669# asm 2: add >input_2=r1,<input_2=r1,#32
670add r1,r1,#32
671
672# qhasm: r0[0,1] +=  x4[0] unsigned* 5z12[0]; r0[2,3] +=  x4[1] unsigned* 5z12[1]
673# asm 1: vmlal.u32 <r0=reg128#8,<x4=reg128#11%bot,<5z12=reg128#1%bot
674# asm 2: vmlal.u32 <r0=q7,<x4=d20,<5z12=d0
675vmlal.u32 q7,d20,d0
676
677# qhasm: r0[0,1] += x23[0] unsigned* 5z34[0]; r0[2,3] += x23[1] unsigned* 5z34[1]
678# asm 1: vmlal.u32 <r0=reg128#8,<x23=reg128#10%bot,<5z34=reg128#6%bot
679# asm 2: vmlal.u32 <r0=q7,<x23=d18,<5z34=d10
680vmlal.u32 q7,d18,d10
681
682# qhasm:   		d01 d23 = d01[0] d23[0] d01[1] d23[1]
683# asm 1: vswp <d23=reg128#2%bot,<d01=reg128#12%top
684# asm 2: vswp <d23=d2,<d01=d23
685vswp d2,d23
686
687# qhasm: r0[0,1] += x23[2] unsigned* 5z12[2]; r0[2,3] += x23[3] unsigned* 5z12[3]
688# asm 1: vmlal.u32 <r0=reg128#8,<x23=reg128#10%top,<5z12=reg128#1%top
689# asm 2: vmlal.u32 <r0=q7,<x23=d19,<5z12=d1
690vmlal.u32 q7,d19,d1
691
692# qhasm: r0[0,1] += x01[0] unsigned* z0[0];   r0[2,3] += x01[1] unsigned* z0[1]
693# asm 1: vmlal.u32 <r0=reg128#8,<x01=reg128#9%bot,<z0=reg128#4%bot
694# asm 2: vmlal.u32 <r0=q7,<x01=d16,<z0=d6
695vmlal.u32 q7,d16,d6
696
697# qhasm:   		new mid
698
699# qhasm:   		2x v4 = d23 unsigned>> 40
700# asm 1: vshr.u64 >v4=reg128#4,<d23=reg128#2,#40
701# asm 2: vshr.u64 >v4=q3,<d23=q1,#40
702vshr.u64 q3,q1,#40
703
704# qhasm:   		mid = d01[1]d23[0] mid[2,3]
705# asm 1: vext.32 <mid=reg128#1%bot,<d01=reg128#12%bot,<d23=reg128#2%bot,#1
706# asm 2: vext.32 <mid=d0,<d01=d22,<d23=d2,#1
707vext.32 d0,d22,d2,#1
708
709# qhasm:   		new v23
710
711# qhasm:   		v23[2] = d23[0,1] unsigned>> 14; v23[3] = d23[2,3] unsigned>> 14
712# asm 1: vshrn.u64 <v23=reg128#10%top,<d23=reg128#2,#14
713# asm 2: vshrn.u64 <v23=d19,<d23=q1,#14
714vshrn.u64 d19,q1,#14
715
716# qhasm:   		mid = mid[0,1] d01[3]d23[2]
717# asm 1: vext.32 <mid=reg128#1%top,<d01=reg128#12%top,<d23=reg128#2%top,#1
718# asm 2: vext.32 <mid=d1,<d01=d23,<d23=d3,#1
719vext.32 d1,d23,d3,#1
720
721# qhasm:   		new v01
722
723# qhasm:   		v01[2] = d01[0,1] unsigned>> 26; v01[3] = d01[2,3] unsigned>> 26
724# asm 1: vshrn.u64 <v01=reg128#11%top,<d01=reg128#12,#26
725# asm 2: vshrn.u64 <v01=d21,<d01=q11,#26
726vshrn.u64 d21,q11,#26
727
728# qhasm:   		v01 = d01[1]d01[0] v01[2,3]
729# asm 1: vext.32 <v01=reg128#11%bot,<d01=reg128#12%bot,<d01=reg128#12%bot,#1
730# asm 2: vext.32 <v01=d20,<d01=d22,<d01=d22,#1
731vext.32 d20,d22,d22,#1
732
733# qhasm: r0[0,1] += x01[2] unsigned*  5z34[2]; r0[2,3] += x01[3] unsigned*  5z34[3]
734# asm 1: vmlal.u32 <r0=reg128#8,<x01=reg128#9%top,<5z34=reg128#6%top
735# asm 2: vmlal.u32 <r0=q7,<x01=d17,<5z34=d11
736vmlal.u32 q7,d17,d11
737
738# qhasm:   		v01 = v01[1]d01[2] v01[2,3]
739# asm 1: vext.32 <v01=reg128#11%bot,<v01=reg128#11%bot,<d01=reg128#12%top,#1
740# asm 2: vext.32 <v01=d20,<v01=d20,<d01=d23,#1
741vext.32 d20,d20,d23,#1
742
743# qhasm:   		v23[0] = mid[0,1] unsigned>> 20; v23[1] = mid[2,3] unsigned>> 20
744# asm 1: vshrn.u64 <v23=reg128#10%bot,<mid=reg128#1,#20
745# asm 2: vshrn.u64 <v23=d18,<mid=q0,#20
746vshrn.u64 d18,q0,#20
747
748# qhasm:   		v4 = v4[0]v4[2]v4[1]v4[3]
749# asm 1: vtrn.32 <v4=reg128#4%bot,<v4=reg128#4%top
750# asm 2: vtrn.32 <v4=d6,<v4=d7
751vtrn.32 d6,d7
752
753# qhasm:   		4x v01 &= 0x03ffffff
754# asm 1: vand.i32 <v01=reg128#11,#0x03ffffff
755# asm 2: vand.i32 <v01=q10,#0x03ffffff
756vand.i32 q10,#0x03ffffff
757
758# qhasm: ptr = &y34_stack
759# asm 1: lea >ptr=int32#3,<y34_stack=stack128#4
760# asm 2: lea >ptr=r2,<y34_stack=[sp,#48]
761add r2,sp,#48
762
763# qhasm: y34 aligned= mem128[ptr]
764# asm 1: vld1.8 {>y34=reg128#3%bot->y34=reg128#3%top},[<ptr=int32#3,: 128]
765# asm 2: vld1.8 {>y34=d4->y34=d5},[<ptr=r2,: 128]
766vld1.8 {d4-d5},[r2,: 128]
767
768# qhasm:   		4x v23 &= 0x03ffffff
769# asm 1: vand.i32 <v23=reg128#10,#0x03ffffff
770# asm 2: vand.i32 <v23=q9,#0x03ffffff
771vand.i32 q9,#0x03ffffff
772
773# qhasm: ptr = &y12_stack
774# asm 1: lea >ptr=int32#3,<y12_stack=stack128#3
775# asm 2: lea >ptr=r2,<y12_stack=[sp,#32]
776add r2,sp,#32
777
778# qhasm: y12 aligned= mem128[ptr]
779# asm 1: vld1.8 {>y12=reg128#2%bot->y12=reg128#2%top},[<ptr=int32#3,: 128]
780# asm 2: vld1.8 {>y12=d2->y12=d3},[<ptr=r2,: 128]
781vld1.8 {d2-d3},[r2,: 128]
782
783# qhasm:   		4x v4 |= 0x01000000
784# asm 1: vorr.i32 <v4=reg128#4,#0x01000000
785# asm 2: vorr.i32 <v4=q3,#0x01000000
786vorr.i32 q3,#0x01000000
787
788# qhasm: ptr = &y0_stack
789# asm 1: lea >ptr=int32#3,<y0_stack=stack128#2
790# asm 2: lea >ptr=r2,<y0_stack=[sp,#16]
791add r2,sp,#16
792
793# qhasm: y0 aligned= mem128[ptr]
794# asm 1: vld1.8 {>y0=reg128#1%bot->y0=reg128#1%top},[<ptr=int32#3,: 128]
795# asm 2: vld1.8 {>y0=d0->y0=d1},[<ptr=r2,: 128]
796vld1.8 {d0-d1},[r2,: 128]
797
798# qhasm: r4[0,1] += v01[0] unsigned*  y34[2];  r4[2,3] += v01[1] unsigned*  y34[3]
799# asm 1: vmlal.u32 <r4=reg128#16,<v01=reg128#11%bot,<y34=reg128#3%top
800# asm 2: vmlal.u32 <r4=q15,<v01=d20,<y34=d5
801vmlal.u32 q15,d20,d5
802
803# qhasm: r4[0,1] += v01[2] unsigned* y34[0];  r4[2,3] += v01[3] unsigned* y34[1]
804# asm 1: vmlal.u32 <r4=reg128#16,<v01=reg128#11%top,<y34=reg128#3%bot
805# asm 2: vmlal.u32 <r4=q15,<v01=d21,<y34=d4
806vmlal.u32 q15,d21,d4
807
808# qhasm: r4[0,1] += v23[0] unsigned* y12[2];  r4[2,3] += v23[1] unsigned* y12[3]
809# asm 1: vmlal.u32 <r4=reg128#16,<v23=reg128#10%bot,<y12=reg128#2%top
810# asm 2: vmlal.u32 <r4=q15,<v23=d18,<y12=d3
811vmlal.u32 q15,d18,d3
812
813# qhasm: r4[0,1] += v23[2] unsigned* y12[0];  r4[2,3] += v23[3] unsigned* y12[1]
814# asm 1: vmlal.u32 <r4=reg128#16,<v23=reg128#10%top,<y12=reg128#2%bot
815# asm 2: vmlal.u32 <r4=q15,<v23=d19,<y12=d2
816vmlal.u32 q15,d19,d2
817
818# qhasm: r4[0,1] +=  v4[0] unsigned* y0[0];  r4[2,3] +=  v4[1] unsigned* y0[1]
819# asm 1: vmlal.u32 <r4=reg128#16,<v4=reg128#4%bot,<y0=reg128#1%bot
820# asm 2: vmlal.u32 <r4=q15,<v4=d6,<y0=d0
821vmlal.u32 q15,d6,d0
822
823# qhasm: ptr = &5y34_stack
824# asm 1: lea >ptr=int32#3,<5y34_stack=stack128#6
825# asm 2: lea >ptr=r2,<5y34_stack=[sp,#80]
826add r2,sp,#80
827
828# qhasm: 5y34 aligned= mem128[ptr]
829# asm 1: vld1.8 {>5y34=reg128#13%bot->5y34=reg128#13%top},[<ptr=int32#3,: 128]
830# asm 2: vld1.8 {>5y34=d24->5y34=d25},[<ptr=r2,: 128]
831vld1.8 {d24-d25},[r2,: 128]
832
833# qhasm: r3[0,1] += v01[0] unsigned* y34[0];   r3[2,3] += v01[1] unsigned* y34[1]
834# asm 1: vmlal.u32 <r3=reg128#5,<v01=reg128#11%bot,<y34=reg128#3%bot
835# asm 2: vmlal.u32 <r3=q4,<v01=d20,<y34=d4
836vmlal.u32 q4,d20,d4
837
838# qhasm: r3[0,1] += v01[2] unsigned* y12[2];   r3[2,3] += v01[3] unsigned* y12[3]
839# asm 1: vmlal.u32 <r3=reg128#5,<v01=reg128#11%top,<y12=reg128#2%top
840# asm 2: vmlal.u32 <r3=q4,<v01=d21,<y12=d3
841vmlal.u32 q4,d21,d3
842
843# qhasm: r3[0,1] += v23[0] unsigned* y12[0];   r3[2,3] += v23[1] unsigned* y12[1]
844# asm 1: vmlal.u32 <r3=reg128#5,<v23=reg128#10%bot,<y12=reg128#2%bot
845# asm 2: vmlal.u32 <r3=q4,<v23=d18,<y12=d2
846vmlal.u32 q4,d18,d2
847
848# qhasm: r3[0,1] += v23[2] unsigned* y0[0];   r3[2,3] += v23[3] unsigned* y0[1]
849# asm 1: vmlal.u32 <r3=reg128#5,<v23=reg128#10%top,<y0=reg128#1%bot
850# asm 2: vmlal.u32 <r3=q4,<v23=d19,<y0=d0
851vmlal.u32 q4,d19,d0
852
853# qhasm: r3[0,1] +=  v4[0] unsigned*  5y34[2]; r3[2,3] +=  v4[1] unsigned*  5y34[3]
854# asm 1: vmlal.u32 <r3=reg128#5,<v4=reg128#4%bot,<5y34=reg128#13%top
855# asm 2: vmlal.u32 <r3=q4,<v4=d6,<5y34=d25
856vmlal.u32 q4,d6,d25
857
858# qhasm: ptr = &5y12_stack
859# asm 1: lea >ptr=int32#3,<5y12_stack=stack128#5
860# asm 2: lea >ptr=r2,<5y12_stack=[sp,#64]
861add r2,sp,#64
862
863# qhasm: 5y12 aligned= mem128[ptr]
864# asm 1: vld1.8 {>5y12=reg128#12%bot->5y12=reg128#12%top},[<ptr=int32#3,: 128]
865# asm 2: vld1.8 {>5y12=d22->5y12=d23},[<ptr=r2,: 128]
866vld1.8 {d22-d23},[r2,: 128]
867
868# qhasm: r0[0,1] +=  v4[0] unsigned* 5y12[0]; r0[2,3] +=  v4[1] unsigned* 5y12[1]
869# asm 1: vmlal.u32 <r0=reg128#8,<v4=reg128#4%bot,<5y12=reg128#12%bot
870# asm 2: vmlal.u32 <r0=q7,<v4=d6,<5y12=d22
871vmlal.u32 q7,d6,d22
872
873# qhasm: r0[0,1] += v23[0] unsigned* 5y34[0]; r0[2,3] += v23[1] unsigned* 5y34[1]
874# asm 1: vmlal.u32 <r0=reg128#8,<v23=reg128#10%bot,<5y34=reg128#13%bot
875# asm 2: vmlal.u32 <r0=q7,<v23=d18,<5y34=d24
876vmlal.u32 q7,d18,d24
877
878# qhasm: r0[0,1] += v23[2] unsigned* 5y12[2]; r0[2,3] += v23[3] unsigned* 5y12[3]
879# asm 1: vmlal.u32 <r0=reg128#8,<v23=reg128#10%top,<5y12=reg128#12%top
880# asm 2: vmlal.u32 <r0=q7,<v23=d19,<5y12=d23
881vmlal.u32 q7,d19,d23
882
883# qhasm: r0[0,1] += v01[0] unsigned* y0[0];   r0[2,3] += v01[1] unsigned* y0[1]
884# asm 1: vmlal.u32 <r0=reg128#8,<v01=reg128#11%bot,<y0=reg128#1%bot
885# asm 2: vmlal.u32 <r0=q7,<v01=d20,<y0=d0
886vmlal.u32 q7,d20,d0
887
888# qhasm: r0[0,1] += v01[2] unsigned*  5y34[2]; r0[2,3] += v01[3] unsigned*  5y34[3]
889# asm 1: vmlal.u32 <r0=reg128#8,<v01=reg128#11%top,<5y34=reg128#13%top
890# asm 2: vmlal.u32 <r0=q7,<v01=d21,<5y34=d25
891vmlal.u32 q7,d21,d25
892
893# qhasm: r1[0,1] += v01[0] unsigned* y12[0];   r1[2,3] += v01[1] unsigned* y12[1]
894# asm 1: vmlal.u32 <r1=reg128#15,<v01=reg128#11%bot,<y12=reg128#2%bot
895# asm 2: vmlal.u32 <r1=q14,<v01=d20,<y12=d2
896vmlal.u32 q14,d20,d2
897
898# qhasm: r1[0,1] += v01[2] unsigned* y0[0];   r1[2,3] += v01[3] unsigned* y0[1]
899# asm 1: vmlal.u32 <r1=reg128#15,<v01=reg128#11%top,<y0=reg128#1%bot
900# asm 2: vmlal.u32 <r1=q14,<v01=d21,<y0=d0
901vmlal.u32 q14,d21,d0
902
903# qhasm: r1[0,1] += v23[0] unsigned*  5y34[2]; r1[2,3] += v23[1] unsigned*  5y34[3]
904# asm 1: vmlal.u32 <r1=reg128#15,<v23=reg128#10%bot,<5y34=reg128#13%top
905# asm 2: vmlal.u32 <r1=q14,<v23=d18,<5y34=d25
906vmlal.u32 q14,d18,d25
907
908# qhasm: r1[0,1] += v23[2] unsigned* 5y34[0]; r1[2,3] += v23[3] unsigned* 5y34[1]
909# asm 1: vmlal.u32 <r1=reg128#15,<v23=reg128#10%top,<5y34=reg128#13%bot
910# asm 2: vmlal.u32 <r1=q14,<v23=d19,<5y34=d24
911vmlal.u32 q14,d19,d24
912
913# qhasm: r1[0,1] +=  v4[0] unsigned* 5y12[2]; r1[2,3] +=  v4[1] unsigned* 5y12[3]
914# asm 1: vmlal.u32 <r1=reg128#15,<v4=reg128#4%bot,<5y12=reg128#12%top
915# asm 2: vmlal.u32 <r1=q14,<v4=d6,<5y12=d23
916vmlal.u32 q14,d6,d23
917
918# qhasm: r2[0,1] += v01[0] unsigned* y12[2];   r2[2,3] += v01[1] unsigned* y12[3]
919# asm 1: vmlal.u32 <r2=reg128#14,<v01=reg128#11%bot,<y12=reg128#2%top
920# asm 2: vmlal.u32 <r2=q13,<v01=d20,<y12=d3
921vmlal.u32 q13,d20,d3
922
923# qhasm: r2[0,1] += v01[2] unsigned* y12[0];   r2[2,3] += v01[3] unsigned* y12[1]
924# asm 1: vmlal.u32 <r2=reg128#14,<v01=reg128#11%top,<y12=reg128#2%bot
925# asm 2: vmlal.u32 <r2=q13,<v01=d21,<y12=d2
926vmlal.u32 q13,d21,d2
927
928# qhasm: r2[0,1] += v23[0] unsigned* y0[0];   r2[2,3] += v23[1] unsigned* y0[1]
929# asm 1: vmlal.u32 <r2=reg128#14,<v23=reg128#10%bot,<y0=reg128#1%bot
930# asm 2: vmlal.u32 <r2=q13,<v23=d18,<y0=d0
931vmlal.u32 q13,d18,d0
932
933# qhasm: r2[0,1] += v23[2] unsigned*  5y34[2]; r2[2,3] += v23[3] unsigned*  5y34[3]
934# asm 1: vmlal.u32 <r2=reg128#14,<v23=reg128#10%top,<5y34=reg128#13%top
935# asm 2: vmlal.u32 <r2=q13,<v23=d19,<5y34=d25
936vmlal.u32 q13,d19,d25
937
938# qhasm: r2[0,1] +=  v4[0] unsigned* 5y34[0]; r2[2,3] +=  v4[1] unsigned* 5y34[1]
939# asm 1: vmlal.u32 <r2=reg128#14,<v4=reg128#4%bot,<5y34=reg128#13%bot
940# asm 2: vmlal.u32 <r2=q13,<v4=d6,<5y34=d24
941vmlal.u32 q13,d6,d24
942
943# qhasm: 				ptr = &two24
944# asm 1: lea >ptr=int32#3,<two24=stack128#1
945# asm 2: lea >ptr=r2,<two24=[sp,#0]
946add r2,sp,#0
947
948# qhasm: 2x t1 = r0 unsigned>> 26
949# asm 1: vshr.u64 >t1=reg128#4,<r0=reg128#8,#26
950# asm 2: vshr.u64 >t1=q3,<r0=q7,#26
951vshr.u64 q3,q7,#26
952
953# qhasm:   				len -= 64
954# asm 1: sub >len=int32#4,<len=int32#4,#64
955# asm 2: sub >len=r3,<len=r3,#64
956sub r3,r3,#64
957
958# qhasm:    r0 &= mask
959# asm 1: vand >r0=reg128#6,<r0=reg128#8,<mask=reg128#7
960# asm 2: vand >r0=q5,<r0=q7,<mask=q6
961vand q5,q7,q6
962
963# qhasm: 2x r1 += t1
964# asm 1: vadd.i64 >r1=reg128#4,<r1=reg128#15,<t1=reg128#4
965# asm 2: vadd.i64 >r1=q3,<r1=q14,<t1=q3
966vadd.i64 q3,q14,q3
967
968# qhasm: 		2x t4 = r3 unsigned>> 26
969# asm 1: vshr.u64 >t4=reg128#8,<r3=reg128#5,#26
970# asm 2: vshr.u64 >t4=q7,<r3=q4,#26
971vshr.u64 q7,q4,#26
972
973# qhasm: 		   r3 &= mask
974# asm 1: vand >r3=reg128#5,<r3=reg128#5,<mask=reg128#7
975# asm 2: vand >r3=q4,<r3=q4,<mask=q6
976vand q4,q4,q6
977
978# qhasm: 		2x x4 = r4 + t4
979# asm 1: vadd.i64 >x4=reg128#8,<r4=reg128#16,<t4=reg128#8
980# asm 2: vadd.i64 >x4=q7,<r4=q15,<t4=q7
981vadd.i64 q7,q15,q7
982
983# qhasm: 				r4 aligned= mem128[ptr]
984# asm 1: vld1.8 {>r4=reg128#16%bot->r4=reg128#16%top},[<ptr=int32#3,: 128]
985# asm 2: vld1.8 {>r4=d30->r4=d31},[<ptr=r2,: 128]
986vld1.8 {d30-d31},[r2,: 128]
987
988# qhasm: 2x t2 = r1 unsigned>> 26
989# asm 1: vshr.u64 >t2=reg128#9,<r1=reg128#4,#26
990# asm 2: vshr.u64 >t2=q8,<r1=q3,#26
991vshr.u64 q8,q3,#26
992
993# qhasm:    r1 &= mask
994# asm 1: vand >r1=reg128#4,<r1=reg128#4,<mask=reg128#7
995# asm 2: vand >r1=q3,<r1=q3,<mask=q6
996vand q3,q3,q6
997
998# qhasm: 		2x t0 = x4 unsigned>> 26
999# asm 1: vshr.u64 >t0=reg128#10,<x4=reg128#8,#26
1000# asm 2: vshr.u64 >t0=q9,<x4=q7,#26
1001vshr.u64 q9,q7,#26
1002
1003# qhasm: 2x r2 += t2
1004# asm 1: vadd.i64 >r2=reg128#9,<r2=reg128#14,<t2=reg128#9
1005# asm 2: vadd.i64 >r2=q8,<r2=q13,<t2=q8
1006vadd.i64 q8,q13,q8
1007
1008# qhasm: 		   x4 &= mask
1009# asm 1: vand >x4=reg128#11,<x4=reg128#8,<mask=reg128#7
1010# asm 2: vand >x4=q10,<x4=q7,<mask=q6
1011vand q10,q7,q6
1012
1013# qhasm: 		2x x01 = r0 + t0
1014# asm 1: vadd.i64 >x01=reg128#6,<r0=reg128#6,<t0=reg128#10
1015# asm 2: vadd.i64 >x01=q5,<r0=q5,<t0=q9
1016vadd.i64 q5,q5,q9
1017
1018# qhasm: 				r0 aligned= mem128[ptr]
1019# asm 1: vld1.8 {>r0=reg128#8%bot->r0=reg128#8%top},[<ptr=int32#3,: 128]
1020# asm 2: vld1.8 {>r0=d14->r0=d15},[<ptr=r2,: 128]
1021vld1.8 {d14-d15},[r2,: 128]
1022
1023# qhasm: 				ptr = &z34_stack
1024# asm 1: lea >ptr=int32#3,<z34_stack=stack128#9
1025# asm 2: lea >ptr=r2,<z34_stack=[sp,#128]
1026add r2,sp,#128
1027
1028# qhasm: 		2x t0 <<= 2
1029# asm 1: vshl.i64 >t0=reg128#10,<t0=reg128#10,#2
1030# asm 2: vshl.i64 >t0=q9,<t0=q9,#2
1031vshl.i64 q9,q9,#2
1032
1033# qhasm: 2x t3 = r2 unsigned>> 26
1034# asm 1: vshr.u64 >t3=reg128#14,<r2=reg128#9,#26
1035# asm 2: vshr.u64 >t3=q13,<r2=q8,#26
1036vshr.u64 q13,q8,#26
1037
1038# qhasm: 		2x x01 += t0
1039# asm 1: vadd.i64 >x01=reg128#15,<x01=reg128#6,<t0=reg128#10
1040# asm 2: vadd.i64 >x01=q14,<x01=q5,<t0=q9
1041vadd.i64 q14,q5,q9
1042
1043# qhasm: 				z34 aligned= mem128[ptr]
1044# asm 1: vld1.8 {>z34=reg128#6%bot->z34=reg128#6%top},[<ptr=int32#3,: 128]
1045# asm 2: vld1.8 {>z34=d10->z34=d11},[<ptr=r2,: 128]
1046vld1.8 {d10-d11},[r2,: 128]
1047
1048# qhasm:    x23 = r2 & mask
1049# asm 1: vand >x23=reg128#10,<r2=reg128#9,<mask=reg128#7
1050# asm 2: vand >x23=q9,<r2=q8,<mask=q6
1051vand q9,q8,q6
1052
1053# qhasm: 2x r3 += t3
1054# asm 1: vadd.i64 >r3=reg128#5,<r3=reg128#5,<t3=reg128#14
1055# asm 2: vadd.i64 >r3=q4,<r3=q4,<t3=q13
1056vadd.i64 q4,q4,q13
1057
1058# qhasm: 								input_2 += 32
1059# asm 1: add >input_2=int32#2,<input_2=int32#2,#32
1060# asm 2: add >input_2=r1,<input_2=r1,#32
1061add r1,r1,#32
1062
1063# qhasm: 		2x t1 = x01 unsigned>> 26
1064# asm 1: vshr.u64 >t1=reg128#14,<x01=reg128#15,#26
1065# asm 2: vshr.u64 >t1=q13,<x01=q14,#26
1066vshr.u64 q13,q14,#26
1067
1068# qhasm: 						x23 = x23[0,2,1,3]
1069# asm 1: vtrn.32 <x23=reg128#10%bot,<x23=reg128#10%top
1070# asm 2: vtrn.32 <x23=d18,<x23=d19
1071vtrn.32 d18,d19
1072
1073# qhasm: 		   x01 = x01 & mask
1074# asm 1: vand >x01=reg128#9,<x01=reg128#15,<mask=reg128#7
1075# asm 2: vand >x01=q8,<x01=q14,<mask=q6
1076vand q8,q14,q6
1077
1078# qhasm: 		2x r1 += t1
1079# asm 1: vadd.i64 >r1=reg128#4,<r1=reg128#4,<t1=reg128#14
1080# asm 2: vadd.i64 >r1=q3,<r1=q3,<t1=q13
1081vadd.i64 q3,q3,q13
1082
1083# qhasm: 2x t4 = r3 unsigned>> 26
1084# asm 1: vshr.u64 >t4=reg128#14,<r3=reg128#5,#26
1085# asm 2: vshr.u64 >t4=q13,<r3=q4,#26
1086vshr.u64 q13,q4,#26
1087
1088# qhasm: 						x01 = x01[0,2,1,3]
1089# asm 1: vtrn.32 <x01=reg128#9%bot,<x01=reg128#9%top
1090# asm 2: vtrn.32 <x01=d16,<x01=d17
1091vtrn.32 d16,d17
1092
1093# qhasm:    r3 &= mask
1094# asm 1: vand >r3=reg128#5,<r3=reg128#5,<mask=reg128#7
1095# asm 2: vand >r3=q4,<r3=q4,<mask=q6
1096vand q4,q4,q6
1097
1098# qhasm: 						r1 = r1[0,2,1,3]
1099# asm 1: vtrn.32 <r1=reg128#4%bot,<r1=reg128#4%top
1100# asm 2: vtrn.32 <r1=d6,<r1=d7
1101vtrn.32 d6,d7
1102
1103# qhasm: 2x x4 += t4
1104# asm 1: vadd.i64 >x4=reg128#11,<x4=reg128#11,<t4=reg128#14
1105# asm 2: vadd.i64 >x4=q10,<x4=q10,<t4=q13
1106vadd.i64 q10,q10,q13
1107
1108# qhasm: 						r3 = r3[0,2,1,3]
1109# asm 1: vtrn.32 <r3=reg128#5%bot,<r3=reg128#5%top
1110# asm 2: vtrn.32 <r3=d8,<r3=d9
1111vtrn.32 d8,d9
1112
1113# qhasm: 						x01 = x01[0,1] r1[0,1]
1114# asm 1: vext.32 <x01=reg128#9%top,<r1=reg128#4%bot,<r1=reg128#4%bot,#0
1115# asm 2: vext.32 <x01=d17,<r1=d6,<r1=d6,#0
1116vext.32 d17,d6,d6,#0
1117
1118# qhasm: 						x23 = x23[0,1] r3[0,1]
1119# asm 1: vext.32 <x23=reg128#10%top,<r3=reg128#5%bot,<r3=reg128#5%bot,#0
1120# asm 2: vext.32 <x23=d19,<r3=d8,<r3=d8,#0
1121vext.32 d19,d8,d8,#0
1122
1123# qhasm: 						x4 = x4[0,2,1,3]
1124# asm 1: vtrn.32 <x4=reg128#11%bot,<x4=reg128#11%top
1125# asm 2: vtrn.32 <x4=d20,<x4=d21
1126vtrn.32 d20,d21
1127
1128# qhasm:                   unsigned>? len - 64
1129# asm 1: cmp <len=int32#4,#64
1130# asm 2: cmp <len=r3,#64
1131cmp r3,#64
1132
1133# qhasm: goto mainloop2 if unsigned>
1134bhi ._mainloop2
1135
1136# qhasm: input_2 -= 32
1137# asm 1: sub >input_2=int32#3,<input_2=int32#2,#32
1138# asm 2: sub >input_2=r2,<input_2=r1,#32
1139sub r2,r1,#32
1140
1141# qhasm: below64bytes:
1142._below64bytes:
1143
1144# qhasm:              unsigned>? len - 32
1145# asm 1: cmp <len=int32#4,#32
1146# asm 2: cmp <len=r3,#32
1147cmp r3,#32
1148
1149# qhasm: goto end if !unsigned>
1150bls ._end
1151
1152# qhasm: mainloop:
1153._mainloop:
1154
1155# qhasm:   new r0
1156
1157# qhasm: ptr = &two24
1158# asm 1: lea >ptr=int32#2,<two24=stack128#1
1159# asm 2: lea >ptr=r1,<two24=[sp,#0]
1160add r1,sp,#0
1161
1162# qhasm: r4 aligned= mem128[ptr]
1163# asm 1: vld1.8 {>r4=reg128#5%bot->r4=reg128#5%top},[<ptr=int32#2,: 128]
1164# asm 2: vld1.8 {>r4=d8->r4=d9},[<ptr=r1,: 128]
1165vld1.8 {d8-d9},[r1,: 128]
1166
1167# qhasm: u4 aligned= mem128[ptr]
1168# asm 1: vld1.8 {>u4=reg128#6%bot->u4=reg128#6%top},[<ptr=int32#2,: 128]
1169# asm 2: vld1.8 {>u4=d10->u4=d11},[<ptr=r1,: 128]
1170vld1.8 {d10-d11},[r1,: 128]
1171
1172# qhasm:   c01 = mem128[input_2];input_2+=16
1173# asm 1: vld1.8 {>c01=reg128#8%bot->c01=reg128#8%top},[<input_2=int32#3]!
1174# asm 2: vld1.8 {>c01=d14->c01=d15},[<input_2=r2]!
1175vld1.8 {d14-d15},[r2]!
1176
1177# qhasm: r4[0,1] += x01[0] unsigned*  y34[2];  r4[2,3] += x01[1] unsigned*  y34[3]
1178# asm 1: vmlal.u32 <r4=reg128#5,<x01=reg128#9%bot,<y34=reg128#3%top
1179# asm 2: vmlal.u32 <r4=q4,<x01=d16,<y34=d5
1180vmlal.u32 q4,d16,d5
1181
1182# qhasm:   c23 = mem128[input_2];input_2+=16
1183# asm 1: vld1.8 {>c23=reg128#14%bot->c23=reg128#14%top},[<input_2=int32#3]!
1184# asm 2: vld1.8 {>c23=d26->c23=d27},[<input_2=r2]!
1185vld1.8 {d26-d27},[r2]!
1186
1187# qhasm: r4[0,1] += x01[2] unsigned* y34[0];  r4[2,3] += x01[3] unsigned* y34[1]
1188# asm 1: vmlal.u32 <r4=reg128#5,<x01=reg128#9%top,<y34=reg128#3%bot
1189# asm 2: vmlal.u32 <r4=q4,<x01=d17,<y34=d4
1190vmlal.u32 q4,d17,d4
1191
1192# qhasm:   r0 = u4[1]c01[0]r0[2,3]
1193# asm 1: vext.32 <r0=reg128#4%bot,<u4=reg128#6%bot,<c01=reg128#8%bot,#1
1194# asm 2: vext.32 <r0=d6,<u4=d10,<c01=d14,#1
1195vext.32 d6,d10,d14,#1
1196
1197# qhasm: r4[0,1] += x23[0] unsigned* y12[2];  r4[2,3] += x23[1] unsigned* y12[3]
1198# asm 1: vmlal.u32 <r4=reg128#5,<x23=reg128#10%bot,<y12=reg128#2%top
1199# asm 2: vmlal.u32 <r4=q4,<x23=d18,<y12=d3
1200vmlal.u32 q4,d18,d3
1201
1202# qhasm:   r0 = r0[0,1]u4[1]c23[0]
1203# asm 1: vext.32 <r0=reg128#4%top,<u4=reg128#6%bot,<c23=reg128#14%bot,#1
1204# asm 2: vext.32 <r0=d7,<u4=d10,<c23=d26,#1
1205vext.32 d7,d10,d26,#1
1206
1207# qhasm: r4[0,1] += x23[2] unsigned* y12[0];  r4[2,3] += x23[3] unsigned* y12[1]
1208# asm 1: vmlal.u32 <r4=reg128#5,<x23=reg128#10%top,<y12=reg128#2%bot
1209# asm 2: vmlal.u32 <r4=q4,<x23=d19,<y12=d2
1210vmlal.u32 q4,d19,d2
1211
1212# qhasm:   r0 = r0[1]r0[0]r0[3]r0[2]
1213# asm 1: vrev64.i32 >r0=reg128#4,<r0=reg128#4
1214# asm 2: vrev64.i32 >r0=q3,<r0=q3
1215vrev64.i32 q3,q3
1216
1217# qhasm: r4[0,1] +=  x4[0] unsigned* y0[0];  r4[2,3] +=  x4[1] unsigned* y0[1]
1218# asm 1: vmlal.u32 <r4=reg128#5,<x4=reg128#11%bot,<y0=reg128#1%bot
1219# asm 2: vmlal.u32 <r4=q4,<x4=d20,<y0=d0
1220vmlal.u32 q4,d20,d0
1221
1222# qhasm: r0[0,1] +=  x4[0] unsigned* 5y12[0]; r0[2,3] +=  x4[1] unsigned* 5y12[1]
1223# asm 1: vmlal.u32 <r0=reg128#4,<x4=reg128#11%bot,<5y12=reg128#12%bot
1224# asm 2: vmlal.u32 <r0=q3,<x4=d20,<5y12=d22
1225vmlal.u32 q3,d20,d22
1226
1227# qhasm: r0[0,1] += x23[0] unsigned* 5y34[0]; r0[2,3] += x23[1] unsigned* 5y34[1]
1228# asm 1: vmlal.u32 <r0=reg128#4,<x23=reg128#10%bot,<5y34=reg128#13%bot
1229# asm 2: vmlal.u32 <r0=q3,<x23=d18,<5y34=d24
1230vmlal.u32 q3,d18,d24
1231
1232# qhasm: r0[0,1] += x23[2] unsigned* 5y12[2]; r0[2,3] += x23[3] unsigned* 5y12[3]
1233# asm 1: vmlal.u32 <r0=reg128#4,<x23=reg128#10%top,<5y12=reg128#12%top
1234# asm 2: vmlal.u32 <r0=q3,<x23=d19,<5y12=d23
1235vmlal.u32 q3,d19,d23
1236
1237# qhasm:   c01 c23 = c01[0]c23[0]c01[2]c23[2]c01[1]c23[1]c01[3]c23[3]
1238# asm 1: vtrn.32 <c01=reg128#8,<c23=reg128#14
1239# asm 2: vtrn.32 <c01=q7,<c23=q13
1240vtrn.32 q7,q13
1241
1242# qhasm: r0[0,1] += x01[0] unsigned* y0[0];   r0[2,3] += x01[1] unsigned* y0[1]
1243# asm 1: vmlal.u32 <r0=reg128#4,<x01=reg128#9%bot,<y0=reg128#1%bot
1244# asm 2: vmlal.u32 <r0=q3,<x01=d16,<y0=d0
1245vmlal.u32 q3,d16,d0
1246
1247# qhasm:   r3[0,1] = c23[2]<<18; r3[2,3] = c23[3]<<18
1248# asm 1: vshll.u32 >r3=reg128#6,<c23=reg128#14%top,#18
1249# asm 2: vshll.u32 >r3=q5,<c23=d27,#18
1250vshll.u32 q5,d27,#18
1251
1252# qhasm: r0[0,1] += x01[2] unsigned*  5y34[2]; r0[2,3] += x01[3] unsigned*  5y34[3]
1253# asm 1: vmlal.u32 <r0=reg128#4,<x01=reg128#9%top,<5y34=reg128#13%top
1254# asm 2: vmlal.u32 <r0=q3,<x01=d17,<5y34=d25
1255vmlal.u32 q3,d17,d25
1256
1257# qhasm: r3[0,1] += x01[0] unsigned* y34[0];   r3[2,3] += x01[1] unsigned* y34[1]
1258# asm 1: vmlal.u32 <r3=reg128#6,<x01=reg128#9%bot,<y34=reg128#3%bot
1259# asm 2: vmlal.u32 <r3=q5,<x01=d16,<y34=d4
1260vmlal.u32 q5,d16,d4
1261
1262# qhasm: r3[0,1] += x01[2] unsigned* y12[2];   r3[2,3] += x01[3] unsigned* y12[3]
1263# asm 1: vmlal.u32 <r3=reg128#6,<x01=reg128#9%top,<y12=reg128#2%top
1264# asm 2: vmlal.u32 <r3=q5,<x01=d17,<y12=d3
1265vmlal.u32 q5,d17,d3
1266
1267# qhasm: r3[0,1] += x23[0] unsigned* y12[0];   r3[2,3] += x23[1] unsigned* y12[1]
1268# asm 1: vmlal.u32 <r3=reg128#6,<x23=reg128#10%bot,<y12=reg128#2%bot
1269# asm 2: vmlal.u32 <r3=q5,<x23=d18,<y12=d2
1270vmlal.u32 q5,d18,d2
1271
1272# qhasm: r3[0,1] += x23[2] unsigned* y0[0];   r3[2,3] += x23[3] unsigned* y0[1]
1273# asm 1: vmlal.u32 <r3=reg128#6,<x23=reg128#10%top,<y0=reg128#1%bot
1274# asm 2: vmlal.u32 <r3=q5,<x23=d19,<y0=d0
1275vmlal.u32 q5,d19,d0
1276
1277# qhasm:   r1[0,1] = c23[0]<<6; r1[2,3] = c23[1]<<6
1278# asm 1: vshll.u32 >r1=reg128#14,<c23=reg128#14%bot,#6
1279# asm 2: vshll.u32 >r1=q13,<c23=d26,#6
1280vshll.u32 q13,d26,#6
1281
1282# qhasm: r3[0,1] +=  x4[0] unsigned*  5y34[2]; r3[2,3] +=  x4[1] unsigned*  5y34[3]
1283# asm 1: vmlal.u32 <r3=reg128#6,<x4=reg128#11%bot,<5y34=reg128#13%top
1284# asm 2: vmlal.u32 <r3=q5,<x4=d20,<5y34=d25
1285vmlal.u32 q5,d20,d25
1286
1287# qhasm: r1[0,1] += x01[0] unsigned* y12[0];   r1[2,3] += x01[1] unsigned* y12[1]
1288# asm 1: vmlal.u32 <r1=reg128#14,<x01=reg128#9%bot,<y12=reg128#2%bot
1289# asm 2: vmlal.u32 <r1=q13,<x01=d16,<y12=d2
1290vmlal.u32 q13,d16,d2
1291
1292# qhasm: r1[0,1] += x01[2] unsigned* y0[0];   r1[2,3] += x01[3] unsigned* y0[1]
1293# asm 1: vmlal.u32 <r1=reg128#14,<x01=reg128#9%top,<y0=reg128#1%bot
1294# asm 2: vmlal.u32 <r1=q13,<x01=d17,<y0=d0
1295vmlal.u32 q13,d17,d0
1296
1297# qhasm: r1[0,1] += x23[0] unsigned*  5y34[2]; r1[2,3] += x23[1] unsigned*  5y34[3]
1298# asm 1: vmlal.u32 <r1=reg128#14,<x23=reg128#10%bot,<5y34=reg128#13%top
1299# asm 2: vmlal.u32 <r1=q13,<x23=d18,<5y34=d25
1300vmlal.u32 q13,d18,d25
1301
1302# qhasm: r1[0,1] += x23[2] unsigned* 5y34[0]; r1[2,3] += x23[3] unsigned* 5y34[1]
1303# asm 1: vmlal.u32 <r1=reg128#14,<x23=reg128#10%top,<5y34=reg128#13%bot
1304# asm 2: vmlal.u32 <r1=q13,<x23=d19,<5y34=d24
1305vmlal.u32 q13,d19,d24
1306
1307# qhasm:   r2[0,1] = c01[2]<<12; r2[2,3] = c01[3]<<12
1308# asm 1: vshll.u32 >r2=reg128#8,<c01=reg128#8%top,#12
1309# asm 2: vshll.u32 >r2=q7,<c01=d15,#12
1310vshll.u32 q7,d15,#12
1311
1312# qhasm: r1[0,1] +=  x4[0] unsigned* 5y12[2]; r1[2,3] +=  x4[1] unsigned* 5y12[3]
1313# asm 1: vmlal.u32 <r1=reg128#14,<x4=reg128#11%bot,<5y12=reg128#12%top
1314# asm 2: vmlal.u32 <r1=q13,<x4=d20,<5y12=d23
1315vmlal.u32 q13,d20,d23
1316
1317# qhasm: r2[0,1] += x01[0] unsigned* y12[2];   r2[2,3] += x01[1] unsigned* y12[3]
1318# asm 1: vmlal.u32 <r2=reg128#8,<x01=reg128#9%bot,<y12=reg128#2%top
1319# asm 2: vmlal.u32 <r2=q7,<x01=d16,<y12=d3
1320vmlal.u32 q7,d16,d3
1321
1322# qhasm: r2[0,1] += x01[2] unsigned* y12[0];   r2[2,3] += x01[3] unsigned* y12[1]
1323# asm 1: vmlal.u32 <r2=reg128#8,<x01=reg128#9%top,<y12=reg128#2%bot
1324# asm 2: vmlal.u32 <r2=q7,<x01=d17,<y12=d2
1325vmlal.u32 q7,d17,d2
1326
1327# qhasm: r2[0,1] += x23[0] unsigned* y0[0];   r2[2,3] += x23[1] unsigned* y0[1]
1328# asm 1: vmlal.u32 <r2=reg128#8,<x23=reg128#10%bot,<y0=reg128#1%bot
1329# asm 2: vmlal.u32 <r2=q7,<x23=d18,<y0=d0
1330vmlal.u32 q7,d18,d0
1331
1332# qhasm: r2[0,1] += x23[2] unsigned*  5y34[2]; r2[2,3] += x23[3] unsigned*  5y34[3]
1333# asm 1: vmlal.u32 <r2=reg128#8,<x23=reg128#10%top,<5y34=reg128#13%top
1334# asm 2: vmlal.u32 <r2=q7,<x23=d19,<5y34=d25
1335vmlal.u32 q7,d19,d25
1336
1337# qhasm: r2[0,1] +=  x4[0] unsigned* 5y34[0]; r2[2,3] +=  x4[1] unsigned* 5y34[1]
1338# asm 1: vmlal.u32 <r2=reg128#8,<x4=reg128#11%bot,<5y34=reg128#13%bot
1339# asm 2: vmlal.u32 <r2=q7,<x4=d20,<5y34=d24
1340vmlal.u32 q7,d20,d24
1341
1342# qhasm: 2x t1 = r0 unsigned>> 26
1343# asm 1: vshr.u64 >t1=reg128#9,<r0=reg128#4,#26
1344# asm 2: vshr.u64 >t1=q8,<r0=q3,#26
1345vshr.u64 q8,q3,#26
1346
1347# qhasm:    r0 &= mask
1348# asm 1: vand >r0=reg128#4,<r0=reg128#4,<mask=reg128#7
1349# asm 2: vand >r0=q3,<r0=q3,<mask=q6
1350vand q3,q3,q6
1351
1352# qhasm: 2x r1 += t1
1353# asm 1: vadd.i64 >r1=reg128#9,<r1=reg128#14,<t1=reg128#9
1354# asm 2: vadd.i64 >r1=q8,<r1=q13,<t1=q8
1355vadd.i64 q8,q13,q8
1356
1357# qhasm: 		2x t4 = r3 unsigned>> 26
1358# asm 1: vshr.u64 >t4=reg128#10,<r3=reg128#6,#26
1359# asm 2: vshr.u64 >t4=q9,<r3=q5,#26
1360vshr.u64 q9,q5,#26
1361
1362# qhasm: 		   r3 &= mask
1363# asm 1: vand >r3=reg128#6,<r3=reg128#6,<mask=reg128#7
1364# asm 2: vand >r3=q5,<r3=q5,<mask=q6
1365vand q5,q5,q6
1366
1367# qhasm: 		2x r4 += t4
1368# asm 1: vadd.i64 >r4=reg128#5,<r4=reg128#5,<t4=reg128#10
1369# asm 2: vadd.i64 >r4=q4,<r4=q4,<t4=q9
1370vadd.i64 q4,q4,q9
1371
1372# qhasm: 2x t2 = r1 unsigned>> 26
1373# asm 1: vshr.u64 >t2=reg128#10,<r1=reg128#9,#26
1374# asm 2: vshr.u64 >t2=q9,<r1=q8,#26
1375vshr.u64 q9,q8,#26
1376
1377# qhasm:    r1 &= mask
1378# asm 1: vand >r1=reg128#11,<r1=reg128#9,<mask=reg128#7
1379# asm 2: vand >r1=q10,<r1=q8,<mask=q6
1380vand q10,q8,q6
1381
1382# qhasm: 		2x t0 = r4 unsigned>> 26
1383# asm 1: vshr.u64 >t0=reg128#9,<r4=reg128#5,#26
1384# asm 2: vshr.u64 >t0=q8,<r4=q4,#26
1385vshr.u64 q8,q4,#26
1386
1387# qhasm: 2x r2 += t2
1388# asm 1: vadd.i64 >r2=reg128#8,<r2=reg128#8,<t2=reg128#10
1389# asm 2: vadd.i64 >r2=q7,<r2=q7,<t2=q9
1390vadd.i64 q7,q7,q9
1391
1392# qhasm: 		   r4 &= mask
1393# asm 1: vand >r4=reg128#5,<r4=reg128#5,<mask=reg128#7
1394# asm 2: vand >r4=q4,<r4=q4,<mask=q6
1395vand q4,q4,q6
1396
1397# qhasm: 		2x r0 += t0
1398# asm 1: vadd.i64 >r0=reg128#4,<r0=reg128#4,<t0=reg128#9
1399# asm 2: vadd.i64 >r0=q3,<r0=q3,<t0=q8
1400vadd.i64 q3,q3,q8
1401
1402# qhasm: 		2x t0 <<= 2
1403# asm 1: vshl.i64 >t0=reg128#9,<t0=reg128#9,#2
1404# asm 2: vshl.i64 >t0=q8,<t0=q8,#2
1405vshl.i64 q8,q8,#2
1406
1407# qhasm: 2x t3 = r2 unsigned>> 26
1408# asm 1: vshr.u64 >t3=reg128#14,<r2=reg128#8,#26
1409# asm 2: vshr.u64 >t3=q13,<r2=q7,#26
1410vshr.u64 q13,q7,#26
1411
1412# qhasm: 		2x r0 += t0
1413# asm 1: vadd.i64 >r0=reg128#4,<r0=reg128#4,<t0=reg128#9
1414# asm 2: vadd.i64 >r0=q3,<r0=q3,<t0=q8
1415vadd.i64 q3,q3,q8
1416
1417# qhasm:    x23 = r2 & mask
1418# asm 1: vand >x23=reg128#10,<r2=reg128#8,<mask=reg128#7
1419# asm 2: vand >x23=q9,<r2=q7,<mask=q6
1420vand q9,q7,q6
1421
1422# qhasm: 2x r3 += t3
1423# asm 1: vadd.i64 >r3=reg128#6,<r3=reg128#6,<t3=reg128#14
1424# asm 2: vadd.i64 >r3=q5,<r3=q5,<t3=q13
1425vadd.i64 q5,q5,q13
1426
1427# qhasm: 		2x t1 = r0 unsigned>> 26
1428# asm 1: vshr.u64 >t1=reg128#8,<r0=reg128#4,#26
1429# asm 2: vshr.u64 >t1=q7,<r0=q3,#26
1430vshr.u64 q7,q3,#26
1431
1432# qhasm: 		   x01 = r0 & mask
1433# asm 1: vand >x01=reg128#9,<r0=reg128#4,<mask=reg128#7
1434# asm 2: vand >x01=q8,<r0=q3,<mask=q6
1435vand q8,q3,q6
1436
1437# qhasm: 		2x r1 += t1
1438# asm 1: vadd.i64 >r1=reg128#4,<r1=reg128#11,<t1=reg128#8
1439# asm 2: vadd.i64 >r1=q3,<r1=q10,<t1=q7
1440vadd.i64 q3,q10,q7
1441
1442# qhasm: 2x t4 = r3 unsigned>> 26
1443# asm 1: vshr.u64 >t4=reg128#8,<r3=reg128#6,#26
1444# asm 2: vshr.u64 >t4=q7,<r3=q5,#26
1445vshr.u64 q7,q5,#26
1446
1447# qhasm:    r3 &= mask
1448# asm 1: vand >r3=reg128#6,<r3=reg128#6,<mask=reg128#7
1449# asm 2: vand >r3=q5,<r3=q5,<mask=q6
1450vand q5,q5,q6
1451
1452# qhasm: 2x x4 = r4 + t4
1453# asm 1: vadd.i64 >x4=reg128#11,<r4=reg128#5,<t4=reg128#8
1454# asm 2: vadd.i64 >x4=q10,<r4=q4,<t4=q7
1455vadd.i64 q10,q4,q7
1456
1457# qhasm:   len -= 32
1458# asm 1: sub >len=int32#4,<len=int32#4,#32
1459# asm 2: sub >len=r3,<len=r3,#32
1460sub r3,r3,#32
1461
1462# qhasm: x01 = x01[0,2,1,3]
1463# asm 1: vtrn.32 <x01=reg128#9%bot,<x01=reg128#9%top
1464# asm 2: vtrn.32 <x01=d16,<x01=d17
1465vtrn.32 d16,d17
1466
1467# qhasm: x23 = x23[0,2,1,3]
1468# asm 1: vtrn.32 <x23=reg128#10%bot,<x23=reg128#10%top
1469# asm 2: vtrn.32 <x23=d18,<x23=d19
1470vtrn.32 d18,d19
1471
1472# qhasm: r1 = r1[0,2,1,3]
1473# asm 1: vtrn.32 <r1=reg128#4%bot,<r1=reg128#4%top
1474# asm 2: vtrn.32 <r1=d6,<r1=d7
1475vtrn.32 d6,d7
1476
1477# qhasm: r3 = r3[0,2,1,3]
1478# asm 1: vtrn.32 <r3=reg128#6%bot,<r3=reg128#6%top
1479# asm 2: vtrn.32 <r3=d10,<r3=d11
1480vtrn.32 d10,d11
1481
1482# qhasm: x4 = x4[0,2,1,3]
1483# asm 1: vtrn.32 <x4=reg128#11%bot,<x4=reg128#11%top
1484# asm 2: vtrn.32 <x4=d20,<x4=d21
1485vtrn.32 d20,d21
1486
1487# qhasm: x01 = x01[0,1] r1[0,1]
1488# asm 1: vext.32 <x01=reg128#9%top,<r1=reg128#4%bot,<r1=reg128#4%bot,#0
1489# asm 2: vext.32 <x01=d17,<r1=d6,<r1=d6,#0
1490vext.32 d17,d6,d6,#0
1491
1492# qhasm: x23 = x23[0,1] r3[0,1]
1493# asm 1: vext.32 <x23=reg128#10%top,<r3=reg128#6%bot,<r3=reg128#6%bot,#0
1494# asm 2: vext.32 <x23=d19,<r3=d10,<r3=d10,#0
1495vext.32 d19,d10,d10,#0
1496
1497# qhasm: unsigned>? len - 32
1498# asm 1: cmp <len=int32#4,#32
1499# asm 2: cmp <len=r3,#32
1500cmp r3,#32
1501
1502# qhasm: goto mainloop if unsigned>
1503bhi ._mainloop
1504
1505# qhasm: end:
1506._end:
1507
1508# qhasm: mem128[input_0] = x01;input_0+=16
1509# asm 1: vst1.8 {<x01=reg128#9%bot-<x01=reg128#9%top},[<input_0=int32#1]!
1510# asm 2: vst1.8 {<x01=d16-<x01=d17},[<input_0=r0]!
1511vst1.8 {d16-d17},[r0]!
1512
1513# qhasm: mem128[input_0] = x23;input_0+=16
1514# asm 1: vst1.8 {<x23=reg128#10%bot-<x23=reg128#10%top},[<input_0=int32#1]!
1515# asm 2: vst1.8 {<x23=d18-<x23=d19},[<input_0=r0]!
1516vst1.8 {d18-d19},[r0]!
1517
1518# qhasm: mem64[input_0] = x4[0]
1519# asm 1: vst1.8 <x4=reg128#11%bot,[<input_0=int32#1]
1520# asm 2: vst1.8 <x4=d20,[<input_0=r0]
1521vst1.8 d20,[r0]
1522
1523# qhasm: len = len
1524# asm 1: mov >len=int32#1,<len=int32#4
1525# asm 2: mov >len=r0,<len=r3
1526mov r0,r3
1527
1528# qhasm: qpopreturn len
1529mov sp,r12
1530vpop {q4,q5,q6,q7}
1531bx lr
1532
1533# qhasm: int32 input_0
1534
1535# qhasm: int32 input_1
1536
1537# qhasm: int32 input_2
1538
1539# qhasm: int32 input_3
1540
1541# qhasm: stack32 input_4
1542
1543# qhasm: stack32 input_5
1544
1545# qhasm: stack32 input_6
1546
1547# qhasm: stack32 input_7
1548
1549# qhasm: int32 caller_r4
1550
1551# qhasm: int32 caller_r5
1552
1553# qhasm: int32 caller_r6
1554
1555# qhasm: int32 caller_r7
1556
1557# qhasm: int32 caller_r8
1558
1559# qhasm: int32 caller_r9
1560
1561# qhasm: int32 caller_r10
1562
1563# qhasm: int32 caller_r11
1564
1565# qhasm: int32 caller_r12
1566
1567# qhasm: int32 caller_r14
1568
1569# qhasm: reg128 caller_q4
1570
1571# qhasm: reg128 caller_q5
1572
1573# qhasm: reg128 caller_q6
1574
1575# qhasm: reg128 caller_q7
1576
1577# qhasm: reg128 r0
1578
1579# qhasm: reg128 r1
1580
1581# qhasm: reg128 r2
1582
1583# qhasm: reg128 r3
1584
1585# qhasm: reg128 r4
1586
1587# qhasm: reg128 x01
1588
1589# qhasm: reg128 x23
1590
1591# qhasm: reg128 x4
1592
1593# qhasm: reg128 y01
1594
1595# qhasm: reg128 y23
1596
1597# qhasm: reg128 y4
1598
1599# qhasm: reg128 _5y01
1600
1601# qhasm: reg128 _5y23
1602
1603# qhasm: reg128 _5y4
1604
1605# qhasm: reg128 c01
1606
1607# qhasm: reg128 c23
1608
1609# qhasm: reg128 c4
1610
1611# qhasm: reg128 t0
1612
1613# qhasm: reg128 t1
1614
1615# qhasm: reg128 t2
1616
1617# qhasm: reg128 t3
1618
1619# qhasm: reg128 t4
1620
1621# qhasm: reg128 mask
1622
1623# qhasm: enter crypto_onetimeauth_poly1305_neon2_addmulmod
1624.align 2
1625.global openssl_poly1305_neon2_addmulmod
1626.hidden openssl_poly1305_neon2_addmulmod
1627.type openssl_poly1305_neon2_addmulmod STT_FUNC
1628openssl_poly1305_neon2_addmulmod:
1629sub sp,sp,#0
1630
1631# qhasm: 				2x mask = 0xffffffff
1632# asm 1: vmov.i64 >mask=reg128#1,#0xffffffff
1633# asm 2: vmov.i64 >mask=q0,#0xffffffff
1634vmov.i64 q0,#0xffffffff
1635
1636# qhasm:   y01 aligned= mem128[input_2];input_2+=16
1637# asm 1: vld1.8 {>y01=reg128#2%bot->y01=reg128#2%top},[<input_2=int32#3,: 128]!
1638# asm 2: vld1.8 {>y01=d2->y01=d3},[<input_2=r2,: 128]!
1639vld1.8 {d2-d3},[r2,: 128]!
1640
1641# qhasm: 4x _5y01 = y01 << 2
1642# asm 1: vshl.i32 >_5y01=reg128#3,<y01=reg128#2,#2
1643# asm 2: vshl.i32 >_5y01=q2,<y01=q1,#2
1644vshl.i32 q2,q1,#2
1645
1646# qhasm:   y23 aligned= mem128[input_2];input_2+=16
1647# asm 1: vld1.8 {>y23=reg128#4%bot->y23=reg128#4%top},[<input_2=int32#3,: 128]!
1648# asm 2: vld1.8 {>y23=d6->y23=d7},[<input_2=r2,: 128]!
1649vld1.8 {d6-d7},[r2,: 128]!
1650
1651# qhasm: 4x _5y23 = y23 << 2
1652# asm 1: vshl.i32 >_5y23=reg128#9,<y23=reg128#4,#2
1653# asm 2: vshl.i32 >_5y23=q8,<y23=q3,#2
1654vshl.i32 q8,q3,#2
1655
1656# qhasm:   y4  aligned= mem64[input_2]y4[1]
1657# asm 1: vld1.8 {<y4=reg128#10%bot},[<input_2=int32#3,: 64]
1658# asm 2: vld1.8 {<y4=d18},[<input_2=r2,: 64]
1659vld1.8 {d18},[r2,: 64]
1660
1661# qhasm: 4x _5y4 = y4 << 2
1662# asm 1: vshl.i32 >_5y4=reg128#11,<y4=reg128#10,#2
1663# asm 2: vshl.i32 >_5y4=q10,<y4=q9,#2
1664vshl.i32 q10,q9,#2
1665
1666# qhasm:   x01 aligned= mem128[input_1];input_1+=16
1667# asm 1: vld1.8 {>x01=reg128#12%bot->x01=reg128#12%top},[<input_1=int32#2,: 128]!
1668# asm 2: vld1.8 {>x01=d22->x01=d23},[<input_1=r1,: 128]!
1669vld1.8 {d22-d23},[r1,: 128]!
1670
1671# qhasm: 4x _5y01 += y01
1672# asm 1: vadd.i32 >_5y01=reg128#3,<_5y01=reg128#3,<y01=reg128#2
1673# asm 2: vadd.i32 >_5y01=q2,<_5y01=q2,<y01=q1
1674vadd.i32 q2,q2,q1
1675
1676# qhasm:   x23 aligned= mem128[input_1];input_1+=16
1677# asm 1: vld1.8 {>x23=reg128#13%bot->x23=reg128#13%top},[<input_1=int32#2,: 128]!
1678# asm 2: vld1.8 {>x23=d24->x23=d25},[<input_1=r1,: 128]!
1679vld1.8 {d24-d25},[r1,: 128]!
1680
1681# qhasm: 4x _5y23 += y23
1682# asm 1: vadd.i32 >_5y23=reg128#9,<_5y23=reg128#9,<y23=reg128#4
1683# asm 2: vadd.i32 >_5y23=q8,<_5y23=q8,<y23=q3
1684vadd.i32 q8,q8,q3
1685
1686# qhasm: 4x _5y4 += y4
1687# asm 1: vadd.i32 >_5y4=reg128#11,<_5y4=reg128#11,<y4=reg128#10
1688# asm 2: vadd.i32 >_5y4=q10,<_5y4=q10,<y4=q9
1689vadd.i32 q10,q10,q9
1690
1691# qhasm:   c01 aligned= mem128[input_3];input_3+=16
1692# asm 1: vld1.8 {>c01=reg128#14%bot->c01=reg128#14%top},[<input_3=int32#4,: 128]!
1693# asm 2: vld1.8 {>c01=d26->c01=d27},[<input_3=r3,: 128]!
1694vld1.8 {d26-d27},[r3,: 128]!
1695
1696# qhasm: 4x x01 += c01
1697# asm 1: vadd.i32 >x01=reg128#12,<x01=reg128#12,<c01=reg128#14
1698# asm 2: vadd.i32 >x01=q11,<x01=q11,<c01=q13
1699vadd.i32 q11,q11,q13
1700
1701# qhasm:   c23 aligned= mem128[input_3];input_3+=16
1702# asm 1: vld1.8 {>c23=reg128#14%bot->c23=reg128#14%top},[<input_3=int32#4,: 128]!
1703# asm 2: vld1.8 {>c23=d26->c23=d27},[<input_3=r3,: 128]!
1704vld1.8 {d26-d27},[r3,: 128]!
1705
1706# qhasm: 4x x23 += c23
1707# asm 1: vadd.i32 >x23=reg128#13,<x23=reg128#13,<c23=reg128#14
1708# asm 2: vadd.i32 >x23=q12,<x23=q12,<c23=q13
1709vadd.i32 q12,q12,q13
1710
1711# qhasm:   x4  aligned= mem64[input_1]x4[1]
1712# asm 1: vld1.8 {<x4=reg128#14%bot},[<input_1=int32#2,: 64]
1713# asm 2: vld1.8 {<x4=d26},[<input_1=r1,: 64]
1714vld1.8 {d26},[r1,: 64]
1715
1716# qhasm: 				2x mask unsigned>>=6
1717# asm 1: vshr.u64 >mask=reg128#1,<mask=reg128#1,#6
1718# asm 2: vshr.u64 >mask=q0,<mask=q0,#6
1719vshr.u64 q0,q0,#6
1720
1721# qhasm:   c4  aligned= mem64[input_3]c4[1]
1722# asm 1: vld1.8 {<c4=reg128#15%bot},[<input_3=int32#4,: 64]
1723# asm 2: vld1.8 {<c4=d28},[<input_3=r3,: 64]
1724vld1.8 {d28},[r3,: 64]
1725
1726# qhasm: 4x x4 += c4
1727# asm 1: vadd.i32 >x4=reg128#14,<x4=reg128#14,<c4=reg128#15
1728# asm 2: vadd.i32 >x4=q13,<x4=q13,<c4=q14
1729vadd.i32 q13,q13,q14
1730
1731# qhasm: r0[0,1]  = x01[0] unsigned* y01[0];   r0[2,3]  = x01[1] unsigned* y01[1]
1732# asm 1: vmull.u32 >r0=reg128#15,<x01=reg128#12%bot,<y01=reg128#2%bot
1733# asm 2: vmull.u32 >r0=q14,<x01=d22,<y01=d2
1734vmull.u32 q14,d22,d2
1735
1736# qhasm: r0[0,1] += x01[2] unsigned*  _5y4[0]; r0[2,3] += x01[3] unsigned*  _5y4[1]
1737# asm 1: vmlal.u32 <r0=reg128#15,<x01=reg128#12%top,<_5y4=reg128#11%bot
1738# asm 2: vmlal.u32 <r0=q14,<x01=d23,<_5y4=d20
1739vmlal.u32 q14,d23,d20
1740
1741# qhasm: r0[0,1] += x23[0] unsigned* _5y23[2]; r0[2,3] += x23[1] unsigned* _5y23[3]
1742# asm 1: vmlal.u32 <r0=reg128#15,<x23=reg128#13%bot,<_5y23=reg128#9%top
1743# asm 2: vmlal.u32 <r0=q14,<x23=d24,<_5y23=d17
1744vmlal.u32 q14,d24,d17
1745
1746# qhasm: r0[0,1] += x23[2] unsigned* _5y23[0]; r0[2,3] += x23[3] unsigned* _5y23[1]
1747# asm 1: vmlal.u32 <r0=reg128#15,<x23=reg128#13%top,<_5y23=reg128#9%bot
1748# asm 2: vmlal.u32 <r0=q14,<x23=d25,<_5y23=d16
1749vmlal.u32 q14,d25,d16
1750
1751# qhasm: r0[0,1] +=  x4[0] unsigned* _5y01[2]; r0[2,3] +=  x4[1] unsigned* _5y01[3]
1752# asm 1: vmlal.u32 <r0=reg128#15,<x4=reg128#14%bot,<_5y01=reg128#3%top
1753# asm 2: vmlal.u32 <r0=q14,<x4=d26,<_5y01=d5
1754vmlal.u32 q14,d26,d5
1755
1756# qhasm: r1[0,1]  = x01[0] unsigned* y01[2];   r1[2,3]  = x01[1] unsigned* y01[3]
1757# asm 1: vmull.u32 >r1=reg128#3,<x01=reg128#12%bot,<y01=reg128#2%top
1758# asm 2: vmull.u32 >r1=q2,<x01=d22,<y01=d3
1759vmull.u32 q2,d22,d3
1760
1761# qhasm: r1[0,1] += x01[2] unsigned* y01[0];   r1[2,3] += x01[3] unsigned* y01[1]
1762# asm 1: vmlal.u32 <r1=reg128#3,<x01=reg128#12%top,<y01=reg128#2%bot
1763# asm 2: vmlal.u32 <r1=q2,<x01=d23,<y01=d2
1764vmlal.u32 q2,d23,d2
1765
1766# qhasm: r1[0,1] += x23[0] unsigned*  _5y4[0]; r1[2,3] += x23[1] unsigned*  _5y4[1]
1767# asm 1: vmlal.u32 <r1=reg128#3,<x23=reg128#13%bot,<_5y4=reg128#11%bot
1768# asm 2: vmlal.u32 <r1=q2,<x23=d24,<_5y4=d20
1769vmlal.u32 q2,d24,d20
1770
1771# qhasm: r1[0,1] += x23[2] unsigned* _5y23[2]; r1[2,3] += x23[3] unsigned* _5y23[3]
1772# asm 1: vmlal.u32 <r1=reg128#3,<x23=reg128#13%top,<_5y23=reg128#9%top
1773# asm 2: vmlal.u32 <r1=q2,<x23=d25,<_5y23=d17
1774vmlal.u32 q2,d25,d17
1775
1776# qhasm: r1[0,1] +=  x4[0] unsigned* _5y23[0]; r1[2,3] +=  x4[1] unsigned* _5y23[1]
1777# asm 1: vmlal.u32 <r1=reg128#3,<x4=reg128#14%bot,<_5y23=reg128#9%bot
1778# asm 2: vmlal.u32 <r1=q2,<x4=d26,<_5y23=d16
1779vmlal.u32 q2,d26,d16
1780
1781# qhasm: r2[0,1]  = x01[0] unsigned* y23[0];   r2[2,3]  = x01[1] unsigned* y23[1]
1782# asm 1: vmull.u32 >r2=reg128#16,<x01=reg128#12%bot,<y23=reg128#4%bot
1783# asm 2: vmull.u32 >r2=q15,<x01=d22,<y23=d6
1784vmull.u32 q15,d22,d6
1785
1786# qhasm: r2[0,1] += x01[2] unsigned* y01[2];   r2[2,3] += x01[3] unsigned* y01[3]
1787# asm 1: vmlal.u32 <r2=reg128#16,<x01=reg128#12%top,<y01=reg128#2%top
1788# asm 2: vmlal.u32 <r2=q15,<x01=d23,<y01=d3
1789vmlal.u32 q15,d23,d3
1790
1791# qhasm: r2[0,1] += x23[0] unsigned* y01[0];   r2[2,3] += x23[1] unsigned* y01[1]
1792# asm 1: vmlal.u32 <r2=reg128#16,<x23=reg128#13%bot,<y01=reg128#2%bot
1793# asm 2: vmlal.u32 <r2=q15,<x23=d24,<y01=d2
1794vmlal.u32 q15,d24,d2
1795
1796# qhasm: r2[0,1] += x23[2] unsigned*  _5y4[0]; r2[2,3] += x23[3] unsigned*  _5y4[1]
1797# asm 1: vmlal.u32 <r2=reg128#16,<x23=reg128#13%top,<_5y4=reg128#11%bot
1798# asm 2: vmlal.u32 <r2=q15,<x23=d25,<_5y4=d20
1799vmlal.u32 q15,d25,d20
1800
1801# qhasm: r2[0,1] +=  x4[0] unsigned* _5y23[2]; r2[2,3] +=  x4[1] unsigned* _5y23[3]
1802# asm 1: vmlal.u32 <r2=reg128#16,<x4=reg128#14%bot,<_5y23=reg128#9%top
1803# asm 2: vmlal.u32 <r2=q15,<x4=d26,<_5y23=d17
1804vmlal.u32 q15,d26,d17
1805
1806# qhasm: r3[0,1]  = x01[0] unsigned* y23[2];   r3[2,3]  = x01[1] unsigned* y23[3]
1807# asm 1: vmull.u32 >r3=reg128#9,<x01=reg128#12%bot,<y23=reg128#4%top
1808# asm 2: vmull.u32 >r3=q8,<x01=d22,<y23=d7
1809vmull.u32 q8,d22,d7
1810
1811# qhasm: r3[0,1] += x01[2] unsigned* y23[0];   r3[2,3] += x01[3] unsigned* y23[1]
1812# asm 1: vmlal.u32 <r3=reg128#9,<x01=reg128#12%top,<y23=reg128#4%bot
1813# asm 2: vmlal.u32 <r3=q8,<x01=d23,<y23=d6
1814vmlal.u32 q8,d23,d6
1815
1816# qhasm: r3[0,1] += x23[0] unsigned* y01[2];   r3[2,3] += x23[1] unsigned* y01[3]
1817# asm 1: vmlal.u32 <r3=reg128#9,<x23=reg128#13%bot,<y01=reg128#2%top
1818# asm 2: vmlal.u32 <r3=q8,<x23=d24,<y01=d3
1819vmlal.u32 q8,d24,d3
1820
1821# qhasm: r3[0,1] += x23[2] unsigned* y01[0];   r3[2,3] += x23[3] unsigned* y01[1]
1822# asm 1: vmlal.u32 <r3=reg128#9,<x23=reg128#13%top,<y01=reg128#2%bot
1823# asm 2: vmlal.u32 <r3=q8,<x23=d25,<y01=d2
1824vmlal.u32 q8,d25,d2
1825
1826# qhasm: r3[0,1] +=  x4[0] unsigned*  _5y4[0]; r3[2,3] +=  x4[1] unsigned*  _5y4[1]
1827# asm 1: vmlal.u32 <r3=reg128#9,<x4=reg128#14%bot,<_5y4=reg128#11%bot
1828# asm 2: vmlal.u32 <r3=q8,<x4=d26,<_5y4=d20
1829vmlal.u32 q8,d26,d20
1830
1831# qhasm: r4[0,1]  = x01[0] unsigned*  y4[0];  r4[2,3]  = x01[1] unsigned*  y4[1]
1832# asm 1: vmull.u32 >r4=reg128#10,<x01=reg128#12%bot,<y4=reg128#10%bot
1833# asm 2: vmull.u32 >r4=q9,<x01=d22,<y4=d18
1834vmull.u32 q9,d22,d18
1835
1836# qhasm: r4[0,1] += x01[2] unsigned* y23[2];  r4[2,3] += x01[3] unsigned* y23[3]
1837# asm 1: vmlal.u32 <r4=reg128#10,<x01=reg128#12%top,<y23=reg128#4%top
1838# asm 2: vmlal.u32 <r4=q9,<x01=d23,<y23=d7
1839vmlal.u32 q9,d23,d7
1840
1841# qhasm: r4[0,1] += x23[0] unsigned* y23[0];  r4[2,3] += x23[1] unsigned* y23[1]
1842# asm 1: vmlal.u32 <r4=reg128#10,<x23=reg128#13%bot,<y23=reg128#4%bot
1843# asm 2: vmlal.u32 <r4=q9,<x23=d24,<y23=d6
1844vmlal.u32 q9,d24,d6
1845
1846# qhasm: r4[0,1] += x23[2] unsigned* y01[2];  r4[2,3] += x23[3] unsigned* y01[3]
1847# asm 1: vmlal.u32 <r4=reg128#10,<x23=reg128#13%top,<y01=reg128#2%top
1848# asm 2: vmlal.u32 <r4=q9,<x23=d25,<y01=d3
1849vmlal.u32 q9,d25,d3
1850
1851# qhasm: r4[0,1] +=  x4[0] unsigned* y01[0];  r4[2,3] +=  x4[1] unsigned* y01[1]
1852# asm 1: vmlal.u32 <r4=reg128#10,<x4=reg128#14%bot,<y01=reg128#2%bot
1853# asm 2: vmlal.u32 <r4=q9,<x4=d26,<y01=d2
1854vmlal.u32 q9,d26,d2
1855
1856# qhasm: 2x t1 = r0 unsigned>> 26
1857# asm 1: vshr.u64 >t1=reg128#2,<r0=reg128#15,#26
1858# asm 2: vshr.u64 >t1=q1,<r0=q14,#26
1859vshr.u64 q1,q14,#26
1860
1861# qhasm:    r0 &= mask
1862# asm 1: vand >r0=reg128#4,<r0=reg128#15,<mask=reg128#1
1863# asm 2: vand >r0=q3,<r0=q14,<mask=q0
1864vand q3,q14,q0
1865
1866# qhasm: 2x r1 += t1
1867# asm 1: vadd.i64 >r1=reg128#2,<r1=reg128#3,<t1=reg128#2
1868# asm 2: vadd.i64 >r1=q1,<r1=q2,<t1=q1
1869vadd.i64 q1,q2,q1
1870
1871# qhasm:                 2x t4 = r3 unsigned>> 26
1872# asm 1: vshr.u64 >t4=reg128#3,<r3=reg128#9,#26
1873# asm 2: vshr.u64 >t4=q2,<r3=q8,#26
1874vshr.u64 q2,q8,#26
1875
1876# qhasm:                    r3 &= mask
1877# asm 1: vand >r3=reg128#9,<r3=reg128#9,<mask=reg128#1
1878# asm 2: vand >r3=q8,<r3=q8,<mask=q0
1879vand q8,q8,q0
1880
1881# qhasm:                 2x r4 += t4
1882# asm 1: vadd.i64 >r4=reg128#3,<r4=reg128#10,<t4=reg128#3
1883# asm 2: vadd.i64 >r4=q2,<r4=q9,<t4=q2
1884vadd.i64 q2,q9,q2
1885
1886# qhasm: 2x t2 = r1 unsigned>> 26
1887# asm 1: vshr.u64 >t2=reg128#10,<r1=reg128#2,#26
1888# asm 2: vshr.u64 >t2=q9,<r1=q1,#26
1889vshr.u64 q9,q1,#26
1890
1891# qhasm:    r1 &= mask
1892# asm 1: vand >r1=reg128#2,<r1=reg128#2,<mask=reg128#1
1893# asm 2: vand >r1=q1,<r1=q1,<mask=q0
1894vand q1,q1,q0
1895
1896# qhasm:                 2x t0 = r4 unsigned>> 26
1897# asm 1: vshr.u64 >t0=reg128#11,<r4=reg128#3,#26
1898# asm 2: vshr.u64 >t0=q10,<r4=q2,#26
1899vshr.u64 q10,q2,#26
1900
1901# qhasm: 2x r2 += t2
1902# asm 1: vadd.i64 >r2=reg128#10,<r2=reg128#16,<t2=reg128#10
1903# asm 2: vadd.i64 >r2=q9,<r2=q15,<t2=q9
1904vadd.i64 q9,q15,q9
1905
1906# qhasm:                    r4 &= mask
1907# asm 1: vand >r4=reg128#3,<r4=reg128#3,<mask=reg128#1
1908# asm 2: vand >r4=q2,<r4=q2,<mask=q0
1909vand q2,q2,q0
1910
1911# qhasm:                 2x r0 += t0
1912# asm 1: vadd.i64 >r0=reg128#4,<r0=reg128#4,<t0=reg128#11
1913# asm 2: vadd.i64 >r0=q3,<r0=q3,<t0=q10
1914vadd.i64 q3,q3,q10
1915
1916# qhasm:                 2x t0 <<= 2
1917# asm 1: vshl.i64 >t0=reg128#11,<t0=reg128#11,#2
1918# asm 2: vshl.i64 >t0=q10,<t0=q10,#2
1919vshl.i64 q10,q10,#2
1920
1921# qhasm: 2x t3 = r2 unsigned>> 26
1922# asm 1: vshr.u64 >t3=reg128#12,<r2=reg128#10,#26
1923# asm 2: vshr.u64 >t3=q11,<r2=q9,#26
1924vshr.u64 q11,q9,#26
1925
1926# qhasm:                 2x r0 += t0
1927# asm 1: vadd.i64 >r0=reg128#4,<r0=reg128#4,<t0=reg128#11
1928# asm 2: vadd.i64 >r0=q3,<r0=q3,<t0=q10
1929vadd.i64 q3,q3,q10
1930
1931# qhasm:    x23 = r2 & mask
1932# asm 1: vand >x23=reg128#10,<r2=reg128#10,<mask=reg128#1
1933# asm 2: vand >x23=q9,<r2=q9,<mask=q0
1934vand q9,q9,q0
1935
1936# qhasm: 2x r3 += t3
1937# asm 1: vadd.i64 >r3=reg128#9,<r3=reg128#9,<t3=reg128#12
1938# asm 2: vadd.i64 >r3=q8,<r3=q8,<t3=q11
1939vadd.i64 q8,q8,q11
1940
1941# qhasm:                 2x t1 = r0 unsigned>> 26
1942# asm 1: vshr.u64 >t1=reg128#11,<r0=reg128#4,#26
1943# asm 2: vshr.u64 >t1=q10,<r0=q3,#26
1944vshr.u64 q10,q3,#26
1945
1946# qhasm: 				x23 = x23[0,2,1,3]
1947# asm 1: vtrn.32 <x23=reg128#10%bot,<x23=reg128#10%top
1948# asm 2: vtrn.32 <x23=d18,<x23=d19
1949vtrn.32 d18,d19
1950
1951# qhasm:                    x01 = r0 & mask
1952# asm 1: vand >x01=reg128#4,<r0=reg128#4,<mask=reg128#1
1953# asm 2: vand >x01=q3,<r0=q3,<mask=q0
1954vand q3,q3,q0
1955
1956# qhasm:                 2x r1 += t1
1957# asm 1: vadd.i64 >r1=reg128#2,<r1=reg128#2,<t1=reg128#11
1958# asm 2: vadd.i64 >r1=q1,<r1=q1,<t1=q10
1959vadd.i64 q1,q1,q10
1960
1961# qhasm: 2x t4 = r3 unsigned>> 26
1962# asm 1: vshr.u64 >t4=reg128#11,<r3=reg128#9,#26
1963# asm 2: vshr.u64 >t4=q10,<r3=q8,#26
1964vshr.u64 q10,q8,#26
1965
1966# qhasm: 				x01 = x01[0,2,1,3]
1967# asm 1: vtrn.32 <x01=reg128#4%bot,<x01=reg128#4%top
1968# asm 2: vtrn.32 <x01=d6,<x01=d7
1969vtrn.32 d6,d7
1970
1971# qhasm:    r3 &= mask
1972# asm 1: vand >r3=reg128#1,<r3=reg128#9,<mask=reg128#1
1973# asm 2: vand >r3=q0,<r3=q8,<mask=q0
1974vand q0,q8,q0
1975
1976# qhasm: 				r1 = r1[0,2,1,3]
1977# asm 1: vtrn.32 <r1=reg128#2%bot,<r1=reg128#2%top
1978# asm 2: vtrn.32 <r1=d2,<r1=d3
1979vtrn.32 d2,d3
1980
1981# qhasm: 2x x4 = r4 + t4
1982# asm 1: vadd.i64 >x4=reg128#3,<r4=reg128#3,<t4=reg128#11
1983# asm 2: vadd.i64 >x4=q2,<r4=q2,<t4=q10
1984vadd.i64 q2,q2,q10
1985
1986# qhasm: 				r3 = r3[0,2,1,3]
1987# asm 1: vtrn.32 <r3=reg128#1%bot,<r3=reg128#1%top
1988# asm 2: vtrn.32 <r3=d0,<r3=d1
1989vtrn.32 d0,d1
1990
1991# qhasm: 				x01 = x01[0,1] r1[0,1]
1992# asm 1: vext.32 <x01=reg128#4%top,<r1=reg128#2%bot,<r1=reg128#2%bot,#0
1993# asm 2: vext.32 <x01=d7,<r1=d2,<r1=d2,#0
1994vext.32 d7,d2,d2,#0
1995
1996# qhasm: 				x23 = x23[0,1] r3[0,1]
1997# asm 1: vext.32 <x23=reg128#10%top,<r3=reg128#1%bot,<r3=reg128#1%bot,#0
1998# asm 2: vext.32 <x23=d19,<r3=d0,<r3=d0,#0
1999vext.32 d19,d0,d0,#0
2000
2001# qhasm: 				x4 = x4[0,2,1,3]
2002# asm 1: vtrn.32 <x4=reg128#3%bot,<x4=reg128#3%top
2003# asm 2: vtrn.32 <x4=d4,<x4=d5
2004vtrn.32 d4,d5
2005
2006# qhasm: mem128[input_0] aligned= x01;input_0+=16
2007# asm 1: vst1.8 {<x01=reg128#4%bot-<x01=reg128#4%top},[<input_0=int32#1,: 128]!
2008# asm 2: vst1.8 {<x01=d6-<x01=d7},[<input_0=r0,: 128]!
2009vst1.8 {d6-d7},[r0,: 128]!
2010
2011# qhasm: mem128[input_0] aligned= x23;input_0+=16
2012# asm 1: vst1.8 {<x23=reg128#10%bot-<x23=reg128#10%top},[<input_0=int32#1,: 128]!
2013# asm 2: vst1.8 {<x23=d18-<x23=d19},[<input_0=r0,: 128]!
2014vst1.8 {d18-d19},[r0,: 128]!
2015
2016# qhasm: mem64[input_0] aligned= x4[0]
2017# asm 1: vst1.8 <x4=reg128#3%bot,[<input_0=int32#1,: 64]
2018# asm 2: vst1.8 <x4=d4,[<input_0=r0,: 64]
2019vst1.8 d4,[r0,: 64]
2020
2021# qhasm: return
2022add sp,sp,#0
2023bx lr
2024
2025#endif  /* __arm__ && !OPENSSL_NO_ASM && !__APPLE__ */
2026