#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 */
float fabsf(float);
scalar_t__ malloc(int);
int /*<<< orphan*/ printf(char *);
scalar_t__ realloc(float *, int);
void polint(int *xa, float *ya, int n, int x, float *y, float *dy) {
  int i, m, ns = 0;
  float den, dif, dift, ho, hp, w;
  static int pol_n = 0;
  static float *c, *d;
  if (n > pol_n) {
    if (pol_n == 0) {
      c = (float *)malloc(sizeof(float) * n);
      d = (float *)malloc(sizeof(float) * n);
    } else {
      c = (float *)realloc(c, sizeof(float) * n);
      d = (float *)realloc(d, sizeof(float) * n);
    }
    pol_n = n;
  }
  dif = fabsf((float)(x - xa[0]));
  for (i = 0; i < n; i++) {
    if ((dift = fabsf((float)(x - xa[i]))) < dif) {
      ns = i;
      dif = dift;
    }
    c[i] = ya[i];
    d[i] = ya[i];
  }
  *y = ya[ns--];
  for (m = 1; m < n; m++) {
    for (i = 1; i <= (n - m); i++) {
      ho = (float)xa[i - 1] - x;
      hp = (float)xa[i + m - 1] - x;
      w = c[i] - d[i - 1];
      if ((den = ho - hp) == 0.0)
        printf("Error in polint\n");
      den = w / den;
      d[i - 1] = hp * den;
      c[i - 1] = ho * den;
    }
    *y += (*dy = (2 * ns < (n - m) ? c[ns + 1] : d[(ns--) - 1]));
  }
}


x86 assembly (clang, -O0):
<polint>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x14(%rbp),%eax
cmp    0x2ee2(%rip),%eax
jle    11e5 <polint+0xb5>
cmpl   $0x0,0x2ed5(%rip)
jne    11a2 <polint+0x72>
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,0x2ec1(%rip)
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,0x2eb3(%rip)
jmp    11dc <polint+0xac>
mov    0x2e9f(%rip),%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%esi
call   1050 <realloc@plt>
mov    %rax,0x2e89(%rip)
mov    0x2e8a(%rip),%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%esi
call   1050 <realloc@plt>
mov    %rax,0x2e74(%rip)
mov    -0x14(%rbp),%eax
mov    %eax,0x2e5b(%rip)
mov    -0x18(%rbp),%eax
mov    -0x8(%rbp),%rcx
sub    (%rcx),%eax
cvtsi2ss %eax,%xmm0
movaps 0xe07(%rip),%xmm1
pand   %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    129d <polint+0x16d>
mov    -0x18(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
cvtsi2ss %eax,%xmm1
movaps 0xdd2(%rip),%xmm0
pand   %xmm0,%xmm1
movss  %xmm1,-0x40(%rbp)
movss  -0x3c(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    1255 <polint+0x125>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x34(%rbp)
movss  -0x40(%rbp),%xmm0
movss  %xmm0,-0x3c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    0x2ddf(%rip),%rax
movslq -0x2c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    0x2dca(%rip),%rax
movslq -0x2c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1209 <polint+0xd9>
mov    -0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%edx
add    $0xffffffff,%edx
mov    %edx,-0x34(%rbp)
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    145d <polint+0x32d>
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jg     13e1 <polint+0x2b1>
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cvtsi2ssl (%rax,%rcx,4),%xmm0
cvtsi2ssl -0x18(%rbp),%xmm1
subss  %xmm1,%xmm0
movss  %xmm0,-0x44(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cvtsi2ssl (%rax,%rcx,4),%xmm0
cvtsi2ssl -0x18(%rbp),%xmm1
subss  %xmm1,%xmm0
movss  %xmm0,-0x48(%rbp)
mov    0x2d17(%rip),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    0x2d0f(%rip),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
subss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  -0x44(%rbp),%xmm0
subss  -0x48(%rbp),%xmm0
movss  %xmm0,-0x38(%rbp)
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1386 <polint+0x256>
jp     1386 <polint+0x256>
lea    0xc8f(%rip),%rdi
call   1030 <printf@plt>
movss  -0x4c(%rbp),%xmm0
divss  -0x38(%rbp),%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x48(%rbp),%xmm0
mulss  -0x38(%rbp),%xmm0
mov    0x2caa(%rip),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x44(%rbp),%xmm0
mulss  -0x38(%rbp),%xmm0
mov    0x2c83(%rip),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12d6 <polint+0x1a6>
mov    -0x34(%rbp),%eax
shl    $0x1,%eax
mov    -0x14(%rbp),%ecx
sub    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jge    1414 <polint+0x2e4>
mov    0x2c4c(%rip),%rax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x50(%rbp)
jmp    1436 <polint+0x306>
mov    0x2c35(%rip),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%edx
add    $0xffffffff,%edx
mov    %edx,-0x34(%rbp)
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x50(%rbp)
movss  -0x50(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x20(%rbp),%rax
addss  (%rax),%xmm0
movss  %xmm0,(%rax)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    12c3 <polint+0x193>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<polint>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %r9,0x40(%rsp)
mov    %r8,0x8(%rsp)
mov    %ecx,%r12d
mov    %edx,%ebp
mov    %rsi,%r14
mov    %rdi,%rbx
mov    0x2ee7(%rip),%eax
cmp    %edx,%eax
jge    11bc <polint+0x8c>
test   %eax,%eax
je     1190 <polint+0x60>
mov    0x2ee0(%rip),%rdi
lea    0x0(,%rbp,4),%r15d
mov    %r15d,%esi
call   1050 <realloc@plt>
mov    %rax,0x2ec9(%rip)
mov    0x2eca(%rip),%rdi
mov    %r15d,%esi
call   1050 <realloc@plt>
jmp    11af <polint+0x7f>
lea    0x0(,%rbp,4),%r15d
mov    %r15d,%edi
call   1040 <malloc@plt>
mov    %rax,0x2ea1(%rip)
mov    %r15d,%edi
call   1040 <malloc@plt>
mov    %rax,0x2e9a(%rip)
mov    %ebp,0x2e84(%rip)
test   %ebp,%ebp
jle    13ac <polint+0x27c>
mov    0x2e7d(%rip),%rsi
mov    0x2e7e(%rip),%rcx
mov    %ebp,%edi
movd   (%rbx),%xmm0
movss  (%r14),%xmm1
movss  %xmm1,(%rsi)
movss  (%r14),%xmm1
movss  %xmm1,(%rcx)
xor    %r13d,%r13d
cmp    $0x1,%ebp
jne    13c9 <polint+0x299>
movslq %r13d,%rax
movss  (%r14,%rax,4),%xmm0
mov    0x8(%rsp),%rax
movss  %xmm0,(%rax)
cmp    $0x2,%ebp
jl     13ba <polint+0x28a>
movabs $0x100000000,%r15
add    $0xffffffff,%r13d
xorps  %xmm0,%xmm0
cvtsi2ss %r12d,%xmm0
movss  %xmm0,0x14(%rsp)
mov    $0x1,%eax
mov    %r15,0x28(%rsp)
mov    %rdi,0x38(%rsp)
jmp    12b5 <polint+0x185>
xchg   %ax,%ax
lea    0x0(%r13,%r13,1),%eax
cltq
lea    -0x1(%r13),%ecx
lea    0x1(%r13),%edx
cmp    %rax,0x48(%rsp)
cmovle %ecx,%edx
lea    0x2df2(%rip),%rax
lea    0x2de3(%rip),%rsi
cmovg  %rsi,%rax
mov    (%rax),%rax
cmovg  %r13d,%ecx
movslq %edx,%rdx
movss  (%rax,%rdx,4),%xmm0
mov    0x40(%rsp),%rax
movss  %xmm0,(%rax)
mov    0x8(%rsp),%rax
addss  (%rax),%xmm0
movss  %xmm0,(%rax)
mov    0x50(%rsp),%rax
add    $0x1,%rax
mov    0x30(%rsp),%rbp
add    $0xffffffff,%ebp
add    %r15,0x28(%rsp)
mov    %ecx,%r13d
mov    0x38(%rsp),%rdi
cmp    %rdi,%rax
je     13ba <polint+0x28a>
mov    %rbp,0x30(%rsp)
mov    %rax,0x50(%rsp)
sub    %rax,%rdi
mov    %rdi,0x48(%rsp)
jle    1240 <polint+0x110>
mov    0x30(%rsp),%ebp
add    $0xffffffffffffffff,%rbp
mov    0x2d6c(%rip),%rax
mov    0x2d6d(%rip),%rcx
xor    %r12d,%r12d
mov    0x28(%rsp),%r14
jmp    1318 <polint+0x1e8>
nopl   (%rax)
divss  %xmm0,%xmm3
mulss  %xmm3,%xmm2
movss  %xmm2,(%rcx,%r12,4)
mulss  %xmm3,%xmm1
movss  %xmm1,(%rax,%r12,4)
add    %r15,%r14
add    $0x1,%r12
cmp    %r12,%rbp
je     1240 <polint+0x110>
xorps  %xmm1,%xmm1
cvtsi2ssl (%rbx,%r12,4),%xmm1
mov    %r14,%rdx
sar    $0x1e,%rdx
xorps  %xmm2,%xmm2
cvtsi2ssl (%rbx,%rdx,1),%xmm2
movss  0x14(%rsp),%xmm0
subss  %xmm0,%xmm1
movss  0x4(%rax,%r12,4),%xmm3
subss  (%rcx,%r12,4),%xmm3
subss  %xmm0,%xmm2
movaps %xmm1,%xmm0
subss  %xmm2,%xmm0
ucomiss 0xcb7(%rip),%xmm0
jne    12f0 <polint+0x1c0>
jp     12f0 <polint+0x1c0>
lea    0xcb0(%rip),%rdi
movss  %xmm1,0x24(%rsp)
movss  %xmm2,0x20(%rsp)
movss  %xmm3,0x1c(%rsp)
movss  %xmm0,0x18(%rsp)
call   1030 <puts@plt>
movss  0x18(%rsp),%xmm0
movss  0x1c(%rsp),%xmm3
movss  0x20(%rsp),%xmm2
movss  0x24(%rsp),%xmm1
mov    0x2cb0(%rip),%rcx
mov    0x2ca1(%rip),%rax
jmp    12f0 <polint+0x1c0>
movss  (%r14),%xmm0
mov    0x8(%rsp),%rax
movss  %xmm0,(%rax)
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
movd   %r12d,%xmm1
psubd  %xmm0,%xmm1
cvtdq2ps %xmm1,%xmm0
shufps $0x0,%xmm0,%xmm0
andps  0xc20(%rip),%xmm0
movaps %xmm0,%xmm1
shufps $0x55,%xmm0,%xmm1
ucomiss %xmm0,%xmm1
seta   %al
xor    %r13d,%r13d
mov    $0x1,%edx
movaps 0xc04(%rip),%xmm1
jmp    1443 <polint+0x313>
xchg   %ax,%ax
mov    %r12d,%eax
sub    (%rbx,%rdx,4),%eax
xorps  %xmm2,%xmm2
cvtsi2ss %eax,%xmm2
andps  %xmm1,%xmm2
ucomiss %xmm2,%xmm0
seta   %al
cmova  %edx,%r13d
movss  (%r14,%rdx,4),%xmm3
movss  %xmm3,(%rsi,%rdx,4)
movss  (%r14,%rdx,4),%xmm3
movss  %xmm3,(%rcx,%rdx,4)
add    $0x1,%rdx
unpcklps %xmm0,%xmm2
movaps %xmm2,%xmm0
cmp    %rdx,%rdi
je     11f6 <polint+0xc6>
test   $0x1,%al
jne    1400 <polint+0x2d0>
shufps $0x55,%xmm0,%xmm0
jmp    1400 <polint+0x2d0>

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

LLVM IR (-O2):
@polint.pol_n = internal unnamed_addr global i32 0
@polint.c = internal unnamed_addr global float* null
@polint.d = internal unnamed_addr global float* null
@str = [16 x i8] c"Error in polint\00"
define void @polint(i32* nocapture %0, float* nocapture %1, i32 %2, i32 %3, float* nocapture %4, float* nocapture writeonly %5) {
%7 = load i32, i32* @polint.pol_n
%8 = icmp slt i32 %7, %2
br i1 %8, label %9, label %26
9: ; preds = %6
%10 = icmp eq i32 %7, 0
br i1 %10, label %11, label %16
11: ; preds = %9
%12 = shl i32 %2, 2
%13 = tail call i64 @malloc(i32 %12)
%14 = inttoptr i64 %13 to float*
store float* %14, float** @polint.c
%15 = tail call i64 @malloc(i32 %12)
br label %23
16: ; preds = %9
%17 = load float*, float** @polint.c
%18 = shl i32 %2, 2
%19 = tail call i64 @realloc(float* %17, i32 %18)
%20 = inttoptr i64 %19 to float*
store float* %20, float** @polint.c
%21 = load float*, float** @polint.d
%22 = tail call i64 @realloc(float* %21, i32 %18)
br label %23
23: ; preds = %16, %11
%24 = phi i64 [ %22, %16 ], [ %15, %11 ]
%25 = inttoptr i64 %24 to float*
store float* %25, float** @polint.d
store i32 %2, i32* @polint.pol_n
br label %26
26: ; preds = %23, %6
%27 = icmp sgt i32 %2, 0
br i1 %27, label %30, label %28
28: ; preds = %26
%29 = load float, float* %1
store float %29, float* %4
br label %150
30: ; preds = %26
%31 = load i32, i32* %0
%32 = load float*, float** @polint.c
%33 = load float*, float** @polint.d
%34 = zext i32 %2 to i64
%35 = insertelement <2 x i32> poison, i32 %3, i64 0
%36 = insertelement <2 x i32> poison, i32 %31, i64 0
%37 = sub nsw <2 x i32> %35, %36
%38 = sitofp <2 x i32> %37 to <2 x float>
%39 = shufflevector <2 x float> %38, <2 x float> poison, <2 x i32> zeroinitializer
%40 = call <2 x float> @llvm.fabs.v2f32(<2 x float> %39)
%41 = load float, float* %1
store float %41, float* %32
%42 = load float, float* %1
store float %42, float* %33
%43 = icmp eq i32 %2, 1
br i1 %43, label %73, label %44
44: ; preds = %30
%45 = extractelement <2 x float> %40, i64 0
%46 = extractelement <2 x float> %40, i64 1
%47 = fcmp olt float %45, %46
br label %48
48: ; preds = %44, %48
%49 = phi i64 [ 1, %44 ], [ %69, %48 ]
%50 = phi i32 [ 0, %44 ], [ %63, %48 ]
%51 = phi i1 [ %47, %44 ], [ %61, %48 ]
%52 = phi <2 x float> [ %40, %44 ], [ %72, %48 ]
%53 = extractelement <2 x float> %52, i64 0
%54 = extractelement <2 x float> %52, i64 1
%55 = select i1 %51, float %53, float %54
%56 = getelementptr inbounds i32, i32* %0, i64 %49
%57 = load i32, i32* %56
%58 = sub nsw i32 %3, %57
%59 = sitofp i32 %58 to float
%60 = tail call float @llvm.fabs.f32(float %59)
%61 = fcmp olt float %60, %55
%62 = trunc i64 %49 to i32
%63 = select i1 %61, i32 %62, i32 %50
%64 = getelementptr inbounds float, float* %1, i64 %49
%65 = load float, float* %64
%66 = getelementptr inbounds float, float* %32, i64 %49
store float %65, float* %66
%67 = load float, float* %64
%68 = getelementptr inbounds float, float* %33, i64 %49
store float %67, float* %68
%69 = add nuw nsw i64 %49, 1
%70 = icmp eq i64 %69, %34
%71 = insertelement <2 x float> poison, float %60, i64 0
%72 = insertelement <2 x float> %71, float %55, i64 1
br i1 %70, label %73, label %48
73: ; preds = %48, %30
%74 = phi i32 [ 0, %30 ], [ %63, %48 ]
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds float, float* %1, i64 %75
%77 = load float, float* %76
store float %77, float* %4
%78 = icmp sgt i32 %2, 1
br i1 %78, label %79, label %150
79: ; preds = %73
%80 = add nsw i32 %74, -1
%81 = sitofp i32 %3 to float
%82 = zext i32 %2 to i64
%83 = zext i32 %2 to i64
br label %84
84: ; preds = %79, %131
%85 = phi i64 [ 1, %79 ], [ %147, %131 ]
%86 = phi i32 [ %2, %79 ], [ %148, %131 ]
%87 = phi i32 [ %80, %79 ], [ %141, %131 ]
%88 = sub nsw i64 %82, %85
%89 = icmp slt i64 %88, 1
br i1 %89, label %131, label %90
90: ; preds = %84
%91 = zext i32 %86 to i64
%92 = load float*, float** @polint.c
%93 = load float*, float** @polint.d
br label %94
94: ; preds = %90, %121
%95 = phi float* [ %92, %90 ], [ %122, %121 ]
%96 = phi float* [ %93, %90 ], [ %123, %121 ]
%97 = phi i64 [ 1, %90 ], [ %129, %121 ]
%98 = add nsw i64 %97, -1
%99 = getelementptr inbounds i32, i32* %0, i64 %98
%100 = load i32, i32* %99
%101 = sitofp i32 %100 to float
%102 = fsub float %101, %81
%103 = add nuw nsw i64 %98, %85
%104 = shl i64 %103, 32
%105 = ashr exact i64 %104, 32
%106 = getelementptr inbounds i32, i32* %0, i64 %105
%107 = load i32, i32* %106
%108 = sitofp i32 %107 to float
%109 = fsub float %108, %81
%110 = getelementptr inbounds float, float* %95, i64 %97
%111 = load float, float* %110
%112 = getelementptr inbounds float, float* %96, i64 %98
%113 = load float, float* %112
%114 = fsub float %111, %113
%115 = fsub float %102, %109
%116 = fcmp oeq float %115, 0.000000e+00
br i1 %116, label %117, label %121
117: ; preds = %94
%118 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @str, i64 0, i64 0))
%119 = load float*, float** @polint.d
%120 = load float*, float** @polint.c
br label %121
121: ; preds = %117, %94
%122 = phi float* [ %120, %117 ], [ %95, %94 ]
%123 = phi float* [ %119, %117 ], [ %96, %94 ]
%124 = fdiv float %114, %115
%125 = fmul float %109, %124
%126 = getelementptr inbounds float, float* %123, i64 %98
store float %125, float* %126
%127 = fmul float %102, %124
%128 = getelementptr inbounds float, float* %122, i64 %98
store float %127, float* %128
%129 = add nuw nsw i64 %97, 1
%130 = icmp eq i64 %129, %91
br i1 %130, label %131, label %94
131: ; preds = %121, %84
%132 = shl nsw i32 %87, 1
%133 = sext i32 %132 to i64
%134 = icmp sgt i64 %88, %133
%135 = load float*, float** @polint.d
%136 = add nsw i32 %87, -1
%137 = load float*, float** @polint.c
%138 = add nsw i32 %87, 1
%139 = select i1 %134, i32 %138, i32 %136
%140 = select i1 %134, float* %137, float* %135
%141 = select i1 %134, i32 %87, i32 %136
%142 = sext i32 %139 to i64
%143 = getelementptr inbounds float, float* %140, i64 %142
%144 = load float, float* %143
store float %144, float* %5
%145 = load float, float* %4
%146 = fadd float %144, %145
store float %146, float* %4
%147 = add nuw nsw i64 %85, 1
%148 = add i32 %86, -1
%149 = icmp eq i64 %147, %83
br i1 %149, label %150, label %84
150: ; preds = %131, %28, %73
ret void
}