1239     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_add_ps()  local
1246     wtl2 = float32_add(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_add_ps()
1275     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_sub_ps()  local
1282     wtl2 = float32_sub(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_sub_ps()
1311     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_mul_ps()  local
1318     wtl2 = float32_mul(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_mul_ps()
1347     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_div_ps()  local
1354     wtl2 = float32_div(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_div_ps()
1382     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_recip2_ps()  local
1387     fstl2 = float32_mul(fstl0, fstl2, &env->active_fpu.fp_status);  in helper_float_recip2_ps()
1419     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_rsqrt2_ps()  local
1424     fstl2 = float32_mul(fstl0, fstl2, &env->active_fpu.fp_status);  in helper_float_rsqrt2_ps()
1438     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_addr_ps()  local
1445     fstl2 = float32_add(fstl0, fsth0, &env->active_fpu.fp_status);  in helper_float_addr_ps()
1453     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_mulr_ps()  local
1460     fstl2 = float32_mul(fstl0, fsth0, &env->active_fpu.fp_status);  in helper_float_mulr_ps()
1573     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_madd_ps()  local
1580     fstl0 = float32_mul(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_madd_ps()
1581     fstl0 = float32_add(fstl0, fstl2, &env->active_fpu.fp_status);  in helper_float_madd_ps()
1586     return ((uint64_t)fsth0 << 32) | fstl0;  in helper_float_madd_ps()
1612     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_msub_ps()  local
1619     fstl0 = float32_mul(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_msub_ps()
1620     fstl0 = float32_sub(fstl0, fstl2, &env->active_fpu.fp_status);  in helper_float_msub_ps()
1625     return ((uint64_t)fsth0 << 32) | fstl0;  in helper_float_msub_ps()
1653     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_nmadd_ps()  local
1660     fstl0 = float32_mul(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_nmadd_ps()
1661     fstl0 = float32_add(fstl0, fstl2, &env->active_fpu.fp_status);  in helper_float_nmadd_ps()
1662     fstl0 = float32_chs(fstl0);  in helper_float_nmadd_ps()
1668     return ((uint64_t)fsth0 << 32) | fstl0;  in helper_float_nmadd_ps()
1696     uint32_t fstl0 = fdt0 & 0XFFFFFFFF;  in helper_float_nmsub_ps()  local
1703     fstl0 = float32_mul(fstl0, fstl1, &env->active_fpu.fp_status);  in helper_float_nmsub_ps()
1704     fstl0 = float32_sub(fstl0, fstl2, &env->active_fpu.fp_status);  in helper_float_nmsub_ps()
1705     fstl0 = float32_chs(fstl0);  in helper_float_nmsub_ps()
1711     return ((uint64_t)fsth0 << 32) | fstl0;  in helper_float_nmsub_ps()