Lines Matching refs:float64_val
107 #define float64_val(x) (((float64)(x)).v)
116 #define float64_val(x) (x)
425 return make_float64(float64_val(a) & 0x7fffffffffffffffLL);
433 return make_float64(float64_val(a) ^ 0x8000000000000000LL);
438 return (float64_val(a) & 0x7fffffffffffffffLL ) == 0x7ff0000000000000LL;
443 return float64_val(a) >> 63;
448 return (float64_val(a) & 0x7fffffffffffffffLL) == 0;
453 return ((float64_val(a) & ~(1ULL << 63)) > 0x7ff0000000000000ULL);
458 return (float64_val(a) & 0x7ff0000000000000LL) == 0;
463 return make_float64((float64_val(a) & 0x7fffffffffffffffULL)
