From: Uros Bizjak <ubizjak@gmail.com>
To: Richard Biener <rguenther@suse.de>
Cc: Andrew Pinski <pinskia@gmail.com>,
"gcc-patches@gcc.gnu.org" <gcc-patches@gcc.gnu.org>,
Jeff Law <jeffreyalaw@gmail.com>
Subject: Re: [PATCH] match.pd: Convert {I, X}OR of two values ANDed with alien CSTs to PLUS [PR108477]
Date: Tue, 9 Jan 2024 10:25:41 +0100 [thread overview]
Message-ID: <CAFULd4aAN=5kHWipMtgzfmVWqao0bcAo2K=T245F89VB1+Y07Q@mail.gmail.com> (raw)
In-Reply-To: <q9990no5-1qoq-2pq9-0opp-8pp1q2ro0r6p@fhfr.qr>
On Tue, Jan 9, 2024 at 9:58 AM Richard Biener <rguenther@suse.de> wrote:
>
> On Mon, 8 Jan 2024, Uros Bizjak wrote:
>
> > On Mon, Jan 8, 2024 at 5:57?PM Andrew Pinski <pinskia@gmail.com> wrote:
> > >
> > > On Mon, Jan 8, 2024 at 6:44?AM Uros Bizjak <ubizjak@gmail.com> wrote:
> > > >
> > > > Instead of converting XOR or PLUS of two values, ANDed with two constants that
> > > > have no bits in common, to IOR expression, convert IOR or XOR of said two
> > > > ANDed values to PLUS expression.
> > >
> > > I think this only helps targets which have leal like instruction. Also
> > > I think it is the same issue as I recorded as PR 111763 . I suspect
> > > BIT_IOR is more of a Canonical form for GIMPLE while we should handle
> > > this in expand to decide if we want to use PLUS or IOR.
> >
> > For the pr108477.c testcase, expand pass expands:
> >
> > r_3 = a_2(D) & 1;
> > p_5 = b_4(D) & 4294967292;
> > _1 = r_3 | p_5;
> > _6 = _1 + 2;
> > return _6;
> >
> > The transformation ( | -> + ) is valid only when CST1 & CST2 == 0, so
> > we need to determine values of constants. Is this information
> > available in the expand pass?
>
> If there's single-uses then TER makes this info available.
>
> > IMO, the transformation from (ra | rb | cst) to (ra + rb + cst) as in
> > the shown testcase would be beneficial when constructing control
> > register values (see e.g. mesa-3d). We can use LEA instead of OR+ADD
> > sequence in this case.
>
> The other possibility is to expose LEA as optab and making GIMPLE
> instruction selection generate a direct internal function for that
> (that would be the "better" way). There is LEA-like &TARGET_MEM_REF
> but that has constraints on the addends mode (ptr_mode) which might
> not fit what the target can do? Otherwise that would be an existing
> way to do this computation as well.
I think there is no need for a new optab. If we can determine at
expand time that ANDed values are fed to the IOR/XOR expressions, then
we can check the constants and emit PLUS RTX instead. RTL combine pass
will then create LEA instruction from separate PLUS instructions.
So, we can emit:
op0 = and (a, CST1)
op1 = and (b, CST2)
op2 = plus (op0, op1)
RTX sequence for (a & CST1) | (b & CST2) when CST1 & CST2 == 0
and
op0 = and (a, CST1)
op1 = plus (op0, CST2)
RTX sequence for (a & CST1) | CST2 when CST1 & CST2 == 0
The above transformation is valid for IOR and XOR.
x86 can't combine IOR/XOR in any meaningful way, but can combine the
sequence of PLUS (together with MULT) RTXes to LEA.
(BTW: I am not versed in the expand stuff, so a disclaimer is at hand ;) )
Uros.
next prev parent reply other threads:[~2024-01-09 9:25 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-01-08 14:43 [PATCH] match.pd: Convert {I,X}OR " Uros Bizjak
2024-01-08 16:57 ` [PATCH] match.pd: Convert {I, X}OR " Andrew Pinski
2024-01-08 17:01 ` Jeff Law
2024-01-09 8:35 ` Richard Biener
2024-01-08 20:10 ` Uros Bizjak
2024-01-09 8:53 ` Richard Biener
2024-01-09 9:25 ` Uros Bizjak [this message]
2024-01-09 9:39 ` Richard Biener
2024-01-09 9:53 ` Jakub Jelinek
2024-01-09 10:02 ` Uros Bizjak
2024-01-09 10:01 ` Richard Biener
2024-01-09 10:19 ` Uros Bizjak
2024-01-09 10:27 ` Uros Bizjak
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='CAFULd4aAN=5kHWipMtgzfmVWqao0bcAo2K=T245F89VB1+Y07Q@mail.gmail.com' \
--to=ubizjak@gmail.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=jeffreyalaw@gmail.com \
--cc=pinskia@gmail.com \
--cc=rguenther@suse.de \
/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 read-only IMAP folder(s) and NNTP newsgroup(s).