the KeccakF permutation MOVQ (DI), SI MOVQ 8(DI), BP MOVQ 32(DI), R15 XORQ 40(DI), SI XORQ 48(DI), BP XORQ 72(DI), R15 XORQ 80(DI), SI XORQ 88(DI), BP XORQ 112(DI), R15 XORQ 120(DI), SI XORQ 128(DI), BP XORQ 152(DI), R15 XORQ 160(DI), SI XORQ 168(DI), BP MOVQ 176(DI), DX MOVQ 184(DI), R8 XORQ 192(DI), R15 // Prepare round MOVQ BP, BX ROLQ $0x01, BX MOVQ 16(DI), R12 XORQ 56(DI), DX XORQ R15, BX XORQ 96(DI), R12 XORQ 136(DI), DX XORQ DX, R12 MOVQ R12, CX ROLQ $0x01, CX MOVQ 24(DI), R13 XORQ 64(DI), R8...

TEXT ·a2(SB), 0, $0-0
	CMPL runtime·writeBarrier(SB), $0
	MOVQ $0, R15
	RET
TEXT ·a3(SB), 0, $0-0
	CMPL runtime·writeBarrier(SB), $0
	XORL R15, R15
	RET
TEXT ·a4(SB), 0, $0-0
	CMPL runtime·writeBarrier(SB), $0
	XORQ R15, R15
	RET
TEXT ·a5(SB), 0, $0-0
	CMPL runtime·writeBarrier(SB), $0
	XORL R15, R15
	RET
TEXT ·a6(SB), 0, $0-0
	CMPL runtime·writeBarrier(SB), $0
	POPQ R15
	PUSHQ R15
	RET
TEXT ·a7(SB), 0, $0-0

	XORQ DX, (BX)                           // 483113
	XORQ R11, (BX)                          // 4c311b
	XORQ DX, (R11)                          // 493113
	XORQ R11, (R11)                         // 4d311b
	XORQ DX, DX                             // 4831d2 or 4833d2
	XORQ R11, DX                            // 4c31da or 4933d3
	XORQ DX, R11                            // 4931d3 or 4c33da