Lines Matching refs:float64_val
392 return float64_val(a) & LIT64( 0x000FFFFFFFFFFFFF );
403 return ( float64_val(a)>>52 ) & 0x7FF;
414 return float64_val(a)>>63;
427 return make_float64(float64_val(a) & (1ULL << 63));
2738 if ( float64_val(a) != LIT64( 0xC3E0000000000000 ) ) {
3036 if ( (uint64_t) ( float64_val(a)<<1 ) == 0 ) return a;
3056 z = float64_val(a);
3068 if ( z != float64_val(a) )
3622 av = float64_val(a);
3623 bv = float64_val(b);
3650 av = float64_val(a);
3651 bv = float64_val(b);
3679 av = float64_val(a);
3680 bv = float64_val(b);
3728 av = float64_val(a);
3729 bv = float64_val(b);
3758 av = float64_val(a);
3759 bv = float64_val(b);
3789 av = float64_val(a);
3790 bv = float64_val(b);
6149 v = float64_val(int64_to_float64(INT64_MIN STATUS_VAR));
6150 v += float64_val(a);
6160 v = float64_val(int64_to_float64(INT64_MIN STATUS_VAR));
6161 v += float64_val(a);
