Use newFenceWithNameTag for LKMM compilation

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
hernanponcedeleon · Sep 19, 2023 · f98f84d · f98f84d
1 parent dc50a54
commit f98f84d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/event/EventFactory.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/event/EventFactory.java
@@ -110,7 +110,7 @@ public static GenericVisibleEvent newFence(String name) {
         return new GenericVisibleEvent(name, Tag.FENCE);
     }
 
-    private static GenericVisibleEvent newFenceWithNameTag(String name) {
+    public static GenericVisibleEvent newFenceWithNameTag(String name) {
         return new GenericVisibleEvent(name, name, Tag.FENCE);
     }
 

diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/compilation/VisitorLKMM.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/compilation/VisitorLKMM.java
@@ -154,7 +154,7 @@ public List<Event> visitLKMMOpReturn(LKMMOpReturn e) {
     @Override
     public List<Event> visitLKMMFence(LKMMFence e) {
         return eventSequence(
-                newFence(e.getName())
+                newFenceWithNameTag(e.getName())
         );
     }
 
@@ -225,7 +225,7 @@ public List<Event> visitLKMMUnlock(LKMMUnlock e) {
      */
 
     private static Event newCoreMemoryBarrier() {
-        return newFence(Tag.Linux.MO_MB);
+        return newFenceWithNameTag(Tag.Linux.MO_MB);
     }
 
     private static Load newCoreLoad(Register reg, Expression addr, String mo) {