#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 fabs(float);
void downhill(float *xbuf, float *obuf, float *rbuf, int pos, int stop) {
  int i, j, idir, skip, sig;
  float y, dy, slope;
  if (pos > stop)
    idir = -1;
  else if (pos < stop)
    idir = 1;
  else
    return;
  y = obuf[pos] = xbuf[pos];
  dy = fabs(xbuf[pos + idir] - xbuf[pos]);
  dy = (((dy) > (1e33)) ? (dy) : (1e33));
  sig = -1;
  skip = 0;
  slope = rbuf[pos];
  for (i = pos + idir, j = pos; i != stop; i += idir) {
    if ((xbuf[i - idir] < xbuf[i]) != sig) {
      sig = (xbuf[i - idir] < xbuf[i]);
      skip = 0;
    }
    if (slope >= rbuf[i] && fabs(y) > fabs(xbuf[i]) &&
        (!skip || dy >= fabs(xbuf[i] - xbuf[i - idir]))) {
      if (j != i - idir) {
        int k;
        float g, f = (y - xbuf[i]) / (idir * (i - j));
        for (k = i - idir, g = 0.0; k != j; k -= idir) {
          g += f;
          obuf[k] = xbuf[i] + g;
        }
      } else
        dy = fabs((xbuf[j] - xbuf[i]) / (idir * (i - j)));
      y = obuf[i] = xbuf[i];
      j = i;
      skip = 0;
      if (slope > rbuf[i])
        slope = rbuf[i];
    } else {
      obuf[i] = y;
      skip = 1;
    }
  }
}


x86 assembly (clang, -O0):
<downhill>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jle    1143 <downhill+0x33>
movl   $0xffffffff,-0x2c(%rbp)
jmp    1165 <downhill+0x55>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    115b <downhill+0x4b>
movl   $0x1,-0x2c(%rbp)
jmp    1160 <downhill+0x50>
jmp    1489 <downhill+0x379>
jmp    1165 <downhill+0x55>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  %xmm0,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm0
call   1030 <fabs@plt>
movss  %xmm0,-0x3c(%rbp)
movss  -0x3c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe42(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    11db <downhill+0xcb>
movss  -0x3c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    11ed <downhill+0xdd>
movsd  0xe1d(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    11ed <downhill+0xdd>
movsd  -0x58(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x3c(%rbp)
movl   $0xffffffff,-0x34(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x40(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
je     1489 <downhill+0x379>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%eax
cmp    -0x34(%rbp),%eax
je     129d <downhill+0x18d>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x30(%rbp)
movss  -0x40(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jb     145d <downhill+0x34d>
movss  -0x38(%rbp),%xmm0
call   1030 <fabs@plt>
movss  %xmm0,-0x5c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
call   1030 <fabs@plt>
movaps %xmm0,%xmm1
movss  -0x5c(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    145d <downhill+0x34d>
cmpl   $0x0,-0x30(%rbp)
je     132f <downhill+0x21f>
movss  -0x3c(%rbp),%xmm0
movss  %xmm0,-0x60(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
subss  (%rax,%rcx,4),%xmm0
call   1030 <fabs@plt>
movaps %xmm0,%xmm1
movss  -0x60(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jb     145d <downhill+0x34d>
mov    -0x28(%rbp),%eax
mov    -0x24(%rbp),%ecx
sub    -0x2c(%rbp),%ecx
cmp    %ecx,%eax
je     13cb <downhill+0x2bb>
movss  -0x38(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm0
mov    -0x2c(%rbp),%eax
mov    -0x24(%rbp),%ecx
sub    -0x28(%rbp),%ecx
imul   %ecx,%eax
cvtsi2ss %eax,%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x24(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    %eax,-0x44(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x48(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x28(%rbp),%eax
je     13c6 <downhill+0x2b6>
movss  -0x4c(%rbp),%xmm0
addss  -0x48(%rbp),%xmm0
movss  %xmm0,-0x48(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
addss  -0x48(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%ecx
mov    -0x44(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x44(%rbp)
jmp    137c <downhill+0x26c>
jmp    1403 <downhill+0x2f3>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm0
mov    -0x2c(%rbp),%eax
mov    -0x24(%rbp),%ecx
sub    -0x28(%rbp),%ecx
imul   %ecx,%eax
cvtsi2ss %eax,%xmm1
divss  %xmm1,%xmm0
call   1030 <fabs@plt>
movss  %xmm0,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  %xmm0,-0x38(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x30(%rbp)
movss  -0x40(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jbe    1458 <downhill+0x348>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x40(%rbp)
jmp    1476 <downhill+0x366>
movss  -0x38(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movl   $0x1,-0x30(%rbp)
jmp    147b <downhill+0x36b>
mov    -0x2c(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    122a <downhill+0x11a>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<downhill>:
push   %rbp
push   %r14
push   %rbx
mov    $0xffffffff,%r9d
cmp    %r8d,%ecx
jg     1117 <downhill+0x17>
mov    $0x1,%r9d
jge    112d <downhill+0x2d>
movslq %ecx,%rbx
movss  (%rdi,%rbx,4),%xmm3
movss  %xmm3,(%rsi,%rbx,4)
lea    (%r9,%rcx,1),%eax
cmp    %r8d,%eax
jne    1132 <downhill+0x32>
pop    %rbx
pop    %r14
pop    %rbp
ret
cltq
movss  (%rdi,%rax,4),%xmm0
subss  (%rdi,%rbx,4),%xmm0
andps  0xebb(%rip),%xmm0
cvtss2sd %xmm0,%xmm1
ucomisd 0xebf(%rip),%xmm1
ja     115b <downhill+0x5b>
movss  0xebd(%rip),%xmm0
movss  (%rdx,%rbx,4),%xmm1
movslq %r9d,%r10
add    %r10,%rbx
xor    %r14d,%r14d
mov    $0xffffffff,%r11d
movaps 0xe8a(%rip),%xmm2
jmp    1193 <downhill+0x93>
nopl   0x0(%rax,%rax,1)
movss  %xmm3,(%rsi,%rbx,4)
mov    $0x1,%r14d
add    %r10,%rbx
cmp    %r8d,%ebx
je     112d <downhill+0x2d>
mov    %r11d,%ebp
mov    %rbx,%rax
sub    %r10,%rax
movss  (%rdi,%rax,4),%xmm5
movss  (%rdi,%rbx,4),%xmm4
xor    %r11d,%r11d
ucomiss %xmm5,%xmm4
seta   %r11b
ucomiss (%rdx,%rbx,4),%xmm1
jb     1180 <downhill+0x80>
movaps %xmm3,%xmm6
andps  %xmm2,%xmm6
movaps %xmm4,%xmm7
andps  %xmm2,%xmm7
ucomiss %xmm7,%xmm6
jbe    1180 <downhill+0x80>
test   %r14d,%r14d
je     11e0 <downhill+0xe0>
cmp    %r11d,%ebp
jne    11e0 <downhill+0xe0>
movaps %xmm4,%xmm6
subss  %xmm5,%xmm6
andps  %xmm2,%xmm6
ucomiss %xmm6,%xmm0
jb     1180 <downhill+0x80>
cmp    %eax,%ecx
jne    1208 <downhill+0x108>
mov    %ebx,%eax
sub    %ecx,%eax
movslq %ecx,%rcx
imul   %r9d,%eax
xorps  %xmm3,%xmm3
cvtsi2ss %eax,%xmm3
movss  (%rdi,%rcx,4),%xmm0
subss  %xmm4,%xmm0
divss  %xmm3,%xmm0
andps  %xmm2,%xmm0
jmp    124b <downhill+0x14b>
mov    %ebx,%ebp
sub    %ecx,%ebp
imul   %r9d,%ebp
xorps  %xmm5,%xmm5
cvtsi2ss %ebp,%xmm5
subss  %xmm4,%xmm3
divss  %xmm5,%xmm3
xorps  %xmm5,%xmm5
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
addss  %xmm3,%xmm5
addss  %xmm5,%xmm4
cltq
movss  %xmm4,(%rsi,%rax,4)
sub    %r9d,%eax
movss  (%rdi,%rbx,4),%xmm4
cmp    %eax,%ecx
jne    1230 <downhill+0x130>
mov    %ebx,%ecx
movss  %xmm4,(%rsi,%rbx,4)
movss  (%rdx,%rbx,4),%xmm5
xor    %r14d,%r14d
movaps %xmm4,%xmm3
ucomiss %xmm5,%xmm1
jbe    118b <downhill+0x8b>
movaps %xmm5,%xmm1
jmp    118b <downhill+0x8b>

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

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