add REL/ACQ to EF and XF

hernanponcedeleon · Sep 27, 2024 · 0705298 · 0705298
1 parent 68adc51
commit 0705298
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...agnan/src/main/java/com/dat3m/dartagnan/program/processing/compilation/VisitorOpenCL.java b/...agnan/src/main/java/com/dat3m/dartagnan/program/processing/compilation/VisitorOpenCL.java
@@ -102,9 +102,9 @@ public List<Event> visitAtomicThreadFence(AtomicThreadFence e) {
     @Override
     public List<Event> visitOpenCLBarrier(OpenCLBarrier e) {
         Event entryFence = EventFactory.newControlBarrier(e.getName() + "_entry", e.getId());
-        entryFence.addTags(Tag.OpenCL.ENTRY_FENCE);
+        entryFence.addTags(Tag.OpenCL.ENTRY_FENCE, C11.MO_RELEASE);
         Event exitFence = EventFactory.newControlBarrier(e.getName() + "_exit", e.getId());
-        exitFence.addTags(Tag.OpenCL.EXIT_FENCE);
+        exitFence.addTags(Tag.OpenCL.EXIT_FENCE, C11.MO_ACQUIRE);
         return tagList(e, eventSequence(
                 entryFence,
                 newOpenCLBarrier(e.getName(), e.getId()),