https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #17 from Andrew Pinski ---
(In reply to Andrew Pinski from comment #16)
> (In reply to Richard Biener from comment #15)
> > Created attachment 55155 [details]
> > patch unfolding such PHIs
> >
> > Updated PHI unfolding patch.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #16 from Andrew Pinski ---
(In reply to Richard Biener from comment #15)
> Created attachment 55155 [details]
> patch unfolding such PHIs
>
> Updated PHI unfolding patch. Tests fine besides mentioned diagnostic
> regressions.
I
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
Richard Biener changed:
What|Removed |Added
Assignee|rguenth at gcc dot gnu.org |unassigned at gcc dot
gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
Richard Biener changed:
What|Removed |Added
Attachment #55047|0 |1
is obsolete|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #14 from Richard Biener ---
So one issue with the unfolding of PHIs is that for example
gcc.dg/warn-sprintf-no-nul.c has
const char a2[][3] = {
"", "1", "12", "123", "123\000"
};
and for
# str_1 = PHI <[2], [3]>
we can
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #13 from CVS Commits ---
The master branch has been updated by Richard Biener :
https://gcc.gnu.org/g:560a3e35fe01c499bd5b1e95ddc4c3e958cf5abd
commit r14-785-g560a3e35fe01c499bd5b1e95ddc4c3e958cf5abd
Author: Richard Biener
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
Richard Biener changed:
What|Removed |Added
Status|NEW |ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #11 from Richard Biener ---
Created attachment 55049
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55049=edit
patch for extra pointer difference patterns
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #10 from Richard Biener ---
Created attachment 55048
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55048=edit
patch for niter expression expansion
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #9 from Richard Biener ---
So the first pass that makes things difficult is reassoc which transforms
_51 = (unsigned long) [(void *) + 2B];
_4 = (unsigned long) __i_44;
_65 = _51 - _4;
_48 = _65 + 18446744073709551615;
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #8 from Richard Biener ---
Created attachment 55047
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55047=edit
patch unfolding such PHIs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #7 from rguenther at suse dot de ---
On Thu, 11 May 2023, aldyh at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
>
> --- Comment #6 from Aldy Hernandez ---
>
> > but the issue with the PHI node
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #6 from Aldy Hernandez ---
> but the issue with the PHI node remains unless we sink the part
> (but there's many uses of __i_14). I guess it's still the "easiest"
> way to get rangers help. Aka make
>
> # __i_14' = PHI <1(10),
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #5 from Richard Biener ---
DOMs scoped tables do not help. The crux is really the PHI:
__i_14 = PHI < [(void *) + 1B](10),
> [(void *) + 2B](9)>
there's no single value that exposes + offset.
For
_4 = (unsigned long)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #4 from Aldy Hernandez ---
BTW, another reason I had to drop the prange work was because IPA was doing
their own thing with ranges outside of the irange API, so it was harder to
separate things out. So really, all this stuff was
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #3 from Aldy Hernandez ---
(In reply to Richard Biener from comment #2)
> Confirmed. This is a missed optimization, we fail to optimize the loop guard
>
> [local count: 329643239]:
> _4 = (unsigned long) [(void *) + 2B];
> _6 =
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
Richard Biener changed:
What|Removed |Added
Ever confirmed|0 |1
CC|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109791
--- Comment #1 from Andrew Pinski ---
The exact command line for a generic x86_64-linux-gnu compiler:
-O2 -fvect-cost-model=dynamic -Wstringop-overflow -D_GLIBCXX_USE_CXX11_ABI=0
-march=x86-64-v2
18 matches
Mail list logo
