Searched refs:makeNegativeInf64 (Results 1 – 2 of 2) sorted by relevance
49 if (test__divdf3(makeNegativeInf64(), 3., UINT64_C(0xfff0000000000000))) in main()52 if (test__divdf3(makeNegativeInf64(), -3., UINT64_C(0x7ff0000000000000))) in main()
284 static inline double makeNegativeInf64(void) in makeNegativeInf64() function