// File: /workspace/github_c_makefile_star2_O0/maandree[P]libkeccak/digest.c
// Function: libkeccak_squeezing_phase
LIBKECCAK_GCC_ONLY(__attribute__((__nonnull__, __nothrow__, __hot__)))
static void
libkeccak_squeezing_phase(register struct libkeccak_state *restrict state, long int rr,
                          long int nn, long int ww, register unsigned char *restrict hashsum)
{
	register long int ni = (rr - 1) / ww + 1;
	auto long int olen = state->n;
	auto long int i, j = 0;
	register long int k;
	if (__builtin_expect(ww == 8, 1)) {
		register uint64_t v;
		while (olen > 0) {
			for (i = 0; i < ni && j < nn; i++) {
				v = state->S.w64[LANE_TRANSPOSE_MAP[i]];
				for (k = 0; k++ < ww && j++ < nn; v >>= 8)
					*hashsum++ = (unsigned char)v;
			}
			olen -= state->r;
			if (olen > 0)
				libkeccak_f(state);
		}
		if (state->n & 7)
			hashsum[-1] &= (unsigned char)((1 << (state->n & 7)) - 1);
	} else if (__builtin_expect(ww == 4, 1)) {
		register uint32_t v;
		while (olen > 0) {
			for (i = 0; i < ni && j < nn; i++) {
				v = state->S.w32[LANE_TRANSPOSE_MAP[i]];
				for (k = 0; k++ < ww && j++ < nn; v >>= 8)
					*hashsum++ = (unsigned char)v;
			}
			olen -= state->r;
			if (olen > 0)
				libkeccak_f(state);
		}
		if (state->n & 7)
			hashsum[-1] &= (unsigned char)((1 << (state->n & 7)) - 1);
	} else if (__builtin_expect(ww == 2, 1)) {
		register uint16_t v;
		while (olen > 0) {
			for (i = 0; i < ni && j < nn; i++) {
				v = state->S.w16[LANE_TRANSPOSE_MAP[i]];
				for (k = 0; k++ < ww && j++ < nn; v >>= 8)
					*hashsum++ = (unsigned char)v;
			}
			olen -= state->r;
			if (olen > 0)
				libkeccak_f(state);
		}
		if (state->n & 7)
			hashsum[-1] &= (unsigned char)((1 << (state->n & 7)) - 1);
	} else if (__builtin_expect(ww == 1, 1)) {
		register uint8_t v;
		while (olen > 0) {
			for (i = 0; i < ni && j < nn; i++, j++) {
				v = state->S.w8[LANE_TRANSPOSE_MAP[i]];
				*hashsum++ = (unsigned char)v;
			}
			olen -= state->r;
			if (olen > 0)
				libkeccak_f(state);
		}
		if (state->n & 7)
			hashsum[-1] &= (unsigned char)((1 << (state->n & 7)) - 1);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq -0x10(%rbp), %rax
subq $0x1, %rax
cqto
idivq -0x20(%rbp)
addq $0x1, %rax
movq %rax, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0xd8(%rax), %rax
movq %rax, -0x38(%rbp)
movq $0x0, -0x48(%rbp)
cmpq $0x8, -0x20(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x3107
jmp 0x2fc4
cmpq $0x0, -0x38(%rbp)
jle 0x30c2
movq $0x0, -0x40(%rbp)
movq -0x40(%rbp), %rcx
xorl %eax, %eax
cmpq -0x30(%rbp), %rcx
movb %al, -0x60(%rbp)
jge 0x2ff4
movq -0x48(%rbp), %rax
cmpq -0x18(%rbp), %rax
setl %al
movb %al, -0x60(%rbp)
movb -0x60(%rbp), %al
testb $0x1, %al
jne 0x3000
jmp 0x3097
movq -0x8(%rbp), %rax
movq -0x40(%rbp), %rdx
leaq 0x4061(%rip), %rcx      # 0x7070
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rcx
movq %rcx, %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
xorl %eax, %eax
cmpq -0x20(%rbp), %rcx
movb %al, -0x61(%rbp)
jge 0x3056
movq -0x48(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x48(%rbp)
cmpq -0x18(%rbp), %rax
setl %al
movb %al, -0x61(%rbp)
movb -0x61(%rbp), %al
testb $0x1, %al
jne 0x305f
jmp 0x3084
movq -0x58(%rbp), %rax
movb %al, %cl
movq -0x28(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x28(%rbp)
movb %cl, (%rax)
movq -0x58(%rbp), %rax
shrq $0x8, %rax
movq %rax, -0x58(%rbp)
jmp 0x3023
jmp 0x3086
movq -0x40(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x40(%rbp)
jmp 0x2fd7
movq -0x8(%rbp), %rax
movq 0xc8(%rax), %rcx
movq -0x38(%rbp), %rax
subq %rcx, %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
jle 0x30bd
movq -0x8(%rbp), %rdi
callq 0x34d0
jmp 0x2fc4
movq -0x8(%rbp), %rax
movq 0xd8(%rax), %rax
andq $0x7, %rax
cmpq $0x0, %rax
je 0x3102
movq -0x8(%rbp), %rax
movq 0xd8(%rax), %rax
andq $0x7, %rax
movl %eax, %ecx
movl $0x1, %eax
shll %cl, %eax
subl $0x1, %eax
movzbl %al, %edx
movq -0x28(%rbp), %rax
movzbl -0x1(%rax), %ecx
andl %edx, %ecx
movb %cl, -0x1(%rax)
jmp 0x34ca
cmpq $0x4, -0x20(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x325f
jmp 0x3122
cmpq $0x0, -0x38(%rbp)
jle 0x321a
movq $0x0, -0x40(%rbp)
movq -0x40(%rbp), %rcx
xorl %eax, %eax
cmpq -0x30(%rbp), %rcx
movb %al, -0x62(%rbp)
jge 0x3152
movq -0x48(%rbp), %rax
cmpq -0x18(%rbp), %rax
setl %al
movb %al, -0x62(%rbp)
movb -0x62(%rbp), %al
testb $0x1, %al
jne 0x315e
jmp 0x31ef
movq -0x8(%rbp), %rax
movq -0x40(%rbp), %rdx
leaq 0x3f03(%rip), %rcx      # 0x7070
movq (%rcx,%rdx,8), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x5c(%rbp)
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rcx
movq %rcx, %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
xorl %eax, %eax
cmpq -0x20(%rbp), %rcx
movb %al, -0x63(%rbp)
jge 0x31b2
movq -0x48(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x48(%rbp)
cmpq -0x18(%rbp), %rax
setl %al
movb %al, -0x63(%rbp)
movb -0x63(%rbp), %al
testb $0x1, %al
jne 0x31bb
jmp 0x31dc
movl -0x5c(%rbp), %eax
movb %al, %cl
movq -0x28(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x28(%rbp)
movb %cl, (%rax)
movl -0x5c(%rbp), %eax
shrl $0x8, %eax
movl %eax, -0x5c(%rbp)
jmp 0x317f
jmp 0x31de
movq -0x40(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x40(%rbp)
jmp 0x3135
movq -0x8(%rbp), %rax
movq 0xc8(%rax), %rcx
movq -0x38(%rbp), %rax
subq %rcx, %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
jle 0x3215
movq -0x8(%rbp), %rdi
callq 0x34d0
jmp 0x3122
movq -0x8(%rbp), %rax
movq 0xd8(%rax), %rax
andq $0x7, %rax
cmpq $0x0, %rax
je 0x325a
movq -0x8(%rbp), %rax
movq 0xd8(%rax), %rax
andq $0x7, %rax
movl %eax, %ecx
movl $0x1, %eax
shll %cl, %eax
subl $0x1, %eax
movzbl %al, %edx
movq -0x28(%rbp), %rax
movzbl -0x1(%rax), %ecx
andl %edx, %ecx
movb %cl, -0x1(%rax)
jmp 0x34c8
cmpq $0x2, -0x20(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x33bc
jmp 0x327a
cmpq $0x0, -0x38(%rbp)
jle 0x3377
movq $0x0, -0x40(%rbp)
movq -0x40(%rbp), %rcx
xorl %eax, %eax
cmpq -0x30(%rbp), %rcx
movb %al, -0x64(%rbp)
jge 0x32aa
movq -0x48(%rbp), %rax
cmpq -0x18(%rbp), %rax
setl %al
movb %al, -0x64(%rbp)
movb -0x64(%rbp), %al
testb $0x1, %al
jne 0x32b6
jmp 0x334c
movq -0x8(%rbp), %rax
movq -0x40(%rbp), %rdx
leaq 0x3dab(%rip), %rcx      # 0x7070
movq (%rcx,%rdx,8), %rcx
movw (%rax,%rcx,2), %ax
movw %ax, -0x5e(%rbp)
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rcx
movq %rcx, %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
xorl %eax, %eax
cmpq -0x20(%rbp), %rcx
movb %al, -0x65(%rbp)
jge 0x330c
movq -0x48(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x48(%rbp)
cmpq -0x18(%rbp), %rax
setl %al
movb %al, -0x65(%rbp)
movb -0x65(%rbp), %al
testb $0x1, %al
jne 0x3315
jmp 0x3339
movw -0x5e(%rbp), %ax
movb %al, %cl
movq -0x28(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x28(%rbp)
movb %cl, (%rax)
movzwl -0x5e(%rbp), %eax
sarl $0x8, %eax
movw %ax, -0x5e(%rbp)
jmp 0x32d9
jmp 0x333b
movq -0x40(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x40(%rbp)
jmp 0x328d
movq -0x8(%rbp), %rax
movq 0xc8(%rax), %rcx
movq -0x38(%rbp), %rax
subq %rcx, %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
jle 0x3372
movq -0x8(%rbp), %rdi
callq 0x34d0
jmp 0x327a
movq -0x8(%rbp), %rax
movq 0xd8(%rax), %rax
andq $0x7, %rax
cmpq $0x0, %rax
je 0x33b7
movq -0x8(%rbp), %rax
movq 0xd8(%rax), %rax
andq $0x7, %rax
movl %eax, %ecx
movl $0x1, %eax
shll %cl, %eax
subl $0x1, %eax
movzbl %al, %edx
movq -0x28(%rbp), %rax
movzbl -0x1(%rax), %ecx
andl %edx, %ecx
movb %cl, -0x1(%rax)
jmp 0x34c6
cmpq $0x1, -0x20(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x34c4
jmp 0x33d7
cmpq $0x0, -0x38(%rbp)
jle 0x3482
movq $0x0, -0x40(%rbp)
movq -0x40(%rbp), %rcx
xorl %eax, %eax
cmpq -0x30(%rbp), %rcx
movb %al, -0x66(%rbp)
jge 0x3407
movq -0x48(%rbp), %rax
cmpq -0x18(%rbp), %rax
setl %al
movb %al, -0x66(%rbp)
movb -0x66(%rbp), %al
testb $0x1, %al
jne 0x3410
jmp 0x3457
movq -0x8(%rbp), %rax
movq -0x40(%rbp), %rdx
leaq 0x3c51(%rip), %rcx      # 0x7070
movq (%rcx,%rdx,8), %rcx
movb (%rax,%rcx), %al
movb %al, -0x5f(%rbp)
movb -0x5f(%rbp), %cl
movq -0x28(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x28(%rbp)
movb %cl, (%rax)
movq -0x40(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x40(%rbp)
movq -0x48(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x48(%rbp)
jmp 0x33ea
movq -0x8(%rbp), %rax
movq 0xc8(%rax), %rcx
movq -0x38(%rbp), %rax
subq %rcx, %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
jle 0x347d
movq -0x8(%rbp), %rdi
callq 0x34d0
jmp 0x33d7
movq -0x8(%rbp), %rax
movq 0xd8(%rax), %rax
andq $0x7, %rax
cmpq $0x0, %rax
je 0x34c2
movq -0x8(%rbp), %rax
movq 0xd8(%rax), %rax
andq $0x7, %rax
movl %eax, %ecx
movl $0x1, %eax
shll %cl, %eax
subl $0x1, %eax
movzbl %al, %edx
movq -0x28(%rbp), %rax
movzbl -0x1(%rax), %ecx
andl %edx, %ecx
movb %cl, -0x1(%rax)
jmp 0x34c4
jmp 0x34c6
jmp 0x34c8
jmp 0x34ca
addq $0x70, %rsp
popq %rbp
retq