Added more debug logging to NaiveDevirtualisation

hernanponcedeleon · Aug 23, 2023 · acd34c9 · acd34c9
1 parent eca403f
commit acd34c9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/NaiveDevirtualisation.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/NaiveDevirtualisation.java
@@ -71,6 +71,7 @@ private void findAndTransformAddressTakenFunctions(Function function, Map<Functi
             applyTransformerToEvent(e, functionCollector);
             for (Function func : functionCollector.collectedFunctions) {
                 if (!func2AddressMap.containsKey(func)) {
+                    logger.debug("Assigned address \"{}\" to function \"{}\"", nextAvailableFuncAddress, func);
                     func2AddressMap.put(func, expressions.makeValue(BigInteger.valueOf(nextAvailableFuncAddress++), ptrType));
                 }
             }
@@ -119,6 +120,8 @@ private void devirtualise(Function function, Map<Function, IValue> func2AddressM
                     throw new MalformedProgramException(error);
                 }
 
+                logger.trace("Devirtualizing call \"{}\" with possible targets: {}", call, possibleTargets);
+
                 final List<Label> caseLabels = new ArrayList<>(possibleTargets.size());
                 final List<CondJump> caseJumps = new ArrayList<>(possibleTargets.size());
                 final Expression funcPtr = call.getCallTarget();