#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__ noEdge(int, int, char *, int, int);
int /*<<< orphan*/ printMaze(char *, int, int, int, int *);
int rand();
int /*<<< orphan*/ system(char *);
void dfsMaze(int row, int col, char *maze, int nowRow, int nowCol, int *endRow,
             int *endCol) {
  int path[1000] = {0};
  printMaze(maze, row, col, nowRow * col + nowCol, path);
  system("sleep 0.02");
  int dir_r[] = {1, 0, -1, 0};
  int dir_c[] = {0, 1, 0, -1};
  for (size_t i = 0; i < 4; i++) {
    if (nowRow + dir_r[i] == 0 || nowRow + dir_r[i] == row - 1 ||
        nowCol + dir_c[i] == 0 || nowCol + dir_c[i] == col - 1) {
      *endRow = nowRow + dir_r[i];
      *endCol = nowCol + dir_c[i];
    }
  }
  int direction;
  int check[4] = {1, 1, 1, 1};
  do {
    direction = rand() % 4;
    if (check[direction] &&
        maze[(nowRow + 2 * dir_r[direction]) * col + nowCol +
             2 * dir_c[direction]] == '.' &&
        nowRow + dir_r[direction] > 0 && nowRow + dir_r[direction] < row - 1 &&
        nowCol + dir_c[direction] > 0 && nowCol + dir_c[direction] < col - 1 &&
        nowRow + 2 * dir_r[direction] > 0 &&
        nowRow + 2 * dir_r[direction] < row - 1 &&
        nowCol + 2 * dir_c[direction] > 0 &&
        nowCol + 2 * dir_c[direction] < col - 1 &&
        noEdge(row, col, maze, nowRow + 2 * dir_r[direction],
               nowCol + 2 * dir_c[direction])) {
      maze[(nowRow + dir_r[direction]) * col + nowCol + dir_c[direction]] = '.';
      dfsMaze(row, col, maze, nowRow + 2 * dir_r[direction],
              nowCol + 2 * dir_c[direction], endRow, endCol);
    }
    check[direction] = 0;
  } while (!(check[0] == 0 && check[1] == 0 && check[2] == 0 && check[3] == 0));
  return;
}


x86 assembly (clang, -O0):
<dfsMaze>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1010,%rsp
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9,-0x20(%rbp)
lea    -0xfc0(%rbp),%rdi
xor    %esi,%esi
mov    $0xfa0,%edx
call   1050 <memset@plt>
mov    -0x10(%rbp),%rdi
mov    -0x4(%rbp),%esi
mov    -0x8(%rbp),%edx
mov    -0x14(%rbp),%ecx
imul   -0x8(%rbp),%ecx
add    -0x18(%rbp),%ecx
lea    -0xfc0(%rbp),%r8
call   1060 <printMaze@plt>
lea    0xe42(%rip),%rdi
call   1040 <system@plt>
mov    0xe46(%rip),%rax
mov    %rax,-0xfd0(%rbp)
mov    0xe40(%rip),%rax
mov    %rax,-0xfc8(%rbp)
mov    0xe3a(%rip),%rax
mov    %rax,-0xfe0(%rbp)
mov    0xe34(%rip),%rax
mov    %rax,-0xfd8(%rbp)
movq   $0x0,-0xfe8(%rbp)
cmpq   $0x4,-0xfe8(%rbp)
04
jae    12d0 <dfsMaze+0x170>
mov    -0x14(%rbp),%eax
mov    -0xfe8(%rbp),%rcx
add    -0xfd0(%rbp,%rcx,4),%eax
cmp    $0x0,%eax
je     1286 <dfsMaze+0x126>
mov    -0x14(%rbp),%eax
mov    -0xfe8(%rbp),%rcx
add    -0xfd0(%rbp,%rcx,4),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
je     1286 <dfsMaze+0x126>
mov    -0x18(%rbp),%eax
mov    -0xfe8(%rbp),%rcx
add    -0xfe0(%rbp,%rcx,4),%eax
cmp    $0x0,%eax
je     1286 <dfsMaze+0x126>
mov    -0x18(%rbp),%eax
mov    -0xfe8(%rbp),%rcx
add    -0xfe0(%rbp,%rcx,4),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    12b4 <dfsMaze+0x154>
mov    -0x14(%rbp),%ecx
mov    -0xfe8(%rbp),%rax
add    -0xfd0(%rbp,%rax,4),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x18(%rbp),%ecx
mov    -0xfe8(%rbp),%rax
add    -0xfe0(%rbp,%rax,4),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
jmp    12b9 <dfsMaze+0x159>
mov    -0xfe8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xfe8(%rbp)
jmp    1206 <dfsMaze+0xa6>
mov    0xd59(%rip),%rax
mov    %rax,-0x1000(%rbp)
mov    0xd53(%rip),%rax
mov    %rax,-0xff8(%rbp)
mov    $0x0,%al
call   1080 <rand@plt>
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %edx,-0xfec(%rbp)
movslq -0xfec(%rbp),%rax
cmpl   $0x0,-0x1000(%rbp,%rax,4)
je     1513 <dfsMaze+0x3b3>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
movslq -0xfec(%rbp),%rdx
mov    -0xfd0(%rbp,%rdx,4),%edx
shl    $0x1,%edx
add    %edx,%ecx
imul   -0x8(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq -0xfec(%rbp),%rdx
mov    -0xfe0(%rbp,%rdx,4),%edx
shl    $0x1,%edx
add    %edx,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    1513 <dfsMaze+0x3b3>
mov    -0x14(%rbp),%eax
movslq -0xfec(%rbp),%rcx
add    -0xfd0(%rbp,%rcx,4),%eax
cmp    $0x0,%eax
jle    1513 <dfsMaze+0x3b3>
mov    -0x14(%rbp),%eax
movslq -0xfec(%rbp),%rcx
add    -0xfd0(%rbp,%rcx,4),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1513 <dfsMaze+0x3b3>
mov    -0x18(%rbp),%eax
movslq -0xfec(%rbp),%rcx
add    -0xfe0(%rbp,%rcx,4),%eax
cmp    $0x0,%eax
jle    1513 <dfsMaze+0x3b3>
mov    -0x18(%rbp),%eax
movslq -0xfec(%rbp),%rcx
add    -0xfe0(%rbp,%rcx,4),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1513 <dfsMaze+0x3b3>
mov    -0x14(%rbp),%eax
movslq -0xfec(%rbp),%rcx
mov    -0xfd0(%rbp,%rcx,4),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
cmp    $0x0,%eax
jle    1513 <dfsMaze+0x3b3>
mov    -0x14(%rbp),%eax
movslq -0xfec(%rbp),%rcx
mov    -0xfd0(%rbp,%rcx,4),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1513 <dfsMaze+0x3b3>
mov    -0x18(%rbp),%eax
movslq -0xfec(%rbp),%rcx
mov    -0xfe0(%rbp,%rcx,4),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
cmp    $0x0,%eax
jle    1513 <dfsMaze+0x3b3>
mov    -0x18(%rbp),%eax
movslq -0xfec(%rbp),%rcx
mov    -0xfe0(%rbp,%rcx,4),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1513 <dfsMaze+0x3b3>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x10(%rbp),%rdx
mov    -0x14(%rbp),%ecx
movslq -0xfec(%rbp),%rax
mov    -0xfd0(%rbp,%rax,4),%eax
shl    $0x1,%eax
add    %eax,%ecx
mov    -0x18(%rbp),%r8d
movslq -0xfec(%rbp),%rax
mov    -0xfe0(%rbp,%rax,4),%eax
shl    $0x1,%eax
add    %eax,%r8d
call   1030 <noEdge@plt>
cmp    $0x0,%rax
je     1513 <dfsMaze+0x3b3>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
movslq -0xfec(%rbp),%rdx
add    -0xfd0(%rbp,%rdx,4),%ecx
imul   -0x8(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq -0xfec(%rbp),%rdx
add    -0xfe0(%rbp,%rdx,4),%ecx
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x10(%rbp),%rdx
mov    -0x14(%rbp),%ecx
movslq -0xfec(%rbp),%rax
mov    -0xfd0(%rbp,%rax,4),%eax
shl    $0x1,%eax
add    %eax,%ecx
mov    -0x18(%rbp),%r8d
movslq -0xfec(%rbp),%rax
mov    -0xfe0(%rbp,%rax,4),%eax
shl    $0x1,%eax
add    %eax,%r8d
mov    -0x20(%rbp),%r9
mov    0x10(%rbp),%rax
mov    %rax,(%rsp)
call   1070 <dfsMaze@plt>
movslq -0xfec(%rbp),%rax
movl   $0x0,-0x1000(%rbp,%rax,4)
xor    %eax,%eax
cmpl   $0x0,-0x1000(%rbp)
mov    %al,-0x1001(%rbp)
jne    1574 <dfsMaze+0x414>
xor    %eax,%eax
cmpl   $0x0,-0xffc(%rbp)
mov    %al,-0x1001(%rbp)
jne    1574 <dfsMaze+0x414>
xor    %eax,%eax
cmpl   $0x0,-0xff8(%rbp)
mov    %al,-0x1001(%rbp)
jne    1574 <dfsMaze+0x414>
cmpl   $0x0,-0xff4(%rbp)
sete   %al
mov    %al,-0x1001(%rbp)
mov    -0x1001(%rbp),%al
xor    $0xff,%al
test   $0x1,%al
jne    12ec <dfsMaze+0x18c>
add    $0x1010,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dfsMaze>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xff8,%rsp
mov    %r9,0x30(%rsp)
mov    %r8d,%r12d
mov    %ecx,%r13d
mov    %rdx,%rbp
mov    %esi,%ebx
mov    %edi,%r14d
lea    0x50(%rsp),%r15
mov    $0xfa0,%edx
mov    %r15,%rdi
xor    %esi,%esi
call   1050 <memset@plt>
mov    %r13d,%ecx
imul   %ebx,%ecx
add    %r12d,%ecx
mov    %rbp,0x28(%rsp)
mov    %rbp,%rdi
mov    %r14d,%esi
mov    %ebx,%edx
mov    %r15,%r8
call   1060 <printMaze@plt>
lea    0xe83(%rip),%rdi
call   1040 <system@plt>
mov    0x30(%rsp),%rsi
mov    0x1030(%rsp),%rdx
mov    %r14,%rax
mov    %r14,0x20(%rsp)
lea    -0x1(%r14),%eax
mov    %eax,0x14(%rsp)
mov    %rbx,0x18(%rsp)
lea    -0x1(%rbx),%eax
mov    %eax,0x10(%rsp)
mov    %r13d,%eax
inc    %eax
je     1204 <dfsMaze+0xa4>
cmp    0x14(%rsp),%eax
je     1204 <dfsMaze+0xa4>
test   %r12d,%r12d
je     1204 <dfsMaze+0xa4>
cmp    %r12d,0x10(%rsp)
jne    1209 <dfsMaze+0xa9>
mov    %eax,(%rsi)
mov    %r12d,(%rdx)
test   %r13d,%r13d
sete   %cl
cmp    %r13d,0x14(%rsp)
sete   %al
or     %cl,%al
lea    0x1(%r12),%ecx
test   %al,%al
je     1229 <dfsMaze+0xc9>
mov    %r13d,(%rsi)
mov    %ecx,(%rdx)
jmp    1233 <dfsMaze+0xd3>
test   %ecx,%ecx
je     1222 <dfsMaze+0xc2>
cmp    0x10(%rsp),%ecx
je     1222 <dfsMaze+0xc2>
mov    %r13d,%ecx
add    $0xffffffff,%ecx
je     124e <dfsMaze+0xee>
cmp    0x20(%rsp),%r13d
je     124e <dfsMaze+0xee>
test   %r12d,%r12d
je     124e <dfsMaze+0xee>
cmp    %r12d,0x10(%rsp)
jne    1253 <dfsMaze+0xf3>
mov    %ecx,(%rsi)
mov    %r12d,(%rdx)
lea    -0x1(%r12),%ecx
test   %al,%al
je     1263 <dfsMaze+0x103>
mov    %r13d,(%rsi)
mov    %ecx,(%rdx)
jmp    126e <dfsMaze+0x10e>
test   %ecx,%ecx
je     125c <dfsMaze+0xfc>
cmp    0x18(%rsp),%r12d
je     125c <dfsMaze+0xfc>
mov    %r13,%rbx
mov    %r12,0x38(%rsp)
movaps 0xdb3(%rip),%xmm0
movaps %xmm0,0x40(%rsp)
jmp    12b3 <dfsMaze+0x153>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movl   $0x0,0x40(%rsp,%r12,4)
movdqa 0x40(%rsp),%xmm0
pcmpeqd 0xd59(%rip),%xmm0
movmskps %xmm0,%eax
cmp    $0xf,%eax
je     13c0 <dfsMaze+0x260>
xor    %eax,%eax
call   1080 <rand@plt>
lea    0x3(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xfffffffc,%ecx
sub    %ecx,%eax
movslq %eax,%r12
cmpl   $0x0,0x40(%rsp,%r12,4)
je     1290 <dfsMaze+0x130>
lea    0xd37(%rip),%rax
mov    (%rax,%r12,4),%r13d
lea    (%rbx,%r13,2),%r14d
mov    %r14d,%eax
imul   0x18(%rsp),%eax
lea    0xd30(%rip),%rcx
mov    (%rcx,%r12,4),%r15d
mov    0x38(%rsp),%rcx
lea    (%rcx,%r15,2),%ebp
add    %ebp,%eax
cltq
mov    0x28(%rsp),%rcx
cmpb   $0x2e,(%rcx,%rax,1)
jne    1290 <dfsMaze+0x130>
add    %ebx,%r13d
jle    1290 <dfsMaze+0x130>
cmp    0x14(%rsp),%r13d
jge    1290 <dfsMaze+0x130>
add    0x38(%rsp),%r15d
test   %r15d,%r15d
jle    1290 <dfsMaze+0x130>
cmp    0x10(%rsp),%r15d
jge    1290 <dfsMaze+0x130>
test   %r14d,%r14d
jle    1290 <dfsMaze+0x130>
cmp    0x14(%rsp),%r14d
jge    1290 <dfsMaze+0x130>
test   %ebp,%ebp
jle    1290 <dfsMaze+0x130>
cmp    0x10(%rsp),%ebp
jge    1290 <dfsMaze+0x130>
mov    0x20(%rsp),%rdi
mov    0x18(%rsp),%rsi
mov    0x28(%rsp),%rdx
mov    %r14d,%ecx
mov    %ebp,%r8d
call   1030 <noEdge@plt>
test   %rax,%rax
je     1290 <dfsMaze+0x130>
mov    0x18(%rsp),%rsi
imul   %esi,%r13d
add    %r13d,%r15d
movslq %r15d,%rax
mov    0x28(%rsp),%rdx
movb   $0x2e,(%rdx,%rax,1)
mov    0x1030(%rsp),%rax
mov    %rax,(%rsp)
mov    0x20(%rsp),%rdi
mov    %r14d,%ecx
mov    %ebp,%r8d
mov    0x30(%rsp),%r9
call   1070 <dfsMaze@plt>
jmp    1290 <dfsMaze+0x130>
add    $0xff8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [11 x i8] c"sleep 0.02\00"
@__const.dfsMaze.dir_r = [4 x i32] [i32 1, i32 0, i32 -1, i32 0]
@__const.dfsMaze.dir_c = [4 x i32] [i32 0, i32 1, i32 0, i32 -1]
@__const.dfsMaze.check = [4 x i32] [i32 1, i32 1, i32 1, i32 1]
define void @dfsMaze(i32 %0, i32 %1, i8* %2, i32 %3, i32 %4, i32* nocapture writeonly %5, i32* nocapture writeonly %6) {
%8 = alloca [1000 x i32]
%9 = alloca <4 x i32>
%10 = bitcast [1000 x i32]* %8 to i8*
%11 = mul nsw i32 %3, %1
%12 = add nsw i32 %11, %4
%13 = getelementptr inbounds [1000 x i32], [1000 x i32]* %8, i64 0, i64 0
%14 = call i32 @printMaze(i8* %2, i32 %0, i32 %1, i32 %12, i32* %13)
%15 = call i32 @system(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i64 0, i64 0))
%16 = add nsw i32 %0, -1
%17 = add nsw i32 %1, -1
%18 = add nsw i32 %3, 1
%19 = icmp eq i32 %18, 0
%20 = icmp eq i32 %18, %16
%21 = select i1 %19, i1 true, i1 %20
br i1 %21, label %26, label %22
22: ; preds = %7
%23 = icmp eq i32 %4, 0
%24 = icmp eq i32 %17, %4
%25 = select i1 %23, i1 true, i1 %24
br i1 %25, label %26, label %27
26: ; preds = %22, %7
store i32 %18, i32* %5
store i32 %4, i32* %6
br label %27
27: ; preds = %22, %26
%28 = icmp eq i32 %3, 0
%29 = icmp eq i32 %16, %3
%30 = select i1 %28, i1 true, i1 %29
%31 = add nsw i32 %4, 1
br i1 %30, label %36, label %32
32: ; preds = %27
%33 = icmp eq i32 %31, 0
%34 = icmp eq i32 %31, %17
%35 = select i1 %33, i1 true, i1 %34
br i1 %35, label %36, label %37
36: ; preds = %27, %32
store i32 %3, i32* %5
store i32 %31, i32* %6
br label %37
37: ; preds = %36, %32
%38 = add nsw i32 %3, -1
%39 = icmp eq i32 %38, 0
%40 = icmp eq i32 %3, %0
%41 = or i1 %39, %40
br i1 %41, label %46, label %42
42: ; preds = %37
%43 = icmp eq i32 %4, 0
%44 = icmp eq i32 %17, %4
%45 = select i1 %43, i1 true, i1 %44
br i1 %45, label %46, label %47
46: ; preds = %42, %37
store i32 %38, i32* %5
store i32 %4, i32* %6
br label %47
47: ; preds = %46, %42
%48 = add nsw i32 %4, -1
br i1 %30, label %53, label %49
49: ; preds = %47
%50 = icmp eq i32 %48, 0
%51 = icmp eq i32 %4, %1
%52 = or i1 %50, %51
br i1 %52, label %53, label %54
53: ; preds = %47, %49
store i32 %3, i32* %5
store i32 %48, i32* %6
br label %54
54: ; preds = %53, %49
%55 = bitcast <4 x i32>* %9 to i8*
br label %56
56: ; preds = %104, %54
%57 = call i32 (...) @rand()
%58 = srem i32 %57, 4
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds <4 x i32>, <4 x i32>* %9, i64 0, i64 %59
%61 = load i32, i32* %60
%62 = icmp eq i32 %61, 0
br i1 %62, label %104, label %63
63: ; preds = %56
%64 = getelementptr inbounds [4 x i32], [4 x i32]* @__const.dfsMaze.dir_r, i64 0, i64 %59
%65 = load i32, i32* %64
%66 = shl nsw i32 %65, 1
%67 = add nsw i32 %66, %3
%68 = mul nsw i32 %67, %1
%69 = getelementptr inbounds [4 x i32], [4 x i32]* @__const.dfsMaze.dir_c, i64 0, i64 %59
%70 = load i32, i32* %69
%71 = shl nsw i32 %70, 1
%72 = add i32 %71, %4
%73 = add i32 %72, %68
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i8, i8* %2, i64 %74
%76 = load i8, i8* %75
%77 = icmp eq i8 %76, 46
br i1 %77, label %78, label %104
78: ; preds = %63
%79 = add nsw i32 %65, %3
%80 = icmp sgt i32 %79, 0
%81 = icmp slt i32 %79, %16
%82 = select i1 %80, i1 %81, i1 false
br i1 %82, label %83, label %104
83: ; preds = %78
%84 = add i32 %70, %4
%85 = icmp sgt i32 %84, 0
br i1 %85, label %86, label %104
86: ; preds = %83
%87 = icmp slt i32 %84, %17
%88 = icmp sgt i32 %67, 0
%89 = select i1 %87, i1 %88, i1 false
%90 = icmp slt i32 %67, %16
%91 = select i1 %89, i1 %90, i1 false
br i1 %91, label %92, label %104
92: ; preds = %86
%93 = icmp sgt i32 %72, 0
%94 = icmp slt i32 %72, %17
%95 = select i1 %93, i1 %94, i1 false
br i1 %95, label %96, label %104
96: ; preds = %92
%97 = call i64 @noEdge(i32 %0, i32 %1, i8* %2, i32 %67, i32 %72)
%98 = icmp eq i64 %97, 0
br i1 %98, label %104, label %99
99: ; preds = %96
%100 = mul nsw i32 %79, %1
%101 = add i32 %84, %100
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds i8, i8* %2, i64 %102
store i8 46, i8* %103
br label %104
104: ; preds = %99, %96, %92, %86, %83, %78, %63, %56
store i32 0, i32* %60
%105 = load <4 x i32>, <4 x i32>* %9
%106 = freeze <4 x i32> %105
%107 = icmp ne <4 x i32> %106, zeroinitializer
%108 = bitcast <4 x i1> %107 to i4
%109 = icmp eq i4 %108, 0
br i1 %109, label %110, label %56
110: ; preds = %104
ret void
}