#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*/ knot(int, int, int *);
int /*<<< orphan*/ rbasis(int, double, int, int *, double *, double *);
void rbspline(int npts, int k, int p1, double b[], double h[], double p[]) {
  int i, j, icount, jcount;
  int i1;
  int x[10000];
  int nplusc;
  double step;
  double t;
  double nbasis[10000];
  double temp;
  nplusc = npts + k;
  if (nplusc < 10000) {
    for (i = 0; i <= npts; i++) {
      nbasis[i] = 0.;
    }
    for (i = 0; i <= nplusc; i++) {
      x[i] = 0.;
    }
    knot(npts, k, x);
    icount = 0;
    t = 0;
    step = ((double)x[nplusc]) / ((double)(p1 - 1));
    for (i1 = 1; i1 <= p1; i1++) {
      if ((double)x[nplusc] - t < 5e-6) {
        t = (double)x[nplusc];
      }
      rbasis(k, t, npts, x, h, nbasis);
      for (j = 1; j <= 3; j++) {
        jcount = j;
        p[icount + j] = 0.;
        for (i = 1; i <= npts; i++) {
          temp = nbasis[i] * b[jcount];
          p[icount + j] = p[icount + j] + temp;
          jcount = jcount + 3;
        }
      }
      icount = icount + 3;
      t = t + step;
    }
  }
}


x86 assembly (clang, -O0):
<rbspline>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1d530,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    -0x4(%rbp),%eax
add    -0x8(%rbp),%eax
mov    %eax,-0x9c84(%rbp)
cmpl   $0x2710,-0x9c84(%rbp)
jge    136f <rbspline+0x24f>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     118d <rbspline+0x6d>
movslq -0x2c(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x1d520(%rbp,%rax,8)
fe ff
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1163 <rbspline+0x43>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x9c84(%rbp),%eax
jg     11c0 <rbspline+0xa0>
movslq -0x2c(%rbp),%rax
movl   $0x0,-0x9c80(%rbp,%rax,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1194 <rbspline+0x74>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
lea    -0x9c80(%rbp),%rdx
call   1030 <knot@plt>
movl   $0x0,-0x34(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x9c98(%rbp)
ff
movslq -0x9c84(%rbp),%rax
cvtsi2sdl -0x9c80(%rbp,%rax,4),%xmm0
ff ff
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x9c90(%rbp)
ff
movl   $0x1,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     136a <rbspline+0x24a>
movslq -0x9c84(%rbp),%rax
cvtsi2sdl -0x9c80(%rbp,%rax,4),%xmm1
ff ff
subsd  -0x9c98(%rbp),%xmm1
ff
movsd  0xdc3(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    125f <rbspline+0x13f>
movslq -0x9c84(%rbp),%rax
cvtsi2sdl -0x9c80(%rbp,%rax,4),%xmm0
ff ff
movsd  %xmm0,-0x9c98(%rbp)
ff
mov    -0x8(%rbp),%edi
movsd  -0x9c98(%rbp),%xmm0
ff
mov    -0x4(%rbp),%esi
lea    -0x9c80(%rbp),%rdx
mov    -0x20(%rbp),%rcx
lea    -0x1d520(%rbp),%r8
call   1040 <rbasis@plt>
movl   $0x1,-0x30(%rbp)
cmpl   $0x3,-0x30(%rbp)
jg     133b <rbspline+0x21b>
mov    -0x30(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
add    -0x30(%rbp),%ecx
movslq %ecx,%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     1328 <rbspline+0x208>
movslq -0x2c(%rbp),%rax
movsd  -0x1d520(%rbp,%rax,8),%xmm0
fe ff
mov    -0x18(%rbp),%rax
movslq -0x38(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x1d528(%rbp)
ff
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
add    -0x30(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0x1d528(%rbp),%xmm0
ff
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
add    -0x30(%rbp),%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x38(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x38(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12b7 <rbspline+0x197>
jmp    132d <rbspline+0x20d>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    128b <rbspline+0x16b>
mov    -0x34(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x34(%rbp)
movsd  -0x9c98(%rbp),%xmm0
ff
addsd  -0x9c90(%rbp),%xmm0
ff
movsd  %xmm0,-0x9c98(%rbp)
ff
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1211 <rbspline+0xf1>
jmp    136f <rbspline+0x24f>
add    $0x1d530,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rbspline>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x1d518,%rsp
mov    %r8,0x38(%rsp)
mov    %rdx,0x10(%rsp)
mov    %edi,%ebp
mov    %rsi,0x20(%rsp)
lea    (%rsi,%rbp,1),%r14d
cmp    $0x270f,%r14d
jg     14e3 <rbspline+0x3b3>
mov    %r9,%rbx
mov    %rcx,%r15
mov    %ebp,%eax
test   %ebp,%ebp
mov    %rax,0x8(%rsp)
js     1188 <rbspline+0x58>
lea    0x8(,%rax,8),%rdx
lea    0x50(%rsp),%rdi
xor    %esi,%esi
call   1040 <memset@plt>
test   %r14d,%r14d
js     11a7 <rbspline+0x77>
mov    %r14d,%eax
lea    0x4(,%rax,4),%rdx
lea    0x138d0(%rsp),%rdi
xor    %esi,%esi
call   1040 <memset@plt>
lea    0x138d0(%rsp),%rdx
mov    %ebp,%edi
mov    0x20(%rsp),%rsi
call   1030 <knot@plt>
cmpl   $0x0,0x10(%rsp)
mov    0x8(%rsp),%rdx
jle    14e3 <rbspline+0x3b3>
movslq %r14d,%rax
mov    %rax,0x30(%rsp)
mov    0x138d0(%rsp,%rax,4),%ecx
cvtsi2sd %ecx,%xmm1
mov    0x10(%rsp),%rax
add    $0xffffffff,%eax
cvtsi2sd %eax,%xmm0
divsd  %xmm0,%xmm1
movsd  %xmm1,0x28(%rsp)
lea    -0x1(%rdx),%rax
mov    %rax,0x18(%rsp)
mov    %edx,%r14d
and    $0xfffffffe,%r14d
neg    %r14
mov    $0x1,%r13d
xorpd  %xmm2,%xmm2
xor    %r12d,%r12d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
xorps  %xmm1,%xmm1
cvtsi2sd %ecx,%xmm1
movapd %xmm1,%xmm0
subsd  %xmm2,%xmm0
cmpltsd 0xdc8(%rip),%xmm0
andpd  %xmm0,%xmm1
andnpd %xmm2,%xmm0
orpd   %xmm1,%xmm0
mov    0x20(%rsp),%rdi
movapd %xmm0,0x40(%rsp)
mov    %ebp,%esi
lea    0x138d0(%rsp),%rdx
mov    0x38(%rsp),%rcx
lea    0x50(%rsp),%r8
call   1050 <rbasis@plt>
movq   $0x0,0x8(%rbx,%r12,8)
test   %ebp,%ebp
jle    1420 <rbspline+0x2f0>
cmpq   $0x0,0x18(%rsp)
je     1470 <rbspline+0x340>
mov    $0x1,%eax
xorpd  %xmm0,%xmm0
mov    $0x1,%ecx
mov    0x8(%rsp),%rdi
nopl   0x0(%rax,%rax,1)
movsd  0x50(%rsp,%rcx,8),%xmm1
mulsd  (%r15,%rax,8),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rbx,%r12,8)
movsd  0x58(%rsp,%rcx,8),%xmm0
mulsd  0x18(%r15,%rax,8),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,0x8(%rbx,%r12,8)
add    $0x6,%rax
lea    (%r14,%rcx,1),%rdx
add    $0x2,%rdx
add    $0x2,%rcx
cmp    $0x1,%rdx
jne    12a0 <rbspline+0x170>
test   $0x1,%dil
je     1302 <rbspline+0x1d2>
movsd  0x50(%rsp,%rcx,8),%xmm1
mulsd  (%r15,%rax,8),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,0x8(%rbx,%r12,8)
movq   $0x0,0x10(%rbx,%r12,8)
test   %ebp,%ebp
jle    1429 <rbspline+0x2f9>
cmpq   $0x0,0x18(%rsp)
je     1492 <rbspline+0x362>
mov    $0x1,%ecx
mov    $0x2,%eax
xorpd  %xmm0,%xmm0
nopl   (%rax)
movsd  0x50(%rsp,%rcx,8),%xmm1
mulsd  (%r15,%rax,8),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x10(%rbx,%r12,8)
movsd  0x58(%rsp,%rcx,8),%xmm0
mulsd  0x18(%r15,%rax,8),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,0x10(%rbx,%r12,8)
add    $0x6,%rax
lea    (%r14,%rcx,1),%rdx
add    $0x2,%rdx
add    $0x2,%rcx
cmp    $0x1,%rdx
jne    1330 <rbspline+0x200>
test   $0x1,%dil
je     1392 <rbspline+0x262>
movsd  0x50(%rsp,%rcx,8),%xmm1
mulsd  (%r15,%rax,8),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,0x10(%rbx,%r12,8)
lea    0x3(%r12),%rax
movq   $0x0,0x18(%rbx,%r12,8)
test   %ebp,%ebp
jle    1439 <rbspline+0x309>
cmpq   $0x0,0x18(%rsp)
je     14af <rbspline+0x37f>
mov    $0x1,%edx
mov    $0x3,%ecx
xorpd  %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsd  0x50(%rsp,%rdx,8),%xmm1
mulsd  (%r15,%rcx,8),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x18(%rbx,%r12,8)
movsd  0x58(%rsp,%rdx,8),%xmm0
mulsd  0x18(%r15,%rcx,8),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,0x18(%rbx,%r12,8)
add    $0x6,%rcx
lea    (%r14,%rdx,1),%rsi
add    $0x2,%rsi
add    $0x2,%rdx
cmp    $0x1,%rsi
jne    13d0 <rbspline+0x2a0>
test   $0x1,%dil
je     1439 <rbspline+0x309>
jmp    14c7 <rbspline+0x397>
movq   $0x0,0x10(%rbx,%r12,8)
movq   $0x0,0x18(%rbx,%r12,8)
add    $0x3,%r12
mov    %r12,%rax
cmp    0x10(%rsp),%r13d
je     14e3 <rbspline+0x3b3>
add    $0x1,%r13d
movapd 0x40(%rsp),%xmm0
addsd  0x28(%rsp),%xmm0
mov    0x30(%rsp),%rcx
mov    0x138d0(%rsp,%rcx,4),%ecx
mov    %rax,%r12
movapd %xmm0,%xmm2
jmp    1220 <rbspline+0xf0>
nopl   0x0(%rax)
mov    $0x1,%eax
xorpd  %xmm0,%xmm0
mov    $0x1,%ecx
mov    0x8(%rsp),%rdi
test   $0x1,%dil
jne    12eb <rbspline+0x1bb>
jmp    1302 <rbspline+0x1d2>
mov    $0x1,%ecx
mov    $0x2,%eax
xorpd  %xmm0,%xmm0
test   $0x1,%dil
jne    137b <rbspline+0x24b>
jmp    1392 <rbspline+0x262>
mov    $0x1,%edx
mov    $0x3,%ecx
xorpd  %xmm0,%xmm0
test   $0x1,%dil
je     1439 <rbspline+0x309>
movsd  0x50(%rsp,%rdx,8),%xmm1
mulsd  (%r15,%rcx,8),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,0x18(%rbx,%r12,8)
jmp    1439 <rbspline+0x309>
add    $0x1d518,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @rbspline(i32 %0, i32 %1, i32 %2, double* %3, double* %4, double* %5) {
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca double*
%11 = alloca double*
%12 = alloca double*
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca [10000 x i32]
%19 = alloca i32
%20 = alloca double
%21 = alloca double
%22 = alloca [10000 x double]
%23 = alloca double
store i32 %0, i32* %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store double* %3, double** %10
store double* %4, double** %11
store double* %5, double** %12
%24 = load i32, i32* %7
%25 = load i32, i32* %8
%26 = add nsw i32 %24, %25
store i32 %26, i32* %19
%27 = load i32, i32* %19
%28 = icmp slt i32 %27, 10000
br i1 %28, label %29, label %154
29: ; preds = %6
store i32 0, i32* %13
br label %30
30: ; preds = %38, %29
%31 = load i32, i32* %13
%32 = load i32, i32* %7
%33 = icmp sle i32 %31, %32
br i1 %33, label %34, label %41
34: ; preds = %30
%35 = load i32, i32* %13
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds [10000 x double], [10000 x double]* %22, i64 0, i64 %36
store double 0.000000e+00, double* %37
br label %38
38: ; preds = %34
%39 = load i32, i32* %13
%40 = add nsw i32 %39, 1
store i32 %40, i32* %13
br label %30
41: ; preds = %30
store i32 0, i32* %13
br label %42
42: ; preds = %50, %41
%43 = load i32, i32* %13
%44 = load i32, i32* %19
%45 = icmp sle i32 %43, %44
br i1 %45, label %46, label %53
46: ; preds = %42
%47 = load i32, i32* %13
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [10000 x i32], [10000 x i32]* %18, i64 0, i64 %48
store i32 0, i32* %49
br label %50
50: ; preds = %46
%51 = load i32, i32* %13
%52 = add nsw i32 %51, 1
store i32 %52, i32* %13
br label %42
53: ; preds = %42
%54 = load i32, i32* %7
%55 = load i32, i32* %8
%56 = getelementptr inbounds [10000 x i32], [10000 x i32]* %18, i64 0, i64 0
%57 = call i32 @knot(i32 %54, i32 %55, i32* %56)
store i32 0, i32* %15
store double 0.000000e+00, double* %21
%58 = load i32, i32* %19
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds [10000 x i32], [10000 x i32]* %18, i64 0, i64 %59
%61 = load i32, i32* %60
%62 = sitofp i32 %61 to double
%63 = load i32, i32* %9
%64 = sub nsw i32 %63, 1
%65 = sitofp i32 %64 to double
%66 = fdiv double %62, %65
store double %66, double* %20
store i32 1, i32* %17
br label %67
67: ; preds = %150, %53
%68 = load i32, i32* %17
%69 = load i32, i32* %9
%70 = icmp sle i32 %68, %69
br i1 %70, label %71, label %153
71: ; preds = %67
%72 = load i32, i32* %19
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds [10000 x i32], [10000 x i32]* %18, i64 0, i64 %73
%75 = load i32, i32* %74
%76 = sitofp i32 %75 to double
%77 = load double, double* %21
%78 = fsub double %76, %77
%79 = fcmp olt double %78, 5.000000e-06
br i1 %79, label %80, label %86
80: ; preds = %71
%81 = load i32, i32* %19
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds [10000 x i32], [10000 x i32]* %18, i64 0, i64 %82
%84 = load i32, i32* %83
%85 = sitofp i32 %84 to double
store double %85, double* %21
br label %86
86: ; preds = %80, %71
%87 = load i32, i32* %8
%88 = load double, double* %21
%89 = load i32, i32* %7
%90 = getelementptr inbounds [10000 x i32], [10000 x i32]* %18, i64 0, i64 0
%91 = load double*, double** %11
%92 = getelementptr inbounds [10000 x double], [10000 x double]* %22, i64 0, i64 0
%93 = call i32 @rbasis(i32 %87, double %88, i32 %89, i32* %90, double* %91, double* %92)
store i32 1, i32* %14
br label %94
94: ; preds = %141, %86
%95 = load i32, i32* %14
%96 = icmp sle i32 %95, 3
br i1 %96, label %97, label %144
97: ; preds = %94
%98 = load i32, i32* %14
store i32 %98, i32* %16
%99 = load double*, double** %12
%100 = load i32, i32* %15
%101 = load i32, i32* %14
%102 = add nsw i32 %100, %101
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds double, double* %99, i64 %103
store double 0.000000e+00, double* %104
store i32 1, i32* %13
br label %105
105: ; preds = %137, %97
%106 = load i32, i32* %13
%107 = load i32, i32* %7
%108 = icmp sle i32 %106, %107
br i1 %108, label %109, label %140
109: ; preds = %105
%110 = load i32, i32* %13
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds [10000 x double], [10000 x double]* %22, i64 0, i64 %111
%113 = load double, double* %112
%114 = load double*, double** %10
%115 = load i32, i32* %16
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds double, double* %114, i64 %116
%118 = load double, double* %117
%119 = fmul double %113, %118
store double %119, double* %23
%120 = load double*, double** %12
%121 = load i32, i32* %15
%122 = load i32, i32* %14
%123 = add nsw i32 %121, %122
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds double, double* %120, i64 %124
%126 = load double, double* %125
%127 = load double, double* %23
%128 = fadd double %126, %127
%129 = load double*, double** %12
%130 = load i32, i32* %15
%131 = load i32, i32* %14
%132 = add nsw i32 %130, %131
%133 = sext i32 %132 to i64
%134 = getelementptr inbounds double, double* %129, i64 %133
store double %128, double* %134
%135 = load i32, i32* %16
%136 = add nsw i32 %135, 3
store i32 %136, i32* %16
br label %137
137: ; preds = %109
%138 = load i32, i32* %13
%139 = add nsw i32 %138, 1
store i32 %139, i32* %13
br label %105
140: ; preds = %105
br label %141
141: ; preds = %140
%142 = load i32, i32* %14
%143 = add nsw i32 %142, 1
store i32 %143, i32* %14
br label %94
144: ; preds = %94
%145 = load i32, i32* %15
%146 = add nsw i32 %145, 3
store i32 %146, i32* %15
%147 = load double, double* %21
%148 = load double, double* %20
%149 = fadd double %147, %148
store double %149, double* %21
br label %150
150: ; preds = %144
%151 = load i32, i32* %17
%152 = add nsw i32 %151, 1
store i32 %152, i32* %17
br label %67
153: ; preds = %67
br label %154
154: ; preds = %153, %6
ret void
}

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