int main() {
  if (test__floatuntixf(0, 0.0))
    return 1;
  if (test__floatuntixf(1, 1.0))
    return 1;
  if (test__floatuntixf(2, 2.0))
    return 1;
  if (test__floatuntixf(20, 20.0))
    return 1;
  if (test__floatuntixf(0x7FFFFF8000000000ULL, 0x1.FFFFFEp+62))
    return 1;
  if (test__floatuntixf(0x7FFFFFFFFFFFF800ULL, 0x1.FFFFFFFFFFFFEp+62))
    return 1;
  if (test__floatuntixf(0x7FFFFF0000000000ULL, 0x1.FFFFFCp+62))
    return 1;
  if (test__floatuntixf(0x7FFFFFFFFFFFF000ULL, 0x1.FFFFFFFFFFFFCp+62))
    return 1;
  if (test__floatuntixf(0x7FFFFFFFFFFFFFFFULL, 0xF.FFFFFFFFFFFFFFEp+59L))
    return 1;
  if (test__floatuntixf(0xFFFFFFFFFFFFFFFEULL, 0xF.FFFFFFFFFFFFFFEp+60L))
    return 1;
  if (test__floatuntixf(0xFFFFFFFFFFFFFFFFULL, 0xF.FFFFFFFFFFFFFFFp+60L))
    return 1;
  if (test__floatuntixf(0x8000008000000000ULL, 0x8.000008p+60))
    return 1;
  if (test__floatuntixf(0x8000000000000800ULL, 0x8.0000000000008p+60))
    return 1;
  if (test__floatuntixf(0x8000010000000000ULL, 0x8.00001p+60))
    return 1;
  if (test__floatuntixf(0x8000000000001000ULL, 0x8.000000000001p+60))
    return 1;
  if (test__floatuntixf(0x8000000000000000ULL, 0x8p+60))
    return 1;
  if (test__floatuntixf(0x8000000000000001ULL, 0x8.000000000000001p+60L))
    return 1;
  if (test__floatuntixf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50))
    return 1;
  if (test__floatuntixf(0x0007FB72EA000000LL, 0x1.FEDCBA8p+50))
    return 1;
  if (test__floatuntixf(0x0007FB72EB000000LL, 0x1.FEDCBACp+50))
    return 1;
  if (test__floatuntixf(0x0007FB72EBFFFFFFLL, 0x1.FEDCBAFFFFFFCp+50))
    return 1;
  if (test__floatuntixf(0x0007FB72EC000000LL, 0x1.FEDCBBp+50))
    return 1;
  if (test__floatuntixf(0x0007FB72E8000001LL, 0x1.FEDCBA0000004p+50))
    return 1;
  if (test__floatuntixf(0x0007FB72E6000000LL, 0x1.FEDCB98p+50))
    return 1;
  if (test__floatuntixf(0x0007FB72E7000000LL, 0x1.FEDCB9Cp+50))
    return 1;
  if (test__floatuntixf(0x0007FB72E7FFFFFFLL, 0x1.FEDCB9FFFFFFCp+50))
    return 1;
  if (test__floatuntixf(0x0007FB72E4000001LL, 0x1.FEDCB90000004p+50))
    return 1;
  if (test__floatuntixf(0x0007FB72E4000000LL, 0x1.FEDCB9p+50))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DC0LL, 0x1.1A3CFE870496Ep+57))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DA1LL, 0x1.1A3CFE870496D08p+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DB0LL, 0x1.1A3CFE870496D8p+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DB8LL, 0x1.1A3CFE870496DCp+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DB6LL, 0x1.1A3CFE870496DBp+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DBFLL, 0x1.1A3CFE870496DF8p+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DC1LL, 0x1.1A3CFE870496E08p+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DC7LL, 0x1.1A3CFE870496E38p+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DC8LL, 0x1.1A3CFE870496E4p+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DCFLL, 0x1.1A3CFE870496E78p+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DD0LL, 0x1.1A3CFE870496E8p+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DD1LL, 0x1.1A3CFE870496E88p+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DD8LL, 0x1.1A3CFE870496ECp+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DDFLL, 0x1.1A3CFE870496EF8p+57L))
    return 1;
  if (test__floatuntixf(0x023479FD0E092DE0LL, 0x1.1A3CFE870496Fp+57))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DC0LL, 0),
                        0x1.1A3CFE870496Ep+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DA1LL, 1),
                        0x1.1A3CFE870496D08p+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DB0LL, 2),
                        0x1.1A3CFE870496D8p+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DB8LL, 3),
                        0x1.1A3CFE870496DCp+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DB6LL, 4),
                        0x1.1A3CFE870496DBp+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DBFLL, 5),
                        0x1.1A3CFE870496DF8p+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DC1LL, 6),
                        0x1.1A3CFE870496E08p+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DC7LL, 7),
                        0x1.1A3CFE870496E38p+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DC8LL, 8),
                        0x1.1A3CFE870496E4p+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DCFLL, 9),
                        0x1.1A3CFE870496E78p+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DD0LL, 0),
                        0x1.1A3CFE870496E8p+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DD1LL, 11),
                        0x1.1A3CFE870496E88p+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DD8LL, 12),
                        0x1.1A3CFE870496ECp+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DDFLL, 13),
                        0x1.1A3CFE870496EF8p+121L))
    return 1;
  if (test__floatuntixf(make_ti(0x023479FD0E092DE0LL, 14),
                        0x1.1A3CFE870496Fp+121L))
    return 1;
  if (test__floatuntixf(make_ti(0, 0xFFFFFFFFFFFFFFFFLL),
                        0x1.FFFFFFFFFFFFFFFEp+63L))
    return 1;
  if (test__floatuntixf(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x0000000000000000LL),
                        0x1.FFFFFFFFFFFFFFFEp+127L))
    return 1;
  if (test__floatuntixf(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
                        0x1.0000000000000000p+128L))
    return 1;
  if (test__floatuntixf(make_ti(0x0000123456789012LL, 0x3456100000000001LL),
                        0x1.2345678901234562p+108L))
    return 1;
  if (test__floatuntixf(make_ti(0x0000123456789012LL, 0x3456200000000000LL),
                        0x1.2345678901234562p+108L))
    return 1;
  if (test__floatuntixf(make_ti(0x0000123456789012LL, 0x34562FFFFFFFFFFFLL),
                        0x1.2345678901234562p+108L))
    return 1;
  if (test__floatuntixf(make_ti(0x0000123456789012LL, 0x3456300000000000LL),
                        0x1.2345678901234564p+108L))
    return 1;
  if (test__floatuntixf(make_ti(0x0000123456789012LL, 0x3456400000000000LL),
                        0x1.2345678901234564p+108L))
    return 1;
  if (test__floatuntixf(make_ti(0x0000123456789012LL, 0x34564FFFFFFFFFFFLL),
                        0x1.2345678901234564p+108L))
    return 1;
  if (test__floatuntixf(make_ti(0x0000123456789012LL, 0x3456500000000000LL),
                        0x1.2345678901234564p+108L))
    return 1;
  if (test__floatuntixf(make_ti(0x0000123456789012LL, 0x3456500000000001LL),
                        0x1.2345678901234566p+108L))
    return 1;
  if (test__floatuntixf(make_ti(0x0000123456789012LL, 0x34566FFFFFFFFFFFLL),
                        0x1.2345678901234566p+108L))
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
xor    %edi,%edi
xorps  %xmm0,%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1150 <main+0x30>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    $0x1,%edi
movsd  0xea3(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1179 <main+0x59>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    $0x2,%edi
movsd  0xe82(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     11a2 <main+0x82>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    $0x14,%edi
movsd  0xe61(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     11cb <main+0xab>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fffff8000000000,%rdi
ff ff 7f
movsd  0xe3b(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     11f9 <main+0xd9>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7ffffffffffff800,%rdi
movsd  0xe15(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1227 <main+0x107>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fffff0000000000,%rdi
ff ff 7f
movsd  0xdef(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1255 <main+0x135>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7ffffffffffff000,%rdi
ff ff 7f
movsd  0xdc9(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1283 <main+0x163>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0xe54(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x7fffffffffffffff,%rdi
ff ff 7f
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     12b4 <main+0x194>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0xe33(%rip)
fstpt  (%rax)
xor    %eax,%eax
mov    $0xfffffffffffffffe,%rdi
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     12e2 <main+0x1c2>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0xe15(%rip)
fstpt  (%rax)
xor    %eax,%eax
mov    $0xffffffffffffffff,%rdi
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1310 <main+0x1f0>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x8000008000000000,%rdi
movsd  0xd16(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     133e <main+0x21e>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x8000000000000800,%rdi
movsd  0xcf0(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     136c <main+0x24c>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x8000010000000000,%rdi
movsd  0xcca(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     139a <main+0x27a>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x8000000000001000,%rdi
movsd  0xca4(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     13c8 <main+0x2a8>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x8000000000000000,%rdi
movsd  0xc7e(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     13f6 <main+0x2d6>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0xd11(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x8000000000000001,%rdi
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1427 <main+0x307>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fb72e8000000,%rdi
movsd  0xc27(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1455 <main+0x335>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fb72ea000000,%rdi
movsd  0xc01(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1483 <main+0x363>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fb72eb000000,%rdi
movsd  0xbdb(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     14b1 <main+0x391>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fb72ebffffff,%rdi
movsd  0xbb5(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     14df <main+0x3bf>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fb72ec000000,%rdi
movsd  0xb8f(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     150d <main+0x3ed>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fb72e8000001,%rdi
movsd  0xb69(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     153b <main+0x41b>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fb72e6000000,%rdi
movsd  0xb43(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1569 <main+0x449>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fb72e7000000,%rdi
movsd  0xb1d(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1597 <main+0x477>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fb72e7ffffff,%rdi
movsd  0xaf7(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     15c5 <main+0x4a5>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fb72e4000001,%rdi
movsd  0xad1(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     15f3 <main+0x4d3>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x7fb72e4000000,%rdi
movsd  0xaab(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1621 <main+0x501>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092dc0,%rdi
79 34 02
movsd  0xa85(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     164f <main+0x52f>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0xac8(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092da1,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1680 <main+0x560>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0xaa7(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092db0,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     16b1 <main+0x591>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0xa86(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092db8,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     16e2 <main+0x5c2>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0xa65(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092db6,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1713 <main+0x5f3>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0xa44(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092dbf,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1744 <main+0x624>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0xa23(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092dc1,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1775 <main+0x655>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0xa02(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092dc7,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     17a6 <main+0x686>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0x9e1(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092dc8,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     17d7 <main+0x6b7>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0x9c0(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092dcf,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1808 <main+0x6e8>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0x99f(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092dd0,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1839 <main+0x719>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0x97e(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092dd1,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     186a <main+0x74a>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0x95d(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092dd8,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     189b <main+0x77b>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    %rsp,%rax
fldt   0x93c(%rip)
fstpt  (%rax)
xor    %eax,%eax
movabs $0x23479fd0e092ddf,%rdi
79 34 02
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     18cc <main+0x7ac>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092de0,%rdi
79 34 02
movsd  0x7e2(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     18fa <main+0x7da>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092dc0,%rdi
79 34 02
xor    %esi,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldl   0x7b0(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1936 <main+0x816>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092da1,%rdi
79 34 02
mov    $0x1,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x899(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1975 <main+0x855>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092db0,%rdi
79 34 02
mov    $0x2,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x86a(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     19b4 <main+0x894>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092db8,%rdi
79 34 02
mov    $0x3,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x83b(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     19f3 <main+0x8d3>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092db6,%rdi
79 34 02
mov    $0x4,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x80c(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1a32 <main+0x912>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092dbf,%rdi
79 34 02
mov    $0x5,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x7dd(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1a71 <main+0x951>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092dc1,%rdi
79 34 02
mov    $0x6,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x7ae(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1ab0 <main+0x990>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092dc7,%rdi
79 34 02
mov    $0x7,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x77f(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1aef <main+0x9cf>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092dc8,%rdi
79 34 02
mov    $0x8,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x750(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1b2e <main+0xa0e>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092dcf,%rdi
79 34 02
mov    $0x9,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x721(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1b6d <main+0xa4d>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092dd0,%rdi
79 34 02
xor    %esi,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x6f5(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1ba9 <main+0xa89>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092dd1,%rdi
79 34 02
mov    $0xb,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x6c6(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1be8 <main+0xac8>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092dd8,%rdi
79 34 02
mov    $0xc,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x697(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1c27 <main+0xb07>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092ddf,%rdi
79 34 02
mov    $0xd,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x668(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1c66 <main+0xb46>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x23479fd0e092de0,%rdi
79 34 02
mov    $0xe,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldl   0x449(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1ca5 <main+0xb85>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
xor    %edi,%edi
mov    $0xffffffffffffffff,%rsi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x440(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1cde <main+0xbbe>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    $0xffffffffffffffff,%rdi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x5c5(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1d19 <main+0xbf9>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
mov    $0xffffffffffffffff,%rsi
mov    %rsi,%rdi
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldl   0x3a3(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1d53 <main+0xc33>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x123456789012,%rdi
movabs $0x3456100000000001,%rsi
10 56 34
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x557(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1d97 <main+0xc77>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x123456789012,%rdi
movabs $0x3456200000000000,%rsi
20 56 34
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x513(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1ddb <main+0xcbb>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x123456789012,%rdi
movabs $0x34562fffffffffff,%rsi
2f 56 34
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x4cf(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1e1f <main+0xcff>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x123456789012,%rdi
movabs $0x3456300000000000,%rsi
30 56 34
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x49b(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1e63 <main+0xd43>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x123456789012,%rdi
movabs $0x3456400000000000,%rsi
40 56 34
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x457(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1ea7 <main+0xd87>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x123456789012,%rdi
movabs $0x34564fffffffffff,%rsi
4f 56 34
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x413(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1eeb <main+0xdcb>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x123456789012,%rdi
movabs $0x3456500000000000,%rsi
50 56 34
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x3cf(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1f2f <main+0xe0f>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x123456789012,%rdi
movabs $0x3456500000000001,%rsi
50 56 34
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x39b(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1f73 <main+0xe53>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movabs $0x123456789012,%rdi
movabs $0x34566fffffffffff,%rsi
6f 56 34
mov    $0x0,%al
call   1040 <make_ti@plt>
mov    %eax,%edi
mov    %rsp,%rax
fldt   0x357(%rip)
fstpt  (%rax)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
cmp    $0x0,%eax
je     1fb7 <main+0xe97>
movl   $0x1,-0x4(%rbp)
jmp    1fbe <main+0xe9e>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
xorps  %xmm0,%xmm0
xor    %edi,%edi
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
mov    $0x1,%ebx
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    $0x1,%ebx
movsd  0xeac(%rip),%xmm0
mov    $0x1,%edi
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movsd  0xe98(%rip),%xmm0
mov    $0x2,%edi
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movsd  0xe84(%rip),%xmm0
mov    $0x14,%edi
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x7fffff8000000000,%rdi
ff ff 7f
movsd  0xe66(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x7ffffffffffff000,%rbp
ff ff 7f
lea    0x800(%rbp),%rdi
movsd  0xe46(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x7fffff0000000000,%rdi
ff ff 7f
movsd  0xe2d(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movsd  0xe1e(%rip),%xmm0
mov    %rbp,%rdi
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0xfff(%rbp),%rdi
fldt   0xeaf(%rip)
fstpt  (%rsp)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
fldt   0xea7(%rip)
fstpt  (%rsp)
mov    $0xfffffffffffffffe,%rdi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
fldt   0xe98(%rip)
fld    %st(0)
fstpt  0x1c(%rsp)
fstpt  (%rsp)
mov    $0xffffffffffffffff,%rdi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x8000008000000000,%rdi
movsd  0xd9f(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x1800(%rbp),%rdi
movsd  0xd89(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x8000010000000000,%rdi
movsd  0xd70(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x2000(%rbp),%rdi
movsd  0xd5a(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x1000(%rbp),%rdi
movsd  0xd44(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
add    $0x1001,%rbp
fldt   0xde0(%rip)
fstpt  (%rsp)
mov    %rbp,%rdi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x7fb72e4000000,%rbp
lea    0x4000000(%rbp),%rdi
movsd  0xd02(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x6000000(%rbp),%rdi
movsd  0xcec(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x7000000(%rbp),%rdi
movsd  0xcd6(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x7ffffff(%rbp),%rdi
movsd  0xcc0(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x8000000(%rbp),%rdi
movsd  0xcaa(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x4000001(%rbp),%rdi
movsd  0xc94(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x2000000(%rbp),%rdi
movsd  0xc7e(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x3000000(%rbp),%rdi
movsd  0xc68(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x3ffffff(%rbp),%rdi
movsd  0xc52(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x1(%rbp),%rdi
movsd  0xc3f(%rip),%xmm0
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movsd  0xc30(%rip),%xmm0
mov    %rbp,%rdi
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x23479fd0e092da1,%r12
79 34 02
lea    0x1f(%r12),%rbp
movsd  0xc0f(%rip),%xmm0
mov    %rbp,%rdi
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
fldt   0xc5f(%rip)
fstpt  (%rsp)
mov    %r12,%rdi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0xf(%r12),%r13
fldt   0xc4f(%rip)
fstpt  (%rsp)
mov    %r13,%rdi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x17(%r12),%r15
fldt   0xc3f(%rip)
fstpt  (%rsp)
mov    %r15,%rdi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x15(%r12),%r14
fldt   0xc2f(%rip)
fstpt  (%rsp)
mov    %r14,%rdi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x1e(%r12),%rdi
fldt   0xc1f(%rip)
fstpt  (%rsp)
mov    %rdi,0x70(%rsp)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x20(%r12),%rdi
fldt   0xc0d(%rip)
fstpt  (%rsp)
mov    %rdi,0x68(%rsp)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x26(%r12),%rdi
fldt   0xbfb(%rip)
fstpt  (%rsp)
mov    %rdi,0x60(%rsp)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x27(%r12),%rdi
fldt   0xbe9(%rip)
fstpt  (%rsp)
mov    %rdi,0x58(%rsp)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x2e(%r12),%rdi
fldt   0xbd7(%rip)
fstpt  (%rsp)
mov    %rdi,0x50(%rsp)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x2f(%r12),%rdi
fldt   0xbc5(%rip)
fstpt  (%rsp)
mov    %rdi,0x48(%rsp)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x30(%r12),%rdi
fldt   0xbb3(%rip)
fstpt  (%rsp)
mov    %rdi,0x40(%rsp)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x37(%r12),%rdi
fldt   0xba1(%rip)
fstpt  (%rsp)
mov    %rdi,0x38(%rsp)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x3e(%r12),%rdi
fldt   0xb8f(%rip)
fstpt  (%rsp)
mov    %rdi,0x30(%rsp)
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x3f(%r12),%rdi
movsd  0xa4b(%rip),%xmm0
mov    %rdi,0x28(%rsp)
mov    $0x1,%al
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    %rbp,%rdi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldl   0xa2d(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    $0x1,%ebx
mov    %r12,%rdi
mov    $0x1,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xb27(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    %r13,%rdi
mov    $0x2,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xb0e(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    %r15,%rdi
mov    $0x3,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xaf5(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    %r14,%rdi
mov    $0x4,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xadc(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    0x70(%rsp),%rdi
mov    $0x5,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xac1(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    0x68(%rsp),%rdi
mov    $0x6,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xaa6(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    0x60(%rsp),%rdi
mov    $0x7,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xa8b(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    0x58(%rsp),%rdi
mov    $0x8,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xa70(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    0x50(%rsp),%rdi
mov    $0x9,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xa55(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    0x48(%rsp),%rdi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xa3d(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    0x40(%rsp),%rdi
mov    $0xb,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xa22(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    0x38(%rsp),%rdi
mov    $0xc,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0xa07(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    0x30(%rsp),%rdi
mov    $0xd,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x9ec(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    0x28(%rsp),%rdi
mov    $0xe,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldl   0x7e1(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
xor    %edi,%edi
mov    $0xffffffffffffffff,%rsi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x1c(%rsp)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    $0xffffffffffffffff,%rdi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x97f(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
mov    $0xffffffffffffffff,%rdi
mov    $0xffffffffffffffff,%rsi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldl   0x768(%rip)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x123456789012,%r14
movabs $0x3456100000000001,%rsi
10 56 34
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x928(%rip)
fld    %st(0)
fstpt  0x1c(%rsp)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x3456200000000000,%rsi
20 56 34
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x1c(%rsp)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x34562fffffffffff,%rbp
2f 56 34
mov    %r14,%rdi
mov    %rbp,%rsi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x1c(%rsp)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
add    $0x1,%rbp
mov    %r14,%rdi
mov    %rbp,%rsi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x8ac(%rip)
fld    %st(0)
fstpt  0x1c(%rsp)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x3456400000000000,%rsi
40 56 34
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x1c(%rsp)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x34564fffffffffff,%rbp
4f 56 34
mov    %r14,%rdi
mov    %rbp,%rsi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x1c(%rsp)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
lea    0x1(%rbp),%rsi
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x1c(%rsp)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
add    $0x2,%rbp
mov    %r14,%rdi
mov    %rbp,%rsi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x812(%rip)
fld    %st(0)
fstpt  0x1c(%rsp)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
test   %eax,%eax
jne    1b1f <main+0x9ff>
movabs $0x34566fffffffffff,%rsi
6f 56 34
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <make_ti@plt>
fldt   0x1c(%rsp)
fstpt  (%rsp)
mov    %eax,%edi
xor    %eax,%eax
call   1030 <test__floatuntixf@plt>
xor    %ebx,%ebx
test   %eax,%eax
setne  %bl
mov    %ebx,%eax
add    $0x78,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
store i32 0, i32* %1
%2 = call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatuntixf 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 %309
5: ; preds = %0
%6 = call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatuntixf 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 %309
9: ; preds = %5
%10 = call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatuntixf 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 %309
13: ; preds = %9
%14 = call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, double, ...)*)(i32 20, double 2.000000e+01)
%15 = icmp ne i32 %14, 0
br i1 %15, label %16, label %17
16: ; preds = %13
store i32 1, i32* %1
br label %309
17: ; preds = %13
%18 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 9223371487098961920, double 0x43DFFFFFE0000000)
%19 = icmp ne i32 %18, 0
br i1 %19, label %20, label %21
20: ; preds = %17
store i32 1, i32* %1
br label %309
21: ; preds = %17
%22 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 9223372036854773760, double 0x43DFFFFFFFFFFFFE)
%23 = icmp ne i32 %22, 0
br i1 %23, label %24, label %25
24: ; preds = %21
store i32 1, i32* %1
br label %309
25: ; preds = %21
%26 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf 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 %309
29: ; preds = %25
%30 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 9223372036854771712, double 0x43DFFFFFFFFFFFFC)
%31 = icmp ne i32 %30, 0
br i1 %31, label %32, label %33
32: ; preds = %29
store i32 1, i32* %1
br label %309
33: ; preds = %29
%34 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 9223372036854775807, x86_fp80 0xK403DFFFFFFFFFFFFFFFE)
%35 = icmp ne i32 %34, 0
br i1 %35, label %36, label %37
36: ; preds = %33
store i32 1, i32* %1
br label %309
37: ; preds = %33
%38 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 -2, x86_fp80 0xK403EFFFFFFFFFFFFFFFE)
%39 = icmp ne i32 %38, 0
br i1 %39, label %40, label %41
40: ; preds = %37
store i32 1, i32* %1
br label %309
41: ; preds = %37
%42 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 -1, x86_fp80 0xK403EFFFFFFFFFFFFFFFF)
%43 = icmp ne i32 %42, 0
br i1 %43, label %44, label %45
44: ; preds = %41
store i32 1, i32* %1
br label %309
45: ; preds = %41
%46 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 -9223371487098961920, double 0x43E0000010000000)
%47 = icmp ne i32 %46, 0
br i1 %47, label %48, label %49
48: ; preds = %45
store i32 1, i32* %1
br label %309
49: ; preds = %45
%50 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 -9223372036854773760, double 0x43E0000000000001)
%51 = icmp ne i32 %50, 0
br i1 %51, label %52, label %53
52: ; preds = %49
store i32 1, i32* %1
br label %309
53: ; preds = %49
%54 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 -9223370937343148032, double 0x43E0000020000000)
%55 = icmp ne i32 %54, 0
br i1 %55, label %56, label %57
56: ; preds = %53
store i32 1, i32* %1
br label %309
57: ; preds = %53
%58 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 -9223372036854771712, double 0x43E0000000000002)
%59 = icmp ne i32 %58, 0
br i1 %59, label %60, label %61
60: ; preds = %57
store i32 1, i32* %1
br label %309
61: ; preds = %57
%62 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 -9223372036854775808, double 0x43E0000000000000)
%63 = icmp ne i32 %62, 0
br i1 %63, label %64, label %65
64: ; preds = %61
store i32 1, i32* %1
br label %309
65: ; preds = %61
%66 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 -9223372036854775807, x86_fp80 0xK403E8000000000000001)
%67 = icmp ne i32 %66, 0
br i1 %67, label %68, label %69
68: ; preds = %65
store i32 1, i32* %1
br label %309
69: ; preds = %65
%70 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795774132224, 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 %309
73: ; preds = %69
%74 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795807686656, double 0x431FEDCBA8000000)
%75 = icmp ne i32 %74, 0
br i1 %75, label %76, label %77
76: ; preds = %73
store i32 1, i32* %1
br label %309
77: ; preds = %73
%78 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795824463872, double 0x431FEDCBAC000000)
%79 = icmp ne i32 %78, 0
br i1 %79, label %80, label %81
80: ; preds = %77
store i32 1, i32* %1
br label %309
81: ; preds = %77
%82 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795841241087, double 0x431FEDCBAFFFFFFC)
%83 = icmp ne i32 %82, 0
br i1 %83, label %84, label %85
84: ; preds = %81
store i32 1, i32* %1
br label %309
85: ; preds = %81
%86 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795841241088, double 0x431FEDCBB0000000)
%87 = icmp ne i32 %86, 0
br i1 %87, label %88, label %89
88: ; preds = %85
store i32 1, i32* %1
br label %309
89: ; preds = %85
%90 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795774132225, double 0x431FEDCBA0000004)
%91 = icmp ne i32 %90, 0
br i1 %91, label %92, label %93
92: ; preds = %89
store i32 1, i32* %1
br label %309
93: ; preds = %89
%94 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795740577792, double 0x431FEDCB98000000)
%95 = icmp ne i32 %94, 0
br i1 %95, label %96, label %97
96: ; preds = %93
store i32 1, i32* %1
br label %309
97: ; preds = %93
%98 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795757355008, double 0x431FEDCB9C000000)
%99 = icmp ne i32 %98, 0
br i1 %99, label %100, label %101
100: ; preds = %97
store i32 1, i32* %1
br label %309
101: ; preds = %97
%102 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795774132223, double 0x431FEDCB9FFFFFFC)
%103 = icmp ne i32 %102, 0
br i1 %103, label %104, label %105
104: ; preds = %101
store i32 1, i32* %1
br label %309
105: ; preds = %101
%106 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795707023361, double 0x431FEDCB90000004)
%107 = icmp ne i32 %106, 0
br i1 %107, label %108, label %109
108: ; preds = %105
store i32 1, i32* %1
br label %309
109: ; preds = %105
%110 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795707023360, double 0x431FEDCB90000000)
%111 = icmp ne i32 %110, 0
br i1 %111, label %112, label %113
112: ; preds = %109
store i32 1, i32* %1
br label %309
113: ; preds = %109
%114 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 158886014633979328, double 0x4381A3CFE870496E)
%115 = icmp ne i32 %114, 0
br i1 %115, label %116, label %117
116: ; preds = %113
store i32 1, i32* %1
br label %309
117: ; preds = %113
%118 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979297, x86_fp80 0xK40388D1E7F43824B6840)
%119 = icmp ne i32 %118, 0
br i1 %119, label %120, label %121
120: ; preds = %117
store i32 1, i32* %1
br label %309
121: ; preds = %117
%122 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979312, x86_fp80 0xK40388D1E7F43824B6C00)
%123 = icmp ne i32 %122, 0
br i1 %123, label %124, label %125
124: ; preds = %121
store i32 1, i32* %1
br label %309
125: ; preds = %121
%126 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979320, x86_fp80 0xK40388D1E7F43824B6E00)
%127 = icmp ne i32 %126, 0
br i1 %127, label %128, label %129
128: ; preds = %125
store i32 1, i32* %1
br label %309
129: ; preds = %125
%130 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979318, x86_fp80 0xK40388D1E7F43824B6D80)
%131 = icmp ne i32 %130, 0
br i1 %131, label %132, label %133
132: ; preds = %129
store i32 1, i32* %1
br label %309
133: ; preds = %129
%134 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979327, x86_fp80 0xK40388D1E7F43824B6FC0)
%135 = icmp ne i32 %134, 0
br i1 %135, label %136, label %137
136: ; preds = %133
store i32 1, i32* %1
br label %309
137: ; preds = %133
%138 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979329, x86_fp80 0xK40388D1E7F43824B7040)
%139 = icmp ne i32 %138, 0
br i1 %139, label %140, label %141
140: ; preds = %137
store i32 1, i32* %1
br label %309
141: ; preds = %137
%142 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979335, x86_fp80 0xK40388D1E7F43824B71C0)
%143 = icmp ne i32 %142, 0
br i1 %143, label %144, label %145
144: ; preds = %141
store i32 1, i32* %1
br label %309
145: ; preds = %141
%146 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979336, x86_fp80 0xK40388D1E7F43824B7200)
%147 = icmp ne i32 %146, 0
br i1 %147, label %148, label %149
148: ; preds = %145
store i32 1, i32* %1
br label %309
149: ; preds = %145
%150 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979343, x86_fp80 0xK40388D1E7F43824B73C0)
%151 = icmp ne i32 %150, 0
br i1 %151, label %152, label %153
152: ; preds = %149
store i32 1, i32* %1
br label %309
153: ; preds = %149
%154 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979344, x86_fp80 0xK40388D1E7F43824B7400)
%155 = icmp ne i32 %154, 0
br i1 %155, label %156, label %157
156: ; preds = %153
store i32 1, i32* %1
br label %309
157: ; preds = %153
%158 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979345, x86_fp80 0xK40388D1E7F43824B7440)
%159 = icmp ne i32 %158, 0
br i1 %159, label %160, label %161
160: ; preds = %157
store i32 1, i32* %1
br label %309
161: ; preds = %157
%162 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979352, x86_fp80 0xK40388D1E7F43824B7600)
%163 = icmp ne i32 %162, 0
br i1 %163, label %164, label %165
164: ; preds = %161
store i32 1, i32* %1
br label %309
165: ; preds = %161
%166 = call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979359, x86_fp80 0xK40388D1E7F43824B77C0)
%167 = icmp ne i32 %166, 0
br i1 %167, label %168, label %169
168: ; preds = %165
store i32 1, i32* %1
br label %309
169: ; preds = %165
%170 = call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 158886014633979360, double 0x4381A3CFE870496F)
%171 = icmp ne i32 %170, 0
br i1 %171, label %172, label %173
172: ; preds = %169
store i32 1, i32* %1
br label %309
173: ; preds = %169
%174 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979328, i32 0)
%175 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %174, x86_fp80 0xK40788D1E7F43824B7000)
%176 = icmp ne i32 %175, 0
br i1 %176, label %177, label %178
177: ; preds = %173
store i32 1, i32* %1
br label %309
178: ; preds = %173
%179 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979297, i32 1)
%180 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %179, x86_fp80 0xK40788D1E7F43824B6840)
%181 = icmp ne i32 %180, 0
br i1 %181, label %182, label %183
182: ; preds = %178
store i32 1, i32* %1
br label %309
183: ; preds = %178
%184 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979312, i32 2)
%185 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %184, x86_fp80 0xK40788D1E7F43824B6C00)
%186 = icmp ne i32 %185, 0
br i1 %186, label %187, label %188
187: ; preds = %183
store i32 1, i32* %1
br label %309
188: ; preds = %183
%189 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979320, i32 3)
%190 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %189, x86_fp80 0xK40788D1E7F43824B6E00)
%191 = icmp ne i32 %190, 0
br i1 %191, label %192, label %193
192: ; preds = %188
store i32 1, i32* %1
br label %309
193: ; preds = %188
%194 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979318, i32 4)
%195 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %194, x86_fp80 0xK40788D1E7F43824B6D80)
%196 = icmp ne i32 %195, 0
br i1 %196, label %197, label %198
197: ; preds = %193
store i32 1, i32* %1
br label %309
198: ; preds = %193
%199 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979327, i32 5)
%200 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %199, x86_fp80 0xK40788D1E7F43824B6FC0)
%201 = icmp ne i32 %200, 0
br i1 %201, label %202, label %203
202: ; preds = %198
store i32 1, i32* %1
br label %309
203: ; preds = %198
%204 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979329, i32 6)
%205 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %204, x86_fp80 0xK40788D1E7F43824B7040)
%206 = icmp ne i32 %205, 0
br i1 %206, label %207, label %208
207: ; preds = %203
store i32 1, i32* %1
br label %309
208: ; preds = %203
%209 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979335, i32 7)
%210 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %209, x86_fp80 0xK40788D1E7F43824B71C0)
%211 = icmp ne i32 %210, 0
br i1 %211, label %212, label %213
212: ; preds = %208
store i32 1, i32* %1
br label %309
213: ; preds = %208
%214 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979336, i32 8)
%215 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %214, x86_fp80 0xK40788D1E7F43824B7200)
%216 = icmp ne i32 %215, 0
br i1 %216, label %217, label %218
217: ; preds = %213
store i32 1, i32* %1
br label %309
218: ; preds = %213
%219 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979343, i32 9)
%220 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %219, x86_fp80 0xK40788D1E7F43824B73C0)
%221 = icmp ne i32 %220, 0
br i1 %221, label %222, label %223
222: ; preds = %218
store i32 1, i32* %1
br label %309
223: ; preds = %218
%224 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979344, i32 0)
%225 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %224, x86_fp80 0xK40788D1E7F43824B7400)
%226 = icmp ne i32 %225, 0
br i1 %226, label %227, label %228
227: ; preds = %223
store i32 1, i32* %1
br label %309
228: ; preds = %223
%229 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979345, i32 11)
%230 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %229, x86_fp80 0xK40788D1E7F43824B7440)
%231 = icmp ne i32 %230, 0
br i1 %231, label %232, label %233
232: ; preds = %228
store i32 1, i32* %1
br label %309
233: ; preds = %228
%234 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979352, i32 12)
%235 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %234, x86_fp80 0xK40788D1E7F43824B7600)
%236 = icmp ne i32 %235, 0
br i1 %236, label %237, label %238
237: ; preds = %233
store i32 1, i32* %1
br label %309
238: ; preds = %233
%239 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979359, i32 13)
%240 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %239, x86_fp80 0xK40788D1E7F43824B77C0)
%241 = icmp ne i32 %240, 0
br i1 %241, label %242, label %243
242: ; preds = %238
store i32 1, i32* %1
br label %309
243: ; preds = %238
%244 = call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979360, i32 14)
%245 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %244, x86_fp80 0xK40788D1E7F43824B7800)
%246 = icmp ne i32 %245, 0
br i1 %246, label %247, label %248
247: ; preds = %243
store i32 1, i32* %1
br label %309
248: ; preds = %243
%249 = call i32 (i32, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i32, i64, ...)*)(i32 0, i64 -1)
%250 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %249, x86_fp80 0xK403EFFFFFFFFFFFFFFFF)
%251 = icmp ne i32 %250, 0
br i1 %251, label %252, label %253
252: ; preds = %248
store i32 1, i32* %1
br label %309
253: ; preds = %248
%254 = call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 -1, i64 0)
%255 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %254, x86_fp80 0xK407EFFFFFFFFFFFFFFFF)
%256 = icmp ne i32 %255, 0
br i1 %256, label %257, label %258
257: ; preds = %253
store i32 1, i32* %1
br label %309
258: ; preds = %253
%259 = call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 -1, i64 -1)
%260 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %259, x86_fp80 0xK407F8000000000000000)
%261 = icmp ne i32 %260, 0
br i1 %261, label %262, label %263
262: ; preds = %258
store i32 1, i32* %1
br label %309
263: ; preds = %258
%264 = call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771219330155413505)
%265 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %264, x86_fp80 0xK406B91A2B3C48091A2B1)
%266 = icmp ne i32 %265, 0
br i1 %266, label %267, label %268
267: ; preds = %263
store i32 1, i32* %1
br label %309
268: ; preds = %263
%269 = call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771236922341457920)
%270 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %269, x86_fp80 0xK406B91A2B3C48091A2B1)
%271 = icmp ne i32 %270, 0
br i1 %271, label %272, label %273
272: ; preds = %268
store i32 1, i32* %1
br label %309
273: ; preds = %268
%274 = call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771254514527502335)
%275 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %274, x86_fp80 0xK406B91A2B3C48091A2B1)
%276 = icmp ne i32 %275, 0
br i1 %276, label %277, label %278
277: ; preds = %273
store i32 1, i32* %1
br label %309
278: ; preds = %273
%279 = call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771254514527502336)
%280 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %279, x86_fp80 0xK406B91A2B3C48091A2B2)
%281 = icmp ne i32 %280, 0
br i1 %281, label %282, label %283
282: ; preds = %278
store i32 1, i32* %1
br label %309
283: ; preds = %278
%284 = call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771272106713546752)
%285 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %284, x86_fp80 0xK406B91A2B3C48091A2B2)
%286 = icmp ne i32 %285, 0
br i1 %286, label %287, label %288
287: ; preds = %283
store i32 1, i32* %1
br label %309
288: ; preds = %283
%289 = call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771289698899591167)
%290 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %289, x86_fp80 0xK406B91A2B3C48091A2B2)
%291 = icmp ne i32 %290, 0
br i1 %291, label %292, label %293
292: ; preds = %288
store i32 1, i32* %1
br label %309
293: ; preds = %288
%294 = call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771289698899591168)
%295 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %294, x86_fp80 0xK406B91A2B3C48091A2B2)
%296 = icmp ne i32 %295, 0
br i1 %296, label %297, label %298
297: ; preds = %293
store i32 1, i32* %1
br label %309
298: ; preds = %293
%299 = call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771289698899591169)
%300 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %299, x86_fp80 0xK406B91A2B3C48091A2B3)
%301 = icmp ne i32 %300, 0
br i1 %301, label %302, label %303
302: ; preds = %298
store i32 1, i32* %1
br label %309
303: ; preds = %298
%304 = call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771324883271679999)
%305 = call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %304, x86_fp80 0xK406B91A2B3C48091A2B3)
%306 = icmp ne i32 %305, 0
br i1 %306, label %307, label %308
307: ; preds = %303
store i32 1, i32* %1
br label %309
308: ; preds = %303
store i32 0, i32* %1
br label %309
309: ; preds = %308, %307, %302, %297, %292, %287, %282, %277, %272, %267, %262, %257, %252, %247, %242, %237, %232, %227, %222, %217, %212, %207, %202, %197, %192, %187, %182, %177, %172, %168, %164, %160, %156, %152, %148, %144, %140, %136, %132, %128, %124, %120, %116, %112, %108, %104, %100, %96, %92, %88, %84, %80, %76, %72, %68, %64, %60, %56, %52, %48, %44, %40, %36, %32, %28, %24, %20, %16, %12, %8, %4
%310 = load i32, i32* %1
ret i32 %310
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, double, ...)*)(i32 0, double 0.000000e+00)
%2 = icmp eq i32 %1, 0
br i1 %2, label %3, label %238
3: ; preds = %0
%4 = tail call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, double, ...)*)(i32 1, double 1.000000e+00)
%5 = icmp eq i32 %4, 0
br i1 %5, label %6, label %238
6: ; preds = %3
%7 = tail call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, double, ...)*)(i32 2, double 2.000000e+00)
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %238
9: ; preds = %6
%10 = tail call i32 (i32, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, double, ...)*)(i32 20, double 2.000000e+01)
%11 = icmp eq i32 %10, 0
br i1 %11, label %12, label %238
12: ; preds = %9
%13 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 9223371487098961920, double 0x43DFFFFFE0000000)
%14 = icmp eq i32 %13, 0
br i1 %14, label %15, label %238
15: ; preds = %12
%16 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 9223372036854773760, double 0x43DFFFFFFFFFFFFE)
%17 = icmp eq i32 %16, 0
br i1 %17, label %18, label %238
18: ; preds = %15
%19 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 9223370937343148032, double 0x43DFFFFFC0000000)
%20 = icmp eq i32 %19, 0
br i1 %20, label %21, label %238
21: ; preds = %18
%22 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 9223372036854771712, double 0x43DFFFFFFFFFFFFC)
%23 = icmp eq i32 %22, 0
br i1 %23, label %24, label %238
24: ; preds = %21
%25 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 9223372036854775807, x86_fp80 0xK403DFFFFFFFFFFFFFFFE)
%26 = icmp eq i32 %25, 0
br i1 %26, label %27, label %238
27: ; preds = %24
%28 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 -2, x86_fp80 0xK403EFFFFFFFFFFFFFFFE)
%29 = icmp eq i32 %28, 0
br i1 %29, label %30, label %238
30: ; preds = %27
%31 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 -1, x86_fp80 0xK403EFFFFFFFFFFFFFFFF)
%32 = icmp eq i32 %31, 0
br i1 %32, label %33, label %238
33: ; preds = %30
%34 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 -9223371487098961920, double 0x43E0000010000000)
%35 = icmp eq i32 %34, 0
br i1 %35, label %36, label %238
36: ; preds = %33
%37 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 -9223372036854773760, double 0x43E0000000000001)
%38 = icmp eq i32 %37, 0
br i1 %38, label %39, label %238
39: ; preds = %36
%40 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 -9223370937343148032, double 0x43E0000020000000)
%41 = icmp eq i32 %40, 0
br i1 %41, label %42, label %238
42: ; preds = %39
%43 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 -9223372036854771712, double 0x43E0000000000002)
%44 = icmp eq i32 %43, 0
br i1 %44, label %45, label %238
45: ; preds = %42
%46 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 -9223372036854775808, double 0x43E0000000000000)
%47 = icmp eq i32 %46, 0
br i1 %47, label %48, label %238
48: ; preds = %45
%49 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 -9223372036854775807, x86_fp80 0xK403E8000000000000001)
%50 = icmp eq i32 %49, 0
br i1 %50, label %51, label %238
51: ; preds = %48
%52 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795774132224, double 0x431FEDCBA0000000)
%53 = icmp eq i32 %52, 0
br i1 %53, label %54, label %238
54: ; preds = %51
%55 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795807686656, double 0x431FEDCBA8000000)
%56 = icmp eq i32 %55, 0
br i1 %56, label %57, label %238
57: ; preds = %54
%58 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795824463872, double 0x431FEDCBAC000000)
%59 = icmp eq i32 %58, 0
br i1 %59, label %60, label %238
60: ; preds = %57
%61 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795841241087, double 0x431FEDCBAFFFFFFC)
%62 = icmp eq i32 %61, 0
br i1 %62, label %63, label %238
63: ; preds = %60
%64 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795841241088, double 0x431FEDCBB0000000)
%65 = icmp eq i32 %64, 0
br i1 %65, label %66, label %238
66: ; preds = %63
%67 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795774132225, double 0x431FEDCBA0000004)
%68 = icmp eq i32 %67, 0
br i1 %68, label %69, label %238
69: ; preds = %66
%70 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795740577792, double 0x431FEDCB98000000)
%71 = icmp eq i32 %70, 0
br i1 %71, label %72, label %238
72: ; preds = %69
%73 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795757355008, double 0x431FEDCB9C000000)
%74 = icmp eq i32 %73, 0
br i1 %74, label %75, label %238
75: ; preds = %72
%76 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795774132223, double 0x431FEDCB9FFFFFFC)
%77 = icmp eq i32 %76, 0
br i1 %77, label %78, label %238
78: ; preds = %75
%79 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795707023361, double 0x431FEDCB90000004)
%80 = icmp eq i32 %79, 0
br i1 %80, label %81, label %238
81: ; preds = %78
%82 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 2246795707023360, double 0x431FEDCB90000000)
%83 = icmp eq i32 %82, 0
br i1 %83, label %84, label %238
84: ; preds = %81
%85 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 158886014633979328, double 0x4381A3CFE870496E)
%86 = icmp eq i32 %85, 0
br i1 %86, label %87, label %238
87: ; preds = %84
%88 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979297, x86_fp80 0xK40388D1E7F43824B6840)
%89 = icmp eq i32 %88, 0
br i1 %89, label %90, label %238
90: ; preds = %87
%91 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979312, x86_fp80 0xK40388D1E7F43824B6C00)
%92 = icmp eq i32 %91, 0
br i1 %92, label %93, label %238
93: ; preds = %90
%94 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979320, x86_fp80 0xK40388D1E7F43824B6E00)
%95 = icmp eq i32 %94, 0
br i1 %95, label %96, label %238
96: ; preds = %93
%97 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979318, x86_fp80 0xK40388D1E7F43824B6D80)
%98 = icmp eq i32 %97, 0
br i1 %98, label %99, label %238
99: ; preds = %96
%100 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979327, x86_fp80 0xK40388D1E7F43824B6FC0)
%101 = icmp eq i32 %100, 0
br i1 %101, label %102, label %238
102: ; preds = %99
%103 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979329, x86_fp80 0xK40388D1E7F43824B7040)
%104 = icmp eq i32 %103, 0
br i1 %104, label %105, label %238
105: ; preds = %102
%106 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979335, x86_fp80 0xK40388D1E7F43824B71C0)
%107 = icmp eq i32 %106, 0
br i1 %107, label %108, label %238
108: ; preds = %105
%109 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979336, x86_fp80 0xK40388D1E7F43824B7200)
%110 = icmp eq i32 %109, 0
br i1 %110, label %111, label %238
111: ; preds = %108
%112 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979343, x86_fp80 0xK40388D1E7F43824B73C0)
%113 = icmp eq i32 %112, 0
br i1 %113, label %114, label %238
114: ; preds = %111
%115 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979344, x86_fp80 0xK40388D1E7F43824B7400)
%116 = icmp eq i32 %115, 0
br i1 %116, label %117, label %238
117: ; preds = %114
%118 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979345, x86_fp80 0xK40388D1E7F43824B7440)
%119 = icmp eq i32 %118, 0
br i1 %119, label %120, label %238
120: ; preds = %117
%121 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979352, x86_fp80 0xK40388D1E7F43824B7600)
%122 = icmp eq i32 %121, 0
br i1 %122, label %123, label %238
123: ; preds = %120
%124 = tail call i32 (i64, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, x86_fp80, ...)*)(i64 158886014633979359, x86_fp80 0xK40388D1E7F43824B77C0)
%125 = icmp eq i32 %124, 0
br i1 %125, label %126, label %238
126: ; preds = %123
%127 = tail call i32 (i64, double, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i64, double, ...)*)(i64 158886014633979360, double 0x4381A3CFE870496F)
%128 = icmp eq i32 %127, 0
br i1 %128, label %129, label %238
129: ; preds = %126
%130 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979328, i32 0)
%131 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %130, x86_fp80 0xK40788D1E7F43824B7000)
%132 = icmp eq i32 %131, 0
br i1 %132, label %133, label %238
133: ; preds = %129
%134 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979297, i32 1)
%135 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %134, x86_fp80 0xK40788D1E7F43824B6840)
%136 = icmp eq i32 %135, 0
br i1 %136, label %137, label %238
137: ; preds = %133
%138 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979312, i32 2)
%139 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %138, x86_fp80 0xK40788D1E7F43824B6C00)
%140 = icmp eq i32 %139, 0
br i1 %140, label %141, label %238
141: ; preds = %137
%142 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979320, i32 3)
%143 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %142, x86_fp80 0xK40788D1E7F43824B6E00)
%144 = icmp eq i32 %143, 0
br i1 %144, label %145, label %238
145: ; preds = %141
%146 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979318, i32 4)
%147 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %146, x86_fp80 0xK40788D1E7F43824B6D80)
%148 = icmp eq i32 %147, 0
br i1 %148, label %149, label %238
149: ; preds = %145
%150 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979327, i32 5)
%151 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %150, x86_fp80 0xK40788D1E7F43824B6FC0)
%152 = icmp eq i32 %151, 0
br i1 %152, label %153, label %238
153: ; preds = %149
%154 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979329, i32 6)
%155 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %154, x86_fp80 0xK40788D1E7F43824B7040)
%156 = icmp eq i32 %155, 0
br i1 %156, label %157, label %238
157: ; preds = %153
%158 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979335, i32 7)
%159 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %158, x86_fp80 0xK40788D1E7F43824B71C0)
%160 = icmp eq i32 %159, 0
br i1 %160, label %161, label %238
161: ; preds = %157
%162 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979336, i32 8)
%163 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %162, x86_fp80 0xK40788D1E7F43824B7200)
%164 = icmp eq i32 %163, 0
br i1 %164, label %165, label %238
165: ; preds = %161
%166 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979343, i32 9)
%167 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %166, x86_fp80 0xK40788D1E7F43824B73C0)
%168 = icmp eq i32 %167, 0
br i1 %168, label %169, label %238
169: ; preds = %165
%170 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979344, i32 0)
%171 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %170, x86_fp80 0xK40788D1E7F43824B7400)
%172 = icmp eq i32 %171, 0
br i1 %172, label %173, label %238
173: ; preds = %169
%174 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979345, i32 11)
%175 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %174, x86_fp80 0xK40788D1E7F43824B7440)
%176 = icmp eq i32 %175, 0
br i1 %176, label %177, label %238
177: ; preds = %173
%178 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979352, i32 12)
%179 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %178, x86_fp80 0xK40788D1E7F43824B7600)
%180 = icmp eq i32 %179, 0
br i1 %180, label %181, label %238
181: ; preds = %177
%182 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979359, i32 13)
%183 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %182, x86_fp80 0xK40788D1E7F43824B77C0)
%184 = icmp eq i32 %183, 0
br i1 %184, label %185, label %238
185: ; preds = %181
%186 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i32, ...)*)(i64 158886014633979360, i32 14)
%187 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %186, x86_fp80 0xK40788D1E7F43824B7800)
%188 = icmp eq i32 %187, 0
br i1 %188, label %189, label %238
189: ; preds = %185
%190 = tail call i32 (i32, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i32, i64, ...)*)(i32 0, i64 -1)
%191 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %190, x86_fp80 0xK403EFFFFFFFFFFFFFFFF)
%192 = icmp eq i32 %191, 0
br i1 %192, label %193, label %238
193: ; preds = %189
%194 = tail call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 -1, i64 0)
%195 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %194, x86_fp80 0xK407EFFFFFFFFFFFFFFFF)
%196 = icmp eq i32 %195, 0
br i1 %196, label %197, label %238
197: ; preds = %193
%198 = tail call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 -1, i64 -1)
%199 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %198, x86_fp80 0xK407F8000000000000000)
%200 = icmp eq i32 %199, 0
br i1 %200, label %201, label %238
201: ; preds = %197
%202 = tail call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771219330155413505)
%203 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %202, x86_fp80 0xK406B91A2B3C48091A2B1)
%204 = icmp eq i32 %203, 0
br i1 %204, label %205, label %238
205: ; preds = %201
%206 = tail call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771236922341457920)
%207 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %206, x86_fp80 0xK406B91A2B3C48091A2B1)
%208 = icmp eq i32 %207, 0
br i1 %208, label %209, label %238
209: ; preds = %205
%210 = tail call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771254514527502335)
%211 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %210, x86_fp80 0xK406B91A2B3C48091A2B1)
%212 = icmp eq i32 %211, 0
br i1 %212, label %213, label %238
213: ; preds = %209
%214 = tail call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771254514527502336)
%215 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %214, x86_fp80 0xK406B91A2B3C48091A2B2)
%216 = icmp eq i32 %215, 0
br i1 %216, label %217, label %238
217: ; preds = %213
%218 = tail call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771272106713546752)
%219 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %218, x86_fp80 0xK406B91A2B3C48091A2B2)
%220 = icmp eq i32 %219, 0
br i1 %220, label %221, label %238
221: ; preds = %217
%222 = tail call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771289698899591167)
%223 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %222, x86_fp80 0xK406B91A2B3C48091A2B2)
%224 = icmp eq i32 %223, 0
br i1 %224, label %225, label %238
225: ; preds = %221
%226 = tail call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771289698899591168)
%227 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %226, x86_fp80 0xK406B91A2B3C48091A2B2)
%228 = icmp eq i32 %227, 0
br i1 %228, label %229, label %238
229: ; preds = %225
%230 = tail call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771289698899591169)
%231 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %230, x86_fp80 0xK406B91A2B3C48091A2B3)
%232 = icmp eq i32 %231, 0
br i1 %232, label %233, label %238
233: ; preds = %229
%234 = tail call i32 (i64, i64, ...) bitcast (i32 (...)* @make_ti to i32 (i64, i64, ...)*)(i64 20015998341138, i64 3771324883271679999)
%235 = tail call i32 (i32, x86_fp80, ...) bitcast (i32 (...)* @test__floatuntixf to i32 (i32, x86_fp80, ...)*)(i32 %234, x86_fp80 0xK406B91A2B3C48091A2B3)
%236 = icmp ne i32 %235, 0
%237 = zext i1 %236 to i32
br label %238
238: ; preds = %233, %229, %225, %221, %217, %213, %209, %205, %201, %197, %193, %189, %185, %181, %177, %173, %169, %165, %161, %157, %153, %149, %145, %141, %137, %133, %129, %126, %123, %120, %117, %114, %111, %108, %105, %102, %99, %96, %93, %90, %87, %84, %81, %78, %75, %72, %69, %66, %63, %60, %57, %54, %51, %48, %45, %42, %39, %36, %33, %30, %27, %24, %21, %18, %15, %12, %9, %6, %3, %0
%239 = 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 ], [ 1, %63 ], [ 1, %66 ], [ 1, %69 ], [ 1, %72 ], [ 1, %75 ], [ 1, %78 ], [ 1, %81 ], [ 1, %84 ], [ 1, %87 ], [ 1, %90 ], [ 1, %93 ], [ 1, %96 ], [ 1, %99 ], [ 1, %102 ], [ 1, %105 ], [ 1, %108 ], [ 1, %111 ], [ 1, %114 ], [ 1, %117 ], [ 1, %120 ], [ 1, %123 ], [ 1, %126 ], [ 1, %129 ], [ 1, %133 ], [ 1, %137 ], [ 1, %141 ], [ 1, %145 ], [ 1, %149 ], [ 1, %153 ], [ 1, %157 ], [ 1, %161 ], [ 1, %165 ], [ 1, %169 ], [ 1, %173 ], [ 1, %177 ], [ 1, %181 ], [ 1, %185 ], [ 1, %189 ], [ 1, %193 ], [ 1, %197 ], [ 1, %201 ], [ 1, %205 ], [ 1, %209 ], [ 1, %213 ], [ 1, %217 ], [ 1, %221 ], [ 1, %225 ], [ 1, %229 ], [ %237, %233 ]
ret i32 %239
}