From 7642128d4160d326439285df07a15a0cbe7e6b23 Mon Sep 17 00:00:00 2001 From: Hernan Ponce de Leon Date: Sat, 28 Sep 2024 02:02:52 +0800 Subject: [PATCH] use more meaningful name for dummy register Signed-off-by: Hernan Ponce de Leon --- .../dartagnan/program/processing/ReplaceZeroRegisters.java | 4 ++-- 1 file changed, 2 insertions(+), 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 index ab9c43d320..ade91a3bd6 100644 --- 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())));