int can_go(int w, int h, char *grid, int x1, int y1, int dir1, int x2, int y2,
           int dir2) {
  if (((x1) < 0 || (x1) >= (w) || (y1) < 0 || (y1) >= (h)
           ? 'w'
           : ((grid)[(y1) * (w) + (x1)])) == 'w' ||
      ((x1) < 0 || (x1) >= (w) || (y1) < 0 || (y1) >= (h)
           ? 'w'
           : ((grid)[(y1) * (w) + (x1)])) == 'm')
    return 0;
  if (x2 == x1 && y2 == y1 &&
      (((x1) < 0 || (x1) >= (w) || (y1) < 0 || (y1) >= (h)
            ? 'w'
            : ((grid)[(y1) * (w) + (x1)])) == 's' ||
       ((x1) < 0 || (x1) >= (w) || (y1) < 0 || (y1) >= (h)
            ? 'w'
            : ((grid)[(y1) * (w) + (x1)])) == 'S' ||
       ((x1 + ((dir1)&3 ? (((dir1)&7) > 4 ? -1 : +1) : 0)) < 0 ||
                (x1 + ((dir1)&3 ? (((dir1)&7) > 4 ? -1 : +1) : 0)) >= (w) ||
                (y1 + ((((dir1) + 6) & 3 ? ((((dir1) + 6) & 7) > 4 ? -1 : +1)
                                         : 0))) < 0 ||
                (y1 + ((((dir1) + 6) & 3 ? ((((dir1) + 6) & 7) > 4 ? -1 : +1)
                                         : 0))) >= (h)
            ? 'w'
            : ((grid)[(y1 +
                       ((((dir1) + 6) & 3 ? ((((dir1) + 6) & 7) > 4 ? -1 : +1)
                                          : 0))) *
                          (w) +
                      (x1 + ((dir1)&3 ? (((dir1)&7) > 4 ? -1 : +1) : 0))])) ==
           'w'))
    return 1;
  if (x2 == x1 + ((dir1)&3 ? (((dir1)&7) > 4 ? -1 : +1) : 0) &&
      y2 ==
          y1 + ((((dir1) + 6) & 3 ? ((((dir1) + 6) & 7) > 4 ? -1 : +1) : 0)) &&
      dir1 == dir2 &&
      (((x2) < 0 || (x2) >= (w) || (y2) < 0 || (y2) >= (h)
            ? 'w'
            : ((grid)[(y2) * (w) + (x2)])) == 'b' ||
       ((x2) < 0 || (x2) >= (w) || (y2) < 0 || (y2) >= (h)
            ? 'w'
            : ((grid)[(y2) * (w) + (x2)])) == 'g' ||
       ((x2) < 0 || (x2) >= (w) || (y2) < 0 || (y2) >= (h)
            ? 'w'
            : ((grid)[(y2) * (w) + (x2)])) == 's' ||
       ((x2) < 0 || (x2) >= (w) || (y2) < 0 || (y2) >= (h)
            ? 'w'
            : ((grid)[(y2) * (w) + (x2)])) == 'S'))
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<can_go>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jl     1152 <can_go+0x52>
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1152 <can_go+0x52>
cmpl   $0x0,-0x20(%rbp)
jl     1152 <can_go+0x52>
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     115f <can_go+0x5f>
mov    $0x77,%eax
mov    %eax,-0x28(%rbp)
jmp    1177 <can_go+0x77>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x8(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    $0x77,%eax
je     11e0 <can_go+0xe0>
cmpl   $0x0,-0x1c(%rbp)
jl     11af <can_go+0xaf>
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11af <can_go+0xaf>
cmpl   $0x0,-0x20(%rbp)
jl     11af <can_go+0xaf>
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     11bc <can_go+0xbc>
mov    $0x77,%eax
mov    %eax,-0x2c(%rbp)
jmp    11d4 <can_go+0xd4>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x8(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    $0x6d,%eax
jne    11ec <can_go+0xec>
movl   $0x0,-0x4(%rbp)
jmp    1760 <can_go+0x660>
mov    0x10(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    14d9 <can_go+0x3d9>
mov    0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    14d9 <can_go+0x3d9>
cmpl   $0x0,-0x1c(%rbp)
jl     1230 <can_go+0x130>
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1230 <can_go+0x130>
cmpl   $0x0,-0x20(%rbp)
jl     1230 <can_go+0x130>
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     123d <can_go+0x13d>
mov    $0x77,%eax
mov    %eax,-0x30(%rbp)
jmp    1255 <can_go+0x155>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x8(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    $0x73,%eax
je     14cd <can_go+0x3cd>
cmpl   $0x0,-0x1c(%rbp)
jl     128d <can_go+0x18d>
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    128d <can_go+0x18d>
cmpl   $0x0,-0x20(%rbp)
jl     128d <can_go+0x18d>
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     129a <can_go+0x19a>
mov    $0x77,%eax
mov    %eax,-0x34(%rbp)
jmp    12b2 <can_go+0x1b2>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x8(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    $0x53,%eax
je     14cd <can_go+0x3cd>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x24(%rbp),%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     12f1 <can_go+0x1f1>
mov    -0x24(%rbp),%edx
and    $0x7,%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x4,%edx
cmovg  %ecx,%eax
mov    %eax,-0x3c(%rbp)
jmp    12fb <can_go+0x1fb>
xor    %eax,%eax
mov    %eax,-0x3c(%rbp)
jmp    12fb <can_go+0x1fb>
mov    -0x38(%rbp),%eax
mov    -0x3c(%rbp),%ecx
add    %ecx,%eax
cmp    $0x0,%eax
jl     1402 <can_go+0x302>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x24(%rbp),%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     133f <can_go+0x23f>
mov    -0x24(%rbp),%edx
and    $0x7,%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x4,%edx
cmovg  %ecx,%eax
mov    %eax,-0x44(%rbp)
jmp    1349 <can_go+0x249>
xor    %eax,%eax
mov    %eax,-0x44(%rbp)
jmp    1349 <can_go+0x249>
mov    -0x40(%rbp),%eax
mov    -0x44(%rbp),%ecx
add    %ecx,%eax
cmp    -0x8(%rbp),%eax
jge    1402 <can_go+0x302>
mov    -0x20(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x24(%rbp),%eax
add    $0x6,%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     1393 <can_go+0x293>
mov    -0x24(%rbp),%edx
add    $0x6,%edx
and    $0x7,%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x4,%edx
cmovg  %ecx,%eax
mov    %eax,-0x4c(%rbp)
jmp    139d <can_go+0x29d>
xor    %eax,%eax
mov    %eax,-0x4c(%rbp)
jmp    139d <can_go+0x29d>
mov    -0x48(%rbp),%eax
mov    -0x4c(%rbp),%ecx
add    %ecx,%eax
cmp    $0x0,%eax
jl     1402 <can_go+0x302>
mov    -0x20(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x24(%rbp),%eax
add    $0x6,%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     13e7 <can_go+0x2e7>
mov    -0x24(%rbp),%edx
add    $0x6,%edx
and    $0x7,%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x4,%edx
cmovg  %ecx,%eax
mov    %eax,-0x54(%rbp)
jmp    13f1 <can_go+0x2f1>
xor    %eax,%eax
mov    %eax,-0x54(%rbp)
jmp    13f1 <can_go+0x2f1>
mov    -0x50(%rbp),%eax
mov    -0x54(%rbp),%ecx
add    %ecx,%eax
cmp    -0xc(%rbp),%eax
jl     140f <can_go+0x30f>
mov    $0x77,%eax
mov    %eax,-0x58(%rbp)
jmp    14c1 <can_go+0x3c1>
mov    -0x18(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x24(%rbp),%eax
add    $0x6,%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     1450 <can_go+0x350>
mov    -0x24(%rbp),%edx
add    $0x6,%edx
and    $0x7,%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x4,%edx
cmovg  %ecx,%eax
mov    %eax,-0x6c(%rbp)
jmp    145a <can_go+0x35a>
xor    %eax,%eax
mov    %eax,-0x6c(%rbp)
jmp    145a <can_go+0x35a>
mov    -0x5c(%rbp),%eax
mov    -0x6c(%rbp),%ecx
add    %ecx,%eax
imul   -0x8(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x24(%rbp),%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     149c <can_go+0x39c>
mov    -0x24(%rbp),%edx
and    $0x7,%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x4,%edx
cmovg  %ecx,%eax
mov    %eax,-0x78(%rbp)
jmp    14a6 <can_go+0x3a6>
xor    %eax,%eax
mov    %eax,-0x78(%rbp)
jmp    14a6 <can_go+0x3a6>
mov    -0x68(%rbp),%rax
mov    -0x74(%rbp),%ecx
mov    -0x70(%rbp),%edx
mov    -0x78(%rbp),%esi
add    %esi,%edx
add    %edx,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    $0x77,%eax
jne    14d9 <can_go+0x3d9>
movl   $0x1,-0x4(%rbp)
jmp    1760 <can_go+0x660>
mov    0x10(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x7c(%rbp)
mov    -0x24(%rbp),%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     1515 <can_go+0x415>
mov    -0x24(%rbp),%edx
and    $0x7,%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x4,%edx
cmovg  %ecx,%eax
mov    %eax,-0x84(%rbp)
jmp    1522 <can_go+0x422>
xor    %eax,%eax
mov    %eax,-0x84(%rbp)
jmp    1522 <can_go+0x422>
mov    -0x80(%rbp),%eax
mov    -0x7c(%rbp),%ecx
mov    -0x84(%rbp),%edx
add    %edx,%ecx
cmp    %ecx,%eax
jne    1759 <can_go+0x659>
mov    0x18(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x24(%rbp),%eax
add    $0x6,%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     1580 <can_go+0x480>
mov    -0x24(%rbp),%edx
add    $0x6,%edx
and    $0x7,%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x4,%edx
cmovg  %ecx,%eax
mov    %eax,-0x90(%rbp)
jmp    158d <can_go+0x48d>
xor    %eax,%eax
mov    %eax,-0x90(%rbp)
jmp    158d <can_go+0x48d>
mov    -0x8c(%rbp),%eax
mov    -0x88(%rbp),%ecx
mov    -0x90(%rbp),%edx
add    %edx,%ecx
cmp    %ecx,%eax
jne    1759 <can_go+0x659>
mov    -0x24(%rbp),%eax
cmp    0x20(%rbp),%eax
jne    1759 <can_go+0x659>
cmpl   $0x0,0x10(%rbp)
jl     15e1 <can_go+0x4e1>
mov    0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    15e1 <can_go+0x4e1>
cmpl   $0x0,0x18(%rbp)
jl     15e1 <can_go+0x4e1>
mov    0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     15f1 <can_go+0x4f1>
mov    $0x77,%eax
mov    %eax,-0x94(%rbp)
jmp    160c <can_go+0x50c>
mov    -0x18(%rbp),%rax
mov    0x18(%rbp),%ecx
imul   -0x8(%rbp),%ecx
add    0x10(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x94(%rbp)
mov    -0x94(%rbp),%eax
cmp    $0x62,%eax
je     174d <can_go+0x64d>
cmpl   $0x0,0x10(%rbp)
jl     1647 <can_go+0x547>
mov    0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1647 <can_go+0x547>
cmpl   $0x0,0x18(%rbp)
jl     1647 <can_go+0x547>
mov    0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     1657 <can_go+0x557>
mov    $0x77,%eax
mov    %eax,-0x98(%rbp)
jmp    1672 <can_go+0x572>
mov    -0x18(%rbp),%rax
mov    0x18(%rbp),%ecx
imul   -0x8(%rbp),%ecx
add    0x10(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x98(%rbp)
mov    -0x98(%rbp),%eax
cmp    $0x67,%eax
je     174d <can_go+0x64d>
cmpl   $0x0,0x10(%rbp)
jl     16ad <can_go+0x5ad>
mov    0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    16ad <can_go+0x5ad>
cmpl   $0x0,0x18(%rbp)
jl     16ad <can_go+0x5ad>
mov    0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     16bd <can_go+0x5bd>
mov    $0x77,%eax
mov    %eax,-0x9c(%rbp)
jmp    16d8 <can_go+0x5d8>
mov    -0x18(%rbp),%rax
mov    0x18(%rbp),%ecx
imul   -0x8(%rbp),%ecx
add    0x10(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%eax
cmp    $0x73,%eax
je     174d <can_go+0x64d>
cmpl   $0x0,0x10(%rbp)
jl     1713 <can_go+0x613>
mov    0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1713 <can_go+0x613>
cmpl   $0x0,0x18(%rbp)
jl     1713 <can_go+0x613>
mov    0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     1723 <can_go+0x623>
mov    $0x77,%eax
mov    %eax,-0xa0(%rbp)
jmp    173e <can_go+0x63e>
mov    -0x18(%rbp),%rax
mov    0x18(%rbp),%ecx
imul   -0x8(%rbp),%ecx
add    0x10(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0xa0(%rbp)
mov    -0xa0(%rbp),%eax
cmp    $0x53,%eax
jne    1759 <can_go+0x659>
movl   $0x1,-0x4(%rbp)
jmp    1760 <can_go+0x660>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<can_go>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
xor    %eax,%eax
test   %ecx,%ecx
js     1299 <can_go+0x199>
cmp    %esi,%r8d
jge    1299 <can_go+0x199>
cmp    %edi,%ecx
jge    1299 <can_go+0x199>
test   %r8d,%r8d
js     1299 <can_go+0x199>
mov    %r8d,%ebp
imul   %edi,%ebp
add    %ecx,%ebp
movslq %ebp,%rbp
mov    (%rdx,%rbp,1),%bl
cmp    $0x6d,%bl
je     1299 <can_go+0x199>
cmp    $0x77,%bl
je     1299 <can_go+0x199>
mov    0x40(%rsp),%r10d
mov    0x38(%rsp),%r14d
cmp    %ecx,%r14d
jne    1203 <can_go+0x103>
cmp    %r8d,%r10d
jne    1203 <can_go+0x103>
mov    $0x1,%eax
or     $0x20,%bl
cmp    $0x73,%bl
je     1299 <can_go+0x199>
mov    %r9d,%r11d
and    $0x7,%r11d
xor    %r14d,%r14d
cmp    $0x5,%r11d
setb   %r14b
xor    %r15d,%r15d
mov    %r9d,%ebx
and    $0x3,%ebx
lea    -0x1(%r14,%r14,1),%r14d
cmove  %r15d,%r14d
add    %ecx,%r14d
js     1299 <can_go+0x199>
cmp    %edi,%r14d
jge    1299 <can_go+0x199>
lea    0x6(%r9),%r15d
mov    %r15d,%r12d
and    $0x3,%r12d
and    $0x7,%r15d
xor    %r13d,%r13d
cmp    $0x5,%r15d
setb   %r13b
test   %r12d,%r12d
lea    -0x1(%r13,%r13,1),%r15d
cmove  %r12d,%r15d
add    %r8d,%r15d
js     1299 <can_go+0x199>
cmp    %esi,%r15d
jge    1299 <can_go+0x199>
imul   %edi,%r15d
add    %r14d,%r15d
movslq %r15d,%rbp
cmpb   $0x77,(%rdx,%rbp,1)
mov    0x38(%rsp),%r14d
jne    1210 <can_go+0x110>
jmp    1299 <can_go+0x199>
mov    %r9d,%ebx
and    $0x3,%ebx
mov    %r9d,%r11d
and    $0x7,%r11d
xor    %eax,%eax
cmp    $0x5,%r11d
setb   %al
test   %ebx,%ebx
lea    -0x1(%rax,%rax,1),%eax
cmove  %ebx,%eax
add    %ecx,%eax
cmp    %r14d,%eax
jne    1297 <can_go+0x197>
lea    0x6(%r9),%eax
mov    %eax,%ecx
and    $0x3,%ecx
and    $0x7,%eax
xor    %ebp,%ebp
cmp    $0x5,%eax
setb   %bpl
test   %ecx,%ecx
lea    -0x1(%rbp,%rbp,1),%eax
cmove  %ecx,%eax
test   %r14d,%r14d
js     1297 <can_go+0x197>
cmp    0x48(%rsp),%r9d
jne    1297 <can_go+0x197>
add    %r8d,%eax
cmp    %r10d,%eax
jne    1297 <can_go+0x197>
cmp    %esi,%r10d
jge    1297 <can_go+0x197>
cmp    %edi,%r14d
jge    1297 <can_go+0x197>
test   %r10d,%r10d
js     1297 <can_go+0x197>
imul   %edi,%r10d
add    %r14d,%r10d
movslq %r10d,%rax
mov    (%rdx,%rax,1),%cl
add    $0xad,%cl
cmp    $0x20,%cl
ja     1297 <can_go+0x197>
mov    $0x1,%eax
movzbl %cl,%ecx
movabs $0x100108001,%rdx
bt     %rcx,%rdx
jb     1299 <can_go+0x199>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @can_go(i32 %0, i32 %1, i8* nocapture %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8) {
%10 = icmp slt i32 %3, 0
br i1 %10, label %97, label %11
11: ; preds = %9
%12 = icmp slt i32 %3, %0
%13 = icmp sgt i32 %4, -1
%14 = and i1 %12, %13
%15 = icmp slt i32 %4, %1
%16 = and i1 %15, %14
br i1 %16, label %17, label %97
17: ; preds = %11
%18 = mul nsw i32 %4, %0
%19 = add nsw i32 %18, %3
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %2, i64 %20
%22 = load i8, i8* %21
switch i8 %22, label %23 [
i8 119, label %97
i8 109, label %97
]
23: ; preds = %17
%24 = icmp eq i32 %6, %3
%25 = icmp eq i32 %7, %4
%26 = and i1 %24, %25
br i1 %26, label %30, label %27
27: ; preds = %23
%28 = and i32 %5, 3
%29 = and i32 %5, 7
br label %61
30: ; preds = %23
switch i8 %22, label %31 [
i8 115, label %97
i8 83, label %97
]
31: ; preds = %30
%32 = and i32 %5, 3
%33 = icmp eq i32 %32, 0
%34 = and i32 %5, 7
%35 = icmp ugt i32 %34, 4
%36 = select i1 %35, i32 -1, i32 1
%37 = select i1 %33, i32 0, i32 %36
%38 = add nsw i32 %37, %3
%39 = icmp sgt i32 %38, -1
%40 = icmp slt i32 %38, %0
%41 = and i1 %39, %40
br i1 %41, label %42, label %97
42: ; preds = %31
%43 = add nsw i32 %5, 6
%44 = and i32 %43, 3
%45 = icmp eq i32 %44, 0
%46 = and i32 %43, 7
%47 = icmp ugt i32 %46, 4
%48 = select i1 %47, i32 -1, i32 1
%49 = select i1 %45, i32 0, i32 %48
%50 = add nsw i32 %49, %4
%51 = icmp sgt i32 %50, -1
%52 = icmp slt i32 %50, %1
%53 = and i1 %51, %52
br i1 %53, label %54, label %97
54: ; preds = %42
%55 = mul nsw i32 %50, %0
%56 = add nsw i32 %55, %38
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds i8, i8* %2, i64 %57
%59 = load i8, i8* %58
%60 = icmp eq i8 %59, 119
br i1 %60, label %97, label %61
61: ; preds = %27, %54
%62 = phi i32 [ %29, %27 ], [ %34, %54 ]
%63 = phi i32 [ %28, %27 ], [ %32, %54 ]
%64 = icmp eq i32 %63, 0
%65 = icmp ugt i32 %62, 4
%66 = select i1 %65, i32 -1, i32 1
%67 = select i1 %64, i32 0, i32 %66
%68 = add nsw i32 %67, %3
%69 = icmp eq i32 %68, %6
br i1 %69, label %70, label %96
70: ; preds = %61
%71 = add nsw i32 %5, 6
%72 = and i32 %71, 3
%73 = icmp eq i32 %72, 0
%74 = and i32 %71, 7
%75 = icmp ugt i32 %74, 4
%76 = select i1 %75, i32 -1, i32 1
%77 = select i1 %73, i32 0, i32 %76
%78 = add nsw i32 %77, %4
%79 = icmp ne i32 %78, %7
%80 = icmp ne i32 %5, %8
%81 = or i1 %80, %79
%82 = icmp slt i32 %6, 0
%83 = or i1 %82, %81
br i1 %83, label %96, label %84
84: ; preds = %70
%85 = icmp slt i32 %6, %0
%86 = icmp sgt i32 %7, -1
%87 = and i1 %85, %86
%88 = icmp slt i32 %7, %1
%89 = and i1 %88, %87
br i1 %89, label %90, label %96
90: ; preds = %84
%91 = mul nsw i32 %7, %0
%92 = add nsw i32 %91, %6
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %2, i64 %93
%95 = load i8, i8* %94
switch i8 %95, label %96 [
i8 98, label %97
i8 103, label %97
i8 115, label %97
i8 83, label %97
]
96: ; preds = %90, %84, %70, %61
br label %97
97: ; preds = %90, %90, %90, %90, %30, %30, %17, %17, %31, %42, %9, %11, %54, %96
%98 = phi i32 [ 0, %96 ], [ 0, %17 ], [ 1, %54 ], [ 1, %30 ], [ 1, %90 ], [ 0, %11 ], [ 0, %9 ], [ 1, %42 ], [ 1, %31 ], [ 0, %17 ], [ 1, %30 ], [ 1, %90 ], [ 1, %90 ], [ 1, %90 ]
ret i32 %98
}