user: What would the C source look like for the assembly code provided here?

```asm
<get_hashfunc>:
  endbr64
  lea    -0x21524111(%rdx,%rsi,1),%r8d
  mov    %rdi,%rax
  mov    %rsi,%rdi
  mov    %r8d,%r9d
  mov    %r8d,%ecx
  cmp    $0xc,%rsi
  jbe    L17
  nopw   0x0(%rax,%rax,1)
L15:
  mov    0x8(%rax),%edx
  add    (%rax),%r8d
  add    0x20(%rax),%ecx
  mov    0x38(%rax),%esi
  shl    $0x8,%edx
  add    0x40(%rax),%r9d
  add    %r8d,%edx
  mov    0x10(%rax),%r8d
  shl    $0x18,%esi
  shl    $0x10,%r8d
  add    %edx,%r8d
  mov    0x18(%rax),%edx
  shl    $0x18,%edx
  add    %edx,%r8d
  mov    0x28(%rax),%edx
  shl    $0x8,%edx
  add    %ecx,%edx
  mov    0x30(%rax),%ecx
  shl    $0x10,%ecx
  add    %edx,%ecx
  mov    0x50(%rax),%edx
  add    %ecx,%esi
  mov    0x48(%rax),%ecx
  shl    $0x10,%edx
  shl    $0x8,%ecx
  add    %r9d,%ecx
  add    %ecx,%edx
  mov    0x58(%rax),%ecx
  shl    $0x18,%ecx
  add    %edx,%ecx
  mov    %ecx,%edx
  mov    %ecx,%r9d
  sub    %ecx,%r8d
  sar    $0x1c,%r9d
  shl    $0x4,%edx
  or     %r9d,%edx
  xor    %r8d,%edx
  lea    (%rsi,%rcx,1),%r8d
  mov    %edx,%r9d
  mov    %edx,%ecx
  sub    %edx,%esi
  sar    $0x1a,%r9d
  shl    $0x6,%ecx
  or     %r9d,%ecx
  xor    %esi,%ecx
  lea    (%rdx,%r8,1),%esi
  mov    %ecx,%r9d
  mov    %ecx,%edx
  sub    %ecx,%r8d
  shl    $0x8,%edx
  sar    $0x18,%r9d
  add    %esi,%ecx
  sub    $0xc,%rdi
  or     %r9d,%edx
  add    $0x60,%rax
  xor    %r8d,%edx
  mov    %edx,%r8d
  mov    %edx,%r9d
  sub    %edx,%esi
  add    %ecx,%edx
  sar    $0x10,%r9d
  shl    $0x10,%r8d
  or     %r9d,%r8d
  xor    %esi,%r8d
  mov    %r8d,%esi
  mov    %r8d,%r9d
  sub    %r8d,%ecx
  add    %edx,%r8d
  sar    $0xd,%r9d
  shl    $0x13,%esi
  or     %r9d,%esi
  xor    %esi,%ecx
  mov    %ecx,%r9d
  mov    %ecx,%esi
  sub    %ecx,%edx
  add    %r8d,%ecx
  shl    $0x4,%r9d
  sar    $0x1c,%esi
  or     %esi,%r9d
  xor    %edx,%r9d
  cmp    $0xc,%rdi
  ja     L15
L17:
  lea    D3(%rip),%rsi
  movslq (%rsi,%rdi,4),%rdx
  add    %rsi,%rdx
  notrack jmp *%rdx
  mov    0x58(%rax),%edx
  shl    $0x18,%edx
  add    %edx,%r9d
  mov    0x50(%rax),%edx
  shl    $0x10,%edx
  add    %edx,%r9d
  mov    0x48(%rax),%edx
  shl    $0x8,%edx
  add    %edx,%r9d
  add    0x40(%rax),%r9d
  mov    0x38(%rax),%edx
  shl    $0x18,%edx
  add    %edx,%ecx
  mov    0x30(%rax),%edx
  shl    $0x10,%edx
  add    %edx,%ecx
  mov    0x28(%rax),%edx
  shl    $0x8,%edx
  add    %edx,%ecx
  add    0x20(%rax),%ecx
  mov    0x18(%rax),%edx
  shl    $0x18,%edx
  add    %edx,%r8d
  mov    0x10(%rax),%edx
  shl    $0x10,%edx
  add    %edx,%r8d
  mov    0x8(%rax),%edx
  shl    $0x8,%edx
  add    %edx,%r8d
  add    (%rax),%r8d
  mov    %ecx,%edx
  mov    %ecx,%eax
  xor    %ecx,%r9d
  sar    $0x12,%edx
  shl    $0xe,%eax
  or     %edx,%eax
  sub    %eax,%r9d
  mov    %r9d,%eax
  mov    %r9d,%edx
  xor    %r9d,%r8d
  sar    $0x15,%edx
  shl    $0xb,%eax
  or     %edx,%eax
  sub    %eax,%r8d
  mov    %r8d,%eax
  mov    %r8d,%edx
  xor    %r8d,%ecx
  sar    $0x7,%edx
  shl    $0x19,%eax
  or     %edx,%eax
  sub    %eax,%ecx
  mov    %ecx,%eax
  mov    %ecx,%edx
  xor    %ecx,%r9d
  sar    $0x10,%edx
  shl    $0x10,%eax
  or     %edx,%eax
  sub    %eax,%r9d
  mov    %r9d,%eax
  mov    %r9d,%edx
  xor    %r9d,%r8d
  shl    $0x4,%eax
  sar    $0x1c,%edx
  or     %edx,%eax
  sub    %eax,%r8d
  mov    %r8d,%eax
  xor    %r8d,%ecx
  sar    $0x12,%r8d
  shl    $0xe,%eax
  or     %r8d,%eax
  sub    %eax,%ecx
  mov    %ecx,%eax
  xor    %ecx,%r9d
  shl    $0x18,%eax
  sar    $0x8,%ecx
  or     %ecx,%eax
  sub    %eax,%r9d
  mov    %r9d,%eax
  ret
```

assistant: ```c
uint32_t get_hashfunc(const void *key, size_t length, uint32_t initval) {
  uint32_t a, b, c;
  a = b = c = 0xdeadbeef + ((uint32_t)length) + initval;
  const uint8_t *k = (const uint8_t *)key;
  while (length > 12) {
    a += k[0];
    a += ((uint32_t)k[1]) << 8;
    a += ((uint32_t)k[2]) << 16;
    a += ((uint32_t)k[3]) << 24;
    b += k[4];
    b += ((uint32_t)k[5]) << 8;
    b += ((uint32_t)k[6]) << 16;
    b += ((uint32_t)k[7]) << 24;
    c += k[8];
    c += ((uint32_t)k[9]) << 8;
    c += ((uint32_t)k[10]) << 16;
    c += ((uint32_t)k[11]) << 24;
    {
      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 += ((uint32_t)k[11]) << 24;
  case 11:
    c += ((uint32_t)k[10]) << 16;
  case 10:
    c += ((uint32_t)k[9]) << 8;
  case 9:
    c += k[8];
  case 8:
    b += ((uint32_t)k[7]) << 24;
  case 7:
    b += ((uint32_t)k[6]) << 16;
  case 6:
    b += ((uint32_t)k[5]) << 8;
  case 5:
    b += k[4];
  case 4:
    a += ((uint32_t)k[3]) << 24;
  case 3:
    a += ((uint32_t)k[2]) << 16;
  case 2:
    a += ((uint32_t)k[1]) << 8;
  case 1:
    a += k[0];
    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;
}
```