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


x86 assembly (clang, -O0):
<march_singular_raw>:
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  -0x14(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x14(%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),%xmm0
ucomiss -0x8(%rbp),%xmm0
jne    11ab <march_singular_raw+0x9b>
jp     11ab <march_singular_raw+0x9b>
movsd  0xe5f(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
jmp    11cc <march_singular_raw+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_singular_raw+0x197>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x20(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    1298 <march_singular_raw+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    154d <march_singular_raw+0x43d>
movss  -0x14(%rbp),%xmm0
ucomiss -0x10(%rbp),%xmm0
jne    12ce <march_singular_raw+0x1be>
jp     12ce <march_singular_raw+0x1be>
movsd  0xd3c(%rip),%xmm0
movsd  %xmm0,-0x50(%rbp)
jmp    12ef <march_singular_raw+0x1df>
movss  -0xc(%rbp),%xmm0
subss  -0x10(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
subss  -0x10(%rbp),%xmm1
divss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x50(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x1c(%rbp),%xmm0
movss  0xcfe(%rip),%xmm1
subss  -0x2c(%rbp),%xmm1
movss  -0x18(%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     13d7 <march_singular_raw+0x2c7>
movss  -0x1c(%rbp),%xmm1
movss  0xcc1(%rip),%xmm0
subss  -0x2c(%rbp),%xmm0
movss  -0x18(%rbp),%xmm2
movss  0xcaf(%rip),%xmm3
subss  %xmm3,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x30(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  0xc7e(%rip),%xmm0
ucomiss -0x30(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x14(%rbp),%xmm0
movss  -0x30(%rbp),%xmm2
movss  -0x10(%rbp),%xmm1
movss  0xc56(%rip),%xmm3
subss  -0x30(%rbp),%xmm3
mulss  %xmm3,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    154d <march_singular_raw+0x43d>
movss  0xc29(%rip),%xmm0
subss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  0xc17(%rip),%xmm0
subss  -0x2c(%rbp),%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x1c(%rbp),%xmm1
movss  0xc00(%rip),%xmm0
subss  %xmm0,%xmm1
movss  0xbf4(%rip),%xmm0
subss  -0x20(%rbp),%xmm0
mulss  %xmm0,%xmm1
movss  -0x18(%rbp),%xmm0
subss  -0x20(%rbp),%xmm0
movss  -0x2c(%rbp),%xmm2
movss  0xbd4(%rip),%xmm3
subss  %xmm3,%xmm2
mulss  %xmm2,%xmm0
ucomiss %xmm1,%xmm0
jbe    1454 <march_singular_raw+0x344>
movss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    154d <march_singular_raw+0x43d>
movss  -0x1c(%rbp),%xmm1
movss  0xba7(%rip),%xmm0
subss  -0x18(%rbp),%xmm0
movss  -0x2c(%rbp),%xmm2
movss  0xb95(%rip),%xmm3
subss  %xmm3,%xmm2
movss  0xb89(%rip),%xmm3
subss  -0x20(%rbp),%xmm3
divss  %xmm3,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x38(%rbp),%xmm0
subss  -0x2c(%rbp),%xmm0
movss  0xb61(%rip),%xmm1
subss  -0x2c(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x38(%rbp)
xorps  %xmm0,%xmm0
ucomiss -0x38(%rbp),%xmm0
ja     14d8 <march_singular_raw+0x3c8>
movss  -0x38(%rbp),%xmm0
movss  0xb39(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    14e5 <march_singular_raw+0x3d5>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    154d <march_singular_raw+0x43d>
movss  -0x38(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  0xb03(%rip),%xmm0
ucomiss -0x38(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0xc(%rbp),%xmm1
movss  0xadb(%rip),%xmm3
subss  -0x38(%rbp),%xmm3
mulss  %xmm3,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x3c(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<march_singular_raw>:
sub    $0x48,%rsp
movss  %xmm5,0x20(%rsp)
movaps %xmm4,0x30(%rsp)
movss  %xmm3,0x8(%rsp)
movss  %xmm2,0x4(%rsp)
movss  %xmm1,0x10(%rsp)
movss  %xmm0,0xc(%rsp)
xor    %edi,%edi
ucomiss %xmm0,%xmm3
setae  %dil
call   1030 <assert@plt>
xor    %edi,%edi
movss  0x10(%rsp),%xmm0
ucomiss 0x8(%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  0xc(%rsp),%xmm0
movss  0x4(%rsp),%xmm9
ucomiss %xmm0,%xmm9
jne    11b3 <march_singular_raw+0xa3>
jp     11b3 <march_singular_raw+0xa3>
movss  0xe72(%rip),%xmm7
movss  0x20(%rsp),%xmm5
subss  %xmm5,%xmm7
movss  0xe64(%rip),%xmm1
movaps %xmm7,%xmm2
mulss  %xmm1,%xmm2
movaps 0x30(%rsp),%xmm6
ucomiss %xmm6,%xmm2
jb     11ec <march_singular_raw+0xdc>
jmp    121b <march_singular_raw+0x10b>
movss  0x10(%rsp),%xmm1
subss  %xmm0,%xmm1
movaps %xmm9,%xmm2
subss  %xmm0,%xmm2
divss  %xmm2,%xmm1
movss  0xe2f(%rip),%xmm7
movss  0x20(%rsp),%xmm5
subss  %xmm5,%xmm7
movaps %xmm1,%xmm2
mulss  %xmm7,%xmm2
movaps 0x30(%rsp),%xmm6
ucomiss %xmm6,%xmm2
jae    120f <march_singular_raw+0xff>
movss  0x8(%rsp),%xmm0
ucomiss %xmm9,%xmm0
jne    1284 <march_singular_raw+0x174>
jp     1284 <march_singular_raw+0x174>
movss  0xdfa(%rip),%xmm2
jmp    129b <march_singular_raw+0x18b>
xorps  %xmm2,%xmm2
ucomiss %xmm2,%xmm1
jbe    1361 <march_singular_raw+0x251>
mulss  %xmm1,%xmm5
addss  %xmm6,%xmm5
divss  %xmm1,%xmm5
movss  %xmm5,0x20(%rsp)
xorps  %xmm1,%xmm1
xor    %edi,%edi
ucomiss %xmm1,%xmm5
setae  %dil
call   1030 <assert@plt>
movss  0xdba(%rip),%xmm0
xor    %edi,%edi
ucomiss 0x20(%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
movss  0x20(%rsp),%xmm1
movss  0xd9c(%rip),%xmm0
subss  %xmm1,%xmm0
mulss  0xc(%rsp),%xmm0
movaps %xmm0,%xmm2
movss  0x10(%rsp),%xmm0
mulss  %xmm1,%xmm0
addss  %xmm2,%xmm0
add    $0x48,%rsp
ret
movss  0x10(%rsp),%xmm2
subss  %xmm9,%xmm2
movaps %xmm0,%xmm3
subss  %xmm9,%xmm3
divss  %xmm3,%xmm2
movss  0xd5c(%rip),%xmm8
movaps %xmm8,%xmm4
subss  %xmm2,%xmm4
movaps %xmm4,%xmm2
mulss  %xmm6,%xmm2
movaps %xmm8,%xmm3
subss  %xmm2,%xmm3
ucomiss %xmm3,%xmm5
jae    12fb <march_singular_raw+0x1eb>
movaps 0xd49(%rip),%xmm2
unpcklps %xmm6,%xmm2
shufps $0x0,%xmm1,%xmm1
subps  %xmm1,%xmm2
movaps %xmm7,%xmm5
unpcklps %xmm4,%xmm5
addps  0xd42(%rip),%xmm5
movaps %xmm5,%xmm1
mulps  %xmm2,%xmm1
movaps %xmm1,%xmm3
shufps $0x55,%xmm1,%xmm3
ucomiss %xmm1,%xmm3
jbe    1366 <march_singular_raw+0x256>
movss  0x10(%rsp),%xmm0
add    $0x48,%rsp
ret
addss  0xd05(%rip),%xmm6
mulss  %xmm6,%xmm4
addss  %xmm5,%xmm4
movaps %xmm4,0x10(%rsp)
xorps  %xmm1,%xmm1
xor    %edi,%edi
ucomiss %xmm1,%xmm4
setae  %dil
call   1030 <assert@plt>
xor    %edi,%edi
movss  0xcd5(%rip),%xmm0
ucomiss 0x10(%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
movss  0xcbf(%rip),%xmm0
movaps 0x10(%rsp),%xmm2
subss  %xmm2,%xmm0
mulss  0x4(%rsp),%xmm0
movaps %xmm0,%xmm1
movss  0x8(%rsp),%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
add    $0x48,%rsp
ret
movaps %xmm8,%xmm1
subss  %xmm6,%xmm1
shufps $0x55,%xmm5,%xmm5
divss  %xmm2,%xmm5
mulss  %xmm1,%xmm5
addss  %xmm7,%xmm5
subss  %xmm4,%xmm5
movaps %xmm8,%xmm0
subss  %xmm4,%xmm0
divss  %xmm0,%xmm5
xorps  %xmm0,%xmm0
ucomiss %xmm5,%xmm0
ja     1361 <march_singular_raw+0x251>
ucomiss 0xc63(%rip),%xmm5
ja     1361 <march_singular_raw+0x251>
xorps  %xmm0,%xmm0
xor    %edi,%edi
ucomiss %xmm0,%xmm5
setae  %dil
movaps %xmm5,0x20(%rsp)
call   1030 <assert@plt>
xor    %edi,%edi
movss  0xc41(%rip),%xmm0
ucomiss 0x20(%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
movss  0xc2b(%rip),%xmm0
movaps 0x20(%rsp),%xmm2
subss  %xmm2,%xmm0
mulss  0x10(%rsp),%xmm0
movaps %xmm0,%xmm1
movss  0x4(%rsp),%xmm0
jmp    1359 <march_singular_raw+0x249>

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

LLVM IR (-O2):
define float @march_singular_raw(float %0, float %1, float %2, float %3, float %4, float %5) {
%7 = fcmp ole float %0, %3
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = fcmp ole float %3, %1
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = fcmp ole float %1, %2
%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 %103
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 %103
43: ; preds = %24, %17
%44 = phi float [ %25, %24 ], [ %21, %17 ]
%45 = phi float [ 5.000000e-01, %24 ], [ %20, %17 ]
%46 = fcmp oeq float %3, %2
br i1 %46, label %51, label %47
47: ; preds = %43
%48 = fsub float %1, %2
%49 = fsub float %3, %2
%50 = fdiv float %48, %49
br label %51
51: ; preds = %43, %47
%52 = phi float [ %50, %47 ], [ 5.000000e-01, %43 ]
%53 = fsub float 1.000000e+00, %52
%54 = fneg float %53
%55 = tail call float @llvm.fmuladd.f32(float %54, float %4, float 1.000000e+00)
%56 = fcmp ugt float %55, %5
br i1 %56, label %69, label %57
57: ; preds = %51
%58 = fadd float %4, -1.000000e+00
%59 = tail call float @llvm.fmuladd.f32(float %53, float %58, float %5)
%60 = fcmp oge float %59, 0.000000e+00
%61 = zext i1 %60 to i32
%62 = tail call i32 @assert(i32 %61)
%63 = fcmp ole float %59, 1.000000e+00
%64 = zext i1 %63 to i32
%65 = tail call i32 @assert(i32 %64)
%66 = fsub float 1.000000e+00, %59
%67 = fmul float %66, %2
%68 = tail call float @llvm.fmuladd.f32(float %3, float %59, float %67)
br label %103
69: ; preds = %51
%70 = insertelement <2 x float> <float 1.000000e+00, float poison>, float %4, i64 1
%71 = insertelement <2 x float> poison, float %45, i64 0
%72 = shufflevector <2 x float> %71, <2 x float> poison, <2 x i32> zeroinitializer
%73 = fsub <2 x float> %70, %72
%74 = insertelement <2 x float> poison, float %44, i64 0
%75 = insertelement <2 x float> %74, float %53, i64 1
%76 = fadd <2 x float> %75, <float -1.000000e+00, float -1.000000e+00>
%77 = fmul <2 x float> %76, %73
%78 = extractelement <2 x float> %77, i64 0
%79 = extractelement <2 x float> %77, i64 1
%80 = fcmp olt float %78, %79
br i1 %80, label %103, label %81
81: ; preds = %69
%82 = fsub float 1.000000e+00, %4
%83 = extractelement <2 x float> %76, i64 1
%84 = extractelement <2 x float> %73, i64 0
%85 = fdiv float %83, %84
%86 = tail call float @llvm.fmuladd.f32(float %82, float %85, float %44)
%87 = fsub float %86, %53
%88 = fsub float 1.000000e+00, %53
%89 = fdiv float %87, %88
%90 = fcmp olt float %89, 0.000000e+00
%91 = fcmp ogt float %89, 1.000000e+00
%92 = or i1 %90, %91
br i1 %92, label %103, label %93
93: ; preds = %81
%94 = fcmp oge float %89, 0.000000e+00
%95 = zext i1 %94 to i32
%96 = tail call i32 @assert(i32 %95)
%97 = fcmp ole float %89, 1.000000e+00
%98 = zext i1 %97 to i32
%99 = tail call i32 @assert(i32 %98)
%100 = fsub float 1.000000e+00, %89
%101 = fmul float %100, %1
%102 = tail call float @llvm.fmuladd.f32(float %2, float %89, float %101)
br label %103
103: ; preds = %57, %69, %81, %93, %28, %30
%104 = phi float [ %42, %30 ], [ %0, %28 ], [ %68, %57 ], [ %1, %69 ], [ %102, %93 ], [ 0.000000e+00, %81 ]
ret float %104
}