389 	veor	q3,q3,q8		@ twisted H
409 	veor	d28,d26,d27		@ Karatsuba pre-processing
428 	veor	d28,d26,d27		@ Karatsuba pre-processing
436 	veor	q3,q0			@ inp^=Xi
447 	veor	q8, q8, q0		@ L = E + F
450 	veor	q9, q9, q11		@ M = G + H
452 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
455 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
458 	veor	q10, q10, q0		@ N = I + J
459 	veor	d16, d16, d17
460 	veor	d18, d18, d19
461 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
464 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
467 	veor	d20, d20, d21
471 	veor	q8, q8, q9
472 	veor	q10, q10, q11
473 	veor	q0, q0, q8
474 	veor	q0, q0, q10
475 	veor	d6,d6,d7	@ Karatsuba pre-processing  define
485 	veor	q8, q8, q1		@ L = E + F
488 	veor	q9, q9, q11		@ M = G + H
490 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
493 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
496 	veor	q10, q10, q1		@ N = I + J
497 	veor	d16, d16, d17
498 	veor	d18, d18, d19
499 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
502 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
505 	veor	d20, d20, d21
509 	veor	q8, q8, q9
510 	veor	q10, q10, q11
511 	veor	q1, q1, q8
512 	veor	q1, q1, q10
522 	veor	q8, q8, q2		@ L = E + F
525 	veor	q9, q9, q11		@ M = G + H
527 	veor	d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
530 	veor	d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
533 	veor	q10, q10, q2		@ N = I + J
534 	veor	d16, d16, d17
535 	veor	d18, d18, d19
536 	veor	d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
539 	veor	d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
542 	veor	d20, d20, d21
546 	veor	q8, q8, q9
547 	veor	q10, q10, q11
548 	veor	q2, q2, q8
549 	veor	q2, q2, q10
550 	veor	q1,q1,q0		@ Karatsuba post-processing
551 	veor	q1,q1,q2
552 	veor	d1,d1,d2  define
553 	veor	d4,d4,d3	@ Xh|Xl - 256-bit result  define
558 	veor	q10,q10,q9		@
560 	veor	q10, q10, q9		@
561 	veor	d1,d1,d20	@  define
562 	veor	d4,d4,d21  define
565 	veor	q2,q2,q0
566 	veor	q0,q0,q10		@
569 	veor	q0,q0,q2		@
570 	veor	q0,q0,q10		@