2021-05-05 19:06:03 +03:00
|
|
|
/*
|
2021-09-11 17:00:10 +03:00
|
|
|
* RISC-V translation routines for the Zb[abcs] Standard Extension.
|
2021-05-05 19:06:03 +03:00
|
|
|
*
|
|
|
|
* Copyright (c) 2020 Kito Cheng, kito.cheng@sifive.com
|
|
|
|
* Copyright (c) 2020 Frank Chang, frank.chang@sifive.com
|
2021-09-11 17:00:05 +03:00
|
|
|
* Copyright (c) 2021 Philipp Tomsich, philipp.tomsich@vrull.eu
|
2021-05-05 19:06:03 +03:00
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or modify it
|
|
|
|
* under the terms and conditions of the GNU General Public License,
|
|
|
|
* version 2 or later, as published by the Free Software Foundation.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope it will be useful, but WITHOUT
|
|
|
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
|
|
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
|
|
|
|
* more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License along with
|
|
|
|
* this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
2021-09-11 17:00:05 +03:00
|
|
|
#define REQUIRE_ZBA(ctx) do { \
|
|
|
|
if (!RISCV_CPU(ctx->cs)->cfg.ext_zba) { \
|
|
|
|
return false; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
2021-08-23 22:55:15 +03:00
|
|
|
|
2021-09-11 17:00:10 +03:00
|
|
|
#define REQUIRE_ZBB(ctx) do { \
|
|
|
|
if (!RISCV_CPU(ctx->cs)->cfg.ext_zbb) { \
|
|
|
|
return false; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
2021-09-11 17:00:09 +03:00
|
|
|
#define REQUIRE_ZBC(ctx) do { \
|
|
|
|
if (!RISCV_CPU(ctx->cs)->cfg.ext_zbc) { \
|
|
|
|
return false; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
2021-09-11 17:00:08 +03:00
|
|
|
#define REQUIRE_ZBS(ctx) do { \
|
|
|
|
if (!RISCV_CPU(ctx->cs)->cfg.ext_zbs) { \
|
|
|
|
return false; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
static void gen_clz(TCGv ret, TCGv arg1)
|
|
|
|
{
|
|
|
|
tcg_gen_clzi_tl(ret, arg1, TARGET_LONG_BITS);
|
|
|
|
}
|
2021-09-11 17:00:10 +03:00
|
|
|
|
2021-05-05 19:06:03 +03:00
|
|
|
static bool trans_clz(DisasContext *ctx, arg_clz *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:16 +03:00
|
|
|
return gen_unary(ctx, a, EXT_ZERO, gen_clz);
|
2021-05-05 19:06:03 +03:00
|
|
|
}
|
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
static void gen_ctz(TCGv ret, TCGv arg1)
|
|
|
|
{
|
|
|
|
tcg_gen_ctzi_tl(ret, arg1, TARGET_LONG_BITS);
|
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:03 +03:00
|
|
|
static bool trans_ctz(DisasContext *ctx, arg_ctz *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:16 +03:00
|
|
|
return gen_unary(ctx, a, EXT_ZERO, gen_ctz);
|
2021-05-05 19:06:03 +03:00
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:04 +03:00
|
|
|
static bool trans_cpop(DisasContext *ctx, arg_cpop *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:16 +03:00
|
|
|
return gen_unary(ctx, a, EXT_ZERO, tcg_gen_ctpop_tl);
|
2021-05-05 19:06:04 +03:00
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:05 +03:00
|
|
|
static bool trans_andn(DisasContext *ctx, arg_andn *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_NONE, tcg_gen_andc_tl);
|
2021-05-05 19:06:05 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_orn(DisasContext *ctx, arg_orn *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_NONE, tcg_gen_orc_tl);
|
2021-05-05 19:06:05 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_xnor(DisasContext *ctx, arg_xnor *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_NONE, tcg_gen_eqv_tl);
|
2021-05-05 19:06:05 +03:00
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:07 +03:00
|
|
|
static bool trans_min(DisasContext *ctx, arg_min *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_SIGN, tcg_gen_smin_tl);
|
2021-05-05 19:06:07 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_max(DisasContext *ctx, arg_max *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_SIGN, tcg_gen_smax_tl);
|
2021-05-05 19:06:07 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_minu(DisasContext *ctx, arg_minu *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_SIGN, tcg_gen_umin_tl);
|
2021-05-05 19:06:07 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_maxu(DisasContext *ctx, arg_maxu *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_SIGN, tcg_gen_umax_tl);
|
2021-05-05 19:06:07 +03:00
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:08 +03:00
|
|
|
static bool trans_sext_b(DisasContext *ctx, arg_sext_b *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:16 +03:00
|
|
|
return gen_unary(ctx, a, EXT_NONE, tcg_gen_ext8s_tl);
|
2021-05-05 19:06:08 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_sext_h(DisasContext *ctx, arg_sext_h *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:16 +03:00
|
|
|
return gen_unary(ctx, a, EXT_NONE, tcg_gen_ext16s_tl);
|
2021-05-05 19:06:08 +03:00
|
|
|
}
|
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
static void gen_sbop_mask(TCGv ret, TCGv shamt)
|
|
|
|
{
|
|
|
|
tcg_gen_movi_tl(ret, 1);
|
|
|
|
tcg_gen_shl_tl(ret, ret, shamt);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void gen_bset(TCGv ret, TCGv arg1, TCGv shamt)
|
|
|
|
{
|
|
|
|
TCGv t = tcg_temp_new();
|
|
|
|
|
|
|
|
gen_sbop_mask(t, shamt);
|
|
|
|
tcg_gen_or_tl(ret, arg1, t);
|
|
|
|
|
|
|
|
tcg_temp_free(t);
|
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:10 +03:00
|
|
|
static bool trans_bset(DisasContext *ctx, arg_bset *a)
|
|
|
|
{
|
2021-09-11 17:00:08 +03:00
|
|
|
REQUIRE_ZBS(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift(ctx, a, EXT_NONE, gen_bset);
|
2021-05-05 19:06:10 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_bseti(DisasContext *ctx, arg_bseti *a)
|
|
|
|
{
|
2021-09-11 17:00:08 +03:00
|
|
|
REQUIRE_ZBS(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift_imm_tl(ctx, a, EXT_NONE, gen_bset);
|
2021-05-05 19:06:10 +03:00
|
|
|
}
|
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
static void gen_bclr(TCGv ret, TCGv arg1, TCGv shamt)
|
|
|
|
{
|
|
|
|
TCGv t = tcg_temp_new();
|
|
|
|
|
|
|
|
gen_sbop_mask(t, shamt);
|
|
|
|
tcg_gen_andc_tl(ret, arg1, t);
|
|
|
|
|
|
|
|
tcg_temp_free(t);
|
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:10 +03:00
|
|
|
static bool trans_bclr(DisasContext *ctx, arg_bclr *a)
|
|
|
|
{
|
2021-09-11 17:00:08 +03:00
|
|
|
REQUIRE_ZBS(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift(ctx, a, EXT_NONE, gen_bclr);
|
2021-05-05 19:06:10 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_bclri(DisasContext *ctx, arg_bclri *a)
|
|
|
|
{
|
2021-09-11 17:00:08 +03:00
|
|
|
REQUIRE_ZBS(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift_imm_tl(ctx, a, EXT_NONE, gen_bclr);
|
2021-05-05 19:06:10 +03:00
|
|
|
}
|
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
static void gen_binv(TCGv ret, TCGv arg1, TCGv shamt)
|
|
|
|
{
|
|
|
|
TCGv t = tcg_temp_new();
|
|
|
|
|
|
|
|
gen_sbop_mask(t, shamt);
|
|
|
|
tcg_gen_xor_tl(ret, arg1, t);
|
|
|
|
|
|
|
|
tcg_temp_free(t);
|
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:10 +03:00
|
|
|
static bool trans_binv(DisasContext *ctx, arg_binv *a)
|
|
|
|
{
|
2021-09-11 17:00:08 +03:00
|
|
|
REQUIRE_ZBS(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift(ctx, a, EXT_NONE, gen_binv);
|
2021-05-05 19:06:10 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_binvi(DisasContext *ctx, arg_binvi *a)
|
|
|
|
{
|
2021-09-11 17:00:08 +03:00
|
|
|
REQUIRE_ZBS(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift_imm_tl(ctx, a, EXT_NONE, gen_binv);
|
2021-05-05 19:06:10 +03:00
|
|
|
}
|
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
static void gen_bext(TCGv ret, TCGv arg1, TCGv shamt)
|
|
|
|
{
|
|
|
|
tcg_gen_shr_tl(ret, arg1, shamt);
|
|
|
|
tcg_gen_andi_tl(ret, ret, 1);
|
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:10 +03:00
|
|
|
static bool trans_bext(DisasContext *ctx, arg_bext *a)
|
|
|
|
{
|
2021-09-11 17:00:08 +03:00
|
|
|
REQUIRE_ZBS(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift(ctx, a, EXT_NONE, gen_bext);
|
2021-05-05 19:06:10 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_bexti(DisasContext *ctx, arg_bexti *a)
|
|
|
|
{
|
2021-09-11 17:00:08 +03:00
|
|
|
REQUIRE_ZBS(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift_imm_tl(ctx, a, EXT_NONE, gen_bext);
|
2021-05-05 19:06:10 +03:00
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:12 +03:00
|
|
|
static bool trans_ror(DisasContext *ctx, arg_ror *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift(ctx, a, EXT_NONE, tcg_gen_rotr_tl);
|
2021-05-05 19:06:12 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_rori(DisasContext *ctx, arg_rori *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift_imm_fn(ctx, a, EXT_NONE, tcg_gen_rotri_tl);
|
2021-05-05 19:06:12 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_rol(DisasContext *ctx, arg_rol *a)
|
|
|
|
{
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift(ctx, a, EXT_NONE, tcg_gen_rotl_tl);
|
2021-05-05 19:06:12 +03:00
|
|
|
}
|
|
|
|
|
2021-09-11 17:00:13 +03:00
|
|
|
static bool trans_rev8_32(DisasContext *ctx, arg_rev8_32 *a)
|
2021-05-05 19:06:13 +03:00
|
|
|
{
|
2021-09-11 17:00:13 +03:00
|
|
|
REQUIRE_32BIT(ctx);
|
|
|
|
REQUIRE_ZBB(ctx);
|
|
|
|
return gen_unary(ctx, a, EXT_NONE, tcg_gen_bswap_tl);
|
2021-08-23 22:55:15 +03:00
|
|
|
}
|
|
|
|
|
2021-09-11 17:00:13 +03:00
|
|
|
static bool trans_rev8_64(DisasContext *ctx, arg_rev8_64 *a)
|
2021-05-05 19:06:13 +03:00
|
|
|
{
|
2021-09-11 17:00:13 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
|
|
|
REQUIRE_ZBB(ctx);
|
|
|
|
return gen_unary(ctx, a, EXT_NONE, tcg_gen_bswap_tl);
|
2021-05-05 19:06:13 +03:00
|
|
|
}
|
|
|
|
|
2021-09-11 17:00:11 +03:00
|
|
|
static void gen_orc_b(TCGv ret, TCGv source1)
|
2021-05-05 19:06:14 +03:00
|
|
|
{
|
2021-09-11 17:00:11 +03:00
|
|
|
TCGv tmp = tcg_temp_new();
|
|
|
|
TCGv ones = tcg_constant_tl(dup_const_tl(MO_8, 0x01));
|
|
|
|
|
|
|
|
/* Set lsb in each byte if the byte was zero. */
|
|
|
|
tcg_gen_sub_tl(tmp, source1, ones);
|
|
|
|
tcg_gen_andc_tl(tmp, tmp, source1);
|
|
|
|
tcg_gen_shri_tl(tmp, tmp, 7);
|
|
|
|
tcg_gen_andc_tl(tmp, ones, tmp);
|
|
|
|
|
|
|
|
/* Replicate the lsb of each byte across the byte. */
|
|
|
|
tcg_gen_muli_tl(ret, tmp, 0xff);
|
|
|
|
|
|
|
|
tcg_temp_free(tmp);
|
2021-05-05 19:06:14 +03:00
|
|
|
}
|
|
|
|
|
2021-09-11 17:00:11 +03:00
|
|
|
static bool trans_orc_b(DisasContext *ctx, arg_orc_b *a)
|
2021-05-05 19:06:14 +03:00
|
|
|
{
|
2021-09-11 17:00:11 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
|
|
|
return gen_unary(ctx, a, EXT_ZERO, gen_orc_b);
|
2021-05-05 19:06:14 +03:00
|
|
|
}
|
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
#define GEN_SHADD(SHAMT) \
|
|
|
|
static void gen_sh##SHAMT##add(TCGv ret, TCGv arg1, TCGv arg2) \
|
|
|
|
{ \
|
|
|
|
TCGv t = tcg_temp_new(); \
|
|
|
|
\
|
|
|
|
tcg_gen_shli_tl(t, arg1, SHAMT); \
|
|
|
|
tcg_gen_add_tl(ret, t, arg2); \
|
|
|
|
\
|
|
|
|
tcg_temp_free(t); \
|
|
|
|
}
|
|
|
|
|
|
|
|
GEN_SHADD(1)
|
|
|
|
GEN_SHADD(2)
|
|
|
|
GEN_SHADD(3)
|
|
|
|
|
2021-05-05 19:06:15 +03:00
|
|
|
#define GEN_TRANS_SHADD(SHAMT) \
|
|
|
|
static bool trans_sh##SHAMT##add(DisasContext *ctx, arg_sh##SHAMT##add *a) \
|
|
|
|
{ \
|
2021-09-11 17:00:05 +03:00
|
|
|
REQUIRE_ZBA(ctx); \
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_NONE, gen_sh##SHAMT##add); \
|
2021-05-05 19:06:15 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
GEN_TRANS_SHADD(1)
|
|
|
|
GEN_TRANS_SHADD(2)
|
|
|
|
GEN_TRANS_SHADD(3)
|
|
|
|
|
2021-09-11 17:00:14 +03:00
|
|
|
static bool trans_zext_h_32(DisasContext *ctx, arg_zext_h_32 *a)
|
|
|
|
{
|
|
|
|
REQUIRE_32BIT(ctx);
|
|
|
|
REQUIRE_ZBB(ctx);
|
|
|
|
return gen_unary(ctx, a, EXT_NONE, tcg_gen_ext16u_tl);
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_zext_h_64(DisasContext *ctx, arg_zext_h_64 *a)
|
|
|
|
{
|
|
|
|
REQUIRE_64BIT(ctx);
|
|
|
|
REQUIRE_ZBB(ctx);
|
|
|
|
return gen_unary(ctx, a, EXT_NONE, tcg_gen_ext16u_tl);
|
|
|
|
}
|
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
static void gen_clzw(TCGv ret, TCGv arg1)
|
|
|
|
{
|
target/riscv: clwz must ignore high bits (use shift-left & changed logic)
Assume clzw being executed on a register that is not sign-extended, such
as for the following sequence that uses (1ULL << 63) | 392 as the operand
to clzw:
bseti a2, zero, 63
addi a2, a2, 392
clzw a3, a2
The correct result of clzw would be 23, but the current implementation
returns -32 (as it performs a 64bit clz, which results in 0 leading zero
bits, and then subtracts 32).
Fix this by changing the implementation to:
1. shift the original register up by 32
2. performs a target-length (64bit) clz
3. return 32 if no bits are set
Marking this instruction as 'w-form' (i.e., setting ctx->w) would not
correctly model the behaviour, as the instruction should not perform
a zero-extensions on the input (after all, it is not a .uw instruction)
and the result is always in the range 0..32 (so neither a sign-extension
nor a zero-extension on the result will ever be needed). Consequently,
we do not set ctx->w and mark the instruction as EXT_NONE.
Signed-off-by: Philipp Tomsich <philipp.tomsich@vrull.eu>
Reviewed-by: LIU Zhiwei<zhiwei_liu@c-sky.com>
Message-id: 20210911140016.834071-4-philipp.tomsich@vrull.eu
Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
2021-09-11 17:00:03 +03:00
|
|
|
TCGv t = tcg_temp_new();
|
|
|
|
tcg_gen_shli_tl(t, arg1, 32);
|
|
|
|
tcg_gen_clzi_tl(ret, t, 32);
|
|
|
|
tcg_temp_free(t);
|
2021-08-23 22:55:15 +03:00
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:03 +03:00
|
|
|
static bool trans_clzw(DisasContext *ctx, arg_clzw *a)
|
|
|
|
{
|
|
|
|
REQUIRE_64BIT(ctx);
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
target/riscv: clwz must ignore high bits (use shift-left & changed logic)
Assume clzw being executed on a register that is not sign-extended, such
as for the following sequence that uses (1ULL << 63) | 392 as the operand
to clzw:
bseti a2, zero, 63
addi a2, a2, 392
clzw a3, a2
The correct result of clzw would be 23, but the current implementation
returns -32 (as it performs a 64bit clz, which results in 0 leading zero
bits, and then subtracts 32).
Fix this by changing the implementation to:
1. shift the original register up by 32
2. performs a target-length (64bit) clz
3. return 32 if no bits are set
Marking this instruction as 'w-form' (i.e., setting ctx->w) would not
correctly model the behaviour, as the instruction should not perform
a zero-extensions on the input (after all, it is not a .uw instruction)
and the result is always in the range 0..32 (so neither a sign-extension
nor a zero-extension on the result will ever be needed). Consequently,
we do not set ctx->w and mark the instruction as EXT_NONE.
Signed-off-by: Philipp Tomsich <philipp.tomsich@vrull.eu>
Reviewed-by: LIU Zhiwei<zhiwei_liu@c-sky.com>
Message-id: 20210911140016.834071-4-philipp.tomsich@vrull.eu
Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
2021-09-11 17:00:03 +03:00
|
|
|
return gen_unary(ctx, a, EXT_NONE, gen_clzw);
|
2021-05-05 19:06:03 +03:00
|
|
|
}
|
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
static void gen_ctzw(TCGv ret, TCGv arg1)
|
|
|
|
{
|
|
|
|
tcg_gen_ori_tl(ret, arg1, (target_ulong)MAKE_64BIT_MASK(32, 32));
|
|
|
|
tcg_gen_ctzi_tl(ret, ret, 64);
|
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:03 +03:00
|
|
|
static bool trans_ctzw(DisasContext *ctx, arg_ctzw *a)
|
|
|
|
{
|
|
|
|
REQUIRE_64BIT(ctx);
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:16 +03:00
|
|
|
return gen_unary(ctx, a, EXT_NONE, gen_ctzw);
|
2021-08-23 22:55:15 +03:00
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:04 +03:00
|
|
|
static bool trans_cpopw(DisasContext *ctx, arg_cpopw *a)
|
|
|
|
{
|
|
|
|
REQUIRE_64BIT(ctx);
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:16 +03:00
|
|
|
ctx->w = true;
|
|
|
|
return gen_unary(ctx, a, EXT_ZERO, tcg_gen_ctpop_tl);
|
2021-05-05 19:06:04 +03:00
|
|
|
}
|
2021-05-05 19:06:06 +03:00
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
static void gen_rorw(TCGv ret, TCGv arg1, TCGv arg2)
|
|
|
|
{
|
|
|
|
TCGv_i32 t1 = tcg_temp_new_i32();
|
|
|
|
TCGv_i32 t2 = tcg_temp_new_i32();
|
|
|
|
|
|
|
|
/* truncate to 32-bits */
|
|
|
|
tcg_gen_trunc_tl_i32(t1, arg1);
|
|
|
|
tcg_gen_trunc_tl_i32(t2, arg2);
|
|
|
|
|
|
|
|
tcg_gen_rotr_i32(t1, t1, t2);
|
|
|
|
|
|
|
|
/* sign-extend 64-bits */
|
|
|
|
tcg_gen_ext_i32_tl(ret, t1);
|
|
|
|
|
|
|
|
tcg_temp_free_i32(t1);
|
|
|
|
tcg_temp_free_i32(t2);
|
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:12 +03:00
|
|
|
static bool trans_rorw(DisasContext *ctx, arg_rorw *a)
|
|
|
|
{
|
|
|
|
REQUIRE_64BIT(ctx);
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
ctx->w = true;
|
|
|
|
return gen_shift(ctx, a, EXT_NONE, gen_rorw);
|
2021-05-05 19:06:12 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_roriw(DisasContext *ctx, arg_roriw *a)
|
|
|
|
{
|
|
|
|
REQUIRE_64BIT(ctx);
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
ctx->w = true;
|
|
|
|
return gen_shift_imm_tl(ctx, a, EXT_NONE, gen_rorw);
|
2021-05-05 19:06:12 +03:00
|
|
|
}
|
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
static void gen_rolw(TCGv ret, TCGv arg1, TCGv arg2)
|
|
|
|
{
|
|
|
|
TCGv_i32 t1 = tcg_temp_new_i32();
|
|
|
|
TCGv_i32 t2 = tcg_temp_new_i32();
|
|
|
|
|
|
|
|
/* truncate to 32-bits */
|
|
|
|
tcg_gen_trunc_tl_i32(t1, arg1);
|
|
|
|
tcg_gen_trunc_tl_i32(t2, arg2);
|
|
|
|
|
|
|
|
tcg_gen_rotl_i32(t1, t1, t2);
|
|
|
|
|
|
|
|
/* sign-extend 64-bits */
|
|
|
|
tcg_gen_ext_i32_tl(ret, t1);
|
|
|
|
|
|
|
|
tcg_temp_free_i32(t1);
|
|
|
|
tcg_temp_free_i32(t2);
|
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:12 +03:00
|
|
|
static bool trans_rolw(DisasContext *ctx, arg_rolw *a)
|
|
|
|
{
|
|
|
|
REQUIRE_64BIT(ctx);
|
2021-09-11 17:00:10 +03:00
|
|
|
REQUIRE_ZBB(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
ctx->w = true;
|
|
|
|
return gen_shift(ctx, a, EXT_NONE, gen_rolw);
|
2021-08-23 22:55:15 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
#define GEN_SHADD_UW(SHAMT) \
|
|
|
|
static void gen_sh##SHAMT##add_uw(TCGv ret, TCGv arg1, TCGv arg2) \
|
|
|
|
{ \
|
|
|
|
TCGv t = tcg_temp_new(); \
|
|
|
|
\
|
|
|
|
tcg_gen_ext32u_tl(t, arg1); \
|
|
|
|
\
|
|
|
|
tcg_gen_shli_tl(t, t, SHAMT); \
|
|
|
|
tcg_gen_add_tl(ret, t, arg2); \
|
|
|
|
\
|
|
|
|
tcg_temp_free(t); \
|
|
|
|
}
|
|
|
|
|
|
|
|
GEN_SHADD_UW(1)
|
|
|
|
GEN_SHADD_UW(2)
|
|
|
|
GEN_SHADD_UW(3)
|
|
|
|
|
2021-05-05 19:06:15 +03:00
|
|
|
#define GEN_TRANS_SHADD_UW(SHAMT) \
|
|
|
|
static bool trans_sh##SHAMT##add_uw(DisasContext *ctx, \
|
|
|
|
arg_sh##SHAMT##add_uw *a) \
|
|
|
|
{ \
|
|
|
|
REQUIRE_64BIT(ctx); \
|
2021-09-11 17:00:05 +03:00
|
|
|
REQUIRE_ZBA(ctx); \
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_NONE, gen_sh##SHAMT##add_uw); \
|
2021-05-05 19:06:15 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
GEN_TRANS_SHADD_UW(1)
|
|
|
|
GEN_TRANS_SHADD_UW(2)
|
|
|
|
GEN_TRANS_SHADD_UW(3)
|
2021-05-05 19:06:16 +03:00
|
|
|
|
2021-08-23 22:55:15 +03:00
|
|
|
static void gen_add_uw(TCGv ret, TCGv arg1, TCGv arg2)
|
|
|
|
{
|
2021-09-11 17:00:01 +03:00
|
|
|
TCGv t = tcg_temp_new();
|
|
|
|
tcg_gen_ext32u_tl(t, arg1);
|
|
|
|
tcg_gen_add_tl(ret, t, arg2);
|
|
|
|
tcg_temp_free(t);
|
2021-08-23 22:55:15 +03:00
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:16 +03:00
|
|
|
static bool trans_add_uw(DisasContext *ctx, arg_add_uw *a)
|
|
|
|
{
|
|
|
|
REQUIRE_64BIT(ctx);
|
2021-09-11 17:00:05 +03:00
|
|
|
REQUIRE_ZBA(ctx);
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_NONE, gen_add_uw);
|
2021-05-05 19:06:16 +03:00
|
|
|
}
|
|
|
|
|
2021-08-23 22:55:25 +03:00
|
|
|
static void gen_slli_uw(TCGv dest, TCGv src, target_long shamt)
|
|
|
|
{
|
|
|
|
tcg_gen_deposit_z_tl(dest, src, shamt, MIN(32, TARGET_LONG_BITS - shamt));
|
|
|
|
}
|
|
|
|
|
2021-05-05 19:06:16 +03:00
|
|
|
static bool trans_slli_uw(DisasContext *ctx, arg_slli_uw *a)
|
|
|
|
{
|
|
|
|
REQUIRE_64BIT(ctx);
|
2021-09-11 17:00:05 +03:00
|
|
|
REQUIRE_ZBA(ctx);
|
2021-08-23 22:55:25 +03:00
|
|
|
return gen_shift_imm_fn(ctx, a, EXT_NONE, gen_slli_uw);
|
2021-05-05 19:06:16 +03:00
|
|
|
}
|
2021-09-11 17:00:09 +03:00
|
|
|
|
|
|
|
static bool trans_clmul(DisasContext *ctx, arg_clmul *a)
|
|
|
|
{
|
|
|
|
REQUIRE_ZBC(ctx);
|
|
|
|
return gen_arith(ctx, a, EXT_NONE, gen_helper_clmul);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void gen_clmulh(TCGv dst, TCGv src1, TCGv src2)
|
|
|
|
{
|
|
|
|
gen_helper_clmulr(dst, src1, src2);
|
|
|
|
tcg_gen_shri_tl(dst, dst, 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_clmulh(DisasContext *ctx, arg_clmulr *a)
|
|
|
|
{
|
|
|
|
REQUIRE_ZBC(ctx);
|
|
|
|
return gen_arith(ctx, a, EXT_NONE, gen_clmulh);
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_clmulr(DisasContext *ctx, arg_clmulh *a)
|
|
|
|
{
|
|
|
|
REQUIRE_ZBC(ctx);
|
|
|
|
return gen_arith(ctx, a, EXT_NONE, gen_helper_clmulr);
|
|
|
|
}
|