Move pass after compilation

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Sep 27, 2024 · 1352dd5 · 1352dd5
1 parent 7642128
commit 1352dd5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/ProcessingManager.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/ProcessingManager.java
@@ -85,7 +85,6 @@ private ProcessingManager(Configuration config) throws InvalidConfigurationExcep
         final FunctionProcessor removeDeadJumps = RemoveDeadCondJumps.fromConfig(config);
         programProcessors.addAll(Arrays.asList(
                 printBeforeProcessing ? DebugPrint.withHeader("Before processing", Printer.Mode.ALL) : null,
-                ProgramProcessor.fromFunctionProcessor(ReplaceZeroRegisters.newInstance(), Target.ALL, true),
                 intrinsics.markIntrinsicsPass(),
                 GEPToAddition.newInstance(),
                 NaiveDevirtualisation.newInstance(),
@@ -104,6 +103,7 @@ private ProcessingManager(Configuration config) throws InvalidConfigurationExcep
                 RemoveDeadFunctions.newInstance(),
                 printAfterSimplification ? DebugPrint.withHeader("After simplification", Printer.Mode.ALL) : null,
                 Compilation.fromConfig(config), // We keep compilation global for now
+                ProgramProcessor.fromFunctionProcessor(ReplaceZeroRegisters.newInstance(), Target.ALL, true),
                 LoopFormVerification.fromConfig(config),
                 printAfterCompilation ? DebugPrint.withHeader("After compilation", Printer.Mode.ALL) : null,
                 ProgramProcessor.fromFunctionProcessor(MemToReg.fromConfig(config), Target.FUNCTIONS, true),