D68408 proposes to greatly improve our negation sinking abilities.
But in current canonicalization, we produce sub A, zext(B),
which we will consider non-canonical and try to sink that negation,
undoing the existing canonicalization.
So unless we explicitly stop producing previous canonicalization,
we will have two conflicting folds, and will end up endlessly looping.
This inverts canonicalization, and adds back the obvious fold
that we'd miss:
- sub [nsw] Op0, sext/zext (bool Y) -> add [nsw] Op0, zext/sext (bool Y) https://rise4fun.com/Alive/xx4
- sext(bool) + C -> bool ? C - 1 : C https://rise4fun.com/Alive/fBl
It is obvious that @ossfuzz_9880() / @lshr_out_of_range()/@ashr_out_of_range() (oss-fuzz 4871)
are no longer folded as much, though it isn't obvious whether those failures are important?