// File: /workspace/github_c_makefile_star2_O0/maandree[P]libkeccak/extra/libkeccak_state_marshal.c
// Function: libkeccak_state_marshal
size_t
libkeccak_state_marshal(const struct libkeccak_state *restrict state, void *restrict data_)
{
#define set(VAR)\
	do {\
		__builtin_memcpy(data, &state->VAR, sizeof(state->VAR));\
		data += sizeof(state->VAR);\
	} while (0)

	unsigned char *restrict start = data_;
	unsigned char *restrict data = start;

	if (!data) {
		return 7 * sizeof(long int) +
		       1 * sizeof(uint64_t) +
		       sizeof(state->S) +
		       2 * sizeof(size_t) +
		       state->mptr;
	}

	set(r);
	set(c);
	set(n);
	set(b);
	set(w);
	set(wmod);
	set(l);
	set(nr);
	__builtin_memcpy(data, &state->S, sizeof(state->S));
	data += sizeof(state->S);
	set(mptr);
	set(mlen);
	memcpy(data, state->M, state->mptr * sizeof(char));
	data += state->mptr;

	return (size_t)(data - start);

#undef set
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x28(%rbp)
cmpq $0x0, -0x28(%rbp)
jne 0xb351
movq -0x10(%rbp), %rax
movq 0x108(%rax), %rax
addq $0x118, %rax            # imm = 0x118
movq %rax, -0x8(%rbp)
jmp 0xb4f4
jmp 0xb353
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0xc8(%rcx), %rcx
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x28(%rbp)
jmp 0xb373
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0xd0(%rcx), %rcx
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x28(%rbp)
jmp 0xb393
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0xd8(%rcx), %rcx
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x28(%rbp)
jmp 0xb3b3
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0xe0(%rcx), %rcx
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x28(%rbp)
jmp 0xb3d3
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0xe8(%rcx), %rcx
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x28(%rbp)
jmp 0xb3f3
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0xf0(%rcx), %rcx
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x28(%rbp)
jmp 0xb413
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0xf8(%rcx), %rcx
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x28(%rbp)
jmp 0xb433
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0x100(%rcx), %rcx
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdi
movq -0x10(%rbp), %rsi
movl $0xc8, %edx
callq 0x10b0
movq -0x28(%rbp), %rax
addq $0xc8, %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0x108(%rcx), %rcx
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x28(%rbp)
jmp 0xb491
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0x110(%rcx), %rcx
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x118(%rax), %rsi
movq -0x10(%rbp), %rax
movq 0x108(%rax), %rdx
shlq $0x0, %rdx
callq 0x10b0
movq -0x10(%rbp), %rax
movq 0x108(%rax), %rax
addq -0x28(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq -0x20(%rbp), %rcx
subq %rcx, %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x30, %rsp
popq %rbp
retq
nop