The GitHub Actions job "tvm-bot" on tvm.git/main has succeeded. Run started by GitHub user tqchen (triggered by tqchen).
Head commit for run: 02b130249c98842cb57dc7671c40f21498a57779 / Tianqi Chen <[email protected]> [REFACTOR][TIR][ARITH] Phase out ControlFlowGraph, NarrowPredicateExpression, and rename Simplify to StmtSimplify (#19604) ## Summary This PR cleans up technical debt in the TIR simplification machinery via two commits: **Commit 1: Phase out ControlFlowGraph and NarrowPredicateExpression** - Remove `ControlFlowGraph` (~2360 lines) from `src/tirx/analysis/` — used only in non-default config paths that are no longer maintained - Remove `NarrowPredicateExpression` from `src/arith/` — sole non-test caller was `ControlFlowGraph` - Remove gated config fields `propagate_knowns_to_prove_conditional` and `propagate_knowns_to_simplify_expressions` from `SimplifyConfig` - Remove `use_dataflow_analysis` from `RemoveNoOpConfig` - Delete the associated test files and test cases that tested the now-removed paths - ~3800 lines deleted **Commit 2: Rename Simplify → StmtSimplify** - Rename `src/tirx/transform/simplify.{h,cc}` → `stmt_simplify.{h,cc}` - Rename C++ identifiers: `Simplify` → `StmtSimplify`, `SimplifyConfig` → `StmtSimplifyConfig` - Rename FFI keys: `"tirx.Simplify"` → `"tirx.StmtSimplify"`, `"tirx.transform.Simplify"` → `"tirx.transform.StmtSimplify"` - Update Python wrappers and all call sites (~40 files) - Clarifies that this pass operates on statements (distinct from expression-level `arith::Analyzer::Simplify()`) ## Test plan - [x] `tests/python/tirx-transform/test_tir_transform_simplify.py` — 52 tests pass - [x] `tests/python/tirx-transform/test_tir_transform_remove_no_op.py` — 18 pass, 5 xfail - [x] `tests/python/arith/` — full arith test suite passes - [x] `tests/python/tirx-transform/` — full suite: 315 passed, 8 xfailed, 1 xpassed (pre-existing vectorize failure unrelated to this change) - [x] `pre-commit run --all-files` — all hooks pass Report URL: https://github.com/apache/tvm/actions/runs/26470743128 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
