// File: /workspace/github_c_makefile_star2_O0/maandree[P]libkeccak/./1600.c
// Function: libkeccak_f_round64
LIBKECCAK_GCC_ONLY(__attribute__((__nonnull__, __nothrow__, __hot__)))
static void
libkeccak_f_round64(register struct libkeccak_state *state, register uint64_t rc)
{
	uint64_t *restrict A = state->S.w64;
	uint64_t B[25], C[5], da, db, dc, dd, de;

	/* θ step (step 1 of 3). */
#define X(N) C[N] = A[N * 5] ^ A[N * 5 + 1] ^ A[N * 5 + 2] ^ A[N * 5 + 3] ^ A[N * 5 + 4]
	LIST_5(X, ;);
#undef X

	/* θ step (step 2 of 3). */
	da = C[4] ^ rotate64(C[1], 1);
	dd = C[2] ^ rotate64(C[4], 1);
	db = C[0] ^ rotate64(C[2], 1);
	de = C[3] ^ rotate64(C[0], 1);
	dc = C[1] ^ rotate64(C[3], 1);

	/* ρ and π steps, with last two part of θ. */
#define X(bi, ai, dv, r) B[bi] = rotate64(A[ai] ^ dv, r)
	B[0] = A[0] ^ da;   X( 1, 15, dd, 28);  X( 2,  5, db,  1);  X( 3, 20, de, 27);  X( 4, 10, dc, 62);
	X( 5,  6, db, 44);  X( 6, 21, de, 20);  X( 7, 11, dc,  6);  X( 8,  1, da, 36);  X( 9, 16, dd, 55);
	X(10, 12, dc, 43);  X(11,  2, da,  3);  X(12, 17, dd, 25);  X(13,  7, db, 10);  X(14, 22, de, 39);
	X(15, 18, dd, 21);  X(16,  8, db, 45);  X(17, 23, de,  8);  X(18, 13, dc, 15);  X(19,  3, da, 41);
	X(20, 24, de, 14);  X(21, 14, dc, 61);  X(22,  4, da, 18);  X(23, 19, dd, 56);  X(24,  9, db,  2);
#undef X

	/* ξ step. */
#define X(N) A[N] = B[N] ^ ((~(B[(N + 5) % 25])) & B[(N + 10) % 25])
	LIST_25(X, ;);
#undef X

	/* ι step. */
	A[0] ^= rc;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq -0x18(%rbp), %rcx
xorq 0x8(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x10(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x18(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x20(%rcx), %rax
movq %rax, -0x110(%rbp)
movq -0x18(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x18(%rbp), %rcx
xorq 0x30(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x38(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x40(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x48(%rcx), %rax
movq %rax, -0x108(%rbp)
movq -0x18(%rbp), %rax
movq 0x50(%rax), %rax
movq -0x18(%rbp), %rcx
xorq 0x58(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x60(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x68(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x70(%rcx), %rax
movq %rax, -0x100(%rbp)
movq -0x18(%rbp), %rax
movq 0x78(%rax), %rax
movq -0x18(%rbp), %rcx
xorq 0x80(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x88(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x90(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0x98(%rcx), %rax
movq %rax, -0xf8(%rbp)
movq -0x18(%rbp), %rax
movq 0xa0(%rax), %rax
movq -0x18(%rbp), %rcx
xorq 0xa8(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0xb0(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0xb8(%rcx), %rax
movq -0x18(%rbp), %rcx
xorq 0xc0(%rcx), %rax
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
movq -0x108(%rbp), %rcx
shrq $0x3f, %rcx
movq -0x108(%rbp), %rdx
shlq %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x118(%rbp)
movq -0x100(%rbp), %rax
movq -0xf0(%rbp), %rcx
shrq $0x3f, %rcx
movq -0xf0(%rbp), %rdx
shlq %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x130(%rbp)
movq -0x110(%rbp), %rax
movq -0x100(%rbp), %rcx
shrq $0x3f, %rcx
movq -0x100(%rbp), %rdx
shlq %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x120(%rbp)
movq -0xf8(%rbp), %rax
movq -0x110(%rbp), %rcx
shrq $0x3f, %rcx
movq -0x110(%rbp), %rdx
shlq %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x138(%rbp)
movq -0x108(%rbp), %rax
movq -0xf8(%rbp), %rcx
shrq $0x3f, %rcx
movq -0xf8(%rbp), %rdx
shlq %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x128(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rax
xorq -0x118(%rbp), %rax
movq %rax, -0xe0(%rbp)
movq -0x18(%rbp), %rax
movq 0x78(%rax), %rax
xorq -0x130(%rbp), %rax
shrq $0x24, %rax
movq -0x18(%rbp), %rcx
movq 0x78(%rcx), %rcx
xorq -0x130(%rbp), %rcx
shlq $0x1c, %rcx
orq %rcx, %rax
movq %rax, -0xd8(%rbp)
movq -0x18(%rbp), %rax
movq 0x28(%rax), %rax
xorq -0x120(%rbp), %rax
shrq $0x3f, %rax
movq -0x18(%rbp), %rcx
movq 0x28(%rcx), %rcx
xorq -0x120(%rbp), %rcx
shlq %rcx
orq %rcx, %rax
movq %rax, -0xd0(%rbp)
movq -0x18(%rbp), %rax
movq 0xa0(%rax), %rax
xorq -0x138(%rbp), %rax
shrq $0x25, %rax
movq -0x18(%rbp), %rcx
movq 0xa0(%rcx), %rcx
xorq -0x138(%rbp), %rcx
shlq $0x1b, %rcx
orq %rcx, %rax
movq %rax, -0xc8(%rbp)
movq -0x18(%rbp), %rax
movq 0x50(%rax), %rax
xorq -0x128(%rbp), %rax
shrq $0x2, %rax
movq -0x18(%rbp), %rcx
movq 0x50(%rcx), %rcx
xorq -0x128(%rbp), %rcx
shlq $0x3e, %rcx
orq %rcx, %rax
movq %rax, -0xc0(%rbp)
movq -0x18(%rbp), %rax
movq 0x30(%rax), %rax
xorq -0x120(%rbp), %rax
shrq $0x14, %rax
movq -0x18(%rbp), %rcx
movq 0x30(%rcx), %rcx
xorq -0x120(%rbp), %rcx
shlq $0x2c, %rcx
orq %rcx, %rax
movq %rax, -0xb8(%rbp)
movq -0x18(%rbp), %rax
movq 0xa8(%rax), %rax
xorq -0x138(%rbp), %rax
shrq $0x2c, %rax
movq -0x18(%rbp), %rcx
movq 0xa8(%rcx), %rcx
xorq -0x138(%rbp), %rcx
shlq $0x14, %rcx
orq %rcx, %rax
movq %rax, -0xb0(%rbp)
movq -0x18(%rbp), %rax
movq 0x58(%rax), %rax
xorq -0x128(%rbp), %rax
shrq $0x3a, %rax
movq -0x18(%rbp), %rcx
movq 0x58(%rcx), %rcx
xorq -0x128(%rbp), %rcx
shlq $0x6, %rcx
orq %rcx, %rax
movq %rax, -0xa8(%rbp)
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
xorq -0x118(%rbp), %rax
shrq $0x1c, %rax
movq -0x18(%rbp), %rcx
movq 0x8(%rcx), %rcx
xorq -0x118(%rbp), %rcx
shlq $0x24, %rcx
orq %rcx, %rax
movq %rax, -0xa0(%rbp)
movq -0x18(%rbp), %rax
movq 0x80(%rax), %rax
xorq -0x130(%rbp), %rax
shrq $0x9, %rax
movq -0x18(%rbp), %rcx
movq 0x80(%rcx), %rcx
xorq -0x130(%rbp), %rcx
shlq $0x37, %rcx
orq %rcx, %rax
movq %rax, -0x98(%rbp)
movq -0x18(%rbp), %rax
movq 0x60(%rax), %rax
xorq -0x128(%rbp), %rax
shrq $0x15, %rax
movq -0x18(%rbp), %rcx
movq 0x60(%rcx), %rcx
xorq -0x128(%rbp), %rcx
shlq $0x2b, %rcx
orq %rcx, %rax
movq %rax, -0x90(%rbp)
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
xorq -0x118(%rbp), %rax
shrq $0x3d, %rax
movq -0x18(%rbp), %rcx
movq 0x10(%rcx), %rcx
xorq -0x118(%rbp), %rcx
shlq $0x3, %rcx
orq %rcx, %rax
movq %rax, -0x88(%rbp)
movq -0x18(%rbp), %rax
movq 0x88(%rax), %rax
xorq -0x130(%rbp), %rax
shrq $0x27, %rax
movq -0x18(%rbp), %rcx
movq 0x88(%rcx), %rcx
xorq -0x130(%rbp), %rcx
shlq $0x19, %rcx
orq %rcx, %rax
movq %rax, -0x80(%rbp)
movq -0x18(%rbp), %rax
movq 0x38(%rax), %rax
xorq -0x120(%rbp), %rax
shrq $0x36, %rax
movq -0x18(%rbp), %rcx
movq 0x38(%rcx), %rcx
xorq -0x120(%rbp), %rcx
shlq $0xa, %rcx
orq %rcx, %rax
movq %rax, -0x78(%rbp)
movq -0x18(%rbp), %rax
movq 0xb0(%rax), %rax
xorq -0x138(%rbp), %rax
shrq $0x19, %rax
movq -0x18(%rbp), %rcx
movq 0xb0(%rcx), %rcx
xorq -0x138(%rbp), %rcx
shlq $0x27, %rcx
orq %rcx, %rax
movq %rax, -0x70(%rbp)
movq -0x18(%rbp), %rax
movq 0x90(%rax), %rax
xorq -0x130(%rbp), %rax
shrq $0x2b, %rax
movq -0x18(%rbp), %rcx
movq 0x90(%rcx), %rcx
xorq -0x130(%rbp), %rcx
shlq $0x15, %rcx
orq %rcx, %rax
movq %rax, -0x68(%rbp)
movq -0x18(%rbp), %rax
movq 0x40(%rax), %rax
xorq -0x120(%rbp), %rax
shrq $0x13, %rax
movq -0x18(%rbp), %rcx
movq 0x40(%rcx), %rcx
xorq -0x120(%rbp), %rcx
shlq $0x2d, %rcx
orq %rcx, %rax
movq %rax, -0x60(%rbp)
movq -0x18(%rbp), %rax
movq 0xb8(%rax), %rax
xorq -0x138(%rbp), %rax
shrq $0x38, %rax
movq -0x18(%rbp), %rcx
movq 0xb8(%rcx), %rcx
xorq -0x138(%rbp), %rcx
shlq $0x8, %rcx
orq %rcx, %rax
movq %rax, -0x58(%rbp)
movq -0x18(%rbp), %rax
movq 0x68(%rax), %rax
xorq -0x128(%rbp), %rax
shrq $0x31, %rax
movq -0x18(%rbp), %rcx
movq 0x68(%rcx), %rcx
xorq -0x128(%rbp), %rcx
shlq $0xf, %rcx
orq %rcx, %rax
movq %rax, -0x50(%rbp)
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
xorq -0x118(%rbp), %rax
shrq $0x17, %rax
movq -0x18(%rbp), %rcx
movq 0x18(%rcx), %rcx
xorq -0x118(%rbp), %rcx
shlq $0x29, %rcx
orq %rcx, %rax
movq %rax, -0x48(%rbp)
movq -0x18(%rbp), %rax
movq 0xc0(%rax), %rax
xorq -0x138(%rbp), %rax
shrq $0x32, %rax
movq -0x18(%rbp), %rcx
movq 0xc0(%rcx), %rcx
xorq -0x138(%rbp), %rcx
shlq $0xe, %rcx
orq %rcx, %rax
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rax
movq 0x70(%rax), %rax
xorq -0x128(%rbp), %rax
shrq $0x3, %rax
movq -0x18(%rbp), %rcx
movq 0x70(%rcx), %rcx
xorq -0x128(%rbp), %rcx
shlq $0x3d, %rcx
orq %rcx, %rax
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
xorq -0x118(%rbp), %rax
shrq $0x2e, %rax
movq -0x18(%rbp), %rcx
movq 0x20(%rcx), %rcx
xorq -0x118(%rbp), %rcx
shlq $0x12, %rcx
orq %rcx, %rax
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rax
movq 0x98(%rax), %rax
xorq -0x130(%rbp), %rax
shrq $0x8, %rax
movq -0x18(%rbp), %rcx
movq 0x98(%rcx), %rcx
xorq -0x130(%rbp), %rcx
shlq $0x38, %rcx
orq %rcx, %rax
movq %rax, -0x28(%rbp)
movq -0x18(%rbp), %rax
movq 0x48(%rax), %rax
xorq -0x120(%rbp), %rax
shrq $0x3e, %rax
movq -0x18(%rbp), %rcx
movq 0x48(%rcx), %rcx
xorq -0x120(%rbp), %rcx
shlq $0x2, %rcx
orq %rcx, %rax
movq %rax, -0x20(%rbp)
movq -0xe0(%rbp), %rcx
movq -0xb8(%rbp), %rax
xorq $-0x1, %rax
andq -0x90(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0xd8(%rbp), %rcx
movq -0xb0(%rbp), %rax
xorq $-0x1, %rax
andq -0x88(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0xd0(%rbp), %rcx
movq -0xa8(%rbp), %rax
xorq $-0x1, %rax
andq -0x80(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0xc8(%rbp), %rcx
movq -0xa0(%rbp), %rax
xorq $-0x1, %rax
andq -0x78(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0xc0(%rbp), %rcx
movq -0x98(%rbp), %rax
xorq $-0x1, %rax
andq -0x70(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x20(%rax)
movq -0xb8(%rbp), %rcx
movq -0x90(%rbp), %rax
xorq $-0x1, %rax
andq -0x68(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0xb0(%rbp), %rcx
movq -0x88(%rbp), %rax
xorq $-0x1, %rax
andq -0x60(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x30(%rax)
movq -0xa8(%rbp), %rcx
movq -0x80(%rbp), %rax
xorq $-0x1, %rax
andq -0x58(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x38(%rax)
movq -0xa0(%rbp), %rcx
movq -0x78(%rbp), %rax
xorq $-0x1, %rax
andq -0x50(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x40(%rax)
movq -0x98(%rbp), %rcx
movq -0x70(%rbp), %rax
xorq $-0x1, %rax
andq -0x48(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x48(%rax)
movq -0x90(%rbp), %rcx
movq -0x68(%rbp), %rax
xorq $-0x1, %rax
andq -0x40(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x50(%rax)
movq -0x88(%rbp), %rcx
movq -0x60(%rbp), %rax
xorq $-0x1, %rax
andq -0x38(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x58(%rax)
movq -0x80(%rbp), %rcx
movq -0x58(%rbp), %rax
xorq $-0x1, %rax
andq -0x30(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x60(%rax)
movq -0x78(%rbp), %rcx
movq -0x50(%rbp), %rax
xorq $-0x1, %rax
andq -0x28(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x68(%rax)
movq -0x70(%rbp), %rcx
movq -0x48(%rbp), %rax
xorq $-0x1, %rax
andq -0x20(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x70(%rax)
movq -0x68(%rbp), %rcx
movq -0x40(%rbp), %rax
xorq $-0x1, %rax
andq -0xe0(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x78(%rax)
movq -0x60(%rbp), %rcx
movq -0x38(%rbp), %rax
xorq $-0x1, %rax
andq -0xd8(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x80(%rax)
movq -0x58(%rbp), %rcx
movq -0x30(%rbp), %rax
xorq $-0x1, %rax
andq -0xd0(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x88(%rax)
movq -0x50(%rbp), %rcx
movq -0x28(%rbp), %rax
xorq $-0x1, %rax
andq -0xc8(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x90(%rax)
movq -0x48(%rbp), %rcx
movq -0x20(%rbp), %rax
xorq $-0x1, %rax
andq -0xc0(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x98(%rax)
movq -0x40(%rbp), %rcx
movq -0xe0(%rbp), %rax
xorq $-0x1, %rax
andq -0xb8(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa0(%rax)
movq -0x38(%rbp), %rcx
movq -0xd8(%rbp), %rax
xorq $-0x1, %rax
andq -0xb0(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa8(%rax)
movq -0x30(%rbp), %rcx
movq -0xd0(%rbp), %rax
xorq $-0x1, %rax
andq -0xa8(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xb0(%rax)
movq -0x28(%rbp), %rcx
movq -0xc8(%rbp), %rax
xorq $-0x1, %rax
andq -0xa0(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xb8(%rax)
movq -0x20(%rbp), %rcx
movq -0xc0(%rbp), %rax
xorq $-0x1, %rax
andq -0x98(%rbp), %rax
xorq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xc0(%rax)
movq -0x10(%rbp), %rcx
movq -0x18(%rbp), %rax
xorq (%rax), %rcx
movq %rcx, (%rax)
addq $0xc0, %rsp
popq %rbp
retq