Conversation
Member
|
Is this case from a real use-case, or AI/fuzzer, if so would be good to know the background. The regression tests is too broad |
tqchen
requested changes
Sep 15, 2026
Author
This came from a compilation error in a differentiable renderer kernel for winding number calculation. |
Member
|
Would be good to understand further on the shape of differentiable renderer kernel please try to narrow the coverage, seems the error comes in arith, so it should be in a form of arith only testcase, and not through read write region |
Member
|
test should be in python |
Member
|
cc @tlopex would be good to see if we can have a more narrow check other than disabling, good to see candidates here and learnings |
Adapt unsigned constant extraction to BigInt and the sym namespace. Collect unsigned ranges once during traversal, separately from signed equations, and cover high-bit constants and modular predicates. Validation: full local build; 1103 Python tests passed, 53 skipped, 8 xfailed; 7 local C++ probes passed; changed-file pre-commit passed. TestTileAwareCompaction is excluded from the final run after reproducing its reflection-constructor failure with upstream conditional_bounds.cc. All four unsigned regressions fail with upstream code and pass with this fix.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Fixes #20343.
Fixes tile-ai/tilelang#3235.
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.