The GitHub Actions job "Lint" on tvm.git/upstream/arith-knowns-by-key has failed. Run started by GitHub user gigiblender (triggered by gigiblender).
Head commit for run: 67e976c9752abe35c1198cb02be02d74070e91bd / Florin Blanaru <[email protected]> [ARITH] Index TransitiveComparisonAnalyzer knowns by Key CollectDirectComparisons and DFSFromLHS previously linear-scanned the unbounded `knowns_` vector on every TryCompare call. When Simplify walks many For nodes, this is O(N^2) in the number of For visits and produces an order-of-magnitude slowdown on large IR. Replace `knowns_` with `knowns_by_key_`, a map keyed by Key. Each Comparison is stored under both its keys (or once when they match). CollectDirectComparisons walks only the smaller of the two query-key buckets; DFSFromLHS walks only the bucket for the current expansion key. scoped_knowns_ stays a flat vector because its scope-exit truncation would require extra bookkeeping to keep in sync. Add Comparison::operator== for index cleanup on Bind override, split AddKnown into AddKnown / AddScopedKnown, and add tests/python/arith/test_arith_transitive_comparison.py. Report URL: https://github.com/apache/tvm/actions/runs/26031211543 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
