397 	veor	q3,q3,q8		@ twisted H
419 	veor	d28,d26,d27		@ Karatsuba pre-processing
440 	veor	d28,d26,d27		@ Karatsuba pre-processing
448 	veor	q3,q0			@ inp^=Xi
459 	veor	q8, q8, q0		@ L = E + F
462 	veor	q9, q9, q11		@ M = G + H
464 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
467 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
470 	veor	q10, q10, q0		@ N = I + J
471 	veor	d16, d16, d17
472 	veor	d18, d18, d19
473 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
476 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
479 	veor	d20, d20, d21
483 	veor	q8, q8, q9
484 	veor	q10, q10, q11
485 	veor	q0, q0, q8
486 	veor	q0, q0, q10
487 	veor	d6,d6,d7	@ Karatsuba pre-processing  define
497 	veor	q8, q8, q1		@ L = E + F
500 	veor	q9, q9, q11		@ M = G + H
502 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
505 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
508 	veor	q10, q10, q1		@ N = I + J
509 	veor	d16, d16, d17
510 	veor	d18, d18, d19
511 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
514 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
517 	veor	d20, d20, d21
521 	veor	q8, q8, q9
522 	veor	q10, q10, q11
523 	veor	q1, q1, q8
524 	veor	q1, q1, q10
534 	veor	q8, q8, q2		@ L = E + F
537 	veor	q9, q9, q11		@ M = G + H
539 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
542 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
545 	veor	q10, q10, q2		@ N = I + J
546 	veor	d16, d16, d17
547 	veor	d18, d18, d19
548 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
551 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
554 	veor	d20, d20, d21
558 	veor	q8, q8, q9
559 	veor	q10, q10, q11
560 	veor	q2, q2, q8
561 	veor	q2, q2, q10
562 	veor	q1,q1,q0		@ Karatsuba post-processing
563 	veor	q1,q1,q2
564 	veor	d1,d1,d2  define
565 	veor	d4,d4,d3	@ Xh|Xl - 256-bit result  define
570 	veor	q10,q10,q9		@
572 	veor	q10, q10, q9		@
573 	veor	d1,d1,d20	@  define
574 	veor	d4,d4,d21  define
577 	veor	q2,q2,q0
578 	veor	q0,q0,q10		@
581 	veor	q0,q0,q2		@
582 	veor	q0,q0,q10		@