tlopex opened a new pull request, #19832: URL: https://github.com/apache/tvm/pull/19832
This PR fixes #19825, which removes 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. -- 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] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
