#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 */
int /*<<< orphan*/ clear_stack();
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *);
int pop();
int /*<<< orphan*/ push(int);
int /*<<< orphan*/ stderr;
int map_valid(int solvable, char map[10][10], int x, int y) {
  int i, xx, yy, a, b, valid;
  int dir[2][4] = {{0, 1, 0, -1}, {1, 0, -1, 0}};
  char _map[10][10];
  if (!solvable)
    return 1;
  for (a = 0; a < x; a++)
    for (b = 0; b < y; b++)
      _map[a][b] = map[a][b];
  clear_stack();
  valid = 0;
  a = x - 1;
  b = 0;
  _map[a][b] = 'x';
  push(a);
  push(b);
  while (map[a][b] != 'G') {
    b = pop();
    a = pop();
    if (a < 0)
      break;
    if (_map[a][b] == 'G') {
      valid = 1;
      break;
    } else
      _map[a][b] = 'x';
    for (i = 0; i < 4; i++) {
      xx = a + dir[0][i];
      yy = b + dir[1][i];
      if (xx >= 0 && xx < x && yy >= 0 && yy < y)
        if (_map[xx][yy] == '.' || _map[xx][yy] == 'G') {
          push(xx);
          push(yy);
        }
    }
  }
  if (!valid)
    fprintf(stderr, "! Generated map not solvable, discarding...\n");
  return valid;
}


x86 assembly (clang, -O0):
<map_valid>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%rsp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    0xea1(%rip),%rax
mov    %rax,-0x50(%rbp)
mov    0xe9e(%rip),%rax
mov    %rax,-0x48(%rbp)
mov    0xe9b(%rip),%rax
mov    %rax,-0x40(%rbp)
mov    0xe98(%rip),%rax
mov    %rax,-0x38(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    119a <map_valid+0x5a>
movl   $0x1,-0x4(%rbp)
jmp    13d5 <map_valid+0x295>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1210 <map_valid+0xd0>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    11fd <map_valid+0xbd>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
movslq -0x28(%rbp),%rcx
lea    -0xc0(%rbp),%rax
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11b4 <map_valid+0x74>
jmp    1202 <map_valid+0xc2>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11a1 <map_valid+0x61>
mov    $0x0,%al
call   1050 <clear_stack@plt>
movl   $0x0,-0x30(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movslq -0x28(%rbp),%rcx
lea    -0xc0(%rbp),%rax
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
movb   $0x78,(%rax,%rcx,1)
mov    -0x28(%rbp),%edi
call   1060 <push@plt>
mov    -0x2c(%rbp),%edi
call   1060 <push@plt>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x47,%eax
je     13b0 <map_valid+0x270>
mov    $0x0,%al
call   1030 <pop@plt>
mov    %eax,-0x2c(%rbp)
mov    $0x0,%al
call   1030 <pop@plt>
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jge    129b <map_valid+0x15b>
jmp    13b0 <map_valid+0x270>
movslq -0x28(%rbp),%rcx
lea    -0xc0(%rbp),%rax
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x47,%eax
jne    12ca <map_valid+0x18a>
movl   $0x1,-0x30(%rbp)
jmp    13b0 <map_valid+0x270>
movslq -0x28(%rbp),%rcx
lea    -0xc0(%rbp),%rax
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
movb   $0x78,(%rax,%rcx,1)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x4,-0x1c(%rbp)
jge    13ab <map_valid+0x26b>
mov    -0x28(%rbp),%eax
movslq -0x1c(%rbp),%rcx
add    -0x50(%rbp,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x2c(%rbp),%eax
movslq -0x1c(%rbp),%rcx
add    -0x40(%rbp,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x20(%rbp)
jl     1398 <map_valid+0x258>
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1398 <map_valid+0x258>
cmpl   $0x0,-0x24(%rbp)
jl     1398 <map_valid+0x258>
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1398 <map_valid+0x258>
movslq -0x20(%rbp),%rcx
lea    -0xc0(%rbp),%rax
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     1383 <map_valid+0x243>
movslq -0x20(%rbp),%rcx
lea    -0xc0(%rbp),%rax
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x47,%eax
jne    1393 <map_valid+0x253>
mov    -0x20(%rbp),%edi
call   1060 <push@plt>
mov    -0x24(%rbp),%edi
call   1060 <push@plt>
jmp    1398 <map_valid+0x258>
jmp    139d <map_valid+0x25d>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12eb <map_valid+0x1ab>
jmp    1258 <map_valid+0x118>
cmpl   $0x0,-0x30(%rbp)
jne    13cf <map_valid+0x28f>
mov    0x2c1f(%rip),%rax
mov    (%rax),%edi
lea    0xc56(%rip),%rsi
call   1040 <fprintf@plt>
mov    -0x30(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<map_valid>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x88,%rsp
mov    %rsi,0x8(%rsp)
test   %edi,%edi
je     1381 <map_valid+0x231>
mov    %ecx,%r13d
mov    %edx,%r12d
test   %edx,%edx
mov    %r12,0x10(%rsp)
jle    11c6 <map_valid+0x76>
mov    %r13d,%r15d
mov    %r12d,%r14d
cmp    $0x1,%r12d
jne    1398 <map_valid+0x248>
xor    %ebp,%ebp
test   $0x1,%r14b
mov    0x10(%rsp),%r12
je     11c6 <map_valid+0x76>
test   %r13d,%r13d
jle    11c6 <map_valid+0x76>
add    %rbp,%rbp
lea    0x0(,%rbp,4),%rax
add    %rbp,%rax
mov    0x8(%rsp),%rcx
lea    (%rcx,%rax,1),%rsi
lea    (%rsp,%rax,1),%rdi
add    $0x20,%rdi
mov    %r15,%rdx
call   1050 <memcpy@plt>
xor    %eax,%eax
call   1060 <clear_stack@plt>
lea    -0x1(%r12),%edi
movslq %r12d,%rax
add    %rax,%rax
lea    (%rax,%rax,4),%rbx
add    $0xfffffffffffffff6,%rbx
movb   $0x78,0x20(%rsp,%rbx,1)
call   1070 <push@plt>
xor    %edi,%edi
call   1070 <push@plt>
mov    0x8(%rsp),%rax
cmpb   $0x47,(%rax,%rbx,1)
jne    1249 <map_valid+0xf9>
mov    0x2ddd(%rip),%rax
mov    (%rax),%edi
lea    0xdf4(%rip),%rsi
call   1040 <fprintf@plt>
xor    %eax,%eax
jmp    1386 <map_valid+0x236>
call   1070 <push@plt>
mov    %ebp,%edi
call   1070 <push@plt>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x18(%rsp),%rax
lea    (%rax,%rax,4),%rax
mov    0x8(%rsp),%rcx
lea    (%rcx,%rax,2),%rax
cmpb   $0x47,(%r14,%rax,1)
je     11fc <map_valid+0xac>
xor    %eax,%eax
call   1030 <pop@plt>
mov    %eax,%ebp
xor    %eax,%eax
call   1030 <pop@plt>
test   %eax,%eax
js     11fc <map_valid+0xac>
mov    %eax,%ebx
mov    %r13d,%r15d
mov    %eax,%ecx
movslq %ebp,%r14
lea    (%rcx,%rcx,4),%rax
lea    (%rsp,%rax,2),%r13
add    $0x20,%r13
cmpb   $0x47,(%r14,%r13,1)
je     1381 <map_valid+0x231>
mov    %rcx,0x18(%rsp)
lea    (%r14,%r13,1),%rax
movb   $0x78,(%rax)
cmp    %r12d,%ebx
jge    12bc <map_valid+0x16c>
cmp    $0xffffffff,%ebp
jl     12bc <map_valid+0x16c>
lea    0x1(%rbp),%r12d
cmp    %r15d,%r12d
jge    12bc <map_valid+0x16c>
mov    %r12d,%eax
movzbl (%rax,%r13,1),%eax
cmp    $0x47,%al
je     12ad <map_valid+0x15d>
cmp    $0x2e,%al
jne    12bc <map_valid+0x16c>
mov    %ebx,%edi
call   1070 <push@plt>
mov    %r12d,%edi
call   1070 <push@plt>
lea    0x1(%rbx),%edi
mov    0x10(%rsp),%r12
cmp    %r12d,%edi
jge    12fa <map_valid+0x1aa>
test   %ebp,%ebp
js     12fa <map_valid+0x1aa>
cmp    %r15d,%ebp
jge    12fa <map_valid+0x1aa>
mov    %edi,%eax
mov    %ebp,%ecx
lea    (%rax,%rax,4),%rax
lea    (%rsp,%rax,2),%rax
add    $0x20,%rax
movzbl (%rcx,%rax,1),%eax
cmp    $0x47,%al
je     12ee <map_valid+0x19e>
cmp    $0x2e,%al
jne    12fa <map_valid+0x1aa>
call   1070 <push@plt>
mov    %ebp,%edi
call   1070 <push@plt>
cmp    %r12d,%ebx
jge    132b <map_valid+0x1db>
test   %ebp,%ebp
jle    132b <map_valid+0x1db>
cmp    %r15d,%ebp
jg     132b <map_valid+0x1db>
lea    -0x1(%rbp),%r12d
mov    %r12d,%eax
movzbl (%rax,%r13,1),%eax
cmp    $0x47,%al
je     131c <map_valid+0x1cc>
cmp    $0x2e,%al
jne    132b <map_valid+0x1db>
mov    %ebx,%edi
call   1070 <push@plt>
mov    %r12d,%edi
call   1070 <push@plt>
mov    %ebx,%edi
sub    $0x1,%edi
mov    %r15d,%r13d
mov    0x10(%rsp),%r12
jb     1230 <map_valid+0xe0>
cmp    %r12d,%ebx
jg     1230 <map_valid+0xe0>
test   %ebp,%ebp
js     1230 <map_valid+0xe0>
cmp    %r13d,%ebp
jge    1230 <map_valid+0xe0>
mov    %edi,%eax
mov    %ebp,%ecx
lea    (%rax,%rax,4),%rax
lea    (%rsp,%rax,2),%rax
add    $0x20,%rax
movzbl (%rcx,%rax,1),%eax
cmp    $0x47,%al
je     1218 <map_valid+0xc8>
cmp    $0x2e,%al
je     1218 <map_valid+0xc8>
jmp    1230 <map_valid+0xe0>
mov    $0x1,%eax
add    $0x88,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r14d,%r12d
and    $0xfffffffe,%r12d
xor    %ebx,%ebx
xor    %ebp,%ebp
jmp    13c1 <map_valid+0x271>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x2,%rbp
add    $0x14,%rbx
cmp    %rbp,%r12
je     118f <map_valid+0x3f>
test   %r13d,%r13d
jle    13df <map_valid+0x28f>
mov    0x8(%rsp),%rax
lea    (%rax,%rbx,1),%rsi
lea    (%rsp,%rbx,1),%rdi
add    $0x20,%rdi
mov    %r15,%rdx
call   1050 <memcpy@plt>
test   %r13d,%r13d
jle    13b0 <map_valid+0x260>
mov    0x8(%rsp),%rax
lea    (%rax,%rbx,1),%rsi
add    $0xa,%rsi
lea    (%rsp,%rbx,1),%rdi
add    $0x2a,%rdi
mov    %r15,%rdx
call   1050 <memcpy@plt>
jmp    13b0 <map_valid+0x260>

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

LLVM IR (-O2):
@stderr = global i32 0
@.str = [45 x i8] c"! Generated map not solvable, discarding...\0A\00"
define i32 @map_valid(i32 %0, [10 x i8]* nocapture %1, i32 %2, i32 %3) {
%5 = alloca [10 x [10 x i8]]
%6 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %5, i64 0, i64 0, i64 0
%7 = icmp eq i32 %0, 0
br i1 %7, label %129, label %8
8: ; preds = %4
%9 = icmp sgt i32 %2, 0
br i1 %9, label %10, label %41
10: ; preds = %8
%11 = icmp sgt i32 %3, 0
%12 = zext i32 %3 to i64
%13 = zext i32 %2 to i64
%14 = and i64 %13, 1
%15 = icmp eq i32 %2, 1
br i1 %15, label %33, label %16
16: ; preds = %10
%17 = and i64 %13, 4294967294
br label %18
18: ; preds = %29, %16
%19 = phi i64 [ 0, %16 ], [ %30, %29 ]
%20 = phi i64 [ 0, %16 ], [ %31, %29 ]
br i1 %11, label %21, label %24
21: ; preds = %18
%22 = getelementptr [10 x i8], [10 x i8]* %1, i64 %19, i64 0
%23 = getelementptr [10 x [10 x i8]], [10 x [10 x i8]]* %5, i64 0, i64 %19, i64 0
br label %24
24: ; preds = %21, %18
%25 = or i64 %19, 1
br i1 %11, label %26, label %29
26: ; preds = %24
%27 = getelementptr [10 x i8], [10 x i8]* %1, i64 %25, i64 0
%28 = getelementptr [10 x [10 x i8]], [10 x [10 x i8]]* %5, i64 0, i64 %25, i64 0
br label %29
29: ; preds = %26, %24
%30 = add nuw nsw i64 %19, 2
%31 = add i64 %20, 2
%32 = icmp eq i64 %31, %17
br i1 %32, label %33, label %18
33: ; preds = %29, %10
%34 = phi i64 [ 0, %10 ], [ %30, %29 ]
%35 = icmp eq i64 %14, 0
%36 = xor i1 %11, true
%37 = or i1 %35, %36
br i1 %37, label %41, label %38
38: ; preds = %33
%39 = getelementptr [10 x i8], [10 x i8]* %1, i64 %34, i64 0
%40 = getelementptr [10 x [10 x i8]], [10 x [10 x i8]]* %5, i64 0, i64 %34, i64 0
br label %41
41: ; preds = %33, %38, %8
%42 = tail call i32 (...) @clear_stack()
%43 = add nsw i32 %2, -1
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %5, i64 0, i64 %44, i64 0
store i8 120, i8* %45
%46 = tail call i32 @push(i32 %43)
%47 = tail call i32 @push(i32 0)
%48 = getelementptr inbounds [10 x i8], [10 x i8]* %1, i64 %44, i64 0
%49 = load i8, i8* %48
%50 = icmp eq i8 %49, 71
br i1 %50, label %126, label %51
51: ; preds = %41, %121
%52 = tail call i32 (...) @pop()
%53 = tail call i32 (...) @pop()
%54 = icmp slt i32 %53, 0
br i1 %54, label %126, label %55
55: ; preds = %51
%56 = zext i32 %53 to i64
%57 = sext i32 %52 to i64
%58 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %5, i64 0, i64 %56, i64 %57
%59 = load i8, i8* %58
%60 = icmp eq i8 %59, 71
br i1 %60, label %129, label %61
61: ; preds = %55
store i8 120, i8* %58
%62 = add nsw i32 %52, 1
%63 = icmp slt i32 %53, %2
%64 = icmp sgt i32 %52, -2
%65 = select i1 %63, i1 %64, i1 false
%66 = icmp slt i32 %62, %3
%67 = select i1 %65, i1 %66, i1 false
br i1 %67, label %68, label %75
68: ; preds = %61
%69 = zext i32 %62 to i64
%70 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %5, i64 0, i64 %56, i64 %69
%71 = load i8, i8* %70
switch i8 %71, label %75 [
i8 46, label %72
i8 71, label %72
]
72: ; preds = %68, %68
%73 = tail call i32 @push(i32 %53)
%74 = tail call i32 @push(i32 %62)
br label %75
75: ; preds = %72, %61, %68
%76 = add nuw nsw i32 %53, 1
%77 = icmp slt i32 %76, %2
%78 = icmp sgt i32 %52, -1
%79 = select i1 %77, i1 %78, i1 false
%80 = icmp slt i32 %52, %3
%81 = select i1 %79, i1 %80, i1 false
br i1 %81, label %82, label %90
82: ; preds = %75
%83 = zext i32 %76 to i64
%84 = zext i32 %52 to i64
%85 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %5, i64 0, i64 %83, i64 %84
%86 = load i8, i8* %85
switch i8 %86, label %90 [
i8 46, label %87
i8 71, label %87
]
87: ; preds = %82, %82
%88 = tail call i32 @push(i32 %76)
%89 = tail call i32 @push(i32 %52)
br label %90
90: ; preds = %75, %82, %87
%91 = add nsw i32 %52, -1
%92 = icmp slt i32 %53, %2
%93 = icmp sgt i32 %52, 0
%94 = select i1 %92, i1 %93, i1 false
%95 = icmp sle i32 %52, %3
%96 = select i1 %94, i1 %95, i1 false
br i1 %96, label %97, label %104
97: ; preds = %90
%98 = zext i32 %91 to i64
%99 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %5, i64 0, i64 %56, i64 %98
%100 = load i8, i8* %99
switch i8 %100, label %104 [
i8 46, label %101
i8 71, label %101
]
101: ; preds = %97, %97
%102 = tail call i32 @push(i32 %53)
%103 = tail call i32 @push(i32 %91)
br label %104
104: ; preds = %101, %97, %90
%105 = add nsw i32 %53, -1
%106 = icmp eq i32 %53, 0
br i1 %106, label %121, label %107
107: ; preds = %104
%108 = icmp sle i32 %53, %2
%109 = icmp sgt i32 %52, -1
%110 = select i1 %108, i1 %109, i1 false
%111 = icmp slt i32 %52, %3
%112 = select i1 %110, i1 %111, i1 false
br i1 %112, label %113, label %121
113: ; preds = %107
%114 = zext i32 %105 to i64
%115 = zext i32 %52 to i64
%116 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %5, i64 0, i64 %114, i64 %115
%117 = load i8, i8* %116
switch i8 %117, label %121 [
i8 46, label %118
i8 71, label %118
]
118: ; preds = %113, %113
%119 = tail call i32 @push(i32 %105)
%120 = tail call i32 @push(i32 %52)
br label %121
121: ; preds = %118, %113, %107, %104
%122 = zext i32 %53 to i64
%123 = getelementptr inbounds [10 x i8], [10 x i8]* %1, i64 %122, i64 %57
%124 = load i8, i8* %123
%125 = icmp eq i8 %124, 71
br i1 %125, label %126, label %51
126: ; preds = %121, %51, %41
%127 = load i32, i32* @stderr
%128 = tail call i32 @fprintf(i32 %127, i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str, i64 0, i64 0))
br label %129
129: ; preds = %55, %126, %4
%130 = phi i32 [ 1, %4 ], [ 0, %126 ], [ 1, %55 ]
ret i32 %130
}