Re: [PATCH] tree-optimization/103721 - Only add equivalencies that are still valid.

2022-01-20 Thread Richard Biener via Gcc-patches
On Wed, Jan 19, 2022 at 7:41 PM Andrew MacLeod wrote: > > On 1/19/22 04:33, Richard Biener wrote: > > On Wed, Jan 19, 2022 at 2:37 AM Andrew MacLeod via Gcc-patches > > wrote: > >> > >> OK for trunk? > > OK. I don't quite understand how what you describe above works, it sounds > > a bit odd with

Re: [PATCH] tree-optimization/103721 - Only add equivalencies that are still valid.

2022-01-19 Thread Andrew MacLeod via Gcc-patches
On 1/19/22 04:33, Richard Biener wrote: On Wed, Jan 19, 2022 at 2:37 AM Andrew MacLeod via Gcc-patches wrote: OK for trunk? OK. I don't quite understand how what you describe above works, it sounds a bit odd with respect to the idea that equivalences should be transitive but The transitive c

Re: [PATCH] tree-optimization/103721 - Only add equivalencies that are still valid.

2022-01-19 Thread Richard Biener via Gcc-patches
On Wed, Jan 19, 2022 at 2:37 AM Andrew MacLeod via Gcc-patches wrote: > > This patch happens to fix the PR, but I believe it only papers over a > deeper issue that is uncovered in PR104067. > > That said, examination of the issue uncovered an oversight in the way > equivalence sets are merged by t

[PATCH] tree-optimization/103721 - Only add equivalencies that are still valid.

2022-01-18 Thread Andrew MacLeod via Gcc-patches
This patch happens to fix the PR, but I believe it only papers over a deeper issue that is uncovered in PR104067. That said, examination of the issue uncovered an oversight in the way equivalence sets are merged by the equivalence oracle.  I have not seen an instance via the ranger, but I susp