#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 */
float FLT_EPSILON;
float HUGE_VALF;
float NAN;
int /*<<< orphan*/ check(char *, int);
int isinf(float volatile);
int isnan(float volatile);
float nanf(char *);
void float_test(void) {
  volatile float Inf_var, NaN_var, zero_var, one_var;
  float x1, x2;
  zero_var = 0.0;
  one_var = 1.0;
  NaN_var = zero_var / zero_var;
  Inf_var = one_var / zero_var;
  (void)&zero_var;
  (void)&one_var;
  (void)&NaN_var;
  (void)&Inf_var;
  check("float"
        " isinf (inf) == 1",
        isinf(Inf_var) == 1);
  check("float"
        " isinf (-inf) == -1",
        isinf(-Inf_var) == -1);
  check("float"
        " !isinf (1)",
        !(isinf(one_var)));
  check("float"
        " !isinf (NaN)",
        !(isinf(NaN_var)));
  check("float"
        " isnan (NaN)",
        isnan(NaN_var));
  check("float"
        " isnan (-NaN)",
        isnan(-NaN_var));
  check("float"
        " !isnan (1)",
        !(isnan(one_var)));
  check("float"
        " !isnan (inf)",
        !(isnan(Inf_var)));
  check("float"
        " inf == inf",
        Inf_var == Inf_var);
  check("float"
        " -inf == -inf",
        -Inf_var == -Inf_var);
  check("float"
        " inf != -inf",
        Inf_var != -Inf_var);
  check("float"
        " NaN != NaN",
        NaN_var != NaN_var);
  check("float"
        " isnan (NAN)",
        isnan(NAN));
  check("float"
        " isnan (-NAN)",
        isnan(-NAN));
  check("float"
        " !isinf (NAN)",
        !(isinf(NAN)));
  check("float"
        " !isinf (-NAN)",
        !(isinf(-NAN)));
  check("float"
        " NAN != NAN",
        NAN != NAN);
  check("float"
        " isnan (NAN)",
        isnan(nanf("")));
  check("float"
        " isnan (-NAN)",
        isnan(-nanf("")));
  check("float"
        " !isinf (NAN)",
        !(isinf(nanf(""))));
  check("float"
        " !isinf (-NAN)",
        !(isinf(-nanf(""))));
  check("float"
        " NAN != NAN",
        nanf("") != nanf(""));
  x1 = 1.0;
  x2 = x1 + FLT_EPSILON;
  check("float"
        " 1 != 1+EPSILON",
        x1 != x2);
  x1 = 1.0;
  x2 = x1 - FLT_EPSILON;
  check("float"
        " 1 != 1-EPSILON",
        x1 != x2);
  x1 = HUGE_VALF;
  check("float"
        " isinf (HUGE_VALx) == +1",
        isinf(x1) == +1);
  x1 = -HUGE_VALF;
  check("float"
        " isinf (-HUGE_VALx) == -1",
        isinf(x1) == -1);
}


x86 assembly (clang, -O0):
<float_test>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
xorps  %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
movss  0xea8(%rip),%xmm0
movss  %xmm0,-0x10(%rbp)
movss  -0xc(%rbp),%xmm0
movss  -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x8(%rbp)
movss  -0x10(%rbp),%xmm0
movss  -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
call   1060 <isinf@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%esi
lea    0xe65(%rip),%rdi
call   1050 <check@plt>
movss  -0x4(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
call   1060 <isinf@plt>
cmp    $0xffffffff,%eax
sete   %al
and    $0x1,%al
movzbl %al,%esi
lea    0xe4e(%rip),%rdi
call   1050 <check@plt>
movss  -0x10(%rbp),%xmm0
call   1060 <isinf@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xe44(%rip),%rdi
call   1050 <check@plt>
movss  -0x8(%rbp),%xmm0
call   1060 <isinf@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xe32(%rip),%rdi
call   1050 <check@plt>
movss  -0x8(%rbp),%xmm0
call   1040 <isnan@plt>
mov    %eax,%esi
lea    0xe2d(%rip),%rdi
call   1050 <check@plt>
movss  -0x8(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
call   1040 <isnan@plt>
mov    %eax,%esi
lea    0xe1a(%rip),%rdi
call   1050 <check@plt>
movss  -0x10(%rbp),%xmm0
call   1040 <isnan@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xe0a(%rip),%rdi
call   1050 <check@plt>
movss  -0x4(%rbp),%xmm0
call   1040 <isnan@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xdf8(%rip),%rdi
call   1050 <check@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x4(%rbp),%xmm1
ucomiss %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xde5(%rip),%rdi
call   1050 <check@plt>
movss  -0x4(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
ucomiss %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xdb6(%rip),%rdi
call   1050 <check@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
ucomiss %xmm1,%xmm0
setne  %al
setp   %cl
or     %cl,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xd96(%rip),%rdi
call   1050 <check@plt>
movss  -0x8(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
ucomiss %xmm1,%xmm0
setne  %al
setp   %cl
or     %cl,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xd82(%rip),%rdi
call   1050 <check@plt>
mov    0x2c97(%rip),%rax
movss  (%rax),%xmm0
call   1040 <isnan@plt>
mov    %eax,%esi
lea    0xd75(%rip),%rdi
call   1050 <check@plt>
mov    0x2c79(%rip),%rax
movss  (%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
call   1040 <isnan@plt>
mov    %eax,%esi
lea    0xd5c(%rip),%rdi
call   1050 <check@plt>
mov    0x2c4e(%rip),%rax
movss  (%rax),%xmm0
call   1060 <isinf@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xd46(%rip),%rdi
call   1050 <check@plt>
mov    0x2c25(%rip),%rax
movss  (%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
call   1060 <isinf@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xd23(%rip),%rdi
call   1050 <check@plt>
mov    0x2bef(%rip),%rax
movss  (%rax),%xmm0
mov    0x2be4(%rip),%rax
ucomiss (%rax),%xmm0
setne  %al
setp   %cl
or     %cl,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xd09(%rip),%rdi
call   1050 <check@plt>
lea    0xc0d(%rip),%rdi
call   1030 <nanf@plt>
call   1040 <isnan@plt>
mov    %eax,%esi
lea    0xc9e(%rip),%rdi
call   1050 <check@plt>
lea    0xbee(%rip),%rdi
call   1030 <nanf@plt>
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
call   1040 <isnan@plt>
mov    %eax,%esi
lea    0xc84(%rip),%rdi
call   1050 <check@plt>
lea    0xbc2(%rip),%rdi
call   1030 <nanf@plt>
call   1060 <isinf@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xc6d(%rip),%rdi
call   1050 <check@plt>
lea    0xb98(%rip),%rdi
call   1030 <nanf@plt>
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
call   1060 <isinf@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xc49(%rip),%rdi
call   1050 <check@plt>
lea    0xb61(%rip),%rdi
call   1030 <nanf@plt>
movss  %xmm0,-0x1c(%rbp)
lea    0xb50(%rip),%rdi
call   1030 <nanf@plt>
movaps %xmm0,%xmm1
movss  -0x1c(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setne  %al
setp   %cl
or     %cl,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xc1c(%rip),%rdi
call   1050 <check@plt>
movss  0xadb(%rip),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
mov    0x2a9a(%rip),%rax
addss  (%rax),%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x14(%rbp),%xmm0
ucomiss -0x18(%rbp),%xmm0
setne  %al
setp   %cl
or     %cl,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xbe9(%rip),%rdi
call   1050 <check@plt>
movss  0xa97(%rip),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
mov    0x2a56(%rip),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x14(%rbp),%xmm0
ucomiss -0x18(%rbp),%xmm0
setne  %al
setp   %cl
or     %cl,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xbba(%rip),%rdi
call   1050 <check@plt>
mov    0x2a3c(%rip),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
call   1060 <isinf@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%esi
lea    0xb9e(%rip),%rdi
call   1050 <check@plt>
mov    0x2a0b(%rip),%rax
movss  (%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
call   1060 <isinf@plt>
cmp    $0xffffffff,%eax
sete   %al
and    $0x1,%al
movzbl %al,%esi
lea    0xb7e(%rip),%rdi
call   1050 <check@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<float_test>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
movl   $0x0,0x10(%rsp)
movl   $0x3f800000,0xc(%rsp)
3f
movss  0x10(%rsp),%xmm0
divss  0x10(%rsp),%xmm0
movss  %xmm0,0x8(%rsp)
movss  0xc(%rsp),%xmm0
divss  0x10(%rsp),%xmm0
movss  %xmm0,0x4(%rsp)
movss  0x4(%rsp),%xmm0
call   1060 <isinf@plt>
xor    %esi,%esi
cmp    $0x1,%eax
sete   %sil
lea    0xe77(%rip),%rdi
call   1050 <check@plt>
movss  0x4(%rsp),%xmm0
xorps  0xe51(%rip),%xmm0
call   1060 <isinf@plt>
xor    %esi,%esi
cmp    $0xffffffff,%eax
sete   %sil
lea    0xe67(%rip),%rdi
call   1050 <check@plt>
movss  0xc(%rsp),%xmm0
call   1060 <isinf@plt>
xor    %esi,%esi
test   %eax,%eax
sete   %sil
lea    0xe61(%rip),%rdi
call   1050 <check@plt>
movss  0x8(%rsp),%xmm0
call   1060 <isinf@plt>
xor    %esi,%esi
test   %eax,%eax
sete   %sil
lea    0xe53(%rip),%rdi
call   1050 <check@plt>
movss  0x8(%rsp),%xmm0
call   1040 <isnan@plt>
lea    0xe4f(%rip),%rdi
mov    %eax,%esi
call   1050 <check@plt>
movss  0x8(%rsp),%xmm0
xorps  0xdd3(%rip),%xmm0
call   1040 <isnan@plt>
lea    0xe41(%rip),%rdi
mov    %eax,%esi
call   1050 <check@plt>
movss  0xc(%rsp),%xmm0
call   1040 <isnan@plt>
xor    %esi,%esi
test   %eax,%eax
sete   %sil
lea    0xe33(%rip),%rdi
call   1050 <check@plt>
movss  0x4(%rsp),%xmm0
call   1040 <isnan@plt>
xor    %esi,%esi
test   %eax,%eax
sete   %sil
lea    0xe25(%rip),%rdi
call   1050 <check@plt>
movss  0x4(%rsp),%xmm0
cmpeqss 0x4(%rsp),%xmm0
movd   %xmm0,%esi
and    $0x1,%esi
lea    0xe18(%rip),%rdi
call   1050 <check@plt>
movss  0x4(%rsp),%xmm0
cmpeqss 0x4(%rsp),%xmm0
movd   %xmm0,%esi
and    $0x1,%esi
lea    0xe09(%rip),%rdi
call   1050 <check@plt>
movss  0x4(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
xorps  0xd2f(%rip),%xmm1
cmpneqss %xmm0,%xmm1
movd   %xmm1,%esi
and    $0x1,%esi
lea    0xdf1(%rip),%rdi
call   1050 <check@plt>
movss  0x8(%rsp),%xmm0
cmpneqss 0x8(%rsp),%xmm0
movd   %xmm0,%esi
and    $0x1,%esi
lea    0xde3(%rip),%rdi
call   1050 <check@plt>
mov    0x2ce8(%rip),%rbx
movss  (%rbx),%xmm0
call   1040 <isnan@plt>
lea    0xdd8(%rip),%rbp
mov    %rbp,%rdi
mov    %eax,%esi
call   1050 <check@plt>
movss  (%rbx),%xmm0
xorps  0xccb(%rip),%xmm0
call   1040 <isnan@plt>
lea    0xdc9(%rip),%r13
mov    %r13,%rdi
mov    %eax,%esi
call   1050 <check@plt>
movss  (%rbx),%xmm0
call   1060 <isinf@plt>
xor    %esi,%esi
test   %eax,%eax
sete   %sil
lea    0xdba(%rip),%r12
mov    %r12,%rdi
call   1050 <check@plt>
movss  (%rbx),%xmm0
xorps  0xc8a(%rip),%xmm0
call   1060 <isinf@plt>
xor    %esi,%esi
test   %eax,%eax
sete   %sil
lea    0xda6(%rip),%r15
mov    %r15,%rdi
call   1050 <check@plt>
movss  (%rbx),%xmm0
xor    %esi,%esi
ucomiss %xmm0,%xmm0
setp   %sil
lea    0xd9e(%rip),%r14
mov    %r14,%rdi
call   1050 <check@plt>
lea    0xc9f(%rip),%rbx
mov    %rbx,%rdi
call   1030 <nanf@plt>
call   1040 <isnan@plt>
mov    %rbp,%rdi
mov    %eax,%esi
call   1050 <check@plt>
mov    %rbx,%rdi
call   1030 <nanf@plt>
xorps  0xc25(%rip),%xmm0
call   1040 <isnan@plt>
mov    %r13,%rdi
mov    %eax,%esi
call   1050 <check@plt>
mov    %rbx,%rdi
call   1030 <nanf@plt>
call   1060 <isinf@plt>
xor    %esi,%esi
test   %eax,%eax
sete   %sil
mov    %r12,%rdi
call   1050 <check@plt>
mov    %rbx,%rdi
call   1030 <nanf@plt>
xorps  0xbea(%rip),%xmm0
call   1060 <isinf@plt>
xor    %esi,%esi
test   %eax,%eax
sete   %sil
mov    %r15,%rdi
call   1050 <check@plt>
mov    %rbx,%rdi
call   1030 <nanf@plt>
movss  %xmm0,0x14(%rsp)
mov    %rbx,%rdi
call   1030 <nanf@plt>
cmpneqss 0x14(%rsp),%xmm0
movd   %xmm0,%esi
and    $0x1,%esi
mov    %r14,%rdi
call   1050 <check@plt>
mov    0x2b72(%rip),%rbx
movss  0xbaa(%rip),%xmm1
movss  (%rbx),%xmm0
addss  %xmm1,%xmm0
cmpneqss %xmm1,%xmm0
movd   %xmm0,%esi
and    $0x1,%esi
lea    0xcd4(%rip),%rdi
call   1050 <check@plt>
movss  0xb82(%rip),%xmm1
movaps %xmm1,%xmm0
subss  (%rbx),%xmm0
cmpneqss %xmm1,%xmm0
movd   %xmm0,%esi
and    $0x1,%esi
lea    0xcc2(%rip),%rdi
call   1050 <check@plt>
mov    0x2b34(%rip),%rbx
movss  (%rbx),%xmm0
call   1060 <isinf@plt>
xor    %esi,%esi
cmp    $0x1,%eax
sete   %sil
lea    0xcb2(%rip),%rdi
call   1050 <check@plt>
movss  (%rbx),%xmm0
xorps  0xb23(%rip),%xmm0
call   1060 <isinf@plt>
xor    %esi,%esi
cmp    $0xffffffff,%eax
sete   %sil
lea    0xcab(%rip),%rdi
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <check@plt>

LLVM IR (-O0):
@.str = [23 x i8] c"float isinf (inf) == 1\00"
@.str.1 = [25 x i8] c"float isinf (-inf) == -1\00"
@.str.2 = [17 x i8] c"float !isinf (1)\00"
@.str.3 = [19 x i8] c"float !isinf (NaN)\00"
@.str.4 = [18 x i8] c"float isnan (NaN)\00"
@.str.5 = [19 x i8] c"float isnan (-NaN)\00"
@.str.6 = [17 x i8] c"float !isnan (1)\00"
@.str.7 = [19 x i8] c"float !isnan (inf)\00"
@.str.8 = [17 x i8] c"float inf == inf\00"
@.str.9 = [19 x i8] c"float -inf == -inf\00"
@.str.10 = [18 x i8] c"float inf != -inf\00"
@.str.11 = [17 x i8] c"float NaN != NaN\00"
@.str.12 = [18 x i8] c"float isnan (NAN)\00"
@NAN = global float 0.000000e+00
@.str.13 = [19 x i8] c"float isnan (-NAN)\00"
@.str.14 = [19 x i8] c"float !isinf (NAN)\00"
@.str.15 = [20 x i8] c"float !isinf (-NAN)\00"
@.str.16 = [17 x i8] c"float NAN != NAN\00"
@.str.17 = [1 x i8] zeroinitializer
@FLT_EPSILON = global float 0.000000e+00
@.str.18 = [21 x i8] c"float 1 != 1+EPSILON\00"
@.str.19 = [21 x i8] c"float 1 != 1-EPSILON\00"
@HUGE_VALF = global float 0.000000e+00
@.str.20 = [30 x i8] c"float isinf (HUGE_VALx) == +1\00"
@.str.21 = [31 x i8] c"float isinf (-HUGE_VALx) == -1\00"
define void @float_test() {
%1 = alloca float
%2 = alloca float
%3 = alloca float
%4 = alloca float
%5 = alloca float
%6 = alloca float
store volatile float 0.000000e+00, float* %3
store volatile float 1.000000e+00, float* %4
%7 = load volatile float, float* %3
%8 = load volatile float, float* %3
%9 = fdiv float %7, %8
store volatile float %9, float* %2
%10 = load volatile float, float* %4
%11 = load volatile float, float* %3
%12 = fdiv float %10, %11
store volatile float %12, float* %1
%13 = load volatile float, float* %1
%14 = call i32 @isinf(float %13)
%15 = icmp eq i32 %14, 1
%16 = zext i1 %15 to i32
%17 = call i32 @check(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), i32 %16)
%18 = load volatile float, float* %1
%19 = fneg float %18
%20 = call i32 @isinf(float %19)
%21 = icmp eq i32 %20, -1
%22 = zext i1 %21 to i32
%23 = call i32 @check(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0), i32 %22)
%24 = load volatile float, float* %4
%25 = call i32 @isinf(float %24)
%26 = icmp ne i32 %25, 0
%27 = xor i1 %26, true
%28 = zext i1 %27 to i32
%29 = call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i32 %28)
%30 = load volatile float, float* %2
%31 = call i32 @isinf(float %30)
%32 = icmp ne i32 %31, 0
%33 = xor i1 %32, true
%34 = zext i1 %33 to i32
%35 = call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.3, i64 0, i64 0), i32 %34)
%36 = load volatile float, float* %2
%37 = call i32 @isnan(float %36)
%38 = call i32 @check(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.4, i64 0, i64 0), i32 %37)
%39 = load volatile float, float* %2
%40 = fneg float %39
%41 = call i32 @isnan(float %40)
%42 = call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.5, i64 0, i64 0), i32 %41)
%43 = load volatile float, float* %4
%44 = call i32 @isnan(float %43)
%45 = icmp ne i32 %44, 0
%46 = xor i1 %45, true
%47 = zext i1 %46 to i32
%48 = call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.6, i64 0, i64 0), i32 %47)
%49 = load volatile float, float* %1
%50 = call i32 @isnan(float %49)
%51 = icmp ne i32 %50, 0
%52 = xor i1 %51, true
%53 = zext i1 %52 to i32
%54 = call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0), i32 %53)
%55 = load volatile float, float* %1
%56 = load volatile float, float* %1
%57 = fcmp oeq float %55, %56
%58 = zext i1 %57 to i32
%59 = call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.8, i64 0, i64 0), i32 %58)
%60 = load volatile float, float* %1
%61 = fneg float %60
%62 = load volatile float, float* %1
%63 = fneg float %62
%64 = fcmp oeq float %61, %63
%65 = zext i1 %64 to i32
%66 = call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.9, i64 0, i64 0), i32 %65)
%67 = load volatile float, float* %1
%68 = load volatile float, float* %1
%69 = fneg float %68
%70 = fcmp une float %67, %69
%71 = zext i1 %70 to i32
%72 = call i32 @check(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.10, i64 0, i64 0), i32 %71)
%73 = load volatile float, float* %2
%74 = load volatile float, float* %2
%75 = fcmp une float %73, %74
%76 = zext i1 %75 to i32
%77 = call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 %76)
%78 = load float, float* @NAN
%79 = call i32 @isnan(float %78)
%80 = call i32 @check(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.12, i64 0, i64 0), i32 %79)
%81 = load float, float* @NAN
%82 = fneg float %81
%83 = call i32 @isnan(float %82)
%84 = call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.13, i64 0, i64 0), i32 %83)
%85 = load float, float* @NAN
%86 = call i32 @isinf(float %85)
%87 = icmp ne i32 %86, 0
%88 = xor i1 %87, true
%89 = zext i1 %88 to i32
%90 = call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.14, i64 0, i64 0), i32 %89)
%91 = load float, float* @NAN
%92 = fneg float %91
%93 = call i32 @isinf(float %92)
%94 = icmp ne i32 %93, 0
%95 = xor i1 %94, true
%96 = zext i1 %95 to i32
%97 = call i32 @check(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.15, i64 0, i64 0), i32 %96)
%98 = load float, float* @NAN
%99 = load float, float* @NAN
%100 = fcmp une float %98, %99
%101 = zext i1 %100 to i32
%102 = call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.16, i64 0, i64 0), i32 %101)
%103 = call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%104 = call i32 @isnan(float %103)
%105 = call i32 @check(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.12, i64 0, i64 0), i32 %104)
%106 = call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%107 = fneg float %106
%108 = call i32 @isnan(float %107)
%109 = call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.13, i64 0, i64 0), i32 %108)
%110 = call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%111 = call i32 @isinf(float %110)
%112 = icmp ne i32 %111, 0
%113 = xor i1 %112, true
%114 = zext i1 %113 to i32
%115 = call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.14, i64 0, i64 0), i32 %114)
%116 = call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%117 = fneg float %116
%118 = call i32 @isinf(float %117)
%119 = icmp ne i32 %118, 0
%120 = xor i1 %119, true
%121 = zext i1 %120 to i32
%122 = call i32 @check(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.15, i64 0, i64 0), i32 %121)
%123 = call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%124 = call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%125 = fcmp une float %123, %124
%126 = zext i1 %125 to i32
%127 = call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.16, i64 0, i64 0), i32 %126)
store float 1.000000e+00, float* %5
%128 = load float, float* %5
%129 = load float, float* @FLT_EPSILON
%130 = fadd float %128, %129
store float %130, float* %6
%131 = load float, float* %5
%132 = load float, float* %6
%133 = fcmp une float %131, %132
%134 = zext i1 %133 to i32
%135 = call i32 @check(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.18, i64 0, i64 0), i32 %134)
store float 1.000000e+00, float* %5
%136 = load float, float* %5
%137 = load float, float* @FLT_EPSILON
%138 = fsub float %136, %137
store float %138, float* %6
%139 = load float, float* %5
%140 = load float, float* %6
%141 = fcmp une float %139, %140
%142 = zext i1 %141 to i32
%143 = call i32 @check(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.19, i64 0, i64 0), i32 %142)
%144 = load float, float* @HUGE_VALF
store float %144, float* %5
%145 = load float, float* %5
%146 = call i32 @isinf(float %145)
%147 = icmp eq i32 %146, 1
%148 = zext i1 %147 to i32
%149 = call i32 @check(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.20, i64 0, i64 0), i32 %148)
%150 = load float, float* @HUGE_VALF
%151 = fneg float %150
store float %151, float* %5
%152 = load float, float* %5
%153 = call i32 @isinf(float %152)
%154 = icmp eq i32 %153, -1
%155 = zext i1 %154 to i32
%156 = call i32 @check(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.21, i64 0, i64 0), i32 %155)
ret void
}

LLVM IR (-O2):
@.str = [23 x i8] c"float isinf (inf) == 1\00"
@.str.1 = [25 x i8] c"float isinf (-inf) == -1\00"
@.str.2 = [17 x i8] c"float !isinf (1)\00"
@.str.3 = [19 x i8] c"float !isinf (NaN)\00"
@.str.4 = [18 x i8] c"float isnan (NaN)\00"
@.str.5 = [19 x i8] c"float isnan (-NaN)\00"
@.str.6 = [17 x i8] c"float !isnan (1)\00"
@.str.7 = [19 x i8] c"float !isnan (inf)\00"
@.str.8 = [17 x i8] c"float inf == inf\00"
@.str.9 = [19 x i8] c"float -inf == -inf\00"
@.str.10 = [18 x i8] c"float inf != -inf\00"
@.str.11 = [17 x i8] c"float NaN != NaN\00"
@.str.12 = [18 x i8] c"float isnan (NAN)\00"
@NAN = global float 0.000000e+00
@.str.13 = [19 x i8] c"float isnan (-NAN)\00"
@.str.14 = [19 x i8] c"float !isinf (NAN)\00"
@.str.15 = [20 x i8] c"float !isinf (-NAN)\00"
@.str.16 = [17 x i8] c"float NAN != NAN\00"
@.str.17 = [1 x i8] zeroinitializer
@FLT_EPSILON = global float 0.000000e+00
@.str.18 = [21 x i8] c"float 1 != 1+EPSILON\00"
@.str.19 = [21 x i8] c"float 1 != 1-EPSILON\00"
@HUGE_VALF = global float 0.000000e+00
@.str.20 = [30 x i8] c"float isinf (HUGE_VALx) == +1\00"
@.str.21 = [31 x i8] c"float isinf (-HUGE_VALx) == -1\00"
define void @float_test() {
%1 = alloca float
%2 = alloca float
%3 = alloca float
%4 = alloca float
%5 = bitcast float* %1 to i8*
%6 = bitcast float* %2 to i8*
%7 = bitcast float* %3 to i8*
%8 = bitcast float* %4 to i8*
store volatile float 0.000000e+00, float* %3
store volatile float 1.000000e+00, float* %4
%9 = load volatile float, float* %3
%10 = load volatile float, float* %3
%11 = fdiv float %9, %10
store volatile float %11, float* %2
%12 = load volatile float, float* %4
%13 = load volatile float, float* %3
%14 = fdiv float %12, %13
store volatile float %14, float* %1
%15 = load volatile float, float* %1
%16 = tail call i32 @isinf(float %15)
%17 = icmp eq i32 %16, 1
%18 = zext i1 %17 to i32
%19 = tail call i32 @check(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), i32 %18)
%20 = load volatile float, float* %1
%21 = fneg float %20
%22 = tail call i32 @isinf(float %21)
%23 = icmp eq i32 %22, -1
%24 = zext i1 %23 to i32
%25 = tail call i32 @check(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0), i32 %24)
%26 = load volatile float, float* %4
%27 = tail call i32 @isinf(float %26)
%28 = icmp eq i32 %27, 0
%29 = zext i1 %28 to i32
%30 = tail call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i32 %29)
%31 = load volatile float, float* %2
%32 = tail call i32 @isinf(float %31)
%33 = icmp eq i32 %32, 0
%34 = zext i1 %33 to i32
%35 = tail call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.3, i64 0, i64 0), i32 %34)
%36 = load volatile float, float* %2
%37 = tail call i32 @isnan(float %36)
%38 = tail call i32 @check(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.4, i64 0, i64 0), i32 %37)
%39 = load volatile float, float* %2
%40 = fneg float %39
%41 = tail call i32 @isnan(float %40)
%42 = tail call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.5, i64 0, i64 0), i32 %41)
%43 = load volatile float, float* %4
%44 = tail call i32 @isnan(float %43)
%45 = icmp eq i32 %44, 0
%46 = zext i1 %45 to i32
%47 = tail call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.6, i64 0, i64 0), i32 %46)
%48 = load volatile float, float* %1
%49 = tail call i32 @isnan(float %48)
%50 = icmp eq i32 %49, 0
%51 = zext i1 %50 to i32
%52 = tail call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0), i32 %51)
%53 = load volatile float, float* %1
%54 = load volatile float, float* %1
%55 = fcmp oeq float %53, %54
%56 = zext i1 %55 to i32
%57 = tail call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.8, i64 0, i64 0), i32 %56)
%58 = load volatile float, float* %1
%59 = load volatile float, float* %1
%60 = fcmp oeq float %58, %59
%61 = zext i1 %60 to i32
%62 = tail call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.9, i64 0, i64 0), i32 %61)
%63 = load volatile float, float* %1
%64 = load volatile float, float* %1
%65 = fneg float %64
%66 = fcmp une float %63, %65
%67 = zext i1 %66 to i32
%68 = tail call i32 @check(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.10, i64 0, i64 0), i32 %67)
%69 = load volatile float, float* %2
%70 = load volatile float, float* %2
%71 = fcmp une float %69, %70
%72 = zext i1 %71 to i32
%73 = tail call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 %72)
%74 = load float, float* @NAN
%75 = tail call i32 @isnan(float %74)
%76 = tail call i32 @check(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.12, i64 0, i64 0), i32 %75)
%77 = load float, float* @NAN
%78 = fneg float %77
%79 = tail call i32 @isnan(float %78)
%80 = tail call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.13, i64 0, i64 0), i32 %79)
%81 = load float, float* @NAN
%82 = tail call i32 @isinf(float %81)
%83 = icmp eq i32 %82, 0
%84 = zext i1 %83 to i32
%85 = tail call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.14, i64 0, i64 0), i32 %84)
%86 = load float, float* @NAN
%87 = fneg float %86
%88 = tail call i32 @isinf(float %87)
%89 = icmp eq i32 %88, 0
%90 = zext i1 %89 to i32
%91 = tail call i32 @check(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.15, i64 0, i64 0), i32 %90)
%92 = load float, float* @NAN
%93 = fcmp uno float %92, 0.000000e+00
%94 = zext i1 %93 to i32
%95 = tail call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.16, i64 0, i64 0), i32 %94)
%96 = tail call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%97 = tail call i32 @isnan(float %96)
%98 = tail call i32 @check(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.12, i64 0, i64 0), i32 %97)
%99 = tail call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%100 = fneg float %99
%101 = tail call i32 @isnan(float %100)
%102 = tail call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.13, i64 0, i64 0), i32 %101)
%103 = tail call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%104 = tail call i32 @isinf(float %103)
%105 = icmp eq i32 %104, 0
%106 = zext i1 %105 to i32
%107 = tail call i32 @check(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.14, i64 0, i64 0), i32 %106)
%108 = tail call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%109 = fneg float %108
%110 = tail call i32 @isinf(float %109)
%111 = icmp eq i32 %110, 0
%112 = zext i1 %111 to i32
%113 = tail call i32 @check(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.15, i64 0, i64 0), i32 %112)
%114 = tail call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%115 = tail call float @nanf(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.17, i64 0, i64 0))
%116 = fcmp une float %114, %115
%117 = zext i1 %116 to i32
%118 = tail call i32 @check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.16, i64 0, i64 0), i32 %117)
%119 = load float, float* @FLT_EPSILON
%120 = fadd float %119, 1.000000e+00
%121 = fcmp une float %120, 1.000000e+00
%122 = zext i1 %121 to i32
%123 = tail call i32 @check(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.18, i64 0, i64 0), i32 %122)
%124 = load float, float* @FLT_EPSILON
%125 = fsub float 1.000000e+00, %124
%126 = fcmp une float %125, 1.000000e+00
%127 = zext i1 %126 to i32
%128 = tail call i32 @check(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.19, i64 0, i64 0), i32 %127)
%129 = load float, float* @HUGE_VALF
%130 = tail call i32 @isinf(float %129)
%131 = icmp eq i32 %130, 1
%132 = zext i1 %131 to i32
%133 = tail call i32 @check(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.20, i64 0, i64 0), i32 %132)
%134 = load float, float* @HUGE_VALF
%135 = fneg float %134
%136 = tail call i32 @isinf(float %135)
%137 = icmp eq i32 %136, -1
%138 = zext i1 %137 to i32
%139 = tail call i32 @check(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.21, i64 0, i64 0), i32 %138)
ret void
}