#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*/ FLT_MAX;
double HUGE_VAL;
double HUGE_VALF;
double INFINITY;
double NAN;
int /*<<< orphan*/ assert(int);
int isinf(double);
int isnan(double);
int isnormal(int /*<<< orphan*/);
int signbit(double);
int main() {
  double d;
  assert(isnormal(FLT_MAX));
  assert(isinf(HUGE_VAL));
  assert(isinf(HUGE_VALF));
  assert(isinf(INFINITY));
  assert(isnan(NAN));
  assert(isinf(INFINITY + INFINITY));
  assert(isnan(-INFINITY + INFINITY));
  assert(INFINITY + INFINITY > 0);
  assert(isnan(NAN + d));
  assert(isnan(NAN + INFINITY));
  assert(isnan(INFINITY - INFINITY));
  assert(isinf(-INFINITY - INFINITY));
  assert(-INFINITY - INFINITY < 0);
  assert(isnan(NAN - d));
  assert(isnan(NAN - INFINITY));
  assert(isinf(INFINITY * INFINITY));
  assert(isinf(-INFINITY * INFINITY));
  assert(INFINITY * INFINITY > 0);
  assert(-INFINITY * INFINITY < 0);
  assert(isnan(NAN * d));
  assert(isnan(NAN * INFINITY));
  assert(isnan(INFINITY * 0));
  assert(signbit(1.0 * -0.0));
  assert(!signbit(1.0 * 0.0));
  assert(isnan(INFINITY / INFINITY));
  assert(isnan(-INFINITY / INFINITY));
  assert(isinf(INFINITY / 0));
  assert(0.0 / INFINITY == 0);
  assert(1.0 / INFINITY == 0);
  assert(signbit(-1.0 / INFINITY));
  assert(signbit(1.0 / -INFINITY));
  assert(INFINITY / -2 < 0);
  assert(isinf(1.0 / 0.0));
  assert(isinf(INFINITY / 2));
  assert(isnan(0.0 / 0.0));
  assert(isnan(NAN / d));
  assert(isnan(NAN / INFINITY));
  assert(signbit(-0.0 / 1));
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    0x2e69(%rip),%rax
mov    (%rax),%edi
call   1040 <isnormal@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2e5c(%rip),%rax
movsd  (%rax),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2e5d(%rip),%rax
movsd  (%rax),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2e36(%rip),%rax
movsd  (%rax),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2e3f(%rip),%rax
movsd  (%rax),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2e08(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2dfd(%rip),%rax
addsd  (%rax),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2de6(%rip),%rax
movsd  (%rax),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mov    0x2dc4(%rip),%rax
addsd  (%rax),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2dad(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2da2(%rip),%rax
addsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    0x2da3(%rip),%rax
movsd  (%rax),%xmm0
addsd  -0x8(%rbp),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2d87(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2d5c(%rip),%rax
addsd  (%rax),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2d45(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2d3a(%rip),%rax
subsd  (%rax),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2d23(%rip),%rax
movsd  (%rax),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mov    0x2d01(%rip),%rax
subsd  (%rax),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2cea(%rip),%rax
movsd  (%rax),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mov    0x2cc8(%rip),%rax
subsd  (%rax),%xmm1
xorps  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    0x2cc9(%rip),%rax
movsd  (%rax),%xmm0
subsd  -0x8(%rbp),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2cad(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2c82(%rip),%rax
subsd  (%rax),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2c6b(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2c60(%rip),%rax
mulsd  (%rax),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2c49(%rip),%rax
movsd  (%rax),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mov    0x2c27(%rip),%rax
mulsd  (%rax),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2c10(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2c05(%rip),%rax
mulsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    0x2be6(%rip),%rax
movsd  (%rax),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mov    0x2bc4(%rip),%rax
mulsd  (%rax),%xmm1
xorps  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    0x2bc5(%rip),%rax
movsd  (%rax),%xmm0
mulsd  -0x8(%rbp),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2ba9(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2b7e(%rip),%rax
mulsd  (%rax),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
xorps  %xmm0,%xmm0
mov    0x2b64(%rip),%rax
mulsd  (%rax),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  0xb74(%rip),%xmm0
call   1060 <signbit@plt>
mov    %eax,%edi
call   1030 <assert@plt>
xorps  %xmm0,%xmm0
call   1060 <signbit@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    0x2b1f(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2b14(%rip),%rax
divsd  (%rax),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2afd(%rip),%rax
movsd  (%rax),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mov    0x2adb(%rip),%rax
divsd  (%rax),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2ac4(%rip),%rax
movsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
divsd  %xmm1,%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
xorps  %xmm0,%xmm0
mov    0x2aa3(%rip),%rax
divsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movsd  0xace(%rip),%xmm0
mov    0x2a77(%rip),%rax
divsd  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movsd  0xaaa(%rip),%xmm0
mov    0x2a4b(%rip),%rax
divsd  (%rax),%xmm0
call   1060 <signbit@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2a34(%rip),%rax
movsd  (%rax),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  0xa61(%rip),%xmm0
divsd  %xmm1,%xmm0
call   1060 <signbit@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x29fa(%rip),%rax
movsd  (%rax),%xmm1
movsd  0xa36(%rip),%xmm0
divsd  %xmm0,%xmm1
xorps  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movsd  0xa0e(%rip),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x29bb(%rip),%rax
movsd  (%rax),%xmm0
movsd  0x9e7(%rip),%xmm1
divsd  %xmm1,%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  0x9c7(%rip),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x29a4(%rip),%rax
movsd  (%rax),%xmm0
divsd  -0x8(%rbp),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2988(%rip),%rax
movsd  (%rax),%xmm0
mov    0x295d(%rip),%rax
divsd  (%rax),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  0x96d(%rip),%xmm0
call   1060 <signbit@plt>
mov    %eax,%edi
call   1030 <assert@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
push   %rax
mov    0x2e6d(%rip),%rax
mov    (%rax),%edi
call   1040 <isnormal@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2e60(%rip),%rax
movsd  (%rax),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2e61(%rip),%rax
movsd  (%rax),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2e3a(%rip),%rbx
movsd  (%rbx),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
mov    0x2e43(%rip),%r14
movsd  (%r14),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
addsd  %xmm0,%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
subsd  %xmm0,%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
addsd  %xmm0,%xmm0
xorpd  %xmm1,%xmm1
xor    %edi,%edi
ucomisd %xmm1,%xmm0
seta   %dil
call   1030 <assert@plt>
movsd  0xdef(%rip),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%r14),%xmm0
addsd  (%rbx),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
subsd  %xmm0,%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm1
movsd  0xdb6(%rip),%xmm2
movapd %xmm1,%xmm0
xorpd  %xmm2,%xmm0
subsd  %xmm1,%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
movapd %xmm0,%xmm1
movsd  0xd8e(%rip),%xmm2
xorpd  %xmm2,%xmm1
subsd  %xmm0,%xmm1
xor    %edi,%edi
xorpd  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
seta   %dil
call   1030 <assert@plt>
movsd  0xd63(%rip),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%r14),%xmm0
subsd  (%rbx),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
mulsd  %xmm0,%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm1
movapd %xmm1,%xmm0
movsd  0xd26(%rip),%xmm2
xorpd  %xmm2,%xmm0
mulsd  %xmm1,%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
mulsd  %xmm0,%xmm0
xor    %edi,%edi
ucomisd 0xd30(%rip),%xmm0
seta   %dil
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
movapd %xmm0,%xmm1
movsd  0xce7(%rip),%xmm2
xorpd  %xmm2,%xmm1
mulsd  %xmm0,%xmm1
xor    %edi,%edi
xorpd  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
seta   %dil
call   1030 <assert@plt>
movsd  0xcbc(%rip),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%r14),%xmm0
mulsd  (%rbx),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
mulsd  0xcc7(%rip),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  0xc83(%rip),%xmm0
call   1060 <signbit@plt>
mov    %eax,%edi
call   1030 <assert@plt>
xorps  %xmm0,%xmm0
call   1060 <signbit@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
divsd  %xmm0,%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm1
movapd %xmm1,%xmm0
movsd  0xc3e(%rip),%xmm2
xorpd  %xmm2,%xmm0
divsd  %xmm1,%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
divsd  0xc4e(%rip),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
xorpd  %xmm0,%xmm0
divsd  (%rbx),%xmm0
cmpeqsd 0xc31(%rip),%xmm0
movq   %xmm0,%rdi
and    $0x1,%edi
call   1030 <assert@plt>
movsd  0xbf4(%rip),%xmm0
divsd  (%rbx),%xmm0
cmpeqsd 0xc0f(%rip),%xmm0
movq   %xmm0,%rdi
and    $0x1,%edi
call   1030 <assert@plt>
movsd  0xbda(%rip),%xmm0
divsd  (%rbx),%xmm0
call   1060 <signbit@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  0xbc2(%rip),%xmm0
divsd  (%rbx),%xmm0
call   1060 <signbit@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
mulsd  0xbae(%rip),%xmm0
xor    %edi,%edi
xorpd  %xmm1,%xmm1
ucomisd %xmm0,%xmm1
seta   %dil
call   1030 <assert@plt>
movsd  0xb9b(%rip),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%rbx),%xmm0
mulsd  0xb8b(%rip),%xmm0
call   1070 <isinf@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  0xb47(%rip),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  0xb33(%rip),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  (%r14),%xmm0
divsd  (%rbx),%xmm0
call   1050 <isnan@plt>
mov    %eax,%edi
call   1030 <assert@plt>
movsd  0xb12(%rip),%xmm0
call   1060 <signbit@plt>
mov    %eax,%edi
call   1030 <assert@plt>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@FLT_MAX = global i32 0
@HUGE_VAL = global double 0.000000e+00
@HUGE_VALF = global double 0.000000e+00
@INFINITY = global double 0.000000e+00
@NAN = global double 0.000000e+00
define i32 @main() {
%1 = alloca double
%2 = load i32, i32* @FLT_MAX
%3 = call i32 @isnormal(i32 %2)
%4 = call i32 @assert(i32 %3)
%5 = load double, double* @HUGE_VAL
%6 = call i32 @isinf(double %5)
%7 = call i32 @assert(i32 %6)
%8 = load double, double* @HUGE_VALF
%9 = call i32 @isinf(double %8)
%10 = call i32 @assert(i32 %9)
%11 = load double, double* @INFINITY
%12 = call i32 @isinf(double %11)
%13 = call i32 @assert(i32 %12)
%14 = load double, double* @NAN
%15 = call i32 @isnan(double %14)
%16 = call i32 @assert(i32 %15)
%17 = load double, double* @INFINITY
%18 = load double, double* @INFINITY
%19 = fadd double %17, %18
%20 = call i32 @isinf(double %19)
%21 = call i32 @assert(i32 %20)
%22 = load double, double* @INFINITY
%23 = fneg double %22
%24 = load double, double* @INFINITY
%25 = fadd double %23, %24
%26 = call i32 @isnan(double %25)
%27 = call i32 @assert(i32 %26)
%28 = load double, double* @INFINITY
%29 = load double, double* @INFINITY
%30 = fadd double %28, %29
%31 = fcmp ogt double %30, 0.000000e+00
%32 = zext i1 %31 to i32
%33 = call i32 @assert(i32 %32)
%34 = load double, double* @NAN
%35 = load double, double* %1
%36 = fadd double %34, %35
%37 = call i32 @isnan(double %36)
%38 = call i32 @assert(i32 %37)
%39 = load double, double* @NAN
%40 = load double, double* @INFINITY
%41 = fadd double %39, %40
%42 = call i32 @isnan(double %41)
%43 = call i32 @assert(i32 %42)
%44 = load double, double* @INFINITY
%45 = load double, double* @INFINITY
%46 = fsub double %44, %45
%47 = call i32 @isnan(double %46)
%48 = call i32 @assert(i32 %47)
%49 = load double, double* @INFINITY
%50 = fneg double %49
%51 = load double, double* @INFINITY
%52 = fsub double %50, %51
%53 = call i32 @isinf(double %52)
%54 = call i32 @assert(i32 %53)
%55 = load double, double* @INFINITY
%56 = fneg double %55
%57 = load double, double* @INFINITY
%58 = fsub double %56, %57
%59 = fcmp olt double %58, 0.000000e+00
%60 = zext i1 %59 to i32
%61 = call i32 @assert(i32 %60)
%62 = load double, double* @NAN
%63 = load double, double* %1
%64 = fsub double %62, %63
%65 = call i32 @isnan(double %64)
%66 = call i32 @assert(i32 %65)
%67 = load double, double* @NAN
%68 = load double, double* @INFINITY
%69 = fsub double %67, %68
%70 = call i32 @isnan(double %69)
%71 = call i32 @assert(i32 %70)
%72 = load double, double* @INFINITY
%73 = load double, double* @INFINITY
%74 = fmul double %72, %73
%75 = call i32 @isinf(double %74)
%76 = call i32 @assert(i32 %75)
%77 = load double, double* @INFINITY
%78 = fneg double %77
%79 = load double, double* @INFINITY
%80 = fmul double %78, %79
%81 = call i32 @isinf(double %80)
%82 = call i32 @assert(i32 %81)
%83 = load double, double* @INFINITY
%84 = load double, double* @INFINITY
%85 = fmul double %83, %84
%86 = fcmp ogt double %85, 0.000000e+00
%87 = zext i1 %86 to i32
%88 = call i32 @assert(i32 %87)
%89 = load double, double* @INFINITY
%90 = fneg double %89
%91 = load double, double* @INFINITY
%92 = fmul double %90, %91
%93 = fcmp olt double %92, 0.000000e+00
%94 = zext i1 %93 to i32
%95 = call i32 @assert(i32 %94)
%96 = load double, double* @NAN
%97 = load double, double* %1
%98 = fmul double %96, %97
%99 = call i32 @isnan(double %98)
%100 = call i32 @assert(i32 %99)
%101 = load double, double* @NAN
%102 = load double, double* @INFINITY
%103 = fmul double %101, %102
%104 = call i32 @isnan(double %103)
%105 = call i32 @assert(i32 %104)
%106 = load double, double* @INFINITY
%107 = fmul double %106, 0.000000e+00
%108 = call i32 @isnan(double %107)
%109 = call i32 @assert(i32 %108)
%110 = call i32 @signbit(double -0.000000e+00)
%111 = call i32 @assert(i32 %110)
%112 = call i32 @signbit(double 0.000000e+00)
%113 = icmp ne i32 %112, 0
%114 = xor i1 %113, true
%115 = zext i1 %114 to i32
%116 = call i32 @assert(i32 %115)
%117 = load double, double* @INFINITY
%118 = load double, double* @INFINITY
%119 = fdiv double %117, %118
%120 = call i32 @isnan(double %119)
%121 = call i32 @assert(i32 %120)
%122 = load double, double* @INFINITY
%123 = fneg double %122
%124 = load double, double* @INFINITY
%125 = fdiv double %123, %124
%126 = call i32 @isnan(double %125)
%127 = call i32 @assert(i32 %126)
%128 = load double, double* @INFINITY
%129 = fdiv double %128, 0.000000e+00
%130 = call i32 @isinf(double %129)
%131 = call i32 @assert(i32 %130)
%132 = load double, double* @INFINITY
%133 = fdiv double 0.000000e+00, %132
%134 = fcmp oeq double %133, 0.000000e+00
%135 = zext i1 %134 to i32
%136 = call i32 @assert(i32 %135)
%137 = load double, double* @INFINITY
%138 = fdiv double 1.000000e+00, %137
%139 = fcmp oeq double %138, 0.000000e+00
%140 = zext i1 %139 to i32
%141 = call i32 @assert(i32 %140)
%142 = load double, double* @INFINITY
%143 = fdiv double -1.000000e+00, %142
%144 = call i32 @signbit(double %143)
%145 = call i32 @assert(i32 %144)
%146 = load double, double* @INFINITY
%147 = fneg double %146
%148 = fdiv double 1.000000e+00, %147
%149 = call i32 @signbit(double %148)
%150 = call i32 @assert(i32 %149)
%151 = load double, double* @INFINITY
%152 = fdiv double %151, -2.000000e+00
%153 = fcmp olt double %152, 0.000000e+00
%154 = zext i1 %153 to i32
%155 = call i32 @assert(i32 %154)
%156 = call i32 @isinf(double 0x7FF0000000000000)
%157 = call i32 @assert(i32 %156)
%158 = load double, double* @INFINITY
%159 = fdiv double %158, 2.000000e+00
%160 = call i32 @isinf(double %159)
%161 = call i32 @assert(i32 %160)
%162 = call i32 @isnan(double 0x7FF8000000000000)
%163 = call i32 @assert(i32 %162)
%164 = load double, double* @NAN
%165 = load double, double* %1
%166 = fdiv double %164, %165
%167 = call i32 @isnan(double %166)
%168 = call i32 @assert(i32 %167)
%169 = load double, double* @NAN
%170 = load double, double* @INFINITY
%171 = fdiv double %169, %170
%172 = call i32 @isnan(double %171)
%173 = call i32 @assert(i32 %172)
%174 = call i32 @signbit(double -0.000000e+00)
%175 = call i32 @assert(i32 %174)
ret i32 0
}

LLVM IR (-O2):
@FLT_MAX = global i32 0
@HUGE_VAL = global double 0.000000e+00
@HUGE_VALF = global double 0.000000e+00
@INFINITY = global double 0.000000e+00
@NAN = global double 0.000000e+00
define i32 @main() {
%1 = load i32, i32* @FLT_MAX
%2 = tail call i32 @isnormal(i32 %1)
%3 = tail call i32 @assert(i32 %2)
%4 = load double, double* @HUGE_VAL
%5 = tail call i32 @isinf(double %4)
%6 = tail call i32 @assert(i32 %5)
%7 = load double, double* @HUGE_VALF
%8 = tail call i32 @isinf(double %7)
%9 = tail call i32 @assert(i32 %8)
%10 = load double, double* @INFINITY
%11 = tail call i32 @isinf(double %10)
%12 = tail call i32 @assert(i32 %11)
%13 = load double, double* @NAN
%14 = tail call i32 @isnan(double %13)
%15 = tail call i32 @assert(i32 %14)
%16 = load double, double* @INFINITY
%17 = fadd double %16, %16
%18 = tail call i32 @isinf(double %17)
%19 = tail call i32 @assert(i32 %18)
%20 = load double, double* @INFINITY
%21 = fsub double %20, %20
%22 = tail call i32 @isnan(double %21)
%23 = tail call i32 @assert(i32 %22)
%24 = load double, double* @INFINITY
%25 = fadd double %24, %24
%26 = fcmp ogt double %25, 0.000000e+00
%27 = zext i1 %26 to i32
%28 = tail call i32 @assert(i32 %27)
%29 = tail call i32 @isnan(double 0x7FF8000000000000)
%30 = tail call i32 @assert(i32 %29)
%31 = load double, double* @NAN
%32 = load double, double* @INFINITY
%33 = fadd double %31, %32
%34 = tail call i32 @isnan(double %33)
%35 = tail call i32 @assert(i32 %34)
%36 = load double, double* @INFINITY
%37 = fsub double %36, %36
%38 = tail call i32 @isnan(double %37)
%39 = tail call i32 @assert(i32 %38)
%40 = load double, double* @INFINITY
%41 = fneg double %40
%42 = fsub double %41, %40
%43 = tail call i32 @isinf(double %42)
%44 = tail call i32 @assert(i32 %43)
%45 = load double, double* @INFINITY
%46 = fneg double %45
%47 = fsub double %46, %45
%48 = fcmp olt double %47, 0.000000e+00
%49 = zext i1 %48 to i32
%50 = tail call i32 @assert(i32 %49)
%51 = tail call i32 @isnan(double 0x7FF8000000000000)
%52 = tail call i32 @assert(i32 %51)
%53 = load double, double* @NAN
%54 = load double, double* @INFINITY
%55 = fsub double %53, %54
%56 = tail call i32 @isnan(double %55)
%57 = tail call i32 @assert(i32 %56)
%58 = load double, double* @INFINITY
%59 = fmul double %58, %58
%60 = tail call i32 @isinf(double %59)
%61 = tail call i32 @assert(i32 %60)
%62 = load double, double* @INFINITY
%63 = fneg double %62
%64 = fmul double %62, %63
%65 = tail call i32 @isinf(double %64)
%66 = tail call i32 @assert(i32 %65)
%67 = load double, double* @INFINITY
%68 = fmul double %67, %67
%69 = fcmp ogt double %68, 0.000000e+00
%70 = zext i1 %69 to i32
%71 = tail call i32 @assert(i32 %70)
%72 = load double, double* @INFINITY
%73 = fneg double %72
%74 = fmul double %72, %73
%75 = fcmp olt double %74, 0.000000e+00
%76 = zext i1 %75 to i32
%77 = tail call i32 @assert(i32 %76)
%78 = tail call i32 @isnan(double 0x7FF8000000000000)
%79 = tail call i32 @assert(i32 %78)
%80 = load double, double* @NAN
%81 = load double, double* @INFINITY
%82 = fmul double %80, %81
%83 = tail call i32 @isnan(double %82)
%84 = tail call i32 @assert(i32 %83)
%85 = load double, double* @INFINITY
%86 = fmul double %85, 0.000000e+00
%87 = tail call i32 @isnan(double %86)
%88 = tail call i32 @assert(i32 %87)
%89 = tail call i32 @signbit(double -0.000000e+00)
%90 = tail call i32 @assert(i32 %89)
%91 = tail call i32 @signbit(double 0.000000e+00)
%92 = icmp eq i32 %91, 0
%93 = zext i1 %92 to i32
%94 = tail call i32 @assert(i32 %93)
%95 = load double, double* @INFINITY
%96 = fdiv double %95, %95
%97 = tail call i32 @isnan(double %96)
%98 = tail call i32 @assert(i32 %97)
%99 = load double, double* @INFINITY
%100 = fneg double %99
%101 = fdiv double %100, %99
%102 = tail call i32 @isnan(double %101)
%103 = tail call i32 @assert(i32 %102)
%104 = load double, double* @INFINITY
%105 = fdiv double %104, 0.000000e+00
%106 = tail call i32 @isinf(double %105)
%107 = tail call i32 @assert(i32 %106)
%108 = load double, double* @INFINITY
%109 = fdiv double 0.000000e+00, %108
%110 = fcmp oeq double %109, 0.000000e+00
%111 = zext i1 %110 to i32
%112 = tail call i32 @assert(i32 %111)
%113 = load double, double* @INFINITY
%114 = fdiv double 1.000000e+00, %113
%115 = fcmp oeq double %114, 0.000000e+00
%116 = zext i1 %115 to i32
%117 = tail call i32 @assert(i32 %116)
%118 = load double, double* @INFINITY
%119 = fdiv double -1.000000e+00, %118
%120 = tail call i32 @signbit(double %119)
%121 = tail call i32 @assert(i32 %120)
%122 = load double, double* @INFINITY
%123 = fdiv double -1.000000e+00, %122
%124 = tail call i32 @signbit(double %123)
%125 = tail call i32 @assert(i32 %124)
%126 = load double, double* @INFINITY
%127 = fmul double %126, -5.000000e-01
%128 = fcmp olt double %127, 0.000000e+00
%129 = zext i1 %128 to i32
%130 = tail call i32 @assert(i32 %129)
%131 = tail call i32 @isinf(double 0x7FF0000000000000)
%132 = tail call i32 @assert(i32 %131)
%133 = load double, double* @INFINITY
%134 = fmul double %133, 5.000000e-01
%135 = tail call i32 @isinf(double %134)
%136 = tail call i32 @assert(i32 %135)
%137 = tail call i32 @isnan(double 0x7FF8000000000000)
%138 = tail call i32 @assert(i32 %137)
%139 = tail call i32 @isnan(double 0x7FF8000000000000)
%140 = tail call i32 @assert(i32 %139)
%141 = load double, double* @NAN
%142 = load double, double* @INFINITY
%143 = fdiv double %141, %142
%144 = tail call i32 @isnan(double %143)
%145 = tail call i32 @assert(i32 %144)
%146 = tail call i32 @signbit(double -0.000000e+00)
%147 = tail call i32 @assert(i32 %146)
ret i32 0
}