#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__ explore(int, int, int **, int, int);
void domove(int row, int col, int board[8][8], int turn) {
  int i, tempr, tempc;
  for (i = 1; i <= 9; i++) {
    tempr = row;
    tempc = col;
    if (explore(row, col, board, turn, i))
      switch (i) {
      case 1:
        for (; (0 <= (tempr) && (tempr) < 8 && 0 <= (tempc) && (tempc) < 8) &&
               ((col == tempc && row == tempr) || board[tempr][tempc] != turn);
             tempr--, tempc--)
          board[tempr][tempc] = turn;
        break;
      case 2:
        for (; (0 <= (tempr) && (tempr) < 8 && 0 <= (tempc) && (tempc) < 8) &&
               ((col == tempc && row == tempr) || board[tempr][tempc] != turn);
             tempr--)
          board[tempr][tempc] = turn;
        break;
      case 3:
        for (; (0 <= (tempr) && (tempr) < 8 && 0 <= (tempc) && (tempc) < 8) &&
               ((col == tempc && row == tempr) || board[tempr][tempc] != turn);
             tempr--, tempc++)
          board[tempr][tempc] = turn;
        break;
      case 4:
        for (; (0 <= (tempr) && (tempr) < 8 && 0 <= (tempc) && (tempc) < 8) &&
               ((col == tempc && row == tempr) || board[tempr][tempc] != turn);
             tempc--)
          board[tempr][tempc] = turn;
        break;
      case 5:
        break;
      case 6:
        for (; (0 <= (tempr) && (tempr) < 8 && 0 <= (tempc) && (tempc) < 8) &&
               ((col == tempc && row == tempr) || board[tempr][tempc] != turn);
             tempc++)
          board[tempr][tempc] = turn;
        break;
      case 7:
        for (; (0 <= (tempr) && (tempr) < 8 && 0 <= (tempc) && (tempc) < 8) &&
               ((col == tempc && row == tempr) || board[tempr][tempc] != turn);
             tempr++, tempc--)
          board[tempr][tempc] = turn;
        break;
      case 8:
        for (; (0 <= (tempr) && (tempr) < 8 && 0 <= (tempc) && (tempc) < 8) &&
               ((col == tempc && row == tempr) || board[tempr][tempc] != turn);
             tempr++)
          board[tempr][tempc] = turn;
        break;
      case 9:
        for (; (0 <= (tempr) && (tempr) < 8 && 0 <= (tempc) && (tempc) < 8) &&
               ((col == tempc && row == tempr) || board[tempr][tempc] != turn);
             tempr++, tempc++)
          board[tempr][tempc] = turn;
        break;
      }
  }
}


x86 assembly (clang, -O0):
<domove>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
movl   $0x1,-0x18(%rbp)
cmpl   $0x9,-0x18(%rbp)
jg     17d4 <domove+0x6c4>
mov    -0x4(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x10(%rbp),%rdx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
call   1030 <explore@plt>
cmp    $0x0,%rax
je     17c1 <domove+0x6b1>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x28(%rbp)
sub    $0x8,%eax
ja     17bc <domove+0x6ac>
mov    -0x28(%rbp),%rax
lea    0xe7e(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
jmp    1190 <domove+0x80>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x29(%rbp)
jg     1210 <domove+0x100>
xor    %eax,%eax
cmpl   $0x8,-0x1c(%rbp)
mov    %al,-0x29(%rbp)
jge    1210 <domove+0x100>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x20(%rbp),%ecx
mov    %al,-0x29(%rbp)
jg     1210 <domove+0x100>
xor    %eax,%eax
cmpl   $0x8,-0x20(%rbp)
mov    %al,-0x29(%rbp)
jge    1210 <domove+0x100>
mov    -0x8(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    11eb <domove+0xdb>
mov    -0x4(%rbp),%ecx
mov    $0x1,%al
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x2a(%rbp)
je     120a <domove+0xfa>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
setne  %al
mov    %al,-0x2a(%rbp)
mov    -0x2a(%rbp),%al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    1220 <domove+0x110>
jmp    1250 <domove+0x140>
mov    -0x14(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    1190 <domove+0x80>
jmp    17bc <domove+0x6ac>
jmp    125a <domove+0x14a>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x2b(%rbp)
jg     12da <domove+0x1ca>
xor    %eax,%eax
cmpl   $0x8,-0x1c(%rbp)
mov    %al,-0x2b(%rbp)
jge    12da <domove+0x1ca>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x20(%rbp),%ecx
mov    %al,-0x2b(%rbp)
jg     12da <domove+0x1ca>
xor    %eax,%eax
cmpl   $0x8,-0x20(%rbp)
mov    %al,-0x2b(%rbp)
jge    12da <domove+0x1ca>
mov    -0x8(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    12b5 <domove+0x1a5>
mov    -0x4(%rbp),%ecx
mov    $0x1,%al
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x2c(%rbp)
je     12d4 <domove+0x1c4>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
setne  %al
mov    %al,-0x2c(%rbp)
mov    -0x2c(%rbp),%al
mov    %al,-0x2b(%rbp)
mov    -0x2b(%rbp),%al
test   $0x1,%al
jne    12ea <domove+0x1da>
jmp    1311 <domove+0x201>
mov    -0x14(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    125a <domove+0x14a>
jmp    17bc <domove+0x6ac>
jmp    131b <domove+0x20b>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x2d(%rbp)
jg     139b <domove+0x28b>
xor    %eax,%eax
cmpl   $0x8,-0x1c(%rbp)
mov    %al,-0x2d(%rbp)
jge    139b <domove+0x28b>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x20(%rbp),%ecx
mov    %al,-0x2d(%rbp)
jg     139b <domove+0x28b>
xor    %eax,%eax
cmpl   $0x8,-0x20(%rbp)
mov    %al,-0x2d(%rbp)
jge    139b <domove+0x28b>
mov    -0x8(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    1376 <domove+0x266>
mov    -0x4(%rbp),%ecx
mov    $0x1,%al
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x2e(%rbp)
je     1395 <domove+0x285>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
setne  %al
mov    %al,-0x2e(%rbp)
mov    -0x2e(%rbp),%al
mov    %al,-0x2d(%rbp)
mov    -0x2d(%rbp),%al
test   $0x1,%al
jne    13ab <domove+0x29b>
jmp    13db <domove+0x2cb>
mov    -0x14(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    131b <domove+0x20b>
jmp    17bc <domove+0x6ac>
jmp    13e5 <domove+0x2d5>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x2f(%rbp)
jg     1465 <domove+0x355>
xor    %eax,%eax
cmpl   $0x8,-0x1c(%rbp)
mov    %al,-0x2f(%rbp)
jge    1465 <domove+0x355>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x20(%rbp),%ecx
mov    %al,-0x2f(%rbp)
jg     1465 <domove+0x355>
xor    %eax,%eax
cmpl   $0x8,-0x20(%rbp)
mov    %al,-0x2f(%rbp)
jge    1465 <domove+0x355>
mov    -0x8(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    1440 <domove+0x330>
mov    -0x4(%rbp),%ecx
mov    $0x1,%al
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x30(%rbp)
je     145f <domove+0x34f>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
setne  %al
mov    %al,-0x30(%rbp)
mov    -0x30(%rbp),%al
mov    %al,-0x2f(%rbp)
mov    -0x2f(%rbp),%al
test   $0x1,%al
jne    1475 <domove+0x365>
jmp    149c <domove+0x38c>
mov    -0x14(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    13e5 <domove+0x2d5>
jmp    17bc <domove+0x6ac>
jmp    17bc <domove+0x6ac>
jmp    14ab <domove+0x39b>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x31(%rbp)
jg     152b <domove+0x41b>
xor    %eax,%eax
cmpl   $0x8,-0x1c(%rbp)
mov    %al,-0x31(%rbp)
jge    152b <domove+0x41b>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x20(%rbp),%ecx
mov    %al,-0x31(%rbp)
jg     152b <domove+0x41b>
xor    %eax,%eax
cmpl   $0x8,-0x20(%rbp)
mov    %al,-0x31(%rbp)
jge    152b <domove+0x41b>
mov    -0x8(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    1506 <domove+0x3f6>
mov    -0x4(%rbp),%ecx
mov    $0x1,%al
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x32(%rbp)
je     1525 <domove+0x415>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
setne  %al
mov    %al,-0x32(%rbp)
mov    -0x32(%rbp),%al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    153b <domove+0x42b>
jmp    1562 <domove+0x452>
mov    -0x14(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    14ab <domove+0x39b>
jmp    17bc <domove+0x6ac>
jmp    156c <domove+0x45c>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x33(%rbp)
jg     15ec <domove+0x4dc>
xor    %eax,%eax
cmpl   $0x8,-0x1c(%rbp)
mov    %al,-0x33(%rbp)
jge    15ec <domove+0x4dc>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x20(%rbp),%ecx
mov    %al,-0x33(%rbp)
jg     15ec <domove+0x4dc>
xor    %eax,%eax
cmpl   $0x8,-0x20(%rbp)
mov    %al,-0x33(%rbp)
jge    15ec <domove+0x4dc>
mov    -0x8(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    15c7 <domove+0x4b7>
mov    -0x4(%rbp),%ecx
mov    $0x1,%al
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x34(%rbp)
je     15e6 <domove+0x4d6>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
setne  %al
mov    %al,-0x34(%rbp)
mov    -0x34(%rbp),%al
mov    %al,-0x33(%rbp)
mov    -0x33(%rbp),%al
test   $0x1,%al
jne    15fc <domove+0x4ec>
jmp    162c <domove+0x51c>
mov    -0x14(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    156c <domove+0x45c>
jmp    17bc <domove+0x6ac>
jmp    1636 <domove+0x526>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x35(%rbp)
jg     16b6 <domove+0x5a6>
xor    %eax,%eax
cmpl   $0x8,-0x1c(%rbp)
mov    %al,-0x35(%rbp)
jge    16b6 <domove+0x5a6>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x20(%rbp),%ecx
mov    %al,-0x35(%rbp)
jg     16b6 <domove+0x5a6>
xor    %eax,%eax
cmpl   $0x8,-0x20(%rbp)
mov    %al,-0x35(%rbp)
jge    16b6 <domove+0x5a6>
mov    -0x8(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    1691 <domove+0x581>
mov    -0x4(%rbp),%ecx
mov    $0x1,%al
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x36(%rbp)
je     16b0 <domove+0x5a0>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
setne  %al
mov    %al,-0x36(%rbp)
mov    -0x36(%rbp),%al
mov    %al,-0x35(%rbp)
mov    -0x35(%rbp),%al
test   $0x1,%al
jne    16c6 <domove+0x5b6>
jmp    16ed <domove+0x5dd>
mov    -0x14(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1636 <domove+0x526>
jmp    17bc <domove+0x6ac>
jmp    16f7 <domove+0x5e7>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x37(%rbp)
jg     1777 <domove+0x667>
xor    %eax,%eax
cmpl   $0x8,-0x1c(%rbp)
mov    %al,-0x37(%rbp)
jge    1777 <domove+0x667>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x20(%rbp),%ecx
mov    %al,-0x37(%rbp)
jg     1777 <domove+0x667>
xor    %eax,%eax
cmpl   $0x8,-0x20(%rbp)
mov    %al,-0x37(%rbp)
jge    1777 <domove+0x667>
mov    -0x8(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    1752 <domove+0x642>
mov    -0x4(%rbp),%ecx
mov    $0x1,%al
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x38(%rbp)
je     1771 <domove+0x661>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
setne  %al
mov    %al,-0x38(%rbp)
mov    -0x38(%rbp),%al
mov    %al,-0x37(%rbp)
mov    -0x37(%rbp),%al
test   $0x1,%al
jne    1787 <domove+0x677>
jmp    17b7 <domove+0x6a7>
mov    -0x14(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    16f7 <domove+0x5e7>
jmp    17bc <domove+0x6ac>
jmp    17c1 <domove+0x6b1>
jmp    17c6 <domove+0x6b6>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    112c <domove+0x1c>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<domove>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
mov    %ecx,%r12d
mov    %rdx,%r11
mov    %edi,%eax
or     %esi,%eax
mov    %eax,(%rsp)
mov    %esi,%r13d
mov    %edi,%eax
shl    $0x5,%rax
add    %rdx,%rax
lea    -0x1(%r13),%rcx
cmp    $0x7,%edi
setb   %r14b
test   %esi,%esi
setg   %dl
and    %r14b,%dl
mov    %dl,0x12(%rsp)
lea    -0x2(%r13),%rdx
cmp    $0x6,%edi
setb   %r15b
test   %ecx,%ecx
setg   %cl
and    %r15b,%cl
mov    %cl,0x10(%rsp)
lea    -0x3(%r13),%rcx
cmp    $0x5,%edi
setb   %r8b
test   %edx,%edx
setg   %dl
and    %r8b,%dl
mov    %dl,0xe(%rsp)
lea    -0x4(%r13),%rdx
cmp    $0x4,%edi
setb   %r9b
test   %ecx,%ecx
setg   %cl
and    %r9b,%cl
mov    %cl,0xc(%rsp)
lea    -0x5(%r13),%rcx
cmp    $0x3,%edi
setb   %r10b
test   %edx,%edx
setg   %dl
and    %r10b,%dl
mov    %dl,0xa(%rsp)
lea    -0x6(%r13),%rbp
cmp    $0x2,%edi
setb   %dl
test   %ecx,%ecx
setg   %cl
and    %dl,%cl
mov    %cl,0x8(%rsp)
test   %edi,%edi
sete   %cl
test   %ebp,%ebp
setg   %bl
and    %cl,%bl
mov    %bl,0x6(%rsp)
cmp    $0x7,%esi
setl   %bl
and    %r14b,%bl
mov    %bl,0x13(%rsp)
lea    0x1(%r13),%rbx
cmp    $0x7,%ebx
setl   %bl
and    %r15b,%bl
mov    %bl,0x11(%rsp)
lea    0x2(%r13),%rbx
cmp    $0x7,%ebx
setl   %bl
and    %r8b,%bl
mov    %bl,0xf(%rsp)
lea    0x3(%r13),%rbp
cmp    $0x7,%ebp
setl   %bl
and    %r9b,%bl
mov    %bl,0xd(%rsp)
lea    0x4(%r13),%rbp
cmp    $0x7,%ebp
setl   %bl
and    %r10b,%bl
mov    %bl,0xb(%rsp)
lea    0x5(%r13),%rbp
cmp    $0x7,%ebp
setl   %bl
and    %dl,%bl
mov    %bl,0x9(%rsp)
lea    0x6(%r13),%rdx
cmp    $0x7,%edx
setl   %dl
and    %cl,%dl
mov    %dl,0x7(%rsp)
lea    (%rax,%r13,4),%r9
lea    (%rax,%r13,4),%rcx
add    $0x1c,%rcx
mov    %rcx,0x78(%rsp)
lea    0x38(%rax,%r13,4),%rcx
mov    %rcx,0x68(%rsp)
lea    0x54(%rax,%r13,4),%rcx
mov    %rcx,0x58(%rsp)
lea    0x70(%rax,%r13,4),%rcx
mov    %rcx,0x48(%rsp)
lea    0x8c(%rax,%r13,4),%rcx
mov    %rcx,0x38(%rsp)
lea    0xa8(%rax,%r13,4),%rcx
mov    %rcx,0x28(%rsp)
lea    0xc4(%rax,%r13,4),%rcx
mov    %rcx,0x18(%rsp)
lea    0x24(%rax,%r13,4),%rcx
mov    %rcx,0x80(%rsp)
lea    0x48(%rax,%r13,4),%rcx
mov    %rcx,0x70(%rsp)
lea    0x6c(%rax,%r13,4),%rcx
mov    %rcx,0x60(%rsp)
lea    0x90(%rax,%r13,4),%rcx
mov    %rcx,0x50(%rsp)
lea    0xb4(%rax,%r13,4),%rcx
mov    %rcx,0x40(%rsp)
lea    0xd8(%rax,%r13,4),%rcx
mov    %rcx,0x30(%rsp)
lea    0xfc(%rax,%r13,4),%rax
mov    %rax,0x20(%rsp)
lea    0x1(%rdi),%eax
mov    %rax,0x90(%rsp)
lea    (%r11,%r13,4),%rax
mov    %rax,0x88(%rsp)
mov    $0x1,%r14d
mov    %r12d,0x14(%rsp)
jmp    132e <domove+0x21e>
mov    0x18(%rsp),%rax
mov    %r12d,(%rax)
nopw   0x0(%rax,%rax,1)
add    $0x1,%r14d
cmp    $0xa,%r14d
je     173b <domove+0x62b>
mov    %r11,%rdx
mov    %r12d,%ecx
mov    %r13,%r12
mov    %r9,%r13
mov    %r14d,%r8d
mov    %esi,%ebx
mov    %rdi,%rbp
mov    %r11,%r15
call   1030 <explore@plt>
mov    %r13,%r9
mov    %r12,%r13
mov    0x14(%rsp),%r12d
mov    %r15,%r11
mov    %rbp,%rdi
mov    %ebx,%esi
test   %rax,%rax
je     1320 <domove+0x210>
lea    -0x1(%r14),%eax
cmp    $0x8,%eax
ja     1320 <domove+0x210>
lea    0xc8e(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
cmpl   $0x7,(%rsp)
ja     1320 <domove+0x210>
xor    %eax,%eax
mov    0x88(%rsp),%rcx
mov    %esi,%ebx
mov    %edi,%edx
nop
mov    %edx,%ebp
shl    $0x5,%rbp
add    %rcx,%rbp
test   %rax,%rax
jne    13a2 <domove+0x292>
test   %eax,%eax
je     13ac <domove+0x29c>
cmp    %r12d,0x0(%rbp)
je     1320 <domove+0x210>
mov    %r12d,0x0(%rbp)
add    $0xffffffff,%edx
cmp    $0x7,%edx
ja     1320 <domove+0x210>
lea    -0x1(%rbx),%ebp
add    $0xfffffffffffffffc,%rcx
add    $0x1,%rax
test   %ebx,%ebx
mov    %ebp,%ebx
jg     1390 <domove+0x280>
jmp    1320 <domove+0x210>
cmpl   $0x7,(%rsp)
ja     1320 <domove+0x210>
xor    %eax,%eax
mov    %edi,%ecx
jmp    1411 <domove+0x301>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %rcx,%rdx
shl    $0x5,%rdx
add    %r11,%rdx
mov    %r12d,(%rdx,%r13,4)
add    $0xffffffff,%ecx
mov    %ecx,%edx
or     %esi,%edx
add    $0x1,%eax
cmp    $0x8,%edx
jae    1320 <domove+0x210>
mov    %ecx,%ecx
test   %eax,%eax
je     13f0 <domove+0x2e0>
mov    %rcx,%rdx
shl    $0x5,%rdx
add    %r11,%rdx
cmp    %r12d,(%rdx,%r13,4)
jne    13f0 <domove+0x2e0>
jmp    1320 <domove+0x210>
cmpl   $0x7,(%rsp)
ja     1320 <domove+0x210>
xor    %eax,%eax
mov    %edi,%ecx
nopw   0x0(%rax,%rax,1)
mov    %ecx,%edx
shl    $0x5,%rdx
add    0x88(%rsp),%rdx
test   %rax,%rax
jne    1457 <domove+0x347>
test   %eax,%eax
je     1461 <domove+0x351>
cmp    %r12d,(%rdx,%rax,4)
je     1320 <domove+0x210>
mov    %r12d,(%rdx,%rax,4)
add    $0xffffffff,%ecx
cmp    $0x7,%ecx
ja     1320 <domove+0x210>
lea    (%rax,%r13,1),%edx
add    $0x1,%rax
cmp    $0x7,%edx
jl     1440 <domove+0x330>
jmp    1320 <domove+0x210>
cmpl   $0x7,(%rsp)
ja     1320 <domove+0x210>
xor    %ecx,%ecx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
sub    $0x1,%rax
jb     14b0 <domove+0x3a0>
cmp    %r12d,(%r9,%rcx,4)
je     1320 <domove+0x210>
mov    %r12d,(%r9,%rcx,4)
cmp    $0x7,%edi
ja     1320 <domove+0x210>
add    %r13d,%ecx
test   %ecx,%ecx
mov    %rax,%rcx
jg     14a0 <domove+0x390>
jmp    1320 <domove+0x210>
cmpl   $0x7,(%rsp)
ja     1320 <domove+0x210>
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
test   %rax,%rax
je     14ef <domove+0x3df>
cmp    %r12d,(%r9,%rax,4)
je     1320 <domove+0x210>
mov    %r12d,(%r9,%rax,4)
cmp    $0x7,%edi
ja     1320 <domove+0x210>
lea    (%rax,%r13,1),%ecx
add    $0x1,%rax
cmp    $0x7,%ecx
jl     14e0 <domove+0x3d0>
jmp    1320 <domove+0x210>
cmpl   $0x8,(%rsp)
jae    1320 <domove+0x210>
mov    %r12d,(%r9)
cmpb   $0x0,0x12(%rsp)
je     1320 <domove+0x210>
mov    0x78(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x78(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0x10(%rsp)
je     1320 <domove+0x210>
mov    0x68(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x68(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0xe(%rsp)
je     1320 <domove+0x210>
mov    0x58(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x58(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0xc(%rsp)
je     1320 <domove+0x210>
mov    0x48(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x48(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0xa(%rsp)
je     1320 <domove+0x210>
mov    0x38(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x38(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0x8(%rsp)
je     1320 <domove+0x210>
mov    0x28(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x28(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0x6(%rsp)
je     1320 <domove+0x210>
mov    0x18(%rsp),%rax
cmp    %r12d,(%rax)
jne    1312 <domove+0x202>
jmp    1320 <domove+0x210>
cmpl   $0x7,(%rsp)
ja     1320 <domove+0x210>
xor    %eax,%eax
mov    %r9,%rcx
jmp    1630 <domove+0x520>
mov    %r12d,(%rcx)
mov    0x90(%rsp),%rdx
add    %eax,%edx
or     %esi,%edx
add    $0x20,%rcx
add    $0x1,%rax
cmp    $0x8,%edx
jae    1320 <domove+0x210>
test   %rax,%rax
je     1610 <domove+0x500>
cmp    %r12d,(%rcx)
jne    1610 <domove+0x500>
jmp    1320 <domove+0x210>
cmpl   $0x8,(%rsp)
jae    173b <domove+0x62b>
mov    %r12d,(%r9)
cmpb   $0x0,0x13(%rsp)
je     1320 <domove+0x210>
mov    0x80(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x80(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0x11(%rsp)
je     1320 <domove+0x210>
mov    0x70(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x70(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0xf(%rsp)
je     1320 <domove+0x210>
mov    0x60(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x60(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0xd(%rsp)
je     1320 <domove+0x210>
mov    0x50(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x50(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0xb(%rsp)
je     1320 <domove+0x210>
mov    0x40(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x40(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0x9(%rsp)
je     1320 <domove+0x210>
mov    0x30(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x30(%rsp),%rax
mov    %r12d,(%rax)
cmpb   $0x0,0x7(%rsp)
je     1320 <domove+0x210>
mov    0x20(%rsp),%rax
cmp    %r12d,(%rax)
je     1320 <domove+0x210>
mov    0x20(%rsp),%rax
jmp    1317 <domove+0x207>
add    $0x98,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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