Lines Matching refs:float32_val
129 #define float32_val(x) (((float32)(x)).v)
143 #define float32_val(x) (x)
347 return make_float32(float32_val(a) & 0x7fffffff);
355 return make_float32(float32_val(a) ^ 0x80000000);
360 return (float32_val(a) & 0x7fffffff) == 0x7f800000;
365 return float32_val(a) >> 31;
370 return (float32_val(a) & 0x7fffffff) == 0;
375 return ((float32_val(a) & ~(1 << 31)) > 0x7f800000UL);
380 return (float32_val(a) & 0x7f800000) == 0;
385 return make_float32((float32_val(a) & 0x7fffffff) | (sign << 31));