// File: /workspace/github_c_makefile_star2_O0/maandree[P]libkeccak/test.c
// Function: test_update
static int
test_update(void)
{
#define sha3(output, message)\
	(printf("  Testing SHA3-"#output"(%s): ", #message),\
	 libkeccak_spec_sha3(&spec, output),\
	 test_update_case(&spec, LIBKECCAK_SHA3_SUFFIX, message, answer))

	struct libkeccak_spec spec;
	const char *answer;

	printf("Testing libkeccak_update:\n");


	answer = "22c8017ac8bcf65f59d1b7e92c9d4c6739d25e34ce5cb608b24ff096";
	if (sha3(224, "withdrew hypothesis snakebird qmc2"))
		return -1;

	answer = "43808dde2662143dc4eed5dac5e98c74b06711829f02a3b121bd74f3";
	if (sha3(224, "intensifierat sturdiness perl-image-exiftool vingla"))
		return -1;

	answer = "d32b4ac86065774dee5eb5cdd2f67b4e86501086d7373884e8b20a36";
	if (sha3(224, "timjan avogadro uppdriven lib32-llvm-amdgpu-snapshot"))
		return -1;

	answer = "efbd76d45bfa952485148f8ad46143897f17c27ffdc8eb7287f9353b";
	if (sha3(224, "grilo-plugins auditorium tull dissimilarity's"))
		return -1;

	answer = "6705aa36ecf58f333e0e6364ac1d0b7931d402e13282127cfd6f876c";
	if (sha3(224, "royalty tt yellowstone deficiencies"))
		return -1;

	answer = "803a0ff09dda0df306e483a9f91b20a3dbbf9c2ebb8d0a3b28f3b9e0";
	if (sha3(224, "kdegames-kdiamond tunisisk occurrence's outtalad"))
		return -1;

	answer = "a64779aca943a6aef1d2e7c9a0f4e997f4dabd1f77112a22121d3ed5";
	if (sha3(224, "chevalier slat's spindel representations"))
		return -1;

	answer = "f0a3e0587af7723f0aa4719059d3f5107115a5b3667cd5209cc4d867";
	if (sha3(224, "archery lexicographical equine veered"))
		return -1;

	answer = "312e7e3c6403ab1a086155fb9a52b22a3d0d257876afd2b93fb7272e";
	if (sha3(224, "splay washbasin opposing there"))
		return -1;

	answer = "270ba05b764221ff5b5d94adfb4fdb1f36f07fe7c438904a5f3df071";
	if (sha3(224, "faktum desist thundered klen"))
		return -1;


	printf("\n");
	return 0;

#undef sha3
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
leaq 0xfd8a(%rip), %rdi      # 0x13da9
movb $0x0, %al
callq 0x1060
leaq 0x9729(%rip), %rax      # 0xd756
movq %rax, -0x28(%rbp)
leaq 0x93cc(%rip), %rdi      # 0xd404
leaq 0x9750(%rip), %rsi      # 0xd78f
movb $0x0, %al
callq 0x1060
leaq -0x20(%rbp), %rdi
movl $0xe0, %esi
callq 0xbdf0
movq -0x28(%rbp), %rcx
leaq -0x20(%rbp), %rdi
leaq 0xf944(%rip), %rsi      # 0x139a7
leaq 0x974a(%rip), %rdx      # 0xd7b4
callq 0x50c0
cmpl $0x0, %eax
je 0x4080
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x43b9
leaq 0x9750(%rip), %rax      # 0xd7d7
movq %rax, -0x28(%rbp)
leaq 0x9372(%rip), %rdi      # 0xd404
leaq 0x9777(%rip), %rsi      # 0xd810
movb $0x0, %al
callq 0x1060
leaq -0x20(%rbp), %rdi
movl $0xe0, %esi
callq 0xbdf0
movq -0x28(%rbp), %rcx
leaq -0x20(%rbp), %rdi
leaq 0xf8ea(%rip), %rsi      # 0x139a7
leaq 0x9782(%rip), %rdx      # 0xd846
callq 0x50c0
cmpl $0x0, %eax
je 0x40da
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x43b9
leaq 0x9799(%rip), %rax      # 0xd87a
movq %rax, -0x28(%rbp)
leaq 0x9318(%rip), %rdi      # 0xd404
leaq 0x97c0(%rip), %rsi      # 0xd8b3
movb $0x0, %al
callq 0x1060
leaq -0x20(%rbp), %rdi
movl $0xe0, %esi
callq 0xbdf0
movq -0x28(%rbp), %rcx
leaq -0x20(%rbp), %rdi
leaq 0xf890(%rip), %rsi      # 0x139a7
leaq 0x97cc(%rip), %rdx      # 0xd8ea
callq 0x50c0
cmpl $0x0, %eax
je 0x4134
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x43b9
leaq 0x97e4(%rip), %rax      # 0xd91f
movq %rax, -0x28(%rbp)
leaq 0x92be(%rip), %rdi      # 0xd404
leaq 0x980b(%rip), %rsi      # 0xd958
movb $0x0, %al
callq 0x1060
leaq -0x20(%rbp), %rdi
movl $0xe0, %esi
callq 0xbdf0
movq -0x28(%rbp), %rcx
leaq -0x20(%rbp), %rdi
leaq 0xf836(%rip), %rsi      # 0x139a7
leaq 0x9810(%rip), %rdx      # 0xd988
callq 0x50c0
cmpl $0x0, %eax
je 0x418e
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x43b9
leaq 0x9821(%rip), %rax      # 0xd9b6
movq %rax, -0x28(%rbp)
leaq 0x9264(%rip), %rdi      # 0xd404
leaq 0x9848(%rip), %rsi      # 0xd9ef
movb $0x0, %al
callq 0x1060
leaq -0x20(%rbp), %rdi
movl $0xe0, %esi
callq 0xbdf0
movq -0x28(%rbp), %rcx
leaq -0x20(%rbp), %rdi
leaq 0xf7dc(%rip), %rsi      # 0x139a7
leaq 0x9843(%rip), %rdx      # 0xda15
callq 0x50c0
cmpl $0x0, %eax
je 0x41e8
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x43b9
leaq 0x984a(%rip), %rax      # 0xda39
movq %rax, -0x28(%rbp)
leaq 0x920a(%rip), %rdi      # 0xd404
leaq 0x9871(%rip), %rsi      # 0xda72
movb $0x0, %al
callq 0x1060
leaq -0x20(%rbp), %rdi
movl $0xe0, %esi
callq 0xbdf0
movq -0x28(%rbp), %rcx
leaq -0x20(%rbp), %rdi
leaq 0xf782(%rip), %rsi      # 0x139a7
leaq 0x9879(%rip), %rdx      # 0xdaa5
callq 0x50c0
cmpl $0x0, %eax
je 0x4242
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x43b9
leaq 0x988d(%rip), %rax      # 0xdad6
movq %rax, -0x28(%rbp)
leaq 0x91b0(%rip), %rdi      # 0xd404
leaq 0x98b4(%rip), %rsi      # 0xdb0f
movb $0x0, %al
callq 0x1060
leaq -0x20(%rbp), %rdi
movl $0xe0, %esi
callq 0xbdf0
movq -0x28(%rbp), %rcx
leaq -0x20(%rbp), %rdi
leaq 0xf728(%rip), %rsi      # 0x139a7
leaq 0x98b4(%rip), %rdx      # 0xdb3a
callq 0x50c0
cmpl $0x0, %eax
je 0x429c
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x43b9
leaq 0x98c0(%rip), %rax      # 0xdb63
movq %rax, -0x28(%rbp)
leaq 0x9156(%rip), %rdi      # 0xd404
leaq 0x98e7(%rip), %rsi      # 0xdb9c
movb $0x0, %al
callq 0x1060
leaq -0x20(%rbp), %rdi
movl $0xe0, %esi
callq 0xbdf0
movq -0x28(%rbp), %rcx
leaq -0x20(%rbp), %rdi
leaq 0xf6ce(%rip), %rsi      # 0x139a7
leaq 0x98e4(%rip), %rdx      # 0xdbc4
callq 0x50c0
cmpl $0x0, %eax
je 0x42f6
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x43b9
leaq 0x98ed(%rip), %rax      # 0xdbea
movq %rax, -0x28(%rbp)
leaq 0x90fc(%rip), %rdi      # 0xd404
leaq 0x9914(%rip), %rsi      # 0xdc23
movb $0x0, %al
callq 0x1060
leaq -0x20(%rbp), %rdi
movl $0xe0, %esi
callq 0xbdf0
movq -0x28(%rbp), %rcx
leaq -0x20(%rbp), %rdi
leaq 0xf674(%rip), %rsi      # 0x139a7
leaq 0x990a(%rip), %rdx      # 0xdc44
callq 0x50c0
cmpl $0x0, %eax
je 0x434d
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x43b9
leaq 0x990f(%rip), %rax      # 0xdc63
movq %rax, -0x28(%rbp)
leaq 0x90a5(%rip), %rdi      # 0xd404
leaq 0x9936(%rip), %rsi      # 0xdc9c
movb $0x0, %al
callq 0x1060
leaq -0x20(%rbp), %rdi
movl $0xe0, %esi
callq 0xbdf0
movq -0x28(%rbp), %rcx
leaq -0x20(%rbp), %rdi
leaq 0xf61d(%rip), %rsi      # 0x139a7
leaq 0x992a(%rip), %rdx      # 0xdcbb
callq 0x50c0
cmpl $0x0, %eax
je 0x43a4
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x43b9
leaq 0x8c9a(%rip), %rdi      # 0xd045
movb $0x0, %al
callq 0x1060
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x30, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)