[Mlir-commits] [clang] [llvm] [mlir] [AMDGPU] Implement AsyncMark Stages (PR #220442)

[Krzysztof Drewniak]

================
@@ -49,9 +104,9 @@ not related in *program-order* with any other operations from that thread. But
 the thread can use an asyncmark to ensure that the async operation is
 *completed-at* some later operation.
 
-An async operation `A` *initiated-by* an instruction `I` is *completed-at* some
-`wait.asyncmark()` operation `Y` if there exists an `asyncmark()` operation `X`
-such that:
+An async operation `A`, *initiated-by* an instruction `I` is *completed-at* some
+`wait.asyncmark()` operation `Y` if there exists an `asyncmark()` operation `X`:
+
----------------
krzysz00 wrote:

... This needs the condition that the mark and wait both have `B`'s stage in their masks

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