void find(int arr[][20]) {
  int i, j;
  int prod, max_prod = 0;
  for (i = 0; i < 20; i++) {
    for (j = 0; j < 20; j++) {
      if (j < 3 && i < 17) {
        prod = arr[i][j] * arr[i][j + 1] * arr[i][j + 2] * arr[i][j + 3];
        if (prod > max_prod) {
          max_prod = prod;
        }
        prod = arr[i][j] * arr[i + 1][j + 1] * arr[i + 2][j + 2] *
               arr[i + 3][j + 3];
        if (prod > max_prod) {
          max_prod = prod;
        }
        prod = arr[i][j] * arr[i + 1][j] * arr[i + 2][j] * arr[i + 3][j];
        if (prod > max_prod) {
          max_prod = prod;
        }
      } else if (j < 3 && i >= 17) {
        prod = arr[i][j] * arr[i][j + 1] * arr[i][j + 2] * arr[i][j + 3];
        if (prod > max_prod) {
          max_prod = prod;
        }
      } else if (j > 3 && j < 17 && i < 17) {
        prod = arr[i][j] * arr[i][j + 1] * arr[i][j + 2] * arr[i][j + 3];
        if (prod > max_prod) {
          max_prod = prod;
        }
        prod = arr[i][j] * arr[i + 1][j + 1] * arr[i + 2][j + 2] *
               arr[i + 3][j + 3];
        if (prod > max_prod) {
          max_prod = prod;
        }
        prod = arr[i][j] * arr[i + 1][j] * arr[i + 2][j] * arr[i + 3][j];
        if (prod > max_prod) {
          max_prod = prod;
        }
        prod = arr[i][j] * arr[i + 1][j - 1] * arr[i + 2][j - 2] *
               arr[i + 3][j - 3];
        if (prod > max_prod) {
          max_prod = prod;
        }
      } else if (j > 3 && j < 17 && i >= 17) {
        prod = arr[i][j] * arr[i][j + 1] * arr[i][j + 2] * arr[i][j + 3];
        if (prod > max_prod) {
          max_prod = prod;
        }
      } else if (j >= 17 && i < 17) {
        prod = arr[i][j] * arr[i + 1][j] * arr[i + 2][j] * arr[i + 3][j];
        if (prod > max_prod) {
          max_prod = prod;
        }
        prod = arr[i][j] * arr[i + 1][j - 1] * arr[i + 2][j - 2] *
               arr[i + 3][j - 3];
        if (prod > max_prod) {
          max_prod = prod;
        }
      } else {
        continue;
      }
    }
  }
  printf("%d\n", max_prod);
}


x86 assembly (clang, -O0):
<find>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x14,-0xc(%rbp)
jge    17c6 <find+0x6b6>
movl   $0x0,-0x10(%rbp)
cmpl   $0x14,-0x10(%rbp)
jge    17b3 <find+0x6a3>
cmpl   $0x3,-0x10(%rbp)
jge    12ea <find+0x1da>
cmpl   $0x11,-0xc(%rbp)
jge    12ea <find+0x1da>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    11d8 <find+0xc8>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    1266 <find+0x156>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    12e5 <find+0x1d5>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    17a0 <find+0x690>
cmpl   $0x3,-0x10(%rbp)
jge    1382 <find+0x272>
cmpl   $0x11,-0xc(%rbp)
jl     1382 <find+0x272>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    137d <find+0x26d>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    179b <find+0x68b>
cmpl   $0x3,-0x10(%rbp)
jle    15bf <find+0x4af>
cmpl   $0x11,-0x10(%rbp)
jge    15bf <find+0x4af>
cmpl   $0x11,-0xc(%rbp)
jge    15bf <find+0x4af>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    141f <find+0x30f>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    14ad <find+0x39d>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    152c <find+0x41c>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
sub    $0x2,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
sub    $0x3,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    15ba <find+0x4aa>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    1796 <find+0x686>
cmpl   $0x3,-0x10(%rbp)
jle    1661 <find+0x551>
cmpl   $0x11,-0x10(%rbp)
jge    1661 <find+0x551>
cmpl   $0x11,-0xc(%rbp)
jl     1661 <find+0x551>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    165c <find+0x54c>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    1791 <find+0x681>
cmpl   $0x11,-0x10(%rbp)
jl     1787 <find+0x677>
cmpl   $0x11,-0xc(%rbp)
jge    1787 <find+0x677>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    16f4 <find+0x5e4>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
sub    $0x2,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
imul   $0x50,%rdx,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
sub    $0x3,%edx
movslq %edx,%rdx
imul   (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    1782 <find+0x672>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    178c <find+0x67c>
jmp    17a5 <find+0x695>
jmp    1791 <find+0x681>
jmp    1796 <find+0x686>
jmp    179b <find+0x68b>
jmp    17a0 <find+0x690>
jmp    17a5 <find+0x695>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    113b <find+0x2b>
jmp    17b8 <find+0x6a8>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    112a <find+0x1a>
mov    -0x18(%rbp),%esi
lea    0x830(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<find>:
push   %rbp
push   %r14
push   %rbx
xor    %r11d,%r11d
mov    %rdi,%rax
xor    %esi,%esi
jmp    1131 <find+0x21>
xchg   %ax,%ax
add    $0x50,%rax
mov    %r10,%r11
cmp    $0x14,%r10
je     12df <find+0x1cf>
lea    0x1(%r11),%r10
lea    0x2(%r11),%r8
lea    0x3(%r11),%r9
mov    $0xfffffffd,%edx
xor    %ecx,%ecx
jmp    1160 <find+0x50>
cs nopw 0x0(%rax,%rax,1)
mov    %ebx,%esi
add    $0x1,%rcx
add    $0x1,%rdx
cmp    $0x14,%rcx
je     1120 <find+0x10>
cmp    $0x2,%rcx
ja     11c0 <find+0xb0>
cmp    $0x10,%r11
ja     11c0 <find+0xb0>
mov    (%rax,%rcx,4),%ebx
mov    0x4(%rax,%rcx,4),%ebp
imul   %ebx,%ebp
imul   0x8(%rax,%rcx,4),%ebp
imul   0xc(%rax,%rcx,4),%ebp
cmp    %esi,%ebp
cmovle %esi,%ebp
mov    0x54(%rax,%rcx,4),%esi
imul   %ebx,%esi
imul   0xa8(%rax,%rcx,4),%esi
imul   0xfc(%rax,%rcx,4),%esi
cmp    %ebp,%esi
jg     11a2 <find+0x92>
mov    %ebp,%esi
imul   0x50(%rax,%rcx,4),%ebx
imul   0xa0(%rax,%rcx,4),%ebx
imul   0xf0(%rax,%rcx,4),%ebx
cmp    %esi,%ebx
jg     1150 <find+0x40>
mov    %esi,%ebx
jmp    1150 <find+0x40>
nop
cmp    $0x2,%rcx
ja     11f0 <find+0xe0>
cmp    $0x11,%r11
jb     11f0 <find+0xe0>
mov    0x4(%rax,%rcx,4),%ebx
imul   (%rax,%rcx,4),%ebx
imul   0x8(%rax,%rcx,4),%ebx
imul   0xc(%rax,%rcx,4),%ebx
cmp    %esi,%ebx
cmovg  %ebx,%esi
jmp    1152 <find+0x42>
nopl   0x0(%rax,%rax,1)
lea    -0x4(%rcx),%ebx
cmp    $0xc,%ebx
ja     1253 <find+0x143>
cmp    $0x10,%r11
ja     1253 <find+0x143>
mov    (%rax,%rcx,4),%ebx
mov    0x4(%rax,%rcx,4),%ebp
imul   %ebx,%ebp
imul   0x8(%rax,%rcx,4),%ebp
imul   0xc(%rax,%rcx,4),%ebp
cmp    %esi,%ebp
cmovle %esi,%ebp
mov    0x54(%rax,%rcx,4),%esi
imul   %ebx,%esi
imul   0xa8(%rax,%rcx,4),%esi
imul   0xfc(%rax,%rcx,4),%esi
cmp    %ebp,%esi
jg     1234 <find+0x124>
mov    %ebp,%esi
mov    0x50(%rax,%rcx,4),%ebp
imul   %ebx,%ebp
imul   0xa0(%rax,%rcx,4),%ebp
imul   0xf0(%rax,%rcx,4),%ebp
cmp    %esi,%ebp
jg     1295 <find+0x185>
mov    %esi,%ebp
jmp    1295 <find+0x185>
cmp    $0xc,%ebx
ja     1262 <find+0x152>
cmp    $0x11,%r11
jae    11cc <find+0xbc>
cmp    $0x11,%rcx
jb     1152 <find+0x42>
cmp    $0x10,%r11
ja     1152 <find+0x42>
mov    (%rax,%rcx,4),%ebx
mov    0x50(%rax,%rcx,4),%ebp
imul   %ebx,%ebp
imul   0xa0(%rax,%rcx,4),%ebp
imul   0xf0(%rax,%rcx,4),%ebp
cmp    %esi,%ebp
cmovle %esi,%ebp
lea    0x2(%rdx),%r14d
lea    (%r10,%r10,4),%rsi
shl    $0x4,%rsi
add    %rdi,%rsi
imul   (%rsi,%r14,4),%ebx
lea    0x1(%rdx),%r14d
lea    (%r8,%r8,4),%rsi
shl    $0x4,%rsi
add    %rdi,%rsi
imul   (%rsi,%r14,4),%ebx
mov    %edx,%r14d
lea    (%r9,%r9,4),%rsi
shl    $0x4,%rsi
add    %rdi,%rsi
imul   (%rsi,%r14,4),%ebx
cmp    %ebp,%ebx
jg     1150 <find+0x40>
mov    %ebp,%ebx
jmp    1150 <find+0x40>
lea    0xd1a(%rip),%rdi
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %rbp
jmp    1030 <printf@plt>

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

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