[Mlir-commits] [mlir] [GPUToLLVMSPV] Reject module-scope gpu.barrier during LLVM-SPIRV lowering (PR #187377)

[Mehdi Amini]

joker-eph wrote:

I don't think a verifier is practical for this kind of things, it breaks composability: there isn't a single "function" in MLIR, and when you're in a scf.if for example you're no longer directly in a "function body". Instead lowering needs to be conservative.

https://github.com/llvm/llvm-project/pull/187377