#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__ FP_INFINITE;
scalar_t__ FP_NAN;
scalar_t__ FP_NORMAL;
scalar_t__ FP_ZERO;
double HUGE_VAL;
double INFINITY;
double NAN;
int /*<<< orphan*/ abort();
scalar_t__ fpclassify(double);
scalar_t__ isfinite(double);
int /*<<< orphan*/ isgreater(double, double);
int /*<<< orphan*/ isgreaterequal(double, double);
scalar_t__ isinf(double);
int /*<<< orphan*/ isless(double, double);
int /*<<< orphan*/ islessequal(double, double);
int /*<<< orphan*/ islessgreater(double, double);
scalar_t__ isnan(double);
scalar_t__ isnormal(double);
int /*<<< orphan*/ isunordered(double, double);
scalar_t__ signbit(double);
int main(void) {
  double nan = NAN;
  double inf = INFINITY;
  double huge = HUGE_VAL;
  double norm = ((double)2.22507385850720138309023271733240406e-308L);
  double zero = 0.0;
  {
    if (fpclassify(nan) != FP_NAN)
      abort();
    if (fpclassify(inf) != FP_INFINITE)
      abort();
    if (fpclassify(huge) != FP_INFINITE)
      abort();
    if (fpclassify(norm) != FP_NORMAL)
      abort();
    if (fpclassify(zero) != FP_ZERO)
      abort();
    if (!isnan(nan))
      abort();
    if (isnan(inf))
      abort();
    if (isnan(huge))
      abort();
    if (isnan(norm))
      abort();
    if (isnan(zero))
      abort();
    if (isinf(nan))
      abort();
    if (!isinf(inf))
      abort();
    if (!isinf(huge))
      abort();
    if (isnan(norm))
      abort();
    if (isinf(zero))
      abort();
    if (isfinite(nan))
      abort();
    if (isfinite(inf))
      abort();
    if (isfinite(huge))
      abort();
    if (!isfinite(norm))
      abort();
    if (!isfinite(zero))
      abort();
    if (isnormal(nan))
      abort();
    if (isnormal(inf))
      abort();
    if (isnormal(huge))
      abort();
    if (!isnormal(norm))
      abort();
    if (isnormal(zero))
      abort();
    if (signbit(norm))
      abort();
    if (!signbit(-(norm)))
      abort();
    if (!isgreater((inf), (norm)))
      abort();
    if (!isgreaterequal((inf), (huge)))
      abort();
    if (!isless((norm), (inf)))
      abort();
    if (!islessequal((huge), (inf)))
      abort();
    if (!islessgreater((inf), (norm)))
      abort();
    if (!isunordered((nan), (norm)))
      abort();
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
mov    0x2e12(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    0x2de2(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    0x2dba(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xde9(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1070 <fpclassify@plt>
mov    0x2d9b(%rip),%rcx
cmp    (%rcx),%rax
je     1245 <main+0x75>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x18(%rbp),%xmm0
call   1070 <fpclassify@plt>
mov    0x2d72(%rip),%rcx
cmp    (%rcx),%rax
je     1266 <main+0x96>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x20(%rbp),%xmm0
call   1070 <fpclassify@plt>
mov    0x2d51(%rip),%rcx
cmp    (%rcx),%rax
je     1287 <main+0xb7>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x28(%rbp),%xmm0
call   1070 <fpclassify@plt>
mov    0x2d50(%rip),%rcx
cmp    (%rcx),%rax
je     12a8 <main+0xd8>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x30(%rbp),%xmm0
call   1070 <fpclassify@plt>
mov    0x2cff(%rip),%rcx
cmp    (%rcx),%rax
je     12c9 <main+0xf9>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x10(%rbp),%xmm0
call   1080 <isnan@plt>
cmp    $0x0,%rax
jne    12e4 <main+0x114>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x18(%rbp),%xmm0
call   1080 <isnan@plt>
cmp    $0x0,%rax
je     12ff <main+0x12f>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x20(%rbp),%xmm0
call   1080 <isnan@plt>
cmp    $0x0,%rax
je     131a <main+0x14a>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x28(%rbp),%xmm0
call   1080 <isnan@plt>
cmp    $0x0,%rax
je     1335 <main+0x165>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x30(%rbp),%xmm0
call   1080 <isnan@plt>
cmp    $0x0,%rax
je     1350 <main+0x180>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x10(%rbp),%xmm0
call   10e0 <isinf@plt>
cmp    $0x0,%rax
je     136b <main+0x19b>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x18(%rbp),%xmm0
call   10e0 <isinf@plt>
cmp    $0x0,%rax
jne    1386 <main+0x1b6>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x20(%rbp),%xmm0
call   10e0 <isinf@plt>
cmp    $0x0,%rax
jne    13a1 <main+0x1d1>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x28(%rbp),%xmm0
call   1080 <isnan@plt>
cmp    $0x0,%rax
je     13bc <main+0x1ec>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x30(%rbp),%xmm0
call   10e0 <isinf@plt>
cmp    $0x0,%rax
je     13d7 <main+0x207>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x10(%rbp),%xmm0
call   1040 <isfinite@plt>
cmp    $0x0,%rax
je     13f2 <main+0x222>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x18(%rbp),%xmm0
call   1040 <isfinite@plt>
cmp    $0x0,%rax
je     140d <main+0x23d>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x20(%rbp),%xmm0
call   1040 <isfinite@plt>
cmp    $0x0,%rax
je     1428 <main+0x258>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x28(%rbp),%xmm0
call   1040 <isfinite@plt>
cmp    $0x0,%rax
jne    1443 <main+0x273>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x30(%rbp),%xmm0
call   1040 <isfinite@plt>
cmp    $0x0,%rax
jne    145e <main+0x28e>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x10(%rbp),%xmm0
call   1050 <isnormal@plt>
cmp    $0x0,%rax
je     1479 <main+0x2a9>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x18(%rbp),%xmm0
call   1050 <isnormal@plt>
cmp    $0x0,%rax
je     1494 <main+0x2c4>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x20(%rbp),%xmm0
call   1050 <isnormal@plt>
cmp    $0x0,%rax
je     14af <main+0x2df>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x28(%rbp),%xmm0
call   1050 <isnormal@plt>
cmp    $0x0,%rax
jne    14ca <main+0x2fa>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x30(%rbp),%xmm0
call   1050 <isnormal@plt>
cmp    $0x0,%rax
je     14e5 <main+0x315>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x28(%rbp),%xmm0
call   1090 <signbit@plt>
cmp    $0x0,%rax
je     1500 <main+0x330>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x28(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
call   1090 <signbit@plt>
cmp    $0x0,%rax
jne    1532 <main+0x362>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x18(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
call   10b0 <isgreater@plt>
cmp    $0x0,%eax
jne    1551 <main+0x381>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x18(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm1
call   10f0 <isgreaterequal@plt>
cmp    $0x0,%eax
jne    1570 <main+0x3a0>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x28(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
call   10c0 <isless@plt>
cmp    $0x0,%eax
jne    158f <main+0x3bf>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x20(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
call   1060 <islessequal@plt>
cmp    $0x0,%eax
jne    15ae <main+0x3de>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x18(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
call   10a0 <islessgreater@plt>
cmp    $0x0,%eax
jne    15cd <main+0x3fd>
mov    $0x0,%al
call   1030 <abort@plt>
movsd  -0x10(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
call   10d0 <isunordered@plt>
cmp    $0x0,%eax
jne    15ec <main+0x41c>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x20,%rsp
mov    0x2e1c(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2df1(%rip),%rax
movsd  (%rax),%xmm1
movsd  %xmm1,0x8(%rsp)
mov    0x2dc8(%rip),%rax
movsd  (%rax),%xmm1
movsd  %xmm1,0x10(%rsp)
movsd  %xmm0,0x18(%rsp)
call   1070 <fpclassify@plt>
mov    0x2dbc(%rip),%rcx
cmp    (%rcx),%rax
jne    14c7 <main+0x2f7>
movsd  0x8(%rsp),%xmm0
call   1070 <fpclassify@plt>
mov    0x2d99(%rip),%rbx
cmp    (%rbx),%rax
jne    14c7 <main+0x2f7>
movsd  0x10(%rsp),%xmm0
call   1070 <fpclassify@plt>
cmp    (%rbx),%rax
jne    14c7 <main+0x2f7>
movsd  0xdac(%rip),%xmm0
call   1070 <fpclassify@plt>
mov    0x2d88(%rip),%rcx
cmp    (%rcx),%rax
jne    14c7 <main+0x2f7>
xorps  %xmm0,%xmm0
call   1070 <fpclassify@plt>
mov    0x2d40(%rip),%rcx
cmp    (%rcx),%rax
jne    14c7 <main+0x2f7>
movsd  0x18(%rsp),%xmm0
call   1080 <isnan@plt>
test   %rax,%rax
je     14c7 <main+0x2f7>
movsd  0x8(%rsp),%xmm0
call   1080 <isnan@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0x10(%rsp),%xmm0
call   1080 <isnan@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0xd3b(%rip),%xmm0
call   1080 <isnan@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
xorps  %xmm0,%xmm0
call   1080 <isnan@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0x18(%rsp),%xmm0
call   10e0 <isinf@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0x8(%rsp),%xmm0
call   10e0 <isinf@plt>
test   %rax,%rax
je     14c7 <main+0x2f7>
movsd  0x10(%rsp),%xmm0
call   10e0 <isinf@plt>
test   %rax,%rax
je     14c7 <main+0x2f7>
movsd  0xcd8(%rip),%xmm0
call   1080 <isnan@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
xorps  %xmm0,%xmm0
call   10e0 <isinf@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0x18(%rsp),%xmm0
call   1040 <isfinite@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0x8(%rsp),%xmm0
call   1040 <isfinite@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0x10(%rsp),%xmm0
call   1040 <isfinite@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0xc75(%rip),%xmm0
call   1040 <isfinite@plt>
test   %rax,%rax
je     14c7 <main+0x2f7>
xorps  %xmm0,%xmm0
call   1040 <isfinite@plt>
test   %rax,%rax
je     14c7 <main+0x2f7>
movsd  0x18(%rsp),%xmm0
call   1050 <isnormal@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0x8(%rsp),%xmm0
call   1050 <isnormal@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0x10(%rsp),%xmm0
call   1050 <isnormal@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0xc12(%rip),%xmm0
call   1050 <isnormal@plt>
test   %rax,%rax
je     14c7 <main+0x2f7>
xorps  %xmm0,%xmm0
call   1050 <isnormal@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0xbeb(%rip),%xmm0
call   1090 <signbit@plt>
test   %rax,%rax
jne    14c7 <main+0x2f7>
movsd  0xbdd(%rip),%xmm0
call   1090 <signbit@plt>
test   %rax,%rax
je     14c7 <main+0x2f7>
movsd  0xbbf(%rip),%xmm1
movsd  0x8(%rsp),%xmm0
call   10b0 <isgreater@plt>
test   %eax,%eax
je     14c7 <main+0x2f7>
movsd  0x8(%rsp),%xmm0
movsd  0x10(%rsp),%xmm1
call   10f0 <isgreaterequal@plt>
test   %eax,%eax
je     14c7 <main+0x2f7>
movsd  0xb93(%rip),%xmm0
movsd  0x8(%rsp),%xmm1
call   10c0 <isless@plt>
test   %eax,%eax
je     14c7 <main+0x2f7>
movsd  0x10(%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
call   1060 <islessequal@plt>
test   %eax,%eax
je     14c7 <main+0x2f7>
movsd  0xb67(%rip),%xmm1
movsd  0x8(%rsp),%xmm0
call   10a0 <islessgreater@plt>
test   %eax,%eax
je     14c7 <main+0x2f7>
movsd  0xb50(%rip),%xmm1
movsd  0x18(%rsp),%xmm0
call   10d0 <isunordered@plt>
test   %eax,%eax
je     14c7 <main+0x2f7>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbx
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
@NAN = global double 0.000000e+00
@INFINITY = global double 0.000000e+00
@HUGE_VAL = global double 0.000000e+00
@FP_NAN = global i64 0
@FP_INFINITE = global i64 0
@FP_NORMAL = global i64 0
@FP_ZERO = global i64 0
define i32 @main() {
%1 = alloca i32
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
%6 = alloca double
store i32 0, i32* %1
%7 = load double, double* @NAN
store double %7, double* %2
%8 = load double, double* @INFINITY
store double %8, double* %3
%9 = load double, double* @HUGE_VAL
store double %9, double* %4
store double 0x10000000000000, double* %5
store double 0.000000e+00, double* %6
%10 = load double, double* %2
%11 = call i64 @fpclassify(double %10)
%12 = load i64, i64* @FP_NAN
%13 = icmp ne i64 %11, %12
br i1 %13, label %14, label %16
14: ; preds = %0
%15 = call i32 (...) @abort()
unreachable
16: ; preds = %0
%17 = load double, double* %3
%18 = call i64 @fpclassify(double %17)
%19 = load i64, i64* @FP_INFINITE
%20 = icmp ne i64 %18, %19
br i1 %20, label %21, label %23
21: ; preds = %16
%22 = call i32 (...) @abort()
unreachable
23: ; preds = %16
%24 = load double, double* %4
%25 = call i64 @fpclassify(double %24)
%26 = load i64, i64* @FP_INFINITE
%27 = icmp ne i64 %25, %26
br i1 %27, label %28, label %30
28: ; preds = %23
%29 = call i32 (...) @abort()
unreachable
30: ; preds = %23
%31 = load double, double* %5
%32 = call i64 @fpclassify(double %31)
%33 = load i64, i64* @FP_NORMAL
%34 = icmp ne i64 %32, %33
br i1 %34, label %35, label %37
35: ; preds = %30
%36 = call i32 (...) @abort()
unreachable
37: ; preds = %30
%38 = load double, double* %6
%39 = call i64 @fpclassify(double %38)
%40 = load i64, i64* @FP_ZERO
%41 = icmp ne i64 %39, %40
br i1 %41, label %42, label %44
42: ; preds = %37
%43 = call i32 (...) @abort()
unreachable
44: ; preds = %37
%45 = load double, double* %2
%46 = call i64 @isnan(double %45)
%47 = icmp ne i64 %46, 0
br i1 %47, label %50, label %48
48: ; preds = %44
%49 = call i32 (...) @abort()
unreachable
50: ; preds = %44
%51 = load double, double* %3
%52 = call i64 @isnan(double %51)
%53 = icmp ne i64 %52, 0
br i1 %53, label %54, label %56
54: ; preds = %50
%55 = call i32 (...) @abort()
unreachable
56: ; preds = %50
%57 = load double, double* %4
%58 = call i64 @isnan(double %57)
%59 = icmp ne i64 %58, 0
br i1 %59, label %60, label %62
60: ; preds = %56
%61 = call i32 (...) @abort()
unreachable
62: ; preds = %56
%63 = load double, double* %5
%64 = call i64 @isnan(double %63)
%65 = icmp ne i64 %64, 0
br i1 %65, label %66, label %68
66: ; preds = %62
%67 = call i32 (...) @abort()
unreachable
68: ; preds = %62
%69 = load double, double* %6
%70 = call i64 @isnan(double %69)
%71 = icmp ne i64 %70, 0
br i1 %71, label %72, label %74
72: ; preds = %68
%73 = call i32 (...) @abort()
unreachable
74: ; preds = %68
%75 = load double, double* %2
%76 = call i64 @isinf(double %75)
%77 = icmp ne i64 %76, 0
br i1 %77, label %78, label %80
78: ; preds = %74
%79 = call i32 (...) @abort()
unreachable
80: ; preds = %74
%81 = load double, double* %3
%82 = call i64 @isinf(double %81)
%83 = icmp ne i64 %82, 0
br i1 %83, label %86, label %84
84: ; preds = %80
%85 = call i32 (...) @abort()
unreachable
86: ; preds = %80
%87 = load double, double* %4
%88 = call i64 @isinf(double %87)
%89 = icmp ne i64 %88, 0
br i1 %89, label %92, label %90
90: ; preds = %86
%91 = call i32 (...) @abort()
unreachable
92: ; preds = %86
%93 = load double, double* %5
%94 = call i64 @isnan(double %93)
%95 = icmp ne i64 %94, 0
br i1 %95, label %96, label %98
96: ; preds = %92
%97 = call i32 (...) @abort()
unreachable
98: ; preds = %92
%99 = load double, double* %6
%100 = call i64 @isinf(double %99)
%101 = icmp ne i64 %100, 0
br i1 %101, label %102, label %104
102: ; preds = %98
%103 = call i32 (...) @abort()
unreachable
104: ; preds = %98
%105 = load double, double* %2
%106 = call i64 @isfinite(double %105)
%107 = icmp ne i64 %106, 0
br i1 %107, label %108, label %110
108: ; preds = %104
%109 = call i32 (...) @abort()
unreachable
110: ; preds = %104
%111 = load double, double* %3
%112 = call i64 @isfinite(double %111)
%113 = icmp ne i64 %112, 0
br i1 %113, label %114, label %116
114: ; preds = %110
%115 = call i32 (...) @abort()
unreachable
116: ; preds = %110
%117 = load double, double* %4
%118 = call i64 @isfinite(double %117)
%119 = icmp ne i64 %118, 0
br i1 %119, label %120, label %122
120: ; preds = %116
%121 = call i32 (...) @abort()
unreachable
122: ; preds = %116
%123 = load double, double* %5
%124 = call i64 @isfinite(double %123)
%125 = icmp ne i64 %124, 0
br i1 %125, label %128, label %126
126: ; preds = %122
%127 = call i32 (...) @abort()
unreachable
128: ; preds = %122
%129 = load double, double* %6
%130 = call i64 @isfinite(double %129)
%131 = icmp ne i64 %130, 0
br i1 %131, label %134, label %132
132: ; preds = %128
%133 = call i32 (...) @abort()
unreachable
134: ; preds = %128
%135 = load double, double* %2
%136 = call i64 @isnormal(double %135)
%137 = icmp ne i64 %136, 0
br i1 %137, label %138, label %140
138: ; preds = %134
%139 = call i32 (...) @abort()
unreachable
140: ; preds = %134
%141 = load double, double* %3
%142 = call i64 @isnormal(double %141)
%143 = icmp ne i64 %142, 0
br i1 %143, label %144, label %146
144: ; preds = %140
%145 = call i32 (...) @abort()
unreachable
146: ; preds = %140
%147 = load double, double* %4
%148 = call i64 @isnormal(double %147)
%149 = icmp ne i64 %148, 0
br i1 %149, label %150, label %152
150: ; preds = %146
%151 = call i32 (...) @abort()
unreachable
152: ; preds = %146
%153 = load double, double* %5
%154 = call i64 @isnormal(double %153)
%155 = icmp ne i64 %154, 0
br i1 %155, label %158, label %156
156: ; preds = %152
%157 = call i32 (...) @abort()
unreachable
158: ; preds = %152
%159 = load double, double* %6
%160 = call i64 @isnormal(double %159)
%161 = icmp ne i64 %160, 0
br i1 %161, label %162, label %164
162: ; preds = %158
%163 = call i32 (...) @abort()
unreachable
164: ; preds = %158
%165 = load double, double* %5
%166 = call i64 @signbit(double %165)
%167 = icmp ne i64 %166, 0
br i1 %167, label %168, label %170
168: ; preds = %164
%169 = call i32 (...) @abort()
unreachable
170: ; preds = %164
%171 = load double, double* %5
%172 = fneg double %171
%173 = call i64 @signbit(double %172)
%174 = icmp ne i64 %173, 0
br i1 %174, label %177, label %175
175: ; preds = %170
%176 = call i32 (...) @abort()
unreachable
177: ; preds = %170
%178 = load double, double* %3
%179 = load double, double* %5
%180 = call i32 @isgreater(double %178, double %179)
%181 = icmp ne i32 %180, 0
br i1 %181, label %184, label %182
182: ; preds = %177
%183 = call i32 (...) @abort()
unreachable
184: ; preds = %177
%185 = load double, double* %3
%186 = load double, double* %4
%187 = call i32 @isgreaterequal(double %185, double %186)
%188 = icmp ne i32 %187, 0
br i1 %188, label %191, label %189
189: ; preds = %184
%190 = call i32 (...) @abort()
unreachable
191: ; preds = %184
%192 = load double, double* %5
%193 = load double, double* %3
%194 = call i32 @isless(double %192, double %193)
%195 = icmp ne i32 %194, 0
br i1 %195, label %198, label %196
196: ; preds = %191
%197 = call i32 (...) @abort()
unreachable
198: ; preds = %191
%199 = load double, double* %4
%200 = load double, double* %3
%201 = call i32 @islessequal(double %199, double %200)
%202 = icmp ne i32 %201, 0
br i1 %202, label %205, label %203
203: ; preds = %198
%204 = call i32 (...) @abort()
unreachable
205: ; preds = %198
%206 = load double, double* %3
%207 = load double, double* %5
%208 = call i32 @islessgreater(double %206, double %207)
%209 = icmp ne i32 %208, 0
br i1 %209, label %212, label %210
210: ; preds = %205
%211 = call i32 (...) @abort()
unreachable
212: ; preds = %205
%213 = load double, double* %2
%214 = load double, double* %5
%215 = call i32 @isunordered(double %213, double %214)
%216 = icmp ne i32 %215, 0
br i1 %216, label %219, label %217
217: ; preds = %212
%218 = call i32 (...) @abort()
unreachable
219: ; preds = %212
ret i32 0
}

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