Add OOTA test for vulkan (#588)

Signed-off-by: Hernan Ponce de Leon <[email protected]> Co-authored-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Dec 9, 2023 · c73aa37 · c73aa37
1 parent ebbb33f
commit c73aa37
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 0 deletions.
diff --git a/dartagnan/src/test/resources/VULKAN-CK-expected.csv b/dartagnan/src/test/resources/VULKAN-CK-expected.csv
@@ -236,3 +236,4 @@ litmus/VULKAN/Manual/PC-bar-acq-rel-nonpriv.litmus,1
 litmus/VULKAN/Manual/PC-bar-acq-rel-priv.litmus,1
 litmus/VULKAN/Manual/PC-bar-atom.litmus,1
 litmus/VULKAN/Manual/PC-bar-nonpriv.litmus,1
+litmus/VULKAN/Manual/OOTA.litmus,1
diff --git a/dartagnan/src/test/resources/VULKAN-DR-expected.csv b/dartagnan/src/test/resources/VULKAN-DR-expected.csv
@@ -91,3 +91,4 @@ litmus/VULKAN/Manual/PC-bar-acq-rel-nonpriv.litmus,1
 litmus/VULKAN/Manual/PC-bar-acq-rel-priv.litmus,0
 litmus/VULKAN/Manual/PC-bar-atom.litmus,1
 litmus/VULKAN/Manual/PC-bar-nonpriv.litmus,0
+litmus/VULKAN/Manual/OOTA.litmus,1
diff --git a/dartagnan/src/test/resources/VULKAN-expected.csv b/dartagnan/src/test/resources/VULKAN-expected.csv
@@ -94,3 +94,4 @@ litmus/VULKAN/Manual/PC-bar-acq-rel-nonpriv.litmus,1
 litmus/VULKAN/Manual/PC-bar-acq-rel-priv.litmus,0
 litmus/VULKAN/Manual/PC-bar-atom.litmus,0
 litmus/VULKAN/Manual/PC-bar-nonpriv.litmus,0
+litmus/VULKAN/Manual/OOTA.litmus,1
diff --git a/litmus/VULKAN/Manual/OOTA.litmus b/litmus/VULKAN/Manual/OOTA.litmus
@@ -0,0 +1,10 @@
+Vulkan OOTA
+{
+x=0; y=0;
+P0:r0=0; P1:r1=0;
+}
+ P0@sg 0, wg 0, qf 0  | P1@sg 0, wg 0, qf 0  ;
+ ld.atom.wg.sc0 r0, x | ld.atom.wg.sc0 r1, y ;
+ st.atom.wg.sc0 y, r0 | st.atom.wg.sc0 x, r1 ;
+exists
+(P0:r0 == 42 /\ P1:r1 == 42)