[ARITH] Fix lowering of floormod(x, y) != 0 (apache#4127)

anijain2305 · Oct 17, 2019 · 20dc6a2 · 20dc6a2
1 parent f23d194
commit 20dc6a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/pass/lower_intrin.cc b/src/pass/lower_intrin.cc
@@ -193,7 +193,7 @@ class IntrinInjecter : public arith::IRMutatorWithAnalyzer {
     using namespace arith;
     PVar<Expr> x, y;
     if ((floormod(x, y) != 0).Match(e)) {
-      return Mutate((truncmod(x, y) == 0).Eval());
+      return Mutate((truncmod(x, y) != 0).Eval());
     }
     return IRMutatorWithAnalyzer::Mutate_(op, e);
   }