#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);
scalar_t__ pow(double, int);
int sample_unif_dir();
bool random_walk(bool *plattice, int dim, double max_radius, int *px, int *py) {
  bool(*lattice)[dim] = (bool(*)[dim])plattice;
  int delta_x[4] = {0, 0, 1, -1};
  int delta_y[4] = {1, -1, 0, 0};
  int i, x, y;
  assert(plattice != NULL);
  assert(dim > 0);
  assert(max_radius > 0);
  assert(px != NULL);
  assert(py != NULL);
  assert(max_radius < dim / 2);
  x = *px;
  y = *py;
  do {
    i = sample_unif_dir();
    x += delta_x[i];
    y += delta_y[i];
    if (lattice[x][y]) {
      *px = x - delta_x[i];
      *py = y - delta_y[i];
      return true;
    }
  } while ((0 <= x) && (x < dim) && (0 <= y) && (y < dim) &&
           (pow(x - dim / 2, 2) + pow(y - dim / 2, 2) < pow(max_radius, 2)));
  return false;
}


x86 assembly (clang, -O0):
<random_walk>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movsd  %xmm0,-0x20(%rbp)
mov    %rdx,-0x28(%rbp)
mov    %rcx,-0x30(%rbp)
mov    -0x14(%rbp),%eax
mov    %rax,-0x78(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    0xe9b(%rip),%rax
mov    %rax,-0x50(%rbp)
mov    0xe98(%rip),%rax
mov    %rax,-0x48(%rbp)
mov    0xe95(%rip),%rax
mov    %rax,-0x60(%rbp)
mov    0xe92(%rip),%rax
mov    %rax,-0x58(%rbp)
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpl   $0x0,-0x14(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movsd  -0x20(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpq   $0x0,-0x28(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpq   $0x0,-0x30(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movsd  -0x20(%rbp),%xmm1
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cvtsi2sd %eax,%xmm0
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x68(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x6c(%rbp)
mov    $0x0,%al
call   1030 <sample_unif_dir@plt>
mov    -0x78(%rbp),%rdx
mov    %eax,-0x64(%rbp)
movslq -0x64(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%eax
add    -0x68(%rbp),%eax
mov    %eax,-0x68(%rbp)
movslq -0x64(%rbp),%rax
mov    -0x60(%rbp,%rax,4),%eax
add    -0x6c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x68(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x6c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     129a <random_walk+0x16a>
mov    -0x68(%rbp),%ecx
movslq -0x64(%rbp),%rax
sub    -0x50(%rbp,%rax,4),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x6c(%rbp),%ecx
movslq -0x64(%rbp),%rax
sub    -0x60(%rbp,%rax,4),%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    1388 <random_walk+0x258>
jmp    129f <random_walk+0x16f>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x68(%rbp),%ecx
mov    %al,-0x79(%rbp)
jg     1376 <random_walk+0x246>
mov    -0x68(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x79(%rbp)
jge    1376 <random_walk+0x246>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x6c(%rbp),%ecx
mov    %al,-0x79(%rbp)
jg     1376 <random_walk+0x246>
mov    -0x6c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x79(%rbp)
jge    1376 <random_walk+0x246>
mov    -0x68(%rbp),%eax
mov    %eax,-0x98(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x98(%rbp),%eax
sub    %ecx,%eax
cvtsi2sd %eax,%xmm0
mov    $0x2,%edi
call   1050 <pow@plt>
mov    %rax,-0x90(%rbp)
mov    -0x6c(%rbp),%eax
mov    %eax,-0x94(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x94(%rbp),%eax
sub    %ecx,%eax
cvtsi2sd %eax,%xmm0
mov    $0x2,%edi
call   1050 <pow@plt>
mov    %rax,%rcx
mov    -0x90(%rbp),%rax
add    %rcx,%rax
mov    %rax,-0x88(%rbp)
movsd  -0x20(%rbp),%xmm0
mov    $0x2,%edi
call   1050 <pow@plt>
mov    %rax,%rcx
mov    -0x88(%rbp),%rax
cmp    %rcx,%rax
setl   %al
mov    %al,-0x79(%rbp)
mov    -0x79(%rbp),%al
test   $0x1,%al
jne    1221 <random_walk+0xf1>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<random_walk>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rcx,%rbx
mov    %rdx,%rbp
movsd  %xmm0,0x8(%rsp)
mov    %esi,%r14d
mov    %rdi,%rax
mov    %esi,%ecx
mov    %rcx,0x28(%rsp)
xor    %edi,%edi
mov    %rax,0x30(%rsp)
test   %rax,%rax
setne  %dil
call   1040 <assert@plt>
xor    %edi,%edi
test   %r14d,%r14d
setg   %dil
call   1040 <assert@plt>
xorpd  %xmm0,%xmm0
xor    %edi,%edi
movsd  0x8(%rsp),%xmm1
ucomisd %xmm0,%xmm1
seta   %dil
call   1040 <assert@plt>
xor    %edi,%edi
test   %rbp,%rbp
setne  %dil
call   1040 <assert@plt>
xor    %edi,%edi
test   %rbx,%rbx
setne  %dil
call   1040 <assert@plt>
mov    %r14d,%eax
shr    $0x1f,%eax
add    %r14d,%eax
sar    %eax
mov    %eax,0x14(%rsp)
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
xor    %edi,%edi
ucomisd 0x8(%rsp),%xmm0
seta   %dil
call   1040 <assert@plt>
mov    %rbp,0x18(%rsp)
mov    0x0(%rbp),%ebp
mov    %rbx,0x20(%rsp)
mov    (%rbx),%r13d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
xor    %eax,%eax
call   1030 <sample_unif_dir@plt>
cltq
lea    0xe00(%rip),%rcx
movslq (%rcx,%rax,4),%rcx
movslq %ebp,%r12
add    %rcx,%r12
lea    0xdff(%rip),%rcx
movslq (%rcx,%rax,4),%rax
movslq %r13d,%r15
add    %rax,%r15
mov    %r12,%rax
imul   0x28(%rsp),%rax
mov    0x30(%rsp),%rcx
lea    (%rcx,%rax,4),%rax
cmpl   $0x0,(%rax,%r15,4)
jne    12bc <random_walk+0x18c>
movl   $0x0,0x4(%rsp)
test   %r12d,%r12d
js     12d3 <random_walk+0x1a3>
cmp    %r14d,%r12d
jge    12d3 <random_walk+0x1a3>
test   %r15d,%r15d
js     12d3 <random_walk+0x1a3>
cmp    %r14d,%r15d
jge    12d3 <random_walk+0x1a3>
mov    %r12d,%eax
mov    0x14(%rsp),%ebx
sub    %ebx,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mov    $0x2,%edi
call   1050 <pow@plt>
mov    %rax,%rbp
mov    %r15d,%eax
sub    %ebx,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mov    $0x2,%edi
call   1050 <pow@plt>
mov    %r14d,%ebx
mov    %rax,%r14
add    %rbp,%r14
movsd  0x8(%rsp),%xmm0
mov    $0x2,%edi
call   1050 <pow@plt>
mov    %r12d,%ebp
mov    %r15d,%r13d
cmp    %rax,%r14
mov    %ebx,%r14d
jl     11f0 <random_walk+0xc0>
jmp    12d3 <random_walk+0x1a3>
mov    0x18(%rsp),%rax
mov    %ebp,(%rax)
mov    0x20(%rsp),%rax
mov    %r13d,(%rax)
movl   $0x1,0x4(%rsp)
mov    0x4(%rsp),%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@__const.random_walk.delta_x = [4 x i32] [i32 0, i32 0, i32 1, i32 -1]
@__const.random_walk.delta_y = [4 x i32] [i32 1, i32 -1, i32 0, i32 0]
define i32 @random_walk(i32* %0, i32 %1, double %2, i32* %3, i32* %4) {
%6 = zext i32 %1 to i64
%7 = icmp ne i32* %0, null
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = icmp sgt i32 %1, 0
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = fcmp ogt double %2, 0.000000e+00
%14 = zext i1 %13 to i32
%15 = tail call i32 @assert(i32 %14)
%16 = icmp ne i32* %3, null
%17 = zext i1 %16 to i32
%18 = tail call i32 @assert(i32 %17)
%19 = icmp ne i32* %4, null
%20 = zext i1 %19 to i32
%21 = tail call i32 @assert(i32 %20)
%22 = sdiv i32 %1, 2
%23 = sitofp i32 %22 to double
%24 = fcmp ogt double %23, %2
%25 = zext i1 %24 to i32
%26 = tail call i32 @assert(i32 %25)
%27 = load i32, i32* %3
%28 = load i32, i32* %4
br label %29
29: ; preds = %56, %5
%30 = phi i32 [ %27, %5 ], [ %36, %56 ]
%31 = phi i32 [ %28, %5 ], [ %39, %56 ]
%32 = tail call i32 (...) @sample_unif_dir()
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds [4 x i32], [4 x i32]* @__const.random_walk.delta_x, i64 0, i64 %33
%35 = load i32, i32* %34
%36 = add nsw i32 %35, %30
%37 = getelementptr inbounds [4 x i32], [4 x i32]* @__const.random_walk.delta_y, i64 0, i64 %33
%38 = load i32, i32* %37
%39 = add nsw i32 %38, %31
%40 = sext i32 %36 to i64
%41 = mul nsw i64 %40, %6
%42 = getelementptr inbounds i32, i32* %0, i64 %41
%43 = sext i32 %39 to i64
%44 = getelementptr inbounds i32, i32* %42, i64 %43
%45 = load i32, i32* %44
%46 = icmp eq i32 %45, 0
br i1 %46, label %48, label %47
47: ; preds = %29
store i32 %30, i32* %3
store i32 %31, i32* %4
br label %66
48: ; preds = %29
%49 = icmp sgt i32 %36, -1
br i1 %49, label %50, label %66
50: ; preds = %48
%51 = icmp slt i32 %36, %1
%52 = icmp sgt i32 %39, -1
%53 = select i1 %51, i1 %52, i1 false
%54 = icmp slt i32 %39, %1
%55 = select i1 %53, i1 %54, i1 false
br i1 %55, label %56, label %66
56: ; preds = %50
%57 = sub nsw i32 %36, %22
%58 = sitofp i32 %57 to double
%59 = tail call i64 @pow(double %58, i32 2)
%60 = sub nsw i32 %39, %22
%61 = sitofp i32 %60 to double
%62 = tail call i64 @pow(double %61, i32 2)
%63 = add nsw i64 %62, %59
%64 = tail call i64 @pow(double %2, i32 2)
%65 = icmp slt i64 %63, %64
br i1 %65, label %29, label %66
66: ; preds = %56, %50, %48, %47
%67 = phi i32 [ 1, %47 ], [ 0, %48 ], [ 0, %50 ], [ 0, %56 ]
ret i32 %67
}