Remove RegisterDecomposition.java

hernanponcedeleon · Nov 16, 2024 · 8dd10eb · 8dd10eb
1 parent ebc6b00
commit 8dd10eb
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 81 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/expression/processing/ExprSimplifier.java b/dartagnan/src/main/java/com/dat3m/dartagnan/expression/processing/ExprSimplifier.java
@@ -321,7 +321,6 @@ public Expression visitAggregateCmpExpression(AggregateCmpExpr expr) {
         final Expression right = expr.getRight().accept(this);
         assert expr.getKind() == AggregateCmpOp.EQ || expr.getKind() == AggregateCmpOp.NEQ;
         final boolean isEq = expr.getKind() == AggregateCmpOp.EQ;
-        // TODO: Fix for NEQ
         if (left instanceof ConstructExpr l && right instanceof ConstructExpr r) {
             if (l.getOperands().size() == r.getOperands().size()) {
                 if (l.getOperands().isEmpty()) {

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
@@ -99,7 +99,6 @@ private ProcessingManager(Configuration config) throws InvalidConfigurationExcep
                         ), Target.ALL, true
                 ),
                 ProgramProcessor.fromFunctionProcessor(NormalizeLoops.newInstance(), Target.ALL, true),
-                // RegisterDecomposition.newInstance(),
                 RemoveDeadFunctions.newInstance(),
                 printAfterSimplification ? DebugPrint.withHeader("After simplification", Printer.Mode.ALL) : null,
                 Compilation.fromConfig(config), // We keep compilation global for now

diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/RegisterDecomposition.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/RegisterDecomposition.java