#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);
void BuildSampler(double *X, unsigned int N, unsigned int *A, unsigned int *B) {
  unsigned int i, j, k;
  assert(1 <= N);
  for (i = 1; i <= N; i++) {
    A[i] = i;
    B[i] = i;
    assert(X[i] >= 0.0);
    X[i] = X[i] * N;
  }
  B[0] = 0;
  X[0] = 0.0;
  B[N + 1] = N + 1;
  X[N + 1] = 2.0;
  i = 0;
  j = N + 1;
  for (;;) {
    do {
      i++;
    } while (X[B[i]] < 1.0);
    do {
      j--;
    } while (X[B[j]] >= 1.0);
    if (i >= j)
      break;
    k = B[i];
    B[i] = B[j];
    B[j] = k;
  }
  i = j;
  j++;
  while (i > 0) {
    while (X[B[j]] <= 1.0) {
      j++;
    }
    assert(X[B[i]] < 1.0);
    if (j > N)
      break;
    assert(j <= N);
    assert(X[B[j]] > 1.0);
    X[B[j]] -= 1.0 - X[B[i]];
    A[B[i]] = B[j];
    if (X[B[j]] < 1.0) {
      assert(i < j);
      k = B[i];
      B[i] = B[j];
      B[j] = k;
      j++;
    } else {
      i--;
    }
  }
}


x86 assembly (clang, -O0):
<BuildSampler>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    $0x1,%eax
cmp    -0xc(%rbp),%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
ja     11bb <BuildSampler+0xab>
mov    -0x24(%rbp),%eax
mov    %eax,%ecx
mov    %ecx,%edx
mov    -0x18(%rbp),%rax
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
mov    %eax,%ecx
mov    %ecx,%edx
mov    -0x20(%rbp),%rax
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
setae  %al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
movsd  (%rax,%rcx,8),%xmm0
mov    -0xc(%rbp),%eax
cvtsi2sd %rax,%xmm1
mulsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1143 <BuildSampler+0x33>
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x8(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0xc(%rbp),%edx
add    $0x1,%edx
mov    -0x20(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
movsd  0xe07(%rip),%xmm0
movsd  %xmm0,(%rax,%rcx,8)
movl   $0x0,-0x24(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1213 <BuildSampler+0x103>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x24(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
movsd  0xdd6(%rip),%xmm0
ucomisd (%rax,%rcx,8),%xmm0
ja     1213 <BuildSampler+0x103>
jmp    1242 <BuildSampler+0x132>
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
movsd  (%rax,%rcx,8),%xmm0
movsd  0xda2(%rip),%xmm1
ucomisd %xmm1,%xmm0
jae    1242 <BuildSampler+0x132>
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jb     1281 <BuildSampler+0x171>
jmp    12b4 <BuildSampler+0x1a4>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%edx
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
jmp    120e <BuildSampler+0xfe>
mov    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x24(%rbp)
jbe    1449 <BuildSampler+0x339>
jmp    12d2 <BuildSampler+0x1c2>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
movsd  0xd20(%rip),%xmm0
ucomisd (%rax,%rcx,8),%xmm0
jb     1301 <BuildSampler+0x1f1>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12d2 <BuildSampler+0x1c2>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x24(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
movsd  0xcf1(%rip),%xmm0
ucomisd (%rax,%rcx,8),%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jbe    133a <BuildSampler+0x22a>
jmp    1449 <BuildSampler+0x339>
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
movsd  (%rax,%rcx,8),%xmm0
movsd  0xca0(%rip),%xmm1
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x24(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
movsd  0xc79(%rip),%xmm1
subsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
movsd  (%rax,%rcx,8),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x24(%rbp),%esi
mov    (%rcx,%rsi,4),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
movsd  0xc27(%rip),%xmm0
ucomisd (%rax,%rcx,8),%xmm0
jbe    143b <BuildSampler+0x32b>
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%edx
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1444 <BuildSampler+0x334>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    12c3 <BuildSampler+0x1b3>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<BuildSampler>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rcx,%r13
mov    %rdx,%r15
mov    %esi,%ebp
mov    %rdi,%r12
xor    %edi,%edi
test   %esi,%esi
setne  %dil
call   1030 <assert@plt>
mov    %ebp,%r14d
test   %ebp,%ebp
mov    %rbp,0x10(%rsp)
je     11a2 <BuildSampler+0x92>
cvtsi2sd %r14,%xmm0
movsd  %xmm0,0x8(%rsp)
mov    $0x1,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %ebx,%ebp
mov    %ebx,(%r15,%rbp,4)
mov    %ebx,0x0(%r13,%rbp,4)
movsd  (%r12,%rbp,8),%xmm0
xor    %edi,%edi
ucomisd 0xe8d(%rip),%xmm0
setae  %dil
call   1030 <assert@plt>
movsd  (%r12,%rbp,8),%xmm0
mulsd  0x8(%rsp),%xmm0
movsd  %xmm0,(%r12,%rbp,8)
mov    0x10(%rsp),%rbp
add    $0x1,%ebx
cmp    %ebp,%ebx
jbe    1160 <BuildSampler+0x50>
movl   $0x0,0x0(%r13)
movq   $0x0,(%r12)
lea    0x1(%rbp),%ebx
mov    %ebx,0x4(%r13,%r14,4)
movabs $0x4000000000000000,%rax
mov    %rax,0x8(%r12,%r14,8)
xor    %eax,%eax
movsd  0xe2d(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%eax
mov    0x0(%r13,%rax,4),%ecx
ucomisd (%r12,%rcx,8),%xmm1
ja     11e0 <BuildSampler+0xd0>
mov    %eax,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0xffffffff,%ebx
mov    0x0(%r13,%rbx,4),%esi
movsd  (%r12,%rsi,8),%xmm0
ucomisd %xmm1,%xmm0
jae    1200 <BuildSampler+0xf0>
cmp    %ebx,%eax
jae    1226 <BuildSampler+0x116>
mov    %ebx,%edi
mov    %esi,0x0(%r13,%rdx,4)
mov    %ecx,0x0(%r13,%rdi,4)
jmp    11e0 <BuildSampler+0xd0>
mov    %r15,0x8(%rsp)
test   %ebx,%ebx
je     1339 <BuildSampler+0x229>
lea    0x1(%rbx),%ebp
jmp    124e <BuildSampler+0x13e>
nopl   0x0(%rax,%rax,1)
add    $0xffffffff,%ebx
mov    %r15d,%ebp
test   %ebx,%ebx
je     1339 <BuildSampler+0x229>
movsd  0xdaa(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
mov    %ebp,%eax
mov    0x0(%r13,%rax,4),%eax
add    $0x1,%ebp
ucomisd (%r12,%rax,8),%xmm0
jae    1260 <BuildSampler+0x150>
mov    %ebx,%r14d
mov    0x0(%r13,%r14,4),%eax
xor    %edi,%edi
ucomisd (%r12,%rax,8),%xmm0
lea    -0x1(%rbp),%r15d
seta   %dil
call   1030 <assert@plt>
cmp    0x10(%rsp),%r15d
ja     1339 <BuildSampler+0x229>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    0x0(%r13,%r15,4),%eax
movsd  (%r12,%rax,8),%xmm0
xor    %edi,%edi
movsd  0xd47(%rip),%xmm1
ucomisd %xmm1,%xmm0
seta   %dil
call   1030 <assert@plt>
mov    0x0(%r13,%r14,4),%eax
movsd  0xd2d(%rip),%xmm2
movapd %xmm2,%xmm0
subsd  (%r12,%rax,8),%xmm0
mov    0x0(%r13,%r15,4),%ecx
movsd  (%r12,%rcx,8),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%r12,%rcx,8)
movapd %xmm2,%xmm0
mov    0x8(%rsp),%rdx
mov    %ecx,(%rdx,%rax,4)
mov    0x0(%r13,%r15,4),%eax
ucomisd (%r12,%rax,8),%xmm2
jbe    1240 <BuildSampler+0x130>
xor    %edi,%edi
cmp    %r15d,%ebx
setb   %dil
call   1030 <assert@plt>
mov    0x0(%r13,%r14,4),%eax
mov    0x0(%r13,%r15,4),%ecx
mov    %ecx,0x0(%r13,%r14,4)
mov    %eax,0x0(%r13,%r15,4)
test   %ebx,%ebx
jne    124e <BuildSampler+0x13e>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @BuildSampler(double* %0, i32 %1, i32* %2, i32* %3) {
%5 = alloca double*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store double* %0, double** %5
store i32 %1, i32* %6
store i32* %2, i32** %7
store i32* %3, i32** %8
%12 = load i32, i32* %6
%13 = icmp ule i32 1, %12
%14 = zext i1 %13 to i32
%15 = call i32 @assert(i32 %14)
store i32 1, i32* %9
br label %16
16: ; preds = %51, %4
%17 = load i32, i32* %9
%18 = load i32, i32* %6
%19 = icmp ule i32 %17, %18
br i1 %19, label %20, label %54
20: ; preds = %16
%21 = load i32, i32* %9
%22 = load i32*, i32** %7
%23 = load i32, i32* %9
%24 = zext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
store i32 %21, i32* %25
%26 = load i32, i32* %9
%27 = load i32*, i32** %8
%28 = load i32, i32* %9
%29 = zext i32 %28 to i64
%30 = getelementptr inbounds i32, i32* %27, i64 %29
store i32 %26, i32* %30
%31 = load double*, double** %5
%32 = load i32, i32* %9
%33 = zext i32 %32 to i64
%34 = getelementptr inbounds double, double* %31, i64 %33
%35 = load double, double* %34
%36 = fcmp oge double %35, 0.000000e+00
%37 = zext i1 %36 to i32
%38 = call i32 @assert(i32 %37)
%39 = load double*, double** %5
%40 = load i32, i32* %9
%41 = zext i32 %40 to i64
%42 = getelementptr inbounds double, double* %39, i64 %41
%43 = load double, double* %42
%44 = load i32, i32* %6
%45 = uitofp i32 %44 to double
%46 = fmul double %43, %45
%47 = load double*, double** %5
%48 = load i32, i32* %9
%49 = zext i32 %48 to i64
%50 = getelementptr inbounds double, double* %47, i64 %49
store double %46, double* %50
br label %51
51: ; preds = %20
%52 = load i32, i32* %9
%53 = add i32 %52, 1
store i32 %53, i32* %9
br label %16
54: ; preds = %16
%55 = load i32*, i32** %8
%56 = getelementptr inbounds i32, i32* %55, i64 0
store i32 0, i32* %56
%57 = load double*, double** %5
%58 = getelementptr inbounds double, double* %57, i64 0
store double 0.000000e+00, double* %58
%59 = load i32, i32* %6
%60 = add i32 %59, 1
%61 = load i32*, i32** %8
%62 = load i32, i32* %6
%63 = add i32 %62, 1
%64 = zext i32 %63 to i64
%65 = getelementptr inbounds i32, i32* %61, i64 %64
store i32 %60, i32* %65
%66 = load double*, double** %5
%67 = load i32, i32* %6
%68 = add i32 %67, 1
%69 = zext i32 %68 to i64
%70 = getelementptr inbounds double, double* %66, i64 %69
store double 2.000000e+00, double* %70
store i32 0, i32* %9
%71 = load i32, i32* %6
%72 = add i32 %71, 1
store i32 %72, i32* %10
br label %73
73: ; preds = %108, %54
br label %74
74: ; preds = %77, %73
%75 = load i32, i32* %9
%76 = add i32 %75, 1
store i32 %76, i32* %9
br label %77
77: ; preds = %74
%78 = load double*, double** %5
%79 = load i32*, i32** %8
%80 = load i32, i32* %9
%81 = zext i32 %80 to i64
%82 = getelementptr inbounds i32, i32* %79, i64 %81
%83 = load i32, i32* %82
%84 = zext i32 %83 to i64
%85 = getelementptr inbounds double, double* %78, i64 %84
%86 = load double, double* %85
%87 = fcmp olt double %86, 1.000000e+00
br i1 %87, label %74, label %88
88: ; preds = %77
br label %89
89: ; preds = %92, %88
%90 = load i32, i32* %10
%91 = add i32 %90, -1
store i32 %91, i32* %10
br label %92
92: ; preds = %89
%93 = load double*, double** %5
%94 = load i32*, i32** %8
%95 = load i32, i32* %10
%96 = zext i32 %95 to i64
%97 = getelementptr inbounds i32, i32* %94, i64 %96
%98 = load i32, i32* %97
%99 = zext i32 %98 to i64
%100 = getelementptr inbounds double, double* %93, i64 %99
%101 = load double, double* %100
%102 = fcmp oge double %101, 1.000000e+00
br i1 %102, label %89, label %103
103: ; preds = %92
%104 = load i32, i32* %9
%105 = load i32, i32* %10
%106 = icmp uge i32 %104, %105
br i1 %106, label %107, label %108
107: ; preds = %103
br label %128
108: ; preds = %103
%109 = load i32*, i32** %8
%110 = load i32, i32* %9
%111 = zext i32 %110 to i64
%112 = getelementptr inbounds i32, i32* %109, i64 %111
%113 = load i32, i32* %112
store i32 %113, i32* %11
%114 = load i32*, i32** %8
%115 = load i32, i32* %10
%116 = zext i32 %115 to i64
%117 = getelementptr inbounds i32, i32* %114, i64 %116
%118 = load i32, i32* %117
%119 = load i32*, i32** %8
%120 = load i32, i32* %9
%121 = zext i32 %120 to i64
%122 = getelementptr inbounds i32, i32* %119, i64 %121
store i32 %118, i32* %122
%123 = load i32, i32* %11
%124 = load i32*, i32** %8
%125 = load i32, i32* %10
%126 = zext i32 %125 to i64
%127 = getelementptr inbounds i32, i32* %124, i64 %126
store i32 %123, i32* %127
br label %73
128: ; preds = %107
%129 = load i32, i32* %10
store i32 %129, i32* %9
%130 = load i32, i32* %10
%131 = add i32 %130, 1
store i32 %131, i32* %10
br label %132
132: ; preds = %258, %128
%133 = load i32, i32* %9
%134 = icmp ugt i32 %133, 0
br i1 %134, label %135, label %259
135: ; preds = %132
br label %136
136: ; preds = %147, %135
%137 = load double*, double** %5
%138 = load i32*, i32** %8
%139 = load i32, i32* %10
%140 = zext i32 %139 to i64
%141 = getelementptr inbounds i32, i32* %138, i64 %140
%142 = load i32, i32* %141
%143 = zext i32 %142 to i64
%144 = getelementptr inbounds double, double* %137, i64 %143
%145 = load double, double* %144
%146 = fcmp ole double %145, 1.000000e+00
br i1 %146, label %147, label %150
147: ; preds = %136
%148 = load i32, i32* %10
%149 = add i32 %148, 1
store i32 %149, i32* %10
br label %136
150: ; preds = %136
%151 = load double*, double** %5
%152 = load i32*, i32** %8
%153 = load i32, i32* %9
%154 = zext i32 %153 to i64
%155 = getelementptr inbounds i32, i32* %152, i64 %154
%156 = load i32, i32* %155
%157 = zext i32 %156 to i64
%158 = getelementptr inbounds double, double* %151, i64 %157
%159 = load double, double* %158
%160 = fcmp olt double %159, 1.000000e+00
%161 = zext i1 %160 to i32
%162 = call i32 @assert(i32 %161)
%163 = load i32, i32* %10
%164 = load i32, i32* %6
%165 = icmp ugt i32 %163, %164
br i1 %165, label %166, label %167
166: ; preds = %150
br label %259
167: ; preds = %150
%168 = load i32, i32* %10
%169 = load i32, i32* %6
%170 = icmp ule i32 %168, %169
%171 = zext i1 %170 to i32
%172 = call i32 @assert(i32 %171)
%173 = load double*, double** %5
%174 = load i32*, i32** %8
%175 = load i32, i32* %10
%176 = zext i32 %175 to i64
%177 = getelementptr inbounds i32, i32* %174, i64 %176
%178 = load i32, i32* %177
%179 = zext i32 %178 to i64
%180 = getelementptr inbounds double, double* %173, i64 %179
%181 = load double, double* %180
%182 = fcmp ogt double %181, 1.000000e+00
%183 = zext i1 %182 to i32
%184 = call i32 @assert(i32 %183)
%185 = load double*, double** %5
%186 = load i32*, i32** %8
%187 = load i32, i32* %9
%188 = zext i32 %187 to i64
%189 = getelementptr inbounds i32, i32* %186, i64 %188
%190 = load i32, i32* %189
%191 = zext i32 %190 to i64
%192 = getelementptr inbounds double, double* %185, i64 %191
%193 = load double, double* %192
%194 = fsub double 1.000000e+00, %193
%195 = load double*, double** %5
%196 = load i32*, i32** %8
%197 = load i32, i32* %10
%198 = zext i32 %197 to i64
%199 = getelementptr inbounds i32, i32* %196, i64 %198
%200 = load i32, i32* %199
%201 = zext i32 %200 to i64
%202 = getelementptr inbounds double, double* %195, i64 %201
%203 = load double, double* %202
%204 = fsub double %203, %194
store double %204, double* %202
%205 = load i32*, i32** %8
%206 = load i32, i32* %10
%207 = zext i32 %206 to i64
%208 = getelementptr inbounds i32, i32* %205, i64 %207
%209 = load i32, i32* %208
%210 = load i32*, i32** %7
%211 = load i32*, i32** %8
%212 = load i32, i32* %9
%213 = zext i32 %212 to i64
%214 = getelementptr inbounds i32, i32* %211, i64 %213
%215 = load i32, i32* %214
%216 = zext i32 %215 to i64
%217 = getelementptr inbounds i32, i32* %210, i64 %216
store i32 %209, i32* %217
%218 = load double*, double** %5
%219 = load i32*, i32** %8
%220 = load i32, i32* %10
%221 = zext i32 %220 to i64
%222 = getelementptr inbounds i32, i32* %219, i64 %221
%223 = load i32, i32* %222
%224 = zext i32 %223 to i64
%225 = getelementptr inbounds double, double* %218, i64 %224
%226 = load double, double* %225
%227 = fcmp olt double %226, 1.000000e+00
br i1 %227, label %228, label %255
228: ; preds = %167
%229 = load i32, i32* %9
%230 = load i32, i32* %10
%231 = icmp ult i32 %229, %230
%232 = zext i1 %231 to i32
%233 = call i32 @assert(i32 %232)
%234 = load i32*, i32** %8
%235 = load i32, i32* %9
%236 = zext i32 %235 to i64
%237 = getelementptr inbounds i32, i32* %234, i64 %236
%238 = load i32, i32* %237
store i32 %238, i32* %11
%239 = load i32*, i32** %8
%240 = load i32, i32* %10
%241 = zext i32 %240 to i64
%242 = getelementptr inbounds i32, i32* %239, i64 %241
%243 = load i32, i32* %242
%244 = load i32*, i32** %8
%245 = load i32, i32* %9
%246 = zext i32 %245 to i64
%247 = getelementptr inbounds i32, i32* %244, i64 %246
store i32 %243, i32* %247
%248 = load i32, i32* %11
%249 = load i32*, i32** %8
%250 = load i32, i32* %10
%251 = zext i32 %250 to i64
%252 = getelementptr inbounds i32, i32* %249, i64 %251
store i32 %248, i32* %252
%253 = load i32, i32* %10
%254 = add i32 %253, 1
store i32 %254, i32* %10
br label %258
255: ; preds = %167
%256 = load i32, i32* %9
%257 = add i32 %256, -1
store i32 %257, i32* %9
br label %258
258: ; preds = %255, %228
br label %132
259: ; preds = %166, %132
ret void
}

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