315     uint32_t wth2;  in helper_float_cvtpw_ps()  local
325     wth2 = float32_to_int32(fdt0 >> 32, &env->active_fpu.fp_status);  in helper_float_cvtpw_ps()
328         wth2 = FP_TO_INT32_OVERFLOW;  in helper_float_cvtpw_ps()
334     return ((uint64_t)wth2 << 32) | wt2;  in helper_float_cvtpw_ps()
1244     uint32_t wth2;  in helper_float_add_ps()  local
1247     wth2 = float32_add(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_add_ps()
1249     return ((uint64_t)wth2 << 32) | wtl2;  in helper_float_add_ps()
1280     uint32_t wth2;  in helper_float_sub_ps()  local
1283     wth2 = float32_sub(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_sub_ps()
1285     return ((uint64_t)wth2 << 32) | wtl2;  in helper_float_sub_ps()
1316     uint32_t wth2;  in helper_float_mul_ps()  local
1319     wth2 = float32_mul(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_mul_ps()
1321     return ((uint64_t)wth2 << 32) | wtl2;  in helper_float_mul_ps()
1352     uint32_t wth2;  in helper_float_div_ps()  local
1355     wth2 = float32_div(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_div_ps()
1357     return ((uint64_t)wth2 << 32) | wtl2;  in helper_float_div_ps()