77     if (test__floattixf(make_ti(0x8000008000000000LL, 0), -0x1.FFFFFEp+126))  in main()
79     if (test__floattixf(make_ti(0x8000000000000800LL, 0), -0x1.FFFFFFFFFFFFEp+126))  in main()
81     if (test__floattixf(make_ti(0x8000010000000000LL, 0), -0x1.FFFFFCp+126))  in main()
83     if (test__floattixf(make_ti(0x8000000000001000LL, 0), -0x1.FFFFFFFFFFFFCp+126))  in main()
86     if (test__floattixf(make_ti(0x8000000000000000LL, 0), -0x1.000000p+127))  in main()
88     if (test__floattixf(make_ti(0x8000000000000001LL, 0), -0x1.FFFFFFFFFFFFFFFCp+126L))  in main()
147     if (test__floattixf(make_ti(0x023479FD0E092DC0LL, 0), 0x1.1A3CFE870496Ep+121L))  in main()
149     if (test__floattixf(make_ti(0x023479FD0E092DA1LL, 1), 0x1.1A3CFE870496D08p+121L))  in main()
151     if (test__floattixf(make_ti(0x023479FD0E092DB0LL, 2), 0x1.1A3CFE870496D8p+121L))  in main()
153     if (test__floattixf(make_ti(0x023479FD0E092DB8LL, 3), 0x1.1A3CFE870496DCp+121L))  in main()
155     if (test__floattixf(make_ti(0x023479FD0E092DB6LL, 4), 0x1.1A3CFE870496DBp+121L))  in main()
157     if (test__floattixf(make_ti(0x023479FD0E092DBFLL, 5), 0x1.1A3CFE870496DF8p+121L))  in main()
159     if (test__floattixf(make_ti(0x023479FD0E092DC1LL, 6), 0x1.1A3CFE870496E08p+121L))  in main()
161     if (test__floattixf(make_ti(0x023479FD0E092DC7LL, 7), 0x1.1A3CFE870496E38p+121L))  in main()
163     if (test__floattixf(make_ti(0x023479FD0E092DC8LL, 8), 0x1.1A3CFE870496E4p+121L))  in main()
165     if (test__floattixf(make_ti(0x023479FD0E092DCFLL, 9), 0x1.1A3CFE870496E78p+121L))  in main()
167     if (test__floattixf(make_ti(0x023479FD0E092DD0LL, 0), 0x1.1A3CFE870496E8p+121L))  in main()
169     if (test__floattixf(make_ti(0x023479FD0E092DD1LL, 11), 0x1.1A3CFE870496E88p+121L))  in main()
171     if (test__floattixf(make_ti(0x023479FD0E092DD8LL, 12), 0x1.1A3CFE870496ECp+121L))  in main()
173     if (test__floattixf(make_ti(0x023479FD0E092DDFLL, 13), 0x1.1A3CFE870496EF8p+121L))  in main()
175     if (test__floattixf(make_ti(0x023479FD0E092DE0LL, 14), 0x1.1A3CFE870496Fp+121L))  in main()
178     if (test__floattixf(make_ti(0, 0xFFFFFFFFFFFFFFFFLL), 0x1.FFFFFFFFFFFFFFFEp+63L))  in main()
181     if (test__floattixf(make_ti(0x0000123456789012LL, 0x3456100000000001LL),  in main()
184     if (test__floattixf(make_ti(0x0000123456789012LL, 0x3456200000000000LL),  in main()
187     if (test__floattixf(make_ti(0x0000123456789012LL, 0x34562FFFFFFFFFFFLL),  in main()
190     if (test__floattixf(make_ti(0x0000123456789012LL, 0x3456300000000000LL),  in main()
193     if (test__floattixf(make_ti(0x0000123456789012LL, 0x3456400000000000LL),  in main()
196     if (test__floattixf(make_ti(0x0000123456789012LL, 0x34564FFFFFFFFFFFLL),  in main()
199     if (test__floattixf(make_ti(0x0000123456789012LL, 0x3456500000000000LL),  in main()
202     if (test__floattixf(make_ti(0x0000123456789012LL, 0x3456500000000001LL),  in main()
205     if (test__floattixf(make_ti(0x0000123456789012LL, 0x34566FFFFFFFFFFFLL),  in main()