#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*/ assert(int);
int sample_uniform(int *);
bool take_next_step(bool *plattice, int dim, int *plast_x, int *plast_y) {
  bool(*lattice)[dim] = (bool(*)[dim])plattice;
  int delta_x[4] = {0, 0, 1, -1};
  int delta_y[4] = {1, -1, 0, 0};
  bool occupied[4] = {false, false, false, false};
  int i, nrway;
  int last_x = *plast_x, last_y = *plast_y;
  int new_x, new_y;
  assert(lattice[last_x][last_y] == true);
  for (i = 0; i < 4; i++) {
    new_x = last_x + delta_x[i];
    new_y = last_y + delta_y[i];
    if ((new_x < 0) || (new_x >= dim) || (new_y < 0) || (new_y >= dim) ||
        (lattice[new_x][new_y] == true)) {
      occupied[i] = true;
    } else {
      occupied[i] = false;
    }
  }
  nrway = 0;
  for (i = 0; i < 4; i++) {
    if (!occupied[i])
      nrway++;
  }
  if (nrway == 0)
    return false;
  i = sample_uniform(occupied);
  new_x = last_x + delta_x[i];
  new_y = last_y + delta_y[i];
  lattice[new_x][new_y] = true;
  *plast_x = new_x;
  *plast_y = new_y;
  return true;
}


x86 assembly (clang, -O0):
<take_next_step>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x14(%rbp),%eax
mov    %rax,-0x80(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    0xea0(%rip),%rax
mov    %rax,-0x40(%rbp)
mov    0xe9d(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    0xe9a(%rip),%rax
mov    %rax,-0x50(%rbp)
mov    0xe97(%rip),%rax
mov    %rax,-0x48(%rbp)
lea    -0x60(%rbp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1030 <memset@plt>
mov    -0x80(%rbp),%rdx
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x70(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x6c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x70(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movl   $0x0,-0x64(%rbp)
cmpl   $0x4,-0x64(%rbp)
jge    1281 <take_next_step+0x151>
mov    -0x6c(%rbp),%eax
movslq -0x64(%rbp),%rcx
add    -0x40(%rbp,%rcx,4),%eax
mov    %eax,-0x74(%rbp)
mov    -0x70(%rbp),%eax
movslq -0x64(%rbp),%rcx
add    -0x50(%rbp,%rcx,4),%eax
mov    %eax,-0x78(%rbp)
cmpl   $0x0,-0x74(%rbp)
jl     1251 <take_next_step+0x121>
mov    -0x74(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1251 <take_next_step+0x121>
cmpl   $0x0,-0x78(%rbp)
jl     1251 <take_next_step+0x121>
mov    -0x78(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1251 <take_next_step+0x121>
mov    -0x80(%rbp),%rdx
mov    -0x30(%rbp),%rax
movslq -0x74(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x78(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    1262 <take_next_step+0x132>
movslq -0x64(%rbp),%rax
movl   $0x1,-0x60(%rbp,%rax,4)
jmp    126e <take_next_step+0x13e>
movslq -0x64(%rbp),%rax
movl   $0x0,-0x60(%rbp,%rax,4)
jmp    1273 <take_next_step+0x143>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    11da <take_next_step+0xaa>
movl   $0x0,-0x68(%rbp)
movl   $0x0,-0x64(%rbp)
cmpl   $0x4,-0x64(%rbp)
jge    12c4 <take_next_step+0x194>
movslq -0x64(%rbp),%rax
cmpl   $0x0,-0x60(%rbp,%rax,4)
jne    12b1 <take_next_step+0x181>
mov    -0x68(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x68(%rbp)
jmp    12b6 <take_next_step+0x186>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    128f <take_next_step+0x15f>
cmpl   $0x0,-0x68(%rbp)
jne    12da <take_next_step+0x1aa>
movl   $0x0,-0x4(%rbp)
jmp    133d <take_next_step+0x20d>
lea    -0x60(%rbp),%rdi
call   1050 <sample_uniform@plt>
mov    -0x80(%rbp),%rdx
mov    %eax,-0x64(%rbp)
mov    -0x6c(%rbp),%eax
movslq -0x64(%rbp),%rcx
add    -0x40(%rbp,%rcx,4),%eax
mov    %eax,-0x74(%rbp)
mov    -0x70(%rbp),%eax
movslq -0x64(%rbp),%rcx
add    -0x50(%rbp,%rcx,4),%eax
mov    %eax,-0x78(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x74(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x78(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x74(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x78(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<take_next_step>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %esi,%ebp
mov    %rdi,%r13
mov    %esi,%r12d
xorps  %xmm0,%xmm0
movaps %xmm0,(%rsp)
mov    %rdx,0x18(%rsp)
movslq (%rdx),%r15
mov    %rcx,0x20(%rsp)
movslq (%rcx),%rbx
mov    %r15,%rax
imul   %r12,%rax
lea    (%rdi,%rax,4),%rax
xor    %edi,%edi
cmpl   $0x1,(%rax,%rbx,4)
sete   %dil
call   1030 <assert@plt>
mov    %r15d,%r14d
test   %r15,%r15
js     11aa <take_next_step+0x8a>
cmp    %ebp,%r14d
jge    119a <take_next_step+0x7a>
cmp    $0xffffffff,%ebx
jl     119a <take_next_step+0x7a>
lea    0x1(%rbx),%eax
cmp    %ebp,%eax
jge    119a <take_next_step+0x7a>
mov    %r14,%rcx
imul   %r12,%rcx
lea    0x0(,%rcx,4),%rcx
add    %r13,%rcx
mov    %eax,%eax
cmpl   $0x1,(%rcx,%rax,4)
jne    11cc <take_next_step+0xac>
movl   $0x1,(%rsp)
xor    %ecx,%ecx
cmp    %ebp,%r14d
jl     11dd <take_next_step+0xbd>
jmp    11fe <take_next_step+0xde>
movabs $0x100000001,%rax
mov    %rax,(%rsp)
xor    %edx,%edx
mov    $0x0,%eax
mov    $0x0,%ecx
cmp    $0xffffffff,%r14d
jne    123d <take_next_step+0x11d>
jmp    1216 <take_next_step+0xf6>
movl   $0x0,(%rsp)
mov    $0x1,%ecx
cmp    %ebp,%r14d
jge    11fe <take_next_step+0xde>
test   %ebx,%ebx
jle    11fe <take_next_step+0xde>
cmp    %ebp,%ebx
jg     11fe <take_next_step+0xde>
mov    %r14,%rax
imul   %r12,%rax
lea    0x0(,%rax,4),%rax
add    %r13,%rax
cmpl   $0x1,-0x4(%rax,%rbx,4)
jne    1207 <take_next_step+0xe7>
xor    %eax,%eax
mov    $0x1,%edx
jmp    120e <take_next_step+0xee>
mov    $0x1,%eax
xor    %edx,%edx
mov    %edx,0x4(%rsp)
lea    0x1(%r14),%edx
cmp    %ebp,%edx
jge    123d <take_next_step+0x11d>
test   %ebx,%ebx
js     123d <take_next_step+0x11d>
cmp    %ebp,%ebx
jge    123d <take_next_step+0x11d>
mov    %edx,%edx
imul   %r12,%rdx
lea    0x0(,%rdx,4),%rdx
add    %r13,%rdx
cmpl   $0x1,(%rdx,%rbx,4)
jne    12f2 <take_next_step+0x1d2>
xor    %edx,%edx
mov    $0x1,%esi
mov    %esi,0x8(%rsp)
test   %r14d,%r14d
jle    1279 <take_next_step+0x159>
cmp    %ebp,%r14d
jg     1279 <take_next_step+0x159>
test   %ebx,%ebx
js     1279 <take_next_step+0x159>
cmp    %ebp,%ebx
jge    1279 <take_next_step+0x159>
lea    -0x1(%r14),%esi
mov    %esi,%esi
imul   %r12,%rsi
lea    0x0(,%rsi,4),%rsi
add    %r13,%rsi
cmpl   $0x1,(%rsi,%rbx,4)
jne    12fe <take_next_step+0x1de>
xor    %esi,%esi
mov    $0x1,%edi
mov    %edi,0xc(%rsp)
add    %eax,%ecx
add    %edx,%ecx
xor    %eax,%eax
cmp    %esi,%ecx
je     12e3 <take_next_step+0x1c3>
mov    %rsp,%rdi
call   1040 <sample_uniform@plt>
cltq
lea    0xd61(%rip),%rcx
movslq (%rcx,%rax,4),%rcx
movslq %r14d,%rdx
add    %rcx,%rdx
lea    0xd60(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rbx,%rax
mov    %rdx,%rcx
imul   %r12,%rcx
lea    0x0(,%rcx,4),%rcx
add    %r13,%rcx
movl   $0x1,(%rcx,%rax,4)
mov    0x18(%rsp),%rcx
mov    %edx,(%rcx)
mov    0x20(%rsp),%rcx
mov    %eax,(%rcx)
mov    $0x1,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%edx
xor    %esi,%esi
jmp    1244 <take_next_step+0x124>
mov    $0xffffffff,%esi
xor    %edi,%edi
jmp    1280 <take_next_step+0x160>

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

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