public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/18908] Missed folding opportunities with bools
Date: Wed, 30 Apr 2008 20:01:00 -0000 [thread overview]
Message-ID: <20080430200056.11251.qmail@sourceware.org> (raw)
In-Reply-To: <bug-18908-2744@http.gcc.gnu.org/bugzilla/>
------- Comment #12 from pinskia at gcc dot gnu dot org 2008-04-30 20:00 -------
(In reply to comment #11)
> Still f4 looks weird (wrong-code?!) as we fold *p = ~*p to *p = (int) *p != -1;
> I'll open a PR for this.
We decided this was the correct thing as we start out with ~((int)*p) != 0
which then gets folded into (int)*p != -1 and then VRP comes around and says
(int)*p can only be [0,1] so it gets folded into 1.
Chris said the same thing in comment #2.
So f4 is now fixed.
In summary, we still have some issues though:
f1: not fixed (at least on PPC):
lbz 3,0(3)
rlwinm 3,3,0,31,31
blr
That mask should not be there.
f2: fixed:
f2:
lbz 3,0(3)
blr
f3: fixed
f3:
lbz 0,0(3)
xori 0,0,1
stb 0,0(3)
blr
f4: fixed, only a store of 1.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18908
next prev parent reply other threads:[~2008-04-30 20:01 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <bug-18908-2744@http.gcc.gnu.org/bugzilla/>
2005-11-22 20:57 ` pinskia at gcc dot gnu dot org
2005-11-22 21:00 ` pinskia at gcc dot gnu dot org
2005-11-22 22:24 ` pinskia at gcc dot gnu dot org
2005-11-25 5:06 ` pinskia at gcc dot gnu dot org
2006-02-18 17:32 ` pinskia at gcc dot gnu dot org
2006-03-02 14:21 ` pinskia at gcc dot gnu dot org
2008-04-30 19:27 ` rguenth at gcc dot gnu dot org
2008-04-30 20:01 ` pinskia at gcc dot gnu dot org [this message]
[not found] <bug-18908-4@http.gcc.gnu.org/bugzilla/>
2011-07-18 23:23 ` pinskia at gcc dot gnu.org
2011-07-19 8:07 ` rguenth at gcc dot gnu.org
2011-07-19 8:34 ` rguenth at gcc dot gnu.org
2011-07-19 13:28 ` rguenth at gcc dot gnu.org
2011-07-19 13:31 ` rguenth at gcc dot gnu.org
2011-07-20 13:37 ` rguenth at gcc dot gnu.org
2011-07-20 13:37 ` rguenth at gcc dot gnu.org
2004-12-09 17:39 [Bug middle-end/18908] New: " falk at debian dot org
2004-12-09 17:45 ` [Bug middle-end/18908] " pinskia at gcc dot gnu dot org
2005-04-25 20:42 ` sabre at nondot dot org
2005-05-01 18:25 ` pinskia at gcc dot gnu dot org
2005-05-04 1:52 ` pinskia at gcc dot gnu dot org
2005-05-04 18:15 ` pinskia at gcc dot gnu dot org
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=20080430200056.11251.qmail@sourceware.org \
--to=gcc-bugzilla@gcc.gnu.org \
--cc=gcc-bugs@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).