user: Please show me the C implementation that matches the assembly code listed below:

```asm
<jhash2>:
  endbr64
  mov    %esi,%r8d
  mov    $0x9e3779b9,%eax
  mov    $0x9e3779b9,%ecx
  cmp    $0x2,%esi
  jle    L3
  nopw   0x0(%rax,%rax,1)
L22:
  add    0x8(%rdi),%edx
  add    0x4(%rdi),%eax
  add    (%rdi),%ecx
  mov    %edx,%r9d
  sub    %eax,%ecx
  sar    $0xd,%r9d
  sub    %edx,%eax
  sub    %edx,%ecx
  xor    %ecx,%r9d
  sub    %r9d,%eax
  sub    %r9d,%edx
  mov    %eax,%ecx
  mov    %r9d,%eax
  shl    $0x8,%eax
  xor    %ecx,%eax
  mov    %eax,%ecx
  sub    %eax,%edx
  sub    %eax,%r9d
  sar    $0xd,%ecx
  xor    %ecx,%edx
  mov    %edx,%ecx
  sub    %edx,%r9d
  sub    %edx,%eax
  sar    $0xc,%ecx
  xor    %r9d,%ecx
  sub    %ecx,%eax
  sub    %ecx,%edx
  mov    %eax,%r9d
  mov    %ecx,%eax
  shl    $0x10,%eax
  xor    %r9d,%eax
  sub    %eax,%edx
  sub    %eax,%ecx
  mov    %edx,%r9d
  mov    %eax,%edx
  sar    $0x5,%edx
  xor    %r9d,%edx
  sub    %edx,%ecx
  sub    %edx,%eax
  mov    %ecx,%r9d
  mov    %edx,%ecx
  sar    $0x3,%ecx
  xor    %r9d,%ecx
  sub    %ecx,%eax
  sub    %ecx,%edx
  sub    $0x3,%r8d
  add    $0xc,%rdi
  mov    %eax,%r9d
  mov    %ecx,%eax
  shl    $0xa,%eax
  xor    %r9d,%eax
  sub    %eax,%edx
  mov    %edx,%r9d
  mov    %eax,%edx
  sar    $0xf,%edx
  xor    %r9d,%edx
  cmp    $0x2,%r8d
  jg     L22
L3:
  lea    (%rdx,%rsi,4),%esi
  cmp    $0x1,%r8d
  je     L7
  cmp    $0x2,%r8d
  jne    L37
  add    0x4(%rdi),%eax
L7:
  add    (%rdi),%ecx
L37:
  sub    %eax,%ecx
  mov    %esi,%edx
  sub    %esi,%eax
  sub    %esi,%ecx
  sar    $0xd,%edx
  xor    %edx,%ecx
  mov    %ecx,%edx
  sub    %ecx,%eax
  sub    %ecx,%esi
  shl    $0x8,%edx
  xor    %edx,%eax
  mov    %eax,%edx
  sub    %eax,%esi
  sub    %eax,%ecx
  sar    $0xd,%edx
  xor    %esi,%edx
  mov    %ecx,%esi
  mov    %edx,%ecx
  sub    %edx,%esi
  sub    %edx,%eax
  sar    $0xc,%ecx
  xor    %esi,%ecx
  sub    %ecx,%eax
  sub    %ecx,%edx
  mov    %eax,%esi
  mov    %ecx,%eax
  shl    $0x10,%eax
  xor    %esi,%eax
  mov    %edx,%esi
  mov    %eax,%edx
  sub    %eax,%esi
  sub    %eax,%ecx
  sar    $0x5,%edx
  xor    %esi,%edx
  mov    %edx,%esi
  sub    %edx,%ecx
  sub    %edx,%eax
  sar    $0x3,%esi
  xor    %ecx,%esi
  mov    %esi,%ecx
  sub    %esi,%eax
  shl    $0xa,%ecx
  xor    %ecx,%eax
  sub    %esi,%edx
  sub    %eax,%edx
  sar    $0xf,%eax
  xor    %edx,%eax
  ret
```

assistant: ```c
uint32_t jhash2(const uint32_t *k, uint32_t length, uint32_t initval) {
  uint32_t a, b, c, len;
  a = b = 0x9e3779b9;
  c = initval;
  len = length;
  while (len >= 3) {
    a += k[0];
    b += k[1];
    c += k[2];
    {
      a -= b;
      a -= c;
      a ^= (c >> 13);
      b -= c;
      b -= a;
      b ^= (a << 8);
      c -= a;
      c -= b;
      c ^= (b >> 13);
      a -= b;
      a -= c;
      a ^= (c >> 12);
      b -= c;
      b -= a;
      b ^= (a << 16);
      c -= a;
      c -= b;
      c ^= (b >> 5);
      a -= b;
      a -= c;
      a ^= (c >> 3);
      b -= c;
      b -= a;
      b ^= (a << 10);
      c -= a;
      c -= b;
      c ^= (b >> 15);
    };
    k += 3;
    len -= 3;
  }
  c += length * 4;
  switch (len) {
  case 2:
    b += k[1];
  case 1:
    a += k[0];
  };
  {
    a -= b;
    a -= c;
    a ^= (c >> 13);
    b -= c;
    b -= a;
    b ^= (a << 8);
    c -= a;
    c -= b;
    c ^= (b >> 13);
    a -= b;
    a -= c;
    a ^= (c >> 12);
    b -= c;
    b -= a;
    b ^= (a << 16);
    c -= a;
    c -= b;
    c ^= (b >> 5);
    a -= b;
    a -= c;
    a ^= (c >> 3);
    b -= c;
    b -= a;
    b ^= (a << 10);
    c -= a;
    c -= b;
    c ^= (b >> 15);
  };
  return c;
}
```