================ ---------------- Jianhui-Li wrote: Actually I am not sure. There are mem2reg.mlir under affine, transform, scf dialect, and llvm dialects also. Like affine would use mmeref.load to showcase the promotion. https://github.com/llvm/llvm-project/pull/217793