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


x86 assembly (clang, -O0):
<march_cyclic>:
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  -0x14(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x14(%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_cyclic+0x9b>
jp     11ab <march_cyclic+0x9b>
movsd  0xe5f(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
jmp    11cc <march_cyclic+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     1276 <march_cyclic+0x166>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x20(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    1267 <march_cyclic+0x157>
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  -0xc(%rbp),%xmm0
movss  -0x28(%rbp),%xmm2
movss  -0x8(%rbp),%xmm1
movss  0xdb7(%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    1418 <march_cyclic+0x308>
movss  -0x10(%rbp),%xmm0
ucomiss -0x8(%rbp),%xmm0
jne    129d <march_cyclic+0x18d>
jp     129d <march_cyclic+0x18d>
movsd  0xd6d(%rip),%xmm0
movsd  %xmm0,-0x50(%rbp)
jmp    12be <march_cyclic+0x1ae>
movss  -0x14(%rbp),%xmm0
subss  -0x8(%rbp),%xmm0
movss  -0x10(%rbp),%xmm1
subss  -0x8(%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  -0x2c(%rbp),%xmm2
movss  0xd2a(%rip),%xmm1
subss  -0x2c(%rbp),%xmm1
movss  -0x1c(%rbp),%xmm3
mulss  %xmm3,%xmm1
addss  %xmm2,%xmm1
ucomiss %xmm1,%xmm0
jb     138e <march_cyclic+0x27e>
movss  -0x10(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  0xcfd(%rip),%xmm0
ucomiss -0x2c(%rbp),%xmm0
jbe    137f <march_cyclic+0x26f>
movss  0xceb(%rip),%xmm1
subss  -0x18(%rbp),%xmm1
movss  0xcde(%rip),%xmm0
subss  -0x2c(%rbp),%xmm0
movss  -0x1c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  0xcc4(%rip),%xmm1
subss  -0x2c(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x14(%rbp),%xmm0
movss  -0x34(%rbp),%xmm2
movss  -0x10(%rbp),%xmm1
movss  0xc9f(%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    1418 <march_cyclic+0x308>
movss  -0x20(%rbp),%xmm0
movss  0xc6d(%rip),%xmm1
subss  -0x1c(%rbp),%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x2c(%rbp),%xmm1
movss  0xc52(%rip),%xmm0
subss  -0x2c(%rbp),%xmm0
movss  -0x1c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x18(%rbp),%xmm0
subss  -0x38(%rbp),%xmm0
movss  -0x14(%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  0xbfa(%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_cyclic>:
sub    $0x18,%rsp
movss  %xmm5,0xc(%rsp)
movss  %xmm4,0x8(%rsp)
movss  %xmm3,(%rsp)
movss  %xmm2,0x10(%rsp)
movss  %xmm1,0x4(%rsp)
movss  %xmm0,0x14(%rsp)
xor    %edi,%edi
ucomiss %xmm0,%xmm1
setae  %dil
call   1030 <assert@plt>
xor    %edi,%edi
movss  (%rsp),%xmm0
ucomiss 0x4(%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
xor    %edi,%edi
movss  0x10(%rsp),%xmm0
ucomiss (%rsp),%xmm0
setae  %dil
call   1030 <assert@plt>
movss  0x14(%rsp),%xmm4
movss  0x10(%rsp),%xmm9
ucomiss %xmm4,%xmm9
jne    11d9 <march_cyclic+0xc9>
jp     11d9 <march_cyclic+0xc9>
movss  0xe74(%rip),%xmm7
movss  0xc(%rsp),%xmm5
subss  %xmm5,%xmm7
movss  0xe66(%rip),%xmm1
mulss  %xmm1,%xmm7
movss  0x8(%rsp),%xmm6
ucomiss %xmm6,%xmm7
movss  0x4(%rsp),%xmm3
jae    1271 <march_cyclic+0x161>
movss  0xe45(%rip),%xmm1
movaps %xmm5,%xmm2
mulss  %xmm1,%xmm2
addss  %xmm1,%xmm2
ucomiss %xmm2,%xmm6
movss  (%rsp),%xmm0
jb     1245 <march_cyclic+0x135>
jmp    12a3 <march_cyclic+0x193>
movss  0x4(%rsp),%xmm3
movaps %xmm3,%xmm1
subss  %xmm4,%xmm1
movaps %xmm9,%xmm2
subss  %xmm4,%xmm2
divss  %xmm2,%xmm1
movss  0xe05(%rip),%xmm8
movaps %xmm8,%xmm7
movss  0xc(%rsp),%xmm5
subss  %xmm5,%xmm7
mulss  %xmm1,%xmm7
movss  0x8(%rsp),%xmm6
ucomiss %xmm6,%xmm7
jae    1269 <march_cyclic+0x159>
movss  (%rsp),%xmm0
movaps %xmm0,%xmm10
subss  %xmm4,%xmm10
divss  %xmm2,%xmm10
movaps %xmm8,%xmm1
subss  %xmm10,%xmm1
movaps %xmm1,%xmm2
mulss  %xmm5,%xmm2
addss  %xmm10,%xmm2
ucomiss %xmm2,%xmm6
jae    129d <march_cyclic+0x18d>
movaps %xmm2,%xmm1
subss  %xmm6,%xmm1
subss  %xmm7,%xmm6
mulss  %xmm3,%xmm1
mulss  %xmm0,%xmm6
addss  %xmm1,%xmm6
subss  %xmm7,%xmm2
divss  %xmm2,%xmm6
movaps %xmm6,%xmm4
jmp    12d8 <march_cyclic+0x1c8>
xorps  %xmm0,%xmm0
ucomiss %xmm0,%xmm1
jbe    12d8 <march_cyclic+0x1c8>
mulss  %xmm1,%xmm5
addss  %xmm6,%xmm5
divss  %xmm1,%xmm5
movss  0xd7b(%rip),%xmm0
subss  %xmm5,%xmm0
mulss  %xmm4,%xmm0
mulss  %xmm5,%xmm3
addss  %xmm0,%xmm3
movaps %xmm3,%xmm0
add    $0x18,%rsp
ret
ucomiss %xmm10,%xmm8
jbe    12d4 <march_cyclic+0x1c4>
movss  0xd55(%rip),%xmm3
movaps %xmm3,%xmm2
subss  %xmm6,%xmm2
mulss  %xmm1,%xmm5
addss  %xmm2,%xmm5
divss  %xmm1,%xmm5
subss  %xmm5,%xmm3
mulss  %xmm9,%xmm3
mulss  %xmm5,%xmm0
addss  %xmm3,%xmm0
add    $0x18,%rsp
ret
movaps %xmm9,%xmm4
movaps %xmm4,%xmm0
add    $0x18,%rsp
ret

LLVM IR (-O0):
define float @march_cyclic(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* %11
%30 = fcmp ole float %28, %29
%31 = zext i1 %30 to i32
%32 = call i32 @assert(i32 %31)
%33 = load float, float* %11
%34 = load float, float* %10
%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 %80
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 %78
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* %9
%72 = load float, float* %16
%73 = load float, float* %8
%74 = load float, float* %16
%75 = fsub float 1.000000e+00, %74
%76 = fmul float %73, %75
%77 = call float @llvm.fmuladd.f32(float %71, float %72, float %76)
store float %77, float* %15
br label %78
78: ; preds = %64, %60
%79 = load float, float* %15
store float %79, float* %7
br label %153
80: ; preds = %51
%81 = load float, float* %10
%82 = load float, float* %8
%83 = fcmp oeq float %81, %82
br i1 %83, label %84, label %85
84: ; preds = %80
br label %94
85: ; preds = %80
%86 = load float, float* %11
%87 = load float, float* %8
%88 = fsub float %86, %87
%89 = load float, float* %10
%90 = load float, float* %8
%91 = fsub float %89, %90
%92 = fdiv float %88, %91
%93 = fpext float %92 to double
br label %94
94: ; preds = %85, %84
%95 = phi double [ 5.000000e-01, %84 ], [ %93, %85 ]
%96 = fptrunc double %95 to float
store float %96, float* %17
%97 = load float, float* %12
%98 = load float, float* %17
%99 = load float, float* %17
%100 = fsub float 1.000000e+00, %99
%101 = load float, float* %13
%102 = call float @llvm.fmuladd.f32(float %100, float %101, float %98)
%103 = fcmp oge float %97, %102
br i1 %103, label %104, label %127
104: ; preds = %94
%105 = load float, float* %10
store float %105, float* %18
%106 = load float, float* %17
%107 = fcmp olt float %106, 1.000000e+00
br i1 %107, label %108, label %125
108: ; preds = %104
%109 = load float, float* %12
%110 = fsub float 1.000000e+00, %109
%111 = load float, float* %17
%112 = fsub float 1.000000e+00, %111
%113 = load float, float* %13
%114 = call float @llvm.fmuladd.f32(float %112, float %113, float %110)
%115 = load float, float* %17
%116 = fsub float 1.000000e+00, %115
%117 = fdiv float %114, %116
store float %117, float* %19
%118 = load float, float* %11
%119 = load float, float* %19
%120 = load float, float* %10
%121 = load float, float* %19
%122 = fsub float 1.000000e+00, %121
%123 = fmul float %120, %122
%124 = call float @llvm.fmuladd.f32(float %118, float %119, float %123)
store float %124, float* %18
br label %125
125: ; preds = %108, %104
%126 = load float, float* %18
store float %126, float* %7
br label %153
127: ; preds = %94
%128 = load float, float* %14
%129 = load float, float* %13
%130 = fsub float 1.000000e+00, %129
%131 = fmul float %128, %130
store float %131, float* %20
%132 = load float, float* %17
%133 = load float, float* %17
%134 = fsub float 1.000000e+00, %133
%135 = load float, float* %13
%136 = call float @llvm.fmuladd.f32(float %134, float %135, float %132)
store float %136, float* %21
%137 = load float, float* %12
%138 = load float, float* %20
%139 = fsub float %137, %138
%140 = load float, float* %11
%141 = load float, float* %21
%142 = load float, float* %12
%143 = fsub float %141, %142
%144 = load float, float* %9
%145 = fmul float %143, %144
%146 = call float @llvm.fmuladd.f32(float %139, float %140, float %145)
%147 = load float, float* %21
%148 = load float, float* %20
%149 = fsub float %147, %148
%150 = fdiv float %146, %149
store float %150, float* %22
%151 = load float, float* %22
%152 = fmul float 1.000000e+00, %151
store float %152, float* %7
br label %153
153: ; preds = %127, %125, %78
%154 = load float, float* %7
ret float %154
}

LLVM IR (-O2):
define float @march_cyclic(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, %3
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = fcmp ole float %3, %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 %37, 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 %65
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 = fsub float 1.000000e+00, %33
%35 = fmul float %34, %0
%36 = tail call float @llvm.fmuladd.f32(float %1, float %33, float %35)
br label %65
37: ; preds = %17
%38 = fsub float %3, %0
%39 = fdiv float %38, %19
%40 = fsub float 1.000000e+00, %39
%41 = tail call float @llvm.fmuladd.f32(float %40, float %5, float %39)
%42 = fcmp ugt float %41, %4
br i1 %42, label %56, label %46
43: ; preds = %24
%44 = tail call float @llvm.fmuladd.f32(float %5, float 5.000000e-01, float 5.000000e-01)
%45 = fcmp ugt float %44, %4
br i1 %45, label %56, label %48
46: ; preds = %37
%47 = fcmp olt float %39, 1.000000e+00
br i1 %47, label %48, label %65
48: ; preds = %43, %46
%49 = phi float [ %40, %46 ], [ 5.000000e-01, %43 ]
%50 = fsub float 1.000000e+00, %4
%51 = tail call float @llvm.fmuladd.f32(float %49, float %5, float %50)
%52 = fdiv float %51, %49
%53 = fsub float 1.000000e+00, %52
%54 = fmul float %53, %2
%55 = tail call float @llvm.fmuladd.f32(float %3, float %52, float %54)
br label %65
56: ; preds = %43, %37
%57 = phi float [ %44, %43 ], [ %41, %37 ]
%58 = phi float [ %26, %43 ], [ %22, %37 ]
%59 = fsub float %4, %58
%60 = fsub float %57, %4
%61 = fmul float %60, %1
%62 = tail call float @llvm.fmuladd.f32(float %59, float %3, float %61)
%63 = fsub float %57, %58
%64 = fdiv float %62, %63
br label %65
65: ; preds = %56, %48, %46, %28, %30
%66 = phi float [ %36, %30 ], [ %0, %28 ], [ %64, %56 ], [ %55, %48 ], [ %2, %46 ]
ret float %66
}