Add VUID for relaxed control barrier with storage class semantics

Add a new VUID for a relaxed control barrier with non-zero storage class semantics. PR in SPIRV-Tools: KhronosGroup/SPIRV-Tools#5984 Signed-off-by: Natalia Gavrilenko <[email protected]>
natgavrilenko · Feb 11, 2025 · 9c70a22 · 9c70a22
1 parent ccac48a
commit 9c70a22
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/appendices/spirvenv.adoc b/appendices/spirvenv.adoc
@@ -246,6 +246,10 @@ or knowledge of runtime information, such as enabled features.
     code:AcquireRelease, or code:SequentiallyConsistent memory semantics
   * [[VUID-{refpage}-OpMemoryBarrier-04733]]
     code:OpMemoryBarrier must: include at least one {StorageClass}
+  * [[VUID-{refpage}-OpControlBarrier-04649]]
+    If the semantics for code:OpControlBarrier includes at least one {StorageClass},
+    then it must: include one of code:Acquire, code:Release, code:AcquireRelease,
+    or code:SequentiallyConsistent memory semantics
   * [[VUID-{refpage}-OpControlBarrier-04650]]
     If the semantics for code:OpControlBarrier includes one of code:Acquire,
     code:Release, code:AcquireRelease, or code:SequentiallyConsistent memory