https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #24 from GCC Commits ---
The releases/gcc-11 branch has been updated by Jakub Jelinek
:
https://gcc.gnu.org/g:c845244dd7afae95689b8dd02a62c18932441583
commit r11-11490-gc845244dd7afae95689b8dd02a62c18932441583
Author: Jakub Jelinek
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #23 from GCC Commits ---
The releases/gcc-12 branch has been updated by Jakub Jelinek
:
https://gcc.gnu.org/g:170c2bba7cb85b3ac9380a7d5a1c6d82b3c6aa63
commit r12-10506-g170c2bba7cb85b3ac9380a7d5a1c6d82b3c6aa63
Author: Jakub Jelinek
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
Jakub Jelinek changed:
What|Removed |Added
CC||shaohua.li at inf dot ethz.ch
--- Comme
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #21 from GCC Commits ---
The releases/gcc-13 branch has been updated by Jakub Jelinek
:
https://gcc.gnu.org/g:432708c306838fe1444da0df7d629a60468c0c73
commit r13-8383-g432708c306838fe1444da0df7d629a60468c0c73
Author: Jakub Jelinek
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
Andrew Pinski changed:
What|Removed |Added
Target Milestone|--- |14.0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
Jakub Jelinek changed:
What|Removed |Added
Resolution|--- |FIXED
Status|NEW
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #19 from GCC Commits ---
The master branch has been updated by Jakub Jelinek :
https://gcc.gnu.org/g:1251d3957de04dc9b023a23c09400217e13deadb
commit r14-7274-g1251d3957de04dc9b023a23c09400217e13deadb
Author: Jakub Jelinek
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #18 from rguenther at suse dot de ---
On Mon, 15 Jan 2024, jakub at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
>
> --- Comment #17 from Jakub Jelinek ---
> (In reply to Richard Biener from comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #17 from Jakub Jelinek ---
(In reply to Richard Biener from comment #15)
> (In reply to Jakub Jelinek from comment #14)
> > Created attachment 57085 [details]
> > gcc14-pr113372.patch
> >
> > The non-propagation workaround which see
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #16 from Michael Matz ---
A general remark: in principle I don't see problems with undoing a little CSE,
as proposed. I.e. for each SSA name use, see if it (trivially, or
conservatively
or optimistically) refers to an address of a t
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #15 from Richard Biener ---
(In reply to Jakub Jelinek from comment #14)
> Created attachment 57085 [details]
> gcc14-pr113372.patch
>
> The non-propagation workaround which seems to fix^H^H^Hworkaround all those
> 4 issues (PR90348
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #14 from Jakub Jelinek ---
Created attachment 57085
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57085&action=edit
gcc14-pr113372.patch
The non-propagation workaround which seems to fix^H^H^Hworkaround all those 4
issues (PR
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #13 from rguenther at suse dot de ---
On Mon, 15 Jan 2024, jakub at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
>
> --- Comment #12 from Jakub Jelinek ---
> (In reply to Richard Biener from comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #12 from Jakub Jelinek ---
(In reply to Richard Biener from comment #11)
> So the key would be to make the object live again after a CLOBBER when such
> address SSA name is used (but before any other explicit mention appears)?
>
> T
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #11 from Richard Biener ---
So the key would be to make the object live again after a CLOBBER when such
address SSA name is used (but before any other explicit mention appears)?
The current algorithm relies on explitic mentions appe
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #10 from Jakub Jelinek ---
Example statements which should be handled during the propagation from the
other PRs:
ivtmp.32_28 = (unsigned long) ∈
_44 = &g + _43;
guess a plain
_1234 = &whatever;
too.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #9 from Jakub Jelinek ---
(In reply to Richard Biener from comment #8)
> I belive we investigated such workarounds but they didn't seem to work?
> Other
> cases are concerned with address uses before loops (I think they start
> life
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #8 from Richard Biener ---
(In reply to Jakub Jelinek from comment #6)
> So, couldn't we attempt at least a partial workaround at add_scope_conflicts
> time?
> I mean, for SSA_NAME uses in statements with some caching try to check if
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #7 from Jakub Jelinek ---
I believe such a change could workaround this PR, PR110115, PR111422, PR90348
among others just from quick search.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #6 from Jakub Jelinek ---
So, couldn't we attempt at least a partial workaround at add_scope_conflicts
time?
I mean, for SSA_NAME uses in statements with some caching try to check if those
SSA_NAMEs may contain addresses (or because
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #5 from rguenther at suse dot de ---
On Mon, 15 Jan 2024, jakub at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
>
> Jakub Jelinek changed:
>
>What|Removed |Added
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #4 from Jakub Jelinek ---
Ah, so it really is the classical stack conflicts vs. ADDR_EXPR problem.
Before dom3 we have
_2 = &bitint.6 + 8;
ivtmp.40_3 = (unsigned long) _2;
from ivopts above the loop using bitint.6 and
_44 = &bi
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
Jakub Jelinek changed:
What|Removed |Added
CC||matz at gcc dot gnu.org
--- Comment #3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
Jakub Jelinek changed:
What|Removed |Added
CC||rguenth at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
Andrew Pinski changed:
What|Removed |Added
Last reconfirmed||2024-01-13
Status|UNCONFIRM
25 matches
Mail list logo
