1242     uint32_t fsth1 = fdt1 >> 32;  in helper_float_add_ps()  local
1247     wth2 = float32_add(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_add_ps()
1278     uint32_t fsth1 = fdt1 >> 32;  in helper_float_sub_ps()  local
1283     wth2 = float32_sub(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_sub_ps()
1314     uint32_t fsth1 = fdt1 >> 32;  in helper_float_mul_ps()  local
1319     wth2 = float32_mul(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_mul_ps()
1350     uint32_t fsth1 = fdt1 >> 32;  in helper_float_div_ps()  local
1355     wth2 = float32_div(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_div_ps()
1441     uint32_t fsth1 = fdt1 >> 32;  in helper_float_addr_ps()  local
1446     fsth2 = float32_add(fstl1, fsth1, &env->active_fpu.fp_status);  in helper_float_addr_ps()
1456     uint32_t fsth1 = fdt1 >> 32;  in helper_float_mulr_ps()  local
1461     fsth2 = float32_mul(fstl1, fsth1, &env->active_fpu.fp_status);  in helper_float_mulr_ps()
1576     uint32_t fsth1 = fdt1 >> 32;  in helper_float_madd_ps()  local
1582     fsth0 = float32_mul(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_madd_ps()
1615     uint32_t fsth1 = fdt1 >> 32;  in helper_float_msub_ps()  local
1621     fsth0 = float32_mul(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_msub_ps()
1656     uint32_t fsth1 = fdt1 >> 32;  in helper_float_nmadd_ps()  local
1663     fsth0 = float32_mul(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_nmadd_ps()
1699     uint32_t fsth1 = fdt1 >> 32;  in helper_float_nmsub_ps()  local
1706     fsth0 = float32_mul(fsth0, fsth1, &env->active_fpu.fp_status);  in helper_float_nmsub_ps()
1927     uint32_t fst0, fsth0, fst1, fsth1;                          \
1932     fsth1 = fdt1 >> 32;                                         \
1948     uint32_t fst0, fsth0, fst1, fsth1;                          \
1953     fsth1 = float32_abs(fdt1 >> 32);                            \
1973                   (float32_unordered_quiet(fsth1, fsth0,
1977                   float32_unordered_quiet(fsth1, fsth0,
1981                   float32_eq_quiet(fsth0, fsth1,
1987                   float32_unordered_quiet(fsth1, fsth0,
1989                   || float32_eq_quiet(fsth0, fsth1,
1993                   float32_lt_quiet(fsth0, fsth1,
1999                   float32_unordered_quiet(fsth1, fsth0,
2001                   || float32_lt_quiet(fsth0, fsth1,
2005                   float32_le_quiet(fsth0, fsth1,
2011                   float32_unordered_quiet(fsth1, fsth0,
2013                   || float32_le_quiet(fsth0, fsth1,
2021                   (float32_unordered(fsth1, fsth0,
2025                   float32_unordered(fsth1, fsth0,
2029                   float32_eq(fsth0, fsth1,
2035                   float32_unordered(fsth1, fsth0,
2037                   || float32_eq(fsth0, fsth1,
2041                   float32_lt(fsth0, fsth1,
2047                   float32_unordered(fsth1, fsth0,
2049                   || float32_lt(fsth0, fsth1,
2053                   float32_le(fsth0, fsth1,
2059                   float32_unordered(fsth1, fsth0,
2061                   || float32_le(fsth0, fsth1,