math-fehr wrote: Actually, would it not make more sense to remove the faulty canonicalization pattern, rather than remove `index` support here? As I am not sure if people might have some uses for `index` in these operations. https://github.com/llvm/llvm-project/pull/85973