joker-eph wrote: To me something like `OperationMoveOpInterface` looks overly "magic" and unfortunately disconnected from the usual semantics modeling. Having this into core MLIR would be problematic to me in this form right now. https://github.com/llvm/llvm-project/pull/175108