target-ppc: Add ISA2.06 Float to Integer Instructions
This patch adds the four floating point to integer conversion instructions introduced by Power ISA V2.06: - Floating Convert to Integer Word Unsigned (fctiwu) - Floating Convert to Integer Word Unsigned with Round Toward Zero (fctiwuz) - Floating Convert to Integer Doubleword Unsigned (fctidu) - Floating Convert to Integer Doubleword Unsigned with Round Toward Zero (fctiduz) A common macro is developed to eliminate repetitious code. Existing instructions are also refactoried to use this macro (fctiw, fctiwz, fctid, fctidz). Signed-off-by: Tom Musta <tommusta@gmail.com> Reviewed-by: Richard Henderson <rth@twiddle.net> Signed-off-by: Alexander Graf <agraf@suse.de>
This commit is contained in:
parent
1b0bd0029f
commit
fab7fe426f
@ -600,55 +600,41 @@ uint64_t helper_fdiv(CPUPPCState *env, uint64_t arg1, uint64_t arg2)
|
||||
return farg1.ll;
|
||||
}
|
||||
|
||||
/* fctiw - fctiw. */
|
||||
uint64_t helper_fctiw(CPUPPCState *env, uint64_t arg)
|
||||
{
|
||||
CPU_DoubleU farg;
|
||||
|
||||
farg.ll = arg;
|
||||
|
||||
if (unlikely(float64_is_signaling_nan(farg.d))) {
|
||||
/* sNaN conversion */
|
||||
farg.ll = fload_invalid_op_excp(env, POWERPC_EXCP_FP_VXSNAN |
|
||||
POWERPC_EXCP_FP_VXCVI, 1);
|
||||
} else if (unlikely(float64_is_quiet_nan(farg.d) ||
|
||||
float64_is_infinity(farg.d))) {
|
||||
/* qNan / infinity conversion */
|
||||
farg.ll = fload_invalid_op_excp(env, POWERPC_EXCP_FP_VXCVI, 1);
|
||||
} else {
|
||||
farg.ll = float64_to_int32(farg.d, &env->fp_status);
|
||||
/* XXX: higher bits are not supposed to be significant.
|
||||
* to make tests easier, return the same as a real PowerPC 750
|
||||
*/
|
||||
farg.ll |= 0xFFF80000ULL << 32;
|
||||
}
|
||||
return farg.ll;
|
||||
#define FPU_FCTI(op, cvt, nanval) \
|
||||
uint64_t helper_##op(CPUPPCState *env, uint64_t arg) \
|
||||
{ \
|
||||
CPU_DoubleU farg; \
|
||||
\
|
||||
farg.ll = arg; \
|
||||
farg.ll = float64_to_##cvt(farg.d, &env->fp_status); \
|
||||
\
|
||||
if (unlikely(env->fp_status.float_exception_flags)) { \
|
||||
if (float64_is_any_nan(arg)) { \
|
||||
fload_invalid_op_excp(env, POWERPC_EXCP_FP_VXCVI, 1); \
|
||||
if (float64_is_signaling_nan(arg)) { \
|
||||
fload_invalid_op_excp(env, POWERPC_EXCP_FP_VXSNAN, 1); \
|
||||
} \
|
||||
farg.ll = nanval; \
|
||||
} else if (env->fp_status.float_exception_flags & \
|
||||
float_flag_invalid) { \
|
||||
fload_invalid_op_excp(env, POWERPC_EXCP_FP_VXCVI, 1); \
|
||||
} \
|
||||
helper_float_check_status(env); \
|
||||
} \
|
||||
return farg.ll; \
|
||||
}
|
||||
|
||||
/* fctiwz - fctiwz. */
|
||||
uint64_t helper_fctiwz(CPUPPCState *env, uint64_t arg)
|
||||
{
|
||||
CPU_DoubleU farg;
|
||||
|
||||
farg.ll = arg;
|
||||
|
||||
if (unlikely(float64_is_signaling_nan(farg.d))) {
|
||||
/* sNaN conversion */
|
||||
farg.ll = fload_invalid_op_excp(env, POWERPC_EXCP_FP_VXSNAN |
|
||||
POWERPC_EXCP_FP_VXCVI, 1);
|
||||
} else if (unlikely(float64_is_quiet_nan(farg.d) ||
|
||||
float64_is_infinity(farg.d))) {
|
||||
/* qNan / infinity conversion */
|
||||
farg.ll = fload_invalid_op_excp(env, POWERPC_EXCP_FP_VXCVI, 1);
|
||||
} else {
|
||||
farg.ll = float64_to_int32_round_to_zero(farg.d, &env->fp_status);
|
||||
/* XXX: higher bits are not supposed to be significant.
|
||||
* to make tests easier, return the same as a real PowerPC 750
|
||||
*/
|
||||
farg.ll |= 0xFFF80000ULL << 32;
|
||||
}
|
||||
return farg.ll;
|
||||
}
|
||||
FPU_FCTI(fctiw, int32, 0x80000000)
|
||||
FPU_FCTI(fctiwz, int32_round_to_zero, 0x80000000)
|
||||
FPU_FCTI(fctiwu, uint32, 0x00000000)
|
||||
FPU_FCTI(fctiwuz, uint32_round_to_zero, 0x00000000)
|
||||
#if defined(TARGET_PPC64)
|
||||
FPU_FCTI(fctid, int64, 0x8000000000000000)
|
||||
FPU_FCTI(fctidz, int64_round_to_zero, 0x8000000000000000)
|
||||
FPU_FCTI(fctidu, uint64, 0x0000000000000000)
|
||||
FPU_FCTI(fctiduz, uint64_round_to_zero, 0x0000000000000000)
|
||||
#endif
|
||||
|
||||
#if defined(TARGET_PPC64)
|
||||
/* fcfid - fcfid. */
|
||||
@ -660,47 +646,7 @@ uint64_t helper_fcfid(CPUPPCState *env, uint64_t arg)
|
||||
return farg.ll;
|
||||
}
|
||||
|
||||
/* fctid - fctid. */
|
||||
uint64_t helper_fctid(CPUPPCState *env, uint64_t arg)
|
||||
{
|
||||
CPU_DoubleU farg;
|
||||
|
||||
farg.ll = arg;
|
||||
|
||||
if (unlikely(float64_is_signaling_nan(farg.d))) {
|
||||
/* sNaN conversion */
|
||||
farg.ll = fload_invalid_op_excp(env, POWERPC_EXCP_FP_VXSNAN |
|
||||
POWERPC_EXCP_FP_VXCVI, 1);
|
||||
} else if (unlikely(float64_is_quiet_nan(farg.d) ||
|
||||
float64_is_infinity(farg.d))) {
|
||||
/* qNan / infinity conversion */
|
||||
farg.ll = fload_invalid_op_excp(env, POWERPC_EXCP_FP_VXCVI, 1);
|
||||
} else {
|
||||
farg.ll = float64_to_int64(farg.d, &env->fp_status);
|
||||
}
|
||||
return farg.ll;
|
||||
}
|
||||
|
||||
/* fctidz - fctidz. */
|
||||
uint64_t helper_fctidz(CPUPPCState *env, uint64_t arg)
|
||||
{
|
||||
CPU_DoubleU farg;
|
||||
|
||||
farg.ll = arg;
|
||||
|
||||
if (unlikely(float64_is_signaling_nan(farg.d))) {
|
||||
/* sNaN conversion */
|
||||
farg.ll = fload_invalid_op_excp(env, POWERPC_EXCP_FP_VXSNAN |
|
||||
POWERPC_EXCP_FP_VXCVI, 1);
|
||||
} else if (unlikely(float64_is_quiet_nan(farg.d) ||
|
||||
float64_is_infinity(farg.d))) {
|
||||
/* qNan / infinity conversion */
|
||||
farg.ll = fload_invalid_op_excp(env, POWERPC_EXCP_FP_VXCVI, 1);
|
||||
} else {
|
||||
farg.ll = float64_to_int64_round_to_zero(farg.d, &env->fp_status);
|
||||
}
|
||||
return farg.ll;
|
||||
}
|
||||
|
||||
#endif
|
||||
|
||||
|
@ -66,11 +66,15 @@ DEF_HELPER_4(fcmpo, void, env, i64, i64, i32)
|
||||
DEF_HELPER_4(fcmpu, void, env, i64, i64, i32)
|
||||
|
||||
DEF_HELPER_2(fctiw, i64, env, i64)
|
||||
DEF_HELPER_2(fctiwu, i64, env, i64)
|
||||
DEF_HELPER_2(fctiwz, i64, env, i64)
|
||||
DEF_HELPER_2(fctiwuz, i64, env, i64)
|
||||
#if defined(TARGET_PPC64)
|
||||
DEF_HELPER_2(fcfid, i64, env, i64)
|
||||
DEF_HELPER_2(fctid, i64, env, i64)
|
||||
DEF_HELPER_2(fctidu, i64, env, i64)
|
||||
DEF_HELPER_2(fctidz, i64, env, i64)
|
||||
DEF_HELPER_2(fctiduz, i64, env, i64)
|
||||
#endif
|
||||
DEF_HELPER_2(frsp, i64, env, i64)
|
||||
DEF_HELPER_2(frin, i64, env, i64)
|
||||
|
@ -2202,8 +2202,12 @@ GEN_FLOAT_ACB(nmsub, 0x1E, 1, PPC_FLOAT);
|
||||
/*** Floating-Point round & convert ***/
|
||||
/* fctiw */
|
||||
GEN_FLOAT_B(ctiw, 0x0E, 0x00, 0, PPC_FLOAT);
|
||||
/* fctiwu */
|
||||
GEN_FLOAT_B(ctiwu, 0x0E, 0x04, 0, PPC2_FP_CVT_ISA206);
|
||||
/* fctiwz */
|
||||
GEN_FLOAT_B(ctiwz, 0x0F, 0x00, 0, PPC_FLOAT);
|
||||
/* fctiwuz */
|
||||
GEN_FLOAT_B(ctiwuz, 0x0F, 0x04, 0, PPC2_FP_CVT_ISA206);
|
||||
/* frsp */
|
||||
GEN_FLOAT_B(rsp, 0x0C, 0x00, 1, PPC_FLOAT);
|
||||
#if defined(TARGET_PPC64)
|
||||
@ -2211,8 +2215,12 @@ GEN_FLOAT_B(rsp, 0x0C, 0x00, 1, PPC_FLOAT);
|
||||
GEN_FLOAT_B(cfid, 0x0E, 0x1A, 1, PPC_64B);
|
||||
/* fctid */
|
||||
GEN_FLOAT_B(ctid, 0x0E, 0x19, 0, PPC_64B);
|
||||
/* fctidu */
|
||||
GEN_FLOAT_B(ctidu, 0x0E, 0x1D, 0, PPC2_FP_CVT_ISA206);
|
||||
/* fctidz */
|
||||
GEN_FLOAT_B(ctidz, 0x0F, 0x19, 0, PPC_64B);
|
||||
/* fctidu */
|
||||
GEN_FLOAT_B(ctiduz, 0x0F, 0x1D, 0, PPC2_FP_CVT_ISA206);
|
||||
#endif
|
||||
|
||||
/* frin */
|
||||
@ -9843,12 +9851,16 @@ GEN_FLOAT_ACB(msub, 0x1C, 1, PPC_FLOAT),
|
||||
GEN_FLOAT_ACB(nmadd, 0x1F, 1, PPC_FLOAT),
|
||||
GEN_FLOAT_ACB(nmsub, 0x1E, 1, PPC_FLOAT),
|
||||
GEN_FLOAT_B(ctiw, 0x0E, 0x00, 0, PPC_FLOAT),
|
||||
GEN_HANDLER_E(fctiwu, 0x3F, 0x0E, 0x04, 0, PPC_NONE, PPC2_FP_CVT_ISA206),
|
||||
GEN_FLOAT_B(ctiwz, 0x0F, 0x00, 0, PPC_FLOAT),
|
||||
GEN_HANDLER_E(fctiwuz, 0x3F, 0x0F, 0x04, 0, PPC_NONE, PPC2_FP_CVT_ISA206),
|
||||
GEN_FLOAT_B(rsp, 0x0C, 0x00, 1, PPC_FLOAT),
|
||||
#if defined(TARGET_PPC64)
|
||||
GEN_FLOAT_B(cfid, 0x0E, 0x1A, 1, PPC_64B),
|
||||
GEN_FLOAT_B(ctid, 0x0E, 0x19, 0, PPC_64B),
|
||||
GEN_HANDLER_E(fctidu, 0x3F, 0x0E, 0x1D, 0, PPC_NONE, PPC2_FP_CVT_ISA206),
|
||||
GEN_FLOAT_B(ctidz, 0x0F, 0x19, 0, PPC_64B),
|
||||
GEN_HANDLER_E(fctiduz, 0x3F, 0x0F, 0x1D, 0, PPC_NONE, PPC2_FP_CVT_ISA206),
|
||||
#endif
|
||||
GEN_FLOAT_B(rin, 0x08, 0x0C, 1, PPC_FLOAT_EXT),
|
||||
GEN_FLOAT_B(riz, 0x08, 0x0D, 1, PPC_FLOAT_EXT),
|
||||
|
Loading…
Reference in New Issue
Block a user