public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/106950] New: Missed PRE full redundancy without post-loop use
@ 2022-09-15 12:45 rguenth at gcc dot gnu.org
2022-09-22 11:12 ` [Bug tree-optimization/106950] " rguenth at gcc dot gnu.org
0 siblings, 1 reply; 2+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-09-15 12:45 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106950
Bug ID: 106950
Summary: Missed PRE full redundancy without post-loop use
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: rguenth at gcc dot gnu.org
Target Milestone: ---
when we have the situation of PR106922, aka g++.dg/tree-ssa/pr106922.C which is
XFAILed on !lp64 because of this there's
mem = 0;
do
{
if (mem)
mem = 0;
if (mem) // as 'char' instead of 'bool', maybe relevant
bar ();
if (i++ != n)
break;
}
while (1);
.. = mem;
with the use of 'mem' after the loop we get that antic-in in the loop
exit condition block and eventually figure the full redundancy in
the conditional redundant set to zero during PRE insertion. When that
'mem' after the loop is _not_ there this isn't triggered (possibly
because of the 'char' vs. 'bool' here, but then one can eventually
elide the whole if (mem) bar () code).
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-09-22 11:12 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-09-15 12:45 [Bug tree-optimization/106950] New: Missed PRE full redundancy without post-loop use rguenth at gcc dot gnu.org
2022-09-22 11:12 ` [Bug tree-optimization/106950] " rguenth at gcc dot gnu.org
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).