joker-eph wrote: Even "test" passes should be "safe": that is they should trigger based on attributes or other indication on the IR of what the programmer instruct the transformation to do. https://github.com/llvm/llvm-project/pull/148320