fix(transform): fix isIndVarMonotonic

dtcxzyw · Aug 21, 2023 · 7b3e4b8 · 7b3e4b8
1 parent 7e07b4f
commit 7b3e4b8
Show file tree

Hide file tree

Showing 10 changed files with 4,444 additions and 4,836 deletions.
diff --git a/cmmc/Transforms/Loop/IndVarSimplify.cpp b/cmmc/Transforms/Loop/IndVarSimplify.cpp
@@ -44,9 +44,13 @@ class IndVarSimplify final : public TransformPass<Function> {
                 if(!add(exactly(indVar), int_(step))(MatchContext<Value>{ val->value }))
                     return false;
                 if(dir) {
+                    if(step <= 0)
+                        return false;
                     if(step <= maxInc)
                         continue;
                 } else {
+                    if(step >= 0)
+                        return false;
                     if(step >= -maxInc)
                         continue;
                 }

diff --git a/tests/SysY2022/performance/large_loop_array_1.sy.ir b/tests/SysY2022/performance/large_loop_array_1.sy.ir