// File: /workspace/github_cpp_makefile_star2_O1/karel-brinda[P]ococo/ext/htslib/md5.c
// Function: body
static const void *body(hts_md5_context *ctx, const void *data, unsigned long size)
{
	const unsigned char *ptr;
	hts_md5_u32plus a, b, c, d;
	hts_md5_u32plus saved_a, saved_b, saved_c, saved_d;

	ptr = (const unsigned char *)data;

	a = ctx->a;
	b = ctx->b;
	c = ctx->c;
	d = ctx->d;

	do {
		saved_a = a;
		saved_b = b;
		saved_c = c;
		saved_d = d;

/* Round 1 */
		STEP(F, a, b, c, d, SET(0), 0xd76aa478, 7)
		STEP(F, d, a, b, c, SET(1), 0xe8c7b756, 12)
		STEP(F, c, d, a, b, SET(2), 0x242070db, 17)
		STEP(F, b, c, d, a, SET(3), 0xc1bdceee, 22)
		STEP(F, a, b, c, d, SET(4), 0xf57c0faf, 7)
		STEP(F, d, a, b, c, SET(5), 0x4787c62a, 12)
		STEP(F, c, d, a, b, SET(6), 0xa8304613, 17)
		STEP(F, b, c, d, a, SET(7), 0xfd469501, 22)
		STEP(F, a, b, c, d, SET(8), 0x698098d8, 7)
		STEP(F, d, a, b, c, SET(9), 0x8b44f7af, 12)
		STEP(F, c, d, a, b, SET(10), 0xffff5bb1, 17)
		STEP(F, b, c, d, a, SET(11), 0x895cd7be, 22)
		STEP(F, a, b, c, d, SET(12), 0x6b901122, 7)
		STEP(F, d, a, b, c, SET(13), 0xfd987193, 12)
		STEP(F, c, d, a, b, SET(14), 0xa679438e, 17)
		STEP(F, b, c, d, a, SET(15), 0x49b40821, 22)

/* Round 2 */
		STEP(G, a, b, c, d, GET(1), 0xf61e2562, 5)
		STEP(G, d, a, b, c, GET(6), 0xc040b340, 9)
		STEP(G, c, d, a, b, GET(11), 0x265e5a51, 14)
		STEP(G, b, c, d, a, GET(0), 0xe9b6c7aa, 20)
		STEP(G, a, b, c, d, GET(5), 0xd62f105d, 5)
		STEP(G, d, a, b, c, GET(10), 0x02441453, 9)
		STEP(G, c, d, a, b, GET(15), 0xd8a1e681, 14)
		STEP(G, b, c, d, a, GET(4), 0xe7d3fbc8, 20)
		STEP(G, a, b, c, d, GET(9), 0x21e1cde6, 5)
		STEP(G, d, a, b, c, GET(14), 0xc33707d6, 9)
		STEP(G, c, d, a, b, GET(3), 0xf4d50d87, 14)
		STEP(G, b, c, d, a, GET(8), 0x455a14ed, 20)
		STEP(G, a, b, c, d, GET(13), 0xa9e3e905, 5)
		STEP(G, d, a, b, c, GET(2), 0xfcefa3f8, 9)
		STEP(G, c, d, a, b, GET(7), 0x676f02d9, 14)
		STEP(G, b, c, d, a, GET(12), 0x8d2a4c8a, 20)

/* Round 3 */
		STEP(H, a, b, c, d, GET(5), 0xfffa3942, 4)
		STEP(H2, d, a, b, c, GET(8), 0x8771f681, 11)
		STEP(H, c, d, a, b, GET(11), 0x6d9d6122, 16)
		STEP(H2, b, c, d, a, GET(14), 0xfde5380c, 23)
		STEP(H, a, b, c, d, GET(1), 0xa4beea44, 4)
		STEP(H2, d, a, b, c, GET(4), 0x4bdecfa9, 11)
		STEP(H, c, d, a, b, GET(7), 0xf6bb4b60, 16)
		STEP(H2, b, c, d, a, GET(10), 0xbebfbc70, 23)
		STEP(H, a, b, c, d, GET(13), 0x289b7ec6, 4)
		STEP(H2, d, a, b, c, GET(0), 0xeaa127fa, 11)
		STEP(H, c, d, a, b, GET(3), 0xd4ef3085, 16)
		STEP(H2, b, c, d, a, GET(6), 0x04881d05, 23)
		STEP(H, a, b, c, d, GET(9), 0xd9d4d039, 4)
		STEP(H2, d, a, b, c, GET(12), 0xe6db99e5, 11)
		STEP(H, c, d, a, b, GET(15), 0x1fa27cf8, 16)
		STEP(H2, b, c, d, a, GET(2), 0xc4ac5665, 23)

/* Round 4 */
		STEP(I, a, b, c, d, GET(0), 0xf4292244, 6)
		STEP(I, d, a, b, c, GET(7), 0x432aff97, 10)
		STEP(I, c, d, a, b, GET(14), 0xab9423a7, 15)
		STEP(I, b, c, d, a, GET(5), 0xfc93a039, 21)
		STEP(I, a, b, c, d, GET(12), 0x655b59c3, 6)
		STEP(I, d, a, b, c, GET(3), 0x8f0ccc92, 10)
		STEP(I, c, d, a, b, GET(10), 0xffeff47d, 15)
		STEP(I, b, c, d, a, GET(1), 0x85845dd1, 21)
		STEP(I, a, b, c, d, GET(8), 0x6fa87e4f, 6)
		STEP(I, d, a, b, c, GET(15), 0xfe2ce6e0, 10)
		STEP(I, c, d, a, b, GET(6), 0xa3014314, 15)
		STEP(I, b, c, d, a, GET(13), 0x4e0811a1, 21)
		STEP(I, a, b, c, d, GET(4), 0xf7537e82, 6)
		STEP(I, d, a, b, c, GET(11), 0xbd3af235, 10)
		STEP(I, c, d, a, b, GET(2), 0x2ad7d2bb, 15)
		STEP(I, b, c, d, a, GET(9), 0xeb86d391, 21)

		a += saved_a;
		b += saved_b;
		c += saved_c;
		d += saved_d;

		ptr += 64;
	} while (size -= 64);

	ctx->a = a;
	ctx->b = b;
	ctx->c = c;
	ctx->d = d;

	return ptr;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %rax
movl 0x8(%rdi), %r10d
movl 0xc(%rdi), %r8d
movl 0x10(%rdi), %esi
movq %rdi, -0x28(%rsp)
movl 0x14(%rdi), %ecx
movq %r8, -0x78(%rsp)
movq %rdx, -0x8(%rsp)
movl %r10d, -0x44(%rsp)
movl %ecx, %edx
xorl %esi, %ecx
andl %r8d, %ecx
xorl %edx, %ecx
movq %rdx, %rdi
movq %rdx, -0x10(%rsp)
addl %r10d, %ecx
movl (%rax), %r13d
addl %r13d, %ecx
addl $0xd76aa478, %ecx       # imm = 0xD76AA478
movq %r13, -0x20(%rsp)
roll $0x7, %ecx
movl 0x4(%rax), %r8d
movq -0x78(%rsp), %rdx
xorl %esi, %edx
addl -0x78(%rsp), %ecx
andl %ecx, %edx
xorl %esi, %edx
movq %rsi, %r9
movq %rsi, -0x18(%rsp)
leal (%rdi,%r8), %esi
movq %r8, %r12
movq %r8, -0x38(%rsp)
addl %esi, %edx
addl $0xe8c7b756, %edx       # imm = 0xE8C7B756
roll $0xc, %edx
movl %ecx, %esi
addl %ecx, %edx
xorl -0x78(%rsp), %esi
andl %edx, %esi
movl 0x8(%rax), %edi
movq %rdi, -0x30(%rsp)
xorl -0x78(%rsp), %esi
addl %r9d, %edi
addl %edi, %esi
addl $0x242070db, %esi       # imm = 0x242070DB
roll $0x11, %esi
addl %edx, %esi
movl %edx, %edi
xorl %ecx, %edi
andl %esi, %edi
xorl %ecx, %edi
movl 0xc(%rax), %r8d
movq %r8, -0x40(%rsp)
movq -0x78(%rsp), %r9
addl %r8d, %r9d
leal (%rdi,%r9), %r10d
addl $0xc1bdceee, %r10d      # imm = 0xC1BDCEEE
roll $0x16, %r10d
movl %esi, %edi
addl %esi, %r10d
xorl %edx, %edi
andl %r10d, %edi
movl 0x10(%rax), %r8d
movl %r8d, -0x60(%rsp)
xorl %edx, %edi
addl %r8d, %ecx
addl %edi, %ecx
addl $0xf57c0faf, %ecx       # imm = 0xF57C0FAF
roll $0x7, %ecx
addl %r10d, %ecx
movl %r10d, %edi
xorl %esi, %edi
andl %ecx, %edi
xorl %esi, %edi
movl 0x14(%rax), %r8d
movl %r8d, -0x6c(%rsp)
addl %r8d, %edx
addl %edi, %edx
addl $0x4787c62a, %edx       # imm = 0x4787C62A
roll $0xc, %edx
movl %ecx, %edi
addl %ecx, %edx
xorl %r10d, %edi
andl %edx, %edi
movl 0x18(%rax), %r8d
xorl %r10d, %edi
addl %r8d, %esi
movl %r8d, -0x58(%rsp)
addl %edi, %esi
addl $0xa8304613, %esi       # imm = 0xA8304613
roll $0x11, %esi
addl %edx, %esi
movl %edx, %r11d
xorl %ecx, %r11d
andl %esi, %r11d
xorl %ecx, %r11d
movl 0x1c(%rax), %edi
movl %edi, -0x48(%rsp)
addl %edi, %r10d
addl %r10d, %r11d
addl $0xfd469501, %r11d      # imm = 0xFD469501
roll $0x16, %r11d
addl %esi, %r11d
movl %esi, %r10d
xorl %edx, %r10d
andl %r11d, %r10d
xorl %edx, %r10d
movl 0x20(%rax), %edi
movl %edi, -0x64(%rsp)
addl %edi, %ecx
addl %r10d, %ecx
addl $0x698098d8, %ecx       # imm = 0x698098D8
roll $0x7, %ecx
addl %r11d, %ecx
movl %r11d, %r10d
xorl %esi, %r10d
andl %ecx, %r10d
xorl %esi, %r10d
movl 0x24(%rax), %edi
movl %edi, -0x7c(%rsp)
addl %edi, %edx
addl %r10d, %edx
addl $0x8b44f7af, %edx       # imm = 0x8B44F7AF
roll $0xc, %edx
addl %ecx, %edx
movl %ecx, %ebx
xorl %r11d, %ebx
andl %edx, %ebx
xorl %r11d, %ebx
movl 0x28(%rax), %edi
addl %edi, %esi
movl %edi, -0x5c(%rsp)
leal (%rbx,%rsi), %r14d
addl $0xffff5bb1, %r14d      # imm = 0xFFFF5BB1
roll $0x11, %r14d
addl %edx, %r14d
movl %edx, %esi
xorl %ecx, %esi
andl %r14d, %esi
xorl %ecx, %esi
movl 0x2c(%rax), %r10d
addl %r10d, %r11d
movl %r10d, -0x54(%rsp)
leal (%rsi,%r11), %ebp
addl $0x895cd7be, %ebp       # imm = 0x895CD7BE
roll $0x16, %ebp
addl %r14d, %ebp
movl %r14d, %r11d
xorl %edx, %r11d
andl %ebp, %r11d
xorl %edx, %r11d
movl 0x30(%rax), %esi
movl %esi, -0x50(%rsp)
addl %esi, %ecx
addl %r11d, %ecx
addl $0x6b901122, %ecx       # imm = 0x6B901122
roll $0x7, %ecx
addl %ebp, %ecx
movl %ebp, %r11d
xorl %r14d, %r11d
andl %ecx, %r11d
xorl %r14d, %r11d
movl 0x34(%rax), %esi
movl %esi, -0x68(%rsp)
addl %esi, %edx
leal (%r11,%rdx), %r15d
addl $0xfd987193, %r15d      # imm = 0xFD987193
roll $0xc, %r15d
addl %ecx, %r15d
movl %ecx, %r11d
xorl %ebp, %r11d
andl %r15d, %r11d
xorl %ebp, %r11d
movl 0x38(%rax), %r9d
addl %r9d, %r14d
addl %r11d, %r14d
addl $0xa679438e, %r14d      # imm = 0xA679438E
roll $0x11, %r14d
addl %r15d, %r14d
movl %r15d, %ebx
xorl %ecx, %ebx
andl %r14d, %ebx
xorl %ecx, %ebx
movl 0x3c(%rax), %edx
addl %edx, %ebp
movl %edx, %esi
movl %edx, -0x4c(%rsp)
addl %ebx, %ebp
addl $0x49b40821, %ebp       # imm = 0x49B40821
roll $0x16, %ebp
addl %r14d, %ebp
movl %ebp, %ebx
xorl %r14d, %ebx
andl %r15d, %ebx
addl %r12d, %ecx
xorl %r14d, %ebx
leal (%rbx,%rcx), %r12d
addl $0xf61e2562, %r12d      # imm = 0xF61E2562
roll $0x5, %r12d
addl %ebp, %r12d
movl %r12d, %ecx
xorl %ebp, %ecx
andl %r14d, %ecx
xorl %ebp, %ecx
addl %r8d, %r15d
addl %ecx, %r15d
addl $0xc040b340, %r15d      # imm = 0xC040B340
roll $0x9, %r15d
addl %r12d, %r15d
movl %r15d, %ecx
xorl %r12d, %ecx
andl %ebp, %ecx
xorl %r12d, %ecx
addl %r10d, %r14d
addl %r14d, %ecx
addl $0x265e5a51, %ecx       # imm = 0x265E5A51
roll $0xe, %ecx
addl %r15d, %ecx
movl %ecx, %ebx
xorl %r15d, %ebx
andl %r12d, %ebx
addl %r13d, %ebp
xorl %r15d, %ebx
addl %ebx, %ebp
addl $0xe9b6c7aa, %ebp       # imm = 0xE9B6C7AA
roll $0x14, %ebp
addl %ecx, %ebp
movl %ebp, %ebx
xorl %ecx, %ebx
andl %r15d, %ebx
xorl %ecx, %ebx
movl -0x6c(%rsp), %edx
addl %edx, %r12d
addl %ebx, %r12d
addl $0xd62f105d, %r12d      # imm = 0xD62F105D
roll $0x5, %r12d
addl %ebp, %r12d
movl %r12d, %ebx
xorl %ebp, %ebx
andl %ecx, %ebx
xorl %ebp, %ebx
addl %edi, %r15d
leal (%rbx,%r15), %r14d
addl $0x2441453, %r14d       # imm = 0x2441453
roll $0x9, %r14d
addl %r12d, %r14d
movl %r14d, %ebx
xorl %r12d, %ebx
andl %ebp, %ebx
addl %esi, %ecx
xorl %r12d, %ebx
leal (%rbx,%rcx), %r15d
addl $0xd8a1e681, %r15d      # imm = 0xD8A1E681
roll $0xe, %r15d
addl %r14d, %r15d
movl %r15d, %ecx
xorl %r14d, %ecx
andl %r12d, %ecx
xorl %r14d, %ecx
movl -0x60(%rsp), %esi
addl %esi, %ebp
addl %ecx, %ebp
addl $0xe7d3fbc8, %ebp       # imm = 0xE7D3FBC8
roll $0x14, %ebp
addl %r15d, %ebp
movl %ebp, %ecx
xorl %r15d, %ecx
andl %r14d, %ecx
xorl %r15d, %ecx
addl -0x7c(%rsp), %r12d
addl %r12d, %ecx
addl $0x21e1cde6, %ecx       # imm = 0x21E1CDE6
roll $0x5, %ecx
addl %ebp, %ecx
movl %ecx, %ebx
xorl %ebp, %ebx
andl %r15d, %ebx
addl %r9d, %r14d
xorl %ebp, %ebx
leal (%rbx,%r14), %r12d
addl $0xc33707d6, %r12d      # imm = 0xC33707D6
roll $0x9, %r12d
addl %ecx, %r12d
movl %r12d, %ebx
xorl %ecx, %ebx
andl %ebp, %ebx
xorl %ecx, %ebx
movq -0x40(%rsp), %r8
addl %r8d, %r15d
addl %ebx, %r15d
addl $0xf4d50d87, %r15d      # imm = 0xF4D50D87
roll $0xe, %r15d
addl %r12d, %r15d
movl %r15d, %ebx
xorl %r12d, %ebx
andl %ecx, %ebx
xorl %r12d, %ebx
movl -0x64(%rsp), %r10d
addl %r10d, %ebp
leal (%rbx,%rbp), %r14d
addl $0x455a14ed, %r14d      # imm = 0x455A14ED
roll $0x14, %r14d
addl %r15d, %r14d
movl %r14d, %ebx
xorl %r15d, %ebx
andl %r12d, %ebx
movl -0x68(%rsp), %edi
addl %edi, %ecx
xorl %r15d, %ebx
addl %ebx, %ecx
addl $0xa9e3e905, %ecx       # imm = 0xA9E3E905
roll $0x5, %ecx
addl %r14d, %ecx
movl %ecx, %ebx
xorl %r14d, %ebx
andl %r15d, %ebx
xorl %r14d, %ebx
addl -0x30(%rsp), %r12d
addl %ebx, %r12d
addl $0xfcefa3f8, %r12d      # imm = 0xFCEFA3F8
roll $0x9, %r12d
addl %ecx, %r12d
movl %r12d, %ebx
xorl %ecx, %ebx
andl %r14d, %ebx
xorl %ecx, %ebx
movl -0x48(%rsp), %ebp
addl %ebp, %r15d
addl %ebx, %r15d
addl $0x676f02d9, %r15d      # imm = 0x676F02D9
roll $0xe, %r15d
addl %r12d, %r15d
movl %r15d, %ebx
xorl %r12d, %ebx
andl %ecx, %ebx
movl -0x50(%rsp), %r11d
addl %r11d, %r14d
xorl %r12d, %ebx
addl %ebx, %r14d
addl $0x8d2a4c8a, %r14d      # imm = 0x8D2A4C8A
roll $0x14, %r14d
addl %r15d, %r14d
movl %r14d, %ebx
xorl %r15d, %ebx
movl %ebx, %r13d
xorl %r12d, %r13d
addl %edx, %ecx
addl %r13d, %ecx
addl $0xfffa3942, %ecx       # imm = 0xFFFA3942
roll $0x4, %ecx
addl %r14d, %ecx
addl %r10d, %r12d
xorl %ecx, %ebx
addl %ebx, %r12d
addl $0x8771f681, %r12d      # imm = 0x8771F681
roll $0xb, %r12d
addl %ecx, %r12d
movl %r12d, %ebx
xorl %ecx, %ebx
movl %ebx, %r13d
xorl %r14d, %r13d
addl -0x54(%rsp), %r15d
addl %r13d, %r15d
addl $0x6d9d6122, %r15d      # imm = 0x6D9D6122
roll $0x10, %r15d
addl %r12d, %r15d
addl %r9d, %r14d
xorl %r15d, %ebx
addl %ebx, %r14d
addl $0xfde5380c, %r14d      # imm = 0xFDE5380C
roll $0x17, %r14d
addl %r15d, %r14d
movl %r14d, %ebx
xorl %r15d, %ebx
movl %ebx, %r13d
xorl %r12d, %r13d
addl -0x38(%rsp), %ecx
addl %r13d, %ecx
addl $0xa4beea44, %ecx       # imm = 0xA4BEEA44
roll $0x4, %ecx
addl %r14d, %ecx
addl %esi, %r12d
xorl %ecx, %ebx
addl %ebx, %r12d
addl $0x4bdecfa9, %r12d      # imm = 0x4BDECFA9
roll $0xb, %r12d
addl %ecx, %r12d
movl %r12d, %ebx
xorl %ecx, %ebx
movl %ebx, %r13d
xorl %r14d, %r13d
addl %ebp, %r15d
movl %ebp, %r10d
addl %r13d, %r15d
addl $0xf6bb4b60, %r15d      # imm = 0xF6BB4B60
roll $0x10, %r15d
addl %r12d, %r15d
addl -0x5c(%rsp), %r14d
xorl %r15d, %ebx
addl %ebx, %r14d
addl $0xbebfbc70, %r14d      # imm = 0xBEBFBC70
roll $0x17, %r14d
addl %r15d, %r14d
movl %r14d, %ebx
xorl %r15d, %ebx
movl %ebx, %r13d
xorl %r12d, %r13d
addl %edi, %ecx
addl %r13d, %ecx
addl $0x289b7ec6, %ecx       # imm = 0x289B7EC6
roll $0x4, %ecx
addl %r14d, %ecx
movq -0x20(%rsp), %rdx
addl %edx, %r12d
xorl %ecx, %ebx
addl %ebx, %r12d
addl $0xeaa127fa, %r12d      # imm = 0xEAA127FA
roll $0xb, %r12d
addl %ecx, %r12d
movl %r12d, %ebx
xorl %ecx, %ebx
movl %ebx, %r13d
xorl %r14d, %r13d
addl %r8d, %r15d
addl %r15d, %r13d
addl $0xd4ef3085, %r13d      # imm = 0xD4EF3085
roll $0x10, %r13d
addl %r12d, %r13d
addl -0x58(%rsp), %r14d
xorl %r13d, %ebx
addl %r14d, %ebx
addl $0x4881d05, %ebx        # imm = 0x4881D05
roll $0x17, %ebx
addl %r13d, %ebx
movl %ebx, %r14d
xorl %r13d, %r14d
movl %r14d, %r15d
xorl %r12d, %r15d
addl -0x7c(%rsp), %ecx
addl %ecx, %r15d
addl $0xd9d4d039, %r15d      # imm = 0xD9D4D039
roll $0x4, %r15d
addl %ebx, %r15d
addl %r11d, %r12d
xorl %r15d, %r14d
leal (%r14,%r12), %ebp
addl $0xe6db99e5, %ebp       # imm = 0xE6DB99E5
roll $0xb, %ebp
addl %r15d, %ebp
movl %ebp, %ecx
xorl %r15d, %ecx
movl %ecx, %r14d
xorl %ebx, %r14d
movl -0x4c(%rsp), %r12d
addl %r12d, %r13d
addl %r13d, %r14d
addl $0x1fa27cf8, %r14d      # imm = 0x1FA27CF8
roll $0x10, %r14d
addl %ebp, %r14d
movq -0x30(%rsp), %r13
addl %r13d, %ebx
xorl %r14d, %ecx
addl %ebx, %ecx
addl $0xc4ac5665, %ecx       # imm = 0xC4AC5665
addl %edx, %r15d
roll $0x17, %ecx
addl %r14d, %ecx
movl %ebp, %r8d
notl %r8d
orl %ecx, %r8d
xorl %r14d, %r8d
addl %r15d, %r8d
addl $0xf4292244, %r8d       # imm = 0xF4292244
roll $0x6, %r8d
addl %r10d, %ebp
movl %r14d, %edi
notl %edi
addl %ecx, %r8d
orl %r8d, %edi
xorl %ecx, %edi
addl %ebp, %edi
addl $0x432aff97, %edi       # imm = 0x432AFF97
addl %r9d, %r14d
roll $0xa, %edi
addl %r8d, %edi
movl %ecx, %edx
notl %edx
orl %edi, %edx
xorl %r8d, %edx
addl %r14d, %edx
addl $0xab9423a7, %edx       # imm = 0xAB9423A7
addl -0x6c(%rsp), %ecx
roll $0xf, %edx
addl %edi, %edx
movl %r8d, %r9d
notl %r9d
orl %edx, %r9d
xorl %edi, %r9d
addl %r9d, %ecx
addl $0xfc93a039, %ecx       # imm = 0xFC93A039
addl %r11d, %r8d
roll $0x15, %ecx
addl %edx, %ecx
movl %edi, %esi
notl %esi
orl %ecx, %esi
xorl %edx, %esi
addl %r8d, %esi
addl $0x655b59c3, %esi       # imm = 0x655B59C3
roll $0x6, %esi
addl -0x40(%rsp), %edi
movl %edx, %r8d
notl %r8d
addl %ecx, %esi
orl %esi, %r8d
xorl %ecx, %r8d
addl %r8d, %edi
addl $0x8f0ccc92, %edi       # imm = 0x8F0CCC92
addl -0x5c(%rsp), %edx
roll $0xa, %edi
addl %esi, %edi
movl %ecx, %r8d
notl %r8d
orl %edi, %r8d
xorl %esi, %r8d
addl %r8d, %edx
addl $0xffeff47d, %edx       # imm = 0xFFEFF47D
addl -0x38(%rsp), %ecx
roll $0xf, %edx
addl %edi, %edx
movl %esi, %r8d
notl %r8d
orl %edx, %r8d
xorl %edi, %r8d
addl %ecx, %r8d
addl $0x85845dd1, %r8d       # imm = 0x85845DD1
roll $0x15, %r8d
addl %edx, %r8d
addl -0x64(%rsp), %esi
movl %edi, %ecx
notl %ecx
orl %r8d, %ecx
xorl %edx, %ecx
addl %esi, %ecx
addl $0x6fa87e4f, %ecx       # imm = 0x6FA87E4F
roll $0x6, %ecx
addl %r12d, %edi
movl %edx, %esi
addl %r8d, %ecx
notl %esi
orl %ecx, %esi
xorl %r8d, %esi
addl %edi, %esi
addl $0xfe2ce6e0, %esi       # imm = 0xFE2CE6E0
roll $0xa, %esi
addl -0x58(%rsp), %edx
addl %ecx, %esi
movl %r8d, %edi
notl %edi
orl %esi, %edi
xorl %ecx, %edi
leal (%rdi,%rdx), %r9d
addl $0xa3014314, %r9d       # imm = 0xA3014314
roll $0xf, %r9d
addl %esi, %r9d
addl -0x68(%rsp), %r8d
movl %ecx, %edx
notl %edx
orl %r9d, %edx
xorl %esi, %edx
leal (%rdx,%r8), %edi
addl $0x4e0811a1, %edi       # imm = 0x4E0811A1
roll $0x15, %edi
addl -0x60(%rsp), %ecx
movl %esi, %edx
addl %r9d, %edi
notl %edx
orl %edi, %edx
xorl %r9d, %edx
leal (%rdx,%rcx), %r10d
addl $0xf7537e82, %r10d      # imm = 0xF7537E82
roll $0x6, %r10d
addl -0x54(%rsp), %esi
addl %edi, %r10d
movl %r9d, %ecx
notl %ecx
orl %r10d, %ecx
xorl %edi, %ecx
addl %esi, %ecx
addl $0xbd3af235, %ecx       # imm = 0xBD3AF235
roll $0xa, %ecx
addl %r10d, %ecx
addl %r13d, %r9d
movl %edi, %esi
notl %esi
orl %ecx, %esi
xorl %r10d, %esi
addl %r9d, %esi
addl $0x2ad7d2bb, %esi       # imm = 0x2AD7D2BB
roll $0xf, %esi
addl -0x7c(%rsp), %edi
movl %r10d, %r8d
notl %r8d
addl %ecx, %esi
orl %esi, %r8d
xorl %ecx, %r8d
addl %r8d, %edi
addl $0xeb86d391, %edi       # imm = 0xEB86D391
movq -0x78(%rsp), %r8
movq -0x8(%rsp), %rdx
addl -0x44(%rsp), %r10d
roll $0x15, %edi
addl %esi, %r8d
addl %edi, %r8d
addl -0x18(%rsp), %esi
addl -0x10(%rsp), %ecx
addq $0x40, %rax
addq $-0x40, %rdx
jne 0x49413
movq -0x28(%rsp), %rdi
movl %r10d, 0x8(%rdi)
movl %r8d, 0xc(%rdi)
movl %esi, 0x10(%rdi)
movl %ecx, 0x14(%rdi)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq