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

apache · Oct 15, 2019 · bc54310 · bc54310
1 parent a0bd378
commit bc54310
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);
   }