#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ get_dot(char *, int, int, int, int);
int score_array(char Dots[], int Hgt, int Wid) {
  int x, y, worstedge, first, last, sum;
  sum = 0;
  first = -1;
  last = -1;
  for (x = 0; x < Wid; x += 2)
    if (get_dot(Dots, Hgt, Wid, x, 0)) {
      if (first < 0) {
        first = x;
      }
      last = x;
      sum++;
    }
  worstedge = sum + last - first;
  worstedge *= Hgt;
  sum = 0;
  first = -1;
  for (x = Wid & 1; x < Wid; x += 2)
    if (get_dot(Dots, Hgt, Wid, x, Hgt - 1)) {
      if (first < 0) {
        first = x;
      }
      last = x;
      sum++;
    }
  sum += last - first;
  sum *= Hgt;
  if (sum < worstedge) {
    worstedge = sum;
  }
  sum = 0;
  first = -1;
  for (y = 0; y < Hgt; y += 2)
    if (get_dot(Dots, Hgt, Wid, 0, y)) {
      if (first < 0) {
        first = y;
      }
      last = y;
      sum++;
    }
  sum += last - first;
  sum *= Wid;
  if (sum < worstedge) {
    worstedge = sum;
  }
  sum = 0;
  first = -1;
  for (y = Hgt & 1; y < Hgt; y += 2)
    if (get_dot(Dots, Hgt, Wid, Wid - 1, y)) {
      if (first < 0) {
        first = y;
      }
      last = y;
      sum++;
    }
  sum += last - first;
  sum *= Wid;
  if (sum < worstedge) {
    worstedge = sum;
  }
  sum = 0;
  for (y = 0; y < Hgt; y++) {
    for (x = y & 1; x < Wid; x += 2) {
      if ((!get_dot(Dots, Hgt, Wid, x - 1, y - 1)) &&
          (!get_dot(Dots, Hgt, Wid, x + 1, y - 1)) &&
          (!get_dot(Dots, Hgt, Wid, x - 1, y + 1)) &&
          (!get_dot(Dots, Hgt, Wid, x + 1, y + 1)) &&
          ((!get_dot(Dots, Hgt, Wid, x, y)) ||
           ((!get_dot(Dots, Hgt, Wid, x - 2, y)) &&
            (!get_dot(Dots, Hgt, Wid, x, y - 2)) &&
            (!get_dot(Dots, Hgt, Wid, x + 2, y)) &&
            (!get_dot(Dots, Hgt, Wid, x, y + 2))))) {
        sum++;
      }
    }
  }
  return (worstedge - sum * sum);
}


x86 assembly (clang, -O0):
<score_array>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0xffffffff,-0x20(%rbp)
movl   $0xffffffff,-0x24(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    119b <score_array+0x8b>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
xor    %r8d,%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
je     1188 <score_array+0x78>
cmpl   $0x0,-0x20(%rbp)
jge    1179 <score_array+0x69>
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    118d <score_array+0x7d>
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    113e <score_array+0x2e>
mov    -0x28(%rbp),%eax
add    -0x24(%rbp),%eax
sub    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
imul   -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0xffffffff,-0x20(%rbp)
mov    -0x10(%rbp),%eax
and    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    122a <score_array+0x11a>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0xc(%rbp),%r8d
sub    $0x1,%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
je     1217 <score_array+0x107>
cmpl   $0x0,-0x20(%rbp)
jge    1208 <score_array+0xf8>
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    121c <score_array+0x10c>
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    11c8 <score_array+0xb8>
mov    -0x24(%rbp),%eax
sub    -0x20(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
imul   -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1252 <score_array+0x142>
mov    -0x28(%rbp),%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0xffffffff,-0x20(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12c4 <score_array+0x1b4>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x18(%rbp),%r8d
xor    %ecx,%ecx
call   1030 <get_dot@plt>
cmp    $0x0,%rax
je     12b1 <score_array+0x1a1>
cmpl   $0x0,-0x20(%rbp)
jge    12a2 <score_array+0x192>
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12b6 <score_array+0x1a6>
mov    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
jmp    1267 <score_array+0x157>
mov    -0x24(%rbp),%eax
sub    -0x20(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%eax
imul   -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    12ec <score_array+0x1dc>
mov    -0x28(%rbp),%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0xffffffff,-0x20(%rbp)
mov    -0xc(%rbp),%eax
and    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1364 <score_array+0x254>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x18(%rbp),%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
je     1351 <score_array+0x241>
cmpl   $0x0,-0x20(%rbp)
jge    1342 <score_array+0x232>
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1356 <score_array+0x246>
mov    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
jmp    1303 <score_array+0x1f3>
mov    -0x24(%rbp),%eax
sub    -0x20(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%eax
imul   -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    138c <score_array+0x27c>
mov    -0x28(%rbp),%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1534 <score_array+0x424>
mov    -0x18(%rbp),%eax
and    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1521 <score_array+0x411>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x18(%rbp),%r8d
sub    $0x1,%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
jne    150e <score_array+0x3fe>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
mov    -0x18(%rbp),%r8d
sub    $0x1,%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
jne    150e <score_array+0x3fe>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x18(%rbp),%r8d
add    $0x1,%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
jne    150e <score_array+0x3fe>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
mov    -0x18(%rbp),%r8d
add    $0x1,%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
jne    150e <score_array+0x3fe>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
je     1505 <score_array+0x3f5>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
sub    $0x2,%ecx
mov    -0x18(%rbp),%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
jne    150e <score_array+0x3fe>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
sub    $0x2,%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
jne    150e <score_array+0x3fe>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
add    $0x2,%ecx
mov    -0x18(%rbp),%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
jne    150e <score_array+0x3fe>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
add    $0x2,%r8d
call   1030 <get_dot@plt>
cmp    $0x0,%rax
jne    150e <score_array+0x3fe>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1513 <score_array+0x403>
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    13af <score_array+0x29f>
jmp    1526 <score_array+0x416>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    139a <score_array+0x28a>
mov    -0x1c(%rbp),%eax
mov    -0x28(%rbp),%ecx
imul   -0x28(%rbp),%ecx
sub    %ecx,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<score_array>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %rdx,0x8(%rsp)
test   %edx,%edx
mov    %rdi,0x20(%rsp)
mov    %rsi,0x18(%rsp)
jle    1207 <score_array+0xf7>
mov    $0xffffffff,%r13d
xor    %r12d,%r12d
mov    $0xffffffff,%ebx
xor    %ebp,%ebp
mov    0x8(%rsp),%r14
nopw   0x0(%rax,%rax,1)
mov    %ebx,%r15d
mov    0x20(%rsp),%rdi
mov    0x18(%rsp),%rsi
mov    %r14d,%edx
mov    %ebp,%ecx
xor    %r8d,%r8d
call   1030 <get_dot@plt>
test   %ebx,%ebx
cmovs  %ebp,%ebx
xor    %ecx,%ecx
test   %rax,%rax
cmove  %r15d,%ebx
cmovne %ebp,%r13d
setne  %cl
add    %ecx,%r12d
add    $0x2,%ebp
cmp    %r14d,%ebp
jl     1150 <score_array+0x40>
mov    %r13d,%eax
sub    %ebx,%eax
add    %r12d,%eax
mov    0x18(%rsp),%rsi
imul   %esi,%eax
cmp    $0x2,%r14d
jl     1219 <score_array+0x109>
mov    %eax,0x30(%rsp)
mov    %r14d,%ebp
and    $0x1,%ebp
lea    -0x1(%rsi),%eax
mov    %eax,0x14(%rsp)
mov    $0xffffffff,%ebx
mov    %r13d,%r12d
xor    %r13d,%r13d
nopl   0x0(%rax)
mov    %ebx,%r15d
mov    0x20(%rsp),%rdi
mov    0x18(%rsp),%rsi
mov    %r14d,%edx
mov    %ebp,%ecx
mov    0x14(%rsp),%r8d
call   1030 <get_dot@plt>
test   %ebx,%ebx
cmovs  %ebp,%ebx
xor    %ecx,%ecx
test   %rax,%rax
cmove  %r15d,%ebx
cmovne %ebp,%r12d
setne  %cl
add    %ecx,%r13d
add    $0x2,%ebp
cmp    %r14d,%ebp
jl     11c0 <score_array+0xb0>
mov    0x18(%rsp),%rsi
mov    0x30(%rsp),%eax
jmp    1224 <score_array+0x114>
mov    $0xffffffff,%ebx
xor    %eax,%eax
mov    $0xffffffff,%r12d
xor    %r13d,%r13d
jmp    1224 <score_array+0x114>
mov    %r13d,%r12d
xor    %r13d,%r13d
mov    $0xffffffff,%ebx
mov    %r12d,%ecx
sub    %ebx,%ecx
add    %r13d,%ecx
imul   %esi,%ecx
cmp    %eax,%ecx
cmovge %eax,%ecx
test   %esi,%esi
jle    130b <score_array+0x1fb>
mov    %ecx,0x14(%rsp)
mov    $0xffffffff,%ebx
xor    %r15d,%r15d
xor    %ebp,%ebp
mov    0x18(%rsp),%r14
nop
mov    %ebx,%r13d
mov    0x20(%rsp),%rdi
mov    %r14d,%esi
mov    0x8(%rsp),%rdx
xor    %ecx,%ecx
mov    %ebp,%r8d
call   1030 <get_dot@plt>
test   %ebx,%ebx
cmovs  %ebp,%ebx
xor    %ecx,%ecx
test   %rax,%rax
cmove  %r13d,%ebx
cmovne %ebp,%r12d
setne  %cl
add    %ecx,%r15d
add    $0x2,%ebp
cmp    %r14d,%ebp
jl     1250 <score_array+0x140>
mov    %r12d,%eax
sub    %ebx,%eax
add    %r15d,%eax
imul   0x8(%rsp),%eax
mov    0x14(%rsp),%ecx
cmp    %ecx,%eax
cmovge %ecx,%eax
mov    %eax,0x28(%rsp)
mov    $0xffffffff,%ebx
mov    0x18(%rsp),%rax
cmp    $0x2,%eax
mov    %r12d,%r13d
mov    %rax,%r12
jl     132a <score_array+0x21a>
mov    %r12d,%ebp
and    $0x1,%ebp
mov    0x8(%rsp),%rax
lea    -0x1(%rax),%r14d
mov    $0xffffffff,%ebx
xor    %r15d,%r15d
mov    0x20(%rsp),%rdi
mov    %r12d,%esi
mov    0x8(%rsp),%rdx
mov    %r14d,%ecx
mov    %ebp,%r8d
call   1030 <get_dot@plt>
test   %ebx,%ebx
mov    %ebx,%ecx
cmovs  %ebp,%ecx
xor    %edx,%edx
test   %rax,%rax
cmovne %ecx,%ebx
cmovne %ebp,%r13d
setne  %dl
add    %edx,%r15d
add    $0x2,%ebp
cmp    %r12d,%ebp
jl     12d0 <score_array+0x1c0>
jmp    132d <score_array+0x21d>
add    $0x1,%r12d
mov    %r12d,%eax
mov    0x8(%rsp),%r14
imul   %r14d,%eax
cmp    %ecx,%eax
cmovge %ecx,%eax
xor    %ecx,%ecx
mov    %r12d,%r13d
jmp    14ef <score_array+0x3df>
xor    %r15d,%r15d
sub    %ebx,%r13d
add    %r15d,%r13d
test   %r12d,%r12d
jle    14e4 <score_array+0x3d4>
mov    %r12,%rbx
movl   $0x0,0x2c(%rsp)
xor    %eax,%eax
mov    0x20(%rsp),%r15
mov    0x8(%rsp),%r14
mov    %r13d,0x40(%rsp)
jmp    1373 <score_array+0x263>
nopw   0x0(%rax,%rax,1)
mov    0x40(%rsp),%r13d
mov    0x14(%rsp),%ecx
mov    %ecx,%eax
cmp    %ebx,%ecx
je     14da <score_array+0x3ca>
mov    %eax,%r12d
and    $0x1,%r12d
cmp    %r14d,%r12d
jge    14d0 <score_array+0x3c0>
lea    -0x1(%rax),%r13d
lea    0x1(%rax),%ecx
mov    %ecx,0x14(%rsp)
lea    -0x2(%rax),%ecx
mov    %ecx,0x44(%rsp)
mov    %rax,0x30(%rsp)
add    $0x2,%eax
mov    %eax,0x3c(%rsp)
mov    %r13d,0x8(%rsp)
jmp    13be <score_array+0x2ae>
nopl   0x0(%rax,%rax,1)
mov    0x8(%rsp),%r13d
add    $0x2,%r12d
cmp    %r14d,%r12d
jge    1360 <score_array+0x250>
lea    -0x1(%r12),%ebp
mov    %r15,%rdi
mov    %ebx,%esi
mov    %r14d,%edx
mov    %ebp,%ecx
mov    %r13d,%r8d
call   1030 <get_dot@plt>
test   %rax,%rax
jne    13b5 <score_array+0x2a5>
mov    %r13d,%r8d
lea    0x1(%r12),%r13d
mov    %r15,%rdi
mov    %ebx,%esi
mov    %r14d,%edx
mov    %r13d,%ecx
call   1030 <get_dot@plt>
test   %rax,%rax
jne    13b0 <score_array+0x2a0>
mov    %r15,%rdi
mov    %ebx,%esi
mov    %r14d,%edx
mov    %ebp,%ecx
mov    0x14(%rsp),%ebp
mov    %ebp,%r8d
call   1030 <get_dot@plt>
test   %rax,%rax
jne    13b0 <score_array+0x2a0>
mov    %r15,%rdi
mov    %ebx,%esi
mov    %r14d,%edx
mov    %r13d,%ecx
mov    %ebp,%r8d
call   1030 <get_dot@plt>
test   %rax,%rax
jne    13b0 <score_array+0x2a0>
mov    %r15,%rdi
mov    %ebx,%esi
mov    %r14d,%edx
mov    %r12d,%ecx
mov    0x30(%rsp),%rbp
mov    %ebp,%r8d
call   1030 <get_dot@plt>
test   %rax,%rax
mov    0x8(%rsp),%r13d
je     14c6 <score_array+0x3b6>
lea    -0x2(%r12),%ecx
mov    %r15,%rdi
mov    %ebx,%esi
mov    %r14d,%edx
mov    %ebp,%r8d
call   1030 <get_dot@plt>
test   %rax,%rax
jne    13b5 <score_array+0x2a5>
mov    %r15,%rdi
mov    %ebx,%esi
mov    %r14d,%edx
mov    %r12d,%ecx
mov    0x44(%rsp),%r8d
call   1030 <get_dot@plt>
test   %rax,%rax
jne    13b5 <score_array+0x2a5>
lea    0x2(%r12),%ecx
mov    %r15,%rdi
mov    %ebx,%esi
mov    %r14d,%edx
mov    0x30(%rsp),%r8
call   1030 <get_dot@plt>
test   %rax,%rax
jne    13b5 <score_array+0x2a5>
mov    %r15,%rdi
mov    %ebx,%esi
mov    %r14d,%edx
mov    %r12d,%ecx
mov    0x3c(%rsp),%r8d
call   1030 <get_dot@plt>
test   %rax,%rax
jne    13b5 <score_array+0x2a5>
addl   $0x1,0x2c(%rsp)
jmp    13b5 <score_array+0x2a5>
add    $0x1,%eax
mov    %eax,%ecx
jmp    1369 <score_array+0x259>
mov    0x28(%rsp),%eax
mov    0x2c(%rsp),%ecx
jmp    14ef <score_array+0x3df>
mov    0x8(%rsp),%r14
mov    0x28(%rsp),%eax
xor    %ecx,%ecx
imul   %r14d,%r13d
cmp    %eax,%r13d
cmovge %eax,%r13d
imul   %ecx,%ecx
sub    %ecx,%r13d
mov    %r13d,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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