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

```asm
<hashlittle2>:
  endbr64
  mov    %rdi,%rax
  mov    %rdx,%rdi
  mov    (%rdx),%edx
  mov    %rcx,%r8
  lea    -0x21524111(%rdx,%rsi,1),%ecx
  mov    (%r8),%edx
  mov    %ecx,%r10d
  add    %ecx,%edx
  cmp    $0xc,%rsi
  jbe    L16
  nopl   0x0(%rax,%rax,1)
L3:
  mov    0x4(%rax),%r9d
  add    (%rax),%r10d
  add    0x10(%rax),%ecx
  add    0x20(%rax),%edx
  shl    $0x8,%r9d
  add    %r9d,%r10d
  mov    0x8(%rax),%r9d
  shl    $0x10,%r9d
  add    %r10d,%r9d
  mov    0xc(%rax),%r10d
  shl    $0x18,%r10d
  add    %r9d,%r10d
  mov    0x14(%rax),%r9d
  shl    $0x8,%r9d
  add    %ecx,%r9d
  mov    0x18(%rax),%ecx
  shl    $0x10,%ecx
  add    %r9d,%ecx
  mov    0x1c(%rax),%r9d
  shl    $0x18,%r9d
  add    %ecx,%r9d
  mov    0x24(%rax),%ecx
  shl    $0x8,%ecx
  add    %edx,%ecx
  mov    0x28(%rax),%edx
  shl    $0x10,%edx
  add    %ecx,%edx
  mov    0x2c(%rax),%ecx
  shl    $0x18,%ecx
  add    %edx,%ecx
  mov    %ecx,%edx
  mov    %ecx,%r11d
  sub    %ecx,%r10d
  sar    $0x1c,%r11d
  shl    $0x4,%edx
  or     %r11d,%edx
  xor    %r10d,%edx
  lea    (%r9,%rcx,1),%r10d
  mov    %edx,%r11d
  mov    %edx,%ecx
  sub    %edx,%r9d
  sar    $0x1a,%r11d
  shl    $0x6,%ecx
  or     %r11d,%ecx
  xor    %r9d,%ecx
  lea    (%r10,%rdx,1),%r9d
  mov    %ecx,%r11d
  mov    %ecx,%edx
  sub    %ecx,%r10d
  shl    $0x8,%edx
  sar    $0x18,%r11d
  add    %r9d,%ecx
  sub    $0xc,%rsi
  or     %r11d,%edx
  add    $0x30,%rax
  xor    %r10d,%edx
  mov    %edx,%r10d
  mov    %edx,%r11d
  sub    %edx,%r9d
  add    %ecx,%edx
  sar    $0x10,%r11d
  shl    $0x10,%r10d
  or     %r11d,%r10d
  xor    %r9d,%r10d
  mov    %r10d,%r9d
  mov    %r10d,%r11d
  sub    %r10d,%ecx
  add    %edx,%r10d
  sar    $0xd,%r11d
  shl    $0x13,%r9d
  or     %r11d,%r9d
  xor    %r9d,%ecx
  mov    %ecx,%r9d
  mov    %ecx,%r11d
  sub    %ecx,%edx
  add    %r10d,%ecx
  shl    $0x4,%r9d
  sar    $0x1c,%r11d
  or     %r11d,%r9d
  xor    %r9d,%edx
  cmp    $0xc,%rsi
  ja     L3
L16:
  lea    D8(%rip),%r9
  movslq (%r9,%rsi,4),%rsi
  add    %r9,%rsi
  notrack jmp *%rsi
  mov    0x2c(%rax),%esi
  shl    $0x18,%esi
  add    %esi,%edx
  mov    0x28(%rax),%esi
  shl    $0x10,%esi
  add    %esi,%edx
  mov    0x24(%rax),%esi
  shl    $0x8,%esi
  add    %esi,%edx
  add    0x20(%rax),%edx
  mov    0x1c(%rax),%esi
  shl    $0x18,%esi
  add    %esi,%ecx
  mov    0x18(%rax),%esi
  shl    $0x10,%esi
  add    %esi,%ecx
  mov    0x14(%rax),%esi
  shl    $0x8,%esi
  add    %esi,%ecx
  add    0x10(%rax),%ecx
  mov    0xc(%rax),%esi
  shl    $0x18,%esi
  add    %esi,%r10d
  mov    0x8(%rax),%esi
  shl    $0x10,%esi
  add    %esi,%r10d
  mov    0x4(%rax),%esi
  shl    $0x8,%esi
  add    %esi,%r10d
  add    (%rax),%r10d
  mov    %ecx,%esi
  mov    %ecx,%eax
  xor    %ecx,%edx
  sar    $0x12,%esi
  shl    $0xe,%eax
  or     %esi,%eax
  sub    %eax,%edx
  mov    %edx,%eax
  mov    %edx,%esi
  xor    %edx,%r10d
  sar    $0x15,%esi
  shl    $0xb,%eax
  or     %esi,%eax
  sub    %eax,%r10d
  mov    %r10d,%eax
  mov    %r10d,%esi
  xor    %r10d,%ecx
  sar    $0x7,%esi
  shl    $0x19,%eax
  or     %esi,%eax
  sub    %eax,%ecx
  mov    %ecx,%eax
  mov    %ecx,%esi
  xor    %ecx,%edx
  sar    $0x10,%esi
  shl    $0x10,%eax
  or     %esi,%eax
  sub    %eax,%edx
  mov    %edx,%eax
  mov    %edx,%esi
  xor    %edx,%r10d
  sar    $0x1c,%esi
  shl    $0x4,%eax
  or     %esi,%eax
  sub    %eax,%r10d
  mov    %r10d,%eax
  xor    %r10d,%ecx
  sar    $0x12,%r10d
  shl    $0xe,%eax
  or     %r10d,%eax
  sub    %eax,%ecx
  mov    %ecx,%eax
  mov    %ecx,%esi
  xor    %ecx,%edx
  shl    $0x18,%eax
  sar    $0x8,%esi
  or     %esi,%eax
  sub    %eax,%edx
  mov    %edx,(%rdi)
  mov    %ecx,(%r8)
  ret
```

assistant: ```c
void hashlittle2(const void *key, size_t length, uint32_t *pc, uint32_t *pb) {
  uint32_t a, b, c;
  union {
    const void *ptr;
    size_t i;
  } u;
  a = b = c = 0xdeadbeef + ((uint32_t)length) + *pc;
  c += *pb;
  u.ptr = key;
  if (0 && ((u.i & 0x3) == 0)) {
    const uint32_t *k = (const uint32_t *)key;
    while (length > 12) {
      a += k[0];
      b += k[1];
      c += k[2];
      {
        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 += 3;
    }
    switch (length) {
    case 12:
      c += k[2];
      b += k[1];
      a += k[0];
      break;
    case 11:
      c += k[2] & 0xffffff;
      b += k[1];
      a += k[0];
      break;
    case 10:
      c += k[2] & 0xffff;
      b += k[1];
      a += k[0];
      break;
    case 9:
      c += k[2] & 0xff;
      b += k[1];
      a += k[0];
      break;
    case 8:
      b += k[1];
      a += k[0];
      break;
    case 7:
      b += k[1] & 0xffffff;
      a += k[0];
      break;
    case 6:
      b += k[1] & 0xffff;
      a += k[0];
      break;
    case 5:
      b += k[1] & 0xff;
      a += k[0];
      break;
    case 4:
      a += k[0];
      break;
    case 3:
      a += k[0] & 0xffffff;
      break;
    case 2:
      a += k[0] & 0xffff;
      break;
    case 1:
      a += k[0] & 0xff;
      break;
    case 0:
      *pc = c;
      *pb = b;
      return;
    }
  } else if (0 && ((u.i & 0x1) == 0)) {
    const uint16_t *k = (const uint16_t *)key;
    const uint8_t *k8;
    while (length > 12) {
      a += k[0] + (((uint32_t)k[1]) << 16);
      b += k[2] + (((uint32_t)k[3]) << 16);
      c += k[4] + (((uint32_t)k[5]) << 16);
      {
        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 += 6;
    }
    k8 = (const uint8_t *)k;
    switch (length) {
    case 12:
      c += k[4] + (((uint32_t)k[5]) << 16);
      b += k[2] + (((uint32_t)k[3]) << 16);
      a += k[0] + (((uint32_t)k[1]) << 16);
      break;
    case 11:
      c += ((uint32_t)k8[10]) << 16;
    case 10:
      c += k[4];
      b += k[2] + (((uint32_t)k[3]) << 16);
      a += k[0] + (((uint32_t)k[1]) << 16);
      break;
    case 9:
      c += k8[8];
    case 8:
      b += k[2] + (((uint32_t)k[3]) << 16);
      a += k[0] + (((uint32_t)k[1]) << 16);
      break;
    case 7:
      b += ((uint32_t)k8[6]) << 16;
    case 6:
      b += k[2];
      a += k[0] + (((uint32_t)k[1]) << 16);
      break;
    case 5:
      b += k8[4];
    case 4:
      a += k[0] + (((uint32_t)k[1]) << 16);
      break;
    case 3:
      a += ((uint32_t)k8[2]) << 16;
    case 2:
      a += k[0];
      break;
    case 1:
      a += k8[0];
      break;
    case 0:
      *pc = c;
      *pb = b;
      return;
    }
  } else {
    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:
      *pc = c;
      *pb = b;
      return;
    }
  }
  {
    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))));
  };
  *pc = c;
  *pb = b;
}
```