arsenm wrote: I would not assume these are directly legal. I think the harm of trying to have default hard-to-opt-out of rules is greater than the savings of just having a list of explicit always legal operations https://github.com/llvm/llvm-project/pull/153545