390 	veor	q3,q3,q8		@ twisted H
410 	veor	d28,d26,d27		@ Karatsuba pre-processing
429 	veor	d28,d26,d27		@ Karatsuba pre-processing
437 	veor	q3,q0			@ inp^=Xi
448 	veor	q8, q8, q0		@ L = E + F
451 	veor	q9, q9, q11		@ M = G + H
453 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
456 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
459 	veor	q10, q10, q0		@ N = I + J
460 	veor	d16, d16, d17
461 	veor	d18, d18, d19
462 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
465 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
468 	veor	d20, d20, d21
472 	veor	q8, q8, q9
473 	veor	q10, q10, q11
474 	veor	q0, q0, q8
475 	veor	q0, q0, q10
476 	veor	d6,d6,d7	@ Karatsuba pre-processing  define
486 	veor	q8, q8, q1		@ L = E + F
489 	veor	q9, q9, q11		@ M = G + H
491 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
494 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
497 	veor	q10, q10, q1		@ N = I + J
498 	veor	d16, d16, d17
499 	veor	d18, d18, d19
500 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
503 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
506 	veor	d20, d20, d21
510 	veor	q8, q8, q9
511 	veor	q10, q10, q11
512 	veor	q1, q1, q8
513 	veor	q1, q1, q10
523 	veor	q8, q8, q2		@ L = E + F
526 	veor	q9, q9, q11		@ M = G + H
528 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
531 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
534 	veor	q10, q10, q2		@ N = I + J
535 	veor	d16, d16, d17
536 	veor	d18, d18, d19
537 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
540 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
543 	veor	d20, d20, d21
547 	veor	q8, q8, q9
548 	veor	q10, q10, q11
549 	veor	q2, q2, q8
550 	veor	q2, q2, q10
551 	veor	q1,q1,q0		@ Karatsuba post-processing
552 	veor	q1,q1,q2
553 	veor	d1,d1,d2  define
554 	veor	d4,d4,d3	@ Xh|Xl - 256-bit result  define
559 	veor	q10,q10,q9		@
561 	veor	q10, q10, q9		@
562 	veor	d1,d1,d20	@  define
563 	veor	d4,d4,d21  define
566 	veor	q2,q2,q0
567 	veor	q0,q0,q10		@
570 	veor	q0,q0,q2		@
571 	veor	q0,q0,q10		@