#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 */
scalar_t__ eq(float, float);
scalar_t__ ge(float, float);
scalar_t__ gt(float, float);
scalar_t__ le(float, float);
scalar_t__ lt(float, float);
five(float a, float b) {
  return ge(a, b) || gt(a, b) || le(a, b) || lt(a, b) || eq(a, b);
}


x86 assembly (clang, -O0):
<five>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
call   1030 <ge@plt>
mov    %rax,%rcx
mov    $0x1,%al
cmp    $0x0,%rcx
mov    %al,-0x9(%rbp)
jne    11ff <five+0xaf>
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
call   1050 <gt@plt>
mov    %rax,%rcx
mov    $0x1,%al
cmp    $0x0,%rcx
mov    %al,-0x9(%rbp)
jne    11ff <five+0xaf>
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
call   1040 <le@plt>
mov    %rax,%rcx
mov    $0x1,%al
cmp    $0x0,%rcx
mov    %al,-0x9(%rbp)
jne    11ff <five+0xaf>
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
call   1060 <lt@plt>
mov    %rax,%rcx
mov    $0x1,%al
cmp    $0x0,%rcx
mov    %al,-0x9(%rbp)
jne    11ff <five+0xaf>
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
call   1070 <eq@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x9(%rbp)
mov    -0x9(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<five>:
push   %rbx
sub    $0x10,%rsp
movss  %xmm0,0x8(%rsp)
movss  %xmm1,0xc(%rsp)
call   1030 <ge@plt>
mov    $0x1,%ebx
test   %rax,%rax
jne    11cb <five+0x7b>
movss  0x8(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
call   1050 <gt@plt>
test   %rax,%rax
jne    11cb <five+0x7b>
movss  0x8(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
call   1040 <le@plt>
test   %rax,%rax
jne    11cb <five+0x7b>
movss  0x8(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
call   1060 <lt@plt>
test   %rax,%rax
jne    11cb <five+0x7b>
movss  0x8(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
call   1070 <eq@plt>
xor    %ebx,%ebx
test   %rax,%rax
setne  %bl
mov    %ebx,%eax
add    $0x10,%rsp
pop    %rbx
ret

LLVM IR (-O0):
define i32 @five(float %0, float %1) {
%3 = alloca float
%4 = alloca float
store float %0, float* %3
store float %1, float* %4
%5 = load float, float* %3
%6 = load float, float* %4
%7 = call i64 @ge(float %5, float %6)
%8 = icmp ne i64 %7, 0
br i1 %8, label %29, label %9
9: ; preds = %2
%10 = load float, float* %3
%11 = load float, float* %4
%12 = call i64 @gt(float %10, float %11)
%13 = icmp ne i64 %12, 0
br i1 %13, label %29, label %14
14: ; preds = %9
%15 = load float, float* %3
%16 = load float, float* %4
%17 = call i64 @le(float %15, float %16)
%18 = icmp ne i64 %17, 0
br i1 %18, label %29, label %19
19: ; preds = %14
%20 = load float, float* %3
%21 = load float, float* %4
%22 = call i64 @lt(float %20, float %21)
%23 = icmp ne i64 %22, 0
br i1 %23, label %29, label %24
24: ; preds = %19
%25 = load float, float* %3
%26 = load float, float* %4
%27 = call i64 @eq(float %25, float %26)
%28 = icmp ne i64 %27, 0
br label %29
29: ; preds = %24, %19, %14, %9, %2
%30 = phi i1 [ true, %19 ], [ true, %14 ], [ true, %9 ], [ true, %2 ], [ %28, %24 ]
%31 = zext i1 %30 to i32
ret i32 %31
}

LLVM IR (-O2):
define i32 @five(float %0, float %1) {
%3 = tail call i64 @ge(float %0, float %1)
%4 = icmp eq i64 %3, 0
br i1 %4, label %5, label %18
5: ; preds = %2
%6 = tail call i64 @gt(float %0, float %1)
%7 = icmp eq i64 %6, 0
br i1 %7, label %8, label %18
8: ; preds = %5
%9 = tail call i64 @le(float %0, float %1)
%10 = icmp eq i64 %9, 0
br i1 %10, label %11, label %18
11: ; preds = %8
%12 = tail call i64 @lt(float %0, float %1)
%13 = icmp eq i64 %12, 0
br i1 %13, label %14, label %18
14: ; preds = %11
%15 = tail call i64 @eq(float %0, float %1)
%16 = icmp ne i64 %15, 0
%17 = zext i1 %16 to i32
br label %18
18: ; preds = %14, %11, %8, %5, %2
%19 = phi i32 [ 1, %11 ], [ 1, %8 ], [ 1, %5 ], [ 1, %2 ], [ %17, %14 ]
ret i32 %19
}