#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, float, float, float, float, float);
float march_regular(float, float, float, float, float, float);
float march_singular(float, float, float, float, float, float);
float single_marcho(float a, float b, float c, float d, float x, float y) {
  assert(x >= 0);
  assert(y >= 0);
  assert(x <= 1);
  assert(y <= 1);
  assert(a <= b);
  assert(a <= c);
  assert(a <= d);
  assert(b <= c);
  if (d < b) {
    assert(d <= c);
    return march_singular(a, b, c, d, x, y);
  }
  if (d > c) {
    assert(d >= b);
    return march_regular(a, b, c, d, x, y);
  }
  assert(b <= d);
  assert(d <= c);
  return march_cyclic(a, b, c, d, x, y);
}


x86 assembly (clang, -O0):
<single_marcho>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%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  -0x18(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  -0x1c(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  0xe62(%rip),%xmm0
ucomiss -0x18(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  0xe49(%rip),%xmm0
ucomiss -0x1c(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  -0x8(%rbp),%xmm1
movss  -0xc(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  -0x8(%rbp),%xmm1
movss  -0x10(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  -0x8(%rbp),%xmm1
movss  -0x14(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  -0xc(%rbp),%xmm1
movss  -0x10(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  -0x14(%rbp),%xmm1
movss  -0xc(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    128a <single_marcho+0x14a>
movss  -0x14(%rbp),%xmm1
movss  -0x10(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  -0x8(%rbp),%xmm0
movss  -0xc(%rbp),%xmm1
movss  -0x10(%rbp),%xmm2
movss  -0x14(%rbp),%xmm3
movss  -0x18(%rbp),%xmm4
movss  -0x1c(%rbp),%xmm5
call   1060 <march_singular@plt>
movss  %xmm0,-0x4(%rbp)
jmp    1338 <single_marcho+0x1f8>
movss  -0x14(%rbp),%xmm0
ucomiss -0x10(%rbp),%xmm0
jbe    12dc <single_marcho+0x19c>
movss  -0x14(%rbp),%xmm0
ucomiss -0xc(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  -0x8(%rbp),%xmm0
movss  -0xc(%rbp),%xmm1
movss  -0x10(%rbp),%xmm2
movss  -0x14(%rbp),%xmm3
movss  -0x18(%rbp),%xmm4
movss  -0x1c(%rbp),%xmm5
call   1050 <march_regular@plt>
movss  %xmm0,-0x4(%rbp)
jmp    1338 <single_marcho+0x1f8>
movss  -0xc(%rbp),%xmm1
movss  -0x14(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  -0x14(%rbp),%xmm1
movss  -0x10(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movss  -0x8(%rbp),%xmm0
movss  -0xc(%rbp),%xmm1
movss  -0x10(%rbp),%xmm2
movss  -0x14(%rbp),%xmm3
movss  -0x18(%rbp),%xmm4
movss  -0x1c(%rbp),%xmm5
call   1030 <march_cyclic@plt>
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<single_marcho>:
sub    $0x18,%rsp
movss  %xmm5,0x10(%rsp)
movss  %xmm4,0x14(%rsp)
movss  %xmm3,0x4(%rsp)
movss  %xmm2,(%rsp)
movss  %xmm1,0x8(%rsp)
movss  %xmm0,0xc(%rsp)
xorps  %xmm0,%xmm0
xor    %edi,%edi
ucomiss %xmm0,%xmm4
setae  %dil
call   1040 <assert@plt>
xor    %edi,%edi
movss  0x10(%rsp),%xmm0
ucomiss 0xe7d(%rip),%xmm0
setae  %dil
call   1040 <assert@plt>
movss  0xe68(%rip),%xmm0
xor    %edi,%edi
ucomiss 0x14(%rsp),%xmm0
setae  %dil
call   1040 <assert@plt>
xor    %edi,%edi
movss  0xe4e(%rip),%xmm0
ucomiss 0x10(%rsp),%xmm0
setae  %dil
call   1040 <assert@plt>
xor    %edi,%edi
movss  0x8(%rsp),%xmm0
ucomiss 0xc(%rsp),%xmm0
setae  %dil
call   1040 <assert@plt>
xor    %edi,%edi
movss  (%rsp),%xmm0
ucomiss 0xc(%rsp),%xmm0
setae  %dil
call   1040 <assert@plt>
xor    %edi,%edi
movss  0x4(%rsp),%xmm0
ucomiss 0xc(%rsp),%xmm0
setae  %dil
call   1040 <assert@plt>
xor    %edi,%edi
movss  (%rsp),%xmm0
ucomiss 0x8(%rsp),%xmm0
setae  %dil
call   1040 <assert@plt>
movss  0x8(%rsp),%xmm1
movss  0x4(%rsp),%xmm0
ucomiss %xmm0,%xmm1
jbe    1266 <single_marcho+0x126>
xor    %edi,%edi
movss  (%rsp),%xmm2
ucomiss %xmm0,%xmm2
setae  %dil
call   1040 <assert@plt>
movss  0xc(%rsp),%xmm0
movss  0x8(%rsp),%xmm1
movss  (%rsp),%xmm2
movss  0x4(%rsp),%xmm3
movss  0x14(%rsp),%xmm4
movss  0x10(%rsp),%xmm5
add    $0x18,%rsp
jmp    1060 <march_singular@plt>
ucomiss (%rsp),%xmm0
jbe    12a6 <single_marcho+0x166>
xor    %edi,%edi
ucomiss %xmm1,%xmm0
setae  %dil
call   1040 <assert@plt>
movss  0xc(%rsp),%xmm0
movss  0x8(%rsp),%xmm1
movss  (%rsp),%xmm2
movss  0x4(%rsp),%xmm3
movss  0x14(%rsp),%xmm4
movss  0x10(%rsp),%xmm5
add    $0x18,%rsp
jmp    1050 <march_regular@plt>
xor    %edi,%edi
ucomiss %xmm1,%xmm0
setae  %dil
call   1040 <assert@plt>
xor    %edi,%edi
movss  (%rsp),%xmm0
ucomiss 0x4(%rsp),%xmm0
setae  %dil
call   1040 <assert@plt>
movss  0xc(%rsp),%xmm0
movss  0x8(%rsp),%xmm1
movss  (%rsp),%xmm2
movss  0x4(%rsp),%xmm3
movss  0x14(%rsp),%xmm4
movss  0x10(%rsp),%xmm5
add    $0x18,%rsp
jmp    1030 <march_cyclic@plt>

LLVM IR (-O0):
define float @single_marcho(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
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
%14 = load float, float* %12
%15 = fcmp oge float %14, 0.000000e+00
%16 = zext i1 %15 to i32
%17 = call i32 @assert(i32 %16)
%18 = load float, float* %13
%19 = fcmp oge float %18, 0.000000e+00
%20 = zext i1 %19 to i32
%21 = call i32 @assert(i32 %20)
%22 = load float, float* %12
%23 = fcmp ole float %22, 1.000000e+00
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
%26 = load float, float* %13
%27 = fcmp ole float %26, 1.000000e+00
%28 = zext i1 %27 to i32
%29 = call i32 @assert(i32 %28)
%30 = load float, float* %8
%31 = load float, float* %9
%32 = fcmp ole float %30, %31
%33 = zext i1 %32 to i32
%34 = call i32 @assert(i32 %33)
%35 = load float, float* %8
%36 = load float, float* %10
%37 = fcmp ole float %35, %36
%38 = zext i1 %37 to i32
%39 = call i32 @assert(i32 %38)
%40 = load float, float* %8
%41 = load float, float* %11
%42 = fcmp ole float %40, %41
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = load float, float* %9
%46 = load float, float* %10
%47 = fcmp ole float %45, %46
%48 = zext i1 %47 to i32
%49 = call i32 @assert(i32 %48)
%50 = load float, float* %11
%51 = load float, float* %9
%52 = fcmp olt float %50, %51
br i1 %52, label %53, label %66
53: ; preds = %6
%54 = load float, float* %11
%55 = load float, float* %10
%56 = fcmp ole float %54, %55
%57 = zext i1 %56 to i32
%58 = call i32 @assert(i32 %57)
%59 = load float, float* %8
%60 = load float, float* %9
%61 = load float, float* %10
%62 = load float, float* %11
%63 = load float, float* %12
%64 = load float, float* %13
%65 = call float @march_singular(float %59, float %60, float %61, float %62, float %63, float %64)
store float %65, float* %7
br label %101
66: ; preds = %6
%67 = load float, float* %11
%68 = load float, float* %10
%69 = fcmp ogt float %67, %68
br i1 %69, label %70, label %83
70: ; preds = %66
%71 = load float, float* %11
%72 = load float, float* %9
%73 = fcmp oge float %71, %72
%74 = zext i1 %73 to i32
%75 = call i32 @assert(i32 %74)
%76 = load float, float* %8
%77 = load float, float* %9
%78 = load float, float* %10
%79 = load float, float* %11
%80 = load float, float* %12
%81 = load float, float* %13
%82 = call float @march_regular(float %76, float %77, float %78, float %79, float %80, float %81)
store float %82, float* %7
br label %101
83: ; preds = %66
%84 = load float, float* %9
%85 = load float, float* %11
%86 = fcmp ole float %84, %85
%87 = zext i1 %86 to i32
%88 = call i32 @assert(i32 %87)
%89 = load float, float* %11
%90 = load float, float* %10
%91 = fcmp ole float %89, %90
%92 = zext i1 %91 to i32
%93 = call i32 @assert(i32 %92)
%94 = load float, float* %8
%95 = load float, float* %9
%96 = load float, float* %10
%97 = load float, float* %11
%98 = load float, float* %12
%99 = load float, float* %13
%100 = call float @march_cyclic(float %94, float %95, float %96, float %97, float %98, float %99)
store float %100, float* %7
br label %101
101: ; preds = %83, %70, %53
%102 = load float, float* %7
ret float %102
}

LLVM IR (-O2):
define float @single_marcho(float %0, float %1, float %2, float %3, float %4, float %5) {
%7 = fcmp oge float %4, 0.000000e+00
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = fcmp oge float %5, 0.000000e+00
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = fcmp ole float %4, 1.000000e+00
%14 = zext i1 %13 to i32
%15 = tail call i32 @assert(i32 %14)
%16 = fcmp ole float %5, 1.000000e+00
%17 = zext i1 %16 to i32
%18 = tail call i32 @assert(i32 %17)
%19 = fcmp ole float %0, %1
%20 = zext i1 %19 to i32
%21 = tail call i32 @assert(i32 %20)
%22 = fcmp ole float %0, %2
%23 = zext i1 %22 to i32
%24 = tail call i32 @assert(i32 %23)
%25 = fcmp ole float %0, %3
%26 = zext i1 %25 to i32
%27 = tail call i32 @assert(i32 %26)
%28 = fcmp ole float %1, %2
%29 = zext i1 %28 to i32
%30 = tail call i32 @assert(i32 %29)
%31 = fcmp olt float %3, %1
br i1 %31, label %32, label %37
32: ; preds = %6
%33 = fcmp ole float %3, %2
%34 = zext i1 %33 to i32
%35 = tail call i32 @assert(i32 %34)
%36 = tail call float @march_singular(float %0, float %1, float %2, float %3, float %4, float %5)
br label %52
37: ; preds = %6
%38 = fcmp ogt float %3, %2
br i1 %38, label %39, label %44
39: ; preds = %37
%40 = fcmp oge float %3, %1
%41 = zext i1 %40 to i32
%42 = tail call i32 @assert(i32 %41)
%43 = tail call float @march_regular(float %0, float %1, float %2, float %3, float %4, float %5)
br label %52
44: ; preds = %37
%45 = fcmp ole float %1, %3
%46 = zext i1 %45 to i32
%47 = tail call i32 @assert(i32 %46)
%48 = fcmp ole float %3, %2
%49 = zext i1 %48 to i32
%50 = tail call i32 @assert(i32 %49)
%51 = tail call float @march_cyclic(float %0, float %1, float %2, float %3, float %4, float %5)
br label %52
52: ; preds = %44, %39, %32
%53 = phi float [ %36, %32 ], [ %43, %39 ], [ %51, %44 ]
ret float %53
}