// File: /workspace/github_c_makefile_star2_O2/agl[P]obstcp/sha256.c
// Function: sha256_transform
static void
sha256_transform(uint32_t *state, uint8_t *buf) {
  uint32_t S[8], W[64], t0, t1;
  int i;

  for (i = 0; i < 8; i++) S[i] = state[i];
  for (i = 0; i < 16; i++) W[i] = get32_msb(buf + (4 * i));
  for (i = 16; i < 64; i++) {
    W[i] = Gamma1(W[i - 2]) + W[i - 7] + Gamma0(W[i - 15]) + W[i - 16];
  }

  /* Compress */
#define RND(a,b,c,d,e,f,g,h,i,ki)               \
  t0 = h + Sigma1(e) + Ch(e, f, g) + ki + W[i]; \
  t1 = Sigma0(a) + Maj(a, b, c);                \
  d += t0;                                      \
  h  = t0 + t1;

  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],0,0x428a2f98);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],1,0x71374491);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],2,0xb5c0fbcf);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],3,0xe9b5dba5);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],4,0x3956c25b);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],5,0x59f111f1);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],6,0x923f82a4);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],7,0xab1c5ed5);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],8,0xd807aa98);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],9,0x12835b01);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],10,0x243185be);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],11,0x550c7dc3);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],12,0x72be5d74);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],13,0x80deb1fe);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],14,0x9bdc06a7);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],15,0xc19bf174);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],16,0xe49b69c1);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],17,0xefbe4786);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],18,0x0fc19dc6);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],19,0x240ca1cc);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],20,0x2de92c6f);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],21,0x4a7484aa);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],22,0x5cb0a9dc);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],23,0x76f988da);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],24,0x983e5152);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],25,0xa831c66d);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],26,0xb00327c8);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],27,0xbf597fc7);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],28,0xc6e00bf3);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],29,0xd5a79147);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],30,0x06ca6351);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],31,0x14292967);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],32,0x27b70a85);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],33,0x2e1b2138);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],34,0x4d2c6dfc);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],35,0x53380d13);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],36,0x650a7354);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],37,0x766a0abb);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],38,0x81c2c92e);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],39,0x92722c85);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],40,0xa2bfe8a1);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],41,0xa81a664b);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],42,0xc24b8b70);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],43,0xc76c51a3);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],44,0xd192e819);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],45,0xd6990624);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],46,0xf40e3585);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],47,0x106aa070);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],48,0x19a4c116);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],49,0x1e376c08);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],50,0x2748774c);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],51,0x34b0bcb5);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],52,0x391c0cb3);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],53,0x4ed8aa4a);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],54,0x5b9cca4f);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],55,0x682e6ff3);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],56,0x748f82ee);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],57,0x78a5636f);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],58,0x84c87814);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],59,0x8cc70208);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],60,0x90befffa);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],61,0xa4506ceb);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],62,0xbef9a3f7);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],63,0xc67178f2);

#undef RND

  for (i = 0; i < 8; i++) state[i] = state[i] + S[i];
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0xa8, %rsp
xorl %eax, %eax
cmpq $0x8, %rax
je 0x3a8e
movl (%rdi,%rax,4), %ecx
movl %ecx, -0x80(%rsp,%rax,4)
incq %rax
jmp 0x3a7c
xorl %eax, %eax
cmpq $0x10, %rax
je 0x3aa4
movl (%rsi,%rax,4), %ecx
bswapl %ecx
movl %ecx, -0x60(%rsp,%rax,4)
incq %rax
jmp 0x3a90
movabsq $0x10, %rax
cmpq $0x40, %rax
je 0x3afb
movl -0x68(%rsp,%rax,4), %ecx
movl %ecx, %edx
roll $0xf, %edx
movl %ecx, %esi
roll $0xd, %esi
xorl %edx, %esi
shrl $0xa, %ecx
xorl %esi, %ecx
addl -0x7c(%rsp,%rax,4), %ecx
movl -0x9c(%rsp,%rax,4), %edx
movl %edx, %esi
roll $0x19, %esi
movl %edx, %r8d
roll $0xe, %r8d
xorl %esi, %r8d
shrl $0x3, %edx
addl -0xa0(%rsp,%rax,4), %ecx
xorl %r8d, %edx
addl %edx, %ecx
movl %ecx, -0x60(%rsp,%rax,4)
incq %rax
jmp 0x3aae
movl -0x70(%rsp), %r8d
movl %r8d, %eax
roll $0x1a, %eax
movl %r8d, %ecx
roll $0x15, %ecx
xorl %eax, %ecx
movl %r8d, %edx
roll $0x7, %edx
xorl %ecx, %edx
movl -0x68(%rsp), %eax
movl -0x6c(%rsp), %ecx
movl %ecx, %esi
xorl %eax, %esi
andl %r8d, %esi
addl -0x64(%rsp), %edx
xorl %eax, %esi
addl -0x60(%rsp), %edx
addl %edx, %esi
addl $0x428a2f98, %esi       # imm = 0x428A2F98
movl -0x80(%rsp), %r10d
movl %r10d, %edx
roll $0x1e, %edx
movl -0x7c(%rsp), %r9d
movl %r10d, %r11d
roll $0x13, %r11d
xorl %edx, %r11d
movl %r10d, %ebx
roll $0xa, %ebx
xorl %r11d, %ebx
movl %r9d, %ebp
orl %r10d, %ebp
movl -0x78(%rsp), %r11d
andl %r11d, %ebp
movl %r9d, %edx
andl %r10d, %edx
orl %ebp, %edx
addl %ebx, %edx
addl %esi, %edx
addl -0x74(%rsp), %esi
movl %esi, %ebx
roll $0x1a, %ebx
movl %esi, %ebp
roll $0x15, %ebp
xorl %ebx, %ebp
movl %esi, %ebx
roll $0x7, %ebx
xorl %ebp, %ebx
movl %ecx, %ebp
xorl %r8d, %ebp
andl %esi, %ebp
xorl %ecx, %ebp
addl -0x5c(%rsp), %eax
addl %ebp, %eax
leal (%rax,%rbx), %r14d
addl %eax, %ebx
addl $0x71374491, %ebx       # imm = 0x71374491
movl %edx, %eax
roll $0x1e, %eax
movl %edx, %ebp
roll $0x13, %ebp
xorl %eax, %ebp
movl %edx, %r15d
roll $0xa, %r15d
xorl %ebp, %r15d
movl %edx, %ebp
orl %r10d, %ebp
andl %r9d, %ebp
movl %edx, %eax
andl %r10d, %eax
orl %ebp, %eax
addl %r15d, %eax
addl %ebx, %eax
addl %r14d, %r11d
addl $0x71374491, %r11d      # imm = 0x71374491
movl %r11d, %ebx
roll $0x1a, %ebx
movl %r11d, %ebp
roll $0x15, %ebp
xorl %ebx, %ebp
movl %r11d, %ebx
roll $0x7, %ebx
xorl %ebp, %ebx
movl %esi, %ebp
xorl %r8d, %ebp
andl %r11d, %ebp
xorl %r8d, %ebp
addl -0x58(%rsp), %ecx
addl %ebp, %ecx
leal (%rcx,%rbx), %r14d
addl %ecx, %ebx
addl $0xb5c0fbcf, %ebx       # imm = 0xB5C0FBCF
movl %eax, %ecx
roll $0x1e, %ecx
movl %eax, %ebp
roll $0x13, %ebp
xorl %ecx, %ebp
movl %eax, %r15d
roll $0xa, %r15d
xorl %ebp, %r15d
movl %eax, %ebp
orl %edx, %ebp
andl %r10d, %ebp
movl %eax, %ecx
andl %edx, %ecx
orl %ebp, %ecx
addl %r15d, %ecx
addl %ebx, %ecx
leal (%r9,%r14), %ebx
addl $0xb5c0fbcf, %ebx       # imm = 0xB5C0FBCF
movl %ebx, %r9d
roll $0x1a, %r9d
movl %ebx, %ebp
roll $0x15, %ebp
xorl %r9d, %ebp
movl %ebx, %r9d
roll $0x7, %r9d
xorl %ebp, %r9d
movl %r11d, %ebp
xorl %esi, %ebp
andl %ebx, %ebp
xorl %esi, %ebp
addl -0x54(%rsp), %r8d
addl %ebp, %r8d
leal (%r8,%r9), %r14d
addl %r9d, %r8d
addl $0xe9b5dba5, %r8d       # imm = 0xE9B5DBA5
movl %ecx, %r9d
roll $0x1e, %r9d
movl %ecx, %ebp
roll $0x13, %ebp
xorl %r9d, %ebp
movl %ecx, %r15d
roll $0xa, %r15d
xorl %ebp, %r15d
movl %ecx, %ebp
orl %eax, %ebp
andl %edx, %ebp
movl %ecx, %r9d
andl %eax, %r9d
orl %ebp, %r9d
addl %r15d, %r9d
addl %r8d, %r9d
addl %r10d, %r14d
addl $0xe9b5dba5, %r14d      # imm = 0xE9B5DBA5
movl %r14d, %r8d
roll $0x1a, %r8d
movl %r14d, %r10d
roll $0x15, %r10d
xorl %r8d, %r10d
movl %r14d, %r8d
roll $0x7, %r8d
xorl %r10d, %r8d
movl %ebx, %r10d
xorl %r11d, %r10d
andl %r14d, %r10d
xorl %r11d, %r10d
addl -0x50(%rsp), %esi
addl %r10d, %esi
addl %r8d, %esi
addl $0x3956c25b, %esi       # imm = 0x3956C25B
movl %r9d, %r8d
roll $0x1e, %r8d
movl %r9d, %r10d
roll $0x13, %r10d
xorl %r8d, %r10d
movl %r9d, %r8d
roll $0xa, %r8d
xorl %r10d, %r8d
movl %r9d, %ebp
orl %ecx, %ebp
andl %eax, %ebp
movl %r9d, %r10d
andl %ecx, %r10d
orl %ebp, %r10d
addl %r8d, %r10d
addl %esi, %edx
addl %esi, %r10d
movl %edx, %esi
roll $0x1a, %esi
movl %edx, %r8d
roll $0x15, %r8d
xorl %esi, %r8d
movl %edx, %esi
roll $0x7, %esi
xorl %r8d, %esi
movl %r14d, %r8d
xorl %ebx, %r8d
andl %edx, %r8d
addl -0x4c(%rsp), %r11d
xorl %ebx, %r8d
movl %r10d, %ebp
roll $0x1e, %ebp
addl %r8d, %r11d
movl %r10d, %r8d
roll $0x13, %r8d
addl %esi, %r11d
addl $0x59f111f1, %r11d      # imm = 0x59F111F1
movl %r10d, %r15d
roll $0xa, %r15d
xorl %ebp, %r8d
xorl %r8d, %r15d
movl %r10d, %r8d
orl %r9d, %r8d
andl %ecx, %r8d
movl %r10d, %esi
andl %r9d, %esi
orl %r8d, %esi
addl %r11d, %eax
movl %eax, %r8d
roll $0x1a, %r8d
addl %r15d, %esi
movl %eax, %ebp
roll $0x15, %ebp
addl %r11d, %esi
movl %eax, %r11d
roll $0x7, %r11d
xorl %r8d, %ebp
xorl %ebp, %r11d
movl %edx, %r8d
xorl %r14d, %r8d
andl %eax, %r8d
xorl %r14d, %r8d
addl -0x48(%rsp), %ebx
addl %r8d, %ebx
movl %esi, %r8d
roll $0x1e, %r8d
addl %ebx, %r11d
addl $0x923f82a4, %r11d      # imm = 0x923F82A4
movl %esi, %ebx
roll $0x13, %ebx
xorl %r8d, %ebx
movl %esi, %ebp
roll $0xa, %ebp
xorl %ebx, %ebp
movl %esi, %ebx
orl %r10d, %ebx
andl %r9d, %ebx
movl %esi, %r8d
andl %r10d, %r8d
orl %ebx, %r8d
addl %ebp, %r8d
addl %r11d, %ecx
movl %ecx, %ebx
roll $0x1a, %ebx
addl %r11d, %r8d
movl %ecx, %r11d
roll $0x15, %r11d
xorl %ebx, %r11d
movl %ecx, %ebx
roll $0x7, %ebx
xorl %r11d, %ebx
movl %eax, %r11d
xorl %edx, %r11d
andl %ecx, %r11d
xorl %edx, %r11d
addl -0x44(%rsp), %r14d
addl %r11d, %r14d
addl %r14d, %ebx
addl $0xab1c5ed5, %ebx       # imm = 0xAB1C5ED5
movl %r8d, %r11d
roll $0x1e, %r11d
movl %r8d, %ebp
roll $0x13, %ebp
xorl %r11d, %ebp
movl %r8d, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %r8d, %ebp
orl %esi, %ebp
andl %r10d, %ebp
movl %r8d, %r11d
andl %esi, %r11d
orl %ebp, %r11d
addl %r14d, %r11d
addl %ebx, %r9d
addl %ebx, %r11d
movl %r9d, %ebx
roll $0x1a, %ebx
movl %r9d, %ebp
roll $0x15, %ebp
xorl %ebx, %ebp
movl %r9d, %ebx
roll $0x7, %ebx
xorl %ebp, %ebx
movl %ecx, %ebp
xorl %eax, %ebp
andl %r9d, %ebp
xorl %eax, %ebp
addl -0x40(%rsp), %edx
addl %ebp, %edx
addl %ebx, %edx
addl $0xd807aa98, %edx       # imm = 0xD807AA98
movl %r11d, %ebx
roll $0x1e, %ebx
movl %r11d, %ebp
roll $0x13, %ebp
xorl %ebx, %ebp
movl %r11d, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %r11d, %ebp
orl %r8d, %ebp
andl %esi, %ebp
movl %r11d, %ebx
andl %r8d, %ebx
orl %ebp, %ebx
addl %r14d, %ebx
addl %edx, %r10d
addl %edx, %ebx
movl %r10d, %edx
roll $0x1a, %edx
movl %r10d, %ebp
roll $0x15, %ebp
xorl %edx, %ebp
movl %r10d, %edx
roll $0x7, %edx
xorl %ebp, %edx
movl %r9d, %ebp
xorl %ecx, %ebp
andl %r10d, %ebp
addl -0x3c(%rsp), %eax
xorl %ecx, %ebp
movl %ebx, %r14d
roll $0x1e, %r14d
addl %ebp, %eax
movl %ebx, %ebp
roll $0x13, %ebp
addl %eax, %edx
addl $0x12835b01, %edx       # imm = 0x12835B01
movl %ebx, %r15d
roll $0xa, %r15d
xorl %r14d, %ebp
xorl %ebp, %r15d
movl %ebx, %ebp
orl %r11d, %ebp
andl %r8d, %ebp
movl %ebx, %eax
andl %r11d, %eax
orl %ebp, %eax
addl %edx, %esi
movl %esi, %ebp
roll $0x1a, %ebp
addl %r15d, %eax
movl %esi, %r14d
roll $0x15, %r14d
addl %edx, %eax
movl %esi, %edx
roll $0x7, %edx
xorl %ebp, %r14d
xorl %r14d, %edx
movl %r10d, %ebp
xorl %r9d, %ebp
andl %esi, %ebp
xorl %r9d, %ebp
addl -0x38(%rsp), %ecx
addl %ebp, %ecx
movl %eax, %ebp
roll $0x1e, %ebp
addl %edx, %ecx
addl $0x243185be, %ecx       # imm = 0x243185BE
movl %eax, %edx
roll $0x13, %edx
xorl %ebp, %edx
movl %eax, %ebp
roll $0xa, %ebp
xorl %edx, %ebp
movl %eax, %r14d
orl %ebx, %r14d
andl %r11d, %r14d
movl %eax, %edx
andl %ebx, %edx
orl %r14d, %edx
addl %ebp, %edx
addl %ecx, %r8d
movl %r8d, %ebp
roll $0x1a, %ebp
addl %ecx, %edx
movl %r8d, %ecx
roll $0x15, %ecx
xorl %ebp, %ecx
movl %r8d, %r14d
roll $0x7, %r14d
xorl %ecx, %r14d
movl %esi, %ecx
xorl %r10d, %ecx
andl %r8d, %ecx
xorl %r10d, %ecx
addl -0x34(%rsp), %r9d
addl %ecx, %r9d
leal (%r14,%r9), %ecx
addl $0x550c7dc3, %ecx       # imm = 0x550C7DC3
movl %edx, %r9d
roll $0x1e, %r9d
movl %edx, %ebp
roll $0x13, %ebp
xorl %r9d, %ebp
movl %edx, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %edx, %ebp
orl %eax, %ebp
andl %ebx, %ebp
movl %edx, %r9d
andl %eax, %r9d
orl %ebp, %r9d
addl %r14d, %r9d
addl %ecx, %r11d
addl %ecx, %r9d
movl %r11d, %ecx
roll $0x1a, %ecx
movl %r11d, %ebp
roll $0x15, %ebp
xorl %ecx, %ebp
movl %r11d, %ecx
roll $0x7, %ecx
xorl %ebp, %ecx
movl %r8d, %ebp
xorl %esi, %ebp
andl %r11d, %ebp
xorl %esi, %ebp
addl -0x30(%rsp), %r10d
addl %ebp, %r10d
addl %r10d, %ecx
addl $0x72be5d74, %ecx       # imm = 0x72BE5D74
movl %r9d, %r10d
roll $0x1e, %r10d
movl %r9d, %ebp
roll $0x13, %ebp
xorl %r10d, %ebp
movl %r9d, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %r9d, %ebp
orl %edx, %ebp
andl %eax, %ebp
movl %r9d, %r10d
andl %edx, %r10d
orl %ebp, %r10d
addl %r14d, %r10d
addl %ecx, %ebx
addl %ecx, %r10d
movl %ebx, %ecx
roll $0x1a, %ecx
movl %ebx, %ebp
roll $0x15, %ebp
xorl %ecx, %ebp
movl %ebx, %ecx
roll $0x7, %ecx
xorl %ebp, %ecx
movl %r11d, %ebp
xorl %r8d, %ebp
andl %ebx, %ebp
addl -0x2c(%rsp), %esi
xorl %r8d, %ebp
movl %r10d, %r14d
roll $0x1e, %r14d
addl %ebp, %esi
movl %r10d, %ebp
roll $0x13, %ebp
addl %ecx, %esi
addl $0x80deb1fe, %esi       # imm = 0x80DEB1FE
movl %r10d, %r15d
roll $0xa, %r15d
xorl %r14d, %ebp
xorl %ebp, %r15d
movl %r10d, %ebp
orl %r9d, %ebp
andl %edx, %ebp
movl %r10d, %ecx
andl %r9d, %ecx
orl %ebp, %ecx
addl %esi, %eax
movl %eax, %ebp
roll $0x1a, %ebp
addl %r15d, %ecx
movl %eax, %r14d
roll $0x15, %r14d
addl %esi, %ecx
movl %eax, %esi
roll $0x7, %esi
xorl %ebp, %r14d
xorl %r14d, %esi
movl %ebx, %ebp
xorl %r11d, %ebp
andl %eax, %ebp
xorl %r11d, %ebp
addl -0x28(%rsp), %r8d
addl %ebp, %r8d
movl %ecx, %ebp
roll $0x1e, %ebp
addl %esi, %r8d
addl $0x9bdc06a7, %r8d       # imm = 0x9BDC06A7
movl %ecx, %esi
roll $0x13, %esi
xorl %ebp, %esi
movl %ecx, %ebp
roll $0xa, %ebp
xorl %esi, %ebp
movl %ecx, %r14d
orl %r10d, %r14d
andl %r9d, %r14d
movl %ecx, %esi
andl %r10d, %esi
orl %r14d, %esi
addl %ebp, %esi
addl %r8d, %edx
movl %edx, %ebp
roll $0x1a, %ebp
addl %r8d, %esi
movl %edx, %r8d
roll $0x15, %r8d
xorl %ebp, %r8d
movl %edx, %r14d
roll $0x7, %r14d
xorl %r8d, %r14d
movl %eax, %r8d
xorl %ebx, %r8d
andl %edx, %r8d
xorl %ebx, %r8d
addl -0x24(%rsp), %r11d
addl %r8d, %r11d
addl %r14d, %r11d
addl $0xc19bf174, %r11d      # imm = 0xC19BF174
movl %esi, %r8d
roll $0x1e, %r8d
movl %esi, %ebp
roll $0x13, %ebp
xorl %r8d, %ebp
movl %esi, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %esi, %ebp
orl %ecx, %ebp
andl %r10d, %ebp
movl %esi, %r8d
andl %ecx, %r8d
orl %ebp, %r8d
addl %r14d, %r8d
addl %r11d, %r9d
addl %r11d, %r8d
movl %r9d, %r11d
roll $0x1a, %r11d
movl %r9d, %ebp
roll $0x15, %ebp
xorl %r11d, %ebp
movl %r9d, %r11d
roll $0x7, %r11d
xorl %ebp, %r11d
movl %edx, %ebp
xorl %eax, %ebp
andl %r9d, %ebp
xorl %eax, %ebp
addl -0x20(%rsp), %ebx
addl %ebp, %ebx
addl %r11d, %ebx
addl $0xe49b69c1, %ebx       # imm = 0xE49B69C1
movl %r8d, %r11d
roll $0x1e, %r11d
movl %r8d, %ebp
roll $0x13, %ebp
xorl %r11d, %ebp
movl %r8d, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %r8d, %ebp
orl %esi, %ebp
andl %ecx, %ebp
movl %r8d, %r11d
andl %esi, %r11d
orl %ebp, %r11d
addl %r14d, %r11d
addl %ebx, %r10d
addl %ebx, %r11d
movl %r10d, %ebx
roll $0x1a, %ebx
movl %r10d, %ebp
roll $0x15, %ebp
xorl %ebx, %ebp
movl %r10d, %ebx
roll $0x7, %ebx
xorl %ebp, %ebx
movl %r9d, %ebp
xorl %edx, %ebp
andl %r10d, %ebp
addl -0x1c(%rsp), %eax
xorl %edx, %ebp
movl %r11d, %r14d
roll $0x1e, %r14d
addl %ebp, %eax
movl %r11d, %ebp
roll $0x13, %ebp
addl %eax, %ebx
addl $0xefbe4786, %ebx       # imm = 0xEFBE4786
movl %r11d, %r15d
roll $0xa, %r15d
xorl %r14d, %ebp
xorl %ebp, %r15d
movl %r11d, %ebp
orl %r8d, %ebp
andl %esi, %ebp
movl %r11d, %eax
andl %r8d, %eax
orl %ebp, %eax
addl %ebx, %ecx
movl %ecx, %ebp
roll $0x1a, %ebp
addl %r15d, %eax
movl %ecx, %r14d
roll $0x15, %r14d
addl %ebx, %eax
movl %ecx, %ebx
roll $0x7, %ebx
xorl %ebp, %r14d
xorl %r14d, %ebx
movl %r10d, %ebp
xorl %r9d, %ebp
andl %ecx, %ebp
xorl %r9d, %ebp
addl -0x18(%rsp), %edx
addl %ebp, %edx
movl %eax, %ebp
roll $0x1e, %ebp
addl %edx, %ebx
addl $0xfc19dc6, %ebx        # imm = 0xFC19DC6
movl %eax, %edx
roll $0x13, %edx
xorl %ebp, %edx
movl %eax, %ebp
roll $0xa, %ebp
xorl %edx, %ebp
movl %eax, %r14d
orl %r11d, %r14d
andl %r8d, %r14d
movl %eax, %edx
andl %r11d, %edx
orl %r14d, %edx
addl %ebp, %edx
addl %ebx, %esi
movl %esi, %ebp
roll $0x1a, %ebp
addl %ebx, %edx
movl %esi, %ebx
roll $0x15, %ebx
xorl %ebp, %ebx
movl %esi, %r14d
roll $0x7, %r14d
xorl %ebx, %r14d
movl %ecx, %ebx
xorl %r10d, %ebx
andl %esi, %ebx
xorl %r10d, %ebx
addl -0x14(%rsp), %r9d
addl %ebx, %r9d
leal (%r14,%r9), %ebx
addl $0x240ca1cc, %ebx       # imm = 0x240CA1CC
movl %edx, %r9d
roll $0x1e, %r9d
movl %edx, %ebp
roll $0x13, %ebp
xorl %r9d, %ebp
movl %edx, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %edx, %ebp
orl %eax, %ebp
andl %r11d, %ebp
movl %edx, %r9d
andl %eax, %r9d
orl %ebp, %r9d
addl %r14d, %r9d
addl %ebx, %r8d
addl %ebx, %r9d
movl %r8d, %ebx
roll $0x1a, %ebx
movl %r8d, %ebp
roll $0x15, %ebp
xorl %ebx, %ebp
movl %r8d, %ebx
roll $0x7, %ebx
xorl %ebp, %ebx
movl %esi, %ebp
xorl %ecx, %ebp
andl %r8d, %ebp
xorl %ecx, %ebp
addl -0x10(%rsp), %r10d
addl %ebp, %r10d
addl %r10d, %ebx
addl $0x2de92c6f, %ebx       # imm = 0x2DE92C6F
movl %r9d, %r10d
roll $0x1e, %r10d
movl %r9d, %ebp
roll $0x13, %ebp
xorl %r10d, %ebp
movl %r9d, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %r9d, %ebp
orl %edx, %ebp
andl %eax, %ebp
movl %r9d, %r10d
andl %edx, %r10d
orl %ebp, %r10d
addl %r14d, %r10d
addl %ebx, %r11d
addl %ebx, %r10d
movl %r11d, %ebx
roll $0x1a, %ebx
movl %r11d, %ebp
roll $0x15, %ebp
xorl %ebx, %ebp
movl %r11d, %ebx
roll $0x7, %ebx
xorl %ebp, %ebx
movl %r8d, %ebp
xorl %esi, %ebp
andl %r11d, %ebp
addl -0xc(%rsp), %ecx
xorl %esi, %ebp
movl %r10d, %r14d
roll $0x1e, %r14d
addl %ebp, %ecx
movl %r10d, %ebp
roll $0x13, %ebp
addl %ecx, %ebx
addl $0x4a7484aa, %ebx       # imm = 0x4A7484AA
movl %r10d, %r15d
roll $0xa, %r15d
xorl %r14d, %ebp
xorl %ebp, %r15d
movl %r10d, %ebp
orl %r9d, %ebp
andl %edx, %ebp
movl %r10d, %ecx
andl %r9d, %ecx
orl %ebp, %ecx
addl %ebx, %eax
movl %eax, %ebp
roll $0x1a, %ebp
addl %r15d, %ecx
movl %eax, %r14d
roll $0x15, %r14d
addl %ebx, %ecx
movl %eax, %ebx
roll $0x7, %ebx
xorl %ebp, %r14d
xorl %r14d, %ebx
movl %r11d, %ebp
xorl %r8d, %ebp
andl %eax, %ebp
xorl %r8d, %ebp
addl -0x8(%rsp), %esi
addl %ebp, %esi
movl %ecx, %ebp
roll $0x1e, %ebp
addl %esi, %ebx
addl $0x5cb0a9dc, %ebx       # imm = 0x5CB0A9DC
movl %ecx, %esi
roll $0x13, %esi
xorl %ebp, %esi
movl %ecx, %ebp
roll $0xa, %ebp
xorl %esi, %ebp
movl %ecx, %r14d
orl %r10d, %r14d
andl %r9d, %r14d
movl %ecx, %esi
andl %r10d, %esi
orl %r14d, %esi
addl %ebp, %esi
addl %ebx, %edx
movl %edx, %ebp
roll $0x1a, %ebp
addl %ebx, %esi
movl %edx, %ebx
roll $0x15, %ebx
xorl %ebp, %ebx
movl %edx, %r14d
roll $0x7, %r14d
xorl %ebx, %r14d
movl %eax, %ebx
xorl %r11d, %ebx
andl %edx, %ebx
xorl %r11d, %ebx
addl -0x4(%rsp), %r8d
addl %ebx, %r8d
leal (%r14,%r8), %ebx
addl $0x76f988da, %ebx       # imm = 0x76F988DA
movl %esi, %r8d
roll $0x1e, %r8d
movl %esi, %ebp
roll $0x13, %ebp
xorl %r8d, %ebp
movl %esi, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %esi, %ebp
orl %ecx, %ebp
andl %r10d, %ebp
movl %esi, %r8d
andl %ecx, %r8d
orl %ebp, %r8d
addl %r14d, %r8d
addl %ebx, %r9d
addl %ebx, %r8d
movl %r9d, %ebx
roll $0x1a, %ebx
movl %r9d, %ebp
roll $0x15, %ebp
xorl %ebx, %ebp
movl %r9d, %ebx
roll $0x7, %ebx
xorl %ebp, %ebx
movl %edx, %ebp
xorl %eax, %ebp
andl %r9d, %ebp
xorl %eax, %ebp
addl (%rsp), %r11d
addl %ebp, %r11d
addl %r11d, %ebx
addl $0x983e5152, %ebx       # imm = 0x983E5152
movl %r8d, %r11d
roll $0x1e, %r11d
movl %r8d, %ebp
roll $0x13, %ebp
xorl %r11d, %ebp
movl %r8d, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %r8d, %ebp
orl %esi, %ebp
andl %ecx, %ebp
movl %r8d, %r11d
andl %esi, %r11d
orl %ebp, %r11d
addl %r14d, %r11d
addl %ebx, %r10d
addl %ebx, %r11d
movl %r10d, %ebx
roll $0x1a, %ebx
movl %r10d, %ebp
roll $0x15, %ebp
xorl %ebx, %ebp
movl %r10d, %ebx
roll $0x7, %ebx
xorl %ebp, %ebx
movl %r9d, %ebp
xorl %edx, %ebp
andl %r10d, %ebp
addl 0x4(%rsp), %eax
xorl %edx, %ebp
movl %r11d, %r14d
roll $0x1e, %r14d
addl %ebp, %eax
movl %r11d, %ebp
roll $0x13, %ebp
addl %eax, %ebx
addl $0xa831c66d, %ebx       # imm = 0xA831C66D
movl %r11d, %r15d
roll $0xa, %r15d
xorl %r14d, %ebp
xorl %ebp, %r15d
movl %r11d, %ebp
orl %r8d, %ebp
andl %esi, %ebp
movl %r11d, %eax
andl %r8d, %eax
orl %ebp, %eax
addl %ebx, %ecx
movl %ecx, %ebp
roll $0x1a, %ebp
addl %r15d, %eax
movl %ecx, %r14d
roll $0x15, %r14d
addl %ebx, %eax
movl %ecx, %ebx
roll $0x7, %ebx
xorl %ebp, %r14d
xorl %r14d, %ebx
movl %r10d, %ebp
xorl %r9d, %ebp
andl %ecx, %ebp
xorl %r9d, %ebp
addl 0x8(%rsp), %edx
addl %ebp, %edx
movl %eax, %ebp
roll $0x1e, %ebp
addl %edx, %ebx
addl $0xb00327c8, %ebx       # imm = 0xB00327C8
movl %eax, %edx
roll $0x13, %edx
xorl %ebp, %edx
movl %eax, %ebp
roll $0xa, %ebp
xorl %edx, %ebp
movl %eax, %r14d
orl %r11d, %r14d
andl %r8d, %r14d
movl %eax, %edx
andl %r11d, %edx
orl %r14d, %edx
addl %ebp, %edx
addl %ebx, %esi
movl %esi, %ebp
roll $0x1a, %ebp
addl %ebx, %edx
movl %esi, %ebx
roll $0x15, %ebx
xorl %ebp, %ebx
movl %esi, %r14d
roll $0x7, %r14d
xorl %ebx, %r14d
movl %ecx, %ebx
xorl %r10d, %ebx
andl %esi, %ebx
xorl %r10d, %ebx
addl 0xc(%rsp), %r9d
addl %ebx, %r9d
leal (%r14,%r9), %ebx
addl $0xbf597fc7, %ebx       # imm = 0xBF597FC7
movl %edx, %r9d
roll $0x1e, %r9d
movl %edx, %ebp
roll $0x13, %ebp
xorl %r9d, %ebp
movl %edx, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %edx, %ebp
orl %eax, %ebp
andl %r11d, %ebp
movl %edx, %r9d
andl %eax, %r9d
orl %ebp, %r9d
addl %r14d, %r9d
addl %ebx, %r8d
addl %ebx, %r9d
movl %r8d, %ebx
roll $0x1a, %ebx
movl %r8d, %ebp
roll $0x15, %ebp
xorl %ebx, %ebp
movl %r8d, %ebx
roll $0x7, %ebx
xorl %ebp, %ebx
movl %esi, %ebp
xorl %ecx, %ebp
andl %r8d, %ebp
xorl %ecx, %ebp
addl 0x10(%rsp), %r10d
addl %ebp, %r10d
addl %r10d, %ebx
addl $0xc6e00bf3, %ebx       # imm = 0xC6E00BF3
movl %r9d, %r10d
roll $0x1e, %r10d
movl %r9d, %ebp
roll $0x13, %ebp
xorl %r10d, %ebp
movl %r9d, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %r9d, %ebp
orl %edx, %ebp
andl %eax, %ebp
movl %r9d, %r10d
andl %edx, %r10d
orl %ebp, %r10d
addl %r14d, %r10d
addl %ebx, %r11d
addl %ebx, %r10d
movl %r11d, %ebx
roll $0x1a, %ebx
movl %r11d, %ebp
roll $0x15, %ebp
xorl %ebx, %ebp
movl %r11d, %ebx
roll $0x7, %ebx
xorl %ebp, %ebx
movl %r8d, %ebp
xorl %esi, %ebp
andl %r11d, %ebp
addl 0x14(%rsp), %ecx
xorl %esi, %ebp
movl %r10d, %r14d
roll $0x1e, %r14d
addl %ebp, %ecx
movl %r10d, %ebp
roll $0x13, %ebp
addl %ecx, %ebx
addl $0xd5a79147, %ebx       # imm = 0xD5A79147
movl %r10d, %r15d
roll $0xa, %r15d
xorl %r14d, %ebp
xorl %ebp, %r15d
movl %r10d, %ebp
orl %r9d, %ebp
andl %edx, %ebp
movl %r10d, %ecx
andl %r9d, %ecx
orl %ebp, %ecx
addl %ebx, %eax
movl %eax, %ebp
roll $0x1a, %ebp
addl %r15d, %ecx
movl %eax, %r14d
roll $0x15, %r14d
addl %ebx, %ecx
movl %eax, %ebx
roll $0x7, %ebx
xorl %ebp, %r14d
xorl %r14d, %ebx
movl %r11d, %ebp
xorl %r8d, %ebp
andl %eax, %ebp
xorl %r8d, %ebp
addl 0x18(%rsp), %esi
addl %ebp, %esi
movl %ecx, %ebp
roll $0x1e, %ebp
addl %esi, %ebx
addl $0x6ca6351, %ebx        # imm = 0x6CA6351
movl %ecx, %esi
roll $0x13, %esi
xorl %ebp, %esi
movl %ecx, %ebp
roll $0xa, %ebp
xorl %esi, %ebp
movl %ecx, %r14d
orl %r10d, %r14d
andl %r9d, %r14d
movl %ecx, %esi
andl %r10d, %esi
orl %r14d, %esi
addl %ebp, %esi
addl %ebx, %edx
movl %edx, %ebp
roll $0x1a, %ebp
addl %ebx, %esi
movl %edx, %ebx
roll $0x15, %ebx
xorl %ebp, %ebx
movl %edx, %r14d
roll $0x7, %r14d
xorl %ebx, %r14d
movl %eax, %ebx
xorl %r11d, %ebx
andl %edx, %ebx
xorl %r11d, %ebx
addl 0x1c(%rsp), %r8d
addl %ebx, %r8d
addl %r14d, %r8d
addl $0x14292967, %r8d       # imm = 0x14292967
movl %esi, %ebx
roll $0x1e, %ebx
movl %esi, %ebp
roll $0x13, %ebp
xorl %ebx, %ebp
movl %esi, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %esi, %ebp
orl %ecx, %ebp
andl %r10d, %ebp
movl %esi, %ebx
andl %ecx, %ebx
orl %ebp, %ebx
addl %r14d, %ebx
addl %r8d, %r9d
addl %r8d, %ebx
movl %r9d, %r8d
roll $0x1a, %r8d
movl %r9d, %ebp
roll $0x15, %ebp
xorl %r8d, %ebp
movl %r9d, %r8d
roll $0x7, %r8d
xorl %ebp, %r8d
movl %edx, %ebp
xorl %eax, %ebp
andl %r9d, %ebp
xorl %eax, %ebp
addl 0x20(%rsp), %r11d
addl %ebp, %r11d
addl %r11d, %r8d
addl $0x27b70a85, %r8d       # imm = 0x27B70A85
movl %ebx, %r11d
roll $0x1e, %r11d
movl %ebx, %ebp
roll $0x13, %ebp
xorl %r11d, %ebp
movl %ebx, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %ebx, %ebp
orl %esi, %ebp
andl %ecx, %ebp
movl %ebx, %r11d
andl %esi, %r11d
orl %ebp, %r11d
addl %r14d, %r11d
addl %r8d, %r10d
addl %r8d, %r11d
movl %r10d, %r8d
roll $0x1a, %r8d
movl %r10d, %ebp
roll $0x15, %ebp
xorl %r8d, %ebp
movl %r10d, %r8d
roll $0x7, %r8d
xorl %ebp, %r8d
movl %r9d, %ebp
xorl %edx, %ebp
andl %r10d, %ebp
addl 0x24(%rsp), %eax
xorl %edx, %ebp
movl %r11d, %r14d
roll $0x1e, %r14d
addl %ebp, %eax
movl %r11d, %ebp
roll $0x13, %ebp
addl %eax, %r8d
addl $0x2e1b2138, %r8d       # imm = 0x2E1B2138
movl %r11d, %r15d
roll $0xa, %r15d
xorl %r14d, %ebp
xorl %ebp, %r15d
movl %r11d, %ebp
orl %ebx, %ebp
andl %esi, %ebp
movl %r11d, %eax
andl %ebx, %eax
orl %ebp, %eax
addl %r8d, %ecx
movl %ecx, %ebp
roll $0x1a, %ebp
addl %r15d, %eax
movl %ecx, %r14d
roll $0x15, %r14d
addl %r8d, %eax
movl %ecx, %r8d
roll $0x7, %r8d
xorl %ebp, %r14d
xorl %r14d, %r8d
movl %r10d, %ebp
xorl %r9d, %ebp
andl %ecx, %ebp
xorl %r9d, %ebp
addl 0x28(%rsp), %edx
addl %ebp, %edx
movl %eax, %ebp
roll $0x1e, %ebp
addl %r8d, %edx
addl $0x4d2c6dfc, %edx       # imm = 0x4D2C6DFC
movl %eax, %r8d
roll $0x13, %r8d
xorl %ebp, %r8d
movl %eax, %ebp
roll $0xa, %ebp
xorl %r8d, %ebp
movl %eax, %r14d
orl %r11d, %r14d
andl %ebx, %r14d
movl %eax, %r8d
andl %r11d, %r8d
orl %r14d, %r8d
addl %ebp, %r8d
addl %edx, %esi
movl %esi, %ebp
roll $0x1a, %ebp
addl %edx, %r8d
movl %esi, %edx
roll $0x15, %edx
xorl %ebp, %edx
movl %esi, %r14d
roll $0x7, %r14d
xorl %edx, %r14d
movl %ecx, %edx
xorl %r10d, %edx
andl %esi, %edx
xorl %r10d, %edx
addl 0x2c(%rsp), %r9d
addl %edx, %r9d
leal (%r14,%r9), %edx
addl $0x53380d13, %edx       # imm = 0x53380D13
movl %r8d, %r9d
roll $0x1e, %r9d
movl %r8d, %ebp
roll $0x13, %ebp
xorl %r9d, %ebp
movl %r8d, %r9d
roll $0xa, %r9d
xorl %ebp, %r9d
movl %r8d, %ebp
orl %eax, %ebp
andl %r11d, %ebp
movl %r8d, %r14d
andl %eax, %r14d
orl %ebp, %r14d
addl %r9d, %r14d
addl %edx, %ebx
addl %edx, %r14d
movl %ebx, %edx
roll $0x1a, %edx
movl %ebx, %r9d
roll $0x15, %r9d
xorl %edx, %r9d
movl %ebx, %edx
roll $0x7, %edx
xorl %r9d, %edx
movl %esi, %r9d
xorl %ecx, %r9d
andl %ebx, %r9d
xorl %ecx, %r9d
addl 0x30(%rsp), %r10d
addl %r9d, %r10d
addl %r10d, %edx
addl $0x650a7354, %edx       # imm = 0x650A7354
movl %r14d, %r9d
roll $0x1e, %r9d
movl %r14d, %r10d
roll $0x13, %r10d
xorl %r9d, %r10d
movl %r14d, %r9d
roll $0xa, %r9d
xorl %r10d, %r9d
movl %r14d, %ebp
orl %r8d, %ebp
andl %eax, %ebp
movl %r14d, %r10d
andl %r8d, %r10d
orl %ebp, %r10d
addl %r9d, %r10d
addl %edx, %r11d
addl %edx, %r10d
movl %r11d, %edx
roll $0x1a, %edx
movl %r11d, %r9d
roll $0x15, %r9d
xorl %edx, %r9d
movl %r11d, %edx
roll $0x7, %edx
xorl %r9d, %edx
movl %ebx, %r9d
xorl %esi, %r9d
andl %r11d, %r9d
addl 0x34(%rsp), %ecx
xorl %esi, %r9d
movl %r10d, %ebp
roll $0x1e, %ebp
addl %r9d, %ecx
movl %r10d, %r9d
roll $0x13, %r9d
addl %ecx, %edx
addl $0x766a0abb, %edx       # imm = 0x766A0ABB
movl %r10d, %r15d
roll $0xa, %r15d
xorl %ebp, %r9d
xorl %r9d, %r15d
movl %r10d, %r9d
orl %r14d, %r9d
andl %r8d, %r9d
movl %r10d, %ecx
andl %r14d, %ecx
orl %r9d, %ecx
addl %edx, %eax
movl %eax, %r9d
roll $0x1a, %r9d
addl %r15d, %ecx
movl %eax, %ebp
roll $0x15, %ebp
addl %edx, %ecx
movl %eax, %edx
roll $0x7, %edx
xorl %r9d, %ebp
xorl %ebp, %edx
movl %r11d, %r9d
xorl %ebx, %r9d
andl %eax, %r9d
xorl %ebx, %r9d
addl 0x38(%rsp), %esi
addl %r9d, %esi
movl %ecx, %r9d
roll $0x1e, %r9d
addl %esi, %edx
addl $0x81c2c92e, %edx       # imm = 0x81C2C92E
movl %ecx, %esi
roll $0x13, %esi
xorl %r9d, %esi
movl %ecx, %ebp
roll $0xa, %ebp
xorl %esi, %ebp
movl %ecx, %esi
orl %r10d, %esi
andl %r14d, %esi
movl %ecx, %r9d
andl %r10d, %r9d
orl %esi, %r9d
addl %ebp, %r9d
addl %edx, %r8d
movl %r8d, %esi
roll $0x1a, %esi
addl %edx, %r9d
movl %r8d, %edx
roll $0x15, %edx
xorl %esi, %edx
movl %r8d, %esi
roll $0x7, %esi
xorl %edx, %esi
movl %eax, %edx
xorl %r11d, %edx
andl %r8d, %edx
xorl %r11d, %edx
addl 0x3c(%rsp), %ebx
addl %edx, %ebx
leal (%rsi,%rbx), %edx
addl $0x92722c85, %edx       # imm = 0x92722C85
movl %r9d, %esi
roll $0x1e, %esi
movl %r9d, %ebx
roll $0x13, %ebx
xorl %esi, %ebx
movl %r9d, %esi
roll $0xa, %esi
xorl %ebx, %esi
movl %r9d, %ebp
orl %ecx, %ebp
andl %r10d, %ebp
movl %r9d, %ebx
andl %ecx, %ebx
orl %ebp, %ebx
addl %esi, %ebx
addl %edx, %r14d
addl %edx, %ebx
movl %r14d, %edx
roll $0x1a, %edx
movl %r14d, %esi
roll $0x15, %esi
xorl %edx, %esi
movl %r14d, %edx
roll $0x7, %edx
xorl %esi, %edx
movl %r8d, %esi
xorl %eax, %esi
andl %r14d, %esi
xorl %eax, %esi
addl 0x40(%rsp), %r11d
addl %esi, %r11d
addl %r11d, %edx
addl $0xa2bfe8a1, %edx       # imm = 0xA2BFE8A1
movl %ebx, %esi
roll $0x1e, %esi
movl %ebx, %r11d
roll $0x13, %r11d
xorl %esi, %r11d
movl %ebx, %esi
roll $0xa, %esi
xorl %r11d, %esi
movl %ebx, %ebp
orl %r9d, %ebp
andl %ecx, %ebp
movl %ebx, %r11d
andl %r9d, %r11d
orl %ebp, %r11d
addl %esi, %r11d
addl %edx, %r10d
addl %edx, %r11d
movl %r10d, %edx
roll $0x1a, %edx
movl %r10d, %esi
roll $0x15, %esi
xorl %edx, %esi
movl %r10d, %edx
roll $0x7, %edx
xorl %esi, %edx
movl %r14d, %esi
xorl %r8d, %esi
andl %r10d, %esi
addl 0x44(%rsp), %eax
xorl %r8d, %esi
movl %r11d, %ebp
roll $0x1e, %ebp
addl %esi, %eax
movl %r11d, %esi
roll $0x13, %esi
addl %edx, %eax
addl $0xa81a664b, %eax       # imm = 0xA81A664B
movl %r11d, %r15d
roll $0xa, %r15d
xorl %ebp, %esi
xorl %esi, %r15d
movl %r11d, %esi
orl %ebx, %esi
andl %r9d, %esi
movl %r11d, %edx
andl %ebx, %edx
orl %esi, %edx
addl %eax, %ecx
movl %ecx, %esi
roll $0x1a, %esi
addl %r15d, %edx
movl %ecx, %ebp
roll $0x15, %ebp
addl %eax, %edx
movl %ecx, %eax
roll $0x7, %eax
xorl %esi, %ebp
xorl %ebp, %eax
movl %r10d, %esi
xorl %r14d, %esi
andl %ecx, %esi
xorl %r14d, %esi
addl 0x48(%rsp), %r8d
addl %esi, %r8d
movl %edx, %esi
roll $0x1e, %esi
addl %r8d, %eax
addl $0xc24b8b70, %eax       # imm = 0xC24B8B70
movl %edx, %r8d
roll $0x13, %r8d
xorl %esi, %r8d
movl %edx, %esi
roll $0xa, %esi
xorl %r8d, %esi
movl %edx, %ebp
orl %r11d, %ebp
andl %ebx, %ebp
movl %edx, %r8d
andl %r11d, %r8d
orl %ebp, %r8d
addl %esi, %r8d
addl %eax, %r9d
movl %r9d, %esi
roll $0x1a, %esi
addl %eax, %r8d
movl %r9d, %eax
roll $0x15, %eax
xorl %esi, %eax
movl %r9d, %esi
roll $0x7, %esi
xorl %eax, %esi
movl %ecx, %eax
xorl %r10d, %eax
andl %r9d, %eax
xorl %r10d, %eax
addl 0x4c(%rsp), %r14d
addl %eax, %r14d
leal (%rsi,%r14), %eax
addl $0xc76c51a3, %eax       # imm = 0xC76C51A3
movl %r8d, %esi
roll $0x1e, %esi
movl %r8d, %ebp
roll $0x13, %ebp
xorl %esi, %ebp
movl %r8d, %esi
roll $0xa, %esi
xorl %ebp, %esi
movl %r8d, %ebp
orl %edx, %ebp
andl %r11d, %ebp
movl %r8d, %r14d
andl %edx, %r14d
orl %ebp, %r14d
addl %esi, %r14d
addl %eax, %ebx
addl %eax, %r14d
movl %ebx, %eax
roll $0x1a, %eax
movl %ebx, %esi
roll $0x15, %esi
xorl %eax, %esi
movl %ebx, %eax
roll $0x7, %eax
xorl %esi, %eax
movl %r9d, %esi
xorl %ecx, %esi
andl %ebx, %esi
xorl %ecx, %esi
addl 0x50(%rsp), %r10d
addl %esi, %r10d
addl %r10d, %eax
addl $0xd192e819, %eax       # imm = 0xD192E819
movl %r14d, %esi
roll $0x1e, %esi
movl %r14d, %r10d
roll $0x13, %r10d
xorl %esi, %r10d
movl %r14d, %esi
roll $0xa, %esi
xorl %r10d, %esi
movl %r14d, %r10d
orl %r8d, %r10d
andl %edx, %r10d
movl %r14d, %r15d
andl %r8d, %r15d
orl %r10d, %r15d
addl %esi, %r15d
addl %eax, %r11d
addl %eax, %r15d
movl %r11d, %eax
roll $0x1a, %eax
movl %r11d, %esi
roll $0x15, %esi
xorl %eax, %esi
movl %r11d, %eax
roll $0x7, %eax
xorl %esi, %eax
movl %ebx, %esi
xorl %r9d, %esi
andl %r11d, %esi
addl 0x54(%rsp), %ecx
xorl %r9d, %esi
movl %r15d, %r10d
roll $0x1e, %r10d
addl %esi, %ecx
movl %r15d, %esi
roll $0x13, %esi
addl %ecx, %eax
addl $0xd6990624, %eax       # imm = 0xD6990624
movl %r15d, %ecx
roll $0xa, %ecx
xorl %r10d, %esi
xorl %esi, %ecx
movl %r15d, %r10d
orl %r14d, %r10d
andl %r8d, %r10d
movl %r15d, %esi
andl %r14d, %esi
orl %r10d, %esi
addl %eax, %edx
movl %edx, %r10d
roll $0x1a, %r10d
addl %ecx, %esi
movl %edx, %ecx
roll $0x15, %ecx
addl %eax, %esi
movl %edx, %eax
roll $0x7, %eax
xorl %r10d, %ecx
xorl %ecx, %eax
movl %r11d, %ecx
xorl %ebx, %ecx
andl %edx, %ecx
xorl %ebx, %ecx
addl 0x58(%rsp), %r9d
addl %ecx, %r9d
movl %esi, %ecx
roll $0x1e, %ecx
addl %r9d, %eax
addl $0xf40e3585, %eax       # imm = 0xF40E3585
movl %esi, %r9d
roll $0x13, %r9d
xorl %ecx, %r9d
movl %esi, %ecx
roll $0xa, %ecx
xorl %r9d, %ecx
movl %esi, %r10d
orl %r15d, %r10d
andl %r14d, %r10d
movl %esi, %r9d
andl %r15d, %r9d
orl %r10d, %r9d
addl %ecx, %r9d
addl %eax, %r8d
movl %r8d, %ecx
roll $0x1a, %ecx
addl %eax, %r9d
movl %r8d, %eax
roll $0x15, %eax
xorl %ecx, %eax
movl %r8d, %ecx
roll $0x7, %ecx
xorl %eax, %ecx
movl %edx, %eax
xorl %r11d, %eax
andl %r8d, %eax
xorl %r11d, %eax
addl 0x5c(%rsp), %ebx
addl %eax, %ebx
leal (%rcx,%rbx), %eax
addl $0x106aa070, %eax       # imm = 0x106AA070
movl %r9d, %ecx
roll $0x1e, %ecx
movl %r9d, %r10d
roll $0x13, %r10d
xorl %ecx, %r10d
movl %r9d, %ebx
roll $0xa, %ebx
xorl %r10d, %ebx
movl %r9d, %r10d
orl %esi, %r10d
andl %r15d, %r10d
movl %r9d, %ecx
andl %esi, %ecx
orl %r10d, %ecx
addl %ebx, %ecx
addl %eax, %r14d
addl %eax, %ecx
movl %r14d, %eax
roll $0x1a, %eax
movl %r14d, %r10d
roll $0x15, %r10d
xorl %eax, %r10d
movl %r14d, %eax
roll $0x7, %eax
xorl %r10d, %eax
movl %r8d, %r10d
xorl %edx, %r10d
andl %r14d, %r10d
xorl %edx, %r10d
addl 0x60(%rsp), %r11d
addl %r10d, %r11d
leal (%rax,%r11), %r10d
addl $0x19a4c116, %r10d      # imm = 0x19A4C116
movl %ecx, %eax
roll $0x1e, %eax
movl %ecx, %r11d
roll $0x13, %r11d
xorl %eax, %r11d
movl %ecx, %ebx
roll $0xa, %ebx
xorl %r11d, %ebx
movl %ecx, %r11d
orl %r9d, %r11d
andl %esi, %r11d
movl %ecx, %eax
andl %r9d, %eax
orl %r11d, %eax
addl %ebx, %eax
addl %r10d, %r15d
addl %r10d, %eax
movl %r15d, %r10d
roll $0x1a, %r10d
movl %r15d, %r11d
roll $0x15, %r11d
xorl %r10d, %r11d
movl %r15d, %r10d
roll $0x7, %r10d
xorl %r11d, %r10d
movl %r14d, %r11d
xorl %r8d, %r11d
andl %r15d, %r11d
addl 0x64(%rsp), %edx
xorl %r8d, %r11d
movl %eax, %ebx
roll $0x1e, %ebx
addl %r11d, %edx
movl %eax, %r11d
roll $0x13, %r11d
addl %edx, %r10d
addl $0x1e376c08, %r10d      # imm = 0x1E376C08
movl %eax, %ebp
roll $0xa, %ebp
xorl %ebx, %r11d
xorl %r11d, %ebp
movl %eax, %r11d
orl %ecx, %r11d
andl %r9d, %r11d
movl %eax, %edx
andl %ecx, %edx
orl %r11d, %edx
addl %r10d, %esi
movl %esi, %r11d
roll $0x1a, %r11d
addl %ebp, %edx
movl %esi, %ebx
roll $0x15, %ebx
addl %r10d, %edx
movl %esi, %r10d
roll $0x7, %r10d
xorl %r11d, %ebx
xorl %ebx, %r10d
movl %r15d, %r11d
xorl %r14d, %r11d
andl %esi, %r11d
xorl %r14d, %r11d
addl 0x68(%rsp), %r8d
addl %r11d, %r8d
movl %edx, %r11d
roll $0x1e, %r11d
addl %r10d, %r8d
addl $0x2748774c, %r8d       # imm = 0x2748774C
movl %edx, %r10d
roll $0x13, %r10d
xorl %r11d, %r10d
movl %edx, %r11d
roll $0xa, %r11d
xorl %r10d, %r11d
movl %edx, %ebx
orl %eax, %ebx
andl %ecx, %ebx
movl %edx, %r10d
andl %eax, %r10d
orl %ebx, %r10d
addl %r11d, %r10d
addl %r8d, %r9d
movl %r9d, %r11d
roll $0x1a, %r11d
addl %r8d, %r10d
movl %r9d, %r8d
roll $0x15, %r8d
xorl %r11d, %r8d
movl %r9d, %r11d
roll $0x7, %r11d
xorl %r8d, %r11d
movl %esi, %r8d
xorl %r15d, %r8d
andl %r9d, %r8d
xorl %r15d, %r8d
addl 0x6c(%rsp), %r14d
addl %r8d, %r14d
leal (%r11,%r14), %r8d
addl $0x34b0bcb5, %r8d       # imm = 0x34B0BCB5
movl %r10d, %r11d
roll $0x1e, %r11d
movl %r10d, %ebx
roll $0x13, %ebx
xorl %r11d, %ebx
movl %r10d, %ebp
roll $0xa, %ebp
xorl %ebx, %ebp
movl %r10d, %ebx
orl %edx, %ebx
andl %eax, %ebx
movl %r10d, %r11d
andl %edx, %r11d
orl %ebx, %r11d
addl %ebp, %r11d
addl %r8d, %ecx
addl %r8d, %r11d
movl %ecx, %r8d
roll $0x1a, %r8d
movl %ecx, %ebx
roll $0x15, %ebx
xorl %r8d, %ebx
movl %ecx, %r8d
roll $0x7, %r8d
xorl %ebx, %r8d
movl %r9d, %ebx
xorl %esi, %ebx
andl %ecx, %ebx
xorl %esi, %ebx
addl 0x70(%rsp), %r15d
addl %ebx, %r15d
leal (%r8,%r15), %ebx
addl $0x391c0cb3, %ebx       # imm = 0x391C0CB3
movl %r11d, %r8d
roll $0x1e, %r8d
movl %r11d, %ebp
roll $0x13, %ebp
xorl %r8d, %ebp
movl %r11d, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %r11d, %ebp
orl %r10d, %ebp
andl %edx, %ebp
movl %r11d, %r8d
andl %r10d, %r8d
orl %ebp, %r8d
addl %r14d, %r8d
addl %ebx, %eax
addl %ebx, %r8d
movl %eax, %ebx
roll $0x1a, %ebx
movl %eax, %ebp
roll $0x15, %ebp
xorl %ebx, %ebp
movl %eax, %ebx
roll $0x7, %ebx
xorl %ebp, %ebx
movl %ecx, %ebp
xorl %r9d, %ebp
andl %eax, %ebp
addl 0x74(%rsp), %esi
xorl %r9d, %ebp
movl %r8d, %r14d
roll $0x1e, %r14d
addl %ebp, %esi
movl %r8d, %ebp
roll $0x13, %ebp
addl %ebx, %esi
addl $0x4ed8aa4a, %esi       # imm = 0x4ED8AA4A
movl %r8d, %r15d
roll $0xa, %r15d
xorl %r14d, %ebp
xorl %ebp, %r15d
movl %r8d, %ebp
orl %r11d, %ebp
andl %r10d, %ebp
movl %r8d, %ebx
andl %r11d, %ebx
orl %ebp, %ebx
addl %esi, %edx
movl %edx, %ebp
roll $0x1a, %ebp
addl %r15d, %ebx
movl %edx, %r14d
roll $0x15, %r14d
addl %esi, %ebx
movl %edx, %esi
roll $0x7, %esi
xorl %ebp, %r14d
xorl %r14d, %esi
movl %eax, %ebp
xorl %ecx, %ebp
andl %edx, %ebp
xorl %ecx, %ebp
addl 0x78(%rsp), %r9d
addl %ebp, %r9d
movl %ebx, %ebp
roll $0x1e, %ebp
addl %esi, %r9d
addl $0x5b9cca4f, %r9d       # imm = 0x5B9CCA4F
movl %ebx, %esi
roll $0x13, %esi
xorl %ebp, %esi
movl %ebx, %ebp
roll $0xa, %ebp
xorl %esi, %ebp
movl %ebx, %r14d
orl %r8d, %r14d
andl %r11d, %r14d
movl %ebx, %esi
andl %r8d, %esi
orl %r14d, %esi
addl %ebp, %esi
addl %r9d, %r10d
movl %r10d, %ebp
roll $0x1a, %ebp
addl %r9d, %esi
movl %r10d, %r9d
roll $0x15, %r9d
movl %esi, -0x7c(%rsp)
movl %r10d, %r14d
roll $0x7, %r14d
xorl %ebp, %r9d
xorl %r9d, %r14d
movl %edx, %r9d
xorl %eax, %r9d
andl %r10d, %r9d
xorl %eax, %r9d
addl 0x7c(%rsp), %ecx
addl %r9d, %ecx
movl %esi, %r9d
roll $0x1e, %r9d
leal (%r14,%rcx), %ebp
addl $0x682e6ff3, %ebp       # imm = 0x682E6FF3
movl %esi, %ecx
roll $0x13, %ecx
xorl %r9d, %ecx
movl %esi, %r9d
roll $0xa, %r9d
xorl %ecx, %r9d
movl %esi, %r14d
orl %ebx, %r14d
andl %r8d, %r14d
movl %esi, %ecx
andl %ebx, %ecx
orl %r14d, %ecx
addl %r9d, %ecx
addl %ebp, %r11d
movl %r11d, %r9d
roll $0x1a, %r9d
addl %ebp, %ecx
movl %r11d, %ebp
roll $0x15, %ebp
movl %ecx, -0x80(%rsp)
movl %r11d, %r14d
roll $0x7, %r14d
xorl %r9d, %ebp
xorl %ebp, %r14d
movl %edx, %r9d
xorl %r10d, %r9d
andl %r11d, %r9d
xorl %edx, %r9d
addl 0x80(%rsp), %eax
addl %r9d, %eax
movl %ecx, %r9d
roll $0x1e, %r9d
leal (%r14,%rax), %ebp
addl $0x748f82ee, %ebp       # imm = 0x748F82EE
movl %ecx, %eax
roll $0x13, %eax
xorl %r9d, %eax
movl %ecx, %r9d
roll $0xa, %r9d
xorl %eax, %r9d
movl %ecx, %r14d
orl %esi, %r14d
andl %ebx, %r14d
movl %ecx, %eax
andl %esi, %eax
orl %r14d, %eax
addl %r9d, %eax
addl %ebp, %r8d
movl %r8d, %r9d
roll $0x1a, %r9d
addl %ebp, %eax
movl %r8d, %ebp
roll $0x15, %ebp
xorl %r9d, %ebp
movl %r8d, %r9d
roll $0x7, %r9d
xorl %ebp, %r9d
movl %r11d, %ebp
xorl %r10d, %ebp
andl %r8d, %ebp
xorl %r10d, %ebp
addl 0x84(%rsp), %edx
addl %ebp, %edx
addl %edx, %r9d
addl $0x78a5636f, %r9d       # imm = 0x78A5636F
movl %eax, %edx
roll $0x1e, %edx
movl %eax, %ebp
roll $0x13, %ebp
xorl %edx, %ebp
movl %eax, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %eax, %ebp
orl %ecx, %ebp
andl %esi, %ebp
movl %eax, %edx
andl %ecx, %edx
orl %ebp, %edx
addl %r14d, %edx
addl %r9d, %ebx
addl %r9d, %edx
movl %ebx, %r9d
roll $0x1a, %r9d
movl %ebx, %ebp
roll $0x15, %ebp
xorl %r9d, %ebp
movl %ebx, %r9d
roll $0x7, %r9d
xorl %ebp, %r9d
movl %r8d, %ebp
xorl %r11d, %ebp
andl %ebx, %ebp
xorl %r11d, %ebp
addl 0x88(%rsp), %r10d
addl %ebp, %r10d
addl %r9d, %r10d
addl $0x84c87814, %r10d      # imm = 0x84C87814
movl %edx, %r9d
roll $0x1e, %r9d
movl %edx, %ebp
roll $0x13, %ebp
xorl %r9d, %ebp
movl %edx, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %edx, %ebp
orl %eax, %ebp
andl %ecx, %ebp
movl %edx, %r9d
andl %eax, %r9d
orl %ebp, %r9d
addl %r14d, %r9d
addl %r10d, %esi
addl %r10d, %r9d
movl %r9d, -0x6c(%rsp)
movl %esi, %r10d
roll $0x1a, %r10d
movl %esi, %ebp
roll $0x15, %ebp
xorl %r10d, %ebp
movl %esi, %r10d
roll $0x7, %r10d
xorl %ebp, %r10d
movl %ebx, %ebp
xorl %r8d, %ebp
andl %esi, %ebp
xorl %r8d, %ebp
addl 0x8c(%rsp), %r11d
addl %ebp, %r11d
addl %r10d, %r11d
addl $0x8cc70208, %r11d      # imm = 0x8CC70208
movl %r9d, %r10d
roll $0x1e, %r10d
movl %r9d, %ebp
roll $0x13, %ebp
xorl %r10d, %ebp
movl %r9d, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %r9d, %ebp
orl %edx, %ebp
andl %eax, %ebp
movl %r9d, %r10d
andl %edx, %r10d
orl %ebp, %r10d
addl %r14d, %r10d
addl %r11d, %ecx
addl %r11d, %r10d
movl %r10d, -0x70(%rsp)
movl %ecx, %r11d
roll $0x1a, %r11d
movl %ecx, %ebp
roll $0x15, %ebp
xorl %r11d, %ebp
movl %ecx, %r11d
roll $0x7, %r11d
xorl %ebp, %r11d
movl %esi, %ebp
xorl %ebx, %ebp
andl %ecx, %ebp
xorl %ebx, %ebp
addl 0x90(%rsp), %r8d
addl %ebp, %r8d
addl %r8d, %r11d
addl $0x90befffa, %r11d      # imm = 0x90BEFFFA
movl %r10d, %r8d
roll $0x1e, %r8d
movl %r10d, %ebp
roll $0x13, %ebp
xorl %r8d, %ebp
movl %r10d, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %r10d, %ebp
orl %r9d, %ebp
andl %edx, %ebp
movl %r10d, %r8d
andl %r9d, %r8d
orl %ebp, %r8d
addl %r14d, %r8d
addl %r11d, %eax
movl %eax, -0x64(%rsp)
addl %r11d, %r8d
movl %eax, %r11d
roll $0x1a, %r11d
movl %r8d, -0x74(%rsp)
movl %eax, %ebp
roll $0x15, %ebp
xorl %r11d, %ebp
movl %eax, %r11d
roll $0x7, %r11d
xorl %ebp, %r11d
movl %ecx, %ebp
xorl %esi, %ebp
andl %eax, %ebp
xorl %esi, %ebp
addl 0x94(%rsp), %ebx
addl %ebp, %ebx
addl %r11d, %ebx
addl $0xa4506ceb, %ebx       # imm = 0xA4506CEB
movl %r8d, %r11d
roll $0x1e, %r11d
movl %r8d, %ebp
roll $0x13, %ebp
xorl %r11d, %ebp
movl %r8d, %r14d
roll $0xa, %r14d
xorl %ebp, %r14d
movl %r8d, %ebp
orl %r10d, %ebp
andl %r9d, %ebp
movl %r8d, %r11d
andl %r10d, %r11d
orl %ebp, %r11d
addl %r14d, %r11d
addl %ebx, %edx
movl %edx, -0x68(%rsp)
movl %edx, %ebp
roll $0x1a, %ebp
addl %ebx, %r11d
movl %edx, %ebx
roll $0x15, %ebx
movl %r11d, -0x78(%rsp)
movl %edx, %r14d
roll $0x7, %r14d
xorl %ebp, %ebx
xorl %ebx, %r14d
movl %eax, %ebx
xorl %ecx, %ebx
andl %edx, %ebx
xorl %ecx, %ebx
addl 0x98(%rsp), %esi
addl %ebx, %esi
movl %r11d, %ebx
roll $0x1e, %ebx
leal (%r14,%rsi), %ebp
addl $0xbef9a3f7, %ebp       # imm = 0xBEF9A3F7
movl %r11d, %esi
roll $0x13, %esi
xorl %ebx, %esi
movl %r11d, %ebx
roll $0xa, %ebx
xorl %esi, %ebx
movl %r11d, %r14d
orl %r8d, %r14d
andl %r10d, %r14d
movl %r11d, %esi
andl %r8d, %esi
orl %r14d, %esi
addl %ebx, %esi
addl %ebp, %r9d
movl %r9d, -0x6c(%rsp)
addl %ebp, %esi
movl %r9d, %ebx
movl %r9d, %r14d
xorl %eax, %edx
andl %r9d, %edx
roll $0x1a, %r9d
roll $0x15, %ebx
movl %esi, -0x7c(%rsp)
xorl %r9d, %ebx
roll $0x7, %r14d
xorl %ebx, %r14d
xorl %eax, %edx
addl 0x9c(%rsp), %ecx
addl %edx, %ecx
movl %esi, %eax
roll $0x1e, %eax
addl %r14d, %ecx
addl $0xc67178f2, %ecx       # imm = 0xC67178F2
movl %esi, %edx
roll $0x13, %edx
xorl %eax, %edx
movl %esi, %eax
roll $0xa, %eax
xorl %edx, %eax
movl %esi, %edx
orl %r11d, %edx
andl %r8d, %edx
andl %r11d, %esi
orl %edx, %esi
addl %eax, %esi
addl %ecx, %r10d
movl %r10d, -0x70(%rsp)
addl %ecx, %esi
movl %esi, -0x80(%rsp)
xorl %eax, %eax
cmpq $0x8, %rax
je 0x540e
movl -0x80(%rsp,%rax,4), %ecx
addl %ecx, (%rdi,%rax,4)
incq %rax
jmp 0x53fc
addq $0xa8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq