https://github.com/gysit commented: I did a first pass an I wonder if we need the operation. Couldn't we just add these attributes to the module? That would possibly simplify the PR quite a bit. https://github.com/llvm/llvm-project/pull/130679