[REFACTOR][ARITH] Phase out arith/scalable_expression; arith no longer proves over scalable vectors#19638

Merged

tlopex merged 7 commits into

apache:mainfrom

tqchen:tvm-phase-out-scalable-expr

May 29, 2026

Commits on May 28, 2026

[REFACTOR][ARITH] Move ExtractVscaleFactor to file-local helpers (rewrite_simplify, tirx/ir/expr)
tqchen
committed
[REFACTOR][ARITH] Inline IsVScaleCall/ContainsVscaleCall/TargetHasVLA at call sites
tqchen
committed
[REFACTOR][ARITH] Drop scalable-vector proof scaffolding from analyzer/const_int_bound
tqchen
committed
[REFACTOR][ARITH] Delete arith/scalable_expression and inline remaining users
tqchen
committed
[TEST][ARITH] Mark xfail tests that relied on vscale substitution-proof loop
tqchen
committed
[LINT] Fix ruff E501 line-too-long in test_arith_simplify.py xfail reason string
tqchen
committed
[REFACTOR][CODEGEN] codegen_aarch64: guard Target::Current() before vector_width query
tqchen
committed