Add Liveness for PTX and Vulkan

dartagnan/src/main/antlr4/LitmusPTX.g4

@@ -157,6 +157,7 @@ barrier
 atomInstruction
     :   atomOp
     |   atomCAS
+    |   atomExchange
     ;
 
 atomOp
@@ -167,6 +168,10 @@ atomCAS
     :   atom Period mo Period scope Period Cas register Comma location Comma value Comma value
     ;
 
+atomExchange
+    :   atom Period mo Period scope Period Exch register Comma location Comma value
+    ;
+
 redInstruction
     :   red Period mo Period scope Period operation location Comma value
     ;
@@ -317,6 +322,7 @@ Or      :   'or';
 Xor     :   'xor';
 
 Cas     :   'cas';
+Exch    :   'exch';
 
 Proxy       :   'proxy';
 Generic     :   'generic';

dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLitmusPTX.java

@@ -18,6 +18,7 @@
 import com.dat3m.dartagnan.program.event.EventFactory;
 import com.dat3m.dartagnan.program.event.Tag;
 import com.dat3m.dartagnan.program.event.arch.ptx.PTXAtomCAS;
+import com.dat3m.dartagnan.program.event.arch.ptx.PTXAtomExch;
 import com.dat3m.dartagnan.program.event.arch.ptx.PTXAtomOp;
 import com.dat3m.dartagnan.program.event.arch.ptx.PTXRedOp;
 import com.dat3m.dartagnan.program.event.core.*;

dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLitmusVulkan.java

@@ -284,7 +284,6 @@ public Object visitRmwValue(LitmusVulkanParser.RmwValueContext ctx) {
         Register register = (Register) ctx.register().accept(this);
         MemoryObject location = programBuilder.getOrNewMemoryObject(ctx.location().getText());
         Expression value = (Expression) ctx.value().accept(this);
-        Boolean atomic = true; // RMW is always atomic
         String mo = (ctx.mo() != null) ? ctx.mo().content : "";
         String avvis = (ctx.avvis() != null) ? ctx.avvis().content : "";
         String scope = (ctx.scope() != null) ? ctx.scope().content : "";
@@ -295,7 +294,7 @@ public Object visitRmwValue(LitmusVulkanParser.RmwValueContext ctx) {
         if (!avvis.isEmpty()) {
             rmw.addTags(avvis);
         }
-        tagControl(rmw, atomic, mo, avvis, scope, storageClass, storageClassSemantics, avvisSemantics);
+        tagControl(rmw, true, mo, avvis, scope, storageClass, storageClassSemantics, avvisSemantics);
         return programBuilder.addChild(mainThread, rmw);
     }
 
@@ -304,7 +303,6 @@ public Object visitRmwOp(LitmusVulkanParser.RmwOpContext ctx) {
         Register register = (Register) ctx.register().accept(this);
         MemoryObject location = programBuilder.getOrNewMemoryObject(ctx.location().getText());
         Expression value = (Expression) ctx.value().accept(this);
-        Boolean atomic = true; // RMW is always atomic
         String mo = (ctx.mo() != null) ? ctx.mo().content : "";
         String avvis = (ctx.avvis() != null) ? ctx.avvis().content : "";
         String scope = (ctx.scope() != null) ? ctx.scope().content : "";
@@ -316,7 +314,7 @@ public Object visitRmwOp(LitmusVulkanParser.RmwOpContext ctx) {
         if (!avvis.isEmpty()) {
             rmw.addTags(avvis);
         }
-        tagControl(rmw, atomic, mo, avvis, scope, storageClass, storageClassSemantics, avvisSemantics);
+        tagControl(rmw, true, mo, avvis, scope, storageClass, storageClassSemantics, avvisSemantics);
         return programBuilder.addChild(mainThread, rmw);
     }
 

dartagnan/src/main/java/com/dat3m/dartagnan/program/event/EventFactory.java

@@ -12,6 +12,7 @@
 import com.dat3m.dartagnan.program.event.arch.StoreExclusive;
 import com.dat3m.dartagnan.program.event.arch.lisa.LISARMW;
 import com.dat3m.dartagnan.program.event.arch.ptx.PTXAtomCAS;
+import com.dat3m.dartagnan.program.event.arch.ptx.PTXAtomExch;
 import com.dat3m.dartagnan.program.event.arch.ptx.PTXAtomOp;
 import com.dat3m.dartagnan.program.event.arch.vulkan.VulkanRMWOp;
 import com.dat3m.dartagnan.program.event.core.FenceWithId;
@@ -707,6 +708,13 @@ public static PTXAtomCAS newAtomCAS(Expression address, Register register, Expre
             return atom;
         }
 
+        public static PTXAtomExch newAtomExch(Expression address, Register register,
+                                            Expression value, String mo, String scope) {
+            PTXAtomExch atom = new PTXAtomExch(register, address, value, mo);
+            atom.addTags(scope);
+            return atom;
+        }
+
         public static PTXRedOp newRedOp(Expression address, Expression value,
                                         IOpBin op, String mo, String scope) {
             // PTX (currently) only generates memory orders ACQ_REL and RLX for red.

dartagnan/src/main/java/com/dat3m/dartagnan/program/event/arch/ptx/PTXAtomExch.java

@@ -0,0 +1,33 @@
+package com.dat3m.dartagnan.program.event.arch.ptx;
+
+import com.dat3m.dartagnan.expression.Expression;
+import com.dat3m.dartagnan.program.Register;
+import com.dat3m.dartagnan.program.event.common.RMWXchgBase;
+import com.dat3m.dartagnan.program.event.visitors.EventVisitor;
+
+public class PTXAtomExch extends RMWXchgBase {
+
+    public PTXAtomExch(Register register, Expression address, Expression value, String mo) {
+        super(register, address, value, mo);
+    }
+
+    protected PTXAtomExch(PTXAtomExch other) {
+        super(other);
+    }
+
+    @Override
+    public String defaultString() {
+        return String.format("%s := atom_exch_%s(%s, %s)", resultRegister, mo, storeValue, address);
+    }
+
+    @Override
+    public PTXAtomExch getCopy(){
+        return new PTXAtomExch(this);
+    }
+
+    @Override
+    public <T> T accept(EventVisitor<T> visitor) {
+        return visitor.visitPtxAtomExch(this);
+    }
+
+}

dartagnan/src/main/java/com/dat3m/dartagnan/program/event/visitors/EventVisitor.java

@@ -102,6 +102,7 @@ public interface EventVisitor<T> {
 	default T visitPtxRedOp(PTXRedOp e) { return visitMemEvent(e); }
 	default T visitPtxAtomOp(PTXAtomOp e) { return visitMemEvent(e); }
 	default T visitPtxAtomCAS(PTXAtomCAS e) { return visitMemEvent(e); }
+	default T visitPtxAtomExch(PTXAtomExch e) { return visitMemEvent(e); }
     default T visitVulkanRMW(VulkanRMW e) { return visitMemEvent(e); }
     default T visitVulkanRMWOp(VulkanRMWOp e) { return visitMemEvent(e); }
 }

dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/compilation/VisitorPTX.java

@@ -5,6 +5,7 @@
 import com.dat3m.dartagnan.program.Register;
 import com.dat3m.dartagnan.program.event.Tag;
 import com.dat3m.dartagnan.program.event.arch.ptx.PTXAtomCAS;
+import com.dat3m.dartagnan.program.event.arch.ptx.PTXAtomExch;
 import com.dat3m.dartagnan.program.event.arch.ptx.PTXAtomOp;
 import com.dat3m.dartagnan.program.event.arch.ptx.PTXRedOp;
 import com.dat3m.dartagnan.program.event.core.Event;
@@ -59,6 +60,24 @@ public List<Event> visitPtxAtomCAS(PTXAtomCAS e) {
                 store);
     }
 
+    // PTX Exch semantics
+    @Override
+    public List<Event> visitPtxAtomExch(PTXAtomExch e) {
+        Register resultRegister = e.getResultRegister();
+        String mo = e.getMo();
+        Expression address = e.getAddress();
+        Register dummy = e.getFunction().newRegister(resultRegister.getType());
+        Load load = newRMWLoadWithMo(dummy, address, Tag.PTX.loadMO(mo));
+        RMWStore store = newRMWStoreWithMo(load, address, e.getValue(), Tag.PTX.storeMO(mo));
+        this.propagateTags(e, load);
+        this.propagateTags(e, store);
+        return eventSequence(
+                load,
+                store,
+                newLocal(resultRegister, dummy)
+        );
+    }
+
     @Override
     public List<Event> visitPtxRedOp(PTXRedOp e) {
         Expression address = e.getAddress();

dartagnan/src/test/java/com/dat3m/dartagnan/litmus/LitmusPTXv7_5LivenessTest.java

@@ -0,0 +1,41 @@
+package com.dat3m.dartagnan.litmus;
+
+import com.dat3m.dartagnan.configuration.Arch;
+import com.dat3m.dartagnan.configuration.Property;
+import com.dat3m.dartagnan.utils.Result;
+import com.dat3m.dartagnan.utils.rules.Provider;
+import com.dat3m.dartagnan.utils.rules.Providers;
+import com.dat3m.dartagnan.wmm.Wmm;
+import org.junit.runner.RunWith;
+import org.junit.runners.Parameterized;
+
+import java.io.IOException;
+import java.util.EnumSet;
+
+@RunWith(Parameterized.class)
+public class LitmusPTXv7_5LivenessTest extends AbstractLitmusTest {
+
+    public LitmusPTXv7_5LivenessTest(String path, Result expected) {
+        super(path, expected);
+    }
+
+    @Parameterized.Parameters(name = "{index}: {0}, {1}")
+    public static Iterable<Object[]> data() throws IOException {
+        return buildLitmusTests("litmus/PTX/", "PTXv7_5-Liveness");
+    }
+
+    @Override
+    protected Provider<Arch> getTargetProvider() {
+        return () -> Arch.PTX;
+    }
+
+    @Override
+    protected Provider<EnumSet<Property>> getPropertyProvider() {
+        return Provider.fromSupplier(() -> EnumSet.of(Property.LIVENESS));
+    }
+
+    @Override
+    protected Provider<Wmm> getWmmProvider() {
+        return Providers.createWmmFromName(() -> "ptx-v7.5");
+    }
+}

dartagnan/src/test/java/com/dat3m/dartagnan/litmus/LitmusVulkanLivenessTest.java

@@ -0,0 +1,34 @@
+package com.dat3m.dartagnan.litmus;
+
+import com.dat3m.dartagnan.configuration.Arch;
+import com.dat3m.dartagnan.configuration.Property;
+import com.dat3m.dartagnan.utils.Result;
+import com.dat3m.dartagnan.utils.rules.Provider;
+import org.junit.runner.RunWith;
+import org.junit.runners.Parameterized;
+
+import java.io.IOException;
+import java.util.EnumSet;
+
+@RunWith(Parameterized.class)
+public class LitmusVulkanLivenessTest extends AbstractLitmusTest {
+
+    public LitmusVulkanLivenessTest(String path, Result expected) {
+        super(path, expected);
+    }
+
+    @Parameterized.Parameters(name = "{index}: {0}, {1}")
+    public static Iterable<Object[]> data() throws IOException {
+        return buildLitmusTests("litmus/VULKAN/", "VULKAN-Liveness");
+    }
+
+    @Override
+    protected Provider<Arch> getTargetProvider() {
+        return () -> Arch.VULKAN;
+    }
+
+    @Override
+    protected Provider<EnumSet<Property>> getPropertyProvider() {
+        return Provider.fromSupplier(() -> EnumSet.of(Property.LIVENESS));
+    }
+}

dartagnan/src/test/resources/PTXv7_5-Liveness-expected.csv

@@ -0,0 +1,70 @@
+litmus/PTX/Liveness/2_threads_2_instructions/4_simple.litmus,1
+litmus/PTX/Liveness/2_threads_2_instructions/5_simple.litmus,1
+litmus/PTX/Liveness/2_threads_3_instructions/4_simple.litmus,1
+litmus/PTX/Liveness/2_threads_3_instructions/10_simple.litmus,1
+litmus/PTX/Liveness/2_threads_3_instructions/14_simple.litmus,1
+litmus/PTX/Liveness/2_threads_3_instructions/19_simple.litmus,1
+litmus/PTX/Liveness/2_threads_3_instructions/22_simple.litmus,1
+litmus/PTX/Liveness/2_threads_3_instructions/25_simple.litmus,1
+litmus/PTX/Liveness/2_threads_3_instructions/30_simple.litmus,1
+litmus/PTX/Liveness/2_threads_3_instructions/46_simple.litmus,1
+litmus/PTX/Liveness/2_threads_3_instructions/50_simple.litmus,1
+litmus/PTX/Liveness/2_threads_3_instructions/58_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/30_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/31_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/46_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/47_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/48_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/49_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/66_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/67_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/68_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/69_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/74_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/75_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/76_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/77_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/96_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/97_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/102_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/103_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/120_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/121_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/124_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/125_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/126_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/127_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/136_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/137_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/138_simple.litmus,1
+litmus/PTX/Liveness/2_threads_4_instructions/139_simple.litmus,1
+litmus/PTX/Liveness/3_threads_3_instructions/9_simple.litmus,1
+litmus/PTX/Liveness/3_threads_3_instructions/10_simple.litmus,1
+litmus/PTX/Liveness/3_threads_3_instructions/11_simple.litmus,1
+litmus/PTX/Liveness/3_threads_3_instructions/18_simple.litmus,1
+litmus/PTX/Liveness/3_threads_3_instructions/19_simple.litmus,1
+litmus/PTX/Liveness/3_threads_3_instructions/20_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/0_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/1_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/2_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/3_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/4_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/5_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/6_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/7_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/8_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/9_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/10_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/11_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/87_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/88_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/89_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/90_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/91_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/92_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/99_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/100_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/101_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/102_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/103_simple.litmus,1
+litmus/PTX/Liveness/3_threads_4_instructions/104_simple.litmus,1

dartagnan/src/test/resources/PTXv7_5-expected.csv

@@ -120,6 +120,8 @@ litmus/PTX/Manual/MP-dlb-no-fence-2.litmus,1
 litmus/PTX/Manual/LB-dlb.litmus,0
 litmus/PTX/Manual/LB-dlb-no-fence-1.litmus,1
 litmus/PTX/Manual/LB-dlb-no-fence-2.litmus,1
+litmus/PTX/Manual/SL-cas.litmus,1
+litmus/PTX/Manual/SL-future.litmus,1
 litmus/PTX/Nvidia/SB+bar-dyn-reg-const.litmus,0
 litmus/PTX/Nvidia/SB+bar-sta-reg-const.litmus,1
 litmus/PTX/Manual/CoWW-weak.litmus,1

dartagnan/src/test/resources/VULKAN-Liveness-expected.csv

@@ -0,0 +1,70 @@
+litmus/VULKAN/Liveness/2_threads_2_instructions/4_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_2_instructions/5_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_3_instructions/4_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_3_instructions/10_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_3_instructions/14_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_3_instructions/19_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_3_instructions/22_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_3_instructions/25_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_3_instructions/30_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_3_instructions/46_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_3_instructions/50_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_3_instructions/58_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/30_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/31_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/46_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/47_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/48_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/49_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/66_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/67_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/68_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/69_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/74_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/75_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/76_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/77_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/96_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/97_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/102_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/103_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/120_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/121_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/124_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/125_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/126_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/127_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/136_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/137_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/138_simple.litmus,1
+litmus/VULKAN/Liveness/2_threads_4_instructions/139_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_3_instructions/9_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_3_instructions/10_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_3_instructions/11_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_3_instructions/18_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_3_instructions/19_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_3_instructions/20_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/0_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/1_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/2_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/3_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/4_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/5_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/6_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/7_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/8_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/9_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/10_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/11_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/87_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/88_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/89_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/90_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/91_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/92_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/99_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/100_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/101_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/102_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/103_simple.litmus,1
+litmus/VULKAN/Liveness/3_threads_4_instructions/104_simple.litmus,1