On Thu, 25 Nov 2021, Jakub Jelinek wrote: > On Thu, Nov 25, 2021 at 10:17:52AM +0100, Richard Biener wrote: > > > Ah I see, sorry I didn't see that rule before, you're right that if this > > > is ordered > > > after it then they can be dropped. > > > > So the patch is OK, possibly with re-ordering the matches. > > I've committed the patch as is because it has been tested that way and I'd > like to avoid dups of that PR flowing in. Even when not reordered, the new > earlier match.pd simplification will not trigger for the lt le gt ge cases > anymore and the later old simplifications will trigger and I'd expect after > that latter simplification the earlier should trigger again because the IL > changed, no?
Yes, the result always is re-folded. > Tamar, can you handle the reordering together with the testsuite changes > (and perhaps formatting fixes in the tree.c routine)?
