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

```asm
<tommy_hash_u64>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %edi,-0x24(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %rdx,-0x38(%rbp)
  mov    -0x30(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x38(%rbp),%rax
  mov    %eax,%edx
  mov    -0x24(%rbp),%eax
  add    %edx,%eax
  sub    $0x21524111,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0xc(%rbp),%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x10(%rbp),%eax
  mov    %eax,-0x14(%rbp)
  mov    $0x20,%edx
  mov    -0x24(%rbp),%eax
  mov    %edx,%ecx
  sar    %cl,%eax
  add    %eax,-0xc(%rbp)
  jmp    L62
L50:
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <tommy_le_uint32_read@plt>
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    %rax,%rdi
  call   <tommy_le_uint32_read@plt>
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  mov    %rax,%rdi
  call   <tommy_le_uint32_read@plt>
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0xc(%rbp),%eax
  sub    %eax,-0x14(%rbp)
  mov    -0xc(%rbp),%eax
  shl    $0x4,%eax
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  sar    $0x1c,%eax
  or     %edx,%eax
  xor    %eax,-0x14(%rbp)
  mov    -0x10(%rbp),%eax
  add    %eax,-0xc(%rbp)
  mov    -0x14(%rbp),%eax
  sub    %eax,-0x10(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0x6,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  sar    $0x1a,%eax
  or     %edx,%eax
  xor    %eax,-0x10(%rbp)
  mov    -0xc(%rbp),%eax
  add    %eax,-0x14(%rbp)
  mov    -0x10(%rbp),%eax
  sub    %eax,-0xc(%rbp)
  mov    -0x10(%rbp),%eax
  shl    $0x8,%eax
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  sar    $0x18,%eax
  or     %edx,%eax
  xor    %eax,-0xc(%rbp)
  mov    -0x14(%rbp),%eax
  add    %eax,-0x10(%rbp)
  mov    -0xc(%rbp),%eax
  sub    %eax,-0x14(%rbp)
  mov    -0xc(%rbp),%eax
  shl    $0x10,%eax
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  sar    $0x10,%eax
  or     %edx,%eax
  xor    %eax,-0x14(%rbp)
  mov    -0x10(%rbp),%eax
  add    %eax,-0xc(%rbp)
  mov    -0x14(%rbp),%eax
  sub    %eax,-0x10(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0x13,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  sar    $0xd,%eax
  or     %edx,%eax
  xor    %eax,-0x10(%rbp)
  mov    -0xc(%rbp),%eax
  add    %eax,-0x14(%rbp)
  mov    -0x10(%rbp),%eax
  sub    %eax,-0xc(%rbp)
  mov    -0x10(%rbp),%eax
  shl    $0x4,%eax
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  sar    $0x1c,%eax
  or     %edx,%eax
  xor    %eax,-0xc(%rbp)
  mov    -0x14(%rbp),%eax
  add    %eax,-0x10(%rbp)
  subq   $0xc,-0x38(%rbp)
  addq   $0xc,-0x8(%rbp)
L62:
  cmpq   $0xc,-0x38(%rbp)
  ja     L50
  cmpq   $0xc,-0x38(%rbp)
  ja     L49
  mov    -0x38(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  lea    D9(%rip),%rax
  mov    (%rdx,%rax,1),%eax
  cltq
  lea    D9(%rip),%rdx
  add    %rdx,%rax
  notrack jmp *%rax
  mov    $0x20,%edx
  mov    -0x10(%rbp),%eax
  mov    %edx,%ecx
  shl    %cl,%eax
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  add    %edx,%eax
  jmp    L57
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  mov    %rax,%rdi
  call   <tommy_le_uint32_read@plt>
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    %rax,%rdi
  call   <tommy_le_uint32_read@plt>
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <tommy_le_uint32_read@plt>
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  jmp    L49
  mov    -0x8(%rbp),%rax
  add    $0xa,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x10,%eax
  add    %eax,-0xc(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x9,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x8,%eax
  add    %eax,-0xc(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %eax,-0xc(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    %rax,%rdi
  call   <tommy_le_uint32_read@plt>
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <tommy_le_uint32_read@plt>
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  jmp    L49
  mov    -0x8(%rbp),%rax
  add    $0x6,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x10,%eax
  add    %eax,-0x10(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x5,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x8,%eax
  add    %eax,-0x10(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %eax,-0x10(%rbp)
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <tommy_le_uint32_read@plt>
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  jmp    L49
  mov    -0x8(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x10,%eax
  add    %eax,-0x14(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x8,%eax
  add    %eax,-0x14(%rbp)
  mov    -0x8(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %eax,-0x14(%rbp)
L49:
  mov    -0x10(%rbp),%eax
  xor    %eax,-0xc(%rbp)
  mov    -0x10(%rbp),%eax
  shl    $0xe,%eax
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  sar    $0x12,%eax
  or     %edx,%eax
  sub    %eax,-0xc(%rbp)
  mov    -0xc(%rbp),%eax
  xor    %eax,-0x14(%rbp)
  mov    -0xc(%rbp),%eax
  shl    $0xb,%eax
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  sar    $0x15,%eax
  or     %edx,%eax
  sub    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  xor    %eax,-0x10(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0x19,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  sar    $0x7,%eax
  or     %edx,%eax
  sub    %eax,-0x10(%rbp)
  mov    -0x10(%rbp),%eax
  xor    %eax,-0xc(%rbp)
  mov    -0x10(%rbp),%eax
  shl    $0x10,%eax
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  sar    $0x10,%eax
  or     %edx,%eax
  sub    %eax,-0xc(%rbp)
  mov    -0xc(%rbp),%eax
  xor    %eax,-0x14(%rbp)
  mov    -0xc(%rbp),%eax
  shl    $0x4,%eax
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  sar    $0x1c,%eax
  or     %edx,%eax
  sub    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  xor    %eax,-0x10(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0xe,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  sar    $0x12,%eax
  or     %edx,%eax
  sub    %eax,-0x10(%rbp)
  mov    -0x10(%rbp),%eax
  xor    %eax,-0xc(%rbp)
  mov    -0x10(%rbp),%eax
  shl    $0x18,%eax
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  sar    $0x8,%eax
  or     %edx,%eax
  sub    %eax,-0xc(%rbp)
  mov    $0x20,%edx
  mov    -0x10(%rbp),%eax
  mov    %edx,%ecx
  shl    %cl,%eax
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  add    %edx,%eax
L57:
  leave
  ret
```

assistant: ```c
uint64_t tommy_hash_u64(uint64_t init_val, const void *void_key, size_t key_len) {
  const unsigned char *key = ((const unsigned char *)(void_key));
  uint32_t a, b, c;
  a = b = c = 0xdeadbeef + ((uint32_t)key_len) + (init_val & 0xffffffff);
  c += init_val >> 32;
  while (key_len > 12) {
    a += tommy_le_uint32_read(key + 0);
    b += tommy_le_uint32_read(key + 4);
    c += tommy_le_uint32_read(key + 8);
    do {
      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;
    } while (0);
    key_len -= 12;
    key += 12;
  }
  switch (key_len) {
  case 0:
    return c + ((uint64_t)b << 32);
  case 12:
    c += tommy_le_uint32_read(key + 8);
    b += tommy_le_uint32_read(key + 4);
    a += tommy_le_uint32_read(key + 0);
    break;
  case 11:
    c += ((uint32_t)key[10]) << 16;
  case 10:
    c += ((uint32_t)key[9]) << 8;
  case 9:
    c += key[8];
  case 8:
    b += tommy_le_uint32_read(key + 4);
    a += tommy_le_uint32_read(key + 0);
    break;
  case 7:
    b += ((uint32_t)key[6]) << 16;
  case 6:
    b += ((uint32_t)key[5]) << 8;
  case 5:
    b += key[4];
  case 4:
    a += tommy_le_uint32_read(key + 0);
    break;
  case 3:
    a += ((uint32_t)key[2]) << 16;
  case 2:
    a += ((uint32_t)key[1]) << 8;
  case 1:
    a += key[0];
  }
  do {
    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))));
  } while (0);
  return c + ((uint64_t)b << 32);
}
```