lialan wrote: The discrepancy here being: barriers needs to be defined as a global variable at the LLVM IR level. However those intrinsics do not rely on actually reading a global address in the emitted assembly (can see in the lit tests). https://github.com/llvm/llvm-project/pull/162488