joker-eph wrote: > Can we clarify and document semantics of these while we are here? Right: the canonicalization is only incorrect if the op semantics forbids the transformation, which it does not clearly right now. https://github.com/llvm/llvm-project/pull/173271