327 	veor		q3,q3,q8		@ twisted H
346 	veor		d28,d26,d27		@ Karatsuba pre-processing
364 	veor		d28,d26,d27		@ Karatsuba pre-processing
372 	veor		q3,q0			@ inp^=Xi
383 	veor		q8, q8, q0		@ L = E + F
386 	veor		q9, q9, q11		@ M = G + H
388 	veor		d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
391 	veor		d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
394 	veor		q10, q10, q0		@ N = I + J
395 	veor		d16, d16, d17
396 	veor		d18, d18, d19
397 	veor		d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
400 	veor		d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
403 	veor		d20, d20, d21
407 	veor		q8, q8, q9
408 	veor		q10, q10, q11
409 	veor		q0, q0, q8
410 	veor		q0, q0, q10
411 	veor		d6,d6,d7	@ Karatsuba pre-processing  define
421 	veor		q8, q8, q1		@ L = E + F
424 	veor		q9, q9, q11		@ M = G + H
426 	veor		d16, d16, d17	@ t0 = (L) (P0 + P1) << 8
429 	veor		d18, d18, d19	@ t1 = (M) (P2 + P3) << 16
432 	veor		q10, q10, q1		@ N = I + J
433 	veor		d16, d16, d17
434 	veor		d18, d18, d19
435 	veor		d20, d20, d21	@ t2 = (N) (P4 + P5) << 24
438 	veor		d22, d22, d23	@ t3 = (K) (P6 + P7) << 32
441 	veor		d20, d20, d21
445 	veor		q8, q8, q9
446 	veor		q10, q10, q11
447 	veor		q1, q1, q8
448 	veor		q1, q1, q10
458 	veor		q8, q8, q2		@ 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, q2		@ 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		q2, q2, q8
485 	veor		q2, q2, q10
486 	veor		q1,q1,q0		@ Karatsuba post-processing
487 	veor		q1,q1,q2
488 	veor		d1,d1,d2  define
489 	veor		d4,d4,d3	@ Xh|Xl - 256-bit result  define
494 	veor		q10,q10,q9		@
496 	veor		q10, q10, q9		@
497  	veor		d1,d1,d20	@  define
498 	veor		d4,d4,d21  define
501 	veor		q2,q2,q0
502 	veor		q0,q0,q10		@
505 	veor		q0,q0,q2		@
506 	veor		q0,q0,q10		@