int boolean_parenthesization(char c[], char o[], int n) {
  int i, j, k, a, t[n][n], f[n][n];
  for (i = 0; i < n; i++) {
    if (c[i] == 'T') {
      t[i][i] = 1;
      f[i][i] = 0;
    } else {
      t[i][i] = 0;
      f[i][i] = 1;
    }
  }
  for (i = 1; i < n; ++i) {
    for (j = 0, k = i; k < n; ++j, ++k) {
      t[j][k] = 0;
      f[j][k] = 0;
      for (a = 0; a < i; a++) {
        int b = j + a;
        int d = t[j][b] + f[j][b];
        int e = t[b + 1][k] + f[b + 1][k];
        if (o[b] == '|') {
          t[j][k] += d * e - f[j][b] * f[b + 1][k];
          f[j][k] += f[j][b] * f[b + 1][k];
        } else if (o[b] == '&') {
          t[j][k] += t[j][b] * t[b + 1][k];
          f[j][k] += d * e - t[j][b] * t[b + 1][k];
        } else {
          t[j][k] += f[j][b] * t[b + 1][k] + t[j][b] * f[b + 1][k];
          f[j][k] += t[j][b] * t[b + 1][k] + f[j][b] * f[b + 1][k];
        }
      }
    }
  }
  return t[0][n - 1];
}


x86 assembly (clang, -O0):
<boolean_parenthesization>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %rax,-0x80(%rbp)
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
mov    %rax,%rcx
imul   %rcx,%rcx
lea    0xf(,%rcx,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x78(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
mov    %rax,-0x40(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
mov    %rcx,%rax
mov    %rax,-0x70(%rbp)
mov    %rcx,%rdx
imul   %rdx,%rdx
lea    0xf(,%rdx,4),%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rdx
sub    %rsi,%rdx
mov    %rdx,-0x68(%rbp)
mov    %rdx,%rsp
mov    %rcx,-0x48(%rbp)
mov    %rax,-0x50(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1248 <boolean_parenthesization+0x148>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x54,%eax
jne    11f1 <boolean_parenthesization+0xf1>
mov    -0x68(%rbp),%rax
mov    -0x70(%rbp),%rdx
mov    -0x78(%rbp),%rcx
mov    -0x80(%rbp),%rdi
movslq -0x18(%rbp),%rsi
imul   %rdi,%rsi
shl    $0x2,%rsi
add    %rsi,%rcx
movslq -0x18(%rbp),%rsi
movl   $0x1,(%rcx,%rsi,4)
movslq -0x18(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    1235 <boolean_parenthesization+0x135>
mov    -0x68(%rbp),%rax
mov    -0x70(%rbp),%rdx
mov    -0x78(%rbp),%rcx
mov    -0x80(%rbp),%rdi
movslq -0x18(%rbp),%rsi
imul   %rdi,%rsi
shl    $0x2,%rsi
add    %rsi,%rcx
movslq -0x18(%rbp),%rsi
movl   $0x0,(%rcx,%rsi,4)
movslq -0x18(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    123a <boolean_parenthesization+0x13a>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1187 <boolean_parenthesization+0x87>
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    167e <boolean_parenthesization+0x57e>
movl   $0x0,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    166b <boolean_parenthesization+0x56b>
mov    -0x68(%rbp),%rax
mov    -0x70(%rbp),%rdx
mov    -0x78(%rbp),%rcx
mov    -0x80(%rbp),%rdi
movslq -0x1c(%rbp),%rsi
imul   %rdi,%rsi
shl    $0x2,%rsi
add    %rsi,%rcx
movslq -0x20(%rbp),%rsi
movl   $0x0,(%rcx,%rsi,4)
movslq -0x1c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    164f <boolean_parenthesization+0x54f>
mov    -0x68(%rbp),%rcx
mov    -0x70(%rbp),%rsi
mov    -0x78(%rbp),%rax
mov    -0x80(%rbp),%rdi
mov    -0x1c(%rbp),%edx
add    -0x24(%rbp),%edx
mov    %edx,-0x54(%rbp)
movslq -0x1c(%rbp),%r8
imul   %rdi,%r8
shl    $0x2,%r8
mov    %rax,%rdx
add    %r8,%rdx
movslq -0x54(%rbp),%r8
mov    (%rdx,%r8,4),%edx
movslq -0x1c(%rbp),%r9
imul   %rsi,%r9
shl    $0x2,%r9
mov    %rcx,%r8
add    %r9,%r8
movslq -0x54(%rbp),%r9
add    (%r8,%r9,4),%edx
mov    %edx,-0x58(%rbp)
mov    -0x54(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   %rdi,%rdx
shl    $0x2,%rdx
add    %rdx,%rax
movslq -0x20(%rbp),%rdx
mov    (%rax,%rdx,4),%eax
mov    -0x54(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
movslq -0x20(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7c,%eax
jne    142d <boolean_parenthesization+0x32d>
mov    -0x68(%rbp),%rax
mov    -0x70(%rbp),%rsi
mov    -0x78(%rbp),%rcx
mov    -0x80(%rbp),%r8
mov    -0x58(%rbp),%edi
imul   -0x5c(%rbp),%edi
movslq -0x1c(%rbp),%r9
imul   %rsi,%r9
shl    $0x2,%r9
mov    %rax,%rdx
add    %r9,%rdx
movslq -0x54(%rbp),%r9
mov    (%rdx,%r9,4),%edx
mov    -0x54(%rbp),%r9d
add    $0x1,%r9d
movslq %r9d,%r10
imul   %rsi,%r10
shl    $0x2,%r10
mov    %rax,%r9
add    %r10,%r9
movslq -0x20(%rbp),%r10
imul   (%r9,%r10,4),%edx
sub    %edx,%edi
movslq -0x1c(%rbp),%rdx
imul   %r8,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
movslq -0x20(%rbp),%rdx
add    (%rcx,%rdx,4),%edi
mov    %edi,(%rcx,%rdx,4)
movslq -0x1c(%rbp),%rdx
imul   %rsi,%rdx
shl    $0x2,%rdx
mov    %rax,%rcx
add    %rdx,%rcx
movslq -0x54(%rbp),%rdx
mov    (%rcx,%rdx,4),%edx
mov    -0x54(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rdi
imul   %rsi,%rdi
shl    $0x2,%rdi
mov    %rax,%rcx
add    %rdi,%rcx
movslq -0x20(%rbp),%rdi
imul   (%rcx,%rdi,4),%edx
movslq -0x1c(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    163c <boolean_parenthesization+0x53c>
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x26,%eax
jne    150a <boolean_parenthesization+0x40a>
mov    -0x68(%rbp),%rax
mov    -0x70(%rbp),%rsi
mov    -0x78(%rbp),%rdi
mov    -0x80(%rbp),%r9
movslq -0x1c(%rbp),%rdx
imul   %r9,%rdx
shl    $0x2,%rdx
mov    %rdi,%rcx
add    %rdx,%rcx
movslq -0x54(%rbp),%rdx
mov    (%rcx,%rdx,4),%r8d
mov    -0x54(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rdx
imul   %r9,%rdx
shl    $0x2,%rdx
mov    %rdi,%rcx
add    %rdx,%rcx
movslq -0x20(%rbp),%rdx
imul   (%rcx,%rdx,4),%r8d
movslq -0x1c(%rbp),%rdx
imul   %r9,%rdx
shl    $0x2,%rdx
mov    %rdi,%rcx
add    %rdx,%rcx
movslq -0x20(%rbp),%rdx
add    (%rcx,%rdx,4),%r8d
mov    %r8d,(%rcx,%rdx,4)
mov    -0x58(%rbp),%edx
imul   -0x5c(%rbp),%edx
movslq -0x1c(%rbp),%r8
imul   %r9,%r8
shl    $0x2,%r8
mov    %rdi,%rcx
add    %r8,%rcx
movslq -0x54(%rbp),%r8
mov    (%rcx,%r8,4),%ecx
mov    -0x54(%rbp),%r8d
add    $0x1,%r8d
movslq %r8d,%r8
imul   %r9,%r8
shl    $0x2,%r8
add    %r8,%rdi
movslq -0x20(%rbp),%r8
imul   (%rdi,%r8,4),%ecx
sub    %ecx,%edx
movslq -0x1c(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    1637 <boolean_parenthesization+0x537>
mov    -0x68(%rbp),%rax
mov    -0x70(%rbp),%rsi
mov    -0x78(%rbp),%rcx
mov    -0x80(%rbp),%r8
movslq -0x1c(%rbp),%rdi
imul   %rsi,%rdi
shl    $0x2,%rdi
mov    %rax,%rdx
add    %rdi,%rdx
movslq -0x54(%rbp),%rdi
mov    (%rdx,%rdi,4),%r9d
mov    -0x54(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdi
imul   %r8,%rdi
shl    $0x2,%rdi
mov    %rcx,%rdx
add    %rdi,%rdx
movslq -0x20(%rbp),%rdi
imul   (%rdx,%rdi,4),%r9d
movslq -0x1c(%rbp),%rdi
imul   %r8,%rdi
shl    $0x2,%rdi
mov    %rcx,%rdx
add    %rdi,%rdx
movslq -0x54(%rbp),%rdi
mov    (%rdx,%rdi,4),%edx
mov    -0x54(%rbp),%edi
add    $0x1,%edi
movslq %edi,%r10
imul   %rsi,%r10
shl    $0x2,%r10
mov    %rax,%rdi
add    %r10,%rdi
movslq -0x20(%rbp),%r10
imul   (%rdi,%r10,4),%edx
add    %edx,%r9d
movslq -0x1c(%rbp),%rdi
imul   %r8,%rdi
shl    $0x2,%rdi
mov    %rcx,%rdx
add    %rdi,%rdx
movslq -0x20(%rbp),%rdi
add    (%rdx,%rdi,4),%r9d
mov    %r9d,(%rdx,%rdi,4)
movslq -0x1c(%rbp),%rdi
imul   %r8,%rdi
shl    $0x2,%rdi
mov    %rcx,%rdx
add    %rdi,%rdx
movslq -0x54(%rbp),%rdi
mov    (%rdx,%rdi,4),%edx
mov    -0x54(%rbp),%edi
add    $0x1,%edi
movslq %edi,%rdi
imul   %r8,%rdi
shl    $0x2,%rdi
add    %rdi,%rcx
movslq -0x20(%rbp),%rdi
imul   (%rcx,%rdi,4),%edx
movslq -0x1c(%rbp),%rdi
imul   %rsi,%rdi
shl    $0x2,%rdi
mov    %rax,%rcx
add    %rdi,%rcx
movslq -0x54(%rbp),%rdi
mov    (%rcx,%rdi,4),%ecx
mov    -0x54(%rbp),%edi
add    $0x1,%edi
movslq %edi,%r8
imul   %rsi,%r8
shl    $0x2,%r8
mov    %rax,%rdi
add    %r8,%rdi
movslq -0x20(%rbp),%r8
imul   (%rdi,%r8,4),%ecx
add    %ecx,%edx
movslq -0x1c(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    163c <boolean_parenthesization+0x53c>
jmp    1641 <boolean_parenthesization+0x541>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12bf <boolean_parenthesization+0x1bf>
jmp    1654 <boolean_parenthesization+0x554>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1268 <boolean_parenthesization+0x168>
jmp    1670 <boolean_parenthesization+0x570>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    124f <boolean_parenthesization+0x14f>
mov    -0x78(%rbp),%rax
mov    -0x80(%rbp),%rcx
imul   $0x0,%rcx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<boolean_parenthesization>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x88,%rsp
mov    %rsi,-0x70(%rbp)
mov    %edx,%eax
mov    %rax,-0x30(%rbp)
imul   %rax,%rax
mov    %rsp,%r14
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r14
mov    %r14,%rsp
mov    %rsp,%r15
sub    %rax,%r15
mov    %r15,%rsp
test   %edx,%edx
jle    142e <boolean_parenthesization+0x32e>
cmp    $0x1,%edx
jne    115e <boolean_parenthesization+0x5e>
xor    %eax,%eax
testb  $0x1,-0x30(%rbp)
jne    11de <boolean_parenthesization+0xde>
jmp    1202 <boolean_parenthesization+0x102>
mov    -0x30(%rbp),%r11
lea    (%r15,%r11,4),%r8
add    $0x4,%r8
lea    0x8(,%r11,8),%r9
lea    (%r14,%r11,4),%r10
add    $0x4,%r10
and    $0xfffffffe,%r11d
neg    %r11
mov    $0x1,%eax
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
xor    %ebx,%ebx
xor    %esi,%esi
cmpb   $0x54,-0x1(%rdi,%rax,1)
setne  %bl
sete   %sil
mov    %esi,(%r14,%rcx,1)
mov    %ebx,(%r15,%rcx,1)
xor    %ebx,%ebx
xor    %esi,%esi
cmpb   $0x54,(%rdi,%rax,1)
setne  %bl
sete   %sil
mov    %esi,(%r10,%rcx,1)
mov    %ebx,(%r8,%rcx,1)
add    %r9,%rcx
lea    (%r11,%rax,1),%rsi
add    $0x2,%rsi
add    $0x2,%rax
cmp    $0x1,%rsi
jne    1190 <boolean_parenthesization+0x90>
add    $0xffffffffffffffff,%rax
testb  $0x1,-0x30(%rbp)
je     1202 <boolean_parenthesization+0x102>
xor    %ecx,%ecx
xor    %ebx,%ebx
cmpb   $0x54,(%rdi,%rax,1)
setne  %cl
sete   %bl
mov    %rax,%rsi
imul   -0x30(%rbp),%rsi
lea    (%r14,%rsi,4),%rdi
mov    %ebx,(%rdi,%rax,4)
lea    (%r15,%rsi,4),%rsi
mov    %ecx,(%rsi,%rax,4)
cmp    $0x1,%edx
jle    142e <boolean_parenthesization+0x32e>
add    $0xffffffff,%edx
mov    -0x30(%rbp),%rax
lea    0x4(,%rax,4),%rcx
mov    %rcx,-0x88(%rbp)
lea    (%r15,%rax,4),%rcx
lea    (%r14,%rax,4),%rbx
mov    $0x1,%esi
mov    %edx,-0x4c(%rbp)
mov    %edx,%eax
mov    %r14,-0x98(%rbp)
mov    %r15,-0x90(%rbp)
jmp    1271 <boolean_parenthesization+0x171>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rsi
add    $0xffffffff,%eax
mov    -0x80(%rbp),%rcx
add    $0x4,%rcx
mov    -0x78(%rbp),%rbx
add    $0x4,%rbx
cmp    -0x30(%rbp),%rsi
je     1433 <boolean_parenthesization+0x333>
mov    %eax,%eax
mov    %rbx,-0x78(%rbp)
mov    %rbx,-0x40(%rbp)
mov    %rcx,-0x80(%rbp)
mov    %rcx,-0x68(%rbp)
mov    %r14,-0x38(%rbp)
mov    %r15,-0x60(%rbp)
mov    -0x70(%rbp),%rdx
mov    %rdx,-0x58(%rbp)
mov    %rsi,%r13
xor    %ecx,%ecx
mov    %rax,-0xa0(%rbp)
jmp    12f9 <boolean_parenthesization+0x1f9>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    -0xa8(%rbp),%rcx
add    $0x1,%rcx
add    $0x1,%r13
addq   $0x1,-0x58(%rbp)
mov    -0x88(%rbp),%rax
add    %rax,-0x60(%rbp)
add    %rax,-0x38(%rbp)
add    %rax,-0x68(%rbp)
add    %rax,-0x40(%rbp)
mov    -0xa0(%rbp),%rax
cmp    %rax,%rcx
mov    -0x98(%rbp),%r14
mov    -0x90(%rbp),%r15
je     1250 <boolean_parenthesization+0x150>
mov    %rcx,-0xa8(%rbp)
mov    %rcx,%rax
imul   -0x30(%rbp),%rax
lea    (%r14,%rax,4),%rcx
mov    %rcx,-0x48(%rbp)
movl   $0x0,(%rcx,%r13,4)
lea    (%r15,%rax,4),%rax
mov    %rax,-0xb0(%rbp)
movl   $0x0,(%rax,%r13,4)
xor    %r12d,%r12d
mov    $0x1,%r14d
xor    %r9d,%r9d
xor    %r15d,%r15d
jmp    1396 <boolean_parenthesization+0x296>
nopl   0x0(%rax)
imul   %edi,%r10d
imul   %r11d,%edx
add    %r10d,%edx
add    %r9d,%edx
mov    -0x48(%rbp),%rax
mov    %edx,(%rax,%r13,4)
mov    -0x40(%rbp),%rax
mov    (%rax,%r14,4),%eax
mov    -0x38(%rbp),%rcx
imul   (%rcx,%r15,4),%eax
imul   %edi,%r11d
add    %eax,%r11d
add    %r12d,%r11d
mov    %r11d,%r12d
mov    %edx,%r9d
mov    -0xb0(%rbp),%rax
mov    %r12d,(%rax,%r13,4)
add    $0x1,%r15
add    -0x30(%rbp),%r14
mov    %rbx,%rsi
cmp    %r15,%rbx
je     12b0 <boolean_parenthesization+0x1b0>
mov    %rsi,%rbx
mov    -0x38(%rbp),%rax
mov    (%rax,%r15,4),%edx
mov    -0x60(%rbp),%rax
mov    (%rax,%r15,4),%edi
lea    (%rdi,%rdx,1),%esi
mov    -0x40(%rbp),%rax
mov    (%rax,%r14,4),%r10d
mov    -0x68(%rbp),%rax
mov    (%rax,%r14,4),%r11d
lea    (%r11,%r10,1),%eax
mov    -0x58(%rbp),%rcx
movzbl (%rcx,%r15,1),%r8d
cmp    $0x26,%r8b
je     1400 <boolean_parenthesization+0x300>
cmp    $0x7c,%r8b
jne    1340 <boolean_parenthesization+0x240>
imul   %esi,%eax
imul   %edi,%r11d
sub    %r11d,%eax
add    %eax,%r9d
mov    -0x48(%rbp),%rax
mov    %r9d,(%rax,%r13,4)
add    %r11d,%r12d
jmp    1377 <boolean_parenthesization+0x277>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
imul   %edx,%r10d
add    %r10d,%r9d
mov    -0x48(%rbp),%rcx
mov    %r9d,(%rcx,%r13,4)
imul   %esi,%eax
mov    -0x40(%rbp),%rdx
mov    (%rdx,%r14,4),%edx
mov    -0x38(%rbp),%rcx
imul   (%rcx,%r15,4),%edx
add    %eax,%r12d
sub    %edx,%r12d
jmp    1377 <boolean_parenthesization+0x277>
add    $0xffffffff,%edx
jmp    1436 <boolean_parenthesization+0x336>
mov    -0x4c(%rbp),%edx
movslq %edx,%rax
mov    (%r14,%rax,4),%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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