tqchen opened a new pull request, #20355: URL: https://github.com/apache/tvm/pull/20355
S-TIR buffer compaction and block-access analysis are the remaining compiler users of the integer-inequality solver. Move their scoped conditional bounds and the required solver implementation into private S-TIR analysis files, keeping the general arithmetic analyses in arith. Remove the retired equation and deskew solvers, their constraint-transform machinery, and the old public C++/Python/FFI interfaces. Retain the useful conditional-bound examples through block-access analysis. -- 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]
