Lines Matching refs:float64_val
395 return float64_val(a) & LIT64( 0x000FFFFFFFFFFFFF );
406 return ( float64_val(a)>>52 ) & 0x7FF;
417 return float64_val(a)>>63;
430 return make_float64(float64_val(a) & (1ULL << 63));
2931 if ( float64_val(a) != LIT64( 0xC3E0000000000000 ) ) {
3221 if ( (uint64_t) ( float64_val(a)<<1 ) == 0 ) return a;
3241 z = float64_val(a);
3253 if ( z != float64_val(a) )
4033 av = float64_val(a);
4034 bv = float64_val(b);
4061 av = float64_val(a);
4062 bv = float64_val(b);
4090 av = float64_val(a);
4091 bv = float64_val(b);
4139 av = float64_val(a);
4140 bv = float64_val(b);
4169 av = float64_val(a);
4170 bv = float64_val(b);
4200 av = float64_val(a);
4201 bv = float64_val(b);
6544 v = float64_val(int64_to_float64(INT64_MIN STATUS_VAR));
6545 v += float64_val(a);
6555 v = float64_val(int64_to_float64(INT64_MIN STATUS_VAR));
6556 v += float64_val(a);
