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

sgrechanik-h · tqchen · commit bc543107ea41 · 2019-10-15T08:51:06.000-07:00
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);
   }

Original file line number	Diff line number	Diff line change
`@@ -193,7 +193,7 @@ class IntrinInjecter : public arith::IRMutatorWithAnalyzer {`
`193`	`193`	`using namespace arith;`
`194`	`194`	`PVar<Expr> x, y;`
`195`	`195`	`if ((floormod(x, y) != 0).Match(e)) {`
`196`		`- return Mutate((truncmod(x, y) == 0).Eval());`
	`196`	`+ return Mutate((truncmod(x, y) != 0).Eval());`
`197`	`197`	`}`
`198`	`198`	`return IRMutatorWithAnalyzer::Mutate_(op, e);`
`199`	`199`	`}`