// File: neubig[P]egret/Egret/src/bob-hash.cpp
// Function: hashbig(void const*, unsigned long, unsigned int)
uint32_t hashbig( const void *key, size_t length, uint32_t initval)
{
  uint32_t a,b,c;
  union { const void *ptr; size_t i; } u; /* to cast key to (size_t) happily */

  /* Set up the internal state */
  a = b = c = 0xdeadbeef + ((uint32_t)length) + initval;

  u.ptr = key;
  if (HASH_BIG_ENDIAN && ((u.i & 0x3) == 0)) {
    const uint32_t *k = (const uint32_t *)key;         /* read 32-bit chunks */
//    const uint8_t  *k8;

    /*------ all but last block: aligned reads and affect 32 bits of (a,b,c) */
    while (length > 12)
    {
      a += k[0];
      b += k[1];
      c += k[2];
      mix(a,b,c);
      length -= 12;
      k += 3;
    }

    /*----------------------------- handle the last (probably partial) block */
    /* 
     * "k[2]<<8" actually reads beyond the end of the string, but
     * then shifts out the part it's not allowed to read.  Because the
     * string is aligned, the illegal read is in the same word as the
     * rest of the string.  Every machine with memory protection I've seen
     * does it on word boundaries, so is OK with this.  But VALGRIND will
     * still catch it and complain.  The masking trick does make the hash
     * noticably faster for short strings (like English words).
     */
#ifndef VALGRIND

    switch(length)
    {
    case 12: c+=k[2]; b+=k[1]; a+=k[0]; break;
    case 11: c+=k[2]&0xffffff00; b+=k[1]; a+=k[0]; break;
    case 10: c+=k[2]&0xffff0000; b+=k[1]; a+=k[0]; break;
    case 9 : c+=k[2]&0xff000000; b+=k[1]; a+=k[0]; break;
    case 8 : b+=k[1]; a+=k[0]; break;
    case 7 : b+=k[1]&0xffffff00; a+=k[0]; break;
    case 6 : b+=k[1]&0xffff0000; a+=k[0]; break;
    case 5 : b+=k[1]&0xff000000; a+=k[0]; break;
    case 4 : a+=k[0]; break;
    case 3 : a+=k[0]&0xffffff00; break;
    case 2 : a+=k[0]&0xffff0000; break;
    case 1 : a+=k[0]&0xff000000; break;
    case 0 : return c;              /* zero length strings require no mixing */
    }

#else  /* make valgrind happy */

    k8 = (const uint8_t *)k;
    switch(length)                   /* all the case statements fall through */
    {
    case 12: c+=k[2]; b+=k[1]; a+=k[0]; break;
    case 11: c+=((uint32_t)k8[10])<<8;  /* fall through */
    case 10: c+=((uint32_t)k8[9])<<16;  /* fall through */
    case 9 : c+=((uint32_t)k8[8])<<24;  /* fall through */
    case 8 : b+=k[1]; a+=k[0]; break;
    case 7 : b+=((uint32_t)k8[6])<<8;   /* fall through */
    case 6 : b+=((uint32_t)k8[5])<<16;  /* fall through */
    case 5 : b+=((uint32_t)k8[4])<<24;  /* fall through */
    case 4 : a+=k[0]; break;
    case 3 : a+=((uint32_t)k8[2])<<8;   /* fall through */
    case 2 : a+=((uint32_t)k8[1])<<16;  /* fall through */
    case 1 : a+=((uint32_t)k8[0])<<24; break;
    case 0 : return c;
    }

#endif /* !VALGRIND */

  } else {                        /* need to read the key one byte at a time */
    const uint8_t *k = (const uint8_t *)key;

    /*--------------- all but the last block: affect some 32 bits of (a,b,c) */
    while (length > 12)
    {
      a += ((uint32_t)k[0])<<24;
      a += ((uint32_t)k[1])<<16;
      a += ((uint32_t)k[2])<<8;
      a += ((uint32_t)k[3]);
      b += ((uint32_t)k[4])<<24;
      b += ((uint32_t)k[5])<<16;
      b += ((uint32_t)k[6])<<8;
      b += ((uint32_t)k[7]);
      c += ((uint32_t)k[8])<<24;
      c += ((uint32_t)k[9])<<16;
      c += ((uint32_t)k[10])<<8;
      c += ((uint32_t)k[11]);
      mix(a,b,c);
      length -= 12;
      k += 12;
    }

    /*-------------------------------- last block: affect all 32 bits of (c) */
    switch(length)                   /* all the case statements fall through */
    {
    case 12: c+=k[11];
    case 11: c+=((uint32_t)k[10])<<8;
    case 10: c+=((uint32_t)k[9])<<16;
    case 9 : c+=((uint32_t)k[8])<<24;
    case 8 : b+=k[7];
    case 7 : b+=((uint32_t)k[6])<<8;
    case 6 : b+=((uint32_t)k[5])<<16;
    case 5 : b+=((uint32_t)k[4])<<24;
    case 4 : a+=k[3];
    case 3 : a+=((uint32_t)k[2])<<8;
    case 2 : a+=((uint32_t)k[1])<<16;
    case 1 : a+=((uint32_t)k[0])<<24;
             break;
    case 0 : return c;
    }
  }

  final(a,b,c);
  return c;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movl %edx, -0x1c(%rbp)
movq -0x18(%rbp), %rax
addl $0xdeadbeef, %eax       # imm = 0xDEADBEEF
addl -0x1c(%rbp), %eax
movl %eax, -0x28(%rbp)
movl %eax, -0x24(%rbp)
movl %eax, -0x20(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x38(%rbp)
cmpq $0xc, -0x18(%rbp)
jbe 0x3c14e
movq -0x38(%rbp), %rax
movzbl (%rax), %eax
shll $0x18, %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x1(%rax), %eax
shll $0x10, %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x2(%rax), %eax
shll $0x8, %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x3(%rax), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x4(%rax), %eax
shll $0x18, %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x5(%rax), %eax
shll $0x10, %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x6(%rax), %eax
shll $0x8, %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x7(%rax), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x8(%rax), %eax
shll $0x18, %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x9(%rax), %eax
shll $0x10, %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x38(%rbp), %rax
movzbl 0xa(%rax), %eax
shll $0x8, %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x38(%rbp), %rax
movzbl 0xb(%rax), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %ecx
movl -0x20(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x20(%rbp)
movl -0x28(%rbp), %eax
shll $0x4, %eax
movl -0x28(%rbp), %ecx
shrl $0x1c, %ecx
orl %ecx, %eax
xorl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x20(%rbp), %ecx
movl -0x24(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x20(%rbp), %eax
shll $0x6, %eax
movl -0x20(%rbp), %ecx
shrl $0x1a, %ecx
orl %ecx, %eax
xorl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x24(%rbp), %eax
shll $0x8, %eax
movl -0x24(%rbp), %ecx
shrl $0x18, %ecx
orl %ecx, %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x20(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %ecx
movl -0x20(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x20(%rbp)
movl -0x28(%rbp), %eax
shll $0x10, %eax
movl -0x28(%rbp), %ecx
shrl $0x10, %ecx
orl %ecx, %eax
xorl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x20(%rbp), %ecx
movl -0x24(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x20(%rbp), %eax
shll $0x13, %eax
movl -0x20(%rbp), %ecx
shrl $0xd, %ecx
orl %ecx, %eax
xorl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x24(%rbp), %eax
shll $0x4, %eax
movl -0x24(%rbp), %ecx
shrl $0x1c, %ecx
orl %ecx, %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x20(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movq -0x18(%rbp), %rax
subq $0xc, %rax
movq %rax, -0x18(%rbp)
movq -0x38(%rbp), %rax
addq $0xc, %rax
movq %rax, -0x38(%rbp)
jmp 0x3bf74
movq -0x18(%rbp), %rax
movq %rax, -0x40(%rbp)
subq $0xc, %rax
ja 0x3c243
movq -0x40(%rbp), %rax
leaq 0x5417d(%rip), %rcx     # 0x902e8
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x38(%rbp), %rax
movzbl 0xb(%rax), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x38(%rbp), %rax
movzbl 0xa(%rax), %eax
shll $0x8, %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x9(%rax), %eax
shll $0x10, %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x8(%rax), %eax
shll $0x18, %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x7(%rax), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x6(%rax), %eax
shll $0x8, %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x5(%rax), %eax
shll $0x10, %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x4(%rax), %eax
shll $0x18, %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x3(%rax), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x2(%rax), %eax
shll $0x8, %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x1(%rax), %eax
shll $0x10, %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movq -0x38(%rbp), %rax
movzbl (%rax), %eax
shll $0x18, %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
jmp 0x3c243
movl -0x28(%rbp), %eax
movl %eax, -0x4(%rbp)
jmp 0x3c322
movl -0x24(%rbp), %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x24(%rbp), %ecx
shll $0xe, %ecx
movl -0x24(%rbp), %eax
shrl $0x12, %eax
orl %eax, %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
xorl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x28(%rbp), %ecx
shll $0xb, %ecx
movl -0x28(%rbp), %eax
shrl $0x15, %eax
orl %eax, %ecx
movl -0x20(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x20(%rbp)
movl -0x20(%rbp), %eax
xorl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x20(%rbp), %ecx
shll $0x19, %ecx
movl -0x20(%rbp), %eax
shrl $0x7, %eax
orl %eax, %ecx
movl -0x24(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x24(%rbp), %ecx
shll $0x10, %ecx
movl -0x24(%rbp), %eax
shrl $0x10, %eax
orl %eax, %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
xorl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x28(%rbp), %ecx
shll $0x4, %ecx
movl -0x28(%rbp), %eax
shrl $0x1c, %eax
orl %eax, %ecx
movl -0x20(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x20(%rbp)
movl -0x20(%rbp), %eax
xorl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x20(%rbp), %ecx
shll $0xe, %ecx
movl -0x20(%rbp), %eax
shrl $0x12, %eax
orl %eax, %ecx
movl -0x24(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x24(%rbp), %ecx
shll $0x18, %ecx
movl -0x24(%rbp), %eax
shrl $0x8, %eax
orl %eax, %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
popq %rbp
retq
nopw (%rax,%rax)