sepcnt opened a new pull request, #20344: URL: https://github.com/apache/tvm/pull/20344
Fixes https://github.com/apache/tvm/issues/20343. Fixes https://github.com/tile-ai/tilelang/issues/3231. Unsigned branch conditions can crash block access-region analysis because the inequality solver constructs negative coefficients using unsigned variable types, raising `cannot make uint from negative value -1`. Keep unsupported unsigned conditions unresolved and conservatively analyze both branches, while preserving independent signed bounds. Add regression coverage for zero comparisons, high-bit thresholds, wraparound predicates, and mixed signed/unsigned conditions. -- 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]
