#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;
long double HUGE_VALL;
long double INFINITY;
long double NAN;
int /*<<< orphan*/ abort();
scalar_t__ fpclassify(long double);
scalar_t__ isfinite(long double);
int /*<<< orphan*/ isgreater(long double, long double);
int /*<<< orphan*/ isgreaterequal(long double, long double);
scalar_t__ isinf(long double);
int /*<<< orphan*/ isless(long double, long double);
int /*<<< orphan*/ islessequal(long double, long double);
int /*<<< orphan*/ islessgreater(long double, long double);
scalar_t__ isnan(long double);
scalar_t__ isnormal(long double);
int /*<<< orphan*/ isunordered(long double, long double);
scalar_t__ signbit(long double);
int main(void) {
  long double nan = NAN;
  long double inf = INFINITY;
  long double huge = HUGE_VALL;
  long double norm = 3.36210314311209350626267781732175260e-4932L;
  long double zero = 0.0l;
  {
    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    $0x80,%rsp
movl   $0x0,-0x4(%rbp)
mov    0x2e0f(%rip),%rax
fldt   (%rax)
fstpt  -0x20(%rbp)
mov    0x2ddb(%rip),%rax
fldt   (%rax)
fstpt  -0x30(%rbp)
mov    0x2de7(%rip),%rax
fldt   (%rax)
fstpt  -0x40(%rbp)
fldt   0xdf4(%rip)
fstpt  -0x50(%rbp)
fldz
fstpt  -0x60(%rbp)
fldt   -0x20(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1070 <fpclassify@plt>
mov    0x2da0(%rip),%rcx
cmp    (%rcx),%rax
je     1238 <main+0x68>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x30(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1070 <fpclassify@plt>
mov    0x2d74(%rip),%rcx
cmp    (%rcx),%rax
je     125c <main+0x8c>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x40(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1070 <fpclassify@plt>
mov    0x2d50(%rip),%rcx
cmp    (%rcx),%rax
je     1280 <main+0xb0>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x50(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1070 <fpclassify@plt>
mov    0x2d4c(%rip),%rcx
cmp    (%rcx),%rax
je     12a4 <main+0xd4>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x60(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1070 <fpclassify@plt>
mov    0x2d00(%rip),%rcx
cmp    (%rcx),%rax
je     12c8 <main+0xf8>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x20(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1080 <isnan@plt>
cmp    $0x0,%rax
jne    12e6 <main+0x116>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x30(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1080 <isnan@plt>
cmp    $0x0,%rax
je     1304 <main+0x134>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x40(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1080 <isnan@plt>
cmp    $0x0,%rax
je     1322 <main+0x152>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x50(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1080 <isnan@plt>
cmp    $0x0,%rax
je     1340 <main+0x170>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x60(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1080 <isnan@plt>
cmp    $0x0,%rax
je     135e <main+0x18e>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x20(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   10e0 <isinf@plt>
cmp    $0x0,%rax
je     137c <main+0x1ac>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x30(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   10e0 <isinf@plt>
cmp    $0x0,%rax
jne    139a <main+0x1ca>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x40(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   10e0 <isinf@plt>
cmp    $0x0,%rax
jne    13b8 <main+0x1e8>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x50(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1080 <isnan@plt>
cmp    $0x0,%rax
je     13d6 <main+0x206>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x60(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   10e0 <isinf@plt>
cmp    $0x0,%rax
je     13f4 <main+0x224>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x20(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1040 <isfinite@plt>
cmp    $0x0,%rax
je     1412 <main+0x242>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x30(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1040 <isfinite@plt>
cmp    $0x0,%rax
je     1430 <main+0x260>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x40(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1040 <isfinite@plt>
cmp    $0x0,%rax
je     144e <main+0x27e>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x50(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1040 <isfinite@plt>
cmp    $0x0,%rax
jne    146c <main+0x29c>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x60(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1040 <isfinite@plt>
cmp    $0x0,%rax
jne    148a <main+0x2ba>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x20(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1050 <isnormal@plt>
cmp    $0x0,%rax
je     14a8 <main+0x2d8>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x30(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1050 <isnormal@plt>
cmp    $0x0,%rax
je     14c6 <main+0x2f6>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x40(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1050 <isnormal@plt>
cmp    $0x0,%rax
je     14e4 <main+0x314>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x50(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1050 <isnormal@plt>
cmp    $0x0,%rax
jne    1502 <main+0x332>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x60(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1050 <isnormal@plt>
cmp    $0x0,%rax
je     1520 <main+0x350>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x50(%rbp)
mov    %rsp,%rax
fstpt  (%rax)
call   1090 <signbit@plt>
cmp    $0x0,%rax
je     153e <main+0x36e>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x50(%rbp)
fchs
mov    %rsp,%rax
fstpt  (%rax)
call   1090 <signbit@plt>
cmp    $0x0,%rax
jne    155e <main+0x38e>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x30(%rbp)
fldt   -0x50(%rbp)
mov    %rsp,%rax
fstpt  0x10(%rax)
fstpt  (%rax)
call   10b0 <isgreater@plt>
cmp    $0x0,%eax
jne    1581 <main+0x3b1>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x30(%rbp)
fldt   -0x40(%rbp)
mov    %rsp,%rax
fstpt  0x10(%rax)
fstpt  (%rax)
call   10f0 <isgreaterequal@plt>
cmp    $0x0,%eax
jne    15a4 <main+0x3d4>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x50(%rbp)
fldt   -0x30(%rbp)
mov    %rsp,%rax
fstpt  0x10(%rax)
fstpt  (%rax)
call   10c0 <isless@plt>
cmp    $0x0,%eax
jne    15c7 <main+0x3f7>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x40(%rbp)
fldt   -0x30(%rbp)
mov    %rsp,%rax
fstpt  0x10(%rax)
fstpt  (%rax)
call   1060 <islessequal@plt>
cmp    $0x0,%eax
jne    15ea <main+0x41a>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x30(%rbp)
fldt   -0x50(%rbp)
mov    %rsp,%rax
fstpt  0x10(%rax)
fstpt  (%rax)
call   10a0 <islessgreater@plt>
cmp    $0x0,%eax
jne    160d <main+0x43d>
mov    $0x0,%al
call   1030 <abort@plt>
fldt   -0x20(%rbp)
fldt   -0x50(%rbp)
mov    %rsp,%rax
fstpt  0x10(%rax)
fstpt  (%rax)
call   10d0 <isunordered@plt>
cmp    $0x0,%eax
jne    1630 <main+0x460>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x60,%rsp
mov    0x2e1c(%rip),%rax
fldt   (%rax)
mov    0x2deb(%rip),%rax
fldt   (%rax)
fstpt  0x24(%rsp)
mov    0x2df6(%rip),%rax
fldt   (%rax)
fstpt  0x3c(%rsp)
fld    %st(0)
fstpt  0x48(%rsp)
fstpt  (%rsp)
call   1070 <fpclassify@plt>
mov    0x2dbb(%rip),%rcx
cmp    (%rcx),%rax
jne    14f7 <main+0x327>
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1070 <fpclassify@plt>
mov    0x2d97(%rip),%rbx
cmp    (%rbx),%rax
jne    14f7 <main+0x327>
fldt   0x3c(%rsp)
fstpt  (%rsp)
call   1070 <fpclassify@plt>
cmp    (%rbx),%rax
jne    14f7 <main+0x327>
fldt   0xdb3(%rip)
fld    %st(0)
fstpt  0x30(%rsp)
fstpt  (%rsp)
call   1070 <fpclassify@plt>
mov    0x2d7e(%rip),%rcx
cmp    (%rcx),%rax
jne    14f7 <main+0x327>
fldz
fld    %st(0)
fstpt  0x54(%rsp)
fstpt  (%rsp)
call   1070 <fpclassify@plt>
mov    0x2d36(%rip),%rcx
cmp    (%rcx),%rax
jne    14f7 <main+0x327>
fldt   0x48(%rsp)
fstpt  (%rsp)
call   1080 <isnan@plt>
test   %rax,%rax
je     14f7 <main+0x327>
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1080 <isnan@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x3c(%rsp)
fstpt  (%rsp)
call   1080 <isnan@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x30(%rsp)
fstpt  (%rsp)
call   1080 <isnan@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x54(%rsp)
fstpt  (%rsp)
call   1080 <isnan@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x48(%rsp)
fstpt  (%rsp)
call   10e0 <isinf@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x24(%rsp)
fstpt  (%rsp)
call   10e0 <isinf@plt>
test   %rax,%rax
je     14f7 <main+0x327>
fldt   0x3c(%rsp)
fstpt  (%rsp)
call   10e0 <isinf@plt>
test   %rax,%rax
je     14f7 <main+0x327>
fldt   0x30(%rsp)
fstpt  (%rsp)
call   1080 <isnan@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x54(%rsp)
fstpt  (%rsp)
call   10e0 <isinf@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x48(%rsp)
fstpt  (%rsp)
call   1040 <isfinite@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1040 <isfinite@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x3c(%rsp)
fstpt  (%rsp)
call   1040 <isfinite@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x30(%rsp)
fstpt  (%rsp)
call   1040 <isfinite@plt>
test   %rax,%rax
je     14f7 <main+0x327>
fldt   0x54(%rsp)
fstpt  (%rsp)
call   1040 <isfinite@plt>
test   %rax,%rax
je     14f7 <main+0x327>
fldt   0x48(%rsp)
fstpt  (%rsp)
call   1050 <isnormal@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1050 <isnormal@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x3c(%rsp)
fstpt  (%rsp)
call   1050 <isnormal@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x30(%rsp)
fstpt  (%rsp)
call   1050 <isnormal@plt>
test   %rax,%rax
je     14f7 <main+0x327>
fldt   0x54(%rsp)
fstpt  (%rsp)
call   1050 <isnormal@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0x30(%rsp)
fstpt  (%rsp)
call   1090 <signbit@plt>
test   %rax,%rax
jne    14f7 <main+0x327>
fldt   0xbc6(%rip)
fstpt  (%rsp)
call   1090 <signbit@plt>
test   %rax,%rax
je     14f7 <main+0x327>
fldt   0x30(%rsp)
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   10b0 <isgreater@plt>
test   %eax,%eax
je     14f7 <main+0x327>
fldt   0x3c(%rsp)
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   10f0 <isgreaterequal@plt>
test   %eax,%eax
je     14f7 <main+0x327>
fldt   0x24(%rsp)
fstpt  0x10(%rsp)
fldt   0x30(%rsp)
fstpt  (%rsp)
call   10c0 <isless@plt>
test   %eax,%eax
je     14f7 <main+0x327>
fldt   0x24(%rsp)
fstpt  0x10(%rsp)
fldt   0x3c(%rsp)
fstpt  (%rsp)
call   1060 <islessequal@plt>
test   %eax,%eax
je     14f7 <main+0x327>
fldt   0x30(%rsp)
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   10a0 <islessgreater@plt>
test   %eax,%eax
je     14f7 <main+0x327>
fldt   0x30(%rsp)
fstpt  0x10(%rsp)
fldt   0x48(%rsp)
fstpt  (%rsp)
call   10d0 <isunordered@plt>
test   %eax,%eax
je     14f7 <main+0x327>
xor    %eax,%eax
add    $0x60,%rsp
pop    %rbx
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
@NAN = global x86_fp80 0xK00000000000000000000
@INFINITY = global x86_fp80 0xK00000000000000000000
@HUGE_VALL = global x86_fp80 0xK00000000000000000000
@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 x86_fp80
%3 = alloca x86_fp80
%4 = alloca x86_fp80
%5 = alloca x86_fp80
%6 = alloca x86_fp80
store i32 0, i32* %1
%7 = load x86_fp80, x86_fp80* @NAN
store x86_fp80 %7, x86_fp80* %2
%8 = load x86_fp80, x86_fp80* @INFINITY
store x86_fp80 %8, x86_fp80* %3
%9 = load x86_fp80, x86_fp80* @HUGE_VALL
store x86_fp80 %9, x86_fp80* %4
store x86_fp80 0xK00018000000000000000, x86_fp80* %5
store x86_fp80 0xK00000000000000000000, x86_fp80* %6
%10 = load x86_fp80, x86_fp80* %2
%11 = call i64 @fpclassify(x86_fp80 %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 x86_fp80, x86_fp80* %3
%18 = call i64 @fpclassify(x86_fp80 %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 x86_fp80, x86_fp80* %4
%25 = call i64 @fpclassify(x86_fp80 %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 x86_fp80, x86_fp80* %5
%32 = call i64 @fpclassify(x86_fp80 %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 x86_fp80, x86_fp80* %6
%39 = call i64 @fpclassify(x86_fp80 %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 x86_fp80, x86_fp80* %2
%46 = call i64 @isnan(x86_fp80 %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 x86_fp80, x86_fp80* %3
%52 = call i64 @isnan(x86_fp80 %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 x86_fp80, x86_fp80* %4
%58 = call i64 @isnan(x86_fp80 %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 x86_fp80, x86_fp80* %5
%64 = call i64 @isnan(x86_fp80 %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 x86_fp80, x86_fp80* %6
%70 = call i64 @isnan(x86_fp80 %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 x86_fp80, x86_fp80* %2
%76 = call i64 @isinf(x86_fp80 %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 x86_fp80, x86_fp80* %3
%82 = call i64 @isinf(x86_fp80 %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 x86_fp80, x86_fp80* %4
%88 = call i64 @isinf(x86_fp80 %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 x86_fp80, x86_fp80* %5
%94 = call i64 @isnan(x86_fp80 %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 x86_fp80, x86_fp80* %6
%100 = call i64 @isinf(x86_fp80 %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 x86_fp80, x86_fp80* %2
%106 = call i64 @isfinite(x86_fp80 %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 x86_fp80, x86_fp80* %3
%112 = call i64 @isfinite(x86_fp80 %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 x86_fp80, x86_fp80* %4
%118 = call i64 @isfinite(x86_fp80 %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 x86_fp80, x86_fp80* %5
%124 = call i64 @isfinite(x86_fp80 %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 x86_fp80, x86_fp80* %6
%130 = call i64 @isfinite(x86_fp80 %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 x86_fp80, x86_fp80* %2
%136 = call i64 @isnormal(x86_fp80 %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 x86_fp80, x86_fp80* %3
%142 = call i64 @isnormal(x86_fp80 %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 x86_fp80, x86_fp80* %4
%148 = call i64 @isnormal(x86_fp80 %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 x86_fp80, x86_fp80* %5
%154 = call i64 @isnormal(x86_fp80 %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 x86_fp80, x86_fp80* %6
%160 = call i64 @isnormal(x86_fp80 %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 x86_fp80, x86_fp80* %5
%166 = call i64 @signbit(x86_fp80 %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 x86_fp80, x86_fp80* %5
%172 = fneg x86_fp80 %171
%173 = call i64 @signbit(x86_fp80 %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 x86_fp80, x86_fp80* %3
%179 = load x86_fp80, x86_fp80* %5
%180 = call i32 @isgreater(x86_fp80 %178, x86_fp80 %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 x86_fp80, x86_fp80* %3
%186 = load x86_fp80, x86_fp80* %4
%187 = call i32 @isgreaterequal(x86_fp80 %185, x86_fp80 %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 x86_fp80, x86_fp80* %5
%193 = load x86_fp80, x86_fp80* %3
%194 = call i32 @isless(x86_fp80 %192, x86_fp80 %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 x86_fp80, x86_fp80* %4
%200 = load x86_fp80, x86_fp80* %3
%201 = call i32 @islessequal(x86_fp80 %199, x86_fp80 %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 x86_fp80, x86_fp80* %3
%207 = load x86_fp80, x86_fp80* %5
%208 = call i32 @islessgreater(x86_fp80 %206, x86_fp80 %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 x86_fp80, x86_fp80* %2
%214 = load x86_fp80, x86_fp80* %5
%215 = call i32 @isunordered(x86_fp80 %213, x86_fp80 %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 x86_fp80 0xK00000000000000000000
@INFINITY = global x86_fp80 0xK00000000000000000000
@HUGE_VALL = global x86_fp80 0xK00000000000000000000
@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 x86_fp80, x86_fp80* @NAN
%2 = load x86_fp80, x86_fp80* @INFINITY
%3 = load x86_fp80, x86_fp80* @HUGE_VALL
%4 = tail call i64 @fpclassify(x86_fp80 %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(x86_fp80 %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(x86_fp80 %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(x86_fp80 0xK00018000000000000000)
%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(x86_fp80 0xK00000000000000000000)
%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(x86_fp80 %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(x86_fp80 %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(x86_fp80 %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(x86_fp80 0xK00018000000000000000)
%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(x86_fp80 0xK00000000000000000000)
%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(x86_fp80 %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(x86_fp80 %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(x86_fp80 %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(x86_fp80 0xK00018000000000000000)
%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(x86_fp80 0xK00000000000000000000)
%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(x86_fp80 %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(x86_fp80 %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(x86_fp80 %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(x86_fp80 0xK00018000000000000000)
%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(x86_fp80 0xK00000000000000000000)
%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(x86_fp80 %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(x86_fp80 %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(x86_fp80 %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(x86_fp80 0xK00018000000000000000)
%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(x86_fp80 0xK00000000000000000000)
%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(x86_fp80 0xK00018000000000000000)
%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(x86_fp80 0xK80018000000000000000)
%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(x86_fp80 %2, x86_fp80 0xK00018000000000000000)
%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(x86_fp80 %2, x86_fp80 %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(x86_fp80 0xK00018000000000000000, x86_fp80 %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(x86_fp80 %3, x86_fp80 %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(x86_fp80 %2, x86_fp80 0xK00018000000000000000)
%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(x86_fp80 %1, x86_fp80 0xK00018000000000000000)
%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
}