target-mips: Add nan2008 flavor of <CEIL|CVT|FLOOR|ROUND|TRUNC>.<L|W>.<S|D>
New set of helpers for handling nan2008-syle versions of instructions <CEIL|CVT|FLOOR|ROUND|TRUNC>.<L|W>.<S|D>, for Mips R6. All involved instructions have float operand and integer result. Their core functionality is implemented via invocations of appropriate SoftFloat functions. The problematic cases are when the operand is a NaN, and also when the operand (float) is out of the range of the result. Here one can distinguish three cases: CASE MIPS-A: (FCR31.NAN2008 == 1) 1. Operand is a NaN, result should be 0; 2. Operand is larger than INT_MAX, result should be INT_MAX; 3. Operand is smaller than INT_MIN, result should be INT_MIN. CASE MIPS-B: (FCR31.NAN2008 == 0) 1. Operand is a NaN, result should be INT_MAX; 2. Operand is larger than INT_MAX, result should be INT_MAX; 3. Operand is smaller than INT_MIN, result should be INT_MAX. CASE SoftFloat: 1. Operand is a NaN, result is INT_MAX; 2. Operand is larger than INT_MAX, result is INT_MAX; 3. Operand is smaller than INT_MIN, result is INT_MIN. Current implementation of <CEIL|CVT|FLOOR|ROUND|TRUNC>.<L|W>.<S|D> implements case MIPS-B. This patch relates to case MIPS-A. For case MIPS-A, only return value for NaN-operands should be corrected after appropriate SoftFloat library function is called. Related MSA instructions FTRUNC_S and FTINT_S already handle well all cases, in the fashion similar to the code from this patch. Signed-off-by: Aleksandar Markovic <aleksandar.markovic@imgtec.com> Reviewed-by: Leon Alrae <leon.alrae@imgtec.com> [leon.alrae@imgtec.com: * removed a statement from the description which caused slight confusion] Signed-off-by: Leon Alrae <leon.alrae@imgtec.com>
This commit is contained in:
Aleksandar Markovic
Leon Alrae
parent
6be7748005
commit
87552089b6
@ -207,8 +207,6 @@ DEF_HELPER_4(ctc1, void, env, tl, i32, i32)
|
||||
DEF_HELPER_2(float_cvtd_s, i64, env, i32)
|
||||
DEF_HELPER_2(float_cvtd_w, i64, env, i32)
|
||||
DEF_HELPER_2(float_cvtd_l, i64, env, i64)
|
||||
DEF_HELPER_2(float_cvtl_d, i64, env, i64)
|
||||
DEF_HELPER_2(float_cvtl_s, i64, env, i32)
|
||||
DEF_HELPER_2(float_cvtps_pw, i64, env, i64)
|
||||
DEF_HELPER_2(float_cvtpw_ps, i64, env, i64)
|
||||
DEF_HELPER_2(float_cvts_d, i32, env, i64)
|
||||
@ -216,8 +214,6 @@ DEF_HELPER_2(float_cvts_w, i32, env, i32)
|
||||
DEF_HELPER_2(float_cvts_l, i32, env, i64)
|
||||
DEF_HELPER_2(float_cvts_pl, i32, env, i32)
|
||||
DEF_HELPER_2(float_cvts_pu, i32, env, i32)
|
||||
DEF_HELPER_2(float_cvtw_s, i32, env, i32)
|
||||
DEF_HELPER_2(float_cvtw_d, i32, env, i64)
|
||||
|
||||
DEF_HELPER_3(float_addr_ps, i64, env, i64, i64)
|
||||
DEF_HELPER_3(float_mulr_ps, i64, env, i64, i64)
|
||||
@ -242,14 +238,20 @@ FOP_PROTO(mina)
|
||||
#undef FOP_PROTO
|
||||
|
||||
#define FOP_PROTO(op) \
|
||||
DEF_HELPER_2(float_ ## op ## l_s, i64, env, i32) \
|
||||
DEF_HELPER_2(float_ ## op ## l_d, i64, env, i64) \
|
||||
DEF_HELPER_2(float_ ## op ## w_s, i32, env, i32) \
|
||||
DEF_HELPER_2(float_ ## op ## w_d, i32, env, i64)
|
||||
DEF_HELPER_2(float_ ## op ## _l_s, i64, env, i32) \
|
||||
DEF_HELPER_2(float_ ## op ## _l_d, i64, env, i64) \
|
||||
DEF_HELPER_2(float_ ## op ## _w_s, i32, env, i32) \
|
||||
DEF_HELPER_2(float_ ## op ## _w_d, i32, env, i64)
|
||||
FOP_PROTO(cvt)
|
||||
FOP_PROTO(round)
|
||||
FOP_PROTO(trunc)
|
||||
FOP_PROTO(ceil)
|
||||
FOP_PROTO(floor)
|
||||
FOP_PROTO(cvt_2008)
|
||||
FOP_PROTO(round_2008)
|
||||
FOP_PROTO(trunc_2008)
|
||||
FOP_PROTO(ceil_2008)
|
||||
FOP_PROTO(floor_2008)
|
||||
#undef FOP_PROTO
|
||||
|
||||
#define FOP_PROTO(op) \
|
||||
|
||||
@ -2447,6 +2447,7 @@ void mips_cpu_unassigned_access(CPUState *cs, hwaddr addr,
|
||||
|
||||
#define FLOAT_TWO32 make_float32(1 << 30)
|
||||
#define FLOAT_TWO64 make_float64(1ULL << 62)
|
||||
|
||||
#define FP_TO_INT32_OVERFLOW 0x7fffffff
|
||||
#define FP_TO_INT64_OVERFLOW 0x7fffffffffffffffULL
|
||||
|
||||
@ -2682,7 +2683,7 @@ uint64_t helper_float_cvtd_l(CPUMIPSState *env, uint64_t dt0)
|
||||
return fdt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_cvtl_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
uint64_t helper_float_cvt_l_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
@ -2695,7 +2696,7 @@ uint64_t helper_float_cvtl_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_cvtl_s(CPUMIPSState *env, uint32_t fst0)
|
||||
uint64_t helper_float_cvt_l_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
@ -2790,7 +2791,7 @@ uint32_t helper_float_cvts_pu(CPUMIPSState *env, uint32_t wth0)
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_cvtw_s(CPUMIPSState *env, uint32_t fst0)
|
||||
uint32_t helper_float_cvt_w_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
@ -2803,7 +2804,7 @@ uint32_t helper_float_cvtw_s(CPUMIPSState *env, uint32_t fst0)
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_cvtw_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
uint32_t helper_float_cvt_w_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
@ -2816,7 +2817,7 @@ uint32_t helper_float_cvtw_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_roundl_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
uint64_t helper_float_round_l_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
@ -2831,7 +2832,7 @@ uint64_t helper_float_roundl_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_roundl_s(CPUMIPSState *env, uint32_t fst0)
|
||||
uint64_t helper_float_round_l_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
@ -2846,7 +2847,7 @@ uint64_t helper_float_roundl_s(CPUMIPSState *env, uint32_t fst0)
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_roundw_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
uint32_t helper_float_round_w_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
@ -2861,7 +2862,7 @@ uint32_t helper_float_roundw_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_roundw_s(CPUMIPSState *env, uint32_t fst0)
|
||||
uint32_t helper_float_round_w_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
@ -2876,7 +2877,7 @@ uint32_t helper_float_roundw_s(CPUMIPSState *env, uint32_t fst0)
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_truncl_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
uint64_t helper_float_trunc_l_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
@ -2889,7 +2890,7 @@ uint64_t helper_float_truncl_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_truncl_s(CPUMIPSState *env, uint32_t fst0)
|
||||
uint64_t helper_float_trunc_l_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
@ -2902,7 +2903,7 @@ uint64_t helper_float_truncl_s(CPUMIPSState *env, uint32_t fst0)
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_truncw_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
uint32_t helper_float_trunc_w_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
@ -2915,7 +2916,7 @@ uint32_t helper_float_truncw_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_truncw_s(CPUMIPSState *env, uint32_t fst0)
|
||||
uint32_t helper_float_trunc_w_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
@ -2928,7 +2929,7 @@ uint32_t helper_float_truncw_s(CPUMIPSState *env, uint32_t fst0)
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_ceill_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
uint64_t helper_float_ceil_l_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
@ -2943,7 +2944,7 @@ uint64_t helper_float_ceill_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_ceill_s(CPUMIPSState *env, uint32_t fst0)
|
||||
uint64_t helper_float_ceil_l_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
@ -2958,7 +2959,7 @@ uint64_t helper_float_ceill_s(CPUMIPSState *env, uint32_t fst0)
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_ceilw_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
uint32_t helper_float_ceil_w_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
@ -2973,7 +2974,7 @@ uint32_t helper_float_ceilw_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_ceilw_s(CPUMIPSState *env, uint32_t fst0)
|
||||
uint32_t helper_float_ceil_w_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
@ -2988,7 +2989,7 @@ uint32_t helper_float_ceilw_s(CPUMIPSState *env, uint32_t fst0)
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_floorl_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
uint64_t helper_float_floor_l_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
@ -3003,7 +3004,7 @@ uint64_t helper_float_floorl_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_floorl_s(CPUMIPSState *env, uint32_t fst0)
|
||||
uint64_t helper_float_floor_l_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
@ -3018,7 +3019,7 @@ uint64_t helper_float_floorl_s(CPUMIPSState *env, uint32_t fst0)
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_floorw_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
uint32_t helper_float_floor_w_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
@ -3033,7 +3034,7 @@ uint32_t helper_float_floorw_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_floorw_s(CPUMIPSState *env, uint32_t fst0)
|
||||
uint32_t helper_float_floor_w_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
@ -3048,6 +3049,334 @@ uint32_t helper_float_floorw_s(CPUMIPSState *env, uint32_t fst0)
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_cvt_2008_l_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
dt2 = float64_to_int64(fdt0, &env->active_fpu.fp_status);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float64_is_any_nan(fdt0)) {
|
||||
dt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_cvt_2008_l_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
dt2 = float32_to_int64(fst0, &env->active_fpu.fp_status);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float32_is_any_nan(fst0)) {
|
||||
dt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_cvt_2008_w_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
wt2 = float64_to_int32(fdt0, &env->active_fpu.fp_status);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float64_is_any_nan(fdt0)) {
|
||||
wt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_cvt_2008_w_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
wt2 = float32_to_int32(fst0, &env->active_fpu.fp_status);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float32_is_any_nan(fst0)) {
|
||||
wt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_round_2008_l_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
set_float_rounding_mode(float_round_nearest_even,
|
||||
&env->active_fpu.fp_status);
|
||||
dt2 = float64_to_int64(fdt0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float64_is_any_nan(fdt0)) {
|
||||
dt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_round_2008_l_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
set_float_rounding_mode(float_round_nearest_even,
|
||||
&env->active_fpu.fp_status);
|
||||
dt2 = float32_to_int64(fst0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float32_is_any_nan(fst0)) {
|
||||
dt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_round_2008_w_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
set_float_rounding_mode(float_round_nearest_even,
|
||||
&env->active_fpu.fp_status);
|
||||
wt2 = float64_to_int32(fdt0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float64_is_any_nan(fdt0)) {
|
||||
wt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_round_2008_w_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
set_float_rounding_mode(float_round_nearest_even,
|
||||
&env->active_fpu.fp_status);
|
||||
wt2 = float32_to_int32(fst0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float32_is_any_nan(fst0)) {
|
||||
wt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_trunc_2008_l_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
dt2 = float64_to_int64_round_to_zero(fdt0, &env->active_fpu.fp_status);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float64_is_any_nan(fdt0)) {
|
||||
dt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_trunc_2008_l_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
dt2 = float32_to_int64_round_to_zero(fst0, &env->active_fpu.fp_status);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float32_is_any_nan(fst0)) {
|
||||
dt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_trunc_2008_w_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
wt2 = float64_to_int32_round_to_zero(fdt0, &env->active_fpu.fp_status);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float64_is_any_nan(fdt0)) {
|
||||
wt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_trunc_2008_w_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
wt2 = float32_to_int32_round_to_zero(fst0, &env->active_fpu.fp_status);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float32_is_any_nan(fst0)) {
|
||||
wt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_ceil_2008_l_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
set_float_rounding_mode(float_round_up, &env->active_fpu.fp_status);
|
||||
dt2 = float64_to_int64(fdt0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float64_is_any_nan(fdt0)) {
|
||||
dt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_ceil_2008_l_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
set_float_rounding_mode(float_round_up, &env->active_fpu.fp_status);
|
||||
dt2 = float32_to_int64(fst0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float32_is_any_nan(fst0)) {
|
||||
dt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_ceil_2008_w_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
set_float_rounding_mode(float_round_up, &env->active_fpu.fp_status);
|
||||
wt2 = float64_to_int32(fdt0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float64_is_any_nan(fdt0)) {
|
||||
wt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_ceil_2008_w_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
set_float_rounding_mode(float_round_up, &env->active_fpu.fp_status);
|
||||
wt2 = float32_to_int32(fst0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float32_is_any_nan(fst0)) {
|
||||
wt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_floor_2008_l_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
set_float_rounding_mode(float_round_down, &env->active_fpu.fp_status);
|
||||
dt2 = float64_to_int64(fdt0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float64_is_any_nan(fdt0)) {
|
||||
dt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint64_t helper_float_floor_2008_l_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint64_t dt2;
|
||||
|
||||
set_float_rounding_mode(float_round_down, &env->active_fpu.fp_status);
|
||||
dt2 = float32_to_int64(fst0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float32_is_any_nan(fst0)) {
|
||||
dt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return dt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_floor_2008_w_d(CPUMIPSState *env, uint64_t fdt0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
set_float_rounding_mode(float_round_down, &env->active_fpu.fp_status);
|
||||
wt2 = float64_to_int32(fdt0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float64_is_any_nan(fdt0)) {
|
||||
wt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return wt2;
|
||||
}
|
||||
|
||||
uint32_t helper_float_floor_2008_w_s(CPUMIPSState *env, uint32_t fst0)
|
||||
{
|
||||
uint32_t wt2;
|
||||
|
||||
set_float_rounding_mode(float_round_down, &env->active_fpu.fp_status);
|
||||
wt2 = float32_to_int32(fst0, &env->active_fpu.fp_status);
|
||||
restore_rounding_mode(env);
|
||||
if (get_float_exception_flags(&env->active_fpu.fp_status)
|
||||
& float_flag_invalid) {
|
||||
if (float32_is_any_nan(fst0)) {
|
||||
wt2 = 0;
|
||||
}
|
||||
}
|
||||
update_fcr31(env, GETPC());
|
||||
return wt2;
|
||||
}
|
||||
|
||||
/* unary operations, not modifying fp status */
|
||||
#define FLOAT_UNOP(name) \
|
||||
uint64_t helper_float_ ## name ## _d(uint64_t fdt0) \
|
||||
|
||||
@ -1435,6 +1435,7 @@ typedef struct DisasContext {
|
||||
bool vp;
|
||||
bool cmgcr;
|
||||
bool mrp;
|
||||
bool nan2008;
|
||||
bool abs2008;
|
||||
} DisasContext;
|
||||
|
||||
@ -8930,7 +8931,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp64 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr32(ctx, fp32, fs);
|
||||
gen_helper_float_roundl_s(fp64, cpu_env, fp32);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_round_2008_l_s(fp64, cpu_env, fp32);
|
||||
} else {
|
||||
gen_helper_float_round_l_s(fp64, cpu_env, fp32);
|
||||
}
|
||||
tcg_temp_free_i32(fp32);
|
||||
gen_store_fpr64(ctx, fp64, fd);
|
||||
tcg_temp_free_i64(fp64);
|
||||
@ -8943,7 +8948,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp64 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr32(ctx, fp32, fs);
|
||||
gen_helper_float_truncl_s(fp64, cpu_env, fp32);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_trunc_2008_l_s(fp64, cpu_env, fp32);
|
||||
} else {
|
||||
gen_helper_float_trunc_l_s(fp64, cpu_env, fp32);
|
||||
}
|
||||
tcg_temp_free_i32(fp32);
|
||||
gen_store_fpr64(ctx, fp64, fd);
|
||||
tcg_temp_free_i64(fp64);
|
||||
@ -8956,7 +8965,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp64 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr32(ctx, fp32, fs);
|
||||
gen_helper_float_ceill_s(fp64, cpu_env, fp32);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_ceil_2008_l_s(fp64, cpu_env, fp32);
|
||||
} else {
|
||||
gen_helper_float_ceil_l_s(fp64, cpu_env, fp32);
|
||||
}
|
||||
tcg_temp_free_i32(fp32);
|
||||
gen_store_fpr64(ctx, fp64, fd);
|
||||
tcg_temp_free_i64(fp64);
|
||||
@ -8969,7 +8982,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp64 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr32(ctx, fp32, fs);
|
||||
gen_helper_float_floorl_s(fp64, cpu_env, fp32);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_floor_2008_l_s(fp64, cpu_env, fp32);
|
||||
} else {
|
||||
gen_helper_float_floor_l_s(fp64, cpu_env, fp32);
|
||||
}
|
||||
tcg_temp_free_i32(fp32);
|
||||
gen_store_fpr64(ctx, fp64, fd);
|
||||
tcg_temp_free_i64(fp64);
|
||||
@ -8980,7 +8997,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i32 fp0 = tcg_temp_new_i32();
|
||||
|
||||
gen_load_fpr32(ctx, fp0, fs);
|
||||
gen_helper_float_roundw_s(fp0, cpu_env, fp0);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_round_2008_w_s(fp0, cpu_env, fp0);
|
||||
} else {
|
||||
gen_helper_float_round_w_s(fp0, cpu_env, fp0);
|
||||
}
|
||||
gen_store_fpr32(ctx, fp0, fd);
|
||||
tcg_temp_free_i32(fp0);
|
||||
}
|
||||
@ -8990,7 +9011,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i32 fp0 = tcg_temp_new_i32();
|
||||
|
||||
gen_load_fpr32(ctx, fp0, fs);
|
||||
gen_helper_float_truncw_s(fp0, cpu_env, fp0);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_trunc_2008_w_s(fp0, cpu_env, fp0);
|
||||
} else {
|
||||
gen_helper_float_trunc_w_s(fp0, cpu_env, fp0);
|
||||
}
|
||||
gen_store_fpr32(ctx, fp0, fd);
|
||||
tcg_temp_free_i32(fp0);
|
||||
}
|
||||
@ -9000,7 +9025,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i32 fp0 = tcg_temp_new_i32();
|
||||
|
||||
gen_load_fpr32(ctx, fp0, fs);
|
||||
gen_helper_float_ceilw_s(fp0, cpu_env, fp0);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_ceil_2008_w_s(fp0, cpu_env, fp0);
|
||||
} else {
|
||||
gen_helper_float_ceil_w_s(fp0, cpu_env, fp0);
|
||||
}
|
||||
gen_store_fpr32(ctx, fp0, fd);
|
||||
tcg_temp_free_i32(fp0);
|
||||
}
|
||||
@ -9010,7 +9039,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i32 fp0 = tcg_temp_new_i32();
|
||||
|
||||
gen_load_fpr32(ctx, fp0, fs);
|
||||
gen_helper_float_floorw_s(fp0, cpu_env, fp0);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_floor_2008_w_s(fp0, cpu_env, fp0);
|
||||
} else {
|
||||
gen_helper_float_floor_w_s(fp0, cpu_env, fp0);
|
||||
}
|
||||
gen_store_fpr32(ctx, fp0, fd);
|
||||
tcg_temp_free_i32(fp0);
|
||||
}
|
||||
@ -9259,7 +9292,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i32 fp0 = tcg_temp_new_i32();
|
||||
|
||||
gen_load_fpr32(ctx, fp0, fs);
|
||||
gen_helper_float_cvtw_s(fp0, cpu_env, fp0);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_cvt_2008_w_s(fp0, cpu_env, fp0);
|
||||
} else {
|
||||
gen_helper_float_cvt_w_s(fp0, cpu_env, fp0);
|
||||
}
|
||||
gen_store_fpr32(ctx, fp0, fd);
|
||||
tcg_temp_free_i32(fp0);
|
||||
}
|
||||
@ -9271,7 +9308,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp64 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr32(ctx, fp32, fs);
|
||||
gen_helper_float_cvtl_s(fp64, cpu_env, fp32);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_cvt_2008_l_s(fp64, cpu_env, fp32);
|
||||
} else {
|
||||
gen_helper_float_cvt_l_s(fp64, cpu_env, fp32);
|
||||
}
|
||||
tcg_temp_free_i32(fp32);
|
||||
gen_store_fpr64(ctx, fp64, fd);
|
||||
tcg_temp_free_i64(fp64);
|
||||
@ -9429,7 +9470,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp0 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr64(ctx, fp0, fs);
|
||||
gen_helper_float_roundl_d(fp0, cpu_env, fp0);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_round_2008_l_d(fp0, cpu_env, fp0);
|
||||
} else {
|
||||
gen_helper_float_round_l_d(fp0, cpu_env, fp0);
|
||||
}
|
||||
gen_store_fpr64(ctx, fp0, fd);
|
||||
tcg_temp_free_i64(fp0);
|
||||
}
|
||||
@ -9440,7 +9485,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp0 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr64(ctx, fp0, fs);
|
||||
gen_helper_float_truncl_d(fp0, cpu_env, fp0);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_trunc_2008_l_d(fp0, cpu_env, fp0);
|
||||
} else {
|
||||
gen_helper_float_trunc_l_d(fp0, cpu_env, fp0);
|
||||
}
|
||||
gen_store_fpr64(ctx, fp0, fd);
|
||||
tcg_temp_free_i64(fp0);
|
||||
}
|
||||
@ -9451,7 +9500,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp0 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr64(ctx, fp0, fs);
|
||||
gen_helper_float_ceill_d(fp0, cpu_env, fp0);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_ceil_2008_l_d(fp0, cpu_env, fp0);
|
||||
} else {
|
||||
gen_helper_float_ceil_l_d(fp0, cpu_env, fp0);
|
||||
}
|
||||
gen_store_fpr64(ctx, fp0, fd);
|
||||
tcg_temp_free_i64(fp0);
|
||||
}
|
||||
@ -9462,7 +9515,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp0 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr64(ctx, fp0, fs);
|
||||
gen_helper_float_floorl_d(fp0, cpu_env, fp0);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_floor_2008_l_d(fp0, cpu_env, fp0);
|
||||
} else {
|
||||
gen_helper_float_floor_l_d(fp0, cpu_env, fp0);
|
||||
}
|
||||
gen_store_fpr64(ctx, fp0, fd);
|
||||
tcg_temp_free_i64(fp0);
|
||||
}
|
||||
@ -9474,7 +9531,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp64 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr64(ctx, fp64, fs);
|
||||
gen_helper_float_roundw_d(fp32, cpu_env, fp64);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_round_2008_w_d(fp32, cpu_env, fp64);
|
||||
} else {
|
||||
gen_helper_float_round_w_d(fp32, cpu_env, fp64);
|
||||
}
|
||||
tcg_temp_free_i64(fp64);
|
||||
gen_store_fpr32(ctx, fp32, fd);
|
||||
tcg_temp_free_i32(fp32);
|
||||
@ -9487,7 +9548,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp64 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr64(ctx, fp64, fs);
|
||||
gen_helper_float_truncw_d(fp32, cpu_env, fp64);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_trunc_2008_w_d(fp32, cpu_env, fp64);
|
||||
} else {
|
||||
gen_helper_float_trunc_w_d(fp32, cpu_env, fp64);
|
||||
}
|
||||
tcg_temp_free_i64(fp64);
|
||||
gen_store_fpr32(ctx, fp32, fd);
|
||||
tcg_temp_free_i32(fp32);
|
||||
@ -9500,7 +9565,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp64 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr64(ctx, fp64, fs);
|
||||
gen_helper_float_ceilw_d(fp32, cpu_env, fp64);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_ceil_2008_w_d(fp32, cpu_env, fp64);
|
||||
} else {
|
||||
gen_helper_float_ceil_w_d(fp32, cpu_env, fp64);
|
||||
}
|
||||
tcg_temp_free_i64(fp64);
|
||||
gen_store_fpr32(ctx, fp32, fd);
|
||||
tcg_temp_free_i32(fp32);
|
||||
@ -9513,7 +9582,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp64 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr64(ctx, fp64, fs);
|
||||
gen_helper_float_floorw_d(fp32, cpu_env, fp64);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_floor_2008_w_d(fp32, cpu_env, fp64);
|
||||
} else {
|
||||
gen_helper_float_floor_w_d(fp32, cpu_env, fp64);
|
||||
}
|
||||
tcg_temp_free_i64(fp64);
|
||||
gen_store_fpr32(ctx, fp32, fd);
|
||||
tcg_temp_free_i32(fp32);
|
||||
@ -9786,7 +9859,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp64 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr64(ctx, fp64, fs);
|
||||
gen_helper_float_cvtw_d(fp32, cpu_env, fp64);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_cvt_2008_w_d(fp32, cpu_env, fp64);
|
||||
} else {
|
||||
gen_helper_float_cvt_w_d(fp32, cpu_env, fp64);
|
||||
}
|
||||
tcg_temp_free_i64(fp64);
|
||||
gen_store_fpr32(ctx, fp32, fd);
|
||||
tcg_temp_free_i32(fp32);
|
||||
@ -9798,7 +9875,11 @@ static void gen_farith (DisasContext *ctx, enum fopcode op1,
|
||||
TCGv_i64 fp0 = tcg_temp_new_i64();
|
||||
|
||||
gen_load_fpr64(ctx, fp0, fs);
|
||||
gen_helper_float_cvtl_d(fp0, cpu_env, fp0);
|
||||
if (ctx->nan2008) {
|
||||
gen_helper_float_cvt_2008_l_d(fp0, cpu_env, fp0);
|
||||
} else {
|
||||
gen_helper_float_cvt_l_d(fp0, cpu_env, fp0);
|
||||
}
|
||||
gen_store_fpr64(ctx, fp0, fd);
|
||||
tcg_temp_free_i64(fp0);
|
||||
}
|
||||
@ -19803,6 +19884,7 @@ void gen_intermediate_code(CPUMIPSState *env, struct TranslationBlock *tb)
|
||||
(env->insn_flags & (INSN_LOONGSON2E | INSN_LOONGSON2F));
|
||||
ctx.vp = (env->CP0_Config5 >> CP0C5_VP) & 1;
|
||||
ctx.mrp = (env->CP0_Config5 >> CP0C5_MRP) & 1;
|
||||
ctx.nan2008 = (env->active_fpu.fcr31 >> FCR31_NAN2008) & 1;
|
||||
ctx.abs2008 = (env->active_fpu.fcr31 >> FCR31_ABS2008) & 1;
|
||||
restore_cpu_state(env, &ctx);
|
||||
#ifdef CONFIG_USER_ONLY
|
||||
|
||||
Loading…
Reference in New Issue
Block a user