396 	veor	q3,q3,q8		@ twisted H
418 	veor	d28,d26,d27		@ Karatsuba pre-processing
439 	veor	d28,d26,d27		@ Karatsuba pre-processing
447 	veor	q3,q0			@ inp^=Xi
458 	veor	q8, q8, q0		@ L = E + F
461 	veor	q9, q9, q11		@ M = G + H
463 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
466 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
469 	veor	q10, q10, q0		@ N = I + J
470 	veor	d16, d16, d17
471 	veor	d18, d18, d19
472 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
475 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
478 	veor	d20, d20, d21
482 	veor	q8, q8, q9
483 	veor	q10, q10, q11
484 	veor	q0, q0, q8
485 	veor	q0, q0, q10
486 	veor	d6,d6,d7	@ Karatsuba pre-processing  define
496 	veor	q8, q8, q1		@ L = E + F
499 	veor	q9, q9, q11		@ M = G + H
501 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
504 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
507 	veor	q10, q10, q1		@ N = I + J
508 	veor	d16, d16, d17
509 	veor	d18, d18, d19
510 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
513 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
516 	veor	d20, d20, d21
520 	veor	q8, q8, q9
521 	veor	q10, q10, q11
522 	veor	q1, q1, q8
523 	veor	q1, q1, q10
533 	veor	q8, q8, q2		@ L = E + F
536 	veor	q9, q9, q11		@ M = G + H
538 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
541 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
544 	veor	q10, q10, q2		@ N = I + J
545 	veor	d16, d16, d17
546 	veor	d18, d18, d19
547 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
550 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
553 	veor	d20, d20, d21
557 	veor	q8, q8, q9
558 	veor	q10, q10, q11
559 	veor	q2, q2, q8
560 	veor	q2, q2, q10
561 	veor	q1,q1,q0		@ Karatsuba post-processing
562 	veor	q1,q1,q2
563 	veor	d1,d1,d2  define
564 	veor	d4,d4,d3	@ Xh|Xl - 256-bit result  define
569 	veor	q10,q10,q9		@
571 	veor	q10, q10, q9		@
572 	veor	d1,d1,d20	@  define
573 	veor	d4,d4,d21  define
576 	veor	q2,q2,q0
577 	veor	q0,q0,q10		@
580 	veor	q0,q0,q2		@
581 	veor	q0,q0,q10		@