From: Richard Henderson <rth@redhat.com>
To: Diego Novillo <dnovillo@redhat.com>
Cc: Devang Patel <dpatel@apple.com>,
"gcc@gcc.gnu.org list" <gcc@gcc.gnu.org>
Subject: Re: [lno] [RFC] if-conversion and auto vectorizer
Date: Tue, 16 Mar 2004 03:33:00 -0000 [thread overview]
Message-ID: <20040316033313.GA5426@redhat.com> (raw)
In-Reply-To: <1079406088.3173.426.camel@localhost.localdomain>
On Mon, Mar 15, 2004 at 10:01:29PM -0500, Diego Novillo wrote:
> > Well, *consist* of GIMPLE scalars. According to is_gimple_condexpr
> > we can have "x rel-op y" as well.
> >
> Yes. Point being, that such a predicate can't have side effects. Or
> you only want to accept boolean scalars there?
Not at all.
One thing that might should be checked before marking various
variables for ssa-renaming, however, is that you get
if (x_1 < y_1)
x_2 = a, y_2 = b;
x_3 = PHI(x_1, x_2)
y_3 = PHI(y_1, y_2)
==>
x_3 = (x_1 < y_1 ? a : x_1)
y_3 = (x_1 < y_1 ? b : y_1)
Note that x_1 outlives the creation of x_3, which is new to
this transformed code. This mere fact might argue for the
creation of a boolean temporary for the comparison.
r~
next prev parent reply other threads:[~2004-03-16 3:33 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-03-14 10:57 Fw: " Dorit Naishlos
2004-03-14 19:22 ` Andrew Pinski
2004-03-14 22:31 ` Daniel Berlin
2004-03-15 2:29 ` Alex Rosenberg
2004-03-15 22:38 ` Richard Henderson
2004-03-15 23:08 ` Devang Patel
2004-03-15 23:20 ` Richard Henderson
2004-03-16 0:02 ` Devang Patel
2004-03-16 0:07 ` Diego Novillo
2004-03-16 0:45 ` Richard Henderson
2004-03-16 3:02 ` Diego Novillo
2004-03-16 3:33 ` Richard Henderson [this message]
2004-03-16 6:33 ` Devang Patel
-- strict thread matches above, loose matches on Subject: below --
2004-03-16 12:27 Robert Dewar
2004-03-16 18:32 ` Richard Henderson
2004-03-16 22:51 ` Toon Moene
2004-03-16 23:10 ` Joseph S. Myers
2004-03-16 23:28 ` Toon Moene
2004-03-16 23:37 ` Richard Henderson
2004-03-16 23:42 ` Toon Moene
2004-03-16 5:33 Robert Dewar
2004-03-16 6:54 ` Richard Henderson
2004-03-16 3:46 Chris Lattner
2004-03-15 22:42 Robert Dewar
2004-03-15 23:08 ` Richard Henderson
2004-03-04 19:59 Devang Patel
2004-03-04 20:12 ` Andrew Pinski
2004-03-04 20:39 ` Devang Patel
2004-03-04 21:03 ` Richard Henderson
2004-03-05 19:06 ` Devang Patel
2004-03-05 19:17 ` Diego Novillo
2004-03-05 19:22 ` Diego Novillo
2004-03-05 19:28 ` Devang Patel
2004-03-05 19:41 ` Diego Novillo
2004-03-05 19:44 ` Diego Novillo
2004-03-12 18:45 ` Devang Patel
2004-03-13 9:24 ` Zdenek Dvorak
2004-03-13 22:41 ` Devang Patel
2004-03-14 10:59 ` Dorit Naishlos
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=20040316033313.GA5426@redhat.com \
--to=rth@redhat.com \
--cc=dnovillo@redhat.com \
--cc=dpatel@apple.com \
--cc=gcc@gcc.gnu.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 read-only IMAP folder(s) and NNTP newsgroup(s).