45                           UINT64_C(0x7fff800000000000),  in main()
46                           UINT64_C(0x0)))  in main()
50                           UINT64_C(0x7fff820000000000),  in main()
51                           UINT64_C(0x0)))  in main()
55                           UINT64_C(0x7fff000000000000),  in main()
56                           UINT64_C(0x0)))  in main()
59     if (test__extendsftf2(0.0f, UINT64_C(0x0), UINT64_C(0x0)))  in main()
63                           UINT64_C(0x4004234560000000),  in main()
64                           UINT64_C(0x0)))  in main()
67                           UINT64_C(0x3ff6edcba0000000),  in main()
68                           UINT64_C(0x0)))  in main()
71                           UINT64_C(0x402c234560000000),  in main()
72                           UINT64_C(0x0)))  in main()
75                           UINT64_C(0x3fd2edcba0000000),  in main()
76                           UINT64_C(0x0)))  in main()