grypp wrote: I'm not sire I understood the OP semantics. Can we please show how the nvvm lowering will look like? Introducing a specific memfence OP would be fine. But we need a RFC if you want to make something complex. https://github.com/llvm/llvm-project/pull/110527