user: 请从给定的汇编指令推导出C源代码：

```asm
<hashbig>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %edx,-0x34(%rbp)
  mov    -0x30(%rbp),%rax
  mov    %eax,%edx
  mov    -0x34(%rbp),%eax
  add    %edx,%eax
  sub    $0x21524111,%eax
  mov    %eax,-0x18(%rbp)
  mov    -0x18(%rbp),%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x28(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  jmp    L22
L41:
  mov    -0x8(%rbp),%rax
  mov    (%rax),%rax
  shl    $0x18,%eax
  add    %eax,-0x14(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  shl    $0x10,%eax
  add    %eax,-0x14(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  shl    $0x8,%eax
  add    %eax,-0x14(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  add    %eax,-0x14(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  shl    $0x18,%eax
  add    %eax,-0x1c(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  shl    $0x10,%eax
  add    %eax,-0x1c(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rax
  shl    $0x8,%eax
  add    %eax,-0x1c(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rax
  add    %eax,-0x1c(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%rax
  shl    $0x18,%eax
  add    %eax,-0x18(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x48,%rax
  mov    (%rax),%rax
  shl    $0x10,%eax
  add    %eax,-0x18(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x50,%rax
  mov    (%rax),%rax
  shl    $0x8,%eax
  add    %eax,-0x18(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x58,%rax
  mov    (%rax),%rax
  add    %eax,-0x18(%rbp)
  mov    -0x18(%rbp),%eax
  sub    %eax,-0x14(%rbp)
  mov    -0x18(%rbp),%eax
  shl    $0x4,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%eax
  sar    $0x1c,%eax
  or     %edx,%eax
  xor    %eax,-0x14(%rbp)
  mov    -0x1c(%rbp),%eax
  add    %eax,-0x18(%rbp)
  mov    -0x14(%rbp),%eax
  sub    %eax,-0x1c(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0x6,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  sar    $0x1a,%eax
  or     %edx,%eax
  xor    %eax,-0x1c(%rbp)
  mov    -0x18(%rbp),%eax
  add    %eax,-0x14(%rbp)
  mov    -0x1c(%rbp),%eax
  sub    %eax,-0x18(%rbp)
  mov    -0x1c(%rbp),%eax
  shl    $0x8,%eax
  mov    %eax,%edx
  mov    -0x1c(%rbp),%eax
  sar    $0x18,%eax
  or     %edx,%eax
  xor    %eax,-0x18(%rbp)
  mov    -0x14(%rbp),%eax
  add    %eax,-0x1c(%rbp)
  mov    -0x18(%rbp),%eax
  sub    %eax,-0x14(%rbp)
  mov    -0x18(%rbp),%eax
  shl    $0x10,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%eax
  sar    $0x10,%eax
  or     %edx,%eax
  xor    %eax,-0x14(%rbp)
  mov    -0x1c(%rbp),%eax
  add    %eax,-0x18(%rbp)
  mov    -0x14(%rbp),%eax
  sub    %eax,-0x1c(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0x13,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  sar    $0xd,%eax
  or     %edx,%eax
  xor    %eax,-0x1c(%rbp)
  mov    -0x18(%rbp),%eax
  add    %eax,-0x14(%rbp)
  mov    -0x1c(%rbp),%eax
  sub    %eax,-0x18(%rbp)
  mov    -0x1c(%rbp),%eax
  shl    $0x4,%eax
  mov    %eax,%edx
  mov    -0x1c(%rbp),%eax
  sar    $0x1c,%eax
  or     %edx,%eax
  xor    %eax,-0x18(%rbp)
  mov    -0x14(%rbp),%eax
  add    %eax,-0x1c(%rbp)
  subq   $0xc,-0x30(%rbp)
  addq   $0x60,-0x8(%rbp)
L22:
  cmpq   $0xc,-0x30(%rbp)
  ja     L41
  cmpq   $0xc,-0x30(%rbp)
  ja     L27
  mov    -0x30(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  lea    D8(%rip),%rax
  mov    (%rdx,%rax,1),%eax
  cltq
  lea    D8(%rip),%rdx
  add    %rdx,%rax
  notrack jmp *%rax
  mov    -0x8(%rbp),%rax
  add    $0x58,%rax
  mov    (%rax),%rax
  mov    %eax,%edx
  mov    -0x18(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x18(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x50,%rax
  mov    (%rax),%rax
  shl    $0x8,%eax
  add    %eax,-0x18(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x48,%rax
  mov    (%rax),%rax
  shl    $0x10,%eax
  add    %eax,-0x18(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%rax
  shl    $0x18,%eax
  add    %eax,-0x18(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rax
  mov    %eax,%edx
  mov    -0x1c(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rax
  shl    $0x8,%eax
  add    %eax,-0x1c(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  shl    $0x10,%eax
  add    %eax,-0x1c(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  shl    $0x18,%eax
  add    %eax,-0x1c(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  shl    $0x8,%eax
  add    %eax,-0x14(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  shl    $0x10,%eax
  add    %eax,-0x14(%rbp)
  mov    -0x8(%rbp),%rax
  mov    (%rax),%rax
  shl    $0x18,%eax
  add    %eax,-0x14(%rbp)
  jmp    L27
  mov    -0x18(%rbp),%eax
  jmp    L43
L27:
  mov    -0x1c(%rbp),%eax
  xor    %eax,-0x18(%rbp)
  mov    -0x1c(%rbp),%eax
  shl    $0xe,%eax
  mov    %eax,%edx
  mov    -0x1c(%rbp),%eax
  sar    $0x12,%eax
  or     %edx,%eax
  sub    %eax,-0x18(%rbp)
  mov    -0x18(%rbp),%eax
  xor    %eax,-0x14(%rbp)
  mov    -0x18(%rbp),%eax
  shl    $0xb,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%eax
  sar    $0x15,%eax
  or     %edx,%eax
  sub    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  xor    %eax,-0x1c(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0x19,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  sar    $0x7,%eax
  or     %edx,%eax
  sub    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  xor    %eax,-0x18(%rbp)
  mov    -0x1c(%rbp),%eax
  shl    $0x10,%eax
  mov    %eax,%edx
  mov    -0x1c(%rbp),%eax
  sar    $0x10,%eax
  or     %edx,%eax
  sub    %eax,-0x18(%rbp)
  mov    -0x18(%rbp),%eax
  xor    %eax,-0x14(%rbp)
  mov    -0x18(%rbp),%eax
  shl    $0x4,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%eax
  sar    $0x1c,%eax
  or     %edx,%eax
  sub    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  xor    %eax,-0x1c(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0xe,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  sar    $0x12,%eax
  or     %edx,%eax
  sub    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  xor    %eax,-0x18(%rbp)
  mov    -0x1c(%rbp),%eax
  shl    $0x18,%eax
  mov    %eax,%edx
  mov    -0x1c(%rbp),%eax
  sar    $0x8,%eax
  or     %edx,%eax
  sub    %eax,-0x18(%rbp)
  mov    -0x18(%rbp),%eax
L43:
  pop    %rbp
  ret
```

assistant: ```c
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;
  a = b = c = 0xdeadbeef + ((uint32_t)length) + initval;
  u.ptr = key;
  if (0 && ((u.i & 0x3) == 0)) {
    const uint32_t *k = (const uint32_t *)key;
    const uint8_t *k8;
    while (length > 12) {
      a += k[0];
      b += k[1];
      c += k[2];
      {
        a -= c;
        a ^= (((c) << (4)) | ((c) >> (32 - (4))));
        c += b;
        b -= a;
        b ^= (((a) << (6)) | ((a) >> (32 - (6))));
        a += c;
        c -= b;
        c ^= (((b) << (8)) | ((b) >> (32 - (8))));
        b += a;
        a -= c;
        a ^= (((c) << (16)) | ((c) >> (32 - (16))));
        c += b;
        b -= a;
        b ^= (((a) << (19)) | ((a) >> (32 - (19))));
        a += c;
        c -= b;
        c ^= (((b) << (4)) | ((b) >> (32 - (4))));
        b += a;
      };
      length -= 12;
      k += 3;
    }
    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;
    }
  } else {
    const uint8_t *k = (const uint8_t *)key;
    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]);
      {
        a -= c;
        a ^= (((c) << (4)) | ((c) >> (32 - (4))));
        c += b;
        b -= a;
        b ^= (((a) << (6)) | ((a) >> (32 - (6))));
        a += c;
        c -= b;
        c ^= (((b) << (8)) | ((b) >> (32 - (8))));
        b += a;
        a -= c;
        a ^= (((c) << (16)) | ((c) >> (32 - (16))));
        c += b;
        b -= a;
        b ^= (((a) << (19)) | ((a) >> (32 - (19))));
        a += c;
        c -= b;
        c ^= (((b) << (4)) | ((b) >> (32 - (4))));
        b += a;
      };
      length -= 12;
      k += 12;
    }
    switch (length) {
    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;
    }
  }
  {
    c ^= b;
    c -= (((b) << (14)) | ((b) >> (32 - (14))));
    a ^= c;
    a -= (((c) << (11)) | ((c) >> (32 - (11))));
    b ^= a;
    b -= (((a) << (25)) | ((a) >> (32 - (25))));
    c ^= b;
    c -= (((b) << (16)) | ((b) >> (32 - (16))));
    a ^= c;
    a -= (((c) << (4)) | ((c) >> (32 - (4))));
    b ^= a;
    b -= (((a) << (14)) | ((a) >> (32 - (14))));
    c ^= b;
    c -= (((b) << (24)) | ((b) >> (32 - (24))));
  };
  return c;
}
```