From e89461504258aeec04deb068cd7809d4332be8bf Mon Sep 17 00:00:00 2001 From: Thomas Haas Date: Fri, 30 Aug 2024 13:24:14 +0200 Subject: [PATCH] Perform loop normalization also on Threads, making it applicable to litmus code. --- .../dat3m/dartagnan/program/processing/ProcessingManager.java | 2 +- 1 file changed, 1 insertion(+), 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 index c3d986514f..19c24b528e 100644 --- a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/ProcessingManager.java +++ b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/ProcessingManager.java @@ -98,7 +98,7 @@ private ProcessingManager(Configuration config) throws InvalidConfigurationExcep Simplifier.fromConfig(config) ), Target.FUNCTIONS, true ), - ProgramProcessor.fromFunctionProcessor(NormalizeLoops.newInstance(), Target.FUNCTIONS, true), + ProgramProcessor.fromFunctionProcessor(NormalizeLoops.newInstance(), Target.ALL, true), RegisterDecomposition.newInstance(), RemoveDeadFunctions.newInstance(), printAfterSimplification ? DebugPrint.withHeader("After simplification", Printer.Mode.ALL) : null,