Fixed IntrinsicsInsertion running to early and failing to replace som…

…e intrinsics.
hernanponcedeleon · Aug 6, 2023 · 2fd1329 · 2fd1329
1 parent c20a2f7
commit 2fd1329
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
@@ -82,8 +82,8 @@ private ProcessingManager(Configuration config) throws InvalidConfigurationExcep
                 StaticMemoryInitializer.newInstance(),
                 ProgramProcessor.fromFunctionProcessor(
                         FunctionProcessor.chain(
-                                IntrinsicsInsertion.newInstance(),
                                 Inlining.fromConfig(config),
+                                IntrinsicsInsertion.newInstance(),
                                 UnreachableCodeElimination.fromConfig(config),
                                 ComplexBlockSplitting.newInstance(),
                                 BranchReordering.fromConfig(config),