wrongtest opened a new pull request, #11287: URL: https://github.com/apache/tvm/pull/11287
Update a simplify rule when c2 is nonzero, original rule is covered with constant folding. `floormod(x * c1, c2)` => `floormod(x * (floordiv(c1, c2) * c2 + floormod(c1, c2)), c2)` => `floormod(x * floormod(c1, c2)), c2)` This is useful for certain non-perfect tiling case, where there are dynamic loop ranges which is actually constant wrt outer loop domain. For example, `floordiv(floormod(x * 360, 16) + 359, 16), 3)` with x in [0, 2) can finally reduce to constant `22`, since the rule could eliminate the multiply factor `360` to `360 % 16`, activating more available rules. Unfortunately the working example on tiling encounter a region_cover related problems again. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
