#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 */
typedef size_t n__;
typedef size_t i;

/* Variables and functions */
float pow(float, int);
void slasq4(int n__, float *q, float *e, float *tau, float *sup) {
  static float c_b4 = .7f;
  int i__1;
  float r__1, r__2;
  static float xinf, d;
  static int i;
  static float dm;
  static int ifl;
  ifl = 1;
  r__1 = (((*sup) < (q[(1) - 1])) ? (*sup) : (q[(1) - 1])),
  r__1 = (((r__1) < (q[(2) - 1])) ? (r__1) : (q[(2) - 1])),
  r__1 = (((r__1) < (q[(3) - 1])) ? (r__1) : (q[(3) - 1])), r__2 = q[(n__)-1],
  r__1 = (((r__1) < (r__2)) ? (r__1) : (r__2)), r__2 = q[(n__ - 1) - 1],
  r__1 = (((r__1) < (r__2)) ? (r__1) : (r__2)), r__2 = q[(n__ - 2) - 1];
  *sup = (((r__1) < (r__2)) ? (r__1) : (r__2));
  *tau = *sup * .9999f;
  xinf = 0.f;
L10:
  if (ifl == 5) {
    *tau = xinf;
    return;
  }
  d = q[(1) - 1] - *tau;
  dm = d;
  i__1 = n__ - 2;
  for (i = 1; i <= n__ - 2; ++i) {
    d = d / (d + e[(i)-1]) * q[(i + 1) - 1] - *tau;
    if (dm > d) {
      dm = d;
    }
    if (d < 0.f) {
      *sup = *tau;
      r__1 = *sup * pow(c_b4, ifl), r__2 = d + *tau;
      *tau = (((r__1) > (r__2)) ? (r__1) : (r__2));
      ++ifl;
      goto L10;
    }
  }
  d = d / (d + e[(n__ - 1) - 1]) * q[(n__)-1] - *tau;
  if (dm > d) {
    dm = d;
  }
  if (d < 0.f) {
    *sup = *tau;
    r__1 = xinf, r__2 = d + *tau;
    xinf = (((r__1) > (r__2)) ? (r__1) : (r__2));
    if (*sup * pow(c_b4, ifl) <= xinf) {
      *tau = xinf;
    } else {
      *tau = *sup * pow(c_b4, ifl);
      ++ifl;
      goto L10;
    }
  } else {
    r__1 = *sup, r__2 = dm + *tau;
    *sup = (((r__1) < (r__2)) ? (r__1) : (r__2));
  }
}


x86 assembly (clang, -O0):
<slasq4>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
movl   $0x1,0x2f0b(%rip)
mov    -0x28(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
ucomiss %xmm1,%xmm0
jbe    1160 <slasq4+0x50>
mov    -0x28(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x38(%rbp)
jmp    116d <slasq4+0x5d>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x38(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x30(%rbp),%xmm1
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
ucomiss %xmm1,%xmm0
jbe    119d <slasq4+0x8d>
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x3c(%rbp)
jmp    11ab <slasq4+0x9b>
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x3c(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x30(%rbp),%xmm1
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
ucomiss %xmm1,%xmm0
jbe    11db <slasq4+0xcb>
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x40(%rbp)
jmp    11e9 <slasq4+0xd9>
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x40(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x30(%rbp),%xmm1
movss  -0x34(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    122c <slasq4+0x11c>
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x44(%rbp)
jmp    1236 <slasq4+0x126>
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x44(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x30(%rbp),%xmm1
movss  -0x34(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    127c <slasq4+0x16c>
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x48(%rbp)
jmp    1286 <slasq4+0x176>
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x48(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x2,%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x30(%rbp),%xmm1
movss  -0x34(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    12cc <slasq4+0x1bc>
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x4c(%rbp)
jmp    12d6 <slasq4+0x1c6>
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  -0x4c(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x28(%rbp),%rax
movss  0xd11(%rip),%xmm0
mulss  (%rax),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,(%rax)
xorps  %xmm0,%xmm0
movss  %xmm0,0x2d2a(%rip)
cmpl   $0x5,0x2d33(%rip)
jne    1328 <slasq4+0x218>
movss  0x2d15(%rip),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,(%rax)
jmp    16bd <slasq4+0x5ad>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x20(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,0x2cf4(%rip)
movss  0x2cec(%rip),%xmm0
movss  %xmm0,0x2cec(%rip)
mov    -0x4(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x2c(%rbp)
movl   $0x1,0x2cd5(%rip)
mov    0x2ccf(%rip),%eax
mov    -0x4(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jg     14ca <slasq4+0x3ba>
movss  0x2cb5(%rip),%xmm0
movss  0x2cad(%rip),%xmm1
mov    -0x18(%rbp),%rax
mov    0x2ca7(%rip),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm1
divss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
mov    0x2c8e(%rip),%ecx
add    $0x1,%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,0x2c57(%rip)
movss  0x2c57(%rip),%xmm0
ucomiss 0x2c48(%rip),%xmm0
jbe    1402 <slasq4+0x2f2>
movss  0x2c3a(%rip),%xmm0
movss  %xmm0,0x2c3a(%rip)
xorps  %xmm0,%xmm0
ucomiss 0x2c28(%rip),%xmm0
jbe    14b1 <slasq4+0x3a1>
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x28(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x50(%rbp)
movss  0x2bf1(%rip),%xmm0
mov    0x2c03(%rip),%edi
call   1030 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x50(%rbp),%xmm0
mulss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
movss  0x2bd9(%rip),%xmm0
mov    -0x20(%rbp),%rax
addss  (%rax),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x30(%rbp),%xmm0
ucomiss -0x34(%rbp),%xmm0
jbe    1486 <slasq4+0x376>
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x54(%rbp)
jmp    1490 <slasq4+0x380>
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x54(%rbp)
movss  -0x54(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,(%rax)
mov    0x2b9d(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2b94(%rip)
jmp    1306 <slasq4+0x1f6>
jmp    14b6 <slasq4+0x3a6>
mov    0x2b7c(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2b73(%rip)
jmp    1363 <slasq4+0x253>
movss  0x2b62(%rip),%xmm0
movss  0x2b5a(%rip),%xmm1
mov    -0x18(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm1
divss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,0x2b0a(%rip)
movss  0x2b0a(%rip),%xmm0
ucomiss 0x2afb(%rip),%xmm0
jbe    154f <slasq4+0x43f>
movss  0x2aed(%rip),%xmm0
movss  %xmm0,0x2aed(%rip)
xorps  %xmm0,%xmm0
ucomiss 0x2adb(%rip),%xmm0
jbe    1662 <slasq4+0x552>
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,(%rax)
movss  0x2ab9(%rip),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  0x2ab0(%rip),%xmm0
mov    -0x20(%rbp),%rax
addss  (%rax),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x30(%rbp),%xmm0
ucomiss -0x34(%rbp),%xmm0
jbe    15af <slasq4+0x49f>
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x58(%rbp)
jmp    15b9 <slasq4+0x4a9>
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x58(%rbp)
movss  -0x58(%rbp),%xmm0
movss  %xmm0,0x2a6a(%rip)
mov    -0x28(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x5c(%rbp)
movss  0x2a4d(%rip),%xmm0
mov    0x2a5f(%rip),%edi
call   1030 <pow@plt>
movss  -0x5c(%rbp),%xmm1
mulss  %xmm0,%xmm1
movss  0x2a39(%rip),%xmm0
ucomiss %xmm1,%xmm0
jb     1615 <slasq4+0x505>
movss  0x2a28(%rip),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,(%rax)
jmp    165d <slasq4+0x54d>
mov    -0x28(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x60(%rbp)
movss  0x29fe(%rip),%xmm0
mov    0x2a10(%rip),%edi
call   1030 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x60(%rbp),%xmm0
mulss  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,(%rax)
mov    0x29f1(%rip),%eax
add    $0x1,%eax
mov    %eax,0x29e8(%rip)
jmp    1306 <slasq4+0x1f6>
jmp    16bd <slasq4+0x5ad>
mov    -0x28(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  0x29c5(%rip),%xmm0
mov    -0x20(%rbp),%rax
addss  (%rax),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x30(%rbp),%xmm1
movss  -0x34(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    16a6 <slasq4+0x596>
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x64(%rbp)
jmp    16b0 <slasq4+0x5a0>
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x64(%rbp)
movss  -0x64(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,(%rax)
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<slasq4>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r8,%r14
mov    %rcx,%r15
mov    %rdx,%r12
mov    %rsi,%rbx
mov    %edi,%ebp
movl   $0x1,0x2efe(%rip)
movss  (%r8),%xmm4
minss  (%rsi),%xmm4
minss  0x4(%rsi),%xmm4
minss  0x8(%rsi),%xmm4
movslq %edi,%rax
lea    -0x1(%rax),%rcx
mov    %rcx,0x20(%rsp)
minss  -0x4(%rsi,%rax,4),%xmm4
minss  -0x8(%rsi,%rax,4),%xmm4
minss  -0xc(%rsi,%rax,4),%xmm4
lea    -0x1(%rax),%r13d
movss  %xmm4,(%r8)
mulss  0xe88(%rip),%xmm4
add    $0xfffffffffffffffe,%rax
mov    %rax,0x18(%rsp)
movss  %xmm4,(%r15)
movl   $0x0,0x2e9c(%rip)
add    $0xffffffffffffffff,%r13
mov    $0x1,%edi
xorps  %xmm5,%xmm5
movss  0xe60(%rip),%xmm0
jmp    1203 <slasq4+0xf3>
cs nopw 0x0(%rax,%rax,1)
movss  %xmm6,0x2e78(%rip)
movss  %xmm4,(%r14)
call   1030 <pow@plt>
movaps %xmm0,%xmm4
mulss  (%rsp),%xmm4
movss  0x2e5e(%rip),%xmm1
addss  (%r15),%xmm1
maxss  %xmm1,%xmm4
movss  %xmm4,(%r15)
mov    0x2e4e(%rip),%edi
add    $0x1,%edi
mov    %edi,0x2e45(%rip)
cmp    $0x5,%edi
xorps  %xmm5,%xmm5
movss  0xe07(%rip),%xmm0
je     1301 <slasq4+0x1f1>
movss  (%rbx),%xmm6
subss  %xmm4,%xmm6
movaps %xmm4,%xmm1
xorps  0xdfb(%rip),%xmm1
cmp    $0x3,%ebp
movaps %xmm4,(%rsp)
jge    1230 <slasq4+0x120>
movaps %xmm6,%xmm2
jmp    1274 <slasq4+0x164>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
xor    %eax,%eax
movaps %xmm6,%xmm3
cs nopw 0x0(%rax,%rax,1)
nop
movss  (%r12,%rax,4),%xmm2
addss  %xmm6,%xmm2
divss  %xmm2,%xmm6
mulss  0x4(%rbx,%rax,4),%xmm6
addss  %xmm1,%xmm6
ucomiss %xmm6,%xmm5
ja     11b0 <slasq4+0xa0>
movaps %xmm6,%xmm2
minss  %xmm3,%xmm2
add    $0x1,%rax
movaps %xmm2,%xmm3
cmp    %rax,%r13
jne    1240 <slasq4+0x130>
mov    0x18(%rsp),%rax
movss  (%r12,%rax,4),%xmm3
addss  %xmm6,%xmm3
divss  %xmm3,%xmm6
mov    0x20(%rsp),%rax
mulss  (%rbx,%rax,4),%xmm6
addss  %xmm1,%xmm6
movss  %xmm6,0x2d93(%rip)
ucomiss %xmm6,%xmm5
jbe    1310 <slasq4+0x200>
movss  %xmm4,(%r14)
movss  0x2d7d(%rip),%xmm1
addss  (%r15),%xmm6
maxss  %xmm6,%xmm1
movss  %xmm1,0x2d6c(%rip)
call   1030 <pow@plt>
mulss  (%rsp),%xmm0
movss  0x2d5a(%rip),%xmm1
ucomiss %xmm0,%xmm1
jae    1328 <slasq4+0x218>
movss  (%r14),%xmm0
movss  %xmm0,(%rsp)
mov    0x2d4d(%rip),%edi
movss  0xd15(%rip),%xmm0
call   1030 <pow@plt>
movaps %xmm0,%xmm4
mulss  (%rsp),%xmm4
jmp    11db <slasq4+0xcb>
movss  0x2d23(%rip),%xmm0
movss  %xmm0,(%r15)
jmp    132d <slasq4+0x21d>
minss  %xmm2,%xmm6
movss  (%r14),%xmm1
addss  %xmm6,%xmm4
minss  %xmm4,%xmm1
movss  %xmm1,(%r14)
jmp    132d <slasq4+0x21d>
movss  %xmm1,(%r15)
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@slasq4.xinf = internal unnamed_addr global float 0.000000e+00
@slasq4.d = internal unnamed_addr global float 0.000000e+00
@slasq4.ifl = internal unnamed_addr global i32 0
define void @slasq4(i32 %0, float* nocapture %1, float* nocapture %2, float* nocapture %3, float* nocapture %4) {
store i32 1, i32* @slasq4.ifl
%6 = load float, float* %4
%7 = load float, float* %1
%8 = fcmp olt float %6, %7
%9 = select i1 %8, float %6, float %7
%10 = getelementptr inbounds float, float* %1, i64 1
%11 = load float, float* %10
%12 = fcmp olt float %9, %11
%13 = select i1 %12, float %9, float %11
%14 = getelementptr inbounds float, float* %1, i64 2
%15 = load float, float* %14
%16 = fcmp olt float %13, %15
%17 = select i1 %16, float %13, float %15
%18 = add nsw i32 %0, -1
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds float, float* %1, i64 %19
%21 = load float, float* %20
%22 = fcmp olt float %17, %21
%23 = select i1 %22, float %17, float %21
%24 = add nsw i32 %0, -2
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds float, float* %1, i64 %25
%27 = load float, float* %26
%28 = fcmp olt float %23, %27
%29 = select i1 %28, float %23, float %27
%30 = add nsw i32 %0, -3
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds float, float* %1, i64 %31
%33 = load float, float* %32
%34 = fcmp olt float %29, %33
%35 = select i1 %34, float %29, float %33
store float %35, float* %4
%36 = fmul float %35, 0x3FEFFF2E40000000
store float %36, float* %3
store float 0.000000e+00, float* @slasq4.xinf
%37 = icmp slt i32 %0, 3
%38 = getelementptr inbounds float, float* %2, i64 %25
%39 = zext i32 %18 to i64
br label %42
40: ; preds = %71
%41 = load float, float* @slasq4.xinf
store float %41, float* %3
br label %111
42: ; preds = %5, %71
%43 = phi float [ %36, %5 ], [ %72, %71 ]
%44 = phi i32 [ 1, %5 ], [ %74, %71 ]
%45 = load float, float* %1
%46 = fsub float %45, %43
%47 = fneg float %43
br i1 %37, label %79, label %48
48: ; preds = %42, %76
%49 = phi i64 [ %77, %76 ], [ 1, %42 ]
%50 = phi float [ %59, %76 ], [ %46, %42 ]
%51 = phi float [ %61, %76 ], [ %46, %42 ]
%52 = add nsw i64 %49, -1
%53 = getelementptr inbounds float, float* %2, i64 %52
%54 = load float, float* %53
%55 = fadd float %50, %54
%56 = fdiv float %50, %55
%57 = getelementptr inbounds float, float* %1, i64 %49
%58 = load float, float* %57
%59 = tail call float @llvm.fmuladd.f32(float %56, float %58, float %47)
%60 = fcmp ogt float %51, %59
%61 = select i1 %60, float %59, float %51
%62 = fcmp olt float %59, 0.000000e+00
br i1 %62, label %63, label %76
63: ; preds = %48
store float %59, float* @slasq4.d
store float %43, float* %4
%64 = tail call float @pow(float 0x3FE6666660000000, i32 %44)
%65 = fmul float %43, %64
%66 = load float, float* @slasq4.d
%67 = load float, float* %3
%68 = fadd float %66, %67
%69 = fcmp ogt float %65, %68
%70 = select i1 %69, float %65, float %68
br label %71
71: ; preds = %63, %99
%72 = phi float [ %70, %63 ], [ %103, %99 ]
store float %72, float* %3
%73 = load i32, i32* @slasq4.ifl
%74 = add nsw i32 %73, 1
store i32 %74, i32* @slasq4.ifl
%75 = icmp eq i32 %74, 5
br i1 %75, label %40, label %42
76: ; preds = %48
%77 = add nuw nsw i64 %49, 1
%78 = icmp eq i64 %77, %39
br i1 %78, label %79, label %48
79: ; preds = %76, %42
%80 = phi float [ %46, %42 ], [ %61, %76 ]
%81 = phi float [ %46, %42 ], [ %59, %76 ]
%82 = load float, float* %38
%83 = fadd float %81, %82
%84 = fdiv float %81, %83
%85 = load float, float* %20
%86 = tail call float @llvm.fmuladd.f32(float %84, float %85, float %47)
store float %86, float* @slasq4.d
%87 = fcmp olt float %86, 0.000000e+00
br i1 %87, label %88, label %104
88: ; preds = %79
store float %43, float* %4
%89 = load float, float* @slasq4.xinf
%90 = load float, float* %3
%91 = fadd float %86, %90
%92 = fcmp ogt float %89, %91
%93 = select i1 %92, float %89, float %91
store float %93, float* @slasq4.xinf
%94 = tail call float @pow(float 0x3FE6666660000000, i32 %44)
%95 = fmul float %43, %94
%96 = load float, float* @slasq4.xinf
%97 = fcmp ugt float %95, %96
br i1 %97, label %99, label %98
98: ; preds = %88
store float %96, float* %3
br label %111
99: ; preds = %88
%100 = load float, float* %4
%101 = load i32, i32* @slasq4.ifl
%102 = tail call float @pow(float 0x3FE6666660000000, i32 %101)
%103 = fmul float %100, %102
br label %71
104: ; preds = %79
%105 = fcmp ogt float %80, %86
%106 = select i1 %105, float %86, float %80
%107 = load float, float* %4
%108 = fadd float %43, %106
%109 = fcmp olt float %107, %108
%110 = select i1 %109, float %107, float %108
store float %110, float* %4
br label %111
111: ; preds = %98, %104, %40
ret void
}