Lines Matching refs:float32_val
213 return float32_val(a) & 0x007FFFFF;
224 return ( float32_val(a)>>23 ) & 0xFF;
235 return float32_val(a)>>31;
248 return make_float32(float32_val(a) & 0x80000000);
1404 if ( float32_val(a) != 0xCF000000 ) {
1446 if ( float32_val(a) != 0xC7000000 ) {
1534 if ( float32_val(a) != 0xDF000000 ) {
1671 if ( (uint32_t) ( float32_val(a)<<1 ) == 0 ) return a;
1690 z = float32_val(a);
1702 if ( z != float32_val(a) ) STATUS(float_exception_flags) |= float_flag_inexact;
2544 av = float32_val(a);
2545 bv = float32_val(b);
2571 av = float32_val(a);
2572 bv = float32_val(b);
2600 av = float32_val(a);
2601 bv = float32_val(b);
2648 return ( float32_val(a) == float32_val(b) ) ||
2649 ( (uint32_t) ( ( float32_val(a) | float32_val(b) )<<1 ) == 0 );
2676 av = float32_val(a);
2677 bv = float32_val(b);
2707 av = float32_val(a);
2708 bv = float32_val(b);
