// File: /workspace/github_c_makefile_star2_O1/genometools[P]genometools/src/core/md5_encoder.c
// Function: digest
static void digest(const WORD32 *m, WORD32 *d) {
  int j;
  /*MD5 PASSO1 */
  for (j=0; j<4*4; j+=4) {
    d[0] = d[0]+ F(d[1], d[2], d[3])+ m[j] + T[j];       d[0]=rotate(d[0], 7);
    d[0]+=d[1];
    d[3] = d[3]+ F(d[0], d[1], d[2])+ m[(j)+1] + T[j+1]; d[3]=rotate(d[3], 12);
    d[3]+=d[0];
    d[2] = d[2]+ F(d[3], d[0], d[1])+ m[(j)+2] + T[j+2]; d[2]=rotate(d[2], 17);
    d[2]+=d[3];
    d[1] = d[1]+ F(d[2], d[3], d[0])+ m[(j)+3] + T[j+3]; d[1]=rotate(d[1], 22);
    d[1]+=d[2];
  }
  /*MD5 PASSO2 */
  for (j=0; j<4*4; j+=4) {
    d[0] = d[0]+ G(d[1], d[2], d[3])+ m[(5*j+1)&0x0f] + T[(j-1)+17];
    d[0] = rotate(d[0],5);
    d[0]+=d[1];
    d[3] = d[3]+ G(d[0], d[1], d[2])+ m[((5*(j+1)+1)&0x0f)] + T[(j+0)+17];
    d[3] = rotate(d[3], 9);
    d[3]+=d[0];
    d[2] = d[2]+ G(d[3], d[0], d[1])+ m[((5*(j+2)+1)&0x0f)] + T[(j+1)+17];
    d[2] = rotate(d[2], 14);
    d[2]+=d[3];
    d[1] = d[1]+ G(d[2], d[3], d[0])+ m[((5*(j+3)+1)&0x0f)] + T[(j+2)+17];
    d[1] = rotate(d[1], 20);
    d[1]+=d[2];
  }
  /*MD5 PASSO3 */
  for (j=0; j<4*4; j+=4) {
    d[0] = d[0]+ H(d[1], d[2], d[3])+ m[(3*j+5)&0x0f] + T[(j-1)+33];
    d[0] = rotate(d[0], 4);
    d[0]+=d[1];
    d[3] = d[3]+ H(d[0], d[1], d[2])+ m[(3*(j+1)+5)&0x0f] + T[(j+0)+33];
    d[3] = rotate(d[3], 11);
    d[3]+=d[0];
    d[2] = d[2]+ H(d[3], d[0], d[1])+ m[(3*(j+2)+5)&0x0f] + T[(j+1)+33];
    d[2] = rotate(d[2], 16);
    d[2]+=d[3];
    d[1] = d[1]+ H(d[2], d[3], d[0])+ m[(3*(j+3)+5)&0x0f] + T[(j+2)+33];
    d[1] = rotate(d[1], 23);
    d[1]+=d[2];
  }
  /*MD5 PASSO4 */
  for (j=0; j<4*4; j+=4) {
    d[0] = d[0]+ I(d[1], d[2], d[3])+ m[(7*j)&0x0f] + T[(j-1)+49];
    d[0] = rotate(d[0], 6);
    d[0]+=d[1];
    d[3] = d[3]+ I(d[0], d[1], d[2])+ m[(7*(j+1))&0x0f] + T[(j+0)+49];
    d[3] = rotate(d[3], 10);
    d[3]+=d[0];
    d[2] = d[2]+ I(d[3], d[0], d[1])+ m[(7*(j+2))&0x0f] + T[(j+1)+49];
    d[2] = rotate(d[2], 15);
    d[2]+=d[3];
    d[1] = d[1]+ I(d[2], d[3], d[0])+ m[(7*(j+3))&0x0f] + T[(j+2)+49];
    d[1] = rotate(d[1], 21);
    d[1]+=d[2];
  }
}

// Assembly:
movl (%rsi), %ecx
movl 0x4(%rsi), %edx
movl 0x8(%rsi), %r8d
movl 0xc(%rsi), %r9d
movq $-0x4, %r10
leaq 0x32d43(%rip), %rax     # 0x1099a0
movl %r8d, %r11d
xorl %r9d, %r11d
andl %edx, %r11d
xorl %r9d, %r11d
addl 0x10(%rdi,%r10,4), %ecx
addl %r11d, %ecx
addl 0x10(%rax,%r10,4), %ecx
roll $0x7, %ecx
addl %edx, %ecx
movl %ecx, (%rsi)
movl %edx, %r11d
xorl %r8d, %r11d
andl %ecx, %r11d
addl 0x14(%rdi,%r10,4), %r9d
xorl %r8d, %r11d
addl 0x14(%rax,%r10,4), %r9d
addl %r11d, %r9d
roll $0xc, %r9d
addl %ecx, %r9d
movl %r9d, 0xc(%rsi)
movl %ecx, %r11d
xorl %edx, %r11d
andl %r9d, %r11d
xorl %edx, %r11d
addl 0x18(%rdi,%r10,4), %r8d
addl 0x18(%rax,%r10,4), %r8d
addl %r11d, %r8d
roll $0x11, %r8d
addl %r9d, %r8d
movl %r8d, 0x8(%rsi)
movl %r9d, %r11d
xorl %ecx, %r11d
andl %r8d, %r11d
addl 0x1c(%rdi,%r10,4), %edx
addl 0x1c(%rax,%r10,4), %edx
xorl %ecx, %r11d
addl %r11d, %edx
roll $0x16, %edx
addl %r8d, %edx
movl %edx, 0x4(%rsi)
addq $0x4, %r10
cmpq $0xc, %r10
jb 0xd6c5d
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
movl (%rsi), %ecx
movl 0x4(%rsi), %edx
movl 0xc(%rsi), %r8d
movl 0x8(%rsi), %r9d
movq $-0x4, %r10
movl $0xa, %r11d
movl %edx, %ebx
xorl %r9d, %ebx
andl %r8d, %ebx
xorl %r9d, %ebx
addl 0x14(%rdi,%r10,4), %ecx
addl %ebx, %ecx
addl 0x50(%rax,%r10,4), %ecx
roll $0x5, %ecx
addl %edx, %ecx
movl %ecx, (%rsi)
movl %ecx, %ebx
xorl %edx, %ebx
andl %r9d, %ebx
xorl %edx, %ebx
leal -0x4(%r11), %r14d
andl $0xe, %r14d
addl (%rdi,%r14,4), %r8d
addl 0x54(%rax,%r10,4), %r8d
addl %ebx, %r8d
roll $0x9, %r8d
addl %ecx, %r8d
movl %r8d, 0xc(%rsi)
movl %r8d, %ebx
xorl %ecx, %ebx
andl %edx, %ebx
movl %r11d, %r14d
andl $0xe, %r14d
addl 0x4(%rdi,%r14,4), %r9d
xorl %ecx, %ebx
addl 0x58(%rax,%r10,4), %r9d
addl %ebx, %r9d
roll $0xe, %r9d
addl %r8d, %r9d
movl %r9d, 0x8(%rsi)
movl %r9d, %ebx
xorl %r8d, %ebx
andl %ecx, %ebx
xorl %r8d, %ebx
addl 0x10(%rdi,%r10,4), %edx
addl 0x5c(%rax,%r10,4), %edx
addl %ebx, %edx
roll $0x14, %edx
addl %r9d, %edx
movl %edx, 0x4(%rsi)
addq $0x4, %r10
addq $0x14, %r11
cmpq $0xc, %r10
jb 0xd6d15
movl (%rsi), %r14d
movl 0x4(%rsi), %ecx
movl 0x8(%rsi), %edx
movl 0xc(%rsi), %r8d
leaq 0x38(%rdi), %r9
movq $-0x4, %r10
movl $0xb, %r11d
movl %edx, %ebp
xorl %ecx, %ebp
movl %ebp, %ebx
xorl %r8d, %ebx
addl %r14d, %ebx
leal -0x6(%r11), %r14d
andl $0xd, %r14d
addl (%rdi,%r14,4), %ebx
addl 0x90(%rax,%r10,4), %ebx
leal -0xb(%r11), %r14d
roll $0x4, %ebx
addl %ecx, %ebx
movl %ebx, (%rsi)
xorl %ebx, %ebp
andl $0xc, %r14d
xorl $0x8, %r14d
addl (%rdi,%r14,4), %r8d
addl 0x94(%rax,%r10,4), %r8d
addl %ebp, %r8d
roll $0xb, %r8d
addl %ebx, %r8d
movl %r8d, 0xc(%rsi)
movl %r8d, %ebp
xorl %ebx, %ebp
movl %ebp, %r14d
movl %r11d, %r15d
andl $0xf, %r15d
addl (%rdi,%r15,4), %edx
xorl %ecx, %r14d
addl %r14d, %edx
addl 0x98(%rax,%r10,4), %edx
roll $0x10, %edx
addl %r8d, %edx
movl %edx, 0x8(%rsi)
addl (%r9), %ecx
addl 0x9c(%rax,%r10,4), %ecx
xorl %edx, %ebp
addl %ebp, %ecx
roll $0x17, %ecx
addl %edx, %ecx
movl %ecx, 0x4(%rsi)
addq $0x4, %r10
addq $0xc, %r11
addq $-0x10, %r9
movl %ebx, %r14d
cmpq $0xc, %r10
jb 0xd6dd3
movl (%rsi), %ecx
movl 0x4(%rsi), %edx
movl 0x8(%rsi), %r8d
movl 0xc(%rsi), %r9d
leaq 0x38(%rdi), %r10
movq $-0x4, %r11
movl $0x5, %ebx
movl %r9d, %ebp
notl %ebp
orl %edx, %ebp
leal -0x5(%rbx), %r14d
andl $0xc, %r14d
addl (%rdi,%r14,4), %ecx
xorl %r8d, %ebp
addl %ebp, %ecx
addl 0xd0(%rax,%r11,4), %ecx
roll $0x6, %ecx
addl %edx, %ecx
movl %ecx, (%rsi)
movl %r8d, %ebp
notl %ebp
orl %ecx, %ebp
leal 0x2(%rbx), %r14d
andl $0xf, %r14d
addl (%rdi,%r14,4), %r9d
xorl %edx, %ebp
addl 0xd4(%rax,%r11,4), %r9d
addl %ebp, %r9d
roll $0xa, %r9d
addl %ecx, %r9d
movl %r9d, 0xc(%rsi)
movl %edx, %ebp
notl %ebp
orl %r9d, %ebp
xorl %ecx, %ebp
addl (%r10), %r8d
addl 0xd8(%rax,%r11,4), %r8d
addl %ebp, %r8d
roll $0xf, %r8d
addl %r9d, %r8d
movl %r8d, 0x8(%rsi)
movl %ecx, %ebp
notl %ebp
orl %r8d, %ebp
movl %ebx, %r14d
andl $0xd, %r14d
addl (%rdi,%r14,4), %edx
xorl %r9d, %ebp
addl 0xdc(%rax,%r11,4), %edx
addl %ebp, %edx
roll $0x15, %edx
addl %r8d, %edx
movl %edx, 0x4(%rsi)
addq $0x4, %r11
addq $0x1c, %rbx
addq $-0x10, %r10
cmpq $0xc, %r11
jb 0xd6e99
popq %rbx
popq %r14
popq %r15
popq %rbp
retq