kparzysz wrote: Do we use canonical loop ops for `do` or `loop`? If not now, are we going to? This looks good for loop transformation ops, but I'm wondering if the canonical loop ops can be used beyond those. https://github.com/llvm/llvm-project/pull/150593