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?
Tamar, can you handle the reordering together with the testsuite changes
(and perhaps formatting fixes in the tree.c routine)?
Jakub
