Re: [PATCH][gcc13] PR tree-optimization/117287 - Backport new assume implementation

2025-05-04 Thread Andrew MacLeod
And now another PR was opened  (120887).  so perhaps I should apply it. If I don't hear a dissenting opinion, I'll Apply it monday PM to GCC 13. It is completely self contained to uses of complex ASSUME's as Jakub suggests it is... Andrew On 3/28/25 05:25, Jakub Jelinek wrote: On Fri, Mar 2

Re: [PATCH][gcc13] PR tree-optimization/117287 - Backport new assume implementation

2025-04-29 Thread Andrew MacLeod
On 3/28/25 05:25, Jakub Jelinek wrote: On Fri, Mar 28, 2025 at 08:12:35AM +0100, Richard Biener wrote: On Thu, Mar 27, 2025 at 8:14 PM Andrew MacLeod wrote: This patch backports the ASSUME support that was rewritten in GCC 15. Its slightly more complicated than the port to GCC 14 was in that

Re: [PATCH][gcc13] PR tree-optimization/117287 - Backport new assume implementation

2025-03-28 Thread Jakub Jelinek
On Fri, Mar 28, 2025 at 08:12:35AM +0100, Richard Biener wrote: > On Thu, Mar 27, 2025 at 8:14 PM Andrew MacLeod wrote: > > > > This patch backports the ASSUME support that was rewritten in GCC 15. > > > > Its slightly more complicated than the port to GCC 14 was in that a few > > classes have bee

Re: [PATCH][gcc13] PR tree-optimization/117287 - Backport new assume implementation

2025-03-28 Thread Richard Biener
On Thu, Mar 27, 2025 at 8:14 PM Andrew MacLeod wrote: > > This patch backports the ASSUME support that was rewritten in GCC 15. > > Its slightly more complicated than the port to GCC 14 was in that a few > classes have been rewritten. I've isolated them all to tree-assume.cc > which contains the p

[PATCH][gcc13] PR tree-optimization/117287 - Backport new assume implementation

2025-03-27 Thread Andrew MacLeod
This patch backports the ASSUME support that was rewritten in GCC 15. Its slightly more complicated than the port to GCC 14 was in that a few classes have been rewritten. I've isolated them all to tree-assume.cc which contains the pass. It has to also bring in the ssa_cache and lazy_ssa_cache