use more meaningful name for dummy register

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Sep 27, 2024 · 7642128 · 7642128
1 parent efa4b9c
commit 7642128
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/ReplaceZeroRegisters.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/ReplaceZeroRegisters.java
@@ -10,7 +10,7 @@
 import com.dat3m.dartagnan.program.event.core.Local;
 
 /*
-    This pass replaces every RegWritter
+    This pass replaces every RegWriter
         zr <- e
     targeting a zero register to
         dummy <- e; zr <- 0
@@ -28,7 +28,7 @@ public void run(Function function) {
         for (RegWriter rw : function.getEvents(RegWriter.class)) {
             if (rw.getResultRegister().isZeroRegister()) {
                 Register zr = rw.getResultRegister();
-                Register dummy = rw.getThread().newRegister(zr.getType());
+                Register dummy = rw.getThread().newRegister("__zeroRegDummy_" + zr.getName(), zr.getType());
                 rw.setResultRegister(dummy);
                 rw.insertAfter(EventFactory.newLocal(zr,
                         ExpressionFactory.getInstance().makeZero((IntegerType) zr.getType())));