#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*/ assert(int);
float march_regular(float a, float b, float c, float d, float x, float y) {
  assert(a <= b);
  assert(b <= c);
  assert(c <= d);
  float alpha = c == a ? 0.5 : (b - a) / (c - a);
  if (x <= alpha * (1 - y)) {
    float ix = a;
    if (alpha > 0) {
      float y0 = (x + alpha * y) / alpha;
      assert(y0 >= 0);
      assert(y0 <= 1);
      ix = b * y0 + a * (1 - y0);
    }
    return ix;
  }
  float beta = d == b ? 0.5 : (c - b) / (d - b);
  if (x >= 1 - (1 - beta) * y) {
    float ix = d;
    if (beta < 1) {
      float y0 = (x + (1 - beta) * y - 1) / (1 - beta);
      assert(y0 >= 0);
      assert(y0 <= 1);
      ix = d * y0 + c * (1 - y0);
    }
    return ix;
  }
  float x0 = alpha * (1 - y);
  float x1 = 1 - (1 - beta) * y;
  assert(x0 >= 0);
  assert(x0 <= 1);
  assert(x0 <= x);
  assert(x1 >= 0);
  assert(x1 <= 1);
  assert(x1 >= x);
  float ix = ((x - x0) * c + (x1 - x) * b) / (x1 - x0);
  return 1 * ix;
}


x86 assembly (clang, -O0):
<march_regular>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movss  %xmm0,-0x8(%rbp)
movss  %xmm1,-0xc(%rbp)
movss  %xmm2,-0x10(%rbp)
movss  %xmm3,-0x14(%rbp)
movss  %xmm4,-0x18(%rbp)
movss  %xmm5,-0x1c(%rbp)
movss  -0x8(%rbp),%xmm1
movss  -0xc(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0xc(%rbp),%xmm1
movss  -0x10(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x10(%rbp),%xmm1
movss  -0x14(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x10(%rbp),%xmm0
ucomiss -0x8(%rbp),%xmm0
jne    11ab <march_regular+0x9b>
jp     11ab <march_regular+0x9b>
movsd  0xe5f(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
jmp    11cc <march_regular+0xbc>
movss  -0xc(%rbp),%xmm0
subss  -0x8(%rbp),%xmm0
movss  -0x10(%rbp),%xmm1
subss  -0x8(%rbp),%xmm1
divss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x20(%rbp)
movss  -0x18(%rbp),%xmm1
movss  -0x20(%rbp),%xmm0
movss  0xe1c(%rip),%xmm2
subss  -0x1c(%rbp),%xmm2
mulss  %xmm2,%xmm0
ucomiss %xmm1,%xmm0
jb     12a7 <march_regular+0x197>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x20(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    1298 <march_regular+0x188>
movss  -0x18(%rbp),%xmm1
movss  -0x20(%rbp),%xmm0
movss  -0x1c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
divss  -0x20(%rbp),%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x28(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  0xdae(%rip),%xmm0
ucomiss -0x28(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0xc(%rbp),%xmm0
movss  -0x28(%rbp),%xmm2
movss  -0x8(%rbp),%xmm1
movss  0xd86(%rip),%xmm3
subss  -0x28(%rbp),%xmm3
mulss  %xmm3,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x24(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1530 <march_regular+0x420>
movss  -0x14(%rbp),%xmm0
ucomiss -0xc(%rbp),%xmm0
jne    12ce <march_regular+0x1be>
jp     12ce <march_regular+0x1be>
movsd  0xd3c(%rip),%xmm0
movsd  %xmm0,-0x50(%rbp)
jmp    12ef <march_regular+0x1df>
movss  -0x10(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
subss  -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x50(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x18(%rbp),%xmm0
movss  0xcfe(%rip),%xmm1
subss  -0x2c(%rbp),%xmm1
movss  -0x1c(%rbp),%xmm2
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm1
movss  0xcdb(%rip),%xmm2
addss  %xmm2,%xmm1
ucomiss %xmm1,%xmm0
jb     1404 <march_regular+0x2f4>
movss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  0xcbc(%rip),%xmm0
ucomiss -0x2c(%rbp),%xmm0
jbe    13f5 <march_regular+0x2e5>
movss  -0x18(%rbp),%xmm1
movss  0xca5(%rip),%xmm0
subss  -0x2c(%rbp),%xmm0
movss  -0x1c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  0xc8b(%rip),%xmm1
subss  %xmm1,%xmm0
movss  0xc7f(%rip),%xmm1
subss  -0x2c(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x34(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  0xc51(%rip),%xmm0
ucomiss -0x34(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x14(%rbp),%xmm0
movss  -0x34(%rbp),%xmm2
movss  -0x10(%rbp),%xmm1
movss  0xc29(%rip),%xmm3
subss  -0x34(%rbp),%xmm3
mulss  %xmm3,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1530 <march_regular+0x420>
movss  -0x20(%rbp),%xmm0
movss  0xbf7(%rip),%xmm1
subss  -0x1c(%rbp),%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x38(%rbp)
movss  0xbe1(%rip),%xmm0
subss  -0x2c(%rbp),%xmm0
movss  -0x1c(%rbp),%xmm1
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm1,%xmm0
movss  0xbbe(%rip),%xmm1
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x38(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  0xb95(%rip),%xmm0
ucomiss -0x38(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x38(%rbp),%xmm1
movss  -0x18(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x3c(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  0xb4a(%rip),%xmm0
ucomiss -0x3c(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x3c(%rbp),%xmm0
ucomiss -0x18(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x18(%rbp),%xmm0
subss  -0x38(%rbp),%xmm0
movss  -0x10(%rbp),%xmm2
movss  -0x3c(%rbp),%xmm1
subss  -0x18(%rbp),%xmm1
mulss  -0xc(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  -0x3c(%rbp),%xmm1
subss  -0x38(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x40(%rbp)
movss  0xae2(%rip),%xmm0
mulss  -0x40(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<march_regular>:
sub    $0x18,%rsp
movss  %xmm5,(%rsp)
movss  %xmm4,0x8(%rsp)
movss  %xmm3,0x4(%rsp)
movss  %xmm2,0x10(%rsp)
movss  %xmm1,0xc(%rsp)
movss  %xmm0,0x14(%rsp)
xor    %edi,%edi
ucomiss %xmm0,%xmm1
setae  %dil
call   1030 <assert@plt>
xor    %edi,%edi
movss  0x10(%rsp),%xmm0
ucomiss 0xc(%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
xor    %edi,%edi
movss  0x4(%rsp),%xmm0
ucomiss 0x10(%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
movss  0x14(%rsp),%xmm9
movss  0x10(%rsp),%xmm10
ucomiss %xmm9,%xmm10
jne    11b4 <march_regular+0xa4>
jp     11b4 <march_regular+0xa4>
movss  0xe71(%rip),%xmm2
movss  (%rsp),%xmm7
subss  %xmm7,%xmm2
movss  0xe64(%rip),%xmm0
mulss  %xmm0,%xmm2
movss  0x8(%rsp),%xmm6
ucomiss %xmm6,%xmm2
jb     11ec <march_regular+0xdc>
jmp    123f <march_regular+0x12f>
movss  0xc(%rsp),%xmm0
subss  %xmm9,%xmm0
movaps %xmm10,%xmm1
subss  %xmm9,%xmm1
divss  %xmm1,%xmm0
movss  0xe2c(%rip),%xmm2
movss  (%rsp),%xmm7
subss  %xmm7,%xmm2
mulss  %xmm0,%xmm2
movss  0x8(%rsp),%xmm6
ucomiss %xmm6,%xmm2
jae    1233 <march_regular+0x123>
movss  0xc(%rsp),%xmm5
movss  0x4(%rsp),%xmm9
ucomiss %xmm5,%xmm9
jne    129d <march_regular+0x18d>
jp     129d <march_regular+0x18d>
movss  0xdf7(%rip),%xmm4
mulss  %xmm7,%xmm4
addss  0xde3(%rip),%xmm4
ucomiss %xmm4,%xmm6
jb     12da <march_regular+0x1ca>
movss  0xdd6(%rip),%xmm0
jmp    13b0 <march_regular+0x2a0>
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    13a1 <march_regular+0x291>
mulss  %xmm0,%xmm7
addss  %xmm6,%xmm7
divss  %xmm0,%xmm7
movss  %xmm7,(%rsp)
xorps  %xmm0,%xmm0
xor    %edi,%edi
ucomiss %xmm0,%xmm7
setae  %dil
call   1030 <assert@plt>
movss  0xd97(%rip),%xmm0
xor    %edi,%edi
ucomiss (%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
movss  (%rsp),%xmm1
movss  0xd7b(%rip),%xmm0
subss  %xmm1,%xmm0
mulss  0x14(%rsp),%xmm0
movaps %xmm0,%xmm2
movss  0xc(%rsp),%xmm0
jmp    1411 <march_regular+0x301>
movaps %xmm10,%xmm1
subss  %xmm5,%xmm1
movaps %xmm9,%xmm0
subss  %xmm5,%xmm0
divss  %xmm0,%xmm1
movss  0xd46(%rip),%xmm8
movaps %xmm8,%xmm0
subss  %xmm1,%xmm0
movaps %xmm0,%xmm3
mulss  %xmm7,%xmm3
movaps %xmm8,%xmm4
subss  %xmm3,%xmm4
ucomiss %xmm4,%xmm6
jae    13aa <march_regular+0x29a>
movss  %xmm4,(%rsp)
xorps  %xmm0,%xmm0
xor    %edi,%edi
ucomiss %xmm0,%xmm2
setae  %dil
movss  %xmm2,0x4(%rsp)
call   1030 <assert@plt>
movss  0xd02(%rip),%xmm0
xor    %edi,%edi
ucomiss 0x4(%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
xor    %edi,%edi
movss  0x8(%rsp),%xmm0
ucomiss 0x4(%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
xor    %edi,%edi
movss  (%rsp),%xmm0
ucomiss 0xcde(%rip),%xmm0
setae  %dil
call   1030 <assert@plt>
xor    %edi,%edi
movss  0xcbb(%rip),%xmm0
ucomiss (%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
xor    %edi,%edi
movss  (%rsp),%xmm0
ucomiss 0x8(%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
movss  (%rsp),%xmm1
movaps %xmm1,%xmm0
movss  0x8(%rsp),%xmm9
subss  %xmm9,%xmm0
movss  0x4(%rsp),%xmm2
subss  %xmm2,%xmm9
mulss  0xc(%rsp),%xmm0
mulss  0x10(%rsp),%xmm9
addss  %xmm0,%xmm9
subss  %xmm2,%xmm1
divss  %xmm1,%xmm9
movaps %xmm9,%xmm0
add    $0x18,%rsp
ret
ucomiss %xmm1,%xmm8
jbe    13a1 <march_regular+0x291>
mulss  %xmm0,%xmm7
addss  %xmm6,%xmm7
addss  0xc4c(%rip),%xmm7
divss  %xmm0,%xmm7
movss  %xmm7,(%rsp)
xorps  %xmm0,%xmm0
xor    %edi,%edi
ucomiss %xmm0,%xmm7
setae  %dil
call   1030 <assert@plt>
movss  0xc1e(%rip),%xmm0
xor    %edi,%edi
ucomiss (%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
movss  (%rsp),%xmm1
movss  0xc02(%rip),%xmm0
subss  %xmm1,%xmm0
mulss  0x10(%rsp),%xmm0
movaps %xmm0,%xmm2
movss  0x4(%rsp),%xmm0
mulss  %xmm1,%xmm0
addss  %xmm2,%xmm0
add    $0x18,%rsp
ret

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

LLVM IR (-O2):
define float @march_regular(float %0, float %1, float %2, float %3, float %4, float %5) {
%7 = fcmp ole float %0, %1
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = fcmp ole float %1, %2
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = fcmp ole float %2, %3
%14 = zext i1 %13 to i32
%15 = tail call i32 @assert(i32 %14)
%16 = fcmp oeq float %2, %0
br i1 %16, label %24, label %17
17: ; preds = %6
%18 = fsub float %1, %0
%19 = fsub float %2, %0
%20 = fdiv float %18, %19
%21 = fsub float 1.000000e+00, %5
%22 = fmul float %20, %21
%23 = fcmp ult float %22, %4
br i1 %23, label %43, label %28
24: ; preds = %6
%25 = fsub float 1.000000e+00, %5
%26 = fmul float %25, 5.000000e-01
%27 = fcmp ult float %26, %4
br i1 %27, label %43, label %30
28: ; preds = %17
%29 = fcmp ogt float %20, 0.000000e+00
br i1 %29, label %30, label %99
30: ; preds = %24, %28
%31 = phi float [ %20, %28 ], [ 5.000000e-01, %24 ]
%32 = tail call float @llvm.fmuladd.f32(float %31, float %5, float %4)
%33 = fdiv float %32, %31
%34 = fcmp oge float %33, 0.000000e+00
%35 = zext i1 %34 to i32
%36 = tail call i32 @assert(i32 %35)
%37 = fcmp ole float %33, 1.000000e+00
%38 = zext i1 %37 to i32
%39 = tail call i32 @assert(i32 %38)
%40 = fsub float 1.000000e+00, %33
%41 = fmul float %40, %0
%42 = tail call float @llvm.fmuladd.f32(float %1, float %33, float %41)
br label %99
43: ; preds = %24, %17
%44 = phi float [ %26, %24 ], [ %22, %17 ]
%45 = fcmp oeq float %3, %1
br i1 %45, label %54, label %46
46: ; preds = %43
%47 = fsub float %2, %1
%48 = fsub float %3, %1
%49 = fdiv float %47, %48
%50 = fsub float 1.000000e+00, %49
%51 = fneg float %50
%52 = tail call float @llvm.fmuladd.f32(float %51, float %5, float 1.000000e+00)
%53 = fcmp ugt float %52, %4
br i1 %53, label %73, label %57
54: ; preds = %43
%55 = tail call float @llvm.fmuladd.f32(float %5, float -5.000000e-01, float 1.000000e+00)
%56 = fcmp ugt float %55, %4
br i1 %56, label %73, label %59
57: ; preds = %46
%58 = fcmp olt float %49, 1.000000e+00
br i1 %58, label %59, label %99
59: ; preds = %54, %57
%60 = phi float [ %50, %57 ], [ 5.000000e-01, %54 ]
%61 = tail call float @llvm.fmuladd.f32(float %60, float %5, float %4)
%62 = fadd float %61, -1.000000e+00
%63 = fdiv float %62, %60
%64 = fcmp oge float %63, 0.000000e+00
%65 = zext i1 %64 to i32
%66 = tail call i32 @assert(i32 %65)
%67 = fcmp ole float %63, 1.000000e+00
%68 = zext i1 %67 to i32
%69 = tail call i32 @assert(i32 %68)
%70 = fsub float 1.000000e+00, %63
%71 = fmul float %70, %2
%72 = tail call float @llvm.fmuladd.f32(float %3, float %63, float %71)
br label %99
73: ; preds = %54, %46
%74 = phi float [ %55, %54 ], [ %52, %46 ]
%75 = fcmp oge float %44, 0.000000e+00
%76 = zext i1 %75 to i32
%77 = tail call i32 @assert(i32 %76)
%78 = fcmp ole float %44, 1.000000e+00
%79 = zext i1 %78 to i32
%80 = tail call i32 @assert(i32 %79)
%81 = fcmp ole float %44, %4
%82 = zext i1 %81 to i32
%83 = tail call i32 @assert(i32 %82)
%84 = fcmp oge float %74, 0.000000e+00
%85 = zext i1 %84 to i32
%86 = tail call i32 @assert(i32 %85)
%87 = fcmp ole float %74, 1.000000e+00
%88 = zext i1 %87 to i32
%89 = tail call i32 @assert(i32 %88)
%90 = fcmp oge float %74, %4
%91 = zext i1 %90 to i32
%92 = tail call i32 @assert(i32 %91)
%93 = fsub float %4, %44
%94 = fsub float %74, %4
%95 = fmul float %94, %1
%96 = tail call float @llvm.fmuladd.f32(float %93, float %2, float %95)
%97 = fsub float %74, %44
%98 = fdiv float %96, %97
br label %99
99: ; preds = %73, %59, %57, %28, %30
%100 = phi float [ %42, %30 ], [ %0, %28 ], [ %98, %73 ], [ %72, %59 ], [ %3, %57 ]
ret float %100
}