goldsteinn wrote: If we get this in, any reason to add support for also directly canonicalizing the pattern (i.e: https://reviews.llvm.org/D154010) or is that gratuitous? https://github.com/llvm/llvm-project/pull/71238