The GitHub Actions job "Lint" on tvm.git/main has succeeded. Run started by GitHub user tlopex (triggered by tlopex).
Head commit for run: 7bd73e5ad22e359aff273165eddc47ff9c5373ee / Shushi Hong <[email protected]> [Arith] Restrict floormod coefficient reduction to keep DetectIterMapstable (#19832) This PR fixes #19825, which restricts the rewrites ``` floormod(x * c1 + y, c2) -> floormod(x * floormod(c1, c2) + y, c2) ``` and ``` floormod(x + y * c1, c2) -> floormod(x + y * floormod(c1, c2), c2). ``` While algebraically valid in isolation, these transformations rewrite only the `floormod` side of a matching `floordiv`/`floormod` pair. As a result, the two expressions no longer share a visible fused index expression, causing `DetectIterMap` to reject otherwise bijective splits such as: ``` lane = flat % 128 reg = flat // 128 ``` where both expressions originate from the same fused index. ### Context Per the suggestion in #19825, the two rewrites are guarded with `c1 % c2 == 0` rather than dropped outright. The multiplied term is still eliminated when it is a multiple of the divisor (e.g. `(x*10 + y) % 2 -> y % 2`), which is safe for `DetectIterMap`; only the coefficient-shrinking case (`c1` not a multiple of `c2`) is disabled. Both operand orderings are covered, and the PR adds a rewrite-simplify regression plus an end-to-end `DetectIterMap` regression test. Report URL: https://github.com/apache/tvm/actions/runs/27790351302 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
