joker-eph wrote: It's not quite clear to me why we need a PSA for new canonicalization? Also please make this a test pass: it does not seem to have any future purpose if we agree on a canonicalization. https://github.com/llvm/llvm-project/pull/76108