14 int test__trunctfxf2(tf_float a, uint64_t expectedHi, uint64_t expectedLo) {  in test__trunctfxf2()  function
34   if (test__trunctfxf2(makeQNaN128(), UINT64_C(0x7FFF),  in main()
38   if (test__trunctfxf2(makeNaN128(UINT64_C(0x810000000000)), UINT64_C(0x7FFF),  in main()
42   if (test__trunctfxf2(makeInf128(), UINT64_C(0x7FFF),  in main()
46   if (test__trunctfxf2(0.0Q, UINT64_C(0x0), UINT64_C(0x0)))  in main()
48   if (test__trunctfxf2(0x1.af23456789bbaaab347645365cdep+5L, UINT64_C(0x4004),  in main()
51   if (test__trunctfxf2(0x1.dedafcff354b6ae9758763545432p-9L, UINT64_C(0x3ff6),  in main()
54   if (test__trunctfxf2(0x1.2f34dd5f437e849b4baab754cdefp+4534L,  in main()
57   if (test__trunctfxf2(0x1.edcbff8ad76ab5bf46463233214fp-435L, UINT64_C(0x3e4c),  in main()
65   if (test__trunctfxf2(halfwayPlus, UINT64_C(0x7ffa),  in main()
71   if (test__trunctfxf2(halfwayExactOdd, UINT64_C(0x7ffa),  in main()
76   if (test__trunctfxf2(halfwayExactEven, UINT64_C(0x7ffa),  in main()
81   if (test__trunctfxf2(halfwayRoundingWillChangeExponent, UINT64_C(0x7ffb),  in main()
86   if (test__trunctfxf2(1e-4932Q, UINT64_C(0), UINT64_C(0x261247c8f29357f0)))  in main()
89   if (test__trunctfxf2(2e-4932Q, UINT64_C(0), UINT64_C(0x4c248f91e526afe0)))  in main()