int main() {
  if (test__floatdisf(0, 0.0F))
    return 1;
  if (test__floatdisf(1, 1.0F))
    return 1;
  if (test__floatdisf(2, 2.0F))
    return 1;
  if (test__floatdisf(-1, -1.0F))
    return 1;
  if (test__floatdisf(-2, -2.0F))
    return 1;
  if (test__floatdisf(0x7FFFFF8000000000LL, 0x1.FFFFFEp+62F))
    return 1;
  if (test__floatdisf(0x7FFFFF0000000000LL, 0x1.FFFFFCp+62F))
    return 1;
  if (test__floatdisf(0x8000008000000000LL, -0x1.FFFFFEp+62F))
    return 1;
  if (test__floatdisf(0x8000010000000000LL, -0x1.FFFFFCp+62F))
    return 1;
  if (test__floatdisf(0x8000000000000000LL, -0x1.000000p+63F))
    return 1;
  if (test__floatdisf(0x8000000000000001LL, -0x1.000000p+63F))
    return 1;
  if (test__floatdisf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50F))
    return 1;
  if (test__floatdisf(0x0007FB72EA000000LL, 0x1.FEDCBAp+50F))
    return 1;
  if (test__floatdisf(0x0007FB72EB000000LL, 0x1.FEDCBAp+50F))
    return 1;
  if (test__floatdisf(0x0007FB72EBFFFFFFLL, 0x1.FEDCBAp+50F))
    return 1;
  if (test__floatdisf(0x0007FB72EC000000LL, 0x1.FEDCBCp+50F))
    return 1;
  if (test__floatdisf(0x0007FB72E8000001LL, 0x1.FEDCBAp+50F))
    return 1;
  if (test__floatdisf(0x0007FB72E6000000LL, 0x1.FEDCBAp+50F))
    return 1;
  if (test__floatdisf(0x0007FB72E7000000LL, 0x1.FEDCBAp+50F))
    return 1;
  if (test__floatdisf(0x0007FB72E7FFFFFFLL, 0x1.FEDCBAp+50F))
    return 1;
  if (test__floatdisf(0x0007FB72E4000001LL, 0x1.FEDCBAp+50F))
    return 1;
  if (test__floatdisf(0x0007FB72E4000000LL, 0x1.FEDCB8p+50F))
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
xor    %edi,%edi
xorps  %xmm0,%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     1140 <main+0x30>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
mov    $0x1,%edi
movsd  0xeb3(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     1169 <main+0x59>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
mov    $0x2,%edi
movsd  0xe92(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     1192 <main+0x82>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
mov    $0xffffffff,%edi
movsd  0xe71(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     11bb <main+0xab>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
mov    $0xfffffffe,%edi
movsd  0xe50(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     11e4 <main+0xd4>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fffff8000000000,%rdi
ff ff 7f
movsd  0xe2a(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     1212 <main+0x102>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fffff0000000000,%rdi
ff ff 7f
movsd  0xe04(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     1240 <main+0x130>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x8000008000000000,%rdi
movsd  0xdde(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     126e <main+0x15e>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x8000010000000000,%rdi
movsd  0xdb8(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     129c <main+0x18c>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x8000000000000000,%rdi
movsd  0xd92(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     12ca <main+0x1ba>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x8000000000000001,%rdi
movsd  0xd64(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     12f8 <main+0x1e8>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fb72e8000000,%rdi
movsd  0xd3e(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     1326 <main+0x216>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fb72ea000000,%rdi
movsd  0xd10(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     1354 <main+0x244>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fb72eb000000,%rdi
movsd  0xce2(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     1382 <main+0x272>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fb72ebffffff,%rdi
movsd  0xcb4(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     13b0 <main+0x2a0>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fb72ec000000,%rdi
movsd  0xc8e(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     13de <main+0x2ce>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fb72e8000001,%rdi
movsd  0xc58(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     140c <main+0x2fc>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fb72e6000000,%rdi
movsd  0xc2a(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     143a <main+0x32a>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fb72e7000000,%rdi
movsd  0xbfc(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     1468 <main+0x358>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fb72e7ffffff,%rdi
movsd  0xbce(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     1496 <main+0x386>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fb72e4000001,%rdi
movsd  0xba0(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     14c4 <main+0x3b4>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movabs $0x7fb72e4000000,%rdi
movsd  0xb82(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
cmp    $0x0,%eax
je     14f2 <main+0x3e2>
movl   $0x1,-0x4(%rbp)
jmp    14f9 <main+0x3e9>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
push   %rax
xorps  %xmm0,%xmm0
xor    %edi,%edi
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
mov    $0x1,%ebx
test   %eax,%eax
jne    13a0 <main+0x290>
mov    $0x1,%ebx
movsd  0xec6(%rip),%xmm0
mov    $0x1,%edi
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
movsd  0xeb2(%rip),%xmm0
mov    $0x2,%edi
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
movsd  0xe9e(%rip),%xmm0
mov    $0xffffffff,%edi
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
movsd  0xe8a(%rip),%xmm0
mov    $0xfffffffe,%edi
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
movabs $0x7fffff8000000000,%rdi
ff ff 7f
movsd  0xe6c(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
movabs $0x7fffff0000000000,%rdi
ff ff 7f
movsd  0xe53(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
movabs $0x8000008000000000,%rdi
movsd  0xe3a(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
movabs $0x8000010000000000,%rdi
movsd  0xe21(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
movabs $0x8000000000000000,%r14
movsd  0xe08(%rip),%xmm0
mov    %r14,%rdi
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
add    $0x1,%r14
movsd  0xdea(%rip),%xmm0
mov    %r14,%rdi
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
movabs $0x7fb72e4000000,%r14
lea    0x4000000(%r14),%rdi
movsd  0xdc7(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
lea    0x6000000(%r14),%rdi
movsd  0xda9(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
lea    0x7000000(%r14),%rdi
movsd  0xd8b(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
lea    0x7ffffff(%r14),%rdi
movsd  0xd6d(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
lea    0x8000000(%r14),%rdi
movsd  0xd57(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
lea    0x4000001(%r14),%rdi
movsd  0xd31(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
lea    0x2000000(%r14),%rdi
movsd  0xd17(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
lea    0x3000000(%r14),%rdi
movsd  0xcfd(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
lea    0x3ffffff(%r14),%rdi
movsd  0xce3(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
lea    0x1(%r14),%rdi
movsd  0xccc(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
test   %eax,%eax
jne    13a0 <main+0x290>
movsd  0xcc9(%rip),%xmm0
mov    %r14,%rdi
mov    $0x1,%al
call   1030 <test__floatdisf@plt>
xor    %ebx,%ebx
test   %eax,%eax
setne  %bl
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
store i32 0, i32* %1
%2 = call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i32, double, ...)*)(i32 0, double 0.000000e+00)
%3 = icmp ne i32 %2, 0
br i1 %3, label %4, label %5
4: ; preds = %0
store i32 1, i32* %1
br label %90
5: ; preds = %0
%6 = call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i32, double, ...)*)(i32 1, double 1.000000e+00)
%7 = icmp ne i32 %6, 0
br i1 %7, label %8, label %9
8: ; preds = %5
store i32 1, i32* %1
br label %90
9: ; preds = %5
%10 = call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i32, double, ...)*)(i32 2, double 2.000000e+00)
%11 = icmp ne i32 %10, 0
br i1 %11, label %12, label %13
12: ; preds = %9
store i32 1, i32* %1
br label %90
13: ; preds = %9
%14 = call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i32, double, ...)*)(i32 -1, double -1.000000e+00)
%15 = icmp ne i32 %14, 0
br i1 %15, label %16, label %17
16: ; preds = %13
store i32 1, i32* %1
br label %90
17: ; preds = %13
%18 = call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i32, double, ...)*)(i32 -2, double -2.000000e+00)
%19 = icmp ne i32 %18, 0
br i1 %19, label %20, label %21
20: ; preds = %17
store i32 1, i32* %1
br label %90
21: ; preds = %17
%22 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 9223371487098961920, double 0x43DFFFFFE0000000)
%23 = icmp ne i32 %22, 0
br i1 %23, label %24, label %25
24: ; preds = %21
store i32 1, i32* %1
br label %90
25: ; preds = %21
%26 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 9223370937343148032, double 0x43DFFFFFC0000000)
%27 = icmp ne i32 %26, 0
br i1 %27, label %28, label %29
28: ; preds = %25
store i32 1, i32* %1
br label %90
29: ; preds = %25
%30 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 -9223371487098961920, double 0xC3DFFFFFE0000000)
%31 = icmp ne i32 %30, 0
br i1 %31, label %32, label %33
32: ; preds = %29
store i32 1, i32* %1
br label %90
33: ; preds = %29
%34 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 -9223370937343148032, double 0xC3DFFFFFC0000000)
%35 = icmp ne i32 %34, 0
br i1 %35, label %36, label %37
36: ; preds = %33
store i32 1, i32* %1
br label %90
37: ; preds = %33
%38 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 -9223372036854775808, double 0xC3E0000000000000)
%39 = icmp ne i32 %38, 0
br i1 %39, label %40, label %41
40: ; preds = %37
store i32 1, i32* %1
br label %90
41: ; preds = %37
%42 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 -9223372036854775807, double 0xC3E0000000000000)
%43 = icmp ne i32 %42, 0
br i1 %43, label %44, label %45
44: ; preds = %41
store i32 1, i32* %1
br label %90
45: ; preds = %41
%46 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795774132224, double 0x431FEDCBA0000000)
%47 = icmp ne i32 %46, 0
br i1 %47, label %48, label %49
48: ; preds = %45
store i32 1, i32* %1
br label %90
49: ; preds = %45
%50 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795807686656, double 0x431FEDCBA0000000)
%51 = icmp ne i32 %50, 0
br i1 %51, label %52, label %53
52: ; preds = %49
store i32 1, i32* %1
br label %90
53: ; preds = %49
%54 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795824463872, double 0x431FEDCBA0000000)
%55 = icmp ne i32 %54, 0
br i1 %55, label %56, label %57
56: ; preds = %53
store i32 1, i32* %1
br label %90
57: ; preds = %53
%58 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795841241087, double 0x431FEDCBA0000000)
%59 = icmp ne i32 %58, 0
br i1 %59, label %60, label %61
60: ; preds = %57
store i32 1, i32* %1
br label %90
61: ; preds = %57
%62 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795841241088, double 0x431FEDCBC0000000)
%63 = icmp ne i32 %62, 0
br i1 %63, label %64, label %65
64: ; preds = %61
store i32 1, i32* %1
br label %90
65: ; preds = %61
%66 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795774132225, double 0x431FEDCBA0000000)
%67 = icmp ne i32 %66, 0
br i1 %67, label %68, label %69
68: ; preds = %65
store i32 1, i32* %1
br label %90
69: ; preds = %65
%70 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795740577792, double 0x431FEDCBA0000000)
%71 = icmp ne i32 %70, 0
br i1 %71, label %72, label %73
72: ; preds = %69
store i32 1, i32* %1
br label %90
73: ; preds = %69
%74 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795757355008, double 0x431FEDCBA0000000)
%75 = icmp ne i32 %74, 0
br i1 %75, label %76, label %77
76: ; preds = %73
store i32 1, i32* %1
br label %90
77: ; preds = %73
%78 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795774132223, double 0x431FEDCBA0000000)
%79 = icmp ne i32 %78, 0
br i1 %79, label %80, label %81
80: ; preds = %77
store i32 1, i32* %1
br label %90
81: ; preds = %77
%82 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795707023361, double 0x431FEDCBA0000000)
%83 = icmp ne i32 %82, 0
br i1 %83, label %84, label %85
84: ; preds = %81
store i32 1, i32* %1
br label %90
85: ; preds = %81
%86 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795707023360, double 0x431FEDCB80000000)
%87 = icmp ne i32 %86, 0
br i1 %87, label %88, label %89
88: ; preds = %85
store i32 1, i32* %1
br label %90
89: ; preds = %85
store i32 0, i32* %1
br label %90
90: ; preds = %89, %88, %84, %80, %76, %72, %68, %64, %60, %56, %52, %48, %44, %40, %36, %32, %28, %24, %20, %16, %12, %8, %4
%91 = load i32, i32* %1
ret i32 %91
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i32, double, ...)*)(i32 0, double 0.000000e+00)
%2 = icmp eq i32 %1, 0
br i1 %2, label %3, label %67
3: ; preds = %0
%4 = tail call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i32, double, ...)*)(i32 1, double 1.000000e+00)
%5 = icmp eq i32 %4, 0
br i1 %5, label %6, label %67
6: ; preds = %3
%7 = tail call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i32, double, ...)*)(i32 2, double 2.000000e+00)
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %67
9: ; preds = %6
%10 = tail call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i32, double, ...)*)(i32 -1, double -1.000000e+00)
%11 = icmp eq i32 %10, 0
br i1 %11, label %12, label %67
12: ; preds = %9
%13 = tail call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i32, double, ...)*)(i32 -2, double -2.000000e+00)
%14 = icmp eq i32 %13, 0
br i1 %14, label %15, label %67
15: ; preds = %12
%16 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 9223371487098961920, double 0x43DFFFFFE0000000)
%17 = icmp eq i32 %16, 0
br i1 %17, label %18, label %67
18: ; preds = %15
%19 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 9223370937343148032, double 0x43DFFFFFC0000000)
%20 = icmp eq i32 %19, 0
br i1 %20, label %21, label %67
21: ; preds = %18
%22 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 -9223371487098961920, double 0xC3DFFFFFE0000000)
%23 = icmp eq i32 %22, 0
br i1 %23, label %24, label %67
24: ; preds = %21
%25 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 -9223370937343148032, double 0xC3DFFFFFC0000000)
%26 = icmp eq i32 %25, 0
br i1 %26, label %27, label %67
27: ; preds = %24
%28 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 -9223372036854775808, double 0xC3E0000000000000)
%29 = icmp eq i32 %28, 0
br i1 %29, label %30, label %67
30: ; preds = %27
%31 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 -9223372036854775807, double 0xC3E0000000000000)
%32 = icmp eq i32 %31, 0
br i1 %32, label %33, label %67
33: ; preds = %30
%34 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795774132224, double 0x431FEDCBA0000000)
%35 = icmp eq i32 %34, 0
br i1 %35, label %36, label %67
36: ; preds = %33
%37 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795807686656, double 0x431FEDCBA0000000)
%38 = icmp eq i32 %37, 0
br i1 %38, label %39, label %67
39: ; preds = %36
%40 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795824463872, double 0x431FEDCBA0000000)
%41 = icmp eq i32 %40, 0
br i1 %41, label %42, label %67
42: ; preds = %39
%43 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795841241087, double 0x431FEDCBA0000000)
%44 = icmp eq i32 %43, 0
br i1 %44, label %45, label %67
45: ; preds = %42
%46 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795841241088, double 0x431FEDCBC0000000)
%47 = icmp eq i32 %46, 0
br i1 %47, label %48, label %67
48: ; preds = %45
%49 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795774132225, double 0x431FEDCBA0000000)
%50 = icmp eq i32 %49, 0
br i1 %50, label %51, label %67
51: ; preds = %48
%52 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795740577792, double 0x431FEDCBA0000000)
%53 = icmp eq i32 %52, 0
br i1 %53, label %54, label %67
54: ; preds = %51
%55 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795757355008, double 0x431FEDCBA0000000)
%56 = icmp eq i32 %55, 0
br i1 %56, label %57, label %67
57: ; preds = %54
%58 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795774132223, double 0x431FEDCBA0000000)
%59 = icmp eq i32 %58, 0
br i1 %59, label %60, label %67
60: ; preds = %57
%61 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795707023361, double 0x431FEDCBA0000000)
%62 = icmp eq i32 %61, 0
br i1 %62, label %63, label %67
63: ; preds = %60
%64 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatdisf to i32 (i64, double, ...)*)(i64 2246795707023360, double 0x431FEDCB80000000)
%65 = icmp ne i32 %64, 0
%66 = zext i1 %65 to i32
br label %67
67: ; preds = %63, %60, %57, %54, %51, %48, %45, %42, %39, %36, %33, %30, %27, %24, %21, %18, %15, %12, %9, %6, %3, %0
%68 = phi i32 [ 1, %0 ], [ 1, %3 ], [ 1, %6 ], [ 1, %9 ], [ 1, %12 ], [ 1, %15 ], [ 1, %18 ], [ 1, %21 ], [ 1, %24 ], [ 1, %27 ], [ 1, %30 ], [ 1, %33 ], [ 1, %36 ], [ 1, %39 ], [ 1, %42 ], [ 1, %45 ], [ 1, %48 ], [ 1, %51 ], [ 1, %54 ], [ 1, %57 ], [ 1, %60 ], [ %66, %63 ]
ret i32 %68
}