1243     uint32_t wtl2;  in helper_float_add_ps()  local
1246     wtl2 = float32_add(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_add_ps()
1249     return ((uint64_t)wth2 << 32) | wtl2;  in helper_float_add_ps()
1279     uint32_t wtl2;  in helper_float_sub_ps()  local
1282     wtl2 = float32_sub(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_sub_ps()
1285     return ((uint64_t)wth2 << 32) | wtl2;  in helper_float_sub_ps()
1315     uint32_t wtl2;  in helper_float_mul_ps()  local
1318     wtl2 = float32_mul(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_mul_ps()
1321     return ((uint64_t)wth2 << 32) | wtl2;  in helper_float_mul_ps()
1351     uint32_t wtl2;  in helper_float_div_ps()  local
1354     wtl2 = float32_div(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_div_ps()
1357     return ((uint64_t)wth2 << 32) | wtl2;  in helper_float_div_ps()