procedure passes fix

csanadtelbisz · Oct 19, 2024 · 4ba635b · 4ba635b
1 parent f20c96d
commit 4ba635b
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt
@@ -39,6 +39,14 @@ class CPasses(checkOverflow: Boolean, parseContext: ParseContext, uniqueWarningL
         FpFunctionsToExprsPass(parseContext),
         CLibraryFunctionsPass(),
     ),
+    listOf(
+        // optimizing
+        SimplifyExprsPass(parseContext),
+        LoopUnrollPass(),
+        SimplifyExprsPass(parseContext),
+        EmptyEdgeRemovalPass(),
+        UnusedLocRemovalPass(),
+    ),
     listOf(
         // trying to inline procedures
         InlineProceduresPass(parseContext),
@@ -49,14 +57,6 @@ class CPasses(checkOverflow: Boolean, parseContext: ParseContext, uniqueWarningL
         ReferenceElimination(parseContext),
         MallocFunctionPass(parseContext),
     ),
-    listOf(
-        // optimizing
-        SimplifyExprsPass(parseContext),
-        LoopUnrollPass(),
-        SimplifyExprsPass(parseContext),
-        EmptyEdgeRemovalPass(),
-        UnusedLocRemovalPass(),
-    ),
     listOf(
         StaticCoiPass(),
     ),