Lines Matching refs:UINT64_C
38 UINT64_C(0x7fff800000000000), in main()
39 UINT64_C(0x0))) in main()
42 if (test__multf3(makeNaN128(UINT64_C(0x800030000000)), in main()
44 UINT64_C(0x7fff800000000000), in main()
45 UINT64_C(0x0))) in main()
50 UINT64_C(0x7fff000000000000), in main()
51 UINT64_C(0x0))) in main()
56 UINT64_C(0x400423e7f9e3c9fc), in main()
57 UINT64_C(0xd906c2c2a85777c4))) in main()
61 UINT64_C(0x3fc52a163c6223fc), in main()
62 UINT64_C(0xc94c4bf0430768b4))) in main()
66 UINT64_C(0x44293a91de5e0e94), in main()
67 UINT64_C(0xe8ed17cc2cdf64ac))) in main()
71 UINT64_C(0x3d4f37c1a3137cae), in main()
72 UINT64_C(0xfc6807048bc2836a))) in main()
77 UINT64_C(0x0), in main()
78 UINT64_C(0x0))) in main()