#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 */

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int HuffmanCodeLengthsToCodes(const int *const code_lengths,
                              int code_lengths_size, int *const huff_codes) {
  int symbol;
  int code_len;
  int code_length_hist[15 + 1] = {0};
  int curr_code;
  int next_codes[15 + 1] = {0};
  int max_code_length = 0;
  assert(code_lengths != NULL);
  assert(code_lengths_size > 0);
  assert(huff_codes != NULL);
  for (symbol = 0; symbol < code_lengths_size; ++symbol) {
    if (code_lengths[symbol] > max_code_length) {
      max_code_length = code_lengths[symbol];
    }
  }
  if (max_code_length > 15)
    return 0;
  for (symbol = 0; symbol < code_lengths_size; ++symbol) {
    ++code_length_hist[code_lengths[symbol]];
  }
  code_length_hist[0] = 0;
  curr_code = 0;
  next_codes[0] = -1;
  for (code_len = 1; code_len <= max_code_length; ++code_len) {
    curr_code = (curr_code + code_length_hist[code_len - 1]) << 1;
    next_codes[code_len] = curr_code;
  }
  for (symbol = 0; symbol < code_lengths_size; ++symbol) {
    if (code_lengths[symbol] > 0) {
      huff_codes[symbol] = next_codes[code_lengths[symbol]]++;
    } else {
      huff_codes[symbol] = (-1);
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<HuffmanCodeLengthsToCodes>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
lea    -0x70(%rbp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1030 <memset@plt>
lea    -0xc0(%rbp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1030 <memset@plt>
movl   $0x0,-0xc4(%rbp)
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpl   $0x0,-0x14(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpq   $0x0,-0x20(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11e6 <HuffmanCodeLengthsToCodes+0xc6>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0xc4(%rbp),%eax
jle    11d3 <HuffmanCodeLengthsToCodes+0xb3>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0xc4(%rbp)
jmp    11d8 <HuffmanCodeLengthsToCodes+0xb8>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    119f <HuffmanCodeLengthsToCodes+0x7f>
cmpl   $0xf,-0xc4(%rbp)
jle    11ff <HuffmanCodeLengthsToCodes+0xdf>
movl   $0x0,-0x4(%rbp)
jmp    1314 <HuffmanCodeLengthsToCodes+0x1f4>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1237 <HuffmanCodeLengthsToCodes+0x117>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movslq (%rax,%rcx,4),%rax
mov    -0x70(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x70(%rbp,%rax,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1206 <HuffmanCodeLengthsToCodes+0xe6>
movl   $0x0,-0x70(%rbp)
movl   $0x0,-0x74(%rbp)
movl   $0xffffffff,-0xc0(%rbp)
ff ff ff
movl   $0x1,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc4(%rbp),%eax
jg     1297 <HuffmanCodeLengthsToCodes+0x177>
mov    -0x74(%rbp),%eax
mov    -0x28(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
add    -0x70(%rbp,%rcx,4),%eax
shl    $0x1,%eax
mov    %eax,-0x74(%rbp)
mov    -0x74(%rbp),%ecx
movslq -0x28(%rbp),%rax
mov    %ecx,-0xc0(%rbp,%rax,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1256 <HuffmanCodeLengthsToCodes+0x136>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    130d <HuffmanCodeLengthsToCodes+0x1ed>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jle    12eb <HuffmanCodeLengthsToCodes+0x1cb>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movslq (%rax,%rcx,4),%rax
mov    -0xc0(%rbp,%rax,4),%edx
mov    %edx,%ecx
add    $0x1,%ecx
mov    %ecx,-0xc0(%rbp,%rax,4)
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12fa <HuffmanCodeLengthsToCodes+0x1da>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
movl   $0xffffffff,(%rax,%rcx,4)
jmp    12ff <HuffmanCodeLengthsToCodes+0x1df>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    129e <HuffmanCodeLengthsToCodes+0x17e>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<HuffmanCodeLengthsToCodes>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x88,%rsp
mov    %rdx,%r14
mov    %esi,%r15d
mov    %rdi,%rbx
pxor   %xmm0,%xmm0
movdqa %xmm0,0x70(%rsp)
movdqa %xmm0,0x60(%rsp)
movdqa %xmm0,0x50(%rsp)
movdqa %xmm0,0x40(%rsp)
movdqa %xmm0,0x30(%rsp)
movdqa %xmm0,0x20(%rsp)
movdqa %xmm0,0x10(%rsp)
movdqa %xmm0,(%rsp)
xor    %edi,%edi
test   %rbx,%rbx
setne  %dil
call   1030 <assert@plt>
xor    %edi,%edi
test   %r15d,%r15d
setg   %dil
call   1030 <assert@plt>
xor    %edi,%edi
test   %r14,%r14
setne  %dil
call   1030 <assert@plt>
test   %r15d,%r15d
jle    14b8 <HuffmanCodeLengthsToCodes+0x3a8>
mov    %r15d,%r8d
cmp    $0x8,%r15d
jae    119e <HuffmanCodeLengthsToCodes+0x8e>
xor    %eax,%eax
xor    %edx,%edx
jmp    12d0 <HuffmanCodeLengthsToCodes+0x1c0>
mov    %r8d,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
test   %rsi,%rsi
je     1309 <HuffmanCodeLengthsToCodes+0x1f9>
mov    %rdx,%rdi
and    $0xfffffffffffffffe,%rdi
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
nopl   (%rax)
movdqu (%rbx,%rsi,4),%xmm2
movdqu 0x10(%rbx,%rsi,4),%xmm3
movdqu 0x20(%rbx,%rsi,4),%xmm4
movdqu 0x30(%rbx,%rsi,4),%xmm5
movdqa %xmm2,%xmm6
pcmpgtd %xmm0,%xmm6
pand   %xmm6,%xmm2
pandn  %xmm0,%xmm6
por    %xmm2,%xmm6
movdqa %xmm3,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
movdqa %xmm4,%xmm0
pcmpgtd %xmm6,%xmm0
pand   %xmm0,%xmm4
pandn  %xmm6,%xmm0
por    %xmm4,%xmm0
movdqa %xmm5,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm5
pandn  %xmm2,%xmm1
por    %xmm5,%xmm1
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rdi
jne    11d0 <HuffmanCodeLengthsToCodes+0xc0>
test   $0x1,%dl
je     1281 <HuffmanCodeLengthsToCodes+0x171>
movdqu (%rbx,%rsi,4),%xmm2
movdqu 0x10(%rbx,%rsi,4),%xmm3
movdqa %xmm2,%xmm4
pcmpgtd %xmm0,%xmm4
pand   %xmm4,%xmm2
pandn  %xmm0,%xmm4
por    %xmm2,%xmm4
movdqa %xmm3,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
movdqa %xmm4,%xmm0
movdqa %xmm2,%xmm1
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0xee,%xmm2,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
pshufd $0x55,%xmm1,%xmm0
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm1
pandn  %xmm0,%xmm2
por    %xmm1,%xmm2
movd   %xmm2,%edx
cmp    %r8,%rax
je     12e1 <HuffmanCodeLengthsToCodes+0x1d1>
mov    (%rbx,%rax,4),%esi
cmp    %edx,%esi
cmovg  %esi,%edx
add    $0x1,%rax
cmp    %rax,%r8
jne    12d0 <HuffmanCodeLengthsToCodes+0x1c0>
xor    %eax,%eax
cmp    $0xf,%edx
jg     14bd <HuffmanCodeLengthsToCodes+0x3ad>
test   %r15d,%r15d
jle    1382 <HuffmanCodeLengthsToCodes+0x272>
lea    -0x1(%r8),%rsi
mov    %r8d,%eax
and    $0x3,%eax
cmp    $0x3,%rsi
jae    1321 <HuffmanCodeLengthsToCodes+0x211>
xor    %esi,%esi
jmp    1360 <HuffmanCodeLengthsToCodes+0x250>
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
test   $0x1,%dl
jne    1246 <HuffmanCodeLengthsToCodes+0x136>
jmp    1281 <HuffmanCodeLengthsToCodes+0x171>
mov    %r8d,%edi
and    $0xfffffffc,%edi
xor    %esi,%esi
nopl   0x0(%rax)
movslq (%rbx,%rsi,4),%rbp
addl   $0x1,0x40(%rsp,%rbp,4)
movslq 0x4(%rbx,%rsi,4),%rbp
addl   $0x1,0x40(%rsp,%rbp,4)
movslq 0x8(%rbx,%rsi,4),%rbp
addl   $0x1,0x40(%rsp,%rbp,4)
movslq 0xc(%rbx,%rsi,4),%rbp
addl   $0x1,0x40(%rsp,%rbp,4)
add    $0x4,%rsi
cmp    %rsi,%rdi
jne    1330 <HuffmanCodeLengthsToCodes+0x220>
test   %rax,%rax
je     1382 <HuffmanCodeLengthsToCodes+0x272>
lea    (%rbx,%rsi,4),%rsi
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
movslq (%rsi,%rdi,4),%rbp
addl   $0x1,0x40(%rsp,%rbp,4)
add    $0x1,%rdi
cmp    %rdi,%rax
jne    1370 <HuffmanCodeLengthsToCodes+0x260>
test   %edx,%edx
jle    1436 <HuffmanCodeLengthsToCodes+0x326>
add    $0x1,%edx
movl   $0x0,0x4(%rsp)
cmp    $0x2,%edx
je     1436 <HuffmanCodeLengthsToCodes+0x326>
lea    -0x2(%rdx),%rdi
add    $0xfffffffffffffffd,%rdx
mov    %edi,%eax
and    $0x3,%eax
cmp    $0x3,%rdx
jae    13bf <HuffmanCodeLengthsToCodes+0x2af>
mov    $0x1,%edi
xor    %edx,%edx
mov    $0x2,%esi
jmp    140d <HuffmanCodeLengthsToCodes+0x2fd>
and    $0xfffffffffffffffc,%rdi
neg    %rdi
xor    %edx,%edx
mov    $0x2,%esi
nopl   (%rax)
add    0x3c(%rsp,%rsi,4),%edx
add    %edx,%edx
mov    %edx,(%rsp,%rsi,4)
add    0x40(%rsp,%rsi,4),%edx
add    %edx,%edx
mov    %edx,0x4(%rsp,%rsi,4)
add    0x44(%rsp,%rsi,4),%edx
add    %edx,%edx
mov    %edx,0x8(%rsp,%rsi,4)
add    0x48(%rsp,%rsi,4),%edx
add    %edx,%edx
mov    %edx,0xc(%rsp,%rsi,4)
lea    (%rdi,%rsi,1),%rbp
add    $0x4,%rbp
add    $0x4,%rsi
cmp    $0x2,%rbp
jne    13d0 <HuffmanCodeLengthsToCodes+0x2c0>
lea    -0x1(%rsi),%rdi
test   %rax,%rax
je     1436 <HuffmanCodeLengthsToCodes+0x326>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    0x40(%rsp,%rdi,4),%edx
add    %edx,%edx
mov    %edx,(%rsp,%rsi,4)
mov    %rsi,%rdi
add    $0x1,%rsi
add    $0xffffffffffffffff,%rax
jne    1420 <HuffmanCodeLengthsToCodes+0x310>
test   %r15d,%r15d
jle    14b8 <HuffmanCodeLengthsToCodes+0x3a8>
cmp    $0x1,%r15d
jne    145b <HuffmanCodeLengthsToCodes+0x34b>
xor    %eax,%eax
test   $0x1,%r8b
je     14b8 <HuffmanCodeLengthsToCodes+0x3a8>
mov    (%rbx,%rax,4),%edx
test   %edx,%edx
jle    14af <HuffmanCodeLengthsToCodes+0x39f>
mov    (%rsp,%rdx,4),%ecx
lea    0x1(%rcx),%esi
mov    %esi,(%rsp,%rdx,4)
jmp    14b4 <HuffmanCodeLengthsToCodes+0x3a4>
mov    %r8d,%edx
and    $0xfffffffe,%edx
xor    %eax,%eax
jmp    147e <HuffmanCodeLengthsToCodes+0x36e>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %esi,0x4(%r14,%rax,4)
add    $0x2,%rax
cmp    %rax,%rdx
je     1443 <HuffmanCodeLengthsToCodes+0x333>
mov    (%rbx,%rax,4),%edi
mov    $0xffffffff,%esi
mov    $0xffffffff,%ebp
test   %edi,%edi
jle    1498 <HuffmanCodeLengthsToCodes+0x388>
mov    (%rsp,%rdi,4),%ebp
lea    0x1(%rbp),%ecx
mov    %ecx,(%rsp,%rdi,4)
mov    %ebp,(%r14,%rax,4)
mov    0x4(%rbx,%rax,4),%edi
test   %edi,%edi
jle    1470 <HuffmanCodeLengthsToCodes+0x360>
mov    (%rsp,%rdi,4),%esi
lea    0x1(%rsi),%ecx
mov    %ecx,(%rsp,%rdi,4)
jmp    1470 <HuffmanCodeLengthsToCodes+0x360>
mov    $0xffffffff,%ecx
mov    %ecx,(%r14,%rax,4)
mov    $0x1,%eax
add    $0x88,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @HuffmanCodeLengthsToCodes(i32* %0, i32 %1, i32* %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
%10 = alloca [16 x i32]
%11 = alloca i32
%12 = alloca [16 x i32]
%13 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32* %2, i32** %7
%14 = bitcast [16 x i32]* %10 to i8*
%15 = bitcast [16 x i32]* %12 to i8*
store i32 0, i32* %13
%16 = load i32*, i32** %5
%17 = icmp ne i32* %16, null
%18 = zext i1 %17 to i32
%19 = call i32 @assert(i32 %18)
%20 = load i32, i32* %6
%21 = icmp sgt i32 %20, 0
%22 = zext i1 %21 to i32
%23 = call i32 @assert(i32 %22)
%24 = load i32*, i32** %7
%25 = icmp ne i32* %24, null
%26 = zext i1 %25 to i32
%27 = call i32 @assert(i32 %26)
store i32 0, i32* %8
br label %28
28: ; preds = %47, %3
%29 = load i32, i32* %8
%30 = load i32, i32* %6
%31 = icmp slt i32 %29, %30
br i1 %31, label %32, label %50
32: ; preds = %28
%33 = load i32*, i32** %5
%34 = load i32, i32* %8
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i32, i32* %33, i64 %35
%37 = load i32, i32* %36
%38 = load i32, i32* %13
%39 = icmp sgt i32 %37, %38
br i1 %39, label %40, label %46
40: ; preds = %32
%41 = load i32*, i32** %5
%42 = load i32, i32* %8
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %41, i64 %43
%45 = load i32, i32* %44
store i32 %45, i32* %13
br label %46
46: ; preds = %40, %32
br label %47
47: ; preds = %46
%48 = load i32, i32* %8
%49 = add nsw i32 %48, 1
store i32 %49, i32* %8
br label %28
50: ; preds = %28
%51 = load i32, i32* %13
%52 = icmp sgt i32 %51, 15
br i1 %52, label %53, label %54
53: ; preds = %50
store i32 0, i32* %4
br label %131
54: ; preds = %50
store i32 0, i32* %8
br label %55
55: ; preds = %69, %54
%56 = load i32, i32* %8
%57 = load i32, i32* %6
%58 = icmp slt i32 %56, %57
br i1 %58, label %59, label %72
59: ; preds = %55
%60 = load i32*, i32** %5
%61 = load i32, i32* %8
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds i32, i32* %60, i64 %62
%64 = load i32, i32* %63
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds [16 x i32], [16 x i32]* %10, i64 0, i64 %65
%67 = load i32, i32* %66
%68 = add nsw i32 %67, 1
store i32 %68, i32* %66
br label %69
69: ; preds = %59
%70 = load i32, i32* %8
%71 = add nsw i32 %70, 1
store i32 %71, i32* %8
br label %55
72: ; preds = %55
%73 = getelementptr inbounds [16 x i32], [16 x i32]* %10, i64 0, i64 0
store i32 0, i32* %73
store i32 0, i32* %11
%74 = getelementptr inbounds [16 x i32], [16 x i32]* %12, i64 0, i64 0
store i32 -1, i32* %74
store i32 1, i32* %9
br label %75
75: ; preds = %92, %72
%76 = load i32, i32* %9
%77 = load i32, i32* %13
%78 = icmp sle i32 %76, %77
br i1 %78, label %79, label %95
79: ; preds = %75
%80 = load i32, i32* %11
%81 = load i32, i32* %9
%82 = sub nsw i32 %81, 1
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds [16 x i32], [16 x i32]* %10, i64 0, i64 %83
%85 = load i32, i32* %84
%86 = add nsw i32 %80, %85
%87 = shl i32 %86, 1
store i32 %87, i32* %11
%88 = load i32, i32* %11
%89 = load i32, i32* %9
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds [16 x i32], [16 x i32]* %12, i64 0, i64 %90
store i32 %88, i32* %91
br label %92
92: ; preds = %79
%93 = load i32, i32* %9
%94 = add nsw i32 %93, 1
store i32 %94, i32* %9
br label %75
95: ; preds = %75
store i32 0, i32* %8
br label %96
96: ; preds = %127, %95
%97 = load i32, i32* %8
%98 = load i32, i32* %6
%99 = icmp slt i32 %97, %98
br i1 %99, label %100, label %130
100: ; preds = %96
%101 = load i32*, i32** %5
%102 = load i32, i32* %8
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %101, i64 %103
%105 = load i32, i32* %104
%106 = icmp sgt i32 %105, 0
br i1 %106, label %107, label %121
107: ; preds = %100
%108 = load i32*, i32** %5
%109 = load i32, i32* %8
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i32, i32* %108, i64 %110
%112 = load i32, i32* %111
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds [16 x i32], [16 x i32]* %12, i64 0, i64 %113
%115 = load i32, i32* %114
%116 = add nsw i32 %115, 1
store i32 %116, i32* %114
%117 = load i32*, i32** %7
%118 = load i32, i32* %8
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i32, i32* %117, i64 %119
store i32 %115, i32* %120
br label %126
121: ; preds = %100
%122 = load i32*, i32** %7
%123 = load i32, i32* %8
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i32, i32* %122, i64 %124
store i32 -1, i32* %125
br label %126
126: ; preds = %121, %107
br label %127
127: ; preds = %126
%128 = load i32, i32* %8
%129 = add nsw i32 %128, 1
store i32 %129, i32* %8
br label %96
130: ; preds = %96
store i32 1, i32* %4
br label %131
131: ; preds = %130, %53
%132 = load i32, i32* %4
ret i32 %132
}

LLVM IR (-O2):
define i32 @HuffmanCodeLengthsToCodes(i32* %0, i32 %1, i32* writeonly %2) {
%4 = alloca [16 x i32]
%5 = alloca [16 x i32]
%6 = bitcast [16 x i32]* %4 to i8*
%7 = bitcast [16 x i32]* %5 to i8*
%8 = icmp ne i32* %0, null
%9 = zext i1 %8 to i32
%10 = tail call i32 @assert(i32 %9)
%11 = icmp sgt i32 %1, 0
%12 = zext i1 %11 to i32
%13 = tail call i32 @assert(i32 %12)
%14 = icmp ne i32* %2, null
%15 = zext i1 %14 to i32
%16 = tail call i32 @assert(i32 %15)
br i1 %11, label %17, label %266
17: ; preds = %3
%18 = zext i32 %1 to i64
%19 = icmp ult i32 %1, 8
br i1 %19, label %83, label %20
20: ; preds = %17
%21 = and i64 %18, 4294967288
%22 = add nsw i64 %21, -8
%23 = lshr exact i64 %22, 3
%24 = add nuw nsw i64 %23, 1
%25 = and i64 %24, 1
%26 = icmp eq i64 %22, 0
br i1 %26, label %58, label %27
27: ; preds = %20
%28 = and i64 %24, 4611686018427387902
br label %29
29: ; preds = %29, %27
%30 = phi i64 [ 0, %27 ], [ %55, %29 ]
%31 = phi <4 x i32> [ zeroinitializer, %27 ], [ %53, %29 ]
%32 = phi <4 x i32> [ zeroinitializer, %27 ], [ %54, %29 ]
%33 = phi i64 [ 0, %27 ], [ %56, %29 ]
%34 = getelementptr inbounds i32, i32* %0, i64 %30
%35 = bitcast i32* %34 to <4 x i32>*
%36 = load <4 x i32>, <4 x i32>* %35
%37 = getelementptr inbounds i32, i32* %34, i64 4
%38 = bitcast i32* %37 to <4 x i32>*
%39 = load <4 x i32>, <4 x i32>* %38
%40 = icmp sgt <4 x i32> %36, %31
%41 = icmp sgt <4 x i32> %39, %32
%42 = select <4 x i1> %40, <4 x i32> %36, <4 x i32> %31
%43 = select <4 x i1> %41, <4 x i32> %39, <4 x i32> %32
%44 = or i64 %30, 8
%45 = getelementptr inbounds i32, i32* %0, i64 %44
%46 = bitcast i32* %45 to <4 x i32>*
%47 = load <4 x i32>, <4 x i32>* %46
%48 = getelementptr inbounds i32, i32* %45, i64 4
%49 = bitcast i32* %48 to <4 x i32>*
%50 = load <4 x i32>, <4 x i32>* %49
%51 = icmp sgt <4 x i32> %47, %42
%52 = icmp sgt <4 x i32> %50, %43
%53 = select <4 x i1> %51, <4 x i32> %47, <4 x i32> %42
%54 = select <4 x i1> %52, <4 x i32> %50, <4 x i32> %43
%55 = add nuw i64 %30, 16
%56 = add i64 %33, 2
%57 = icmp eq i64 %56, %28
br i1 %57, label %58, label %29
58: ; preds = %29, %20
%59 = phi <4 x i32> [ undef, %20 ], [ %53, %29 ]
%60 = phi <4 x i32> [ undef, %20 ], [ %54, %29 ]
%61 = phi i64 [ 0, %20 ], [ %55, %29 ]
%62 = phi <4 x i32> [ zeroinitializer, %20 ], [ %53, %29 ]
%63 = phi <4 x i32> [ zeroinitializer, %20 ], [ %54, %29 ]
%64 = icmp eq i64 %25, 0
br i1 %64, label %76, label %65
65: ; preds = %58
%66 = getelementptr inbounds i32, i32* %0, i64 %61
%67 = bitcast i32* %66 to <4 x i32>*
%68 = load <4 x i32>, <4 x i32>* %67
%69 = getelementptr inbounds i32, i32* %66, i64 4
%70 = bitcast i32* %69 to <4 x i32>*
%71 = load <4 x i32>, <4 x i32>* %70
%72 = icmp sgt <4 x i32> %68, %62
%73 = icmp sgt <4 x i32> %71, %63
%74 = select <4 x i1> %72, <4 x i32> %68, <4 x i32> %62
%75 = select <4 x i1> %73, <4 x i32> %71, <4 x i32> %63
br label %76
76: ; preds = %58, %65
%77 = phi <4 x i32> [ %59, %58 ], [ %74, %65 ]
%78 = phi <4 x i32> [ %60, %58 ], [ %75, %65 ]
%79 = icmp sgt <4 x i32> %77, %78
%80 = select <4 x i1> %79, <4 x i32> %77, <4 x i32> %78
%81 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %80)
%82 = icmp eq i64 %21, %18
br i1 %82, label %95, label %83
83: ; preds = %17, %76
%84 = phi i64 [ 0, %17 ], [ %21, %76 ]
%85 = phi i32 [ 0, %17 ], [ %81, %76 ]
br label %86
86: ; preds = %83, %86
%87 = phi i64 [ %93, %86 ], [ %84, %83 ]
%88 = phi i32 [ %92, %86 ], [ %85, %83 ]
%89 = getelementptr inbounds i32, i32* %0, i64 %87
%90 = load i32, i32* %89
%91 = icmp sgt i32 %90, %88
%92 = select i1 %91, i32 %90, i32 %88
%93 = add nuw nsw i64 %87, 1
%94 = icmp eq i64 %93, %18
br i1 %94, label %95, label %86
95: ; preds = %86, %76
%96 = phi i32 [ %81, %76 ], [ %92, %86 ]
%97 = icmp sgt i32 %96, 15
br i1 %97, label %266, label %98
98: ; preds = %95
br i1 %11, label %99, label %153
99: ; preds = %98
%100 = add nsw i64 %18, -1
%101 = and i64 %18, 3
%102 = icmp ult i64 %100, 3
br i1 %102, label %138, label %103
103: ; preds = %99
%104 = and i64 %18, 4294967292
br label %105
105: ; preds = %105, %103
%106 = phi i64 [ 0, %103 ], [ %135, %105 ]
%107 = phi i64 [ 0, %103 ], [ %136, %105 ]
%108 = getelementptr inbounds i32, i32* %0, i64 %106
%109 = load i32, i32* %108
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %110
%112 = load i32, i32* %111
%113 = add nsw i32 %112, 1
store i32 %113, i32* %111
%114 = or i64 %106, 1
%115 = getelementptr inbounds i32, i32* %0, i64 %114
%116 = load i32, i32* %115
%117 = sext i32 %116 to i64
%118 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %117
%119 = load i32, i32* %118
%120 = add nsw i32 %119, 1
store i32 %120, i32* %118
%121 = or i64 %106, 2
%122 = getelementptr inbounds i32, i32* %0, i64 %121
%123 = load i32, i32* %122
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %124
%126 = load i32, i32* %125
%127 = add nsw i32 %126, 1
store i32 %127, i32* %125
%128 = or i64 %106, 3
%129 = getelementptr inbounds i32, i32* %0, i64 %128
%130 = load i32, i32* %129
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %131
%133 = load i32, i32* %132
%134 = add nsw i32 %133, 1
store i32 %134, i32* %132
%135 = add nuw nsw i64 %106, 4
%136 = add i64 %107, 4
%137 = icmp eq i64 %136, %104
br i1 %137, label %138, label %105
138: ; preds = %105, %99
%139 = phi i64 [ 0, %99 ], [ %135, %105 ]
%140 = icmp eq i64 %101, 0
br i1 %140, label %153, label %141
141: ; preds = %138, %141
%142 = phi i64 [ %150, %141 ], [ %139, %138 ]
%143 = phi i64 [ %151, %141 ], [ 0, %138 ]
%144 = getelementptr inbounds i32, i32* %0, i64 %142
%145 = load i32, i32* %144
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %146
%148 = load i32, i32* %147
%149 = add nsw i32 %148, 1
store i32 %149, i32* %147
%150 = add nuw nsw i64 %142, 1
%151 = add i64 %143, 1
%152 = icmp eq i64 %151, %101
br i1 %152, label %153, label %141
153: ; preds = %138, %141, %98
%154 = icmp slt i32 %96, 1
br i1 %154, label %185, label %155
155: ; preds = %153
%156 = add nuw i32 %96, 1
%157 = zext i32 %156 to i64
%158 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 1
store i32 0, i32* %158
%159 = icmp eq i32 %156, 2
br i1 %159, label %185, label %160
160: ; preds = %155
%161 = add nsw i64 %157, -2
%162 = add nsw i64 %157, -3
%163 = and i64 %161, 3
%164 = icmp ult i64 %162, 3
br i1 %164, label %167, label %165
165: ; preds = %160
%166 = and i64 %161, -4
br label %191
167: ; preds = %191, %160
%168 = phi i64 [ 2, %160 ], [ %219, %191 ]
%169 = phi i32 [ 0, %160 ], [ %217, %191 ]
%170 = phi i64 [ 1, %160 ], [ %213, %191 ]
%171 = icmp eq i64 %163, 0
br i1 %171, label %185, label %172
172: ; preds = %167, %172
%173 = phi i64 [ %182, %172 ], [ %168, %167 ]
%174 = phi i32 [ %180, %172 ], [ %169, %167 ]
%175 = phi i64 [ %173, %172 ], [ %170, %167 ]
%176 = phi i64 [ %183, %172 ], [ 0, %167 ]
%177 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %175
%178 = load i32, i32* %177
%179 = add nsw i32 %178, %174
%180 = shl i32 %179, 1
%181 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %173
store i32 %180, i32* %181
%182 = add nuw nsw i64 %173, 1
%183 = add i64 %176, 1
%184 = icmp eq i64 %183, %163
br i1 %184, label %185, label %172
185: ; preds = %167, %172, %155, %153
br i1 %11, label %186, label %266
186: ; preds = %185
%187 = and i64 %18, 1
%188 = icmp eq i32 %1, 1
br i1 %188, label %251, label %189
189: ; preds = %186
%190 = and i64 %18, 4294967294
br label %222
191: ; preds = %191, %165
%192 = phi i64 [ 2, %165 ], [ %219, %191 ]
%193 = phi i32 [ 0, %165 ], [ %217, %191 ]
%194 = phi i64 [ 1, %165 ], [ %213, %191 ]
%195 = phi i64 [ 0, %165 ], [ %220, %191 ]
%196 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %194
%197 = load i32, i32* %196
%198 = add nsw i32 %197, %193
%199 = shl i32 %198, 1
%200 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %192
store i32 %199, i32* %200
%201 = or i64 %192, 1
%202 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %192
%203 = load i32, i32* %202
%204 = add nsw i32 %203, %199
%205 = shl i32 %204, 1
%206 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %201
store i32 %205, i32* %206
%207 = add nuw nsw i64 %192, 2
%208 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %201
%209 = load i32, i32* %208
%210 = add nsw i32 %209, %205
%211 = shl i32 %210, 1
%212 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %207
store i32 %211, i32* %212
%213 = add nuw nsw i64 %192, 3
%214 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %207
%215 = load i32, i32* %214
%216 = add nsw i32 %215, %211
%217 = shl i32 %216, 1
%218 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %213
store i32 %217, i32* %218
%219 = add nuw nsw i64 %192, 4
%220 = add i64 %195, 4
%221 = icmp eq i64 %220, %166
br i1 %221, label %167, label %191
222: ; preds = %245, %189
%223 = phi i64 [ 0, %189 ], [ %248, %245 ]
%224 = phi i64 [ 0, %189 ], [ %249, %245 ]
%225 = getelementptr inbounds i32, i32* %0, i64 %223
%226 = load i32, i32* %225
%227 = icmp sgt i32 %226, 0
br i1 %227, label %228, label %233
228: ; preds = %222
%229 = zext i32 %226 to i64
%230 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %229
%231 = load i32, i32* %230
%232 = add nsw i32 %231, 1
store i32 %232, i32* %230
br label %233
233: ; preds = %222, %228
%234 = phi i32 [ %231, %228 ], [ -1, %222 ]
%235 = getelementptr inbounds i32, i32* %2, i64 %223
store i32 %234, i32* %235
%236 = or i64 %223, 1
%237 = getelementptr inbounds i32, i32* %0, i64 %236
%238 = load i32, i32* %237
%239 = icmp sgt i32 %238, 0
br i1 %239, label %240, label %245
240: ; preds = %233
%241 = zext i32 %238 to i64
%242 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %241
%243 = load i32, i32* %242
%244 = add nsw i32 %243, 1
store i32 %244, i32* %242
br label %245
245: ; preds = %240, %233
%246 = phi i32 [ %243, %240 ], [ -1, %233 ]
%247 = getelementptr inbounds i32, i32* %2, i64 %236
store i32 %246, i32* %247
%248 = add nuw nsw i64 %223, 2
%249 = add i64 %224, 2
%250 = icmp eq i64 %249, %190
br i1 %250, label %251, label %222
251: ; preds = %245, %186
%252 = phi i64 [ 0, %186 ], [ %248, %245 ]
%253 = icmp eq i64 %187, 0
br i1 %253, label %266, label %254
254: ; preds = %251
%255 = getelementptr inbounds i32, i32* %0, i64 %252
%256 = load i32, i32* %255
%257 = icmp sgt i32 %256, 0
br i1 %257, label %258, label %263
258: ; preds = %254
%259 = zext i32 %256 to i64
%260 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %259
%261 = load i32, i32* %260
%262 = add nsw i32 %261, 1
store i32 %262, i32* %260
br label %263
263: ; preds = %258, %254
%264 = phi i32 [ %261, %258 ], [ -1, %254 ]
%265 = getelementptr inbounds i32, i32* %2, i64 %252
store i32 %264, i32* %265
br label %266
266: ; preds = %263, %251, %3, %185, %95
%267 = phi i32 [ 0, %95 ], [ 1, %185 ], [ 1, %3 ], [ 1, %251 ], [ 1, %263 ]
ret i32 %267
}