int valid_moves(char board[][6], int moves[][6], char player) {
  int rowdelta = 0;
  int coldelta = 0;
  int row = 0;
  int col = 0;
  int x = 0;
  int y = 0;
  int no_of_moves = 0;
  char opponent = (player == 'O') ? '@' : 'O';
  for (row = 0; row < 6; row++)
    for (col = 0; col < 6; col++)
      moves[row][col] = 0;
  for (row = 0; row < 6; row++)
    for (col = 0; col < 6; col++) {
      if (board[row][col] != ' ')
        continue;
      for (rowdelta = -1; rowdelta <= 1; rowdelta++)
        for (coldelta = -1; coldelta <= 1; coldelta++) {
          if (row + rowdelta < 0 || row + rowdelta >= 6 || col + coldelta < 0 ||
              col + coldelta >= 6 || (rowdelta == 0 && coldelta == 0))
            continue;
          if (board[row + rowdelta][col + coldelta] == opponent) {
            x = row + rowdelta;
            y = col + coldelta;
            for (;;) {
              x += rowdelta;
              y += coldelta;
              if (x < 0 || x >= 6 || y < 0 || y >= 6)
                break;
              if (board[x][y] == ' ')
                break;
              if (board[x][y] == player) {
                moves[row][col] = 1;
                no_of_moves++;
                break;
              }
            }
          }
        }
    }
  return no_of_moves;
}


x86 assembly (clang, -O0):
<valid_moves>:
push   %rbp
mov    %rsp,%rbp
mov    %dl,%al
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %al,-0x11(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movsbl -0x11(%rbp),%edx
mov    $0x4f,%eax
mov    $0x40,%ecx
cmp    $0x4f,%edx
cmove  %ecx,%eax
mov    %al,-0x31(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x6,-0x20(%rbp)
jge    11b6 <valid_moves+0xb6>
movl   $0x0,-0x24(%rbp)
cmpl   $0x6,-0x24(%rbp)
jge    11a3 <valid_moves+0xa3>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0x18,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1171 <valid_moves+0x71>
jmp    11a8 <valid_moves+0xa8>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1160 <valid_moves+0x60>
movl   $0x0,-0x20(%rbp)
cmpl   $0x6,-0x20(%rbp)
jge    13b8 <valid_moves+0x2b8>
movl   $0x0,-0x24(%rbp)
cmpl   $0x6,-0x24(%rbp)
jge    13a5 <valid_moves+0x2a5>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0x6,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     11fd <valid_moves+0xfd>
jmp    1397 <valid_moves+0x297>
movl   $0xffffffff,-0x18(%rbp)
cmpl   $0x1,-0x18(%rbp)
jg     1392 <valid_moves+0x292>
movl   $0xffffffff,-0x1c(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jg     137f <valid_moves+0x27f>
mov    -0x20(%rbp),%eax
add    -0x18(%rbp),%eax
cmp    $0x0,%eax
jl     126f <valid_moves+0x16f>
mov    -0x20(%rbp),%eax
add    -0x18(%rbp),%eax
cmp    $0x6,%eax
jge    126f <valid_moves+0x16f>
mov    -0x24(%rbp),%eax
add    -0x1c(%rbp),%eax
cmp    $0x0,%eax
jl     126f <valid_moves+0x16f>
mov    -0x24(%rbp),%eax
add    -0x1c(%rbp),%eax
cmp    $0x6,%eax
jge    126f <valid_moves+0x16f>
cmpl   $0x0,-0x18(%rbp)
jne    1274 <valid_moves+0x174>
cmpl   $0x0,-0x1c(%rbp)
jne    1274 <valid_moves+0x174>
jmp    1371 <valid_moves+0x271>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
imul   $0x6,%rcx,%rcx
add    %rcx,%rax
mov    -0x24(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x31(%rbp),%ecx
cmp    %ecx,%eax
jne    136c <valid_moves+0x26c>
mov    -0x20(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x28(%rbp)
jl     12ed <valid_moves+0x1ed>
cmpl   $0x6,-0x28(%rbp)
jge    12ed <valid_moves+0x1ed>
cmpl   $0x0,-0x2c(%rbp)
jl     12ed <valid_moves+0x1ed>
cmpl   $0x6,-0x2c(%rbp)
jl     12f2 <valid_moves+0x1f2>
jmp    1367 <valid_moves+0x267>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   $0x6,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
jne    1317 <valid_moves+0x217>
jmp    1367 <valid_moves+0x267>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   $0x6,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    1362 <valid_moves+0x262>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0x18,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1367 <valid_moves+0x267>
jmp    12b3 <valid_moves+0x1b3>
jmp    136c <valid_moves+0x26c>
jmp    1371 <valid_moves+0x271>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1215 <valid_moves+0x115>
jmp    1384 <valid_moves+0x284>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1204 <valid_moves+0x104>
jmp    1397 <valid_moves+0x297>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11ce <valid_moves+0xce>
jmp    13aa <valid_moves+0x2aa>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11bd <valid_moves+0xbd>
mov    -0x30(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<valid_moves>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
cmp    $0x4f,%dl
xorps  %xmm0,%xmm0
movups %xmm0,0x80(%rsi)
movups %xmm0,0x70(%rsi)
movups %xmm0,0x60(%rsi)
movups %xmm0,0x50(%rsi)
movups %xmm0,0x40(%rsi)
movups %xmm0,0x30(%rsi)
movups %xmm0,0x20(%rsi)
movups %xmm0,0x10(%rsi)
mov    $0x40,%eax
mov    $0x4f,%r8d
cmove  %eax,%r8d
mov    %rsi,-0x28(%rsp)
movups %xmm0,(%rsi)
xor    %r11d,%r11d
movl   $0xfffffffe,-0x34(%rsp)
ff
movl   $0x0,-0x38(%rsp)
jmp    1173 <valid_moves+0x73>
nop
add    $0x1,%r11
addl   $0x1,-0x34(%rsp)
cmp    $0x6,%r11
je     13fc <valid_moves+0x2fc>
mov    $0x1,%r10d
xor    %r15d,%r15d
jmp    118e <valid_moves+0x8e>
xchg   %ax,%ax
add    $0x1,%r15
add    $0x1,%r10
cmp    $0x6,%r15
je     1160 <valid_moves+0x60>
lea    (%r11,%r11,2),%rax
lea    (%rdi,%rax,2),%rcx
cmpb   $0x20,(%r15,%rcx,1)
jne    1180 <valid_moves+0x80>
mov    -0x28(%rsp),%rcx
lea    (%rcx,%rax,8),%rax
lea    (%rax,%r15,4),%rax
mov    %rax,-0x30(%rsp)
lea    -0x1(%r15),%r14d
lea    0x1(%r15),%rax
lea    0x1(%r10),%rcx
mov    %rcx,-0x8(%rsp)
lea    0x2(%r10),%rcx
mov    %rcx,-0x10(%rsp)
lea    0x3(%r10),%rcx
mov    %rcx,-0x18(%rsp)
lea    0x4(%r10),%rcx
mov    %rcx,-0x20(%rsp)
mov    $0xffffffff,%esi
mov    -0x34(%rsp),%r13d
jmp    1210 <valid_moves+0x110>
mov    -0x30(%rsp),%rcx
movl   $0x1,(%rcx)
addl   $0x1,-0x38(%rsp)
nopw   0x0(%rax,%rax,1)
add    $0x1,%esi
add    $0x2,%r13d
cmp    $0x2,%esi
je     1180 <valid_moves+0x80>
lea    (%rsi,%r11,1),%ebp
cmp    $0x5,%ebp
ja     1200 <valid_moves+0x100>
cmp    $0x5,%r14d
ja     1290 <valid_moves+0x190>
lea    0x0(,%rbp,2),%rcx
add    %rbp,%rcx
lea    (%rdi,%rcx,2),%rcx
movsbl (%r14,%rcx,1),%ecx
cmp    %ecx,%r8d
jne    1290 <valid_moves+0x190>
mov    %r13d,%r9d
mov    %r14d,%r12d
xchg   %ax,%ax
cmp    $0x5,%r9d
ja     127d <valid_moves+0x17d>
test   %r12d,%r12d
jle    127d <valid_moves+0x17d>
add    $0xffffffff,%r12d
mov    %r9d,%ecx
mov    %r12d,%ebx
lea    (%rcx,%rcx,2),%rcx
lea    (%rdi,%rcx,2),%rcx
movzbl (%rbx,%rcx,1),%ebx
cmp    $0x20,%bl
je     127d <valid_moves+0x17d>
add    %esi,%r9d
cmp    %dl,%bl
jne    1240 <valid_moves+0x140>
mov    -0x30(%rsp),%rcx
movl   $0x1,(%rcx)
addl   $0x1,-0x38(%rsp)
cmp    $0x5,%ebp
ja     1200 <valid_moves+0x100>
cs nopw 0x0(%rax,%rax,1)
test   %esi,%esi
je     12f0 <valid_moves+0x1f0>
lea    0x0(,%rbp,2),%rcx
add    %rbp,%rcx
lea    (%rdi,%rcx,2),%rcx
movsbl (%r15,%rcx,1),%ecx
cmp    %ecx,%r8d
jne    12f0 <valid_moves+0x1f0>
mov    %r13d,%ebx
cmp    $0x5,%ebx
ja     12df <valid_moves+0x1df>
mov    %ebx,%ecx
lea    (%rcx,%rcx,2),%rcx
lea    (%rdi,%rcx,2),%rcx
movzbl (%r15,%rcx,1),%ecx
cmp    $0x20,%cl
je     12df <valid_moves+0x1df>
add    %esi,%ebx
cmp    %dl,%cl
jne    12b0 <valid_moves+0x1b0>
mov    -0x30(%rsp),%rcx
movl   $0x1,(%rcx)
addl   $0x1,-0x38(%rsp)
cmp    $0x5,%ebp
ja     1200 <valid_moves+0x100>
nopl   0x0(%rax,%rax,1)
cmp    $0x4,%r15
ja     1200 <valid_moves+0x100>
lea    0x0(,%rbp,2),%rcx
add    %rbp,%rcx
lea    (%rdi,%rcx,2),%rcx
movsbl (%rax,%rcx,1),%ecx
cmp    %ecx,%r8d
jne    1200 <valid_moves+0x100>
add    %esi,%ebp
cmp    $0x5,%ebp
ja     1200 <valid_moves+0x100>
cmp    $0x4,%r10
ja     1200 <valid_moves+0x100>
mov    %ebp,%ecx
lea    (%rcx,%rcx,2),%rcx
lea    (%rdi,%rcx,2),%rcx
mov    -0x8(%rsp),%rbx
mov    (%rbx,%rcx,1),%cl
cmp    $0x20,%cl
je     1200 <valid_moves+0x100>
cmp    %dl,%cl
je     11e7 <valid_moves+0xe7>
add    %esi,%ebp
cmp    $0x5,%ebp
ja     1200 <valid_moves+0x100>
cmp    $0x3,%r10
ja     1200 <valid_moves+0x100>
mov    %ebp,%ecx
lea    (%rcx,%rcx,2),%rcx
lea    (%rdi,%rcx,2),%rcx
mov    -0x10(%rsp),%rbx
mov    (%rbx,%rcx,1),%cl
cmp    $0x20,%cl
je     1200 <valid_moves+0x100>
cmp    %dl,%cl
je     11e7 <valid_moves+0xe7>
add    %esi,%ebp
cmp    $0x5,%ebp
ja     1200 <valid_moves+0x100>
cmp    $0x2,%r10
ja     1200 <valid_moves+0x100>
mov    %ebp,%ecx
lea    (%rcx,%rcx,2),%rcx
lea    (%rdi,%rcx,2),%rcx
mov    -0x18(%rsp),%rbx
mov    (%rbx,%rcx,1),%cl
cmp    $0x20,%cl
je     1200 <valid_moves+0x100>
cmp    %dl,%cl
je     11e7 <valid_moves+0xe7>
add    %esi,%ebp
cmp    $0x5,%ebp
ja     1200 <valid_moves+0x100>
cmp    $0x1,%r10
ja     1200 <valid_moves+0x100>
mov    %ebp,%ecx
lea    (%rcx,%rcx,2),%rcx
lea    (%rdi,%rcx,2),%rcx
mov    -0x20(%rsp),%rbp
mov    0x0(%rbp,%rcx,1),%cl
cmp    $0x20,%cl
je     1200 <valid_moves+0x100>
cmp    %dl,%cl
je     11e7 <valid_moves+0xe7>
jmp    1200 <valid_moves+0x100>
mov    -0x38(%rsp),%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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