The GitHub Actions job "Lint" on tvm.git/upstream/arith-knowns-by-key has succeeded. Run started by GitHub user gigiblender (triggered by gigiblender).
Head commit for run: 0101c0f0d14a2714c45f8305bf7dc9709ede2642 / 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/26035836720 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
