On Sun, Feb 09, 2025 at 09:24:30AM +0100, Uros Bizjak wrote:
> "For commutative and comparison operators, a constant is always made
> the second operand."
Isn't that just for commutative comparison operators (eq, ne, ordered,
unordered, ltgt, uneq)? Compare itself even isn't RTX_COMPARE at all,
it is RTX_BIN_ARITH, so similar to minus.
And I must say I can't find where simplify-rtx.cc or combine.cc would be
trying to canonicalize that order (note, it would need to change the related
uses of flags as well).
Jakub
