joker-eph wrote: Note: preserving attributes we don't understand is not safe in general (for example one could imagine a "pure" attribute that was added to all loops deemed as not having side effects, which would be invalidated by bufferization) https://github.com/llvm/llvm-project/pull/91236