// File: /workspace/github_c_makefile_star2_O2/ww9210[P]xnuca_final_ssp/sha3.c
// Function: rhash_sha3_process_block
static void rhash_sha3_process_block(uint64_t hash[25], const uint64_t *block, size_t block_size)
{
	/* expanded loop */
	hash[ 0] ^= le2me_64(block[ 0]);
	hash[ 1] ^= le2me_64(block[ 1]);
	hash[ 2] ^= le2me_64(block[ 2]);
	hash[ 3] ^= le2me_64(block[ 3]);
	hash[ 4] ^= le2me_64(block[ 4]);
	hash[ 5] ^= le2me_64(block[ 5]);
	hash[ 6] ^= le2me_64(block[ 6]);
	hash[ 7] ^= le2me_64(block[ 7]);
	hash[ 8] ^= le2me_64(block[ 8]);
	/* if not sha3-512 */
	if (block_size > 72) {
		hash[ 9] ^= le2me_64(block[ 9]);
		hash[10] ^= le2me_64(block[10]);
		hash[11] ^= le2me_64(block[11]);
		hash[12] ^= le2me_64(block[12]);
		/* if not sha3-384 */
		if (block_size > 104) {
			hash[13] ^= le2me_64(block[13]);
			hash[14] ^= le2me_64(block[14]);
			hash[15] ^= le2me_64(block[15]);
			hash[16] ^= le2me_64(block[16]);
			/* if not sha3-256 */
			if (block_size > 136) {
				hash[17] ^= le2me_64(block[17]);
#ifdef FULL_SHA3_FAMILY_SUPPORT
				/* if not sha3-224 */
				if (block_size > 144) {
					hash[18] ^= le2me_64(block[18]);
					hash[19] ^= le2me_64(block[19]);
					hash[20] ^= le2me_64(block[20]);
					hash[21] ^= le2me_64(block[21]);
					hash[22] ^= le2me_64(block[22]);
					hash[23] ^= le2me_64(block[23]);
					hash[24] ^= le2me_64(block[24]);
				}
#endif
			}
		}
	}
	/* make a permutation of the hash */
	rhash_sha3_permutation(hash);
}

// Assembly:
movq (%rsi), %rax
xorq %rax, (%rdi)
movq 0x8(%rsi), %rax
xorq %rax, 0x8(%rdi)
movq 0x10(%rsi), %rax
xorq %rax, 0x10(%rdi)
movq 0x18(%rsi), %rax
xorq %rax, 0x18(%rdi)
movq 0x20(%rsi), %rax
xorq %rax, 0x20(%rdi)
movq 0x28(%rsi), %rax
xorq %rax, 0x28(%rdi)
movq 0x30(%rsi), %rax
xorq %rax, 0x30(%rdi)
movq 0x38(%rsi), %rax
xorq %rax, 0x38(%rdi)
movq 0x40(%rsi), %rax
xorq %rax, 0x40(%rdi)
cmpq $0x49, %rdx
jb 0x251d
movq 0x48(%rsi), %rax
xorq %rax, 0x48(%rdi)
movq 0x50(%rsi), %rax
xorq %rax, 0x50(%rdi)
movq 0x58(%rsi), %rax
xorq %rax, 0x58(%rdi)
movq 0x60(%rsi), %rax
xorq %rax, 0x60(%rdi)
cmpq $0x69, %rdx
jb 0x251d
movq 0x68(%rsi), %rax
xorq %rax, 0x68(%rdi)
movq 0x70(%rsi), %rax
xorq %rax, 0x70(%rdi)
movq 0x78(%rsi), %rax
xorq %rax, 0x78(%rdi)
movq 0x80(%rsi), %rax
xorq %rax, 0x80(%rdi)
cmpq $0x89, %rdx
jb 0x251d
movq 0x88(%rsi), %rax
xorq %rax, 0x88(%rdi)
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
xorl %ecx, %ecx
cmpq $0x18, %rcx
je 0x2846
movq %rcx, -0x88(%rbp)
xorl %eax, %eax
cmpq $0x5, %rax
je 0x2571
movq 0x28(%rdi,%rax,8), %rcx
xorq (%rdi,%rax,8), %rcx
xorq 0x50(%rdi,%rax,8), %rcx
xorq 0x78(%rdi,%rax,8), %rcx
xorq 0xa0(%rdi,%rax,8), %rcx
movq %rcx, -0xe0(%rbp,%rax,8)
incq %rax
jmp 0x2543
movq -0xd8(%rbp), %rax
movq -0xc8(%rbp), %rcx
movq %rcx, %rdx
rolq %rdx
xorq %rax, %rdx
rolq %rax
movq -0xe0(%rbp), %rsi
movq -0xc0(%rbp), %r8
xorq %r8, %rax
movq %rax, -0xb0(%rbp)
movq -0xd0(%rbp), %rax
rolq %r8
xorq %rax, %r8
rolq %rax
xorq %rsi, %rax
movq %rax, -0xa8(%rbp)
movq %rdx, -0xa0(%rbp)
rolq %rsi
movq %r8, -0x98(%rbp)
xorq %rcx, %rsi
movq %rsi, -0x90(%rbp)
xorl %eax, %eax
cmpq $0x5, %rax
je 0x2608
movq -0xb0(%rbp,%rax,8), %rcx
xorq %rcx, (%rdi,%rax,8)
xorq %rcx, 0x28(%rdi,%rax,8)
xorq %rcx, 0x50(%rdi,%rax,8)
xorq %rcx, 0x78(%rdi,%rax,8)
xorq %rcx, 0xa0(%rdi,%rax,8)
incq %rax
jmp 0x25da
movq 0x8(%rdi), %rax
movq %rax, -0x80(%rbp)
movq 0x10(%rdi), %rax
movq %rax, -0x50(%rbp)
movq 0x18(%rdi), %rax
movq %rax, -0x78(%rbp)
movq 0x20(%rdi), %rax
movq %rax, -0x58(%rbp)
movq 0x28(%rdi), %rax
movq %rax, -0x68(%rbp)
movq 0x30(%rdi), %r12
rolq $0x2c, %r12
movq 0x38(%rdi), %rax
movq %rax, -0x70(%rbp)
movq 0x40(%rdi), %rax
movq %rax, -0x40(%rbp)
movq 0x48(%rdi), %rbx
movq 0x50(%rdi), %rax
movq %rax, -0x60(%rbp)
movq 0x58(%rdi), %rax
movq %rax, -0x48(%rbp)
movq 0x60(%rdi), %r15
movq 0x68(%rdi), %r14
movq 0x70(%rdi), %r10
movq 0x78(%rdi), %r11
movq 0x80(%rdi), %rax
movq %rax, -0x30(%rbp)
movq 0x88(%rdi), %rax
movq %rax, -0x38(%rbp)
movq 0x90(%rdi), %r13
movq 0x98(%rdi), %r8
movq 0xa0(%rdi), %rcx
movq 0xa8(%rdi), %r9
movq 0xb0(%rdi), %rax
movq 0xb8(%rdi), %rdx
movq 0xc0(%rdi), %rsi
movq %r12, 0x8(%rdi)
rolq $0x14, %rbx
movq %rbx, 0x30(%rdi)
rolq $0x3d, %rax
movq %rax, 0x48(%rdi)
rolq $0x27, %r10
rolq $0x12, %rcx
movq %r10, 0xb0(%rdi)
movq %rcx, 0x70(%rdi)
movq -0x50(%rbp), %rax
rolq $0x3e, %rax
movq %rax, 0xa0(%rdi)
rolq $0x2b, %r15
movq %r15, 0x10(%rdi)
rolq $0x19, %r14
rolq $0x8, %r8
movq %r14, 0x60(%rdi)
movq %r8, 0x68(%rdi)
rolq $0x38, %rdx
movq %rdx, 0x98(%rdi)
rolq $0x29, %r11
movq %r11, 0xb8(%rdi)
movq -0x58(%rbp), %rax
rolq $0x1b, %rax
rolq $0xe, %rsi
movq %rax, 0x78(%rdi)
movq %rsi, 0x20(%rdi)
rolq $0x2, %r9
movq %r9, 0xc0(%rdi)
movq -0x40(%rbp), %rax
rolq $0x37, %rax
movq %rax, 0xa8(%rdi)
movq -0x68(%rbp), %rax
rolq $0x24, %rax
movq -0x30(%rbp), %rcx
rolq $0x2d, %rcx
movq %rcx, 0x40(%rdi)
movq %rax, 0x80(%rdi)
movq -0x78(%rbp), %rax
rolq $0x1c, %rax
movq %rax, 0x28(%rdi)
rolq $0x15, %r13
movq %r13, 0x18(%rdi)
movq -0x48(%rbp), %rax
rolq $0xa, %rax
movq -0x38(%rbp), %rcx
rolq $0xf, %rcx
movq %rcx, 0x90(%rdi)
movq %rax, 0x88(%rdi)
movq -0x70(%rbp), %rax
rolq $0x6, %rax
movq %rax, 0x58(%rdi)
movq -0x60(%rbp), %rax
rolq $0x3, %rax
movq %rax, 0x38(%rdi)
movq -0x80(%rbp), %rax
rolq %rax
movq %rax, 0x50(%rdi)
xorl %eax, %eax
cmpq $0x18, %rax
ja 0x2829
movq (%rdi,%rax,8), %rcx
movq 0x8(%rdi,%rax,8), %rdx
movq %rdx, %r8
notq %r8
movq 0x10(%rdi,%rax,8), %rsi
andq %rsi, %r8
xorq %rcx, %r8
movq %r8, (%rdi,%rax,8)
movq %rsi, %r8
notq %r8
movq 0x18(%rdi,%rax,8), %r9
andq %r9, %r8
xorq %rdx, %r8
movq %r8, 0x8(%rdi,%rax,8)
movq 0x20(%rdi,%rax,8), %r8
movq %r8, %r10
notq %r10
andq %rcx, %r10
xorq %r9, %r10
notq %r9
andq %r8, %r9
xorq %rsi, %r9
movq %r9, 0x10(%rdi,%rax,8)
movq %r10, 0x18(%rdi,%rax,8)
notq %rcx
andq %rdx, %rcx
xorq %r8, %rcx
movq %rcx, 0x20(%rdi,%rax,8)
addq $0x5, %rax
jmp 0x27b7
movq -0x88(%rbp), %rcx
leaq 0x2189(%rip), %rax      # 0x49c0
movq (%rax,%rcx,8), %rax
xorq %rax, (%rdi)
incq %rcx
jmp 0x2530
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq