user: 提供的汇编代码用C语言表示会是什么样子:

```asm
<tommy_hash_u64>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %edi,%r14d
  mov    %rsi,%r12
  mov    %rdx,%r13
  lea    -0x21524111(%rdi,%rdx,1),%ebp
  mov    $0x20,%ecx
  sar    %cl,%r14d
  add    %ebp,%r14d
  cmp    $0xc,%rdx
  jbe    L46
  mov    %ebp,%ebx
L27:
  mov    %r12,%rdi
  call   <tommy_le_uint32_read@plt>
  add    %eax,%ebp
  lea    0x4(%r12),%rdi
  call   <tommy_le_uint32_read@plt>
  add    %eax,%ebx
  lea    0x8(%r12),%rdi
  call   <tommy_le_uint32_read@plt>
  add    %r14d,%eax
  sub    %eax,%ebp
  mov    %eax,%edx
  shl    $0x4,%edx
  mov    %eax,%ecx
  sar    $0x1c,%ecx
  or     %ecx,%edx
  xor    %edx,%ebp
  add    %ebx,%eax
  mov    %ebx,%edx
  sub    %ebp,%edx
  mov    %ebp,%ebx
  shl    $0x6,%ebx
  mov    %ebp,%ecx
  sar    $0x1a,%ecx
  or     %ecx,%ebx
  xor    %edx,%ebx
  add    %eax,%ebp
  sub    %ebx,%eax
  mov    %eax,%edx
  mov    %ebx,%eax
  shl    $0x8,%eax
  mov    %ebx,%ecx
  sar    $0x18,%ecx
  or     %ecx,%eax
  xor    %edx,%eax
  add    %ebp,%ebx
  sub    %eax,%ebp
  mov    %eax,%edx
  shl    $0x10,%edx
  mov    %eax,%ecx
  sar    $0x10,%ecx
  or     %ecx,%edx
  xor    %edx,%ebp
  add    %ebx,%eax
  sub    %ebp,%ebx
  mov    %ebp,%edx
  shl    $0x13,%edx
  mov    %ebp,%ecx
  sar    $0xd,%ecx
  or     %ecx,%edx
  xor    %edx,%ebx
  add    %eax,%ebp
  sub    %ebx,%eax
  mov    %ebx,%r14d
  shl    $0x4,%r14d
  mov    %ebx,%edx
  sar    $0x1c,%edx
  or     %edx,%r14d
  xor    %eax,%r14d
  add    %ebp,%ebx
  sub    $0xc,%r13
  add    $0xc,%r12
  cmp    $0xc,%r13
  ja     L27
L62:
  cmp    $0xc,%r13
  ja     L41
  lea    D1(%rip),%rdx
  movslq (%rdx,%r13,4),%rax
  add    %rdx,%rax
  notrack jmp *%rax
L46:
  mov    %ebp,%ebx
  jmp    L62
  lea    0x8(%r12),%rdi
  call   <tommy_le_uint32_read@plt>
  add    %eax,%r14d
  lea    0x4(%r12),%rdi
  call   <tommy_le_uint32_read@plt>
  add    %eax,%ebx
  mov    %r12,%rdi
  call   <tommy_le_uint32_read@plt>
  add    %eax,%ebp
  jmp    L41
  movzbl 0xa(%r12),%eax
  shl    $0x10,%eax
  add    %eax,%r14d
  movzbl 0x9(%r12),%eax
  shl    $0x8,%eax
  add    %eax,%r14d
  movzbl 0x8(%r12),%eax
  add    %eax,%r14d
  lea    0x4(%r12),%rdi
  call   <tommy_le_uint32_read@plt>
  add    %eax,%ebx
  mov    %r12,%rdi
  call   <tommy_le_uint32_read@plt>
  add    %eax,%ebp
L41:
  xor    %ebx,%r14d
  mov    %ebx,%eax
  shl    $0xe,%eax
  mov    %ebx,%edx
  sar    $0x12,%edx
  or     %edx,%eax
  sub    %eax,%r14d
  xor    %r14d,%ebp
  mov    %r14d,%eax
  shl    $0xb,%eax
  mov    %r14d,%edx
  sar    $0x15,%edx
  or     %edx,%eax
  sub    %eax,%ebp
  xor    %ebp,%ebx
  mov    %ebp,%eax
  shl    $0x19,%eax
  mov    %ebp,%edx
  sar    $0x7,%edx
  or     %edx,%eax
  sub    %eax,%ebx
  xor    %ebx,%r14d
  mov    %ebx,%eax
  shl    $0x10,%eax
  mov    %ebx,%edx
  sar    $0x10,%edx
  or     %edx,%eax
  sub    %eax,%r14d
  xor    %r14d,%ebp
  mov    %r14d,%eax
  shl    $0x4,%eax
  mov    %r14d,%edx
  sar    $0x1c,%edx
  or     %edx,%eax
  sub    %eax,%ebp
  xor    %ebp,%ebx
  mov    %ebp,%eax
  shl    $0xe,%eax
  sar    $0x12,%ebp
  or     %ebp,%eax
  sub    %eax,%ebx
  xor    %ebx,%r14d
  mov    %ebx,%eax
  shl    $0x18,%eax
  sar    $0x8,%ebx
  or     %ebx,%eax
  sub    %eax,%r14d
  mov    %r14d,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
  movzbl 0x6(%r12),%eax
  shl    $0x10,%eax
  add    %eax,%ebx
  movzbl 0x5(%r12),%eax
  shl    $0x8,%eax
  add    %eax,%ebx
  movzbl 0x4(%r12),%eax
  add    %eax,%ebx
  mov    %r12,%rdi
  call   <tommy_le_uint32_read@plt>
  add    %eax,%ebp
  jmp    L41
  movzbl 0x2(%r12),%eax
  shl    $0x10,%eax
  add    %eax,%ebp
  movzbl 0x1(%r12),%eax
  shl    $0x8,%eax
  add    %eax,%ebp
  movzbl (%r12),%eax
  add    %eax,%ebp
  jmp    L41
```

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);
}
```