#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef scalar_t__ uint8_t;
typedef int uint32_t;

/* Variables and functions */
int UINT32_C(int);
int /*<<< orphan*/ assert(int);
int halfsiphash(const void *in, const size_t inlen, const void *k, uint8_t *out,
                const size_t outlen) {
  const unsigned char *ni = (const unsigned char *)in;
  const unsigned char *kk = (const unsigned char *)k;
  assert((outlen == 4) || (outlen == 8));
  uint32_t v0 = 0;
  uint32_t v1 = 0;
  uint32_t v2 = UINT32_C(0x6c796765);
  uint32_t v3 = UINT32_C(0x74656462);
  uint32_t k0 = (((uint32_t)((kk)[0])) | ((uint32_t)((kk)[1]) << 8) |
                 ((uint32_t)((kk)[2]) << 16) | ((uint32_t)((kk)[3]) << 24));
  uint32_t k1 =
      (((uint32_t)((kk + 4)[0])) | ((uint32_t)((kk + 4)[1]) << 8) |
       ((uint32_t)((kk + 4)[2]) << 16) | ((uint32_t)((kk + 4)[3]) << 24));
  uint32_t m;
  int i;
  const unsigned char *end = ni + inlen - (inlen % sizeof(uint32_t));
  const int left = inlen & 3;
  uint32_t b = ((uint32_t)inlen) << 24;
  v3 ^= k1;
  v2 ^= k0;
  v1 ^= k1;
  v0 ^= k0;
  if (outlen == 8)
    v1 ^= 0xee;
  for (; ni != end; ni += 4) {
    m = (((uint32_t)((ni)[0])) | ((uint32_t)((ni)[1]) << 8) |
         ((uint32_t)((ni)[2]) << 16) | ((uint32_t)((ni)[3]) << 24));
    v3 ^= m;
    ;
    for (i = 0; i < 2; ++i)
      do {
        v0 += v1;
        v1 = (uint32_t)(((v1) << (5)) | ((v1) >> (32 - (5))));
        v1 ^= v0;
        v0 = (uint32_t)(((v0) << (16)) | ((v0) >> (32 - (16))));
        v2 += v3;
        v3 = (uint32_t)(((v3) << (8)) | ((v3) >> (32 - (8))));
        v3 ^= v2;
        v0 += v3;
        v3 = (uint32_t)(((v3) << (7)) | ((v3) >> (32 - (7))));
        v3 ^= v0;
        v2 += v1;
        v1 = (uint32_t)(((v1) << (13)) | ((v1) >> (32 - (13))));
        v1 ^= v2;
        v2 = (uint32_t)(((v2) << (16)) | ((v2) >> (32 - (16))));
      } while (0);
    v0 ^= m;
  }
  switch (left) {
  case 3:
    b |= ((uint32_t)ni[2]) << 16;
  case 2:
    b |= ((uint32_t)ni[1]) << 8;
  case 1:
    b |= ((uint32_t)ni[0]);
    break;
  case 0:
    break;
  }
  v3 ^= b;
  ;
  for (i = 0; i < 2; ++i)
    do {
      v0 += v1;
      v1 = (uint32_t)(((v1) << (5)) | ((v1) >> (32 - (5))));
      v1 ^= v0;
      v0 = (uint32_t)(((v0) << (16)) | ((v0) >> (32 - (16))));
      v2 += v3;
      v3 = (uint32_t)(((v3) << (8)) | ((v3) >> (32 - (8))));
      v3 ^= v2;
      v0 += v3;
      v3 = (uint32_t)(((v3) << (7)) | ((v3) >> (32 - (7))));
      v3 ^= v0;
      v2 += v1;
      v1 = (uint32_t)(((v1) << (13)) | ((v1) >> (32 - (13))));
      v1 ^= v2;
      v2 = (uint32_t)(((v2) << (16)) | ((v2) >> (32 - (16))));
    } while (0);
  v0 ^= b;
  if (outlen == 8)
    v2 ^= 0xee;
  else
    v2 ^= 0xff;
  ;
  for (i = 0; i < 4; ++i)
    do {
      v0 += v1;
      v1 = (uint32_t)(((v1) << (5)) | ((v1) >> (32 - (5))));
      v1 ^= v0;
      v0 = (uint32_t)(((v0) << (16)) | ((v0) >> (32 - (16))));
      v2 += v3;
      v3 = (uint32_t)(((v3) << (8)) | ((v3) >> (32 - (8))));
      v3 ^= v2;
      v0 += v3;
      v3 = (uint32_t)(((v3) << (7)) | ((v3) >> (32 - (7))));
      v3 ^= v0;
      v2 += v1;
      v1 = (uint32_t)(((v1) << (13)) | ((v1) >> (32 - (13))));
      v1 ^= v2;
      v2 = (uint32_t)(((v2) << (16)) | ((v2) >> (32 - (16))));
    } while (0);
  b = v1 ^ v3;
  (out)[0] = (uint8_t)((b));
  (out)[1] = (uint8_t)((b) >> 8);
  (out)[2] = (uint8_t)((b) >> 16);
  (out)[3] = (uint8_t)((b) >> 24);
  ;
  if (outlen == 4)
    return 0;
  v1 ^= 0xdd;
  ;
  for (i = 0; i < 4; ++i)
    do {
      v0 += v1;
      v1 = (uint32_t)(((v1) << (5)) | ((v1) >> (32 - (5))));
      v1 ^= v0;
      v0 = (uint32_t)(((v0) << (16)) | ((v0) >> (32 - (16))));
      v2 += v3;
      v3 = (uint32_t)(((v3) << (8)) | ((v3) >> (32 - (8))));
      v3 ^= v2;
      v0 += v3;
      v3 = (uint32_t)(((v3) << (7)) | ((v3) >> (32 - (7))));
      v3 ^= v0;
      v2 += v1;
      v1 = (uint32_t)(((v1) << (13)) | ((v1) >> (32 - (13))));
      v1 ^= v2;
      v2 = (uint32_t)(((v2) << (16)) | ((v2) >> (32 - (16))));
    } while (0);
  b = v1 ^ v3;
  (out + 4)[0] = (uint8_t)((b));
  (out + 4)[1] = (uint8_t)((b) >> 8);
  (out + 4)[2] = (uint8_t)((b) >> 16);
  (out + 4)[3] = (uint8_t)((b) >> 24);
  ;
  return 0;
}


x86 assembly (clang, -O0):
<halfsiphash>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    $0x1,%al
cmpq   $0x4,-0x30(%rbp)
mov    %al,-0x71(%rbp)
je     116a <halfsiphash+0x4a>
cmpq   $0x8,-0x30(%rbp)
sete   %al
mov    %al,-0x71(%rbp)
mov    -0x71(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
mov    $0x6c796765,%edi
call   1040 <UINT32_C@plt>
mov    %eax,-0x4c(%rbp)
mov    $0x74656462,%edi
call   1040 <UINT32_C@plt>
mov    %eax,-0x50(%rbp)
mov    -0x40(%rbp),%rax
movzbl (%rax),%eax
mov    -0x40(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x40(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x40(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
shl    $0x18,%ecx
or     %ecx,%eax
mov    %eax,-0x54(%rbp)
mov    -0x40(%rbp),%rax
movzbl 0x4(%rax),%eax
mov    -0x40(%rbp),%rcx
movzbl 0x5(%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x40(%rbp),%rcx
movzbl 0x6(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x40(%rbp),%rcx
movzbl 0x7(%rcx),%ecx
shl    $0x18,%ecx
or     %ecx,%eax
mov    %eax,-0x58(%rbp)
mov    -0x38(%rbp),%rax
add    -0x18(%rbp),%rax
mov    -0x18(%rbp),%rdx
and    $0x3,%rdx
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x18(%rbp),%rax
and    $0x3,%rax
mov    %eax,-0x6c(%rbp)
mov    -0x18(%rbp),%rax
shl    $0x18,%eax
mov    %eax,-0x70(%rbp)
mov    -0x58(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x54(%rbp),%eax
xor    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x58(%rbp),%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x54(%rbp),%eax
xor    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
cmpq   $0x8,-0x30(%rbp)
jne    126d <halfsiphash+0x14d>
mov    -0x48(%rbp),%eax
xor    $0xee,%eax
mov    %eax,-0x48(%rbp)
jmp    1272 <halfsiphash+0x152>
mov    -0x38(%rbp),%rax
cmp    -0x68(%rbp),%rax
je     13ab <halfsiphash+0x28b>
mov    -0x38(%rbp),%rax
movzbl (%rax),%eax
mov    -0x38(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x38(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x38(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
shl    $0x18,%ecx
or     %ecx,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
movl   $0x0,-0x60(%rbp)
cmpl   $0x2,-0x60(%rbp)
jge    1391 <halfsiphash+0x271>
jmp    12d0 <halfsiphash+0x1b0>
mov    -0x48(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
shl    $0x5,%eax
mov    -0x48(%rbp),%ecx
sar    $0x1b,%ecx
or     %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
shl    $0x10,%eax
mov    -0x44(%rbp),%ecx
sar    $0x10,%ecx
or     %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x50(%rbp),%eax
shl    $0x8,%eax
mov    -0x50(%rbp),%ecx
sar    $0x18,%ecx
or     %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
shl    $0x7,%eax
mov    -0x50(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x44(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x48(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x48(%rbp),%eax
shl    $0xd,%eax
mov    -0x48(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
shl    $0x10,%eax
mov    -0x4c(%rbp),%ecx
sar    $0x10,%ecx
or     %ecx,%eax
mov    %eax,-0x4c(%rbp)
jmp    1383 <halfsiphash+0x263>
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    12c1 <halfsiphash+0x1a1>
mov    -0x5c(%rbp),%eax
xor    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x38(%rbp)
jmp    1272 <halfsiphash+0x152>
mov    -0x6c(%rbp),%eax
mov    %rax,-0x80(%rbp)
sub    $0x3,%rax
ja     1409 <halfsiphash+0x2e9>
mov    -0x80(%rbp),%rax
lea    0xc39(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x38(%rbp),%rax
movzbl 0x2(%rax),%eax
shl    $0x10,%eax
or     -0x70(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x38(%rbp),%rax
movzbl 0x1(%rax),%eax
shl    $0x8,%eax
or     -0x70(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x38(%rbp),%rax
movzbl (%rax),%eax
or     -0x70(%rbp),%eax
mov    %eax,-0x70(%rbp)
jmp    1409 <halfsiphash+0x2e9>
jmp    1409 <halfsiphash+0x2e9>
mov    -0x70(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
movl   $0x0,-0x60(%rbp)
cmpl   $0x2,-0x60(%rbp)
jge    14e9 <halfsiphash+0x3c9>
jmp    1428 <halfsiphash+0x308>
mov    -0x48(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
shl    $0x5,%eax
mov    -0x48(%rbp),%ecx
sar    $0x1b,%ecx
or     %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
shl    $0x10,%eax
mov    -0x44(%rbp),%ecx
sar    $0x10,%ecx
or     %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x50(%rbp),%eax
shl    $0x8,%eax
mov    -0x50(%rbp),%ecx
sar    $0x18,%ecx
or     %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
shl    $0x7,%eax
mov    -0x50(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x44(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x48(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x48(%rbp),%eax
shl    $0xd,%eax
mov    -0x48(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
shl    $0x10,%eax
mov    -0x4c(%rbp),%ecx
sar    $0x10,%ecx
or     %ecx,%eax
mov    %eax,-0x4c(%rbp)
jmp    14db <halfsiphash+0x3bb>
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    1419 <halfsiphash+0x2f9>
mov    -0x70(%rbp),%eax
xor    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
cmpq   $0x8,-0x30(%rbp)
jne    150d <halfsiphash+0x3ed>
mov    -0x4c(%rbp),%eax
xor    $0xee,%eax
mov    %eax,-0x4c(%rbp)
jmp    1518 <halfsiphash+0x3f8>
mov    -0x4c(%rbp),%eax
xor    $0xff,%eax
mov    %eax,-0x4c(%rbp)
movl   $0x0,-0x60(%rbp)
cmpl   $0x4,-0x60(%rbp)
jge    15ef <halfsiphash+0x4cf>
jmp    152e <halfsiphash+0x40e>
mov    -0x48(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
shl    $0x5,%eax
mov    -0x48(%rbp),%ecx
sar    $0x1b,%ecx
or     %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
shl    $0x10,%eax
mov    -0x44(%rbp),%ecx
sar    $0x10,%ecx
or     %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x50(%rbp),%eax
shl    $0x8,%eax
mov    -0x50(%rbp),%ecx
sar    $0x18,%ecx
or     %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
shl    $0x7,%eax
mov    -0x50(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x44(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x48(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x48(%rbp),%eax
shl    $0xd,%eax
mov    -0x48(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
shl    $0x10,%eax
mov    -0x4c(%rbp),%ecx
sar    $0x10,%ecx
or     %ecx,%eax
mov    %eax,-0x4c(%rbp)
jmp    15e1 <halfsiphash+0x4c1>
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    151f <halfsiphash+0x3ff>
mov    -0x48(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x70(%rbp)
movslq -0x70(%rbp),%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x70(%rbp),%eax
sar    $0x8,%eax
movslq %eax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x70(%rbp),%eax
sar    $0x10,%eax
movslq %eax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,0x10(%rax)
mov    -0x70(%rbp),%eax
sar    $0x18,%eax
movslq %eax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,0x18(%rax)
cmpq   $0x4,-0x30(%rbp)
jne    164d <halfsiphash+0x52d>
movl   $0x0,-0x4(%rbp)
jmp    177e <halfsiphash+0x65e>
mov    -0x48(%rbp),%eax
xor    $0xdd,%eax
mov    %eax,-0x48(%rbp)
movl   $0x0,-0x60(%rbp)
cmpl   $0x4,-0x60(%rbp)
jge    172f <halfsiphash+0x60f>
jmp    166e <halfsiphash+0x54e>
mov    -0x48(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
shl    $0x5,%eax
mov    -0x48(%rbp),%ecx
sar    $0x1b,%ecx
or     %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
shl    $0x10,%eax
mov    -0x44(%rbp),%ecx
sar    $0x10,%ecx
or     %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x50(%rbp),%eax
shl    $0x8,%eax
mov    -0x50(%rbp),%ecx
sar    $0x18,%ecx
or     %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
shl    $0x7,%eax
mov    -0x50(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x44(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x48(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x48(%rbp),%eax
shl    $0xd,%eax
mov    -0x48(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
shl    $0x10,%eax
mov    -0x4c(%rbp),%ecx
sar    $0x10,%ecx
or     %ecx,%eax
mov    %eax,-0x4c(%rbp)
jmp    1721 <halfsiphash+0x601>
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    165f <halfsiphash+0x53f>
mov    -0x48(%rbp),%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x70(%rbp)
movslq -0x70(%rbp),%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,0x20(%rax)
mov    -0x70(%rbp),%eax
sar    $0x8,%eax
movslq %eax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,0x28(%rax)
mov    -0x70(%rbp),%eax
sar    $0x10,%eax
movslq %eax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,0x30(%rax)
mov    -0x70(%rbp),%eax
sar    $0x18,%eax
movslq %eax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,0x38(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<halfsiphash>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r8,%r15
mov    %rcx,%r14
mov    %rdx,%r13
mov    %rsi,%r12
mov    %rdi,%rbx
cmp    $0x4,%r8
sete   %al
cmp    $0x8,%r8
sete   %cl
or     %al,%cl
movzbl %cl,%edi
call   1030 <assert@plt>
mov    $0x6c796765,%edi
call   1040 <UINT32_C@plt>
mov    %eax,%ebp
mov    $0x74656462,%edi
call   1040 <UINT32_C@plt>
mov    0x0(%r13),%edx
mov    0x4(%r13),%ecx
mov    %ecx,%esi
xor    $0xee,%esi
cmp    $0x8,%r15
cmovne %ecx,%esi
mov    %r12,%r9
add    %rbx,%r9
mov    %r12d,%r8d
and    $0x3,%r8d
sub    %r8,%r9
xor    %ecx,%eax
xor    %edx,%ebp
cmp    %rbx,%r9
je     124e <halfsiphash+0x12e>
nopl   0x0(%rax)
mov    (%rbx),%edi
xor    %edi,%eax
add    %esi,%edx
mov    %esi,%ecx
shl    $0x5,%ecx
sar    $0x1b,%esi
or     %ecx,%esi
xor    %edx,%esi
mov    %edx,%ecx
shl    $0x10,%ecx
sar    $0x10,%edx
or     %ecx,%edx
add    %eax,%ebp
mov    %eax,%ecx
shl    $0x8,%ecx
sar    $0x18,%eax
or     %ecx,%eax
xor    %ebp,%eax
add    %eax,%edx
mov    %eax,%ecx
shl    $0x7,%ecx
sar    $0x19,%eax
or     %ecx,%eax
xor    %edx,%eax
add    %esi,%ebp
mov    %esi,%ecx
shl    $0xd,%ecx
sar    $0x13,%esi
or     %ecx,%esi
xor    %ebp,%esi
mov    %ebp,%ecx
shl    $0x10,%ecx
sar    $0x10,%ebp
or     %ecx,%ebp
add    %esi,%edx
mov    %esi,%ecx
shl    $0x5,%ecx
sar    $0x1b,%esi
or     %ecx,%esi
xor    %edx,%esi
mov    %edx,%ecx
shl    $0x10,%ecx
sar    $0x10,%edx
or     %ecx,%edx
add    %eax,%ebp
mov    %eax,%ecx
shl    $0x8,%ecx
sar    $0x18,%eax
or     %ecx,%eax
xor    %ebp,%eax
add    %eax,%edx
mov    %eax,%ecx
shl    $0x7,%ecx
sar    $0x19,%eax
or     %ecx,%eax
xor    %edx,%eax
add    %esi,%ebp
mov    %esi,%ecx
shl    $0xd,%ecx
sar    $0x13,%esi
or     %ecx,%esi
xor    %ebp,%esi
mov    %ebp,%ecx
shl    $0x10,%ecx
sar    $0x10,%ebp
or     %ecx,%ebp
xor    %edi,%edx
add    $0x4,%rbx
cmp    %r9,%rbx
jne    11a0 <halfsiphash+0x80>
mov    %r9,%rbx
shl    $0x18,%r12d
cmp    $0x1,%r8d
je     127b <halfsiphash+0x15b>
cmp    $0x2,%r8d
je     1271 <halfsiphash+0x151>
cmp    $0x3,%r8d
jne    1281 <halfsiphash+0x161>
movzbl 0x2(%rbx),%ecx
shl    $0x10,%ecx
or     %r12d,%ecx
mov    %ecx,%r12d
movzbl 0x1(%rbx),%ecx
shl    $0x8,%ecx
or     %ecx,%r12d
movzbl (%rbx),%ecx
or     %ecx,%r12d
xor    %r12d,%eax
add    %esi,%edx
mov    %esi,%ecx
shl    $0x5,%ecx
sar    $0x1b,%esi
or     %ecx,%esi
xor    %edx,%esi
mov    %edx,%ecx
shl    $0x10,%ecx
sar    $0x10,%edx
or     %ecx,%edx
add    %eax,%ebp
mov    %eax,%ecx
shl    $0x8,%ecx
sar    $0x18,%eax
or     %ecx,%eax
xor    %ebp,%eax
add    %eax,%edx
mov    %eax,%ecx
shl    $0x7,%ecx
sar    $0x19,%eax
or     %ecx,%eax
xor    %edx,%eax
add    %esi,%ebp
mov    %esi,%ecx
shl    $0xd,%ecx
sar    $0x13,%esi
or     %ecx,%esi
xor    %ebp,%esi
mov    %ebp,%ecx
shl    $0x10,%ecx
sar    $0x10,%ebp
or     %ecx,%ebp
add    %esi,%edx
mov    %esi,%ecx
shl    $0x5,%ecx
sar    $0x1b,%esi
or     %ecx,%esi
xor    %edx,%esi
mov    %edx,%ecx
shl    $0x10,%ecx
sar    $0x10,%edx
or     %ecx,%edx
add    %eax,%ebp
mov    %eax,%ecx
shl    $0x8,%ecx
sar    $0x18,%eax
or     %ecx,%eax
xor    %ebp,%eax
add    %eax,%edx
mov    %eax,%ecx
shl    $0x7,%ecx
sar    $0x19,%eax
or     %ecx,%eax
xor    %edx,%eax
add    %esi,%ebp
mov    %esi,%ecx
shl    $0xd,%ecx
sar    $0x13,%esi
or     %ecx,%esi
xor    %ebp,%esi
mov    %ebp,%ecx
shl    $0x10,%ecx
sar    $0x10,%ebp
or     %ecx,%ebp
xor    %r12d,%edx
cmp    $0x8,%r15
mov    $0xee,%edi
mov    $0xff,%ecx
cmove  %edi,%ecx
xor    %ebp,%ecx
add    %esi,%edx
mov    %esi,%edi
shl    $0x5,%edi
sar    $0x1b,%esi
or     %edi,%esi
xor    %edx,%esi
mov    %edx,%edi
shl    $0x10,%edi
sar    $0x10,%edx
or     %edi,%edx
add    %eax,%ecx
mov    %eax,%edi
shl    $0x8,%edi
sar    $0x18,%eax
or     %edi,%eax
xor    %ecx,%eax
add    %eax,%edx
mov    %eax,%edi
shl    $0x7,%edi
sar    $0x19,%eax
or     %edi,%eax
xor    %edx,%eax
add    %esi,%ecx
mov    %esi,%edi
shl    $0xd,%edi
sar    $0x13,%esi
or     %edi,%esi
xor    %ecx,%esi
mov    %ecx,%edi
shl    $0x10,%edi
sar    $0x10,%ecx
or     %edi,%ecx
add    %esi,%edx
mov    %esi,%edi
shl    $0x5,%edi
sar    $0x1b,%esi
or     %edi,%esi
xor    %edx,%esi
mov    %edx,%edi
shl    $0x10,%edi
sar    $0x10,%edx
or     %edi,%edx
add    %eax,%ecx
mov    %eax,%edi
shl    $0x8,%edi
sar    $0x18,%eax
or     %edi,%eax
xor    %ecx,%eax
add    %eax,%edx
mov    %eax,%edi
shl    $0x7,%edi
sar    $0x19,%eax
or     %edi,%eax
xor    %edx,%eax
add    %esi,%ecx
mov    %esi,%edi
shl    $0xd,%edi
sar    $0x13,%esi
or     %edi,%esi
xor    %ecx,%esi
mov    %ecx,%edi
shl    $0x10,%edi
sar    $0x10,%ecx
or     %edi,%ecx
add    %esi,%edx
mov    %esi,%edi
shl    $0x5,%edi
sar    $0x1b,%esi
or     %edi,%esi
xor    %edx,%esi
mov    %edx,%edi
shl    $0x10,%edi
sar    $0x10,%edx
or     %edi,%edx
add    %eax,%ecx
mov    %eax,%edi
shl    $0x8,%edi
sar    $0x18,%eax
or     %edi,%eax
xor    %ecx,%eax
add    %eax,%edx
mov    %eax,%edi
shl    $0x7,%edi
sar    $0x19,%eax
or     %edi,%eax
xor    %edx,%eax
add    %esi,%ecx
mov    %esi,%edi
shl    $0xd,%edi
sar    $0x13,%esi
or     %edi,%esi
xor    %ecx,%esi
mov    %ecx,%edi
shl    $0x10,%edi
sar    $0x10,%ecx
or     %edi,%ecx
add    %esi,%edx
mov    %esi,%edi
shl    $0x5,%edi
sar    $0x1b,%esi
or     %edi,%esi
xor    %edx,%esi
mov    %edx,%edi
shl    $0x10,%edi
sar    $0x10,%edx
or     %edi,%edx
add    %eax,%ecx
mov    %eax,%edi
shl    $0x8,%edi
sar    $0x18,%eax
or     %edi,%eax
xor    %ecx,%eax
add    %eax,%edx
mov    %eax,%edi
shl    $0x7,%edi
sar    $0x19,%eax
or     %edi,%eax
xor    %edx,%eax
add    %esi,%ecx
mov    %esi,%edi
shl    $0xd,%edi
sar    $0x13,%esi
or     %edi,%esi
xor    %ecx,%esi
mov    %esi,%edi
xor    %eax,%edi
mov    %edi,%ebp
sar    $0x8,%ebp
mov    %edi,%ebx
sar    $0x10,%ebx
movslq %edi,%r8
sar    $0x18,%edi
mov    %r8,(%r14)
movslq %ebp,%rbp
mov    %rbp,0x8(%r14)
movslq %ebx,%rbp
mov    %rbp,0x10(%r14)
movslq %edi,%rdi
mov    %rdi,0x18(%r14)
cmp    $0x4,%r15
je     15ee <halfsiphash+0x4ce>
mov    %ecx,%edi
shl    $0x10,%edi
sar    $0x10,%ecx
or     %edi,%ecx
mov    %esi,%edi
xor    $0xdd,%edi
add    %edi,%edx
shl    $0x5,%edi
sar    $0x1b,%esi
or     %edi,%esi
xor    %edx,%esi
mov    %edx,%edi
shl    $0x10,%edi
sar    $0x10,%edx
or     %edi,%edx
add    %eax,%ecx
mov    %eax,%edi
shl    $0x8,%edi
sar    $0x18,%eax
or     %edi,%eax
xor    %ecx,%eax
add    %eax,%edx
mov    %eax,%edi
shl    $0x7,%edi
sar    $0x19,%eax
or     %edi,%eax
xor    %edx,%eax
add    %esi,%ecx
mov    %esi,%edi
shl    $0xd,%edi
sar    $0x13,%esi
or     %edi,%esi
xor    %ecx,%esi
mov    %ecx,%edi
shl    $0x10,%edi
sar    $0x10,%ecx
or     %edi,%ecx
add    %esi,%edx
mov    %esi,%edi
shl    $0x5,%edi
sar    $0x1b,%esi
or     %edi,%esi
xor    %edx,%esi
mov    %edx,%edi
shl    $0x10,%edi
sar    $0x10,%edx
or     %edi,%edx
add    %eax,%ecx
mov    %eax,%edi
shl    $0x8,%edi
sar    $0x18,%eax
or     %edi,%eax
xor    %ecx,%eax
add    %eax,%edx
mov    %eax,%edi
shl    $0x7,%edi
sar    $0x19,%eax
or     %edi,%eax
xor    %edx,%eax
add    %esi,%ecx
mov    %esi,%edi
shl    $0xd,%edi
sar    $0x13,%esi
or     %edi,%esi
xor    %ecx,%esi
mov    %ecx,%edi
shl    $0x10,%edi
sar    $0x10,%ecx
or     %edi,%ecx
add    %esi,%edx
mov    %esi,%edi
shl    $0x5,%edi
sar    $0x1b,%esi
or     %edi,%esi
xor    %edx,%esi
mov    %edx,%edi
shl    $0x10,%edi
sar    $0x10,%edx
or     %edi,%edx
add    %eax,%ecx
mov    %eax,%edi
shl    $0x8,%edi
sar    $0x18,%eax
or     %edi,%eax
xor    %ecx,%eax
add    %eax,%edx
mov    %eax,%edi
shl    $0x7,%edi
sar    $0x19,%eax
or     %edi,%eax
xor    %edx,%eax
add    %esi,%ecx
mov    %esi,%edi
shl    $0xd,%edi
sar    $0x13,%esi
or     %edi,%esi
xor    %ecx,%esi
mov    %ecx,%edi
shl    $0x10,%edi
sar    $0x10,%ecx
or     %edi,%ecx
add    %esi,%edx
mov    %esi,%edi
shl    $0x5,%edi
sar    $0x1b,%esi
or     %edi,%esi
xor    %edx,%esi
mov    %edx,%edi
shl    $0x10,%edi
sar    $0x10,%edx
or     %edi,%edx
add    %eax,%ecx
mov    %eax,%edi
shl    $0x8,%edi
sar    $0x18,%eax
or     %edi,%eax
xor    %ecx,%eax
add    %eax,%edx
mov    %eax,%edi
shl    $0x7,%edi
sar    $0x19,%eax
or     %edi,%eax
xor    %edx,%eax
add    %esi,%ecx
mov    %esi,%edx
shl    $0xd,%edx
sar    $0x13,%esi
or     %edx,%esi
xor    %ecx,%esi
xor    %eax,%esi
movslq %esi,%rax
mov    %rax,0x20(%r14)
mov    %eax,%ecx
sar    $0x8,%ecx
movslq %ecx,%rcx
mov    %rcx,0x28(%r14)
mov    %eax,%ecx
sar    $0x10,%ecx
movslq %ecx,%rcx
mov    %rcx,0x30(%r14)
sar    $0x18,%eax
cltq
mov    %rax,0x38(%r14)
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @halfsiphash(i8* %0, i64 %1, i8* %2, i64* %3, i64 %4) {
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i64
%9 = alloca i8*
%10 = alloca i64*
%11 = alloca i64
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i8*
%23 = alloca i32
%24 = alloca i32
store i8* %0, i8** %7
store i64 %1, i64* %8
store i8* %2, i8** %9
store i64* %3, i64** %10
store i64 %4, i64* %11
%25 = load i8*, i8** %7
store i8* %25, i8** %12
%26 = load i8*, i8** %9
store i8* %26, i8** %13
%27 = load i64, i64* %11
%28 = icmp eq i64 %27, 4
br i1 %28, label %32, label %29
29: ; preds = %5
%30 = load i64, i64* %11
%31 = icmp eq i64 %30, 8
br label %32
32: ; preds = %29, %5
%33 = phi i1 [ true, %5 ], [ %31, %29 ]
%34 = zext i1 %33 to i32
%35 = call i32 @assert(i32 %34)
store i32 0, i32* %14
store i32 0, i32* %15
%36 = call i32 @UINT32_C(i32 1819895653)
store i32 %36, i32* %16
%37 = call i32 @UINT32_C(i32 1952801890)
store i32 %37, i32* %17
%38 = load i8*, i8** %13
%39 = getelementptr inbounds i8, i8* %38, i64 0
%40 = load i8, i8* %39
%41 = zext i8 %40 to i32
%42 = load i8*, i8** %13
%43 = getelementptr inbounds i8, i8* %42, i64 1
%44 = load i8, i8* %43
%45 = zext i8 %44 to i32
%46 = shl i32 %45, 8
%47 = or i32 %41, %46
%48 = load i8*, i8** %13
%49 = getelementptr inbounds i8, i8* %48, i64 2
%50 = load i8, i8* %49
%51 = zext i8 %50 to i32
%52 = shl i32 %51, 16
%53 = or i32 %47, %52
%54 = load i8*, i8** %13
%55 = getelementptr inbounds i8, i8* %54, i64 3
%56 = load i8, i8* %55
%57 = zext i8 %56 to i32
%58 = shl i32 %57, 24
%59 = or i32 %53, %58
store i32 %59, i32* %18
%60 = load i8*, i8** %13
%61 = getelementptr inbounds i8, i8* %60, i64 4
%62 = getelementptr inbounds i8, i8* %61, i64 0
%63 = load i8, i8* %62
%64 = zext i8 %63 to i32
%65 = load i8*, i8** %13
%66 = getelementptr inbounds i8, i8* %65, i64 4
%67 = getelementptr inbounds i8, i8* %66, i64 1
%68 = load i8, i8* %67
%69 = zext i8 %68 to i32
%70 = shl i32 %69, 8
%71 = or i32 %64, %70
%72 = load i8*, i8** %13
%73 = getelementptr inbounds i8, i8* %72, i64 4
%74 = getelementptr inbounds i8, i8* %73, i64 2
%75 = load i8, i8* %74
%76 = zext i8 %75 to i32
%77 = shl i32 %76, 16
%78 = or i32 %71, %77
%79 = load i8*, i8** %13
%80 = getelementptr inbounds i8, i8* %79, i64 4
%81 = getelementptr inbounds i8, i8* %80, i64 3
%82 = load i8, i8* %81
%83 = zext i8 %82 to i32
%84 = shl i32 %83, 24
%85 = or i32 %78, %84
store i32 %85, i32* %19
%86 = load i8*, i8** %12
%87 = load i64, i64* %8
%88 = getelementptr inbounds i8, i8* %86, i64 %87
%89 = load i64, i64* %8
%90 = urem i64 %89, 4
%91 = sub i64 0, %90
%92 = getelementptr inbounds i8, i8* %88, i64 %91
store i8* %92, i8** %22
%93 = load i64, i64* %8
%94 = and i64 %93, 3
%95 = trunc i64 %94 to i32
store i32 %95, i32* %23
%96 = load i64, i64* %8
%97 = trunc i64 %96 to i32
%98 = shl i32 %97, 24
store i32 %98, i32* %24
%99 = load i32, i32* %19
%100 = load i32, i32* %17
%101 = xor i32 %100, %99
store i32 %101, i32* %17
%102 = load i32, i32* %18
%103 = load i32, i32* %16
%104 = xor i32 %103, %102
store i32 %104, i32* %16
%105 = load i32, i32* %19
%106 = load i32, i32* %15
%107 = xor i32 %106, %105
store i32 %107, i32* %15
%108 = load i32, i32* %18
%109 = load i32, i32* %14
%110 = xor i32 %109, %108
store i32 %110, i32* %14
%111 = load i64, i64* %11
%112 = icmp eq i64 %111, 8
br i1 %112, label %113, label %116
113: ; preds = %32
%114 = load i32, i32* %15
%115 = xor i32 %114, 238
store i32 %115, i32* %15
br label %116
116: ; preds = %113, %32
br label %117
117: ; preds = %214, %116
%118 = load i8*, i8** %12
%119 = load i8*, i8** %22
%120 = icmp ne i8* %118, %119
br i1 %120, label %121, label %217
121: ; preds = %117
%122 = load i8*, i8** %12
%123 = getelementptr inbounds i8, i8* %122, i64 0
%124 = load i8, i8* %123
%125 = zext i8 %124 to i32
%126 = load i8*, i8** %12
%127 = getelementptr inbounds i8, i8* %126, i64 1
%128 = load i8, i8* %127
%129 = zext i8 %128 to i32
%130 = shl i32 %129, 8
%131 = or i32 %125, %130
%132 = load i8*, i8** %12
%133 = getelementptr inbounds i8, i8* %132, i64 2
%134 = load i8, i8* %133
%135 = zext i8 %134 to i32
%136 = shl i32 %135, 16
%137 = or i32 %131, %136
%138 = load i8*, i8** %12
%139 = getelementptr inbounds i8, i8* %138, i64 3
%140 = load i8, i8* %139
%141 = zext i8 %140 to i32
%142 = shl i32 %141, 24
%143 = or i32 %137, %142
store i32 %143, i32* %20
%144 = load i32, i32* %20
%145 = load i32, i32* %17
%146 = xor i32 %145, %144
store i32 %146, i32* %17
store i32 0, i32* %21
br label %147
147: ; preds = %207, %121
%148 = load i32, i32* %21
%149 = icmp slt i32 %148, 2
br i1 %149, label %150, label %210
150: ; preds = %147
br label %151
151: ; preds = %150
%152 = load i32, i32* %15
%153 = load i32, i32* %14
%154 = add nsw i32 %153, %152
store i32 %154, i32* %14
%155 = load i32, i32* %15
%156 = shl i32 %155, 5
%157 = load i32, i32* %15
%158 = ashr i32 %157, 27
%159 = or i32 %156, %158
store i32 %159, i32* %15
%160 = load i32, i32* %14
%161 = load i32, i32* %15
%162 = xor i32 %161, %160
store i32 %162, i32* %15
%163 = load i32, i32* %14
%164 = shl i32 %163, 16
%165 = load i32, i32* %14
%166 = ashr i32 %165, 16
%167 = or i32 %164, %166
store i32 %167, i32* %14
%168 = load i32, i32* %17
%169 = load i32, i32* %16
%170 = add nsw i32 %169, %168
store i32 %170, i32* %16
%171 = load i32, i32* %17
%172 = shl i32 %171, 8
%173 = load i32, i32* %17
%174 = ashr i32 %173, 24
%175 = or i32 %172, %174
store i32 %175, i32* %17
%176 = load i32, i32* %16
%177 = load i32, i32* %17
%178 = xor i32 %177, %176
store i32 %178, i32* %17
%179 = load i32, i32* %17
%180 = load i32, i32* %14
%181 = add nsw i32 %180, %179
store i32 %181, i32* %14
%182 = load i32, i32* %17
%183 = shl i32 %182, 7
%184 = load i32, i32* %17
%185 = ashr i32 %184, 25
%186 = or i32 %183, %185
store i32 %186, i32* %17
%187 = load i32, i32* %14
%188 = load i32, i32* %17
%189 = xor i32 %188, %187
store i32 %189, i32* %17
%190 = load i32, i32* %15
%191 = load i32, i32* %16
%192 = add nsw i32 %191, %190
store i32 %192, i32* %16
%193 = load i32, i32* %15
%194 = shl i32 %193, 13
%195 = load i32, i32* %15
%196 = ashr i32 %195, 19
%197 = or i32 %194, %196
store i32 %197, i32* %15
%198 = load i32, i32* %16
%199 = load i32, i32* %15
%200 = xor i32 %199, %198
store i32 %200, i32* %15
%201 = load i32, i32* %16
%202 = shl i32 %201, 16
%203 = load i32, i32* %16
%204 = ashr i32 %203, 16
%205 = or i32 %202, %204
store i32 %205, i32* %16
br label %206
206: ; preds = %151
br label %207
207: ; preds = %206
%208 = load i32, i32* %21
%209 = add nsw i32 %208, 1
store i32 %209, i32* %21
br label %147
210: ; preds = %147
%211 = load i32, i32* %20
%212 = load i32, i32* %14
%213 = xor i32 %212, %211
store i32 %213, i32* %14
br label %214
214: ; preds = %210
%215 = load i8*, i8** %12
%216 = getelementptr inbounds i8, i8* %215, i64 4
store i8* %216, i8** %12
br label %117
217: ; preds = %117
%218 = load i32, i32* %23
switch i32 %218, label %243 [
i32 3, label %219
i32 2, label %227
i32 1, label %235
i32 0, label %242
]
219: ; preds = %217
%220 = load i8*, i8** %12
%221 = getelementptr inbounds i8, i8* %220, i64 2
%222 = load i8, i8* %221
%223 = zext i8 %222 to i32
%224 = shl i32 %223, 16
%225 = load i32, i32* %24
%226 = or i32 %225, %224
store i32 %226, i32* %24
br label %227
227: ; preds = %217, %219
%228 = load i8*, i8** %12
%229 = getelementptr inbounds i8, i8* %228, i64 1
%230 = load i8, i8* %229
%231 = zext i8 %230 to i32
%232 = shl i32 %231, 8
%233 = load i32, i32* %24
%234 = or i32 %233, %232
store i32 %234, i32* %24
br label %235
235: ; preds = %217, %227
%236 = load i8*, i8** %12
%237 = getelementptr inbounds i8, i8* %236, i64 0
%238 = load i8, i8* %237
%239 = zext i8 %238 to i32
%240 = load i32, i32* %24
%241 = or i32 %240, %239
store i32 %241, i32* %24
br label %243
242: ; preds = %217
br label %243
243: ; preds = %217, %242, %235
%244 = load i32, i32* %24
%245 = load i32, i32* %17
%246 = xor i32 %245, %244
store i32 %246, i32* %17
store i32 0, i32* %21
br label %247
247: ; preds = %307, %243
%248 = load i32, i32* %21
%249 = icmp slt i32 %248, 2
br i1 %249, label %250, label %310
250: ; preds = %247
br label %251
251: ; preds = %250
%252 = load i32, i32* %15
%253 = load i32, i32* %14
%254 = add nsw i32 %253, %252
store i32 %254, i32* %14
%255 = load i32, i32* %15
%256 = shl i32 %255, 5
%257 = load i32, i32* %15
%258 = ashr i32 %257, 27
%259 = or i32 %256, %258
store i32 %259, i32* %15
%260 = load i32, i32* %14
%261 = load i32, i32* %15
%262 = xor i32 %261, %260
store i32 %262, i32* %15
%263 = load i32, i32* %14
%264 = shl i32 %263, 16
%265 = load i32, i32* %14
%266 = ashr i32 %265, 16
%267 = or i32 %264, %266
store i32 %267, i32* %14
%268 = load i32, i32* %17
%269 = load i32, i32* %16
%270 = add nsw i32 %269, %268
store i32 %270, i32* %16
%271 = load i32, i32* %17
%272 = shl i32 %271, 8
%273 = load i32, i32* %17
%274 = ashr i32 %273, 24
%275 = or i32 %272, %274
store i32 %275, i32* %17
%276 = load i32, i32* %16
%277 = load i32, i32* %17
%278 = xor i32 %277, %276
store i32 %278, i32* %17
%279 = load i32, i32* %17
%280 = load i32, i32* %14
%281 = add nsw i32 %280, %279
store i32 %281, i32* %14
%282 = load i32, i32* %17
%283 = shl i32 %282, 7
%284 = load i32, i32* %17
%285 = ashr i32 %284, 25
%286 = or i32 %283, %285
store i32 %286, i32* %17
%287 = load i32, i32* %14
%288 = load i32, i32* %17
%289 = xor i32 %288, %287
store i32 %289, i32* %17
%290 = load i32, i32* %15
%291 = load i32, i32* %16
%292 = add nsw i32 %291, %290
store i32 %292, i32* %16
%293 = load i32, i32* %15
%294 = shl i32 %293, 13
%295 = load i32, i32* %15
%296 = ashr i32 %295, 19
%297 = or i32 %294, %296
store i32 %297, i32* %15
%298 = load i32, i32* %16
%299 = load i32, i32* %15
%300 = xor i32 %299, %298
store i32 %300, i32* %15
%301 = load i32, i32* %16
%302 = shl i32 %301, 16
%303 = load i32, i32* %16
%304 = ashr i32 %303, 16
%305 = or i32 %302, %304
store i32 %305, i32* %16
br label %306
306: ; preds = %251
br label %307
307: ; preds = %306
%308 = load i32, i32* %21
%309 = add nsw i32 %308, 1
store i32 %309, i32* %21
br label %247
310: ; preds = %247
%311 = load i32, i32* %24
%312 = load i32, i32* %14
%313 = xor i32 %312, %311
store i32 %313, i32* %14
%314 = load i64, i64* %11
%315 = icmp eq i64 %314, 8
br i1 %315, label %316, label %319
316: ; preds = %310
%317 = load i32, i32* %16
%318 = xor i32 %317, 238
store i32 %318, i32* %16
br label %322
319: ; preds = %310
%320 = load i32, i32* %16
%321 = xor i32 %320, 255
store i32 %321, i32* %16
br label %322
322: ; preds = %319, %316
store i32 0, i32* %21
br label %323
323: ; preds = %383, %322
%324 = load i32, i32* %21
%325 = icmp slt i32 %324, 4
br i1 %325, label %326, label %386
326: ; preds = %323
br label %327
327: ; preds = %326
%328 = load i32, i32* %15
%329 = load i32, i32* %14
%330 = add nsw i32 %329, %328
store i32 %330, i32* %14
%331 = load i32, i32* %15
%332 = shl i32 %331, 5
%333 = load i32, i32* %15
%334 = ashr i32 %333, 27
%335 = or i32 %332, %334
store i32 %335, i32* %15
%336 = load i32, i32* %14
%337 = load i32, i32* %15
%338 = xor i32 %337, %336
store i32 %338, i32* %15
%339 = load i32, i32* %14
%340 = shl i32 %339, 16
%341 = load i32, i32* %14
%342 = ashr i32 %341, 16
%343 = or i32 %340, %342
store i32 %343, i32* %14
%344 = load i32, i32* %17
%345 = load i32, i32* %16
%346 = add nsw i32 %345, %344
store i32 %346, i32* %16
%347 = load i32, i32* %17
%348 = shl i32 %347, 8
%349 = load i32, i32* %17
%350 = ashr i32 %349, 24
%351 = or i32 %348, %350
store i32 %351, i32* %17
%352 = load i32, i32* %16
%353 = load i32, i32* %17
%354 = xor i32 %353, %352
store i32 %354, i32* %17
%355 = load i32, i32* %17
%356 = load i32, i32* %14
%357 = add nsw i32 %356, %355
store i32 %357, i32* %14
%358 = load i32, i32* %17
%359 = shl i32 %358, 7
%360 = load i32, i32* %17
%361 = ashr i32 %360, 25
%362 = or i32 %359, %361
store i32 %362, i32* %17
%363 = load i32, i32* %14
%364 = load i32, i32* %17
%365 = xor i32 %364, %363
store i32 %365, i32* %17
%366 = load i32, i32* %15
%367 = load i32, i32* %16
%368 = add nsw i32 %367, %366
store i32 %368, i32* %16
%369 = load i32, i32* %15
%370 = shl i32 %369, 13
%371 = load i32, i32* %15
%372 = ashr i32 %371, 19
%373 = or i32 %370, %372
store i32 %373, i32* %15
%374 = load i32, i32* %16
%375 = load i32, i32* %15
%376 = xor i32 %375, %374
store i32 %376, i32* %15
%377 = load i32, i32* %16
%378 = shl i32 %377, 16
%379 = load i32, i32* %16
%380 = ashr i32 %379, 16
%381 = or i32 %378, %380
store i32 %381, i32* %16
br label %382
382: ; preds = %327
br label %383
383: ; preds = %382
%384 = load i32, i32* %21
%385 = add nsw i32 %384, 1
store i32 %385, i32* %21
br label %323
386: ; preds = %323
%387 = load i32, i32* %15
%388 = load i32, i32* %17
%389 = xor i32 %387, %388
store i32 %389, i32* %24
%390 = load i32, i32* %24
%391 = sext i32 %390 to i64
%392 = load i64*, i64** %10
%393 = getelementptr inbounds i64, i64* %392, i64 0
store i64 %391, i64* %393
%394 = load i32, i32* %24
%395 = ashr i32 %394, 8
%396 = sext i32 %395 to i64
%397 = load i64*, i64** %10
%398 = getelementptr inbounds i64, i64* %397, i64 1
store i64 %396, i64* %398
%399 = load i32, i32* %24
%400 = ashr i32 %399, 16
%401 = sext i32 %400 to i64
%402 = load i64*, i64** %10
%403 = getelementptr inbounds i64, i64* %402, i64 2
store i64 %401, i64* %403
%404 = load i32, i32* %24
%405 = ashr i32 %404, 24
%406 = sext i32 %405 to i64
%407 = load i64*, i64** %10
%408 = getelementptr inbounds i64, i64* %407, i64 3
store i64 %406, i64* %408
%409 = load i64, i64* %11
%410 = icmp eq i64 %409, 4
br i1 %410, label %411, label %412
411: ; preds = %386
store i32 0, i32* %6
br label %505
412: ; preds = %386
%413 = load i32, i32* %15
%414 = xor i32 %413, 221
store i32 %414, i32* %15
store i32 0, i32* %21
br label %415
415: ; preds = %475, %412
%416 = load i32, i32* %21
%417 = icmp slt i32 %416, 4
br i1 %417, label %418, label %478
418: ; preds = %415
br label %419
419: ; preds = %418
%420 = load i32, i32* %15
%421 = load i32, i32* %14
%422 = add nsw i32 %421, %420
store i32 %422, i32* %14
%423 = load i32, i32* %15
%424 = shl i32 %423, 5
%425 = load i32, i32* %15
%426 = ashr i32 %425, 27
%427 = or i32 %424, %426
store i32 %427, i32* %15
%428 = load i32, i32* %14
%429 = load i32, i32* %15
%430 = xor i32 %429, %428
store i32 %430, i32* %15
%431 = load i32, i32* %14
%432 = shl i32 %431, 16
%433 = load i32, i32* %14
%434 = ashr i32 %433, 16
%435 = or i32 %432, %434
store i32 %435, i32* %14
%436 = load i32, i32* %17
%437 = load i32, i32* %16
%438 = add nsw i32 %437, %436
store i32 %438, i32* %16
%439 = load i32, i32* %17
%440 = shl i32 %439, 8
%441 = load i32, i32* %17
%442 = ashr i32 %441, 24
%443 = or i32 %440, %442
store i32 %443, i32* %17
%444 = load i32, i32* %16
%445 = load i32, i32* %17
%446 = xor i32 %445, %444
store i32 %446, i32* %17
%447 = load i32, i32* %17
%448 = load i32, i32* %14
%449 = add nsw i32 %448, %447
store i32 %449, i32* %14
%450 = load i32, i32* %17
%451 = shl i32 %450, 7
%452 = load i32, i32* %17
%453 = ashr i32 %452, 25
%454 = or i32 %451, %453
store i32 %454, i32* %17
%455 = load i32, i32* %14
%456 = load i32, i32* %17
%457 = xor i32 %456, %455
store i32 %457, i32* %17
%458 = load i32, i32* %15
%459 = load i32, i32* %16
%460 = add nsw i32 %459, %458
store i32 %460, i32* %16
%461 = load i32, i32* %15
%462 = shl i32 %461, 13
%463 = load i32, i32* %15
%464 = ashr i32 %463, 19
%465 = or i32 %462, %464
store i32 %465, i32* %15
%466 = load i32, i32* %16
%467 = load i32, i32* %15
%468 = xor i32 %467, %466
store i32 %468, i32* %15
%469 = load i32, i32* %16
%470 = shl i32 %469, 16
%471 = load i32, i32* %16
%472 = ashr i32 %471, 16
%473 = or i32 %470, %472
store i32 %473, i32* %16
br label %474
474: ; preds = %419
br label %475
475: ; preds = %474
%476 = load i32, i32* %21
%477 = add nsw i32 %476, 1
store i32 %477, i32* %21
br label %415
478: ; preds = %415
%479 = load i32, i32* %15
%480 = load i32, i32* %17
%481 = xor i32 %479, %480
store i32 %481, i32* %24
%482 = load i32, i32* %24
%483 = sext i32 %482 to i64
%484 = load i64*, i64** %10
%485 = getelementptr inbounds i64, i64* %484, i64 4
%486 = getelementptr inbounds i64, i64* %485, i64 0
store i64 %483, i64* %486
%487 = load i32, i32* %24
%488 = ashr i32 %487, 8
%489 = sext i32 %488 to i64
%490 = load i64*, i64** %10
%491 = getelementptr inbounds i64, i64* %490, i64 4
%492 = getelementptr inbounds i64, i64* %491, i64 1
store i64 %489, i64* %492
%493 = load i32, i32* %24
%494 = ashr i32 %493, 16
%495 = sext i32 %494 to i64
%496 = load i64*, i64** %10
%497 = getelementptr inbounds i64, i64* %496, i64 4
%498 = getelementptr inbounds i64, i64* %497, i64 2
store i64 %495, i64* %498
%499 = load i32, i32* %24
%500 = ashr i32 %499, 24
%501 = sext i32 %500 to i64
%502 = load i64*, i64** %10
%503 = getelementptr inbounds i64, i64* %502, i64 4
%504 = getelementptr inbounds i64, i64* %503, i64 3
store i64 %501, i64* %504
store i32 0, i32* %6
br label %505
505: ; preds = %478, %411
%506 = load i32, i32* %6
ret i32 %506
}

LLVM IR (-O2):
define i32 @halfsiphash(i8* %0, i64 %1, i8* nocapture %2, i64* nocapture writeonly %3, i64 %4) {
%6 = icmp eq i64 %4, 4
%7 = icmp eq i64 %4, 8
%8 = or i1 %6, %7
%9 = zext i1 %8 to i32
%10 = tail call i32 @assert(i32 %9)
%11 = tail call i32 @UINT32_C(i32 1819895653)
%12 = tail call i32 @UINT32_C(i32 1952801890)
%13 = load i8, i8* %2
%14 = zext i8 %13 to i32
%15 = getelementptr inbounds i8, i8* %2, i64 1
%16 = load i8, i8* %15
%17 = zext i8 %16 to i32
%18 = shl nuw nsw i32 %17, 8
%19 = or i32 %18, %14
%20 = getelementptr inbounds i8, i8* %2, i64 2
%21 = load i8, i8* %20
%22 = zext i8 %21 to i32
%23 = shl nuw nsw i32 %22, 16
%24 = or i32 %19, %23
%25 = getelementptr inbounds i8, i8* %2, i64 3
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = shl nuw i32 %27, 24
%29 = or i32 %24, %28
%30 = getelementptr inbounds i8, i8* %2, i64 4
%31 = load i8, i8* %30
%32 = zext i8 %31 to i32
%33 = getelementptr inbounds i8, i8* %2, i64 5
%34 = load i8, i8* %33
%35 = zext i8 %34 to i32
%36 = shl nuw nsw i32 %35, 8
%37 = or i32 %36, %32
%38 = getelementptr inbounds i8, i8* %2, i64 6
%39 = load i8, i8* %38
%40 = zext i8 %39 to i32
%41 = shl nuw nsw i32 %40, 16
%42 = or i32 %37, %41
%43 = getelementptr inbounds i8, i8* %2, i64 7
%44 = load i8, i8* %43
%45 = zext i8 %44 to i32
%46 = shl nuw i32 %45, 24
%47 = or i32 %42, %46
%48 = getelementptr inbounds i8, i8* %0, i64 %1
%49 = and i64 %1, 3
%50 = sub nsw i64 0, %49
%51 = getelementptr inbounds i8, i8* %48, i64 %50
%52 = trunc i64 %1 to i32
%53 = and i32 %52, 3
%54 = shl i32 %52, 24
%55 = xor i32 %47, %12
%56 = xor i32 %29, %11
%57 = xor i32 %47, 238
%58 = select i1 %7, i32 %57, i32 %47
%59 = icmp eq i8* %51, %0
br i1 %59, label %139, label %60
60: ; preds = %5, %60
%61 = phi i8* [ %137, %60 ], [ %0, %5 ]
%62 = phi i32 [ %136, %60 ], [ %29, %5 ]
%63 = phi i32 [ %132, %60 ], [ %58, %5 ]
%64 = phi i32 [ %135, %60 ], [ %56, %5 ]
%65 = phi i32 [ %127, %60 ], [ %55, %5 ]
%66 = load i8, i8* %61
%67 = zext i8 %66 to i32
%68 = getelementptr inbounds i8, i8* %61, i64 1
%69 = load i8, i8* %68
%70 = zext i8 %69 to i32
%71 = shl nuw nsw i32 %70, 8
%72 = or i32 %71, %67
%73 = getelementptr inbounds i8, i8* %61, i64 2
%74 = load i8, i8* %73
%75 = zext i8 %74 to i32
%76 = shl nuw nsw i32 %75, 16
%77 = or i32 %72, %76
%78 = getelementptr inbounds i8, i8* %61, i64 3
%79 = load i8, i8* %78
%80 = zext i8 %79 to i32
%81 = shl nuw i32 %80, 24
%82 = or i32 %77, %81
%83 = xor i32 %82, %65
%84 = add nsw i32 %62, %63
%85 = shl i32 %63, 5
%86 = ashr i32 %63, 27
%87 = or i32 %85, %86
%88 = xor i32 %87, %84
%89 = shl i32 %84, 16
%90 = ashr i32 %84, 16
%91 = or i32 %89, %90
%92 = add nsw i32 %64, %83
%93 = shl i32 %83, 8
%94 = ashr i32 %83, 24
%95 = or i32 %93, %94
%96 = xor i32 %95, %92
%97 = add nsw i32 %91, %96
%98 = shl i32 %96, 7
%99 = ashr i32 %96, 25
%100 = or i32 %98, %99
%101 = xor i32 %97, %100
%102 = add nsw i32 %88, %92
%103 = shl i32 %88, 13
%104 = ashr i32 %88, 19
%105 = or i32 %103, %104
%106 = xor i32 %105, %102
%107 = shl i32 %102, 16
%108 = ashr i32 %102, 16
%109 = or i32 %107, %108
%110 = add nsw i32 %97, %106
%111 = shl i32 %106, 5
%112 = ashr i32 %106, 27
%113 = or i32 %111, %112
%114 = xor i32 %113, %110
%115 = shl i32 %110, 16
%116 = ashr i32 %110, 16
%117 = or i32 %115, %116
%118 = add nsw i32 %109, %101
%119 = shl i32 %101, 8
%120 = ashr i32 %101, 24
%121 = or i32 %119, %120
%122 = xor i32 %121, %118
%123 = add nsw i32 %117, %122
%124 = shl i32 %122, 7
%125 = ashr i32 %122, 25
%126 = or i32 %124, %125
%127 = xor i32 %123, %126
%128 = add nsw i32 %114, %118
%129 = shl i32 %114, 13
%130 = ashr i32 %114, 19
%131 = or i32 %129, %130
%132 = xor i32 %131, %128
%133 = shl i32 %128, 16
%134 = ashr i32 %128, 16
%135 = or i32 %133, %134
%136 = xor i32 %123, %82
%137 = getelementptr inbounds i8, i8* %61, i64 4
%138 = icmp eq i8* %137, %51
br i1 %138, label %139, label %60
139: ; preds = %60, %5
%140 = phi i32 [ %55, %5 ], [ %127, %60 ]
%141 = phi i32 [ %56, %5 ], [ %135, %60 ]
%142 = phi i32 [ %58, %5 ], [ %132, %60 ]
%143 = phi i32 [ %29, %5 ], [ %136, %60 ]
%144 = phi i8* [ %0, %5 ], [ %51, %60 ]
switch i32 %53, label %163 [
i32 3, label %145
i32 2, label %151
i32 1, label %158
]
145: ; preds = %139
%146 = getelementptr inbounds i8, i8* %144, i64 2
%147 = load i8, i8* %146
%148 = zext i8 %147 to i32
%149 = shl nuw nsw i32 %148, 16
%150 = or i32 %149, %54
br label %151
151: ; preds = %139, %145
%152 = phi i32 [ %54, %139 ], [ %150, %145 ]
%153 = getelementptr inbounds i8, i8* %144, i64 1
%154 = load i8, i8* %153
%155 = zext i8 %154 to i32
%156 = shl nuw nsw i32 %155, 8
%157 = or i32 %156, %152
br label %158
158: ; preds = %139, %151
%159 = phi i32 [ %54, %139 ], [ %157, %151 ]
%160 = load i8, i8* %144
%161 = zext i8 %160 to i32
%162 = or i32 %159, %161
br label %163
163: ; preds = %139, %158
%164 = phi i32 [ %54, %139 ], [ %162, %158 ]
%165 = xor i32 %164, %140
%166 = add nsw i32 %143, %142
%167 = shl i32 %142, 5
%168 = ashr i32 %142, 27
%169 = or i32 %167, %168
%170 = xor i32 %169, %166
%171 = shl i32 %166, 16
%172 = ashr i32 %166, 16
%173 = or i32 %171, %172
%174 = add nsw i32 %141, %165
%175 = shl i32 %165, 8
%176 = ashr i32 %165, 24
%177 = or i32 %175, %176
%178 = xor i32 %177, %174
%179 = add nsw i32 %173, %178
%180 = shl i32 %178, 7
%181 = ashr i32 %178, 25
%182 = or i32 %180, %181
%183 = xor i32 %179, %182
%184 = add nsw i32 %170, %174
%185 = shl i32 %170, 13
%186 = ashr i32 %170, 19
%187 = or i32 %185, %186
%188 = xor i32 %187, %184
%189 = shl i32 %184, 16
%190 = ashr i32 %184, 16
%191 = or i32 %189, %190
%192 = add nsw i32 %179, %188
%193 = shl i32 %188, 5
%194 = ashr i32 %188, 27
%195 = or i32 %193, %194
%196 = xor i32 %195, %192
%197 = shl i32 %192, 16
%198 = ashr i32 %192, 16
%199 = or i32 %197, %198
%200 = add nsw i32 %191, %183
%201 = shl i32 %183, 8
%202 = ashr i32 %183, 24
%203 = or i32 %201, %202
%204 = xor i32 %203, %200
%205 = add nsw i32 %199, %204
%206 = shl i32 %204, 7
%207 = ashr i32 %204, 25
%208 = or i32 %206, %207
%209 = xor i32 %205, %208
%210 = add nsw i32 %196, %200
%211 = shl i32 %196, 13
%212 = ashr i32 %196, 19
%213 = or i32 %211, %212
%214 = xor i32 %213, %210
%215 = shl i32 %210, 16
%216 = ashr i32 %210, 16
%217 = or i32 %215, %216
%218 = xor i32 %205, %164
%219 = select i1 %7, i32 238, i32 255
%220 = xor i32 %217, %219
%221 = add nsw i32 %218, %214
%222 = shl i32 %214, 5
%223 = ashr i32 %214, 27
%224 = or i32 %222, %223
%225 = xor i32 %224, %221
%226 = shl i32 %221, 16
%227 = ashr i32 %221, 16
%228 = or i32 %226, %227
%229 = add nsw i32 %220, %209
%230 = shl i32 %209, 8
%231 = ashr i32 %209, 24
%232 = or i32 %230, %231
%233 = xor i32 %232, %229
%234 = add nsw i32 %228, %233
%235 = shl i32 %233, 7
%236 = ashr i32 %233, 25
%237 = or i32 %235, %236
%238 = xor i32 %234, %237
%239 = add nsw i32 %225, %229
%240 = shl i32 %225, 13
%241 = ashr i32 %225, 19
%242 = or i32 %240, %241
%243 = xor i32 %242, %239
%244 = shl i32 %239, 16
%245 = ashr i32 %239, 16
%246 = or i32 %244, %245
%247 = add nsw i32 %234, %243
%248 = shl i32 %243, 5
%249 = ashr i32 %243, 27
%250 = or i32 %248, %249
%251 = xor i32 %250, %247
%252 = shl i32 %247, 16
%253 = ashr i32 %247, 16
%254 = or i32 %252, %253
%255 = add nsw i32 %246, %238
%256 = shl i32 %238, 8
%257 = ashr i32 %238, 24
%258 = or i32 %256, %257
%259 = xor i32 %258, %255
%260 = add nsw i32 %254, %259
%261 = shl i32 %259, 7
%262 = ashr i32 %259, 25
%263 = or i32 %261, %262
%264 = xor i32 %260, %263
%265 = add nsw i32 %251, %255
%266 = shl i32 %251, 13
%267 = ashr i32 %251, 19
%268 = or i32 %266, %267
%269 = xor i32 %268, %265
%270 = shl i32 %265, 16
%271 = ashr i32 %265, 16
%272 = or i32 %270, %271
%273 = add nsw i32 %260, %269
%274 = shl i32 %269, 5
%275 = ashr i32 %269, 27
%276 = or i32 %274, %275
%277 = xor i32 %276, %273
%278 = shl i32 %273, 16
%279 = ashr i32 %273, 16
%280 = or i32 %278, %279
%281 = add nsw i32 %272, %264
%282 = shl i32 %264, 8
%283 = ashr i32 %264, 24
%284 = or i32 %282, %283
%285 = xor i32 %284, %281
%286 = add nsw i32 %280, %285
%287 = shl i32 %285, 7
%288 = ashr i32 %285, 25
%289 = or i32 %287, %288
%290 = xor i32 %286, %289
%291 = add nsw i32 %277, %281
%292 = shl i32 %277, 13
%293 = ashr i32 %277, 19
%294 = or i32 %292, %293
%295 = xor i32 %294, %291
%296 = shl i32 %291, 16
%297 = ashr i32 %291, 16
%298 = or i32 %296, %297
%299 = add nsw i32 %286, %295
%300 = shl i32 %295, 5
%301 = ashr i32 %295, 27
%302 = or i32 %300, %301
%303 = xor i32 %302, %299
%304 = shl i32 %299, 16
%305 = ashr i32 %299, 16
%306 = or i32 %304, %305
%307 = add nsw i32 %298, %290
%308 = shl i32 %290, 8
%309 = ashr i32 %290, 24
%310 = or i32 %308, %309
%311 = xor i32 %310, %307
%312 = add nsw i32 %306, %311
%313 = shl i32 %311, 7
%314 = ashr i32 %311, 25
%315 = or i32 %313, %314
%316 = xor i32 %312, %315
%317 = add nsw i32 %303, %307
%318 = shl i32 %303, 13
%319 = ashr i32 %303, 19
%320 = or i32 %318, %319
%321 = xor i32 %320, %317
%322 = xor i32 %321, %316
%323 = sext i32 %322 to i64
store i64 %323, i64* %3
%324 = ashr i32 %322, 8
%325 = sext i32 %324 to i64
%326 = getelementptr inbounds i64, i64* %3, i64 1
store i64 %325, i64* %326
%327 = ashr i32 %322, 16
%328 = sext i32 %327 to i64
%329 = getelementptr inbounds i64, i64* %3, i64 2
store i64 %328, i64* %329
%330 = ashr i32 %322, 24
%331 = sext i32 %330 to i64
%332 = getelementptr inbounds i64, i64* %3, i64 3
store i64 %331, i64* %332
br i1 %6, label %451, label %333
333: ; preds = %163
%334 = shl i32 %317, 16
%335 = ashr i32 %317, 16
%336 = or i32 %334, %335
%337 = xor i32 %321, 221
%338 = add nsw i32 %312, %337
%339 = shl i32 %337, 5
%340 = ashr i32 %321, 27
%341 = or i32 %339, %340
%342 = xor i32 %341, %338
%343 = shl i32 %338, 16
%344 = ashr i32 %338, 16
%345 = or i32 %343, %344
%346 = add nsw i32 %336, %316
%347 = shl i32 %316, 8
%348 = ashr i32 %316, 24
%349 = or i32 %347, %348
%350 = xor i32 %349, %346
%351 = add nsw i32 %345, %350
%352 = shl i32 %350, 7
%353 = ashr i32 %350, 25
%354 = or i32 %352, %353
%355 = xor i32 %351, %354
%356 = add nsw i32 %342, %346
%357 = shl i32 %342, 13
%358 = ashr i32 %342, 19
%359 = or i32 %357, %358
%360 = xor i32 %359, %356
%361 = shl i32 %356, 16
%362 = ashr i32 %356, 16
%363 = or i32 %361, %362
%364 = add nsw i32 %351, %360
%365 = shl i32 %360, 5
%366 = ashr i32 %360, 27
%367 = or i32 %365, %366
%368 = xor i32 %367, %364
%369 = shl i32 %364, 16
%370 = ashr i32 %364, 16
%371 = or i32 %369, %370
%372 = add nsw i32 %363, %355
%373 = shl i32 %355, 8
%374 = ashr i32 %355, 24
%375 = or i32 %373, %374
%376 = xor i32 %375, %372
%377 = add nsw i32 %371, %376
%378 = shl i32 %376, 7
%379 = ashr i32 %376, 25
%380 = or i32 %378, %379
%381 = xor i32 %377, %380
%382 = add nsw i32 %368, %372
%383 = shl i32 %368, 13
%384 = ashr i32 %368, 19
%385 = or i32 %383, %384
%386 = xor i32 %385, %382
%387 = shl i32 %382, 16
%388 = ashr i32 %382, 16
%389 = or i32 %387, %388
%390 = add nsw i32 %377, %386
%391 = shl i32 %386, 5
%392 = ashr i32 %386, 27
%393 = or i32 %391, %392
%394 = xor i32 %393, %390
%395 = shl i32 %390, 16
%396 = ashr i32 %390, 16
%397 = or i32 %395, %396
%398 = add nsw i32 %389, %381
%399 = shl i32 %381, 8
%400 = ashr i32 %381, 24
%401 = or i32 %399, %400
%402 = xor i32 %401, %398
%403 = add nsw i32 %397, %402
%404 = shl i32 %402, 7
%405 = ashr i32 %402, 25
%406 = or i32 %404, %405
%407 = xor i32 %403, %406
%408 = add nsw i32 %394, %398
%409 = shl i32 %394, 13
%410 = ashr i32 %394, 19
%411 = or i32 %409, %410
%412 = xor i32 %411, %408
%413 = shl i32 %408, 16
%414 = ashr i32 %408, 16
%415 = or i32 %413, %414
%416 = add nsw i32 %403, %412
%417 = shl i32 %412, 5
%418 = ashr i32 %412, 27
%419 = or i32 %417, %418
%420 = xor i32 %419, %416
%421 = shl i32 %416, 16
%422 = ashr i32 %416, 16
%423 = or i32 %421, %422
%424 = add nsw i32 %415, %407
%425 = shl i32 %407, 8
%426 = ashr i32 %407, 24
%427 = or i32 %425, %426
%428 = xor i32 %427, %424
%429 = add nsw i32 %423, %428
%430 = shl i32 %428, 7
%431 = ashr i32 %428, 25
%432 = or i32 %430, %431
%433 = xor i32 %429, %432
%434 = add nsw i32 %420, %424
%435 = shl i32 %420, 13
%436 = ashr i32 %420, 19
%437 = or i32 %435, %436
%438 = xor i32 %437, %434
%439 = xor i32 %438, %433
%440 = sext i32 %439 to i64
%441 = getelementptr inbounds i64, i64* %3, i64 4
store i64 %440, i64* %441
%442 = ashr i32 %439, 8
%443 = sext i32 %442 to i64
%444 = getelementptr inbounds i64, i64* %3, i64 5
store i64 %443, i64* %444
%445 = ashr i32 %439, 16
%446 = sext i32 %445 to i64
%447 = getelementptr inbounds i64, i64* %3, i64 6
store i64 %446, i64* %447
%448 = ashr i32 %439, 24
%449 = sext i32 %448 to i64
%450 = getelementptr inbounds i64, i64* %3, i64 7
store i64 %449, i64* %450
br label %451
451: ; preds = %163, %333
ret i32 0
}