mirror of
https://github.com/Motorhead1991/qemu.git
synced 2025-08-06 17:23:56 -06:00
target/riscv: add support for zhinx/zhinxmin
- update extension check REQUIRE_ZHINX_OR_ZFH and REQUIRE_ZFH_OR_ZFHMIN_OR_ZHINX_OR_ZHINXMIN - update half float point register read/write - disable nanbox_h check Signed-off-by: Weiwei Li <liweiwei@iscas.ac.cn> Signed-off-by: Junqiang Wang <wangjunqiang@iscas.ac.cn> Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Acked-by: Alistair Francis <alistair.francis@wdc.com> Message-Id: <20220211043920.28981-6-liweiwei@iscas.ac.cn> Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
This commit is contained in:
parent
026e73fa26
commit
a2464a4cec
4 changed files with 294 additions and 141 deletions
|
@ -22,12 +22,25 @@
|
|||
} \
|
||||
} while (0)
|
||||
|
||||
#define REQUIRE_ZHINX_OR_ZFH(ctx) do { \
|
||||
if (!ctx->cfg_ptr->ext_zhinx && !ctx->cfg_ptr->ext_zfh) { \
|
||||
return false; \
|
||||
} \
|
||||
} while (0)
|
||||
|
||||
#define REQUIRE_ZFH_OR_ZFHMIN(ctx) do { \
|
||||
if (!(ctx->cfg_ptr->ext_zfh || ctx->cfg_ptr->ext_zfhmin)) { \
|
||||
return false; \
|
||||
} \
|
||||
} while (0)
|
||||
|
||||
#define REQUIRE_ZFH_OR_ZFHMIN_OR_ZHINX_OR_ZHINXMIN(ctx) do { \
|
||||
if (!(ctx->cfg_ptr->ext_zfh || ctx->cfg_ptr->ext_zfhmin || \
|
||||
ctx->cfg_ptr->ext_zhinx || ctx->cfg_ptr->ext_zhinxmin)) { \
|
||||
return false; \
|
||||
} \
|
||||
} while (0)
|
||||
|
||||
static bool trans_flh(DisasContext *ctx, arg_flh *a)
|
||||
{
|
||||
TCGv_i64 dest;
|
||||
|
@ -73,11 +86,16 @@ static bool trans_fsh(DisasContext *ctx, arg_fsh *a)
|
|||
static bool trans_fmadd_h(DisasContext *ctx, arg_fmadd_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
TCGv_i64 src3 = get_fpr_hs(ctx, a->rs3);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fmadd_h(cpu_fpr[a->rd], cpu_env, cpu_fpr[a->rs1],
|
||||
cpu_fpr[a->rs2], cpu_fpr[a->rs3]);
|
||||
gen_helper_fmadd_h(dest, cpu_env, src1, src2, src3);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -85,11 +103,16 @@ static bool trans_fmadd_h(DisasContext *ctx, arg_fmadd_h *a)
|
|||
static bool trans_fmsub_h(DisasContext *ctx, arg_fmsub_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
TCGv_i64 src3 = get_fpr_hs(ctx, a->rs3);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fmsub_h(cpu_fpr[a->rd], cpu_env, cpu_fpr[a->rs1],
|
||||
cpu_fpr[a->rs2], cpu_fpr[a->rs3]);
|
||||
gen_helper_fmsub_h(dest, cpu_env, src1, src2, src3);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -97,11 +120,16 @@ static bool trans_fmsub_h(DisasContext *ctx, arg_fmsub_h *a)
|
|||
static bool trans_fnmsub_h(DisasContext *ctx, arg_fnmsub_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
TCGv_i64 src3 = get_fpr_hs(ctx, a->rs3);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fnmsub_h(cpu_fpr[a->rd], cpu_env, cpu_fpr[a->rs1],
|
||||
cpu_fpr[a->rs2], cpu_fpr[a->rs3]);
|
||||
gen_helper_fnmsub_h(dest, cpu_env, src1, src2, src3);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -109,11 +137,16 @@ static bool trans_fnmsub_h(DisasContext *ctx, arg_fnmsub_h *a)
|
|||
static bool trans_fnmadd_h(DisasContext *ctx, arg_fnmadd_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
TCGv_i64 src3 = get_fpr_hs(ctx, a->rs3);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fnmadd_h(cpu_fpr[a->rd], cpu_env, cpu_fpr[a->rs1],
|
||||
cpu_fpr[a->rs2], cpu_fpr[a->rs3]);
|
||||
gen_helper_fnmadd_h(dest, cpu_env, src1, src2, src3);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -121,11 +154,15 @@ static bool trans_fnmadd_h(DisasContext *ctx, arg_fnmadd_h *a)
|
|||
static bool trans_fadd_h(DisasContext *ctx, arg_fadd_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fadd_h(cpu_fpr[a->rd], cpu_env,
|
||||
cpu_fpr[a->rs1], cpu_fpr[a->rs2]);
|
||||
gen_helper_fadd_h(dest, cpu_env, src1, src2);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -133,11 +170,15 @@ static bool trans_fadd_h(DisasContext *ctx, arg_fadd_h *a)
|
|||
static bool trans_fsub_h(DisasContext *ctx, arg_fsub_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fsub_h(cpu_fpr[a->rd], cpu_env,
|
||||
cpu_fpr[a->rs1], cpu_fpr[a->rs2]);
|
||||
gen_helper_fsub_h(dest, cpu_env, src1, src2);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -145,11 +186,15 @@ static bool trans_fsub_h(DisasContext *ctx, arg_fsub_h *a)
|
|||
static bool trans_fmul_h(DisasContext *ctx, arg_fmul_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fmul_h(cpu_fpr[a->rd], cpu_env,
|
||||
cpu_fpr[a->rs1], cpu_fpr[a->rs2]);
|
||||
gen_helper_fmul_h(dest, cpu_env, src1, src2);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -157,11 +202,15 @@ static bool trans_fmul_h(DisasContext *ctx, arg_fmul_h *a)
|
|||
static bool trans_fdiv_h(DisasContext *ctx, arg_fdiv_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fdiv_h(cpu_fpr[a->rd], cpu_env,
|
||||
cpu_fpr[a->rs1], cpu_fpr[a->rs2]);
|
||||
gen_helper_fdiv_h(dest, cpu_env, src1, src2);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -169,10 +218,14 @@ static bool trans_fdiv_h(DisasContext *ctx, arg_fdiv_h *a)
|
|||
static bool trans_fsqrt_h(DisasContext *ctx, arg_fsqrt_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fsqrt_h(cpu_fpr[a->rd], cpu_env, cpu_fpr[a->rs1]);
|
||||
gen_helper_fsqrt_h(dest, cpu_env, src1);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -180,23 +233,37 @@ static bool trans_fsqrt_h(DisasContext *ctx, arg_fsqrt_h *a)
|
|||
static bool trans_fsgnj_h(DisasContext *ctx, arg_fsgnj_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
if (a->rs1 == a->rs2) { /* FMOV */
|
||||
gen_check_nanbox_h(cpu_fpr[a->rd], cpu_fpr[a->rs1]);
|
||||
if (!ctx->cfg_ptr->ext_zfinx) {
|
||||
gen_check_nanbox_h(dest, src1);
|
||||
} else {
|
||||
tcg_gen_ext16s_i64(dest, src1);
|
||||
}
|
||||
} else {
|
||||
TCGv_i64 rs1 = tcg_temp_new_i64();
|
||||
TCGv_i64 rs2 = tcg_temp_new_i64();
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
|
||||
gen_check_nanbox_h(rs1, cpu_fpr[a->rs1]);
|
||||
gen_check_nanbox_h(rs2, cpu_fpr[a->rs2]);
|
||||
if (!ctx->cfg_ptr->ext_zfinx) {
|
||||
TCGv_i64 rs1 = tcg_temp_new_i64();
|
||||
TCGv_i64 rs2 = tcg_temp_new_i64();
|
||||
gen_check_nanbox_h(rs1, src1);
|
||||
gen_check_nanbox_h(rs2, src2);
|
||||
|
||||
/* This formulation retains the nanboxing of rs2. */
|
||||
tcg_gen_deposit_i64(cpu_fpr[a->rd], rs2, rs1, 0, 15);
|
||||
tcg_temp_free_i64(rs1);
|
||||
tcg_temp_free_i64(rs2);
|
||||
/* This formulation retains the nanboxing of rs2 in normal 'Zfh'. */
|
||||
tcg_gen_deposit_i64(dest, rs2, rs1, 0, 15);
|
||||
|
||||
tcg_temp_free_i64(rs1);
|
||||
tcg_temp_free_i64(rs2);
|
||||
} else {
|
||||
tcg_gen_deposit_i64(dest, src2, src1, 0, 15);
|
||||
tcg_gen_ext16s_i64(dest, dest);
|
||||
}
|
||||
}
|
||||
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -206,16 +273,29 @@ static bool trans_fsgnjn_h(DisasContext *ctx, arg_fsgnjn_h *a)
|
|||
TCGv_i64 rs1, rs2, mask;
|
||||
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
rs1 = tcg_temp_new_i64();
|
||||
gen_check_nanbox_h(rs1, cpu_fpr[a->rs1]);
|
||||
if (!ctx->cfg_ptr->ext_zfinx) {
|
||||
gen_check_nanbox_h(rs1, src1);
|
||||
} else {
|
||||
tcg_gen_mov_i64(rs1, src1);
|
||||
}
|
||||
|
||||
if (a->rs1 == a->rs2) { /* FNEG */
|
||||
tcg_gen_xori_i64(cpu_fpr[a->rd], rs1, MAKE_64BIT_MASK(15, 1));
|
||||
tcg_gen_xori_i64(dest, rs1, MAKE_64BIT_MASK(15, 1));
|
||||
} else {
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
rs2 = tcg_temp_new_i64();
|
||||
gen_check_nanbox_h(rs2, cpu_fpr[a->rs2]);
|
||||
|
||||
if (!ctx->cfg_ptr->ext_zfinx) {
|
||||
gen_check_nanbox_h(rs2, src2);
|
||||
} else {
|
||||
tcg_gen_mov_i64(rs2, src2);
|
||||
}
|
||||
|
||||
/*
|
||||
* Replace bit 15 in rs1 with inverse in rs2.
|
||||
|
@ -224,12 +304,17 @@ static bool trans_fsgnjn_h(DisasContext *ctx, arg_fsgnjn_h *a)
|
|||
mask = tcg_const_i64(~MAKE_64BIT_MASK(15, 1));
|
||||
tcg_gen_not_i64(rs2, rs2);
|
||||
tcg_gen_andc_i64(rs2, rs2, mask);
|
||||
tcg_gen_and_i64(rs1, mask, rs1);
|
||||
tcg_gen_or_i64(cpu_fpr[a->rd], rs1, rs2);
|
||||
tcg_gen_and_i64(dest, mask, rs1);
|
||||
tcg_gen_or_i64(dest, dest, rs2);
|
||||
|
||||
tcg_temp_free_i64(mask);
|
||||
tcg_temp_free_i64(rs2);
|
||||
}
|
||||
/* signed-extended intead of nanboxing for result if enable zfinx */
|
||||
if (ctx->cfg_ptr->ext_zfinx) {
|
||||
tcg_gen_ext16s_i64(dest, dest);
|
||||
}
|
||||
tcg_temp_free_i64(rs1);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -239,27 +324,44 @@ static bool trans_fsgnjx_h(DisasContext *ctx, arg_fsgnjx_h *a)
|
|||
TCGv_i64 rs1, rs2;
|
||||
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
rs1 = tcg_temp_new_i64();
|
||||
gen_check_nanbox_s(rs1, cpu_fpr[a->rs1]);
|
||||
if (!ctx->cfg_ptr->ext_zfinx) {
|
||||
gen_check_nanbox_h(rs1, src1);
|
||||
} else {
|
||||
tcg_gen_mov_i64(rs1, src1);
|
||||
}
|
||||
|
||||
if (a->rs1 == a->rs2) { /* FABS */
|
||||
tcg_gen_andi_i64(cpu_fpr[a->rd], rs1, ~MAKE_64BIT_MASK(15, 1));
|
||||
tcg_gen_andi_i64(dest, rs1, ~MAKE_64BIT_MASK(15, 1));
|
||||
} else {
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
rs2 = tcg_temp_new_i64();
|
||||
gen_check_nanbox_s(rs2, cpu_fpr[a->rs2]);
|
||||
|
||||
if (!ctx->cfg_ptr->ext_zfinx) {
|
||||
gen_check_nanbox_h(rs2, src2);
|
||||
} else {
|
||||
tcg_gen_mov_i64(rs2, src2);
|
||||
}
|
||||
|
||||
/*
|
||||
* Xor bit 15 in rs1 with that in rs2.
|
||||
* This formulation retains the nanboxing of rs1.
|
||||
*/
|
||||
tcg_gen_andi_i64(rs2, rs2, MAKE_64BIT_MASK(15, 1));
|
||||
tcg_gen_xor_i64(cpu_fpr[a->rd], rs1, rs2);
|
||||
tcg_gen_andi_i64(dest, rs2, MAKE_64BIT_MASK(15, 1));
|
||||
tcg_gen_xor_i64(dest, rs1, dest);
|
||||
|
||||
tcg_temp_free_i64(rs2);
|
||||
}
|
||||
|
||||
/* signed-extended intead of nanboxing for result if enable zfinx */
|
||||
if (ctx->cfg_ptr->ext_zfinx) {
|
||||
tcg_gen_ext16s_i64(dest, dest);
|
||||
}
|
||||
tcg_temp_free_i64(rs1);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -267,10 +369,14 @@ static bool trans_fsgnjx_h(DisasContext *ctx, arg_fsgnjx_h *a)
|
|||
static bool trans_fmin_h(DisasContext *ctx, arg_fmin_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
gen_helper_fmin_h(cpu_fpr[a->rd], cpu_env, cpu_fpr[a->rs1],
|
||||
cpu_fpr[a->rs2]);
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
|
||||
gen_helper_fmin_h(dest, cpu_env, src1, src2);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -278,10 +384,14 @@ static bool trans_fmin_h(DisasContext *ctx, arg_fmin_h *a)
|
|||
static bool trans_fmax_h(DisasContext *ctx, arg_fmax_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
gen_helper_fmax_h(cpu_fpr[a->rd], cpu_env, cpu_fpr[a->rs1],
|
||||
cpu_fpr[a->rs2]);
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
|
||||
gen_helper_fmax_h(dest, cpu_env, src1, src2);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
}
|
||||
|
@ -289,10 +399,14 @@ static bool trans_fmax_h(DisasContext *ctx, arg_fmax_h *a)
|
|||
static bool trans_fcvt_s_h(DisasContext *ctx, arg_fcvt_s_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH_OR_ZFHMIN(ctx);
|
||||
REQUIRE_ZFH_OR_ZFHMIN_OR_ZHINX_OR_ZHINXMIN(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_s_h(cpu_fpr[a->rd], cpu_env, cpu_fpr[a->rs1]);
|
||||
gen_helper_fcvt_s_h(dest, cpu_env, src1);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
|
||||
mark_fs_dirty(ctx);
|
||||
|
||||
|
@ -302,26 +416,32 @@ static bool trans_fcvt_s_h(DisasContext *ctx, arg_fcvt_s_h *a)
|
|||
static bool trans_fcvt_d_h(DisasContext *ctx, arg_fcvt_d_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH_OR_ZFHMIN(ctx);
|
||||
REQUIRE_EXT(ctx, RVD);
|
||||
REQUIRE_ZFH_OR_ZFHMIN_OR_ZHINX_OR_ZHINXMIN(ctx);
|
||||
REQUIRE_ZDINX_OR_D(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_d_h(cpu_fpr[a->rd], cpu_env, cpu_fpr[a->rs1]);
|
||||
gen_helper_fcvt_d_h(dest, cpu_env, src1);
|
||||
gen_set_fpr_d(ctx, a->rd, dest);
|
||||
|
||||
mark_fs_dirty(ctx);
|
||||
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
static bool trans_fcvt_h_s(DisasContext *ctx, arg_fcvt_h_s *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH_OR_ZFHMIN(ctx);
|
||||
REQUIRE_ZFH_OR_ZFHMIN_OR_ZHINX_OR_ZHINXMIN(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_h_s(cpu_fpr[a->rd], cpu_env, cpu_fpr[a->rs1]);
|
||||
|
||||
gen_helper_fcvt_h_s(dest, cpu_env, src1);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
|
||||
return true;
|
||||
|
@ -330,12 +450,15 @@ static bool trans_fcvt_h_s(DisasContext *ctx, arg_fcvt_h_s *a)
|
|||
static bool trans_fcvt_h_d(DisasContext *ctx, arg_fcvt_h_d *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH_OR_ZFHMIN(ctx);
|
||||
REQUIRE_EXT(ctx, RVD);
|
||||
REQUIRE_ZFH_OR_ZFHMIN_OR_ZHINX_OR_ZHINXMIN(ctx);
|
||||
REQUIRE_ZDINX_OR_D(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_d(ctx, a->rs1);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_h_d(cpu_fpr[a->rd], cpu_env, cpu_fpr[a->rs1]);
|
||||
|
||||
gen_helper_fcvt_h_d(dest, cpu_env, src1);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
mark_fs_dirty(ctx);
|
||||
|
||||
return true;
|
||||
|
@ -344,11 +467,13 @@ static bool trans_fcvt_h_d(DisasContext *ctx, arg_fcvt_h_d *a)
|
|||
static bool trans_feq_h(DisasContext *ctx, arg_feq_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv dest = dest_gpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
|
||||
gen_helper_feq_h(dest, cpu_env, cpu_fpr[a->rs1], cpu_fpr[a->rs2]);
|
||||
gen_helper_feq_h(dest, cpu_env, src1, src2);
|
||||
gen_set_gpr(ctx, a->rd, dest);
|
||||
return true;
|
||||
}
|
||||
|
@ -356,11 +481,13 @@ static bool trans_feq_h(DisasContext *ctx, arg_feq_h *a)
|
|||
static bool trans_flt_h(DisasContext *ctx, arg_flt_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv dest = dest_gpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
|
||||
gen_helper_flt_h(dest, cpu_env, cpu_fpr[a->rs1], cpu_fpr[a->rs2]);
|
||||
gen_helper_flt_h(dest, cpu_env, src1, src2);
|
||||
gen_set_gpr(ctx, a->rd, dest);
|
||||
|
||||
return true;
|
||||
|
@ -369,11 +496,13 @@ static bool trans_flt_h(DisasContext *ctx, arg_flt_h *a)
|
|||
static bool trans_fle_h(DisasContext *ctx, arg_fle_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv dest = dest_gpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
TCGv_i64 src2 = get_fpr_hs(ctx, a->rs2);
|
||||
|
||||
gen_helper_fle_h(dest, cpu_env, cpu_fpr[a->rs1], cpu_fpr[a->rs2]);
|
||||
gen_helper_fle_h(dest, cpu_env, src1, src2);
|
||||
gen_set_gpr(ctx, a->rd, dest);
|
||||
return true;
|
||||
}
|
||||
|
@ -381,11 +510,12 @@ static bool trans_fle_h(DisasContext *ctx, arg_fle_h *a)
|
|||
static bool trans_fclass_h(DisasContext *ctx, arg_fclass_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv dest = dest_gpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
gen_helper_fclass_h(dest, cpu_fpr[a->rs1]);
|
||||
gen_helper_fclass_h(dest, cpu_env, src1);
|
||||
gen_set_gpr(ctx, a->rd, dest);
|
||||
return true;
|
||||
}
|
||||
|
@ -393,12 +523,13 @@ static bool trans_fclass_h(DisasContext *ctx, arg_fclass_h *a)
|
|||
static bool trans_fcvt_w_h(DisasContext *ctx, arg_fcvt_w_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv dest = dest_gpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_w_h(dest, cpu_env, cpu_fpr[a->rs1]);
|
||||
gen_helper_fcvt_w_h(dest, cpu_env, src1);
|
||||
gen_set_gpr(ctx, a->rd, dest);
|
||||
return true;
|
||||
}
|
||||
|
@ -406,12 +537,13 @@ static bool trans_fcvt_w_h(DisasContext *ctx, arg_fcvt_w_h *a)
|
|||
static bool trans_fcvt_wu_h(DisasContext *ctx, arg_fcvt_wu_h *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv dest = dest_gpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_wu_h(dest, cpu_env, cpu_fpr[a->rs1]);
|
||||
gen_helper_fcvt_wu_h(dest, cpu_env, src1);
|
||||
gen_set_gpr(ctx, a->rd, dest);
|
||||
return true;
|
||||
}
|
||||
|
@ -419,12 +551,14 @@ static bool trans_fcvt_wu_h(DisasContext *ctx, arg_fcvt_wu_h *a)
|
|||
static bool trans_fcvt_h_w(DisasContext *ctx, arg_fcvt_h_w *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv t0 = get_gpr(ctx, a->rs1, EXT_SIGN);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_h_w(cpu_fpr[a->rd], cpu_env, t0);
|
||||
gen_helper_fcvt_h_w(dest, cpu_env, t0);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
|
@ -433,12 +567,14 @@ static bool trans_fcvt_h_w(DisasContext *ctx, arg_fcvt_h_w *a)
|
|||
static bool trans_fcvt_h_wu(DisasContext *ctx, arg_fcvt_h_wu *a)
|
||||
{
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv t0 = get_gpr(ctx, a->rs1, EXT_SIGN);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_h_wu(cpu_fpr[a->rd], cpu_env, t0);
|
||||
gen_helper_fcvt_h_wu(dest, cpu_env, t0);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
|
@ -482,12 +618,13 @@ static bool trans_fcvt_l_h(DisasContext *ctx, arg_fcvt_l_h *a)
|
|||
{
|
||||
REQUIRE_64BIT(ctx);
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv dest = dest_gpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_l_h(dest, cpu_env, cpu_fpr[a->rs1]);
|
||||
gen_helper_fcvt_l_h(dest, cpu_env, src1);
|
||||
gen_set_gpr(ctx, a->rd, dest);
|
||||
return true;
|
||||
}
|
||||
|
@ -496,12 +633,13 @@ static bool trans_fcvt_lu_h(DisasContext *ctx, arg_fcvt_lu_h *a)
|
|||
{
|
||||
REQUIRE_64BIT(ctx);
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv dest = dest_gpr(ctx, a->rd);
|
||||
TCGv_i64 src1 = get_fpr_hs(ctx, a->rs1);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_lu_h(dest, cpu_env, cpu_fpr[a->rs1]);
|
||||
gen_helper_fcvt_lu_h(dest, cpu_env, src1);
|
||||
gen_set_gpr(ctx, a->rd, dest);
|
||||
return true;
|
||||
}
|
||||
|
@ -510,12 +648,14 @@ static bool trans_fcvt_h_l(DisasContext *ctx, arg_fcvt_h_l *a)
|
|||
{
|
||||
REQUIRE_64BIT(ctx);
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv t0 = get_gpr(ctx, a->rs1, EXT_SIGN);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_h_l(cpu_fpr[a->rd], cpu_env, t0);
|
||||
gen_helper_fcvt_h_l(dest, cpu_env, t0);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
|
@ -525,12 +665,14 @@ static bool trans_fcvt_h_lu(DisasContext *ctx, arg_fcvt_h_lu *a)
|
|||
{
|
||||
REQUIRE_64BIT(ctx);
|
||||
REQUIRE_FPU;
|
||||
REQUIRE_ZFH(ctx);
|
||||
REQUIRE_ZHINX_OR_ZFH(ctx);
|
||||
|
||||
TCGv_i64 dest = dest_fpr(ctx, a->rd);
|
||||
TCGv t0 = get_gpr(ctx, a->rs1, EXT_SIGN);
|
||||
|
||||
gen_set_rm(ctx, a->rm);
|
||||
gen_helper_fcvt_h_lu(cpu_fpr[a->rd], cpu_env, t0);
|
||||
gen_helper_fcvt_h_lu(dest, cpu_env, t0);
|
||||
gen_set_fpr_hs(ctx, a->rd, dest);
|
||||
|
||||
mark_fs_dirty(ctx);
|
||||
return true;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue