#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*/ fprintf(int /*<<< orphan*/, char *);
scalar_t__ realloc(double *, int);
int /*<<< orphan*/ stderr;
void sample_PY(double *pi, double alpha, double delta, int K, double *counts,
               int *Knew, double **pinew) {
  int Kunused;
  int k;
  double s;
  double *oldpi;
  Kunused = 0;
  for (k = 0; k < K + 1; k++) {
    if (counts[k] <= 0) {
      Kunused++;
    }
  }
  if (Kunused > 0) {
    s = 0;
    for (k = 0; k < K + 1; k++) {
      if (counts[k] > 0) {
        pi[k] = counts[k] - delta;
      } else {
        pi[k] = (alpha + delta * (double)(K - Kunused)) / (double)Kunused;
      }
      s += pi[k];
    }
    pi[K + 1] = s;
    *Knew = K;
    *pinew = pi;
  } else {
    oldpi = pi;
    pi = (double *)realloc(pi, (K + 3) * sizeof(double));
    if (!pi) {
      fprintf(stderr, "accckkk!");
    }
    pi[K + 2] = 0;
    s = 0;
    for (k = 0; k < K + 1; k++) {
      pi[k] = counts[k] - delta;
      s += pi[k];
    }
    pi[K + 1] = (alpha + delta * (double)K);
    pi[K + 2] = s + pi[K + 1];
    *Knew = K + 1;
    *pinew = pi;
  }
}


x86 assembly (clang, -O0):
<sample_PY>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
mov    %esi,-0x1c(%rbp)
mov    %rdx,-0x28(%rbp)
mov    %rcx,-0x30(%rbp)
mov    %r8,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jge    1196 <sample_PY+0x76>
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
xorps  %xmm0,%xmm0
ucomisd (%rax,%rcx,8),%xmm0
jb     1183 <sample_PY+0x63>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1188 <sample_PY+0x68>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1153 <sample_PY+0x33>
cmpl   $0x0,-0x3c(%rbp)
jle    1285 <sample_PY+0x165>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jge    1255 <sample_PY+0x135>
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    11fe <sample_PY+0xde>
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x18(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
jmp    1230 <sample_PY+0x110>
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm0
mov    -0x1c(%rbp),%eax
sub    -0x3c(%rbp),%eax
cvtsi2sd %eax,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvtsi2sdl -0x3c(%rbp),%xmm1
divsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x8(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    11af <sample_PY+0x8f>
movsd  -0x48(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rcx
mov    -0x38(%rbp),%rax
mov    %rcx,(%rax)
jmp    13aa <sample_PY+0x28a>
mov    -0x8(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x1c(%rbp),%eax
add    $0x3,%eax
cltq
shl    $0x3,%rax
mov    %eax,%esi
call   1040 <realloc@plt>
mov    %rax,-0x8(%rbp)
cmpq   $0x0,-0x8(%rbp)
jne    12c8 <sample_PY+0x1a8>
mov    0x2d26(%rip),%rax
mov    (%rax),%edi
lea    0xd3d(%rip),%rsi
call   1030 <fprintf@plt>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jge    1341 <sample_PY+0x221>
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x18(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x8(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    12ec <sample_PY+0x1cc>
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm0
cvtsi2sdl -0x1c(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x48(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rcx
mov    -0x38(%rbp),%rax
mov    %rcx,(%rax)
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sample_PY>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8,%r14
mov    %rcx,%r15
mov    %rdx,%rbx
mov    %esi,%r12d
mov    %rdi,%r13
lea    0x1(%r12),%ebp
test   %esi,%esi
js     1308 <sample_PY+0x1e8>
mov    %ebp,%eax
cmp    $0x4,%ebp
jae    115a <sample_PY+0x3a>
xor    %ecx,%ecx
xor    %edx,%edx
jmp    122e <sample_PY+0x10e>
mov    %eax,%ecx
and    $0xfffffffc,%ecx
lea    -0x4(%rcx),%rsi
mov    %rsi,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
test   %rsi,%rsi
je     146a <sample_PY+0x34a>
mov    %rdx,%rdi
and    $0xfffffffffffffffe,%rdi
xorpd  %xmm2,%xmm2
xor    %esi,%esi
pxor   %xmm8,%xmm8
pxor   %xmm7,%xmm7
nopl   (%rax)
movupd (%rbx,%rsi,8),%xmm3
movupd 0x10(%rbx,%rsi,8),%xmm4
movupd 0x20(%rbx,%rsi,8),%xmm5
movupd 0x30(%rbx,%rsi,8),%xmm6
cmplepd %xmm2,%xmm3
shufps $0xe8,%xmm3,%xmm3
psubd  %xmm3,%xmm8
cmplepd %xmm2,%xmm4
shufps $0xe8,%xmm4,%xmm4
psubd  %xmm4,%xmm7
cmplepd %xmm2,%xmm5
shufps $0xe8,%xmm5,%xmm5
psubd  %xmm5,%xmm8
cmplepd %xmm2,%xmm6
shufps $0xe8,%xmm6,%xmm6
psubd  %xmm6,%xmm7
add    $0x8,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1190 <sample_PY+0x70>
test   $0x1,%dl
je     1215 <sample_PY+0xf5>
movupd (%rbx,%rsi,8),%xmm2
movupd 0x10(%rbx,%rsi,8),%xmm3
xorps  %xmm4,%xmm4
cmplepd %xmm4,%xmm2
shufps $0xe8,%xmm2,%xmm2
psubd  %xmm2,%xmm8
cmplepd %xmm4,%xmm3
shufps $0xe8,%xmm3,%xmm3
psubd  %xmm3,%xmm7
paddd  %xmm7,%xmm8
pshufd $0x55,%xmm8,%xmm2
paddd  %xmm8,%xmm2
movd   %xmm2,%edx
cmp    %rax,%rcx
je     1251 <sample_PY+0x131>
pxor   %xmm2,%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
ucomisd (%rbx,%rcx,8),%xmm2
sbb    $0xffffffff,%edx
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1240 <sample_PY+0x120>
test   %edx,%edx
je     1308 <sample_PY+0x1e8>
test   %r12d,%r12d
js     1465 <sample_PY+0x345>
mov    %r12d,%ecx
sub    %edx,%ecx
xorps  %xmm5,%xmm5
cvtsi2sd %ecx,%xmm5
mulsd  %xmm1,%xmm5
addsd  %xmm0,%xmm5
xorps  %xmm2,%xmm2
cvtsi2sd %edx,%xmm2
divsd  %xmm2,%xmm5
test   %r12d,%r12d
je     1483 <sample_PY+0x363>
mov    %eax,%edx
and    $0xfffffffe,%edx
xorps  %xmm4,%xmm4
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsd  (%rbx,%rcx,8),%xmm2
xorps  %xmm3,%xmm3
cmpltsd %xmm2,%xmm3
subsd  %xmm1,%xmm2
andpd  %xmm3,%xmm2
andnpd %xmm5,%xmm3
orpd   %xmm2,%xmm3
movlpd %xmm3,0x0(%r13,%rcx,8)
addsd  %xmm4,%xmm3
movsd  0x8(%rbx,%rcx,8),%xmm2
xorpd  %xmm4,%xmm4
cmpltsd %xmm2,%xmm4
subsd  %xmm1,%xmm2
andpd  %xmm4,%xmm2
andnpd %xmm5,%xmm4
orpd   %xmm2,%xmm4
movlpd %xmm4,0x8(%r13,%rcx,8)
addsd  %xmm3,%xmm4
add    $0x2,%rcx
cmp    %rcx,%rdx
jne    12a0 <sample_PY+0x180>
test   $0x1,%al
jne    148c <sample_PY+0x36c>
jmp    14b4 <sample_PY+0x394>
movsd  %xmm0,0x8(%rsp)
movsd  %xmm1,0x10(%rsp)
lea    0x18(,%r12,8),%esi
mov    %r13,%rdi
call   1040 <realloc@plt>
mov    %rax,%r13
test   %rax,%rax
jne    1341 <sample_PY+0x221>
mov    0x2cad(%rip),%rax
mov    (%rax),%edi
lea    0xcc4(%rip),%rsi
call   1030 <fprintf@plt>
movslq %r12d,%rcx
lea    0x2(%rcx),%rax
movq   $0x0,0x10(%r13,%rcx,8)
test   %r12d,%r12d
movsd  0x10(%rsp),%xmm2
js     137e <sample_PY+0x25e>
mov    %ebp,%esi
lea    -0x1(%rsi),%rdx
mov    %esi,%ecx
and    $0x3,%ecx
cmp    $0x3,%rdx
jae    138d <sample_PY+0x26d>
xorpd  %xmm0,%xmm0
xor    %edx,%edx
movsd  0x8(%rsp),%xmm3
jmp    13fc <sample_PY+0x2dc>
xorpd  %xmm0,%xmm0
movsd  0x8(%rsp),%xmm3
jmp    143b <sample_PY+0x31b>
and    $0xfffffffc,%esi
xorpd  %xmm0,%xmm0
xor    %edx,%edx
movsd  0x8(%rsp),%xmm3
nopl   0x0(%rax)
movsd  (%rbx,%rdx,8),%xmm1
subsd  %xmm2,%xmm1
movsd  %xmm1,0x0(%r13,%rdx,8)
addsd  %xmm0,%xmm1
movsd  0x8(%rbx,%rdx,8),%xmm0
subsd  %xmm2,%xmm0
movsd  %xmm0,0x8(%r13,%rdx,8)
addsd  %xmm1,%xmm0
movsd  0x10(%rbx,%rdx,8),%xmm1
subsd  %xmm2,%xmm1
movsd  %xmm1,0x10(%r13,%rdx,8)
addsd  %xmm0,%xmm1
movsd  0x18(%rbx,%rdx,8),%xmm0
subsd  %xmm2,%xmm0
movsd  %xmm0,0x18(%r13,%rdx,8)
addsd  %xmm1,%xmm0
add    $0x4,%rdx
cmp    %rdx,%rsi
jne    13a0 <sample_PY+0x280>
test   %rcx,%rcx
je     143b <sample_PY+0x31b>
lea    0x0(,%rdx,8),%rsi
add    %r13,%rsi
lea    (%rbx,%rdx,8),%rdx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsd  (%rdx,%rdi,8),%xmm1
subsd  %xmm2,%xmm1
movsd  %xmm1,(%rsi,%rdi,8)
addsd  %xmm1,%xmm0
add    $0x1,%rdi
cmp    %rdi,%rcx
jne    1420 <sample_PY+0x300>
xorps  %xmm1,%xmm1
cvtsi2sd %r12d,%xmm1
mulsd  %xmm1,%xmm2
addsd  %xmm3,%xmm2
movslq %ebp,%rcx
movsd  %xmm2,0x0(%r13,%rcx,8)
addsd  %xmm0,%xmm2
movsd  %xmm2,0x0(%r13,%rax,8)
mov    %ebp,%r12d
jmp    14be <sample_PY+0x39e>
xorps  %xmm4,%xmm4
jmp    14b4 <sample_PY+0x394>
pxor   %xmm8,%xmm8
xor    %esi,%esi
pxor   %xmm7,%xmm7
test   $0x1,%dl
jne    11ec <sample_PY+0xcc>
jmp    1215 <sample_PY+0xf5>
xorps  %xmm4,%xmm4
xor    %ecx,%ecx
test   $0x1,%al
je     14b4 <sample_PY+0x394>
movsd  (%rbx,%rcx,8),%xmm2
xorps  %xmm3,%xmm3
cmpltsd %xmm2,%xmm3
subsd  %xmm1,%xmm2
andpd  %xmm3,%xmm2
andnpd %xmm5,%xmm3
orpd   %xmm2,%xmm3
movlpd %xmm3,0x0(%r13,%rcx,8)
addsd  %xmm3,%xmm4
movslq %ebp,%rax
movsd  %xmm4,0x0(%r13,%rax,8)
mov    %r12d,(%r15)
mov    %r13,(%r14)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@stderr = global i32 0
@.str = [9 x i8] c"accckkk!\00"
define void @sample_PY(double* %0, double %1, double %2, i32 %3, double* %4, i32* %5, double** %6) {
%8 = alloca double*
%9 = alloca double
%10 = alloca double
%11 = alloca i32
%12 = alloca double*
%13 = alloca i32*
%14 = alloca double**
%15 = alloca i32
%16 = alloca i32
%17 = alloca double
%18 = alloca double*
store double* %0, double** %8
store double %1, double* %9
store double %2, double* %10
store i32 %3, i32* %11
store double* %4, double** %12
store i32* %5, i32** %13
store double** %6, double*** %14
store i32 0, i32* %15
store i32 0, i32* %16
br label %19
19: ; preds = %35, %7
%20 = load i32, i32* %16
%21 = load i32, i32* %11
%22 = add nsw i32 %21, 1
%23 = icmp slt i32 %20, %22
br i1 %23, label %24, label %38
24: ; preds = %19
%25 = load double*, double** %12
%26 = load i32, i32* %16
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds double, double* %25, i64 %27
%29 = load double, double* %28
%30 = fcmp ole double %29, 0.000000e+00
br i1 %30, label %31, label %34
31: ; preds = %24
%32 = load i32, i32* %15
%33 = add nsw i32 %32, 1
store i32 %33, i32* %15
br label %34
34: ; preds = %31, %24
br label %35
35: ; preds = %34
%36 = load i32, i32* %16
%37 = add nsw i32 %36, 1
store i32 %37, i32* %16
br label %19
38: ; preds = %19
%39 = load i32, i32* %15
%40 = icmp sgt i32 %39, 0
br i1 %40, label %41, label %103
41: ; preds = %38
store double 0.000000e+00, double* %17
store i32 0, i32* %16
br label %42
42: ; preds = %89, %41
%43 = load i32, i32* %16
%44 = load i32, i32* %11
%45 = add nsw i32 %44, 1
%46 = icmp slt i32 %43, %45
br i1 %46, label %47, label %92
47: ; preds = %42
%48 = load double*, double** %12
%49 = load i32, i32* %16
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds double, double* %48, i64 %50
%52 = load double, double* %51
%53 = fcmp ogt double %52, 0.000000e+00
br i1 %53, label %54, label %66
54: ; preds = %47
%55 = load double*, double** %12
%56 = load i32, i32* %16
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds double, double* %55, i64 %57
%59 = load double, double* %58
%60 = load double, double* %10
%61 = fsub double %59, %60
%62 = load double*, double** %8
%63 = load i32, i32* %16
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds double, double* %62, i64 %64
store double %61, double* %65
br label %81
66: ; preds = %47
%67 = load double, double* %9
%68 = load double, double* %10
%69 = load i32, i32* %11
%70 = load i32, i32* %15
%71 = sub nsw i32 %69, %70
%72 = sitofp i32 %71 to double
%73 = call double @llvm.fmuladd.f64(double %68, double %72, double %67)
%74 = load i32, i32* %15
%75 = sitofp i32 %74 to double
%76 = fdiv double %73, %75
%77 = load double*, double** %8
%78 = load i32, i32* %16
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds double, double* %77, i64 %79
store double %76, double* %80
br label %81
81: ; preds = %66, %54
%82 = load double*, double** %8
%83 = load i32, i32* %16
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds double, double* %82, i64 %84
%86 = load double, double* %85
%87 = load double, double* %17
%88 = fadd double %87, %86
store double %88, double* %17
br label %89
89: ; preds = %81
%90 = load i32, i32* %16
%91 = add nsw i32 %90, 1
store i32 %91, i32* %16
br label %42
92: ; preds = %42
%93 = load double, double* %17
%94 = load double*, double** %8
%95 = load i32, i32* %11
%96 = add nsw i32 %95, 1
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds double, double* %94, i64 %97
store double %93, double* %98
%99 = load i32, i32* %11
%100 = load i32*, i32** %13
store i32 %99, i32* %100
%101 = load double*, double** %8
%102 = load double**, double*** %14
store double* %101, double** %102
br label %180
103: ; preds = %38
%104 = load double*, double** %8
store double* %104, double** %18
%105 = load double*, double** %8
%106 = load i32, i32* %11
%107 = add nsw i32 %106, 3
%108 = sext i32 %107 to i64
%109 = mul i64 %108, 8
%110 = trunc i64 %109 to i32
%111 = call i64 @realloc(double* %105, i32 %110)
%112 = inttoptr i64 %111 to double*
store double* %112, double** %8
%113 = load double*, double** %8
%114 = icmp ne double* %113, null
br i1 %114, label %118, label %115
115: ; preds = %103
%116 = load i32, i32* @stderr
%117 = call i32 @fprintf(i32 %116, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0))
br label %118
118: ; preds = %115, %103
%119 = load double*, double** %8
%120 = load i32, i32* %11
%121 = add nsw i32 %120, 2
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds double, double* %119, i64 %122
store double 0.000000e+00, double* %123
store double 0.000000e+00, double* %17
store i32 0, i32* %16
br label %124
124: ; preds = %148, %118
%125 = load i32, i32* %16
%126 = load i32, i32* %11
%127 = add nsw i32 %126, 1
%128 = icmp slt i32 %125, %127
br i1 %128, label %129, label %151
129: ; preds = %124
%130 = load double*, double** %12
%131 = load i32, i32* %16
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds double, double* %130, i64 %132
%134 = load double, double* %133
%135 = load double, double* %10
%136 = fsub double %134, %135
%137 = load double*, double** %8
%138 = load i32, i32* %16
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds double, double* %137, i64 %139
store double %136, double* %140
%141 = load double*, double** %8
%142 = load i32, i32* %16
%143 = sext i32 %142 to i64
%144 = getelementptr inbounds double, double* %141, i64 %143
%145 = load double, double* %144
%146 = load double, double* %17
%147 = fadd double %146, %145
store double %147, double* %17
br label %148
148: ; preds = %129
%149 = load i32, i32* %16
%150 = add nsw i32 %149, 1
store i32 %150, i32* %16
br label %124
151: ; preds = %124
%152 = load double, double* %9
%153 = load double, double* %10
%154 = load i32, i32* %11
%155 = sitofp i32 %154 to double
%156 = call double @llvm.fmuladd.f64(double %153, double %155, double %152)
%157 = load double*, double** %8
%158 = load i32, i32* %11
%159 = add nsw i32 %158, 1
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds double, double* %157, i64 %160
store double %156, double* %161
%162 = load double, double* %17
%163 = load double*, double** %8
%164 = load i32, i32* %11
%165 = add nsw i32 %164, 1
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds double, double* %163, i64 %166
%168 = load double, double* %167
%169 = fadd double %162, %168
%170 = load double*, double** %8
%171 = load i32, i32* %11
%172 = add nsw i32 %171, 2
%173 = sext i32 %172 to i64
%174 = getelementptr inbounds double, double* %170, i64 %173
store double %169, double* %174
%175 = load i32, i32* %11
%176 = add nsw i32 %175, 1
%177 = load i32*, i32** %13
store i32 %176, i32* %177
%178 = load double*, double** %8
%179 = load double**, double*** %14
store double* %178, double** %179
br label %180
180: ; preds = %151, %92
ret void
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [9 x i8] c"accckkk!\00"
define void @sample_PY(double* %0, double %1, double %2, i32 %3, double* nocapture %4, i32* nocapture writeonly %5, double** nocapture writeonly %6) {
%8 = icmp slt i32 %3, 0
%9 = add i32 %3, 1
br i1 %8, label %147, label %10
10: ; preds = %7
%11 = zext i32 %9 to i64
%12 = icmp ult i32 %9, 4
br i1 %12, label %81, label %13
13: ; preds = %10
%14 = and i64 %11, 4294967292
%15 = add nsw i64 %14, -4
%16 = lshr exact i64 %15, 2
%17 = add nuw nsw i64 %16, 1
%18 = and i64 %17, 1
%19 = icmp eq i64 %15, 0
br i1 %19, label %55, label %20
20: ; preds = %13
%21 = and i64 %17, 9223372036854775806
br label %22
22: ; preds = %22, %20
%23 = phi i64 [ 0, %20 ], [ %52, %22 ]
%24 = phi <2 x i32> [ zeroinitializer, %20 ], [ %50, %22 ]
%25 = phi <2 x i32> [ zeroinitializer, %20 ], [ %51, %22 ]
%26 = phi i64 [ 0, %20 ], [ %53, %22 ]
%27 = getelementptr inbounds double, double* %4, i64 %23
%28 = bitcast double* %27 to <2 x double>*
%29 = load <2 x double>, <2 x double>* %28
%30 = getelementptr inbounds double, double* %27, i64 2
%31 = bitcast double* %30 to <2 x double>*
%32 = load <2 x double>, <2 x double>* %31
%33 = fcmp ole <2 x double> %29, zeroinitializer
%34 = fcmp ole <2 x double> %32, zeroinitializer
%35 = zext <2 x i1> %33 to <2 x i32>
%36 = zext <2 x i1> %34 to <2 x i32>
%37 = add <2 x i32> %24, %35
%38 = add <2 x i32> %25, %36
%39 = or i64 %23, 4
%40 = getelementptr inbounds double, double* %4, i64 %39
%41 = bitcast double* %40 to <2 x double>*
%42 = load <2 x double>, <2 x double>* %41
%43 = getelementptr inbounds double, double* %40, i64 2
%44 = bitcast double* %43 to <2 x double>*
%45 = load <2 x double>, <2 x double>* %44
%46 = fcmp ole <2 x double> %42, zeroinitializer
%47 = fcmp ole <2 x double> %45, zeroinitializer
%48 = zext <2 x i1> %46 to <2 x i32>
%49 = zext <2 x i1> %47 to <2 x i32>
%50 = add <2 x i32> %37, %48
%51 = add <2 x i32> %38, %49
%52 = add nuw i64 %23, 8
%53 = add i64 %26, 2
%54 = icmp eq i64 %53, %21
br i1 %54, label %55, label %22
55: ; preds = %22, %13
%56 = phi <2 x i32> [ undef, %13 ], [ %50, %22 ]
%57 = phi <2 x i32> [ undef, %13 ], [ %51, %22 ]
%58 = phi i64 [ 0, %13 ], [ %52, %22 ]
%59 = phi <2 x i32> [ zeroinitializer, %13 ], [ %50, %22 ]
%60 = phi <2 x i32> [ zeroinitializer, %13 ], [ %51, %22 ]
%61 = icmp eq i64 %18, 0
br i1 %61, label %75, label %62
62: ; preds = %55
%63 = getelementptr inbounds double, double* %4, i64 %58
%64 = bitcast double* %63 to <2 x double>*
%65 = load <2 x double>, <2 x double>* %64
%66 = getelementptr inbounds double, double* %63, i64 2
%67 = bitcast double* %66 to <2 x double>*
%68 = load <2 x double>, <2 x double>* %67
%69 = fcmp ole <2 x double> %65, zeroinitializer
%70 = fcmp ole <2 x double> %68, zeroinitializer
%71 = zext <2 x i1> %69 to <2 x i32>
%72 = zext <2 x i1> %70 to <2 x i32>
%73 = add <2 x i32> %59, %71
%74 = add <2 x i32> %60, %72
br label %75
75: ; preds = %55, %62
%76 = phi <2 x i32> [ %56, %55 ], [ %73, %62 ]
%77 = phi <2 x i32> [ %57, %55 ], [ %74, %62 ]
%78 = add <2 x i32> %77, %76
%79 = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %78)
%80 = icmp eq i64 %14, %11
br i1 %80, label %94, label %81
81: ; preds = %10, %75
%82 = phi i64 [ 0, %10 ], [ %14, %75 ]
%83 = phi i32 [ 0, %10 ], [ %79, %75 ]
br label %84
84: ; preds = %81, %84
%85 = phi i64 [ %92, %84 ], [ %82, %81 ]
%86 = phi i32 [ %91, %84 ], [ %83, %81 ]
%87 = getelementptr inbounds double, double* %4, i64 %85
%88 = load double, double* %87
%89 = fcmp ole double %88, 0.000000e+00
%90 = zext i1 %89 to i32
%91 = add nuw nsw i32 %86, %90
%92 = add nuw nsw i64 %85, 1
%93 = icmp eq i64 %92, %11
br i1 %93, label %94, label %84
94: ; preds = %84, %75
%95 = phi i32 [ %79, %75 ], [ %91, %84 ]
%96 = icmp eq i32 %95, 0
br i1 %96, label %147, label %97
97: ; preds = %94
br i1 %8, label %143, label %98
98: ; preds = %97
%99 = sub nsw i32 %3, %95
%100 = sitofp i32 %99 to double
%101 = tail call double @llvm.fmuladd.f64(double %2, double %100, double %1)
%102 = sitofp i32 %95 to double
%103 = fdiv double %101, %102
%104 = and i64 %11, 1
%105 = icmp eq i32 %3, 0
br i1 %105, label %130, label %106
106: ; preds = %98
%107 = and i64 %11, 4294967294
br label %108
108: ; preds = %108, %106
%109 = phi i64 [ 0, %106 ], [ %127, %108 ]
%110 = phi double [ 0.000000e+00, %106 ], [ %126, %108 ]
%111 = phi i64 [ 0, %106 ], [ %128, %108 ]
%112 = getelementptr inbounds double, double* %4, i64 %109
%113 = load double, double* %112
%114 = fcmp ogt double %113, 0.000000e+00
%115 = fsub double %113, %2
%116 = select i1 %114, double %115, double %103
%117 = getelementptr inbounds double, double* %0, i64 %109
store double %116, double* %117
%118 = fadd double %110, %116
%119 = or i64 %109, 1
%120 = getelementptr inbounds double, double* %4, i64 %119
%121 = load double, double* %120
%122 = fcmp ogt double %121, 0.000000e+00
%123 = fsub double %121, %2
%124 = select i1 %122, double %123, double %103
%125 = getelementptr inbounds double, double* %0, i64 %119
store double %124, double* %125
%126 = fadd double %118, %124
%127 = add nuw nsw i64 %109, 2
%128 = add i64 %111, 2
%129 = icmp eq i64 %128, %107
br i1 %129, label %130, label %108
130: ; preds = %108, %98
%131 = phi double [ undef, %98 ], [ %126, %108 ]
%132 = phi i64 [ 0, %98 ], [ %127, %108 ]
%133 = phi double [ 0.000000e+00, %98 ], [ %126, %108 ]
%134 = icmp eq i64 %104, 0
br i1 %134, label %143, label %135
135: ; preds = %130
%136 = getelementptr inbounds double, double* %4, i64 %132
%137 = load double, double* %136
%138 = fcmp ogt double %137, 0.000000e+00
%139 = fsub double %137, %2
%140 = select i1 %138, double %139, double %103
%141 = getelementptr inbounds double, double* %0, i64 %132
store double %140, double* %141
%142 = fadd double %133, %140
br label %143
143: ; preds = %135, %130, %97
%144 = phi double [ 0.000000e+00, %97 ], [ %131, %130 ], [ %142, %135 ]
%145 = sext i32 %9 to i64
%146 = getelementptr inbounds double, double* %0, i64 %145
store double %144, double* %146
br label %221
147: ; preds = %7, %94
%148 = shl i32 %3, 3
%149 = add i32 %148, 24
%150 = tail call i64 @realloc(double* %0, i32 %149)
%151 = inttoptr i64 %150 to double*
%152 = icmp eq i64 %150, 0
br i1 %152, label %153, label %156
153: ; preds = %147
%154 = load i32, i32* @stderr
%155 = tail call i32 @fprintf(i32 %154, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0))
br label %156
156: ; preds = %153, %147
%157 = add nsw i32 %3, 2
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds double, double* %151, i64 %158
store double 0.000000e+00, double* %159
br i1 %8, label %214, label %160
160: ; preds = %156
%161 = zext i32 %9 to i64
%162 = add nsw i64 %161, -1
%163 = and i64 %161, 3
%164 = icmp ult i64 %162, 3
br i1 %164, label %197, label %165
165: ; preds = %160
%166 = and i64 %161, 4294967292
br label %167
167: ; preds = %167, %165
%168 = phi i64 [ 0, %165 ], [ %194, %167 ]
%169 = phi double [ 0.000000e+00, %165 ], [ %193, %167 ]
%170 = phi i64 [ 0, %165 ], [ %195, %167 ]
%171 = getelementptr inbounds double, double* %4, i64 %168
%172 = load double, double* %171
%173 = fsub double %172, %2
%174 = getelementptr inbounds double, double* %151, i64 %168
store double %173, double* %174
%175 = fadd double %169, %173
%176 = or i64 %168, 1
%177 = getelementptr inbounds double, double* %4, i64 %176
%178 = load double, double* %177
%179 = fsub double %178, %2
%180 = getelementptr inbounds double, double* %151, i64 %176
store double %179, double* %180
%181 = fadd double %175, %179
%182 = or i64 %168, 2
%183 = getelementptr inbounds double, double* %4, i64 %182
%184 = load double, double* %183
%185 = fsub double %184, %2
%186 = getelementptr inbounds double, double* %151, i64 %182
store double %185, double* %186
%187 = fadd double %181, %185
%188 = or i64 %168, 3
%189 = getelementptr inbounds double, double* %4, i64 %188
%190 = load double, double* %189
%191 = fsub double %190, %2
%192 = getelementptr inbounds double, double* %151, i64 %188
store double %191, double* %192
%193 = fadd double %187, %191
%194 = add nuw nsw i64 %168, 4
%195 = add i64 %170, 4
%196 = icmp eq i64 %195, %166
br i1 %196, label %197, label %167
197: ; preds = %167, %160
%198 = phi double [ undef, %160 ], [ %193, %167 ]
%199 = phi i64 [ 0, %160 ], [ %194, %167 ]
%200 = phi double [ 0.000000e+00, %160 ], [ %193, %167 ]
%201 = icmp eq i64 %163, 0
br i1 %201, label %214, label %202
202: ; preds = %197, %202
%203 = phi i64 [ %211, %202 ], [ %199, %197 ]
%204 = phi double [ %210, %202 ], [ %200, %197 ]
%205 = phi i64 [ %212, %202 ], [ 0, %197 ]
%206 = getelementptr inbounds double, double* %4, i64 %203
%207 = load double, double* %206
%208 = fsub double %207, %2
%209 = getelementptr inbounds double, double* %151, i64 %203
store double %208, double* %209
%210 = fadd double %204, %208
%211 = add nuw nsw i64 %203, 1
%212 = add i64 %205, 1
%213 = icmp eq i64 %212, %163
br i1 %213, label %214, label %202
214: ; preds = %197, %202, %156
%215 = phi double [ 0.000000e+00, %156 ], [ %198, %197 ], [ %210, %202 ]
%216 = sitofp i32 %3 to double
%217 = tail call double @llvm.fmuladd.f64(double %2, double %216, double %1)
%218 = sext i32 %9 to i64
%219 = getelementptr inbounds double, double* %151, i64 %218
store double %217, double* %219
%220 = fadd double %217, %215
store double %220, double* %159
br label %221
221: ; preds = %214, %143
%222 = phi i32 [ %9, %214 ], [ %3, %143 ]
%223 = phi double* [ %151, %214 ], [ %0, %143 ]
store i32 %222, i32* %5
store double* %223, double** %6
ret void
}