The GitHub Actions job "Lint" on tvm.git/fix-arith-floormod-itermap-19825 has failed. Run started by GitHub user tlopex (triggered by tlopex).
Head commit for run: 6e197114c2fd474e673fc6595fea3b9c5d77efe5 / tlopex <[email protected]> [Arith] Restrict floormod coefficient reduction to keep DetectIterMap stable The rewrites floormod(x * c1 + y, c2) -> floormod(x * floormod(c1, c2) + y, c2) and its mirror floormod(x + y * c1, c2) reduce the multiplier modulo the divisor. This is algebraically valid in isolation, but when the modulo is paired with the matching floordiv of the same fused index it rewrites only the modulo's source, so the two halves no longer share a visible fused expression and DetectIterMap rejects an otherwise bijective split (e.g. a layout that splits a flat index into lane = flat % 128 and reg = flat // 128). Guard both rewrites with c1 % c2 == 0 so the multiplied term is only dropped when it is a multiple of the divisor, which is iter-map-safe, as suggested in issue #19825. Add a rewrite-simplify regression for both operand orderings and an end-to-end DetectIterMap regression. Report URL: https://github.com/apache/tvm/actions/runs/27784347551 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
