Lines Matching refs:UINT64_C

49                      UINT64_C(0x7fff800000000000),  in main()
50                      UINT64_C(0x0)))  in main()
53     if (test__addtf3(makeNaN128(UINT64_C(0x800030000000)),  in main()
55                      UINT64_C(0x7fff800000000000),  in main()
56                      UINT64_C(0x0)))  in main()
61                      UINT64_C(0x7fff000000000000),  in main()
62                      UINT64_C(0x0)))  in main()
67                      UINT64_C(0x7fff000000000000),  in main()
68                      UINT64_C(0x0)))  in main()
73                      UINT64_C(0x40042afc95c8b579),  in main()
74                      UINT64_C(0x61e58dd6c51eb77c)))  in main()