ac6ad1dca8
Implement the MVE VMULL insn, which multiplies two single width integer elements to produce a double width result. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Message-id: 20210617121628.20116-19-peter.maydell@linaro.org
368 lines
10 KiB
C
368 lines
10 KiB
C
/*
|
|
* ARM translation: M-profile MVE instructions
|
|
*
|
|
* Copyright (c) 2021 Linaro, Ltd.
|
|
*
|
|
* This library is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
* License as published by the Free Software Foundation; either
|
|
* version 2.1 of the License, or (at your option) any later version.
|
|
*
|
|
* This library is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
* Lesser General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
* License along with this library; if not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
#include "qemu/osdep.h"
|
|
#include "tcg/tcg-op.h"
|
|
#include "tcg/tcg-op-gvec.h"
|
|
#include "exec/exec-all.h"
|
|
#include "exec/gen-icount.h"
|
|
#include "translate.h"
|
|
#include "translate-a32.h"
|
|
|
|
/* Include the generated decoder */
|
|
#include "decode-mve.c.inc"
|
|
|
|
typedef void MVEGenLdStFn(TCGv_ptr, TCGv_ptr, TCGv_i32);
|
|
typedef void MVEGenOneOpFn(TCGv_ptr, TCGv_ptr, TCGv_ptr);
|
|
typedef void MVEGenTwoOpFn(TCGv_ptr, TCGv_ptr, TCGv_ptr, TCGv_ptr);
|
|
|
|
/* Return the offset of a Qn register (same semantics as aa32_vfp_qreg()) */
|
|
static inline long mve_qreg_offset(unsigned reg)
|
|
{
|
|
return offsetof(CPUARMState, vfp.zregs[reg].d[0]);
|
|
}
|
|
|
|
static TCGv_ptr mve_qreg_ptr(unsigned reg)
|
|
{
|
|
TCGv_ptr ret = tcg_temp_new_ptr();
|
|
tcg_gen_addi_ptr(ret, cpu_env, mve_qreg_offset(reg));
|
|
return ret;
|
|
}
|
|
|
|
static bool mve_check_qreg_bank(DisasContext *s, int qmask)
|
|
{
|
|
/*
|
|
* Check whether Qregs are in range. For v8.1M only Q0..Q7
|
|
* are supported, see VFPSmallRegisterBank().
|
|
*/
|
|
return qmask < 8;
|
|
}
|
|
|
|
static bool mve_eci_check(DisasContext *s)
|
|
{
|
|
/*
|
|
* This is a beatwise insn: check that ECI is valid (not a
|
|
* reserved value) and note that we are handling it.
|
|
* Return true if OK, false if we generated an exception.
|
|
*/
|
|
s->eci_handled = true;
|
|
switch (s->eci) {
|
|
case ECI_NONE:
|
|
case ECI_A0:
|
|
case ECI_A0A1:
|
|
case ECI_A0A1A2:
|
|
case ECI_A0A1A2B0:
|
|
return true;
|
|
default:
|
|
/* Reserved value: INVSTATE UsageFault */
|
|
gen_exception_insn(s, s->pc_curr, EXCP_INVSTATE, syn_uncategorized(),
|
|
default_exception_el(s));
|
|
return false;
|
|
}
|
|
}
|
|
|
|
static void mve_update_eci(DisasContext *s)
|
|
{
|
|
/*
|
|
* The helper function will always update the CPUState field,
|
|
* so we only need to update the DisasContext field.
|
|
*/
|
|
if (s->eci) {
|
|
s->eci = (s->eci == ECI_A0A1A2B0) ? ECI_A0 : ECI_NONE;
|
|
}
|
|
}
|
|
|
|
static bool do_ldst(DisasContext *s, arg_VLDR_VSTR *a, MVEGenLdStFn *fn)
|
|
{
|
|
TCGv_i32 addr;
|
|
uint32_t offset;
|
|
TCGv_ptr qreg;
|
|
|
|
if (!dc_isar_feature(aa32_mve, s) ||
|
|
!mve_check_qreg_bank(s, a->qd) ||
|
|
!fn) {
|
|
return false;
|
|
}
|
|
|
|
/* CONSTRAINED UNPREDICTABLE: we choose to UNDEF */
|
|
if (a->rn == 15 || (a->rn == 13 && a->w)) {
|
|
return false;
|
|
}
|
|
|
|
if (!mve_eci_check(s) || !vfp_access_check(s)) {
|
|
return true;
|
|
}
|
|
|
|
offset = a->imm << a->size;
|
|
if (!a->a) {
|
|
offset = -offset;
|
|
}
|
|
addr = load_reg(s, a->rn);
|
|
if (a->p) {
|
|
tcg_gen_addi_i32(addr, addr, offset);
|
|
}
|
|
|
|
qreg = mve_qreg_ptr(a->qd);
|
|
fn(cpu_env, qreg, addr);
|
|
tcg_temp_free_ptr(qreg);
|
|
|
|
/*
|
|
* Writeback always happens after the last beat of the insn,
|
|
* regardless of predication
|
|
*/
|
|
if (a->w) {
|
|
if (!a->p) {
|
|
tcg_gen_addi_i32(addr, addr, offset);
|
|
}
|
|
store_reg(s, a->rn, addr);
|
|
} else {
|
|
tcg_temp_free_i32(addr);
|
|
}
|
|
mve_update_eci(s);
|
|
return true;
|
|
}
|
|
|
|
static bool trans_VLDR_VSTR(DisasContext *s, arg_VLDR_VSTR *a)
|
|
{
|
|
static MVEGenLdStFn * const ldstfns[4][2] = {
|
|
{ gen_helper_mve_vstrb, gen_helper_mve_vldrb },
|
|
{ gen_helper_mve_vstrh, gen_helper_mve_vldrh },
|
|
{ gen_helper_mve_vstrw, gen_helper_mve_vldrw },
|
|
{ NULL, NULL }
|
|
};
|
|
return do_ldst(s, a, ldstfns[a->size][a->l]);
|
|
}
|
|
|
|
#define DO_VLDST_WIDE_NARROW(OP, SLD, ULD, ST) \
|
|
static bool trans_##OP(DisasContext *s, arg_VLDR_VSTR *a) \
|
|
{ \
|
|
static MVEGenLdStFn * const ldstfns[2][2] = { \
|
|
{ gen_helper_mve_##ST, gen_helper_mve_##SLD }, \
|
|
{ NULL, gen_helper_mve_##ULD }, \
|
|
}; \
|
|
return do_ldst(s, a, ldstfns[a->u][a->l]); \
|
|
}
|
|
|
|
DO_VLDST_WIDE_NARROW(VLDSTB_H, vldrb_sh, vldrb_uh, vstrb_h)
|
|
DO_VLDST_WIDE_NARROW(VLDSTB_W, vldrb_sw, vldrb_uw, vstrb_w)
|
|
DO_VLDST_WIDE_NARROW(VLDSTH_W, vldrh_sw, vldrh_uw, vstrh_w)
|
|
|
|
static bool trans_VDUP(DisasContext *s, arg_VDUP *a)
|
|
{
|
|
TCGv_ptr qd;
|
|
TCGv_i32 rt;
|
|
|
|
if (!dc_isar_feature(aa32_mve, s) ||
|
|
!mve_check_qreg_bank(s, a->qd)) {
|
|
return false;
|
|
}
|
|
if (a->rt == 13 || a->rt == 15) {
|
|
/* UNPREDICTABLE; we choose to UNDEF */
|
|
return false;
|
|
}
|
|
if (!mve_eci_check(s) || !vfp_access_check(s)) {
|
|
return true;
|
|
}
|
|
|
|
qd = mve_qreg_ptr(a->qd);
|
|
rt = load_reg(s, a->rt);
|
|
tcg_gen_dup_i32(a->size, rt, rt);
|
|
gen_helper_mve_vdup(cpu_env, qd, rt);
|
|
tcg_temp_free_ptr(qd);
|
|
tcg_temp_free_i32(rt);
|
|
mve_update_eci(s);
|
|
return true;
|
|
}
|
|
|
|
static bool do_1op(DisasContext *s, arg_1op *a, MVEGenOneOpFn fn)
|
|
{
|
|
TCGv_ptr qd, qm;
|
|
|
|
if (!dc_isar_feature(aa32_mve, s) ||
|
|
!mve_check_qreg_bank(s, a->qd | a->qm) ||
|
|
!fn) {
|
|
return false;
|
|
}
|
|
|
|
if (!mve_eci_check(s) || !vfp_access_check(s)) {
|
|
return true;
|
|
}
|
|
|
|
qd = mve_qreg_ptr(a->qd);
|
|
qm = mve_qreg_ptr(a->qm);
|
|
fn(cpu_env, qd, qm);
|
|
tcg_temp_free_ptr(qd);
|
|
tcg_temp_free_ptr(qm);
|
|
mve_update_eci(s);
|
|
return true;
|
|
}
|
|
|
|
#define DO_1OP(INSN, FN) \
|
|
static bool trans_##INSN(DisasContext *s, arg_1op *a) \
|
|
{ \
|
|
static MVEGenOneOpFn * const fns[] = { \
|
|
gen_helper_mve_##FN##b, \
|
|
gen_helper_mve_##FN##h, \
|
|
gen_helper_mve_##FN##w, \
|
|
NULL, \
|
|
}; \
|
|
return do_1op(s, a, fns[a->size]); \
|
|
}
|
|
|
|
DO_1OP(VCLZ, vclz)
|
|
DO_1OP(VCLS, vcls)
|
|
DO_1OP(VABS, vabs)
|
|
DO_1OP(VNEG, vneg)
|
|
|
|
static bool trans_VREV16(DisasContext *s, arg_1op *a)
|
|
{
|
|
static MVEGenOneOpFn * const fns[] = {
|
|
gen_helper_mve_vrev16b,
|
|
NULL,
|
|
NULL,
|
|
NULL,
|
|
};
|
|
return do_1op(s, a, fns[a->size]);
|
|
}
|
|
|
|
static bool trans_VREV32(DisasContext *s, arg_1op *a)
|
|
{
|
|
static MVEGenOneOpFn * const fns[] = {
|
|
gen_helper_mve_vrev32b,
|
|
gen_helper_mve_vrev32h,
|
|
NULL,
|
|
NULL,
|
|
};
|
|
return do_1op(s, a, fns[a->size]);
|
|
}
|
|
|
|
static bool trans_VREV64(DisasContext *s, arg_1op *a)
|
|
{
|
|
static MVEGenOneOpFn * const fns[] = {
|
|
gen_helper_mve_vrev64b,
|
|
gen_helper_mve_vrev64h,
|
|
gen_helper_mve_vrev64w,
|
|
NULL,
|
|
};
|
|
return do_1op(s, a, fns[a->size]);
|
|
}
|
|
|
|
static bool trans_VMVN(DisasContext *s, arg_1op *a)
|
|
{
|
|
return do_1op(s, a, gen_helper_mve_vmvn);
|
|
}
|
|
|
|
static bool trans_VABS_fp(DisasContext *s, arg_1op *a)
|
|
{
|
|
static MVEGenOneOpFn * const fns[] = {
|
|
NULL,
|
|
gen_helper_mve_vfabsh,
|
|
gen_helper_mve_vfabss,
|
|
NULL,
|
|
};
|
|
if (!dc_isar_feature(aa32_mve_fp, s)) {
|
|
return false;
|
|
}
|
|
return do_1op(s, a, fns[a->size]);
|
|
}
|
|
|
|
static bool trans_VNEG_fp(DisasContext *s, arg_1op *a)
|
|
{
|
|
static MVEGenOneOpFn * const fns[] = {
|
|
NULL,
|
|
gen_helper_mve_vfnegh,
|
|
gen_helper_mve_vfnegs,
|
|
NULL,
|
|
};
|
|
if (!dc_isar_feature(aa32_mve_fp, s)) {
|
|
return false;
|
|
}
|
|
return do_1op(s, a, fns[a->size]);
|
|
}
|
|
|
|
static bool do_2op(DisasContext *s, arg_2op *a, MVEGenTwoOpFn fn)
|
|
{
|
|
TCGv_ptr qd, qn, qm;
|
|
|
|
if (!dc_isar_feature(aa32_mve, s) ||
|
|
!mve_check_qreg_bank(s, a->qd | a->qn | a->qm) ||
|
|
!fn) {
|
|
return false;
|
|
}
|
|
if (!mve_eci_check(s) || !vfp_access_check(s)) {
|
|
return true;
|
|
}
|
|
|
|
qd = mve_qreg_ptr(a->qd);
|
|
qn = mve_qreg_ptr(a->qn);
|
|
qm = mve_qreg_ptr(a->qm);
|
|
fn(cpu_env, qd, qn, qm);
|
|
tcg_temp_free_ptr(qd);
|
|
tcg_temp_free_ptr(qn);
|
|
tcg_temp_free_ptr(qm);
|
|
mve_update_eci(s);
|
|
return true;
|
|
}
|
|
|
|
#define DO_LOGIC(INSN, HELPER) \
|
|
static bool trans_##INSN(DisasContext *s, arg_2op *a) \
|
|
{ \
|
|
return do_2op(s, a, HELPER); \
|
|
}
|
|
|
|
DO_LOGIC(VAND, gen_helper_mve_vand)
|
|
DO_LOGIC(VBIC, gen_helper_mve_vbic)
|
|
DO_LOGIC(VORR, gen_helper_mve_vorr)
|
|
DO_LOGIC(VORN, gen_helper_mve_vorn)
|
|
DO_LOGIC(VEOR, gen_helper_mve_veor)
|
|
|
|
#define DO_2OP(INSN, FN) \
|
|
static bool trans_##INSN(DisasContext *s, arg_2op *a) \
|
|
{ \
|
|
static MVEGenTwoOpFn * const fns[] = { \
|
|
gen_helper_mve_##FN##b, \
|
|
gen_helper_mve_##FN##h, \
|
|
gen_helper_mve_##FN##w, \
|
|
NULL, \
|
|
}; \
|
|
return do_2op(s, a, fns[a->size]); \
|
|
}
|
|
|
|
DO_2OP(VADD, vadd)
|
|
DO_2OP(VSUB, vsub)
|
|
DO_2OP(VMUL, vmul)
|
|
DO_2OP(VMULH_S, vmulhs)
|
|
DO_2OP(VMULH_U, vmulhu)
|
|
DO_2OP(VRMULH_S, vrmulhs)
|
|
DO_2OP(VRMULH_U, vrmulhu)
|
|
DO_2OP(VMAX_S, vmaxs)
|
|
DO_2OP(VMAX_U, vmaxu)
|
|
DO_2OP(VMIN_S, vmins)
|
|
DO_2OP(VMIN_U, vminu)
|
|
DO_2OP(VABD_S, vabds)
|
|
DO_2OP(VABD_U, vabdu)
|
|
DO_2OP(VHADD_S, vhadds)
|
|
DO_2OP(VHADD_U, vhaddu)
|
|
DO_2OP(VHSUB_S, vhsubs)
|
|
DO_2OP(VHSUB_U, vhsubu)
|
|
DO_2OP(VMULL_BS, vmullbs)
|
|
DO_2OP(VMULL_BU, vmullbu)
|
|
DO_2OP(VMULL_TS, vmullts)
|
|
DO_2OP(VMULL_TU, vmulltu)
|