From: Aleksandar Markovic <aleksandar.m.mail@gmail.com>
To: Richard Henderson <richard.henderson@linaro.org>
Cc: mark.cave-ayland@ilande.co.uk, qemu-devel@nongnu.org
Subject: Re: [Qemu-devel] [PATCH v4 3/7] tcg/ppc: Support vector multiply
Date: Sun, 19 May 2019 07:05:48 +0200 [thread overview]
Message-ID: <CAL1e-=hc6xgfEPjAgrf6ctOFonriunT8OerU0BwfD0OjZLROww@mail.gmail.com> (raw)
In-Reply-To: <20190519041522.12327-4-richard.henderson@linaro.org>
On May 19, 2019 6:35 AM, "Richard Henderson" <richard.henderson@linaro.org>
wrote:
>
> For Altivec, this is always an expansion.
>
> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
> ---
Large portions of this patch have nothing to do with what title or commit
message say.Reorganize.
Thanks, Aleksandar
> tcg/ppc/tcg-target.h | 2 +-
> tcg/ppc/tcg-target.opc.h | 8 +++
> tcg/ppc/tcg-target.inc.c | 112 ++++++++++++++++++++++++++++++++++++++-
> 3 files changed, 120 insertions(+), 2 deletions(-)
>
> diff --git a/tcg/ppc/tcg-target.h b/tcg/ppc/tcg-target.h
> index 766706fd30..a130192cbd 100644
> --- a/tcg/ppc/tcg-target.h
> +++ b/tcg/ppc/tcg-target.h
> @@ -154,7 +154,7 @@ extern bool have_isa_3_00;
> #define TCG_TARGET_HAS_shs_vec 0
> #define TCG_TARGET_HAS_shv_vec 1
> #define TCG_TARGET_HAS_cmp_vec 1
> -#define TCG_TARGET_HAS_mul_vec 0
> +#define TCG_TARGET_HAS_mul_vec 1
> #define TCG_TARGET_HAS_sat_vec 1
> #define TCG_TARGET_HAS_minmax_vec 1
> #define TCG_TARGET_HAS_bitsel_vec 0
> diff --git a/tcg/ppc/tcg-target.opc.h b/tcg/ppc/tcg-target.opc.h
> index 4816a6c3d4..5c6a5ad52c 100644
> --- a/tcg/ppc/tcg-target.opc.h
> +++ b/tcg/ppc/tcg-target.opc.h
> @@ -1,3 +1,11 @@
> /* Target-specific opcodes for host vector expansion. These will be
> emitted by tcg_expand_vec_op. For those familiar with GCC internals,
> consider these to be UNSPEC with names. */
> +
> +DEF(ppc_mrgh_vec, 1, 2, 0, IMPLVEC)
> +DEF(ppc_mrgl_vec, 1, 2, 0, IMPLVEC)
> +DEF(ppc_msum_vec, 1, 3, 0, IMPLVEC)
> +DEF(ppc_muleu_vec, 1, 2, 0, IMPLVEC)
> +DEF(ppc_mulou_vec, 1, 2, 0, IMPLVEC)
> +DEF(ppc_pkum_vec, 1, 2, 0, IMPLVEC)
> +DEF(ppc_rotl_vec, 1, 2, 0, IMPLVEC)
> diff --git a/tcg/ppc/tcg-target.inc.c b/tcg/ppc/tcg-target.inc.c
> index 62a8c428e0..9d58db9eb1 100644
> --- a/tcg/ppc/tcg-target.inc.c
> +++ b/tcg/ppc/tcg-target.inc.c
> @@ -526,6 +526,25 @@ static int tcg_target_const_match(tcg_target_long
val, TCGType type,
> #define VSRAB VX4(772)
> #define VSRAH VX4(836)
> #define VSRAW VX4(900)
> +#define VRLB VX4(4)
> +#define VRLH VX4(68)
> +#define VRLW VX4(132)
> +
> +#define VMULEUB VX4(520)
> +#define VMULEUH VX4(584)
> +#define VMULOUB VX4(8)
> +#define VMULOUH VX4(72)
> +#define VMSUMUHM VX4(38)
> +
> +#define VMRGHB VX4(12)
> +#define VMRGHH VX4(76)
> +#define VMRGHW VX4(140)
> +#define VMRGLB VX4(268)
> +#define VMRGLH VX4(332)
> +#define VMRGLW VX4(396)
> +
> +#define VPKUHUM VX4(14)
> +#define VPKUWUM VX4(78)
>
> #define VAND VX4(1028)
> #define VANDC VX4(1092)
> @@ -2892,6 +2911,7 @@ int tcg_can_emit_vec_op(TCGOpcode opc, TCGType
type, unsigned vece)
> case INDEX_op_sarv_vec:
> return vece <= MO_32;
> case INDEX_op_cmp_vec:
> + case INDEX_op_mul_vec:
> case INDEX_op_shli_vec:
> case INDEX_op_shri_vec:
> case INDEX_op_sari_vec:
> @@ -3005,7 +3025,13 @@ static void tcg_out_vec_op(TCGContext *s,
TCGOpcode opc,
> smax_op[4] = { VMAXSB, VMAXSH, VMAXSW, 0 },
> shlv_op[4] = { VSLB, VSLH, VSLW, 0 },
> shrv_op[4] = { VSRB, VSRH, VSRW, 0 },
> - sarv_op[4] = { VSRAB, VSRAH, VSRAW, 0 };
> + sarv_op[4] = { VSRAB, VSRAH, VSRAW, 0 },
> + mrgh_op[4] = { VMRGHB, VMRGHH, VMRGHW, 0 },
> + mrgl_op[4] = { VMRGLB, VMRGLH, VMRGLW, 0 },
> + muleu_op[4] = { VMULEUB, VMULEUH, 0, 0 },
> + mulou_op[4] = { VMULOUB, VMULOUH, 0, 0 },
> + pkum_op[4] = { VPKUHUM, VPKUWUM, 0, 0 },
> + rotl_op[4] = { VRLB, VRLH, VRLW, 0 };
>
> TCGType type = vecl + TCG_TYPE_V64;
> TCGArg a0 = args[0], a1 = args[1], a2 = args[2];
> @@ -3094,6 +3120,29 @@ static void tcg_out_vec_op(TCGContext *s,
TCGOpcode opc,
> }
> break;
>
> + case INDEX_op_ppc_mrgh_vec:
> + insn = mrgh_op[vece];
> + break;
> + case INDEX_op_ppc_mrgl_vec:
> + insn = mrgl_op[vece];
> + break;
> + case INDEX_op_ppc_muleu_vec:
> + insn = muleu_op[vece];
> + break;
> + case INDEX_op_ppc_mulou_vec:
> + insn = mulou_op[vece];
> + break;
> + case INDEX_op_ppc_pkum_vec:
> + insn = pkum_op[vece];
> + break;
> + case INDEX_op_ppc_rotl_vec:
> + insn = rotl_op[vece];
> + break;
> + case INDEX_op_ppc_msum_vec:
> + tcg_debug_assert(vece == MO_16);
> + tcg_out32(s, VMSUMUHM | VRT(a0) | VRA(a1) | VRB(a2) |
VRC(args[3]));
> + return;
> +
> case INDEX_op_mov_vec: /* Always emitted via tcg_out_mov. */
> case INDEX_op_dupi_vec: /* Always emitted via tcg_out_movi. */
> case INDEX_op_dup_vec: /* Always emitted via tcg_out_dup_vec. */
> @@ -3163,6 +3212,53 @@ static void expand_vec_cmp(TCGType type, unsigned
vece, TCGv_vec v0,
> }
> }
>
> +static void expand_vec_mul(TCGType type, unsigned vece, TCGv_vec v0,
> + TCGv_vec v1, TCGv_vec v2)
> +{
> + TCGv_vec t1 = tcg_temp_new_vec(type);
> + TCGv_vec t2 = tcg_temp_new_vec(type);
> + TCGv_vec t3, t4;
> +
> + switch (vece) {
> + case MO_8:
> + case MO_16:
> + vec_gen_3(INDEX_op_ppc_muleu_vec, type, vece, tcgv_vec_arg(t1),
> + tcgv_vec_arg(v1), tcgv_vec_arg(v2));
> + vec_gen_3(INDEX_op_ppc_mulou_vec, type, vece, tcgv_vec_arg(t2),
> + tcgv_vec_arg(v1), tcgv_vec_arg(v2));
> + vec_gen_3(INDEX_op_ppc_mrgh_vec, type, vece + 1,
tcgv_vec_arg(v0),
> + tcgv_vec_arg(t1), tcgv_vec_arg(t2));
> + vec_gen_3(INDEX_op_ppc_mrgl_vec, type, vece + 1,
tcgv_vec_arg(t1),
> + tcgv_vec_arg(t1), tcgv_vec_arg(t2));
> + vec_gen_3(INDEX_op_ppc_pkum_vec, type, vece, tcgv_vec_arg(v0),
> + tcgv_vec_arg(v0), tcgv_vec_arg(t1));
> + break;
> +
> + case MO_32:
> + t3 = tcg_temp_new_vec(type);
> + t4 = tcg_temp_new_vec(type);
> + tcg_gen_dupi_vec(MO_8, t4, -16);
> + vec_gen_3(INDEX_op_ppc_rotl_vec, type, MO_32, tcgv_vec_arg(t1),
> + tcgv_vec_arg(v2), tcgv_vec_arg(t4));
> + vec_gen_3(INDEX_op_ppc_mulou_vec, type, MO_16, tcgv_vec_arg(t2),
> + tcgv_vec_arg(v1), tcgv_vec_arg(v2));
> + tcg_gen_dupi_vec(MO_8, t3, 0);
> + vec_gen_4(INDEX_op_ppc_msum_vec, type, MO_16, tcgv_vec_arg(t3),
> + tcgv_vec_arg(v1), tcgv_vec_arg(t1), tcgv_vec_arg(t3));
> + vec_gen_3(INDEX_op_shlv_vec, type, MO_32, tcgv_vec_arg(t3),
> + tcgv_vec_arg(t3), tcgv_vec_arg(t4));
> + tcg_gen_add_vec(MO_32, v0, t2, t3);
> + tcg_temp_free_vec(t3);
> + tcg_temp_free_vec(t4);
> + break;
> +
> + default:
> + g_assert_not_reached();
> + }
> + tcg_temp_free_vec(t1);
> + tcg_temp_free_vec(t2);
> +}
> +
> void tcg_expand_vec_op(TCGOpcode opc, TCGType type, unsigned vece,
> TCGArg a0, ...)
> {
> @@ -3189,6 +3285,10 @@ void tcg_expand_vec_op(TCGOpcode opc, TCGType
type, unsigned vece,
> v2 = temp_tcgv_vec(arg_temp(a2));
> expand_vec_cmp(type, vece, v0, v1, v2, va_arg(va, TCGArg));
> break;
> + case INDEX_op_mul_vec:
> + v2 = temp_tcgv_vec(arg_temp(a2));
> + expand_vec_mul(type, vece, v0, v1, v2);
> + break;
> default:
> g_assert_not_reached();
> }
> @@ -3235,6 +3335,8 @@ static const TCGTargetOpDef
*tcg_target_op_def(TCGOpcode op)
> static const TCGTargetOpDef v_r = { .args_ct_str = { "v", "r" } };
> static const TCGTargetOpDef v_v = { .args_ct_str = { "v", "v" } };
> static const TCGTargetOpDef v_v_v = { .args_ct_str = { "v", "v", "v"
} };
> + static const TCGTargetOpDef v_v_v_v
> + = { .args_ct_str = { "v", "v", "v", "v" } };
>
> switch (op) {
> case INDEX_op_goto_ptr:
> @@ -3390,6 +3492,12 @@ static const TCGTargetOpDef
*tcg_target_op_def(TCGOpcode op)
> case INDEX_op_shlv_vec:
> case INDEX_op_shrv_vec:
> case INDEX_op_sarv_vec:
> + case INDEX_op_ppc_mrgh_vec:
> + case INDEX_op_ppc_mrgl_vec:
> + case INDEX_op_ppc_muleu_vec:
> + case INDEX_op_ppc_mulou_vec:
> + case INDEX_op_ppc_pkum_vec:
> + case INDEX_op_ppc_rotl_vec:
> return &v_v_v;
> case INDEX_op_not_vec:
> case INDEX_op_dup_vec:
> @@ -3398,6 +3506,8 @@ static const TCGTargetOpDef
*tcg_target_op_def(TCGOpcode op)
> case INDEX_op_st_vec:
> case INDEX_op_dupm_vec:
> return &v_r;
> + case INDEX_op_ppc_msum_vec:
> + return &v_v_v_v;
>
> default:
> return NULL;
> --
> 2.17.1
>
>
next prev parent reply other threads:[~2019-05-19 5:18 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-05-19 4:15 [Qemu-devel] [PATCH v4 0/7] tcg/ppc: Add vector opcodes Richard Henderson
2019-05-19 4:15 ` [Qemu-devel] [PATCH v4 1/7] tcg/ppc: Initial backend support for Altivec Richard Henderson
2019-05-19 4:15 ` [Qemu-devel] [PATCH v4 2/7] tcg/ppc: Support vector shift by immediate Richard Henderson
2019-05-19 4:15 ` [Qemu-devel] [PATCH v4 3/7] tcg/ppc: Support vector multiply Richard Henderson
2019-05-19 5:05 ` Aleksandar Markovic [this message]
2019-05-19 14:45 ` Richard Henderson
2019-05-19 4:15 ` [Qemu-devel] [PATCH v4 4/7] tcg/ppc: Support vector dup2 Richard Henderson
2019-05-19 4:15 ` [Qemu-devel] [PATCH v4 5/7] tcg/ppc: Update vector support to v2.06 Richard Henderson
2019-05-19 4:15 ` [Qemu-devel] [PATCH v4 6/7] tcg/ppc: Update vector support to v2.07 Richard Henderson
2019-05-19 4:15 ` [Qemu-devel] [PATCH v4 7/7] tcg/ppc: Update vector support to v3.00 Richard Henderson
2019-06-18 5:00 ` [Qemu-devel] [PATCH v4 0/7] tcg/ppc: Add vector opcodes Richard Henderson
2019-06-19 5:07 ` Mark Cave-Ayland
2019-06-20 11:51 ` Howard Spoelstra
2019-06-22 14:20 ` Mark Cave-Ayland
2019-06-22 15:01 ` Mark Cave-Ayland
2019-06-23 17:10 ` Aleksandar Markovic
2019-06-25 6:56 ` Richard Henderson
2019-06-25 15:37 ` Mark Cave-Ayland
2019-06-25 15:56 ` Richard Henderson
2019-06-25 17:55 ` Mark Cave-Ayland
2019-06-26 7:45 ` Richard Henderson
2019-06-26 17:00 ` Mark Cave-Ayland
2019-06-26 18:18 ` BALATON Zoltan
2019-06-26 18:42 ` Richard Henderson
2019-06-26 19:38 ` Mark Cave-Ayland
2019-06-26 20:21 ` BALATON Zoltan
2019-06-27 17:24 ` Mark Cave-Ayland
2019-06-27 17:51 ` Richard Henderson
2019-06-27 17:54 ` Richard Henderson
2019-06-27 18:21 ` Mark Cave-Ayland
2019-06-26 8:33 ` David Gibson
2019-06-26 15:25 ` Richard Henderson
2019-06-25 18:01 ` Aleksandar Markovic
2019-06-19 8:11 ` David Gibson
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAL1e-=hc6xgfEPjAgrf6ctOFonriunT8OerU0BwfD0OjZLROww@mail.gmail.com' \
--to=aleksandar.m.mail@gmail.com \
--cc=mark.cave-ayland@ilande.co.uk \
--cc=qemu-devel@nongnu.org \
--cc=richard.henderson@linaro.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).