Lines Matching defs:val32
2971 uint32_t val32 = float32_val(a);2974 int a_exp = (val32 & 0x7f800000) >> 23;2975 int sign = val32 & 0x80000000;2996 | ((int64_t)(val32 & 0x7fffff) << 29));3002 val32 = sign3005 return make_float32(val32);