#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*/ free(double *);
scalar_t__ malloc(int);
int rdiscrete(int, double *);
double runif();
int Proposal(int p, int **Y_old, int **Y_star) {
  int mark = 1;
  for (int i = 0; i < p; i++) {
    for (int j = 0; j < p; j++) {
      Y_star[i][j] = Y_old[i][j];
    }
  }
  int ind[2], t_ind;
  double *prob;
  prob = (double *)malloc(p * sizeof(double));
  for (int i = 0; i < p; i++) {
    prob[i] = 1.0 / p;
  }
  do {
    ind[0] = rdiscrete(p, prob);
    ind[1] = rdiscrete(p, prob);
  } while (ind[0] == ind[1]);
  if (ind[0] > ind[1]) {
    t_ind = ind[0];
    ind[0] = ind[1];
    ind[1] = t_ind;
  }
  double r;
  r = runif();
  if (r <= 0.5) {
    Y_star[ind[0]][ind[0]] = Y_star[ind[0]][ind[0]] - 1;
    Y_star[ind[0]][ind[1]] = Y_star[ind[0]][ind[1]] + 1;
    Y_star[ind[1]][ind[0]] = Y_star[ind[0]][ind[1]];
    Y_star[ind[1]][ind[1]] = Y_star[ind[1]][ind[1]] - 1;
  } else {
    Y_star[ind[0]][ind[0]] = Y_star[ind[0]][ind[0]] + 1;
    Y_star[ind[0]][ind[1]] = Y_star[ind[0]][ind[1]] - 1;
    Y_star[ind[1]][ind[0]] = Y_star[ind[0]][ind[1]];
    Y_star[ind[1]][ind[1]] = Y_star[ind[1]][ind[1]] + 1;
  }
  for (int i = 0; i < 2; i++) {
    for (int j = 0; j < 2; j++) {
      if (Y_star[ind[i]][ind[j]] < 0) {
        mark = 0;
      }
    }
  }
  free(prob);
  return mark;
}


x86 assembly (clang, -O0):
<Proposal>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x1,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11c7 <Proposal+0x87>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11b4 <Proposal+0x74>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1174 <Proposal+0x34>
jmp    11b9 <Proposal+0x79>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1161 <Proposal+0x21>
movslq -0x4(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1219 <Proposal+0xd9>
cvtsi2sdl -0x4(%rbp),%xmm1
movsd  0xe0e(%rip),%xmm0
divsd  %xmm1,%xmm0
mov    -0x38(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11e1 <Proposal+0xa1>
jmp    121e <Proposal+0xde>
mov    -0x4(%rbp),%edi
mov    -0x38(%rbp),%rsi
call   1050 <rdiscrete@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x38(%rbp),%rsi
call   1050 <rdiscrete@plt>
mov    %eax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x28(%rbp),%eax
je     121e <Proposal+0xde>
mov    -0x2c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jle    1266 <Proposal+0x126>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    $0x0,%al
call   1040 <runif@plt>
movsd  %xmm0,-0x48(%rbp)
movsd  0xd86(%rip),%xmm0
ucomisd -0x48(%rbp),%xmm0
jb     132b <Proposal+0x1eb>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    $0x1,%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    $0x1,%edx
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    13cc <Proposal+0x28c>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    $0x1,%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0x4c(%rbp)
cmpl   $0x2,-0x4c(%rbp)
jge    143f <Proposal+0x2ff>
movl   $0x0,-0x50(%rbp)
cmpl   $0x2,-0x50(%rbp)
jge    142c <Proposal+0x2ec>
mov    -0x18(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movslq -0x2c(%rbp,%rcx,4),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x50(%rbp),%rcx
movslq -0x2c(%rbp,%rcx,4),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jge    1419 <Proposal+0x2d9>
movl   $0x0,-0x1c(%rbp)
jmp    141e <Proposal+0x2de>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    13e4 <Proposal+0x2a4>
jmp    1431 <Proposal+0x2f1>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    13d3 <Proposal+0x293>
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
mov    -0x1c(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Proposal>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdx,%r14
mov    %edi,%r15d
test   %edi,%edi
jle    133a <Proposal+0x1fa>
mov    %r15d,%ebp
mov    %ebp,%r11d
and    $0xfffffff8,%r11d
lea    -0x8(%r11),%rax
mov    %rax,0x10(%rsp)
shr    $0x3,%rax
add    $0x1,%rax
mov    %eax,%r10d
and    $0x3,%r10d
and    $0xfffffffffffffffc,%rax
mov    %rax,0x8(%rsp)
mov    %ebp,%r8d
and    $0x3,%r8d
mov    %r10,%r13
shl    $0x5,%r13
xor    %r9d,%r9d
jmp    11ad <Proposal+0x6d>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r9
cmp    %rbp,%r9
je     1300 <Proposal+0x1c0>
mov    (%rsi,%r9,8),%rdx
mov    (%r14,%r9,8),%rax
cmp    $0x8,%r15d
jb     11cd <Proposal+0x8d>
lea    (%rdx,%rbp,4),%rcx
cmp    %rcx,%rax
jae    1230 <Proposal+0xf0>
lea    (%rax,%rbp,4),%rcx
cmp    %rcx,%rdx
jae    1230 <Proposal+0xf0>
xor    %ebx,%ebx
mov    %rbx,%rdi
not    %rdi
add    %rbp,%rdi
test   %r8,%r8
je     11f0 <Proposal+0xb0>
mov    %r8,%r12
mov    (%rdx,%rbx,4),%ecx
mov    %ecx,(%rax,%rbx,4)
add    $0x1,%rbx
add    $0xffffffffffffffff,%r12
jne    11e0 <Proposal+0xa0>
cmp    $0x3,%rdi
jb     11a0 <Proposal+0x60>
cs nopw 0x0(%rax,%rax,1)
mov    (%rdx,%rbx,4),%ecx
mov    %ecx,(%rax,%rbx,4)
mov    0x4(%rdx,%rbx,4),%ecx
mov    %ecx,0x4(%rax,%rbx,4)
mov    0x8(%rdx,%rbx,4),%ecx
mov    %ecx,0x8(%rax,%rbx,4)
mov    0xc(%rdx,%rbx,4),%ecx
mov    %ecx,0xc(%rax,%rbx,4)
add    $0x4,%rbx
cmp    %rbx,%rbp
jne    1200 <Proposal+0xc0>
jmp    11a0 <Proposal+0x60>
nopl   0x0(%rax)
cmpq   $0x18,0x10(%rsp)
jae    123c <Proposal+0xfc>
xor    %ebx,%ebx
jmp    12ac <Proposal+0x16c>
mov    0x8(%rsp),%rdi
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups (%rdx,%rbx,4),%xmm0
movups 0x10(%rdx,%rbx,4),%xmm1
movups %xmm0,(%rax,%rbx,4)
movups %xmm1,0x10(%rax,%rbx,4)
movups 0x20(%rdx,%rbx,4),%xmm0
movups 0x30(%rdx,%rbx,4),%xmm1
movups %xmm0,0x20(%rax,%rbx,4)
movups %xmm1,0x30(%rax,%rbx,4)
movups 0x40(%rdx,%rbx,4),%xmm0
movups 0x50(%rdx,%rbx,4),%xmm1
movups %xmm0,0x40(%rax,%rbx,4)
movups %xmm1,0x50(%rax,%rbx,4)
movupd 0x60(%rdx,%rbx,4),%xmm0
movupd 0x70(%rdx,%rbx,4),%xmm1
movupd %xmm0,0x60(%rax,%rbx,4)
movupd %xmm1,0x70(%rax,%rbx,4)
add    $0x20,%rbx
add    $0xfffffffffffffffc,%rdi
jne    1250 <Proposal+0x110>
test   %r10,%r10
je     12ef <Proposal+0x1af>
lea    (%rax,%rbx,4),%rdi
add    $0x10,%rdi
lea    (%rdx,%rbx,4),%rbx
add    $0x10,%rbx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movupd -0x10(%rbx,%rcx,1),%xmm0
movupd (%rbx,%rcx,1),%xmm1
movupd %xmm0,-0x10(%rdi,%rcx,1)
movupd %xmm1,(%rdi,%rcx,1)
add    $0x20,%rcx
cmp    %rcx,%r13
jne    12d0 <Proposal+0x190>
mov    %r11,%rbx
cmp    %rbp,%r11
je     11a0 <Proposal+0x60>
jmp    11cf <Proposal+0x8f>
lea    0x0(,%r15,8),%edi
call   1060 <malloc@plt>
mov    %rax,%rbx
test   %r15d,%r15d
jle    1460 <Proposal+0x320>
xorps  %xmm1,%xmm1
cvtsi2sd %r15d,%xmm1
movsd  0xcd7(%rip),%xmm0
divsd  %xmm1,%xmm0
cmp    $0x4,%r15d
jae    134f <Proposal+0x20f>
xor    %eax,%eax
jmp    1450 <Proposal+0x310>
lea    0x0(,%r15,8),%edi
call   1060 <malloc@plt>
mov    %rax,%rbx
jmp    1460 <Proposal+0x320>
mov    %ebp,%eax
and    $0xfffffffc,%eax
movapd %xmm0,%xmm1
unpcklpd %xmm0,%xmm1
lea    -0x4(%rax),%rsi
mov    %rsi,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
mov    %edx,%ecx
and    $0x7,%ecx
cmp    $0x1c,%rsi
jae    137d <Proposal+0x23d>
xor    %esi,%esi
jmp    1415 <Proposal+0x2d5>
and    $0xfffffffffffffff8,%rdx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movupd %xmm1,(%rbx,%rsi,8)
movupd %xmm1,0x10(%rbx,%rsi,8)
movupd %xmm1,0x20(%rbx,%rsi,8)
movupd %xmm1,0x30(%rbx,%rsi,8)
movupd %xmm1,0x40(%rbx,%rsi,8)
movupd %xmm1,0x50(%rbx,%rsi,8)
movupd %xmm1,0x60(%rbx,%rsi,8)
movupd %xmm1,0x70(%rbx,%rsi,8)
movupd %xmm1,0x80(%rbx,%rsi,8)
movupd %xmm1,0x90(%rbx,%rsi,8)
movupd %xmm1,0xa0(%rbx,%rsi,8)
movupd %xmm1,0xb0(%rbx,%rsi,8)
movupd %xmm1,0xc0(%rbx,%rsi,8)
movupd %xmm1,0xd0(%rbx,%rsi,8)
movupd %xmm1,0xe0(%rbx,%rsi,8)
movupd %xmm1,0xf0(%rbx,%rsi,8)
add    $0x20,%rsi
add    $0xfffffffffffffff8,%rdx
jne    1390 <Proposal+0x250>
test   %rcx,%rcx
je     1444 <Proposal+0x304>
lea    (%rbx,%rsi,8),%rdx
add    $0x10,%rdx
shl    $0x5,%rcx
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
movupd %xmm1,-0x10(%rdx,%rsi,1)
movupd %xmm1,(%rdx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%rcx
jne    1430 <Proposal+0x2f0>
cmp    %rbp,%rax
je     1460 <Proposal+0x320>
nopl   0x0(%rax)
movsd  %xmm0,(%rbx,%rax,8)
add    $0x1,%rax
cmp    %rax,%rbp
jne    1450 <Proposal+0x310>
xchg   %ax,%ax
mov    %r15d,%edi
mov    %rbx,%rsi
call   1050 <rdiscrete@plt>
mov    %eax,%ebp
mov    %r15d,%edi
mov    %rbx,%rsi
call   1050 <rdiscrete@plt>
cmp    %eax,%ebp
je     1460 <Proposal+0x320>
mov    %eax,%r15d
cmovg  %ebp,%r15d
cmovg  %eax,%ebp
xor    %eax,%eax
call   1040 <runif@plt>
movsd  0xb73(%rip),%xmm1
ucomisd %xmm0,%xmm1
movslq %ebp,%rcx
mov    (%r14,%rcx,8),%r8
mov    (%r8,%rcx,4),%edx
jae    14ca <Proposal+0x38a>
add    $0x1,%edx
mov    %edx,(%r8,%rcx,4)
movslq %r15d,%rdx
mov    (%r8,%rdx,4),%edi
add    $0xffffffff,%edi
mov    %edi,(%r8,%rdx,4)
mov    (%r14,%rdx,8),%rsi
mov    %edi,(%rsi,%rcx,4)
mov    (%rsi,%rdx,4),%edi
add    $0x1,%edi
jmp    14ec <Proposal+0x3ac>
add    $0xffffffff,%edx
mov    %edx,(%r8,%rcx,4)
movslq %r15d,%rdx
mov    (%r8,%rdx,4),%edi
add    $0x1,%edi
mov    %edi,(%r8,%rdx,4)
mov    (%r14,%rdx,8),%rsi
mov    %edi,(%rsi,%rcx,4)
mov    (%rsi,%rdx,4),%edi
add    $0xffffffff,%edi
mov    %edi,(%rsi,%rdx,4)
mov    (%r8,%rcx,4),%eax
not    %eax
shr    $0x1f,%eax
or     (%rsi,%rcx,4),%edi
xor    %ebp,%ebp
or     (%r8,%rdx,4),%edi
cmovns %eax,%ebp
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %ebp,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @Proposal(i32 %0, i32** %1, i32** %2) {
%4 = alloca i32
%5 = alloca i32**
%6 = alloca i32**
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca [2 x i32]
%11 = alloca i32
%12 = alloca double*
%13 = alloca i32
%14 = alloca double
%15 = alloca i32
%16 = alloca i32
store i32 %0, i32* %4
store i32** %1, i32*** %5
store i32** %2, i32*** %6
store i32 1, i32* %7
store i32 0, i32* %8
br label %17
17: ; preds = %48, %3
%18 = load i32, i32* %8
%19 = load i32, i32* %4
%20 = icmp slt i32 %18, %19
br i1 %20, label %21, label %51
21: ; preds = %17
store i32 0, i32* %9
br label %22
22: ; preds = %44, %21
%23 = load i32, i32* %9
%24 = load i32, i32* %4
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %47
26: ; preds = %22
%27 = load i32**, i32*** %5
%28 = load i32, i32* %8
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i32*, i32** %27, i64 %29
%31 = load i32*, i32** %30
%32 = load i32, i32* %9
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %31, i64 %33
%35 = load i32, i32* %34
%36 = load i32**, i32*** %6
%37 = load i32, i32* %8
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32*, i32** %36, i64 %38
%40 = load i32*, i32** %39
%41 = load i32, i32* %9
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i32, i32* %40, i64 %42
store i32 %35, i32* %43
br label %44
44: ; preds = %26
%45 = load i32, i32* %9
%46 = add nsw i32 %45, 1
store i32 %46, i32* %9
br label %22
47: ; preds = %22
br label %48
48: ; preds = %47
%49 = load i32, i32* %8
%50 = add nsw i32 %49, 1
store i32 %50, i32* %8
br label %17
51: ; preds = %17
%52 = load i32, i32* %4
%53 = sext i32 %52 to i64
%54 = mul i64 %53, 8
%55 = trunc i64 %54 to i32
%56 = call i64 @malloc(i32 %55)
%57 = inttoptr i64 %56 to double*
store double* %57, double** %12
store i32 0, i32* %13
br label %58
58: ; preds = %70, %51
%59 = load i32, i32* %13
%60 = load i32, i32* %4
%61 = icmp slt i32 %59, %60
br i1 %61, label %62, label %73
62: ; preds = %58
%63 = load i32, i32* %4
%64 = sitofp i32 %63 to double
%65 = fdiv double 1.000000e+00, %64
%66 = load double*, double** %12
%67 = load i32, i32* %13
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds double, double* %66, i64 %68
store double %65, double* %69
br label %70
70: ; preds = %62
%71 = load i32, i32* %13
%72 = add nsw i32 %71, 1
store i32 %72, i32* %13
br label %58
73: ; preds = %58
br label %74
74: ; preds = %83, %73
%75 = load i32, i32* %4
%76 = load double*, double** %12
%77 = call i32 @rdiscrete(i32 %75, double* %76)
%78 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
store i32 %77, i32* %78
%79 = load i32, i32* %4
%80 = load double*, double** %12
%81 = call i32 @rdiscrete(i32 %79, double* %80)
%82 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
store i32 %81, i32* %82
br label %83
83: ; preds = %74
%84 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%85 = load i32, i32* %84
%86 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%87 = load i32, i32* %86
%88 = icmp eq i32 %85, %87
br i1 %88, label %74, label %89
89: ; preds = %83
%90 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%91 = load i32, i32* %90
%92 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%93 = load i32, i32* %92
%94 = icmp sgt i32 %91, %93
br i1 %94, label %95, label %103
95: ; preds = %89
%96 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%97 = load i32, i32* %96
store i32 %97, i32* %11
%98 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%99 = load i32, i32* %98
%100 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
store i32 %99, i32* %100
%101 = load i32, i32* %11
%102 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
store i32 %101, i32* %102
br label %103
103: ; preds = %95, %89
%104 = call double (...) @runif()
store double %104, double* %14
%105 = load double, double* %14
%106 = fcmp ole double %105, 5.000000e-01
br i1 %106, label %107, label %195
107: ; preds = %103
%108 = load i32**, i32*** %6
%109 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%110 = load i32, i32* %109
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds i32*, i32** %108, i64 %111
%113 = load i32*, i32** %112
%114 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%115 = load i32, i32* %114
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds i32, i32* %113, i64 %116
%118 = load i32, i32* %117
%119 = sub nsw i32 %118, 1
%120 = load i32**, i32*** %6
%121 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%122 = load i32, i32* %121
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds i32*, i32** %120, i64 %123
%125 = load i32*, i32** %124
%126 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%127 = load i32, i32* %126
%128 = sext i32 %127 to i64
%129 = getelementptr inbounds i32, i32* %125, i64 %128
store i32 %119, i32* %129
%130 = load i32**, i32*** %6
%131 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%132 = load i32, i32* %131
%133 = sext i32 %132 to i64
%134 = getelementptr inbounds i32*, i32** %130, i64 %133
%135 = load i32*, i32** %134
%136 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%137 = load i32, i32* %136
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds i32, i32* %135, i64 %138
%140 = load i32, i32* %139
%141 = add nsw i32 %140, 1
%142 = load i32**, i32*** %6
%143 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%144 = load i32, i32* %143
%145 = sext i32 %144 to i64
%146 = getelementptr inbounds i32*, i32** %142, i64 %145
%147 = load i32*, i32** %146
%148 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%149 = load i32, i32* %148
%150 = sext i32 %149 to i64
%151 = getelementptr inbounds i32, i32* %147, i64 %150
store i32 %141, i32* %151
%152 = load i32**, i32*** %6
%153 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%154 = load i32, i32* %153
%155 = sext i32 %154 to i64
%156 = getelementptr inbounds i32*, i32** %152, i64 %155
%157 = load i32*, i32** %156
%158 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%159 = load i32, i32* %158
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds i32, i32* %157, i64 %160
%162 = load i32, i32* %161
%163 = load i32**, i32*** %6
%164 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%165 = load i32, i32* %164
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds i32*, i32** %163, i64 %166
%168 = load i32*, i32** %167
%169 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%170 = load i32, i32* %169
%171 = sext i32 %170 to i64
%172 = getelementptr inbounds i32, i32* %168, i64 %171
store i32 %162, i32* %172
%173 = load i32**, i32*** %6
%174 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%175 = load i32, i32* %174
%176 = sext i32 %175 to i64
%177 = getelementptr inbounds i32*, i32** %173, i64 %176
%178 = load i32*, i32** %177
%179 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%180 = load i32, i32* %179
%181 = sext i32 %180 to i64
%182 = getelementptr inbounds i32, i32* %178, i64 %181
%183 = load i32, i32* %182
%184 = sub nsw i32 %183, 1
%185 = load i32**, i32*** %6
%186 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%187 = load i32, i32* %186
%188 = sext i32 %187 to i64
%189 = getelementptr inbounds i32*, i32** %185, i64 %188
%190 = load i32*, i32** %189
%191 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%192 = load i32, i32* %191
%193 = sext i32 %192 to i64
%194 = getelementptr inbounds i32, i32* %190, i64 %193
store i32 %184, i32* %194
br label %283
195: ; preds = %103
%196 = load i32**, i32*** %6
%197 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%198 = load i32, i32* %197
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds i32*, i32** %196, i64 %199
%201 = load i32*, i32** %200
%202 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%203 = load i32, i32* %202
%204 = sext i32 %203 to i64
%205 = getelementptr inbounds i32, i32* %201, i64 %204
%206 = load i32, i32* %205
%207 = add nsw i32 %206, 1
%208 = load i32**, i32*** %6
%209 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%210 = load i32, i32* %209
%211 = sext i32 %210 to i64
%212 = getelementptr inbounds i32*, i32** %208, i64 %211
%213 = load i32*, i32** %212
%214 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%215 = load i32, i32* %214
%216 = sext i32 %215 to i64
%217 = getelementptr inbounds i32, i32* %213, i64 %216
store i32 %207, i32* %217
%218 = load i32**, i32*** %6
%219 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%220 = load i32, i32* %219
%221 = sext i32 %220 to i64
%222 = getelementptr inbounds i32*, i32** %218, i64 %221
%223 = load i32*, i32** %222
%224 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%225 = load i32, i32* %224
%226 = sext i32 %225 to i64
%227 = getelementptr inbounds i32, i32* %223, i64 %226
%228 = load i32, i32* %227
%229 = sub nsw i32 %228, 1
%230 = load i32**, i32*** %6
%231 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%232 = load i32, i32* %231
%233 = sext i32 %232 to i64
%234 = getelementptr inbounds i32*, i32** %230, i64 %233
%235 = load i32*, i32** %234
%236 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%237 = load i32, i32* %236
%238 = sext i32 %237 to i64
%239 = getelementptr inbounds i32, i32* %235, i64 %238
store i32 %229, i32* %239
%240 = load i32**, i32*** %6
%241 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%242 = load i32, i32* %241
%243 = sext i32 %242 to i64
%244 = getelementptr inbounds i32*, i32** %240, i64 %243
%245 = load i32*, i32** %244
%246 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%247 = load i32, i32* %246
%248 = sext i32 %247 to i64
%249 = getelementptr inbounds i32, i32* %245, i64 %248
%250 = load i32, i32* %249
%251 = load i32**, i32*** %6
%252 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%253 = load i32, i32* %252
%254 = sext i32 %253 to i64
%255 = getelementptr inbounds i32*, i32** %251, i64 %254
%256 = load i32*, i32** %255
%257 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 0
%258 = load i32, i32* %257
%259 = sext i32 %258 to i64
%260 = getelementptr inbounds i32, i32* %256, i64 %259
store i32 %250, i32* %260
%261 = load i32**, i32*** %6
%262 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%263 = load i32, i32* %262
%264 = sext i32 %263 to i64
%265 = getelementptr inbounds i32*, i32** %261, i64 %264
%266 = load i32*, i32** %265
%267 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%268 = load i32, i32* %267
%269 = sext i32 %268 to i64
%270 = getelementptr inbounds i32, i32* %266, i64 %269
%271 = load i32, i32* %270
%272 = add nsw i32 %271, 1
%273 = load i32**, i32*** %6
%274 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%275 = load i32, i32* %274
%276 = sext i32 %275 to i64
%277 = getelementptr inbounds i32*, i32** %273, i64 %276
%278 = load i32*, i32** %277
%279 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 1
%280 = load i32, i32* %279
%281 = sext i32 %280 to i64
%282 = getelementptr inbounds i32, i32* %278, i64 %281
store i32 %272, i32* %282
br label %283
283: ; preds = %195, %107
store i32 0, i32* %15
br label %284
284: ; preds = %314, %283
%285 = load i32, i32* %15
%286 = icmp slt i32 %285, 2
br i1 %286, label %287, label %317
287: ; preds = %284
store i32 0, i32* %16
br label %288
288: ; preds = %310, %287
%289 = load i32, i32* %16
%290 = icmp slt i32 %289, 2
br i1 %290, label %291, label %313
291: ; preds = %288
%292 = load i32**, i32*** %6
%293 = load i32, i32* %15
%294 = sext i32 %293 to i64
%295 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 %294
%296 = load i32, i32* %295
%297 = sext i32 %296 to i64
%298 = getelementptr inbounds i32*, i32** %292, i64 %297
%299 = load i32*, i32** %298
%300 = load i32, i32* %16
%301 = sext i32 %300 to i64
%302 = getelementptr inbounds [2 x i32], [2 x i32]* %10, i64 0, i64 %301
%303 = load i32, i32* %302
%304 = sext i32 %303 to i64
%305 = getelementptr inbounds i32, i32* %299, i64 %304
%306 = load i32, i32* %305
%307 = icmp slt i32 %306, 0
br i1 %307, label %308, label %309
308: ; preds = %291
store i32 0, i32* %7
br label %309
309: ; preds = %308, %291
br label %310
310: ; preds = %309
%311 = load i32, i32* %16
%312 = add nsw i32 %311, 1
store i32 %312, i32* %16
br label %288
313: ; preds = %288
br label %314
314: ; preds = %313
%315 = load i32, i32* %15
%316 = add nsw i32 %315, 1
store i32 %316, i32* %15
br label %284
317: ; preds = %284
%318 = load double*, double** %12
%319 = call i32 @free(double* %318)
%320 = load i32, i32* %7
ret i32 %320
}

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