// File: /workspace/github_c_makefile_star2_O0/maandree[P]libkeccak/test.c
// Function: test_squeeze_case
static int
test_squeeze_case(struct libkeccak_state *restrict state, const struct libkeccak_spec *restrict spec,
                  long int fast_squeezes, long int squeezes, int fast_digest, void *restrict hashsum,
                  char *restrict hexsum, const char *restrict expected_answer)
{
#define message "withdrew hypothesis snakebird qmc2"
	long int i;
	int ok;

	libkeccak_state_reset(state);
	if (libkeccak_digest(state, message, strlen(message), 0, LIBKECCAK_SHA3_SUFFIX, fast_digest ? NULL : hashsum)) {
		perror("libkeccak_digest");
		return -1;
	}

	libkeccak_fast_squeeze(state, fast_squeezes);
	for (i = fast_squeezes; i < squeezes; i++)
		libkeccak_squeeze(state, hashsum);

	libkeccak_behex_lower(hexsum, hashsum, (size_t)((spec->output + 7) / 8));
	ok = !strcmp(hexsum, expected_answer);
	printf("%s%s\n", ok ? "OK" : "Fail: ", ok ? "" : hexsum);
	if (!ok)
		printf("  r, c, n = %li, %li, %li\n", spec->bitrate, spec->capacity, spec->output);

	return ok - 1;
#undef message
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq 0x18(%rbp), %rax
movq 0x10(%rbp), %rax
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq %rcx, -0x28(%rbp)
movl %r8d, -0x2c(%rbp)
movq %r9, -0x38(%rbp)
movq -0x10(%rbp), %rdi
callq 0xb500
movq -0x10(%rbp), %rax
movq %rax, -0x50(%rbp)
cmpl $0x0, -0x2c(%rbp)
je 0x5387
xorl %eax, %eax
movq %rax, -0x58(%rbp)
jmp 0x538f
movq -0x38(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x50(%rbp), %rdi
movq -0x58(%rbp), %r9
leaq 0x8416(%rip), %rsi      # 0xd7b4
movl $0x22, %edx
xorl %eax, %eax
movl %eax, %ecx
leaq 0xe5f9(%rip), %r8       # 0x139a7
callq 0x7900
cmpl $0x0, %eax
je 0x53d0
leaq 0x950a(%rip), %rdi      # 0xe8c9
callq 0x1100
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x54ce
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x7d10
movq -0x20(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
cmpq -0x28(%rbp), %rax
jge 0x540a
movq -0x10(%rbp), %rdi
movq -0x38(%rbp), %rsi
callq 0x7d60
movq -0x40(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x40(%rbp)
jmp 0x53e5
movq 0x10(%rbp), %rdi
movq -0x38(%rbp), %rsi
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
addq $0x7, %rax
movl $0x8, %ecx
cqto
idivq %rcx
movq %rax, %rdx
callq 0xbe30
movq 0x10(%rbp), %rdi
movq 0x18(%rbp), %rsi
callq 0x10a0
cmpl $0x0, %eax
setne %al
xorb $-0x1, %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x44(%rbp)
movl -0x44(%rbp), %edx
leaq 0x948c(%rip), %rax      # 0xe8e3
leaq 0x9482(%rip), %rcx      # 0xe8e0
cmpl $0x0, %edx
cmovneq %rcx, %rax
movq %rax, -0x60(%rbp)
cmpl $0x0, -0x44(%rbp)
je 0x547c
leaq 0x888f(%rip), %rax      # 0xdd05
movq %rax, -0x68(%rbp)
jmp 0x5484
movq 0x10(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x60(%rbp), %rsi
movq -0x68(%rbp), %rdx
leaq 0x9447(%rip), %rdi      # 0xe8da
movb $0x0, %al
callq 0x1060
cmpl $0x0, -0x44(%rbp)
jne 0x54c5
movq -0x18(%rbp), %rax
movq (%rax), %rsi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rdx
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rcx
leaq 0x942c(%rip), %rdi      # 0xe8ea
movb $0x0, %al
callq 0x1060
movl -0x44(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x70, %rsp
popq %rbp
retq
nopw (%rax,%rax)