#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(unsigned int const);
void simplexproj(double *y, double *x, const unsigned int length,
                 const double a) {
  double *aux = (x == y ? (double *)malloc(length * sizeof(double)) : x);
  double *aux0 = aux;
  int auxlength = 1;
  int auxlengthold = -1;
  double tau = (*aux = *y) - a;
  int i = 1;
  for (; i < length; i++)
    if (y[i] > tau) {
      if ((tau += ((aux[auxlength] = y[i]) - tau) /
                  (auxlength - auxlengthold)) <= y[i] - a) {
        tau = y[i] - a;
        auxlengthold = auxlength - 1;
      }
      auxlength++;
    }
  if (auxlengthold >= 0) {
    auxlength -= ++auxlengthold;
    aux += auxlengthold;
    while (--auxlengthold >= 0)
      if (aux0[auxlengthold] > tau)
        tau += ((*(--aux) = aux0[auxlengthold]) - tau) / (++auxlength);
  }
  do {
    auxlengthold = auxlength - 1;
    for (i = auxlength = 0; i <= auxlengthold; i++)
      if (aux[i] > tau)
        aux[auxlength++] = aux[i];
      else
        tau += (tau - aux[i]) / (auxlengthold - i + auxlength);
  } while (auxlength <= auxlengthold);
  for (i = 0; i < length; i++)
    x[i] = (y[i] > tau ? y[i] - tau : 0.0);
  if (x == y)
    free(aux0);
}


x86 assembly (clang, -O0):
<simplexproj>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movsd  %xmm0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x8(%rbp),%rax
jne    115d <simplexproj+0x3d>
mov    -0x14(%rbp),%eax
shl    $0x3,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x50(%rbp)
jmp    1165 <simplexproj+0x45>
mov    -0x10(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
movl   $0x1,-0x34(%rbp)
movl   $0xffffffff,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  %xmm0,(%rax)
subsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movl   $0x1,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    1257 <simplexproj+0x137>
mov    -0x8(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x40(%rbp),%xmm0
jbe    1244 <simplexproj+0x124>
mov    -0x8(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  %xmm1,(%rax,%rcx,8)
subsd  -0x40(%rbp),%xmm1
mov    -0x34(%rbp),%eax
sub    -0x38(%rbp),%eax
cvtsi2sd %eax,%xmm0
divsd  %xmm0,%xmm1
addsd  -0x40(%rbp),%xmm1
movsd  %xmm1,-0x40(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     123b <simplexproj+0x11b>
mov    -0x8(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1249 <simplexproj+0x129>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    11a4 <simplexproj+0x84>
cmpl   $0x0,-0x38(%rbp)
jl     12fc <simplexproj+0x1dc>
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x38(%rbp)
mov    -0x34(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x38(%rbp),%ecx
mov    -0x28(%rbp),%rax
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
cmp    $0x0,%eax
jl     12f7 <simplexproj+0x1d7>
mov    -0x30(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x40(%rbp),%xmm0
jbe    12f2 <simplexproj+0x1d2>
mov    -0x30(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffff8,%rcx
mov    %rcx,-0x28(%rbp)
movsd  %xmm0,-0x8(%rax)
subsd  -0x40(%rbp),%xmm0
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
addsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
jmp    1287 <simplexproj+0x167>
jmp    12fc <simplexproj+0x1dc>
jmp    1301 <simplexproj+0x1e1>
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x38(%rbp),%eax
jg     13a5 <simplexproj+0x285>
mov    -0x28(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x40(%rbp),%xmm0
jbe    1365 <simplexproj+0x245>
mov    -0x28(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x34(%rbp)
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
jmp    1392 <simplexproj+0x272>
movsd  -0x40(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movslq -0x44(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
mov    -0x38(%rbp),%eax
sub    -0x44(%rbp),%eax
add    -0x34(%rbp),%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
addsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
jmp    1397 <simplexproj+0x277>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1318 <simplexproj+0x1f8>
jmp    13aa <simplexproj+0x28a>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jle    1301 <simplexproj+0x1e1>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    142a <simplexproj+0x30a>
mov    -0x8(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x40(%rbp),%xmm0
jbe    13fd <simplexproj+0x2dd>
mov    -0x8(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    140a <simplexproj+0x2ea>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    140a <simplexproj+0x2ea>
movsd  -0x58(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    13bd <simplexproj+0x29d>
mov    -0x10(%rbp),%rax
cmp    -0x8(%rbp),%rax
jne    1441 <simplexproj+0x321>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<simplexproj>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %edx,%r15d
mov    %rsi,%r14
mov    %rdi,%r12
mov    %rsi,%rax
cmp    %rdi,%rsi
jne    1150 <simplexproj+0x30>
lea    0x0(,%r15,8),%edi
movsd  %xmm0,(%rsp)
call   1040 <malloc@plt>
movsd  (%rsp),%xmm0
movsd  (%r12),%xmm6
movsd  %xmm6,(%rax)
subsd  %xmm0,%xmm6
mov    $0x1,%r9d
mov    %r15d,%r8d
cmp    $0x2,%r15d
jb     11d8 <simplexproj+0xb8>
mov    $0x1,%r9d
mov    $0xffffffff,%edi
mov    $0x1,%esi
jmp    1191 <simplexproj+0x71>
nop
add    $0x1,%r9d
movapd %xmm1,%xmm6
add    $0x1,%rsi
cmp    %rsi,%r8
je     11dd <simplexproj+0xbd>
movsd  (%r12,%rsi,8),%xmm1
ucomisd %xmm6,%xmm1
jbe    1188 <simplexproj+0x68>
movslq %r9d,%rcx
movsd  %xmm1,(%rax,%rcx,8)
subsd  %xmm6,%xmm1
mov    %ecx,%edx
sub    %edi,%edx
xorps  %xmm2,%xmm2
cvtsi2sd %edx,%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm6,%xmm1
movsd  (%r12,%rsi,8),%xmm2
subsd  %xmm0,%xmm2
add    $0xffffffff,%ecx
ucomisd %xmm1,%xmm2
cmovae %ecx,%edi
jb     1180 <simplexproj+0x60>
movapd %xmm2,%xmm1
jmp    1180 <simplexproj+0x60>
mov    %rax,%r10
jmp    1248 <simplexproj+0x128>
test   %edi,%edi
js     1236 <simplexproj+0x116>
mov    %edi,%ecx
lea    (%rax,%rcx,8),%r10
add    $0x8,%r10
not    %edi
add    %r9d,%edi
add    $0x1,%rcx
mov    %edi,%r9d
jmp    1206 <simplexproj+0xe6>
nopl   0x0(%rax)
add    $0xffffffffffffffff,%rcx
jle    1248 <simplexproj+0x128>
movsd  -0x8(%rax,%rcx,8),%xmm1
ucomisd %xmm6,%xmm1
jbe    1200 <simplexproj+0xe0>
movsd  %xmm1,-0x8(%r10)
add    $0xfffffffffffffff8,%r10
subsd  %xmm6,%xmm1
add    $0x1,%r9d
xorps  %xmm2,%xmm2
cvtsi2sd %r9d,%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm6
jmp    1200 <simplexproj+0xe0>
mov    %rax,%r10
jmp    1248 <simplexproj+0x128>
nopl   0x0(%rax,%rax,1)
cmp    %r9d,%edi
mov    %edi,%r9d
jge    12a0 <simplexproj+0x180>
xor    %edi,%edi
test   %r9d,%r9d
jle    1240 <simplexproj+0x120>
mov    %r9d,%ecx
lea    -0x1(%r9),%ebx
xor    %edx,%edx
xor    %edi,%edi
jmp    1286 <simplexproj+0x166>
nopl   0x0(%rax)
movapd %xmm6,%xmm2
subsd  %xmm1,%xmm2
lea    (%rbx,%rdi,1),%esi
xorps  %xmm1,%xmm1
cvtsi2sd %esi,%xmm1
divsd  %xmm1,%xmm2
addsd  %xmm2,%xmm6
add    $0x1,%rdx
add    $0xffffffff,%ebx
cmp    %rdx,%rcx
je     1240 <simplexproj+0x120>
movsd  (%r10,%rdx,8),%xmm1
ucomisd %xmm6,%xmm1
jbe    1260 <simplexproj+0x140>
movslq %edi,%rsi
add    $0x1,%edi
movsd  %xmm1,(%r10,%rsi,8)
jmp    127a <simplexproj+0x15a>
test   %r15d,%r15d
je     1463 <simplexproj+0x343>
cmp    $0x4,%r15d
jb     12c9 <simplexproj+0x1a9>
lea    (%r12,%r8,8),%rcx
cmp    %r14,%rcx
jbe    135a <simplexproj+0x23a>
lea    (%r14,%r8,8),%rcx
cmp    %r12,%rcx
jbe    135a <simplexproj+0x23a>
xor    %edx,%edx
mov    %rdx,%rcx
not    %rcx
test   $0x1,%r8b
je     12f8 <simplexproj+0x1d8>
movsd  (%r12,%rdx,8),%xmm1
movapd %xmm6,%xmm2
cmpltsd %xmm1,%xmm2
subsd  %xmm6,%xmm1
andpd  %xmm2,%xmm1
movlpd %xmm1,(%r14,%rdx,8)
or     $0x1,%rdx
add    %r8,%rcx
je     1463 <simplexproj+0x343>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movsd  (%r12,%rdx,8),%xmm1
movapd %xmm6,%xmm2
cmpltsd %xmm1,%xmm2
subsd  %xmm6,%xmm1
andpd  %xmm2,%xmm1
movlpd %xmm1,(%r14,%rdx,8)
movsd  0x8(%r12,%rdx,8),%xmm1
movapd %xmm6,%xmm2
cmpltsd %xmm1,%xmm2
subsd  %xmm6,%xmm1
andpd  %xmm2,%xmm1
movlpd %xmm1,0x8(%r14,%rdx,8)
add    $0x2,%rdx
cmp    %rdx,%r8
jne    1310 <simplexproj+0x1f0>
jmp    1463 <simplexproj+0x343>
mov    %r8d,%edx
and    $0xfffffffc,%edx
movapd %xmm6,%xmm1
unpcklpd %xmm6,%xmm1
lea    -0x4(%rdx),%rcx
mov    %rcx,%rdi
shr    $0x2,%rdi
add    $0x1,%rdi
test   %rcx,%rcx
je     1487 <simplexproj+0x367>
mov    %rdi,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %esi,%esi
nopl   0x0(%rax)
movupd (%r12,%rsi,8),%xmm2
movupd 0x10(%r12,%rsi,8),%xmm3
movapd %xmm1,%xmm4
cmpltpd %xmm2,%xmm4
movapd %xmm1,%xmm5
cmpltpd %xmm3,%xmm5
subpd  %xmm1,%xmm2
andpd  %xmm4,%xmm2
subpd  %xmm1,%xmm3
andpd  %xmm5,%xmm3
movupd %xmm2,(%r14,%rsi,8)
movupd %xmm3,0x10(%r14,%rsi,8)
movupd 0x20(%r12,%rsi,8),%xmm2
movupd 0x30(%r12,%rsi,8),%xmm3
movapd %xmm1,%xmm4
cmpltpd %xmm2,%xmm4
movapd %xmm1,%xmm5
cmpltpd %xmm3,%xmm5
subpd  %xmm1,%xmm2
andpd  %xmm4,%xmm2
subpd  %xmm1,%xmm3
andpd  %xmm5,%xmm3
movupd %xmm2,0x20(%r14,%rsi,8)
movupd %xmm3,0x30(%r14,%rsi,8)
add    $0x8,%rsi
add    $0xfffffffffffffffe,%rcx
jne    1390 <simplexproj+0x270>
test   $0x1,%dil
je     145a <simplexproj+0x33a>
movupd (%r12,%rsi,8),%xmm2
movupd 0x10(%r12,%rsi,8),%xmm3
movapd %xmm1,%xmm4
cmpltpd %xmm2,%xmm4
movapd %xmm1,%xmm5
cmpltpd %xmm3,%xmm5
subpd  %xmm1,%xmm2
andpd  %xmm4,%xmm2
subpd  %xmm1,%xmm3
andpd  %xmm5,%xmm3
movupd %xmm2,(%r14,%rsi,8)
movupd %xmm3,0x10(%r14,%rsi,8)
cmp    %r8,%rdx
jne    12cb <simplexproj+0x1ab>
cmp    %r12,%r14
je     1474 <simplexproj+0x354>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret
mov    %rax,%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
jmp    1030 <free@plt>
xor    %esi,%esi
test   $0x1,%dil
jne    141e <simplexproj+0x2fe>
jmp    145a <simplexproj+0x33a>

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

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