tqchen opened a new pull request, #19963: URL: https://github.com/apache/tvm/pull/19963
## Rationale Analyzer constraint scopes continue to provide loop-positive facts to constant-bound and rewrite proofs. During IntSet relaxation, however, a scoped domain constraint is a refinement only for a variable explicitly present in the relaxation map. Applying it to an unmapped variable reinterprets a free parameter as a relaxation domain and can let a loop-local symbol survive recursive interval evaluation. ## Changes - Apply scoped IntSet constraints only to variables already present in the relaxation map; unmapped variables remain free parameters. - Remove the finite-bound restoration fallback and its stronger parametric-bound contract. - Add a compact-buffer simplification regression that prevents a loop-local variable from escaping into a function-scope allocation extent. ## Validation - Positive dynamic-loop simplification - Compact-buffer loop-variable escape regression - DomainTouched finite parametric dimension - Deep and cyclic IntSet dependency controls - Ruff, ASF header, file-type, and diff checks -- 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]
