From: Richard Henderson <richard.henderson@linaro.org>
To: Mark Cave-Ayland <mark.cave-ayland@ilande.co.uk>,
qemu-devel@nongnu.org, qemu-ppc@nongnu.org,
david@gibson.dropbear.id.au, lvivier@redhat.com
Subject: Re: [Qemu-devel] [RFC PATCH v2 0/9] target/ppc: convert VMX instructions to use TCG vector operations
Date: Mon, 17 Dec 2018 09:39:31 -0800 [thread overview]
Message-ID: <2d7d128f-6cdc-11bf-af7d-8ba8ffa4d3fb@linaro.org> (raw)
In-Reply-To: <20181217122405.18732-1-mark.cave-ayland@ilande.co.uk>
On 12/17/18 4:23 AM, Mark Cave-Ayland wrote:
> NOTE: there are a lot of instructions that cannot (yet) be optimised to use TCG vector
> operations, however it struck me that there may be some potential for converting
> saturating add/sub and cmp instructions if there were a mechanism to return a set of
> flags indicating the result of the saturation/comparison.
There are also a lot of instructions that can be converted, but aren't:
* vspltis[bhw] can use tcg_gen_gvec_dup{8,16,32}i.
* vsplt{b,h,w} can use tcg_gen_gvec_dup_mem.
Note that you'll need something like vec_reg_offset from
target/arm/translate-a64.h to compute the offset of the
specific byte/word/long from which we are to splat.
* vmr should be handled by having tcg_gen_gvec_or notice aofs == bofs.
For ARM, we do special case this during translation.
But since tcg/tcg-op.c does these things for tcg_gen_or_i64,
we should probably handle the same set of transformations.
* vnot would need to be handled by actually adding a tcg_gen_gvec_nor
and then also noticing aofs == bofs.
For saturation, I think the easiest thing to do is represent SAT as a
ppc_avr_t. We notice saturation by also computing normal arithmetic and
comparing to see if they differ. E.g.
tcg_gen_gvec_add(vece, offsetof_avr_tmp,
offsetof(ra), offsetof(rb), 16, 16);
tcg_gen_gvec_ssadd(vece, offsetof(rt),
offsetof(ra), offsetof(rb), 16, 16);
tcg_gen_gvec_cmp(TCG_COND_NE, vece, offsetof_avr_tmp,
offsetof_avr_tmp, offsetof(rt), 16, 16);
tcg_gen_gvec_or(vece, offsetof_avr_sat, offsetof_avr_sat,
offsetof_avr_tmp, 16, 16);
You only need to convert the ppc_avr_t to a single bit when reading VSCR.
For comparisons... that's tricky. I wonder if there's anything better than
tcg_gen_gvec_cmp(TCG_COND_FOO, vece, offsetof(rt),
offsetof(ra), offsetof(rb), 16, 16);
if (rc) {
TCGv_i64 hi, lo, t, f;
tcg_gen_ld_i64(hi, cpu_env, offsetof(rt));
tcg_gen_ld_i64(lo, cpu_env, offsetof(rt) + 8);
tcg_gen_and_i64(t, hi, lo);
tcg_gen_or_i64(f, hi, lo);
tcg_gen_setcondi_i64(TCG_COND_EQ, t, t, -1);
tcg_gen_setcondi_i64(TCG_COND_EQ, f, f, 0);
// truncate to i32, shift, or, and set to cr6.
}
r~
next prev parent reply other threads:[~2018-12-17 17:39 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-12-17 12:23 [Qemu-devel] [RFC PATCH v2 0/9] target/ppc: convert VMX instructions to use TCG vector operations Mark Cave-Ayland
2018-12-17 12:23 ` [Qemu-devel] [RFC PATCH v2 1/9] target/ppc: introduce get_fpr() and set_fpr() helpers for FP register access Mark Cave-Ayland
2018-12-17 16:40 ` Richard Henderson
2018-12-17 17:20 ` Mark Cave-Ayland
2018-12-17 12:23 ` [Qemu-devel] [RFC PATCH v2 2/9] target/ppc: introduce get_avr64() and set_avr64() helpers for VMX " Mark Cave-Ayland
2018-12-17 12:23 ` [Qemu-devel] [RFC PATCH v2 3/9] target/ppc: introduce get_cpu_vsr{l, h}() and set_cpu_vsr{l, h}() helpers for VSR " Mark Cave-Ayland
2018-12-17 16:43 ` Richard Henderson
2018-12-17 12:24 ` [Qemu-devel] [RFC PATCH v2 4/9] target/ppc: delay writeback of avr{l, h} during lvx instruction Mark Cave-Ayland
2018-12-17 16:46 ` Richard Henderson
2018-12-17 17:23 ` Mark Cave-Ayland
2018-12-17 12:24 ` [Qemu-devel] [RFC PATCH v2 5/9] target/ppc: switch FPR, VMX and VSX helpers to access data directly from cpu_env Mark Cave-Ayland
2018-12-17 12:24 ` [Qemu-devel] [RFC PATCH v2 6/9] target/ppc: merge ppc_vsr_t and ppc_avr_t union types Mark Cave-Ayland
2018-12-17 16:47 ` Richard Henderson
2018-12-17 12:24 ` [Qemu-devel] [RFC PATCH v2 7/9] target/ppc: move FP and VMX registers into aligned vsr register array Mark Cave-Ayland
2018-12-17 16:58 ` Richard Henderson
2018-12-17 12:24 ` [Qemu-devel] [RFC PATCH v2 8/9] target/ppc: convert VMX logical instructions to use vector operations Mark Cave-Ayland
2018-12-17 12:24 ` [Qemu-devel] [RFC PATCH v2 9/9] target/ppc: convert vaddu[b, h, w, d] and vsubu[b, h, w, d] over " Mark Cave-Ayland
2018-12-17 17:39 ` Richard Henderson [this message]
2018-12-17 18:49 ` [Qemu-devel] [RFC PATCH v2 0/9] target/ppc: convert VMX instructions to use TCG " Mark Cave-Ayland
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=2d7d128f-6cdc-11bf-af7d-8ba8ffa4d3fb@linaro.org \
--to=richard.henderson@linaro.org \
--cc=david@gibson.dropbear.id.au \
--cc=lvivier@redhat.com \
--cc=mark.cave-ayland@ilande.co.uk \
--cc=qemu-devel@nongnu.org \
--cc=qemu-ppc@nongnu.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).