Lines Matching refs:UINT64_C
44 UINT64_C(0x7fff800000000000), in main()
45 UINT64_C(0x0))) in main()
48 if (test__extenddftf2(makeNaN64(UINT64_C(0x7100000000000)), in main()
49 UINT64_C(0x7fff710000000000), in main()
50 UINT64_C(0x0))) in main()
54 UINT64_C(0x7fff000000000000), in main()
55 UINT64_C(0x0))) in main()
58 if (test__extenddftf2(0.0, UINT64_C(0x0), UINT64_C(0x0))) in main()
62 UINT64_C(0x400423456789abcd), in main()
63 UINT64_C(0xf000000000000000))) in main()
66 UINT64_C(0x3ff6edcba9876543), in main()
67 UINT64_C(0x2000000000000000))) in main()
70 UINT64_C(0x402c23456789abcd), in main()
71 UINT64_C(0xf000000000000000))) in main()
74 UINT64_C(0x3fd2edcba9876543), in main()
75 UINT64_C(0x2000000000000000))) in main()