user: Demonstrate the C code that generates the assembly output below:

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

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