// File: /workspace/github_c_makefile_star2_O1/sfeakes[P]unifi-motion/mongoose.c
// Function: cs_md5_transform
static void cs_md5_transform(uint32_t buf[4], uint32_t const in[16]) {
  register uint32_t a, b, c, d;

  a = buf[0];
  b = buf[1];
  c = buf[2];
  d = buf[3];

  MD5STEP(F1, a, b, c, d, in[0] + 0xd76aa478, 7);
  MD5STEP(F1, d, a, b, c, in[1] + 0xe8c7b756, 12);
  MD5STEP(F1, c, d, a, b, in[2] + 0x242070db, 17);
  MD5STEP(F1, b, c, d, a, in[3] + 0xc1bdceee, 22);
  MD5STEP(F1, a, b, c, d, in[4] + 0xf57c0faf, 7);
  MD5STEP(F1, d, a, b, c, in[5] + 0x4787c62a, 12);
  MD5STEP(F1, c, d, a, b, in[6] + 0xa8304613, 17);
  MD5STEP(F1, b, c, d, a, in[7] + 0xfd469501, 22);
  MD5STEP(F1, a, b, c, d, in[8] + 0x698098d8, 7);
  MD5STEP(F1, d, a, b, c, in[9] + 0x8b44f7af, 12);
  MD5STEP(F1, c, d, a, b, in[10] + 0xffff5bb1, 17);
  MD5STEP(F1, b, c, d, a, in[11] + 0x895cd7be, 22);
  MD5STEP(F1, a, b, c, d, in[12] + 0x6b901122, 7);
  MD5STEP(F1, d, a, b, c, in[13] + 0xfd987193, 12);
  MD5STEP(F1, c, d, a, b, in[14] + 0xa679438e, 17);
  MD5STEP(F1, b, c, d, a, in[15] + 0x49b40821, 22);

  MD5STEP(F2, a, b, c, d, in[1] + 0xf61e2562, 5);
  MD5STEP(F2, d, a, b, c, in[6] + 0xc040b340, 9);
  MD5STEP(F2, c, d, a, b, in[11] + 0x265e5a51, 14);
  MD5STEP(F2, b, c, d, a, in[0] + 0xe9b6c7aa, 20);
  MD5STEP(F2, a, b, c, d, in[5] + 0xd62f105d, 5);
  MD5STEP(F2, d, a, b, c, in[10] + 0x02441453, 9);
  MD5STEP(F2, c, d, a, b, in[15] + 0xd8a1e681, 14);
  MD5STEP(F2, b, c, d, a, in[4] + 0xe7d3fbc8, 20);
  MD5STEP(F2, a, b, c, d, in[9] + 0x21e1cde6, 5);
  MD5STEP(F2, d, a, b, c, in[14] + 0xc33707d6, 9);
  MD5STEP(F2, c, d, a, b, in[3] + 0xf4d50d87, 14);
  MD5STEP(F2, b, c, d, a, in[8] + 0x455a14ed, 20);
  MD5STEP(F2, a, b, c, d, in[13] + 0xa9e3e905, 5);
  MD5STEP(F2, d, a, b, c, in[2] + 0xfcefa3f8, 9);
  MD5STEP(F2, c, d, a, b, in[7] + 0x676f02d9, 14);
  MD5STEP(F2, b, c, d, a, in[12] + 0x8d2a4c8a, 20);

  MD5STEP(F3, a, b, c, d, in[5] + 0xfffa3942, 4);
  MD5STEP(F3, d, a, b, c, in[8] + 0x8771f681, 11);
  MD5STEP(F3, c, d, a, b, in[11] + 0x6d9d6122, 16);
  MD5STEP(F3, b, c, d, a, in[14] + 0xfde5380c, 23);
  MD5STEP(F3, a, b, c, d, in[1] + 0xa4beea44, 4);
  MD5STEP(F3, d, a, b, c, in[4] + 0x4bdecfa9, 11);
  MD5STEP(F3, c, d, a, b, in[7] + 0xf6bb4b60, 16);
  MD5STEP(F3, b, c, d, a, in[10] + 0xbebfbc70, 23);
  MD5STEP(F3, a, b, c, d, in[13] + 0x289b7ec6, 4);
  MD5STEP(F3, d, a, b, c, in[0] + 0xeaa127fa, 11);
  MD5STEP(F3, c, d, a, b, in[3] + 0xd4ef3085, 16);
  MD5STEP(F3, b, c, d, a, in[6] + 0x04881d05, 23);
  MD5STEP(F3, a, b, c, d, in[9] + 0xd9d4d039, 4);
  MD5STEP(F3, d, a, b, c, in[12] + 0xe6db99e5, 11);
  MD5STEP(F3, c, d, a, b, in[15] + 0x1fa27cf8, 16);
  MD5STEP(F3, b, c, d, a, in[2] + 0xc4ac5665, 23);

  MD5STEP(F4, a, b, c, d, in[0] + 0xf4292244, 6);
  MD5STEP(F4, d, a, b, c, in[7] + 0x432aff97, 10);
  MD5STEP(F4, c, d, a, b, in[14] + 0xab9423a7, 15);
  MD5STEP(F4, b, c, d, a, in[5] + 0xfc93a039, 21);
  MD5STEP(F4, a, b, c, d, in[12] + 0x655b59c3, 6);
  MD5STEP(F4, d, a, b, c, in[3] + 0x8f0ccc92, 10);
  MD5STEP(F4, c, d, a, b, in[10] + 0xffeff47d, 15);
  MD5STEP(F4, b, c, d, a, in[1] + 0x85845dd1, 21);
  MD5STEP(F4, a, b, c, d, in[8] + 0x6fa87e4f, 6);
  MD5STEP(F4, d, a, b, c, in[15] + 0xfe2ce6e0, 10);
  MD5STEP(F4, c, d, a, b, in[6] + 0xa3014314, 15);
  MD5STEP(F4, b, c, d, a, in[13] + 0x4e0811a1, 21);
  MD5STEP(F4, a, b, c, d, in[4] + 0xf7537e82, 6);
  MD5STEP(F4, d, a, b, c, in[11] + 0xbd3af235, 10);
  MD5STEP(F4, c, d, a, b, in[2] + 0x2ad7d2bb, 15);
  MD5STEP(F4, b, c, d, a, in[9] + 0xeb86d391, 21);

  buf[0] += a;
  buf[1] += b;
  buf[2] += c;
  buf[3] += d;
}

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