int BTIC2F_BalanceTree_r(short *nodes, short *nlen, int root, int h, int ml) {
  int h0, h1, h2, h3;
  int l0, l1, l2;
  if (root < 0) {
    return (0);
  }
  h1 = BTIC2F_BalanceTree_r(nodes, nlen, nodes[root * 2 + 0], h + 1, ml);
  h2 = BTIC2F_BalanceTree_r(nodes, nlen, nodes[root * 2 + 1], h + 1, ml);
  h0 = ((h1 > h2) ? h1 : h2) + 1;
  nlen[root] = h0;
  if ((h + h0) <= ml) {
    return (h0);
  }
  if (h1 < h2) {
    l0 = nodes[root * 2 + 1];
    l1 = nodes[l0 * 2 + 1];
    nodes[l0 * 2 + 1] = nodes[l0 * 2 + 0];
    nodes[l0 * 2 + 0] = nodes[root * 2 + 0];
    nodes[root * 2 + 0] = l0;
    nodes[root * 2 + 1] = l1;
  } else if (h2 < h1) {
    l0 = nodes[root * 2 + 0];
    l1 = nodes[l0 * 2 + 0];
    nodes[l0 * 2 + 0] = nodes[l0 * 2 + 1];
    nodes[l0 * 2 + 1] = nodes[root * 2 + 1];
    nodes[root * 2 + 0] = l1;
    nodes[root * 2 + 1] = l0;
  } else {
    return (h0);
  }
  l1 = nodes[l0 * 2 + 0];
  l2 = nodes[l0 * 2 + 1];
  h1 = (l1 < 0) ? 0 : nlen[l1];
  h2 = (l2 < 0) ? 0 : nlen[l2];
  h3 = ((h1 > h2) ? h1 : h2) + 1;
  nlen[l0] = h3;
  l1 = nodes[root * 2 + 0];
  l2 = nodes[root * 2 + 1];
  h1 = (l1 < 0) ? 0 : nlen[l1];
  h2 = (l2 < 0) ? 0 : nlen[l2];
  h0 = ((h1 > h2) ? h1 : h2) + 1;
  nlen[root] = h0;
  return (h0);
}


x86 assembly (clang, -O0):
<BTIC2F_BalanceTree_r>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %ecx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jge    1140 <BTIC2F_BalanceTree_r+0x30>
movl   $0x0,-0x4(%rbp)
jmp    14fa <BTIC2F_BalanceTree_r+0x3ea>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%edx
mov    -0x20(%rbp),%ecx
add    $0x1,%ecx
mov    -0x24(%rbp),%r8d
call   1030 <BTIC2F_BalanceTree_r@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%edx
mov    -0x20(%rbp),%ecx
add    $0x1,%ecx
mov    -0x24(%rbp),%r8d
call   1030 <BTIC2F_BalanceTree_r@plt>
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jle    11b3 <BTIC2F_BalanceTree_r+0xa3>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    11b9 <BTIC2F_BalanceTree_r+0xa9>
mov    -0x30(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %ax,%dx
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x20(%rbp),%eax
add    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jg     11ee <BTIC2F_BalanceTree_r+0xde>
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    14fa <BTIC2F_BalanceTree_r+0x3ea>
mov    -0x2c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    12b1 <BTIC2F_BalanceTree_r+0x1a1>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x38(%rbp),%eax
mov    %ax,%dx
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x3c(%rbp),%eax
mov    %ax,%dx
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
jmp    1384 <BTIC2F_BalanceTree_r+0x274>
mov    -0x30(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    1374 <BTIC2F_BalanceTree_r+0x264>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x3c(%rbp),%eax
mov    %ax,%dx
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x38(%rbp),%eax
mov    %ax,%dx
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
jmp    137f <BTIC2F_BalanceTree_r+0x26f>
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    14fa <BTIC2F_BalanceTree_r+0x3ea>
jmp    1384 <BTIC2F_BalanceTree_r+0x274>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x40(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jge    13c6 <BTIC2F_BalanceTree_r+0x2b6>
xor    %eax,%eax
mov    %eax,-0x48(%rbp)
jmp    13d5 <BTIC2F_BalanceTree_r+0x2c5>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x40(%rbp)
jge    13ef <BTIC2F_BalanceTree_r+0x2df>
xor    %eax,%eax
mov    %eax,-0x4c(%rbp)
jmp    13fe <BTIC2F_BalanceTree_r+0x2ee>
mov    -0x18(%rbp),%rax
movslq -0x40(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jle    141b <BTIC2F_BalanceTree_r+0x30b>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x50(%rbp)
jmp    1421 <BTIC2F_BalanceTree_r+0x311>
mov    -0x30(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    %ax,%dx
mov    -0x18(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x40(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jge    147e <BTIC2F_BalanceTree_r+0x36e>
xor    %eax,%eax
mov    %eax,-0x54(%rbp)
jmp    148d <BTIC2F_BalanceTree_r+0x37d>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x40(%rbp)
jge    14a7 <BTIC2F_BalanceTree_r+0x397>
xor    %eax,%eax
mov    %eax,-0x58(%rbp)
jmp    14b6 <BTIC2F_BalanceTree_r+0x3a6>
mov    -0x18(%rbp),%rax
movslq -0x40(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jle    14d3 <BTIC2F_BalanceTree_r+0x3c3>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
jmp    14d9 <BTIC2F_BalanceTree_r+0x3c9>
mov    -0x30(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %ax,%dx
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<BTIC2F_BalanceTree_r>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
test   %edx,%edx
js     11d8 <BTIC2F_BalanceTree_r+0xc8>
mov    %r8d,%r12d
mov    %edx,%ebp
mov    %rsi,%r15
mov    %rdi,%rbx
lea    0x0(%rbp,%rbp,1),%eax
cltq
mov    %rax,0x8(%rsp)
movswl (%rdi,%rax,2),%edx
lea    0x1(%rcx),%r14d
mov    %rcx,0x10(%rsp)
mov    %r14d,%ecx
call   1030 <BTIC2F_BalanceTree_r@plt>
mov    %eax,%r13d
lea    0x1(%rbp,%rbp,1),%eax
cltq
mov    %rax,(%rsp)
movswl (%rbx,%rax,2),%edx
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %r14d,%ecx
mov    %r12d,%r8d
call   1030 <BTIC2F_BalanceTree_r@plt>
mov    %eax,%ecx
cmp    %eax,%r13d
mov    %eax,%esi
cmovg  %r13d,%esi
lea    0x1(%rsi),%eax
mov    %ebp,%edx
mov    %ax,(%r15,%rdx,2)
mov    0x10(%rsp),%rdi
add    %edi,%esi
add    $0x1,%esi
cmp    %r12d,%esi
jle    1280 <BTIC2F_BalanceTree_r+0x170>
mov    %r15,%r12
mov    0x8(%rsp),%rsi
lea    (%rbx,%rsi,2),%r14
mov    (%rsp),%rsi
lea    (%rbx,%rsi,2),%r10
cmp    %ecx,%r13d
jge    11df <BTIC2F_BalanceTree_r+0xcf>
movswq (%r10),%rbp
mov    %rbp,%rax
add    %rbp,%rax
lea    0x1(%rbp,%rbp,1),%r9
lea    0x2(%rbx,%rax,2),%r11
movzwl 0x2(%rbx,%rax,2),%ecx
mov    %r14,%rdi
mov    %rax,%r15
mov    %ebp,%r8d
jmp    1204 <BTIC2F_BalanceTree_r+0xf4>
xor    %eax,%eax
jmp    1280 <BTIC2F_BalanceTree_r+0x170>
jle    1280 <BTIC2F_BalanceTree_r+0x170>
movswq (%r14),%rcx
lea    (%rcx,%rcx,1),%r15
lea    (%rbx,%rcx,4),%r11
movzwl (%rbx,%rcx,4),%ebp
lea    0x1(%r15),%eax
cltq
mov    %r10,%rdi
mov    %rax,%r9
mov    %ecx,%r8d
movzwl (%rbx,%rax,2),%esi
mov    %si,(%r11)
movzwl (%rdi),%esi
mov    %si,(%rbx,%rax,2)
mov    %bp,(%r14)
mov    %cx,(%r10)
movzwl (%rbx,%r15,2),%edi
movzwl (%rbx,%r9,2),%esi
xor    %eax,%eax
mov    $0x0,%ecx
test   %di,%di
js     1236 <BTIC2F_BalanceTree_r+0x126>
movswl (%r12,%rdi,2),%ecx
test   %si,%si
js     1240 <BTIC2F_BalanceTree_r+0x130>
movswl (%r12,%rsi,2),%eax
cmp    %eax,%ecx
cmovg  %ecx,%eax
add    $0x1,%eax
movslq %r8d,%rcx
mov    %ax,(%r12,%rcx,2)
movzwl (%r14),%edi
movzwl (%r10),%esi
xor    %eax,%eax
mov    $0x0,%ecx
test   %di,%di
js     1269 <BTIC2F_BalanceTree_r+0x159>
movswl (%r12,%rdi,2),%ecx
test   %si,%si
js     1273 <BTIC2F_BalanceTree_r+0x163>
movswl (%r12,%rsi,2),%eax
cmp    %eax,%ecx
cmovg  %ecx,%eax
add    $0x1,%eax
mov    %ax,(%r12,%rdx,2)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @BTIC2F_BalanceTree_r(i16* %0, i16* %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = alloca i16*
%8 = alloca i16*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
store i16* %0, i16** %7
store i16* %1, i16** %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store i32 %4, i32* %11
%19 = load i32, i32* %9
%20 = icmp slt i32 %19, 0
br i1 %20, label %21, label %22
21: ; preds = %5
store i32 0, i32* %6
br label %317
22: ; preds = %5
%23 = load i16*, i16** %7
%24 = load i16*, i16** %8
%25 = load i16*, i16** %7
%26 = load i32, i32* %9
%27 = mul nsw i32 %26, 2
%28 = add nsw i32 %27, 0
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i16, i16* %25, i64 %29
%31 = load i16, i16* %30
%32 = sext i16 %31 to i32
%33 = load i32, i32* %10
%34 = add nsw i32 %33, 1
%35 = load i32, i32* %11
%36 = call i32 @BTIC2F_BalanceTree_r(i16* %23, i16* %24, i32 %32, i32 %34, i32 %35)
store i32 %36, i32* %13
%37 = load i16*, i16** %7
%38 = load i16*, i16** %8
%39 = load i16*, i16** %7
%40 = load i32, i32* %9
%41 = mul nsw i32 %40, 2
%42 = add nsw i32 %41, 1
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i16, i16* %39, i64 %43
%45 = load i16, i16* %44
%46 = sext i16 %45 to i32
%47 = load i32, i32* %10
%48 = add nsw i32 %47, 1
%49 = load i32, i32* %11
%50 = call i32 @BTIC2F_BalanceTree_r(i16* %37, i16* %38, i32 %46, i32 %48, i32 %49)
store i32 %50, i32* %14
%51 = load i32, i32* %13
%52 = load i32, i32* %14
%53 = icmp sgt i32 %51, %52
br i1 %53, label %54, label %56
54: ; preds = %22
%55 = load i32, i32* %13
br label %58
56: ; preds = %22
%57 = load i32, i32* %14
br label %58
58: ; preds = %56, %54
%59 = phi i32 [ %55, %54 ], [ %57, %56 ]
%60 = add nsw i32 %59, 1
store i32 %60, i32* %12
%61 = load i32, i32* %12
%62 = trunc i32 %61 to i16
%63 = load i16*, i16** %8
%64 = load i32, i32* %9
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i16, i16* %63, i64 %65
store i16 %62, i16* %66
%67 = load i32, i32* %10
%68 = load i32, i32* %12
%69 = add nsw i32 %67, %68
%70 = load i32, i32* %11
%71 = icmp sle i32 %69, %70
br i1 %71, label %72, label %74
72: ; preds = %58
%73 = load i32, i32* %12
store i32 %73, i32* %6
br label %317
74: ; preds = %58
%75 = load i32, i32* %13
%76 = load i32, i32* %14
%77 = icmp slt i32 %75, %76
br i1 %77, label %78, label %137
78: ; preds = %74
%79 = load i16*, i16** %7
%80 = load i32, i32* %9
%81 = mul nsw i32 %80, 2
%82 = add nsw i32 %81, 1
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i16, i16* %79, i64 %83
%85 = load i16, i16* %84
%86 = sext i16 %85 to i32
store i32 %86, i32* %16
%87 = load i16*, i16** %7
%88 = load i32, i32* %16
%89 = mul nsw i32 %88, 2
%90 = add nsw i32 %89, 1
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds i16, i16* %87, i64 %91
%93 = load i16, i16* %92
%94 = sext i16 %93 to i32
store i32 %94, i32* %17
%95 = load i16*, i16** %7
%96 = load i32, i32* %16
%97 = mul nsw i32 %96, 2
%98 = add nsw i32 %97, 0
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i16, i16* %95, i64 %99
%101 = load i16, i16* %100
%102 = load i16*, i16** %7
%103 = load i32, i32* %16
%104 = mul nsw i32 %103, 2
%105 = add nsw i32 %104, 1
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i16, i16* %102, i64 %106
store i16 %101, i16* %107
%108 = load i16*, i16** %7
%109 = load i32, i32* %9
%110 = mul nsw i32 %109, 2
%111 = add nsw i32 %110, 0
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i16, i16* %108, i64 %112
%114 = load i16, i16* %113
%115 = load i16*, i16** %7
%116 = load i32, i32* %16
%117 = mul nsw i32 %116, 2
%118 = add nsw i32 %117, 0
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i16, i16* %115, i64 %119
store i16 %114, i16* %120
%121 = load i32, i32* %16
%122 = trunc i32 %121 to i16
%123 = load i16*, i16** %7
%124 = load i32, i32* %9
%125 = mul nsw i32 %124, 2
%126 = add nsw i32 %125, 0
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds i16, i16* %123, i64 %127
store i16 %122, i16* %128
%129 = load i32, i32* %17
%130 = trunc i32 %129 to i16
%131 = load i16*, i16** %7
%132 = load i32, i32* %9
%133 = mul nsw i32 %132, 2
%134 = add nsw i32 %133, 1
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds i16, i16* %131, i64 %135
store i16 %130, i16* %136
br label %203
137: ; preds = %74
%138 = load i32, i32* %14
%139 = load i32, i32* %13
%140 = icmp slt i32 %138, %139
br i1 %140, label %141, label %200
141: ; preds = %137
%142 = load i16*, i16** %7
%143 = load i32, i32* %9
%144 = mul nsw i32 %143, 2
%145 = add nsw i32 %144, 0
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds i16, i16* %142, i64 %146
%148 = load i16, i16* %147
%149 = sext i16 %148 to i32
store i32 %149, i32* %16
%150 = load i16*, i16** %7
%151 = load i32, i32* %16
%152 = mul nsw i32 %151, 2
%153 = add nsw i32 %152, 0
%154 = sext i32 %153 to i64
%155 = getelementptr inbounds i16, i16* %150, i64 %154
%156 = load i16, i16* %155
%157 = sext i16 %156 to i32
store i32 %157, i32* %17
%158 = load i16*, i16** %7
%159 = load i32, i32* %16
%160 = mul nsw i32 %159, 2
%161 = add nsw i32 %160, 1
%162 = sext i32 %161 to i64
%163 = getelementptr inbounds i16, i16* %158, i64 %162
%164 = load i16, i16* %163
%165 = load i16*, i16** %7
%166 = load i32, i32* %16
%167 = mul nsw i32 %166, 2
%168 = add nsw i32 %167, 0
%169 = sext i32 %168 to i64
%170 = getelementptr inbounds i16, i16* %165, i64 %169
store i16 %164, i16* %170
%171 = load i16*, i16** %7
%172 = load i32, i32* %9
%173 = mul nsw i32 %172, 2
%174 = add nsw i32 %173, 1
%175 = sext i32 %174 to i64
%176 = getelementptr inbounds i16, i16* %171, i64 %175
%177 = load i16, i16* %176
%178 = load i16*, i16** %7
%179 = load i32, i32* %16
%180 = mul nsw i32 %179, 2
%181 = add nsw i32 %180, 1
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds i16, i16* %178, i64 %182
store i16 %177, i16* %183
%184 = load i32, i32* %17
%185 = trunc i32 %184 to i16
%186 = load i16*, i16** %7
%187 = load i32, i32* %9
%188 = mul nsw i32 %187, 2
%189 = add nsw i32 %188, 0
%190 = sext i32 %189 to i64
%191 = getelementptr inbounds i16, i16* %186, i64 %190
store i16 %185, i16* %191
%192 = load i32, i32* %16
%193 = trunc i32 %192 to i16
%194 = load i16*, i16** %7
%195 = load i32, i32* %9
%196 = mul nsw i32 %195, 2
%197 = add nsw i32 %196, 1
%198 = sext i32 %197 to i64
%199 = getelementptr inbounds i16, i16* %194, i64 %198
store i16 %193, i16* %199
br label %202
200: ; preds = %137
%201 = load i32, i32* %12
store i32 %201, i32* %6
br label %317
202: ; preds = %141
br label %203
203: ; preds = %202, %78
%204 = load i16*, i16** %7
%205 = load i32, i32* %16
%206 = mul nsw i32 %205, 2
%207 = add nsw i32 %206, 0
%208 = sext i32 %207 to i64
%209 = getelementptr inbounds i16, i16* %204, i64 %208
%210 = load i16, i16* %209
%211 = sext i16 %210 to i32
store i32 %211, i32* %17
%212 = load i16*, i16** %7
%213 = load i32, i32* %16
%214 = mul nsw i32 %213, 2
%215 = add nsw i32 %214, 1
%216 = sext i32 %215 to i64
%217 = getelementptr inbounds i16, i16* %212, i64 %216
%218 = load i16, i16* %217
%219 = sext i16 %218 to i32
store i32 %219, i32* %18
%220 = load i32, i32* %17
%221 = icmp slt i32 %220, 0
br i1 %221, label %222, label %223
222: ; preds = %203
br label %230
223: ; preds = %203
%224 = load i16*, i16** %8
%225 = load i32, i32* %17
%226 = sext i32 %225 to i64
%227 = getelementptr inbounds i16, i16* %224, i64 %226
%228 = load i16, i16* %227
%229 = sext i16 %228 to i32
br label %230
230: ; preds = %223, %222
%231 = phi i32 [ 0, %222 ], [ %229, %223 ]
store i32 %231, i32* %13
%232 = load i32, i32* %18
%233 = icmp slt i32 %232, 0
br i1 %233, label %234, label %235
234: ; preds = %230
br label %242
235: ; preds = %230
%236 = load i16*, i16** %8
%237 = load i32, i32* %18
%238 = sext i32 %237 to i64
%239 = getelementptr inbounds i16, i16* %236, i64 %238
%240 = load i16, i16* %239
%241 = sext i16 %240 to i32
br label %242
242: ; preds = %235, %234
%243 = phi i32 [ 0, %234 ], [ %241, %235 ]
store i32 %243, i32* %14
%244 = load i32, i32* %13
%245 = load i32, i32* %14
%246 = icmp sgt i32 %244, %245
br i1 %246, label %247, label %249
247: ; preds = %242
%248 = load i32, i32* %13
br label %251
249: ; preds = %242
%250 = load i32, i32* %14
br label %251
251: ; preds = %249, %247
%252 = phi i32 [ %248, %247 ], [ %250, %249 ]
%253 = add nsw i32 %252, 1
store i32 %253, i32* %15
%254 = load i32, i32* %15
%255 = trunc i32 %254 to i16
%256 = load i16*, i16** %8
%257 = load i32, i32* %16
%258 = sext i32 %257 to i64
%259 = getelementptr inbounds i16, i16* %256, i64 %258
store i16 %255, i16* %259
%260 = load i16*, i16** %7
%261 = load i32, i32* %9
%262 = mul nsw i32 %261, 2
%263 = add nsw i32 %262, 0
%264 = sext i32 %263 to i64
%265 = getelementptr inbounds i16, i16* %260, i64 %264
%266 = load i16, i16* %265
%267 = sext i16 %266 to i32
store i32 %267, i32* %17
%268 = load i16*, i16** %7
%269 = load i32, i32* %9
%270 = mul nsw i32 %269, 2
%271 = add nsw i32 %270, 1
%272 = sext i32 %271 to i64
%273 = getelementptr inbounds i16, i16* %268, i64 %272
%274 = load i16, i16* %273
%275 = sext i16 %274 to i32
store i32 %275, i32* %18
%276 = load i32, i32* %17
%277 = icmp slt i32 %276, 0
br i1 %277, label %278, label %279
278: ; preds = %251
br label %286
279: ; preds = %251
%280 = load i16*, i16** %8
%281 = load i32, i32* %17
%282 = sext i32 %281 to i64
%283 = getelementptr inbounds i16, i16* %280, i64 %282
%284 = load i16, i16* %283
%285 = sext i16 %284 to i32
br label %286
286: ; preds = %279, %278
%287 = phi i32 [ 0, %278 ], [ %285, %279 ]
store i32 %287, i32* %13
%288 = load i32, i32* %18
%289 = icmp slt i32 %288, 0
br i1 %289, label %290, label %291
290: ; preds = %286
br label %298
291: ; preds = %286
%292 = load i16*, i16** %8
%293 = load i32, i32* %18
%294 = sext i32 %293 to i64
%295 = getelementptr inbounds i16, i16* %292, i64 %294
%296 = load i16, i16* %295
%297 = sext i16 %296 to i32
br label %298
298: ; preds = %291, %290
%299 = phi i32 [ 0, %290 ], [ %297, %291 ]
store i32 %299, i32* %14
%300 = load i32, i32* %13
%301 = load i32, i32* %14
%302 = icmp sgt i32 %300, %301
br i1 %302, label %303, label %305
303: ; preds = %298
%304 = load i32, i32* %13
br label %307
305: ; preds = %298
%306 = load i32, i32* %14
br label %307
307: ; preds = %305, %303
%308 = phi i32 [ %304, %303 ], [ %306, %305 ]
%309 = add nsw i32 %308, 1
store i32 %309, i32* %12
%310 = load i32, i32* %12
%311 = trunc i32 %310 to i16
%312 = load i16*, i16** %8
%313 = load i32, i32* %9
%314 = sext i32 %313 to i64
%315 = getelementptr inbounds i16, i16* %312, i64 %314
store i16 %311, i16* %315
%316 = load i32, i32* %12
store i32 %316, i32* %6
br label %317
317: ; preds = %307, %200, %72, %21
%318 = load i32, i32* %6
ret i32 %318
}

LLVM IR (-O2):
define i32 @BTIC2F_BalanceTree_r(i16* %0, i16* %1, i32 %2, i32 %3, i32 %4) {
%6 = icmp slt i32 %2, 0
br i1 %6, label %110, label %7
7: ; preds = %5
%8 = shl nuw nsw i32 %2, 1
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds i16, i16* %0, i64 %9
%11 = load i16, i16* %10
%12 = sext i16 %11 to i32
%13 = add nsw i32 %3, 1
%14 = tail call i32 @BTIC2F_BalanceTree_r(i16* %0, i16* %1, i32 %12, i32 %13, i32 %4)
%15 = or i32 %8, 1
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i16, i16* %0, i64 %16
%18 = load i16, i16* %17
%19 = sext i16 %18 to i32
%20 = tail call i32 @BTIC2F_BalanceTree_r(i16* %0, i16* %1, i32 %19, i32 %13, i32 %4)
%21 = icmp sgt i32 %14, %20
%22 = select i1 %21, i32 %14, i32 %20
%23 = add nsw i32 %22, 1
%24 = trunc i32 %23 to i16
%25 = zext i32 %2 to i64
%26 = getelementptr inbounds i16, i16* %1, i64 %25
store i16 %24, i16* %26
%27 = add nsw i32 %23, %3
%28 = icmp sgt i32 %27, %4
br i1 %28, label %29, label %110
29: ; preds = %7
%30 = icmp slt i32 %14, %20
br i1 %30, label %31, label %40
31: ; preds = %29
%32 = load i16, i16* %17
%33 = sext i16 %32 to i32
%34 = shl nsw i32 %33, 1
%35 = or i32 %34, 1
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i16, i16* %0, i64 %36
%38 = load i16, i16* %37
%39 = sext i32 %34 to i64
br label %50
40: ; preds = %29
br i1 %21, label %41, label %110
41: ; preds = %40
%42 = load i16, i16* %10
%43 = sext i16 %42 to i32
%44 = shl nsw i32 %43, 1
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i16, i16* %0, i64 %45
%47 = load i16, i16* %46
%48 = or i32 %44, 1
%49 = sext i32 %48 to i64
br label %50
50: ; preds = %41, %31
%51 = phi i64 [ %49, %41 ], [ %39, %31 ]
%52 = phi i16* [ %46, %41 ], [ %37, %31 ]
%53 = phi i16* [ %17, %41 ], [ %10, %31 ]
%54 = phi i64 [ %49, %41 ], [ %36, %31 ]
%55 = phi i64 [ %45, %41 ], [ %39, %31 ]
%56 = phi i16 [ %47, %41 ], [ %32, %31 ]
%57 = phi i16 [ %42, %41 ], [ %38, %31 ]
%58 = phi i32 [ %43, %41 ], [ %33, %31 ]
%59 = getelementptr inbounds i16, i16* %0, i64 %51
%60 = load i16, i16* %59
store i16 %60, i16* %52
%61 = load i16, i16* %53
store i16 %61, i16* %59
store i16 %56, i16* %10
store i16 %57, i16* %17
%62 = getelementptr inbounds i16, i16* %0, i64 %55
%63 = load i16, i16* %62
%64 = getelementptr inbounds i16, i16* %0, i64 %54
%65 = load i16, i16* %64
%66 = icmp slt i16 %63, 0
br i1 %66, label %72, label %67
67: ; preds = %50
%68 = zext i16 %63 to i64
%69 = getelementptr inbounds i16, i16* %1, i64 %68
%70 = load i16, i16* %69
%71 = sext i16 %70 to i32
br label %72
72: ; preds = %50, %67
%73 = phi i32 [ %71, %67 ], [ 0, %50 ]
%74 = icmp slt i16 %65, 0
br i1 %74, label %80, label %75
75: ; preds = %72
%76 = zext i16 %65 to i64
%77 = getelementptr inbounds i16, i16* %1, i64 %76
%78 = load i16, i16* %77
%79 = sext i16 %78 to i32
br label %80
80: ; preds = %72, %75
%81 = phi i32 [ %79, %75 ], [ 0, %72 ]
%82 = icmp sgt i32 %73, %81
%83 = select i1 %82, i32 %73, i32 %81
%84 = trunc i32 %83 to i16
%85 = add i16 %84, 1
%86 = sext i32 %58 to i64
%87 = getelementptr inbounds i16, i16* %1, i64 %86
store i16 %85, i16* %87
%88 = load i16, i16* %10
%89 = load i16, i16* %17
%90 = icmp slt i16 %88, 0
br i1 %90, label %96, label %91
91: ; preds = %80
%92 = zext i16 %88 to i64
%93 = getelementptr inbounds i16, i16* %1, i64 %92
%94 = load i16, i16* %93
%95 = sext i16 %94 to i32
br label %96
96: ; preds = %80, %91
%97 = phi i32 [ %95, %91 ], [ 0, %80 ]
%98 = icmp slt i16 %89, 0
br i1 %98, label %104, label %99
99: ; preds = %96
%100 = zext i16 %89 to i64
%101 = getelementptr inbounds i16, i16* %1, i64 %100
%102 = load i16, i16* %101
%103 = sext i16 %102 to i32
br label %104
104: ; preds = %96, %99
%105 = phi i32 [ %103, %99 ], [ 0, %96 ]
%106 = icmp sgt i32 %97, %105
%107 = select i1 %106, i32 %97, i32 %105
%108 = add nsw i32 %107, 1
%109 = trunc i32 %108 to i16
store i16 %109, i16* %26
br label %110
110: ; preds = %40, %7, %5, %104
%111 = phi i32 [ %108, %104 ], [ 0, %5 ], [ %23, %7 ], [ %23, %40 ]
ret i32 %111
}