Lines Matching refs:make_float64

825     return make_float64(float64_val(a) & 0x7fffffffffffffffLL);  in float64_abs()
833     return make_float64(float64_val(a) ^ 0x8000000000000000LL);  in float64_chs()
878     return make_float64((float64_val(a) & 0x7fffffffffffffffULL)  in float64_set_sign()
923 #define float64_zero make_float64(0)
924 #define float64_half make_float64(0x3fe0000000000000LL)
925 #define float64_one make_float64(0x3ff0000000000000LL)
926 #define float64_one_point_five make_float64(0x3FF8000000000000ULL)
927 #define float64_two make_float64(0x4000000000000000ULL)
928 #define float64_three make_float64(0x4008000000000000ULL)
929 #define float64_ln2 make_float64(0x3fe62e42fefa39efLL)
930 #define float64_infinity make_float64(0x7ff0000000000000LL)