int addremcommon(int w, int h, int x, int y, int *own, int val) {
  int neighbours[8];
  int dir, count;
  for (dir = 0; dir < 8; dir++) {
    int dx = ((dir & 3) == 2 ? 0 : dir > 2 && dir < 6 ? +1 : -1);
    int dy = ((dir & 3) == 0 ? 0 : dir < 4 ? -1 : +1);
    int sx = x + dx, sy = y + dy;
    if (sx < 0 || sx >= w || sy < 0 || sy >= h)
      neighbours[dir] = -1;
    else
      neighbours[dir] = own[sy * w + sx];
  }
  if (neighbours[0] != val && neighbours[2] != val && neighbours[4] != val &&
      neighbours[6] != val)
    return 0;
  count = 0;
  for (dir = 0; dir < 8; dir++) {
    int next = (dir + 1) & 7;
    int gotthis = (neighbours[dir] == val);
    int gotnext = (neighbours[next] == val);
    if (gotthis != gotnext)
      count++;
  }
  return (count == 2);
}


x86 assembly (clang, -O0):
<addremcommon>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
movl   $0x0,-0x54(%rbp)
cmpl   $0x8,-0x54(%rbp)
jge    122a <addremcommon+0x12a>
mov    -0x54(%rbp),%eax
and    $0x3,%eax
cmp    $0x2,%eax
jne    1142 <addremcommon+0x42>
xor    %eax,%eax
mov    %eax,-0x78(%rbp)
jmp    1171 <addremcommon+0x71>
xor    %eax,%eax
cmpl   $0x2,-0x54(%rbp)
mov    %al,-0x79(%rbp)
jle    115b <addremcommon+0x5b>
cmpl   $0x6,-0x54(%rbp)
setl   %al
mov    %al,-0x79(%rbp)
mov    -0x79(%rbp),%dl
mov    $0xffffffff,%eax
mov    $0x1,%ecx
test   $0x1,%dl
cmovne %ecx,%eax
mov    %eax,-0x78(%rbp)
mov    -0x78(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x54(%rbp),%eax
and    $0x3,%eax
cmp    $0x0,%eax
jne    1190 <addremcommon+0x90>
xor    %eax,%eax
mov    %eax,-0x80(%rbp)
jmp    11a6 <addremcommon+0xa6>
mov    -0x54(%rbp),%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x4,%edx
cmovl  %ecx,%eax
mov    %eax,-0x80(%rbp)
mov    -0x80(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x10(%rbp),%eax
add    -0x5c(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x14(%rbp),%eax
add    -0x60(%rbp),%eax
mov    %eax,-0x68(%rbp)
cmpl   $0x0,-0x64(%rbp)
jl     11ea <addremcommon+0xea>
mov    -0x64(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11ea <addremcommon+0xea>
cmpl   $0x0,-0x68(%rbp)
jl     11ea <addremcommon+0xea>
mov    -0x68(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     11fb <addremcommon+0xfb>
movslq -0x54(%rbp),%rax
movl   $0xffffffff,-0x50(%rbp,%rax,4)
ff
jmp    1217 <addremcommon+0x117>
mov    -0x20(%rbp),%rax
mov    -0x68(%rbp),%ecx
imul   -0x8(%rbp),%ecx
add    -0x64(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x54(%rbp),%rax
mov    %ecx,-0x50(%rbp,%rax,4)
jmp    121c <addremcommon+0x11c>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    111f <addremcommon+0x1f>
mov    -0x50(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     1266 <addremcommon+0x166>
mov    -0x48(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     1266 <addremcommon+0x166>
mov    -0x40(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     1266 <addremcommon+0x166>
mov    -0x38(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     1266 <addremcommon+0x166>
movl   $0x0,-0x4(%rbp)
jmp    12ed <addremcommon+0x1ed>
movl   $0x0,-0x58(%rbp)
movl   $0x0,-0x54(%rbp)
cmpl   $0x8,-0x54(%rbp)
jge    12de <addremcommon+0x1de>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
and    $0x7,%eax
mov    %eax,-0x6c(%rbp)
movslq -0x54(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%eax
cmp    -0x24(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x70(%rbp)
movslq -0x6c(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%eax
cmp    -0x24(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x74(%rbp)
mov    -0x70(%rbp),%eax
cmp    -0x74(%rbp),%eax
je     12cb <addremcommon+0x1cb>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    12d0 <addremcommon+0x1d0>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1274 <addremcommon+0x174>
cmpl   $0x2,-0x58(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<addremcommon>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
lea    -0x1(%rdx),%r15d
test   %edx,%edx
jle    1162 <addremcommon+0x62>
mov    $0xffffffff,%ebp
mov    $0xffffffff,%r11d
cmp    %edi,%edx
jg     1143 <addremcommon+0x43>
mov    $0xffffffff,%r11d
test   %ecx,%ecx
js     1143 <addremcommon+0x43>
mov    $0xffffffff,%r11d
cmp    %esi,%ecx
jge    1143 <addremcommon+0x43>
mov    %ecx,%eax
imul   %edi,%eax
add    %r15d,%eax
cltq
mov    (%r8,%rax,4),%r11d
lea    -0x1(%rcx),%ebx
cmp    %edi,%edx
jg     1178 <addremcommon+0x78>
test   %ecx,%ecx
jle    1178 <addremcommon+0x78>
cmp    %esi,%ecx
jg     1178 <addremcommon+0x78>
mov    %ebx,%eax
imul   %edi,%eax
add    %r15d,%eax
cltq
mov    (%r8,%rax,4),%ebp
jmp    1178 <addremcommon+0x78>
lea    -0x1(%rcx),%ebx
mov    $0xffffffff,%ebp
test   %edx,%edx
js     135f <addremcommon+0x25f>
mov    $0xffffffff,%r11d
mov    $0xffffffff,%r14d
cmp    %edi,%edx
jge    1197 <addremcommon+0x97>
test   %ecx,%ecx
jle    1197 <addremcommon+0x97>
cmp    %esi,%ecx
jg     1197 <addremcommon+0x97>
mov    %ebx,%eax
imul   %edi,%eax
add    %edx,%eax
cltq
mov    (%r8,%rax,4),%r14d
mov    %ebp,-0x8(%rsp)
lea    0x1(%rdx),%ebp
xor    %eax,%eax
mov    $0xffffffff,%r12d
mov    $0xffffffff,%r10d
cmp    %edi,%ebp
jge    11d0 <addremcommon+0xd0>
mov    $0xffffffff,%r10d
test   %ecx,%ecx
jle    11d0 <addremcommon+0xd0>
mov    $0xffffffff,%r10d
cmp    %esi,%ecx
jg     11d0 <addremcommon+0xd0>
imul   %edi,%ebx
add    %ebp,%ebx
movslq %ebx,%rbx
mov    (%r8,%rbx,4),%r10d
cmp    %edi,%ebp
mov    %r15d,-0x4(%rsp)
jge    11ef <addremcommon+0xef>
test   %ecx,%ecx
js     11ef <addremcommon+0xef>
cmp    %esi,%ecx
jge    11ef <addremcommon+0xef>
mov    %ecx,%ebx
imul   %edi,%ebx
add    %ebp,%ebx
movslq %ebx,%rbx
mov    (%r8,%rbx,4),%r12d
lea    0x1(%rcx),%r15d
cmp    %edi,%ebp
jge    1212 <addremcommon+0x112>
cmp    $0xffffffff,%ecx
jl     1212 <addremcommon+0x112>
cmp    %esi,%r15d
jge    1212 <addremcommon+0x112>
mov    %r15d,%ebx
imul   %edi,%ebx
add    %ebp,%ebx
movslq %ebx,%rbx
mov    (%r8,%rbx,4),%ebp
jmp    1217 <addremcommon+0x117>
mov    $0xffffffff,%ebp
mov    $0xffffffff,%ebx
test   %al,%al
jne    1241 <addremcommon+0x141>
mov    $0xffffffff,%ebx
cmp    %edi,%edx
jge    1241 <addremcommon+0x141>
cmp    $0xffffffff,%ecx
jl     1241 <addremcommon+0x141>
cmp    %esi,%r15d
jge    1241 <addremcommon+0x141>
mov    %r15d,%eax
imul   %edi,%eax
add    %edx,%eax
cltq
mov    (%r8,%rax,4),%ebx
mov    $0xffffffff,%r13d
test   %edx,%edx
jle    1269 <addremcommon+0x169>
cmp    %edi,%edx
jg     1269 <addremcommon+0x169>
cmp    $0xffffffff,%ecx
jl     1269 <addremcommon+0x169>
cmp    %esi,%r15d
jge    1269 <addremcommon+0x169>
imul   %edi,%r15d
add    -0x4(%rsp),%r15d
movslq %r15d,%rax
mov    (%r8,%rax,4),%r13d
cmp    %r9d,%r11d
je     1283 <addremcommon+0x183>
cmp    %r9d,%r14d
je     1283 <addremcommon+0x183>
cmp    %r9d,%r12d
je     1283 <addremcommon+0x183>
xor    %eax,%eax
cmp    %r9d,%ebx
jne    1354 <addremcommon+0x254>
xor    %r8d,%r8d
cmp    %r9d,%ebx
sete   %r8b
xor    %edx,%edx
cmp    %r9d,%r12d
sete   %dl
xor    %esi,%esi
cmp    %r9d,%r14d
sete   %sil
xor    %ecx,%ecx
cmp    %r9d,%r11d
sete   %cl
xor    %eax,%eax
cmp    %r9d,-0x8(%rsp)
sete   %al
mov    %ebp,%edi
xor    %ebp,%ebp
cmp    %r9d,%r10d
sete   %bpl
xor    %ebx,%ebx
cmp    %r9d,%edi
sete   %bl
xor    %edi,%edi
cmp    %r9d,%r13d
movd   %ecx,%xmm0
pinsrw $0x1,%eax,%xmm0
pinsrw $0x2,%esi,%xmm0
pinsrw $0x3,%ebp,%xmm0
pinsrw $0x4,%edx,%xmm0
pinsrw $0x5,%ebx,%xmm0
pinsrw $0x6,%r8d,%xmm0
sete   %dil
pinsrw $0x7,%edi,%xmm0
movd   %eax,%xmm1
pinsrw $0x1,%esi,%xmm1
pinsrw $0x2,%ebp,%xmm1
pinsrw $0x3,%edx,%xmm1
pinsrw $0x4,%ebx,%xmm1
pinsrw $0x5,%r8d,%xmm1
pinsrw $0x6,%edi,%xmm1
pinsrw $0x7,%ecx,%xmm1
pxor   %xmm0,%xmm1
psllw  $0xf,%xmm1
packsswb %xmm1,%xmm1
pmovmskb %xmm1,%eax
mov    %eax,%ecx
shr    %cl
and    $0x55,%cl
sub    %cl,%al
mov    %eax,%ecx
and    $0x33,%cl
shr    $0x2,%al
and    $0x33,%al
add    %cl,%al
mov    %eax,%ecx
shr    $0x4,%cl
add    %al,%cl
and    $0xf,%cl
xor    %eax,%eax
cmp    $0x2,%cl
sete   %al
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0xffffffff,%r14d
cmp    $0xffffffff,%edx
je     13a2 <addremcommon+0x2a2>
mov    $0xffffffff,%ebx
mov    $0xffffffff,%r12d
mov    $0xffffffff,%r11d
movl   $0xffffffff,-0x8(%rsp)
ff
mov    $0xffffffff,%r10d
mov    $0xffffffff,%ebp
mov    $0xffffffff,%r13d
cmp    %r9d,%r11d
jne    126e <addremcommon+0x16e>
jmp    1283 <addremcommon+0x183>
mov    $0x1,%al
xor    %ebp,%ebp
mov    $0xffffffff,%r11d
movl   $0xffffffff,-0x8(%rsp)
ff
jmp    11a0 <addremcommon+0xa0>

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

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