Add VUID for relaxed control barrier with storage class semantics (KhronosGroup#2495)

* 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]>

* Remove hardcoded VUID

Signed-off-by: Natalia Gavrilenko <[email protected]>

---------

Signed-off-by: Natalia Gavrilenko <[email protected]>

Author: natgavrilenko

appendices/spirvenv.adoc

@@ -246,6 +246,9 @@ 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}
+  * 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