int ckyParseCount(int nonTerminal, int terminal, int rules[][3], int start,
                  int ruleCount, int *string, int len) {
  int dy[len][len][nonTerminal];
  int i, j, k, index;
  for (i = 0; i < len; i++)
    for (j = 0; j < len; j++)
      for (k = 0; k < nonTerminal; k++)
        dy[i][j][k] = 0;
  for (index = 0; index < len; index++) {
    for (i = 0; i < ruleCount; i++) {
      if (rules[i][0] == -1 && rules[i][2] == string[index]) {
        dy[index][index][rules[i][1]] = 1;
      }
    }
  }
  for (j = 1; j < len; j++) {
    for (i = j - 1; i >= 0; i--) {
      for (k = 0; rules[k][0] != -1; k++) {
        for (index = 0; index + i < j; index++) {
          if (dy[i][i + index][rules[k][1]] &&
              dy[i + index + 1][j][rules[k][2]]) {
            dy[i][j][rules[k][0]] += dy[i][i + index][rules[k][1]] *
                                     dy[i + index + 1][j][rules[k][2]];
          }
        }
      }
    }
  }
  return dy[0][len - 1][start];
}


x86 assembly (clang, -O0):
<ckyParseCount>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9,-0x20(%rbp)
mov    0x10(%rbp),%eax
mov    %eax,%edx
mov    %rdx,%rcx
mov    %rcx,-0x68(%rbp)
mov    -0x4(%rbp),%eax
mov    %rax,-0x60(%rbp)
mov    %rsp,%rsi
mov    %rsi,-0x28(%rbp)
mov    %rdx,%rsi
imul   %rsi,%rsi
imul   %rax,%rsi
lea    0xf(,%rsi,4),%rdi
and    $0xfffffffffffffff0,%rdi
mov    %rsp,%rsi
sub    %rdi,%rsi
mov    %rsi,-0x58(%rbp)
mov    %rsi,%rsp
mov    %rdx,-0x30(%rbp)
mov    %rcx,-0x38(%rbp)
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    1210 <ckyParseCount+0x110>
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    11fd <ckyParseCount+0xfd>
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11ea <ckyParseCount+0xea>
mov    -0x60(%rbp),%rdx
mov    -0x58(%rbp),%rax
mov    -0x68(%rbp),%rsi
movslq -0x44(%rbp),%rcx
imul   %rdx,%rsi
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x48(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x4c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1197 <ckyParseCount+0x97>
jmp    11ef <ckyParseCount+0xef>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1184 <ckyParseCount+0x84>
jmp    1202 <ckyParseCount+0x102>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1171 <ckyParseCount+0x71>
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    12df <ckyParseCount+0x1df>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    12cc <ckyParseCount+0x1cc>
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
cmpl   $0xffffffff,(%rax)
jne    12b9 <ckyParseCount+0x1b9>
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
mov    0x8(%rax),%eax
mov    -0x20(%rbp),%rcx
movslq -0x50(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    12b9 <ckyParseCount+0x1b9>
mov    -0x60(%rbp),%rdx
mov    -0x58(%rbp),%rax
mov    -0x68(%rbp),%rsi
movslq -0x50(%rbp),%rcx
imul   %rdx,%rsi
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x44(%rbp),%rdx
imul   $0xc,%rdx,%rdx
add    %rdx,%rcx
movslq 0x4(%rcx),%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    12be <ckyParseCount+0x1be>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    122a <ckyParseCount+0x12a>
jmp    12d1 <ckyParseCount+0x1d1>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1217 <ckyParseCount+0x117>
movl   $0x1,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    14fa <ckyParseCount+0x3fa>
mov    -0x48(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x44(%rbp)
cmpl   $0x0,-0x44(%rbp)
jl     14e7 <ckyParseCount+0x3e7>
movl   $0x0,-0x4c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x4c(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
cmpl   $0xffffffff,(%rax)
je     14d4 <ckyParseCount+0x3d4>
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
add    -0x44(%rbp),%eax
cmp    -0x48(%rbp),%eax
jge    14c1 <ckyParseCount+0x3c1>
mov    -0x60(%rbp),%rdx
mov    -0x58(%rbp),%rax
mov    -0x68(%rbp),%rsi
movslq -0x44(%rbp),%rcx
imul   %rdx,%rsi
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x44(%rbp),%ecx
add    -0x50(%rbp),%ecx
movslq %ecx,%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x4c(%rbp),%rdx
imul   $0xc,%rdx,%rdx
add    %rdx,%rcx
movslq 0x4(%rcx),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     14ae <ckyParseCount+0x3ae>
mov    -0x60(%rbp),%rdx
mov    -0x58(%rbp),%rax
mov    -0x68(%rbp),%rsi
mov    -0x44(%rbp),%ecx
add    -0x50(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   %rdx,%rsi
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x48(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x4c(%rbp),%rdx
imul   $0xc,%rdx,%rdx
add    %rdx,%rcx
movslq 0x8(%rcx),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     14ae <ckyParseCount+0x3ae>
mov    -0x60(%rbp),%rsi
mov    -0x58(%rbp),%rax
mov    -0x68(%rbp),%rdi
movslq -0x44(%rbp),%rdx
mov    %rdi,%rcx
imul   %rsi,%rcx
imul   %rcx,%rdx
shl    $0x2,%rdx
mov    %rax,%rcx
add    %rdx,%rcx
mov    -0x44(%rbp),%edx
add    -0x50(%rbp),%edx
movslq %edx,%rdx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%rdx
movslq -0x4c(%rbp),%r8
imul   $0xc,%r8,%r8
add    %r8,%rdx
movslq 0x4(%rdx),%rdx
mov    (%rcx,%rdx,4),%edx
mov    -0x44(%rbp),%ecx
add    -0x50(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%r8
mov    %rdi,%rcx
imul   %rsi,%rcx
imul   %rcx,%r8
shl    $0x2,%r8
mov    %rax,%rcx
add    %r8,%rcx
movslq -0x48(%rbp),%r8
imul   %rsi,%r8
shl    $0x2,%r8
add    %r8,%rcx
mov    -0x10(%rbp),%r8
movslq -0x4c(%rbp),%r9
imul   $0xc,%r9,%r9
add    %r9,%r8
movslq 0x8(%r8),%r8
imul   (%rcx,%r8,4),%edx
movslq -0x44(%rbp),%rcx
imul   %rsi,%rdi
imul   %rdi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x48(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x4c(%rbp),%rsi
imul   $0xc,%rsi,%rsi
add    %rsi,%rcx
movslq (%rcx),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    14b3 <ckyParseCount+0x3b3>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    132b <ckyParseCount+0x22b>
jmp    14c6 <ckyParseCount+0x3c6>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    130c <ckyParseCount+0x20c>
jmp    14d9 <ckyParseCount+0x3d9>
mov    -0x44(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x44(%rbp)
jmp    12fb <ckyParseCount+0x1fb>
jmp    14ec <ckyParseCount+0x3ec>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    12e6 <ckyParseCount+0x1e6>
mov    -0x60(%rbp),%rdx
mov    -0x58(%rbp),%rax
mov    -0x68(%rbp),%rcx
imul   %rdx,%rcx
imul   $0x0,%rcx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x28(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ckyParseCount>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
mov    %r8d,-0x68(%rbp)
mov    %ecx,-0xac(%rbp)
mov    0x10(%rbp),%r8d
mov    %edi,%eax
mov    %r8,%rcx
mov    %rax,-0x30(%rbp)
imul   %rax,%rcx
mov    %rcx,%rax
mov    %rcx,-0x78(%rbp)
imul   %r8,%rax
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%rcx
sub    %rax,%rcx
mov    %rcx,-0x38(%rbp)
mov    %rcx,%rsp
test   %r8d,%r8d
jle    1549 <ckyParseCount+0x439>
mov    %edi,-0x70(%rbp)
mov    -0x30(%rbp),%rax
lea    0x0(,%rax,4),%r15
lea    -0x1(%r8),%rcx
mov    %rcx,-0x90(%rbp)
mov    %r8d,%ecx
and    $0x3,%ecx
mov    %rcx,-0x80(%rbp)
and    $0xfffffffc,%r8d
mov    %r8,-0x60(%rbp)
mov    -0x78(%rbp),%rcx
lea    0x0(,%rcx,4),%r12
mov    %rax,%rcx
shl    $0x4,%rcx
mov    %rcx,-0x58(%rbp)
lea    0x0(,%rax,8),%rax
mov    %rax,-0x50(%rbp)
lea    (%r15,%r15,2),%rax
mov    %rax,-0x48(%rbp)
xor    %eax,%eax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%r13
xor    %ecx,%ecx
mov    %rdx,-0xa8(%rbp)
mov    %r9,-0x98(%rbp)
jmp    121c <ckyParseCount+0x10c>
nop
mov    -0xa0(%rbp),%rcx
add    $0x1,%rcx
mov    -0x88(%rbp),%r13
add    %r12,%r13
mov    -0x40(%rbp),%rax
add    -0x78(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    0x10(%rbp),%r8d
cmp    %r8,%rcx
mov    -0xa8(%rbp),%rbx
mov    -0x98(%rbp),%r9
je     12e3 <ckyParseCount+0x1d3>
cmpq   $0x3,-0x90(%rbp)
03
mov    %r13,-0x88(%rbp)
mov    %rcx,-0xa0(%rbp)
jae    1280 <ckyParseCount+0x170>
xor    %r14d,%r14d
mov    -0x70(%rbp),%ebx
cmpq   $0x0,-0x80(%rbp)
je     11e0 <ckyParseCount+0xd0>
imul   -0x30(%rbp),%r14
add    -0x40(%rbp),%r14
mov    -0x38(%rbp),%rax
lea    (%rax,%r14,4),%r13
mov    -0x80(%rbp),%r14
jmp    126d <ckyParseCount+0x15d>
nopl   0x0(%rax,%rax,1)
add    %r15,%r13
add    $0xffffffffffffffff,%r14
je     11e0 <ckyParseCount+0xd0>
test   %ebx,%ebx
jle    1260 <ckyParseCount+0x150>
mov    %r13,%rdi
xor    %esi,%esi
mov    %r15,%rdx
call   1030 <memset@plt>
jmp    1260 <ckyParseCount+0x150>
xor    %r14d,%r14d
mov    -0x70(%rbp),%ebx
jmp    129e <ckyParseCount+0x18e>
nopl   0x0(%rax,%rax,1)
add    $0x4,%r14
add    -0x58(%rbp),%r13
cmp    %r14,-0x60(%rbp)
je     123a <ckyParseCount+0x12a>
test   %ebx,%ebx
jle    1290 <ckyParseCount+0x180>
mov    %r13,%rdi
xor    %esi,%esi
mov    %r15,%rdx
call   1030 <memset@plt>
lea    (%r15,%r13,1),%rdi
xor    %esi,%esi
mov    %r15,%rdx
call   1030 <memset@plt>
mov    -0x50(%rbp),%rax
lea    (%rax,%r13,1),%rdi
xor    %esi,%esi
mov    %r15,%rdx
call   1030 <memset@plt>
mov    -0x48(%rbp),%rax
lea    (%rax,%r13,1),%rdi
xor    %esi,%esi
mov    %r15,%rdx
call   1030 <memset@plt>
jmp    1290 <ckyParseCount+0x180>
test   %r8d,%r8d
jle    1549 <ckyParseCount+0x439>
mov    -0x68(%rbp),%eax
shl    $0x2,%rax
lea    (%rax,%rax,2),%rax
xor    %ecx,%ecx
jmp    1309 <ckyParseCount+0x1f9>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rcx
cmp    %r8,%rcx
je     1357 <ckyParseCount+0x247>
cmpl   $0x0,-0x68(%rbp)
jle    1300 <ckyParseCount+0x1f0>
mov    -0x78(%rbp),%rdx
imul   %rcx,%rdx
mov    -0x38(%rbp),%rsi
lea    (%rsi,%rdx,4),%rdx
mov    %rcx,%rsi
imul   -0x30(%rbp),%rsi
lea    (%rdx,%rsi,4),%rdx
xor    %esi,%esi
jmp    1339 <ckyParseCount+0x229>
nop
add    $0xc,%rsi
cmp    %rsi,%rax
je     1300 <ckyParseCount+0x1f0>
cmpl   $0xffffffff,(%rbx,%rsi,1)
jne    1330 <ckyParseCount+0x220>
mov    0x8(%rbx,%rsi,1),%edi
cmp    (%r9,%rcx,4),%edi
jne    1330 <ckyParseCount+0x220>
movslq 0x4(%rbx,%rsi,1),%rdi
movl   $0x1,(%rdx,%rdi,4)
jmp    1330 <ckyParseCount+0x220>
cmp    $0x1,%r8d
jle    1549 <ckyParseCount+0x439>
mov    (%rbx),%eax
mov    %eax,-0x40(%rbp)
mov    %r8d,%edx
add    $0xffffffff,%edx
lea    0x4(,%r8,4),%rsi
lea    0x0(,%r8,4),%rdi
mov    -0x30(%rbp),%rax
imul   %rax,%rsi
mov    -0x38(%rbp),%rcx
mov    %rsi,-0xb8(%rbp)
add    %rcx,%rsi
mov    %r12,%rbx
neg    %rbx
mov    %rbx,-0x80(%rbp)
xor    $0xfffffffffffffffc,%rdi
imul   %rax,%rdi
mov    %rdi,-0xa0(%rbp)
mov    $0x1,%edi
mov    $0x2,%eax
mov    %rax,-0x88(%rbp)
xor    %ebx,%ebx
mov    %rdx,-0xc0(%rbp)
jmp    140c <ckyParseCount+0x2fc>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rdi
mov    -0x70(%rbp),%rbx
add    $0x1,%rbx
addq   $0x1,-0x88(%rbp)
01
mov    -0xb8(%rbp),%rax
mov    -0x90(%rbp),%rsi
add    %rax,%rsi
mov    -0x68(%rbp),%rcx
add    %rax,%rcx
mov    -0xc0(%rbp),%rdx
cmp    %rdx,%rbx
je     1550 <ckyParseCount+0x440>
mov    %rbx,-0x70(%rbp)
mov    %rdi,%rax
imul   -0x30(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    %rcx,-0x68(%rbp)
mov    %rcx,-0x60(%rbp)
mov    %rsi,-0x90(%rbp)
mov    %rsi,-0x58(%rbp)
mov    %rdi,-0x48(%rbp)
mov    $0x1,%eax
mov    %rax,-0x50(%rbp)
jmp    1484 <ckyParseCount+0x374>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    -0x50(%rbp),%rcx
add    $0x1,%rcx
mov    -0x58(%rbp),%rax
add    -0x80(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x60(%rbp),%rax
add    -0xa0(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    %rcx,-0x50(%rbp)
cmp    -0x88(%rbp),%rcx
je     13d0 <ckyParseCount+0x2c0>
mov    -0x48(%rbp),%r11
lea    -0x1(%r11),%rax
mov    %rax,-0x48(%rbp)
cmpl   $0xffffffff,-0x40(%rbp)
je     1450 <ckyParseCount+0x340>
mov    -0x78(%rbp),%rax
imul   -0x48(%rbp),%rax
mov    -0x38(%rbp),%rcx
lea    (%rcx,%rax,4),%rax
mov    -0x98(%rbp),%rcx
lea    (%rax,%rcx,4),%r13
xor    %esi,%esi
mov    -0x40(%rbp),%ecx
jmp    14de <ckyParseCount+0x3ce>
nopl   0x0(%rax)
add    $0x1,%rsi
lea    (%rsi,%rsi,2),%rax
mov    -0xa8(%rbp),%rcx
mov    (%rcx,%rax,4),%ecx
cmp    $0xffffffff,%ecx
mov    %r8,%rdi
je     1450 <ckyParseCount+0x340>
mov    %rdi,%r8
cmp    %rdi,%r11
jg     14c0 <ckyParseCount+0x3b0>
lea    (%rsi,%rsi,2),%rax
mov    -0xa8(%rbp),%rdi
movslq 0x4(%rdi,%rax,4),%rdx
lea    (%rdi,%rax,4),%rax
add    $0x8,%rax
movslq %ecx,%rdi
mov    -0x60(%rbp),%rcx
lea    (%rcx,%rdx,4),%rcx
mov    -0x50(%rbp),%r9
mov    -0x58(%rbp),%r10
jmp    152c <ckyParseCount+0x41c>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    %r12,%r10
add    %r15,%rcx
add    $0xffffffffffffffff,%r9
je     14c0 <ckyParseCount+0x3b0>
mov    (%rcx),%edx
test   %edx,%edx
je     1520 <ckyParseCount+0x410>
movslq (%rax),%rbx
mov    (%r10,%rbx,4),%r14d
test   %r14d,%r14d
je     1520 <ckyParseCount+0x410>
imul   %edx,%r14d
add    %r14d,0x0(%r13,%rdi,4)
jmp    1520 <ckyParseCount+0x410>
add    $0xffffffff,%r8d
mov    %r8d,%edx
movslq %edx,%rax
imul   -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
lea    (%rcx,%rax,4),%rax
movslq -0xac(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @ckyParseCount(i32 %0, i32 %1, [3 x i32]* nocapture %2, i32 %3, i32 %4, i32* nocapture %5, i32 %6) {
%8 = zext i32 %6 to i64
%9 = zext i32 %0 to i64
%10 = mul nuw i64 %8, %9
%11 = mul i64 %10, %8
%12 = alloca i32, i64 %11
%13 = icmp sgt i32 %6, 0
br i1 %13, label %14, label %83
14: ; preds = %7
%15 = icmp sgt i32 %0, 0
%16 = shl nuw nsw i64 %9, 2
%17 = add nsw i64 %8, -1
%18 = and i64 %8, 3
%19 = icmp ult i64 %17, 3
%20 = and i64 %8, 4294967292
%21 = icmp eq i64 %18, 0
br label %22
22: ; preds = %70, %14
%23 = phi i64 [ 0, %14 ], [ %71, %70 ]
%24 = mul i64 %10, %23
br i1 %19, label %56, label %29
25: ; preds = %70
br i1 %13, label %26, label %83
26: ; preds = %25
%27 = icmp sgt i32 %4, 0
%28 = zext i32 %4 to i64
br label %73
29: ; preds = %22, %52
%30 = phi i64 [ %53, %52 ], [ 0, %22 ]
%31 = phi i64 [ %54, %52 ], [ 0, %22 ]
br i1 %15, label %32, label %52
32: ; preds = %29
%33 = mul nuw nsw i64 %30, %9
%34 = add i64 %24, %33
%35 = getelementptr i32, i32* %12, i64 %34
%36 = bitcast i32* %35 to i8*
%37 = or i64 %30, 1
%38 = mul nuw nsw i64 %37, %9
%39 = add i64 %24, %38
%40 = getelementptr i32, i32* %12, i64 %39
%41 = bitcast i32* %40 to i8*
%42 = or i64 %30, 2
%43 = mul nuw nsw i64 %42, %9
%44 = add i64 %24, %43
%45 = getelementptr i32, i32* %12, i64 %44
%46 = bitcast i32* %45 to i8*
%47 = or i64 %30, 3
%48 = mul nuw nsw i64 %47, %9
%49 = add i64 %24, %48
%50 = getelementptr i32, i32* %12, i64 %49
%51 = bitcast i32* %50 to i8*
br label %52
52: ; preds = %29, %32
%53 = add nuw nsw i64 %30, 4
%54 = add i64 %31, 4
%55 = icmp eq i64 %54, %20
br i1 %55, label %56, label %29
56: ; preds = %52, %22
%57 = phi i64 [ 0, %22 ], [ %53, %52 ]
br i1 %21, label %70, label %58
58: ; preds = %56, %66
%59 = phi i64 [ %67, %66 ], [ %57, %56 ]
%60 = phi i64 [ %68, %66 ], [ 0, %56 ]
br i1 %15, label %61, label %66
61: ; preds = %58
%62 = mul nuw nsw i64 %59, %9
%63 = add i64 %24, %62
%64 = getelementptr i32, i32* %12, i64 %63
%65 = bitcast i32* %64 to i8*
br label %66
66: ; preds = %61, %58
%67 = add nuw nsw i64 %59, 1
%68 = add i64 %60, 1
%69 = icmp eq i64 %68, %18
br i1 %69, label %70, label %58
70: ; preds = %66, %56
%71 = add nuw nsw i64 %23, 1
%72 = icmp eq i64 %71, %8
br i1 %72, label %25, label %22
73: ; preds = %26, %109
%74 = phi i64 [ 0, %26 ], [ %110, %109 ]
br i1 %27, label %75, label %109
75: ; preds = %73
%76 = getelementptr inbounds i32, i32* %5, i64 %74
%77 = mul nsw i64 %10, %74
%78 = getelementptr inbounds i32, i32* %12, i64 %77
%79 = mul nuw nsw i64 %74, %9
%80 = getelementptr inbounds i32, i32* %78, i64 %79
br label %91
81: ; preds = %109
%82 = icmp sgt i32 %6, 1
br i1 %82, label %85, label %83
83: ; preds = %7, %25, %81
%84 = add nsw i32 %6, -1
br label %177
85: ; preds = %81
%86 = getelementptr inbounds [3 x i32], [3 x i32]* %2, i64 0, i64 0
%87 = load i32, i32* %86
%88 = icmp eq i32 %87, -1
%89 = add nsw i32 %6, -1
%90 = zext i32 %89 to i64
br label %112
91: ; preds = %75, %106
%92 = phi i64 [ 0, %75 ], [ %107, %106 ]
%93 = getelementptr inbounds [3 x i32], [3 x i32]* %2, i64 %92, i64 0
%94 = load i32, i32* %93
%95 = icmp eq i32 %94, -1
br i1 %95, label %96, label %106
96: ; preds = %91
%97 = getelementptr inbounds [3 x i32], [3 x i32]* %2, i64 %92, i64 2
%98 = load i32, i32* %97
%99 = load i32, i32* %76
%100 = icmp eq i32 %98, %99
br i1 %100, label %101, label %106
101: ; preds = %96
%102 = getelementptr inbounds [3 x i32], [3 x i32]* %2, i64 %92, i64 1
%103 = load i32, i32* %102
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds i32, i32* %80, i64 %104
store i32 1, i32* %105
br label %106
106: ; preds = %91, %96, %101
%107 = add nuw nsw i64 %92, 1
%108 = icmp eq i64 %107, %28
br i1 %108, label %109, label %91
109: ; preds = %106, %73
%110 = add nuw nsw i64 %74, 1
%111 = icmp eq i64 %110, %8
br i1 %111, label %81, label %73
112: ; preds = %85, %172
%113 = phi i64 [ 2, %85 ], [ %175, %172 ]
%114 = phi i64 [ 1, %85 ], [ %173, %172 ]
%115 = phi i64 [ 0, %85 ], [ %174, %172 ]
%116 = mul nuw nsw i64 %114, %9
%117 = getelementptr inbounds i32, i32* %12, i64 %116
br label %122
118: ; preds = %167, %122
%119 = add nsw i64 %125, -1
%120 = add nuw nsw i64 %124, 1
%121 = icmp eq i64 %120, %113
br i1 %121, label %172, label %122
122: ; preds = %112, %118
%123 = phi i64 [ %114, %112 ], [ %126, %118 ]
%124 = phi i64 [ 1, %112 ], [ %120, %118 ]
%125 = phi i64 [ %115, %112 ], [ %119, %118 ]
%126 = add nsw i64 %123, -1
br i1 %88, label %118, label %127
127: ; preds = %122
%128 = icmp sgt i64 %123, %114
%129 = mul nsw i64 %10, %126
%130 = getelementptr inbounds i32, i32* %12, i64 %129
%131 = getelementptr inbounds i32, i32* %130, i64 %116
br label %132
132: ; preds = %127, %167
%133 = phi i64 [ 0, %127 ], [ %168, %167 ]
%134 = phi i32 [ %87, %127 ], [ %170, %167 ]
br i1 %128, label %167, label %135
135: ; preds = %132
%136 = getelementptr inbounds [3 x i32], [3 x i32]* %2, i64 %133, i64 1
%137 = load i32, i32* %136
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds [3 x i32], [3 x i32]* %2, i64 %133, i64 2
%140 = sext i32 %134 to i64
%141 = getelementptr inbounds i32, i32* %131, i64 %140
%142 = getelementptr inbounds i32, i32* %130, i64 %138
br label %143
143: ; preds = %135, %163
%144 = phi i64 [ 0, %135 ], [ %164, %163 ]
%145 = phi i64 [ %125, %135 ], [ %165, %163 ]
%146 = mul nsw i64 %145, %9
%147 = getelementptr inbounds i32, i32* %142, i64 %146
%148 = load i32, i32* %147
%149 = icmp eq i32 %148, 0
br i1 %149, label %163, label %150
150: ; preds = %143
%151 = add nuw nsw i64 %144, %123
%152 = mul nsw i64 %10, %151
%153 = getelementptr inbounds i32, i32* %117, i64 %152
%154 = load i32, i32* %139
%155 = sext i32 %154 to i64
%156 = getelementptr inbounds i32, i32* %153, i64 %155
%157 = load i32, i32* %156
%158 = icmp eq i32 %157, 0
br i1 %158, label %163, label %159
159: ; preds = %150
%160 = mul nsw i32 %157, %148
%161 = load i32, i32* %141
%162 = add nsw i32 %161, %160
store i32 %162, i32* %141
br label %163
163: ; preds = %143, %150, %159
%164 = add nuw nsw i64 %144, 1
%165 = add nsw i64 %145, 1
%166 = icmp eq i64 %164, %124
br i1 %166, label %167, label %143
167: ; preds = %163, %132
%168 = add nuw i64 %133, 1
%169 = getelementptr inbounds [3 x i32], [3 x i32]* %2, i64 %168, i64 0
%170 = load i32, i32* %169
%171 = icmp eq i32 %170, -1
br i1 %171, label %118, label %132
172: ; preds = %118
%173 = add nuw nsw i64 %114, 1
%174 = add nuw nsw i64 %115, 1
%175 = add nuw nsw i64 %113, 1
%176 = icmp eq i64 %174, %90
br i1 %176, label %177, label %112
177: ; preds = %172, %83
%178 = phi i32 [ %84, %83 ], [ %89, %172 ]
%179 = sext i32 %178 to i64
%180 = mul nsw i64 %179, %9
%181 = getelementptr inbounds i32, i32* %12, i64 %180
%182 = sext i32 %3 to i64
%183 = getelementptr inbounds i32, i32* %181, i64 %182
%184 = load i32, i32* %183
ret i32 %184
}