Ixsimpl integration#1130

Open

Hardcode84 wants to merge 28 commits into

iree-org:mainfrom

Hardcode84:ixsimpl

Commits on Apr 9, 2026

Add ixsimpl roundtrip helper and clean up debug prints

Hardcode84
and
claude
committed
Replace sympy.simplify with ixs_simplify in graph_utils.py

Hardcode84
and
claude
committed
Replace sympy.simplify with ixs_simplify in index equality checks

Hardcode84
and
claude
committed
Replace sympy.simplify with ixs_simplify in preshuffle pattern detection

Hardcode84
and
claude
committed
Replace sympy.simplify with ixs_simplify in ensure_symbols_positive

Hardcode84
and
claude
committed
Replace sympy.simplify with ixs_simplify for multicast mask in read_write.py

Hardcode84
and
claude
committed
Replace sympy.simplify with ixs_simplify in water_emitter.py

Hardcode84
and
claude
committed
Replace sympy.simplify with ixs_simplify in multicast mask computation

Hardcode84
and
claude
committed
Replace custom simplify() wrapper with ixs_simplify primary path

Hardcode84
and
claude
committed
Update tests for ixsimpl canonical forms

Hardcode84
and
claude
committed
Add ixsimpl as git dependency pinned to specific commit

Hardcode84
and
claude
committed
Make ixsimpl context thread-local and differentiate conversion errors

Hardcode84
and
claude
committed
update sha
Hardcode84
committed
update sha
Hardcode84
committed
Fix nested _Rational in Pow codegen for negative exponents

Hardcode84
and
claude
committed
Add sympy-to-ixsimpl migration plan

Hardcode84
and
claude
committed
Update migration plan for new ixsimpl API (lambdify, has, eval, check)

Hardcode84
and
claude
committed
update sha
Hardcode84
committed
update sha
Hardcode84
committed
Remove ixsimpl git dep and update lit tests for new simplification forms

Hardcode84
and
claude
committed
Use ixsimpl simplify in annotate_iv_strides tests

Hardcode84
and
claude
committed
fix test
Hardcode84
committed
Add regression test for shifted Mod simplification gap
Hardcode84
committed
Vendor newer ixsimpl to tighten Mod bounds
Hardcode84
committed
Update persistent gemm lit check for ixsimpl simplification
Hardcode84
committed
pre-commit
Hardcode84
committed
Revert "Update persistent gemm lit check for ixsimpl simplification"
Hardcode84
committed
fix test
Hardcode84
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Ixsimpl integration#1130

Ixsimpl integration#1130
Hardcode84 wants to merge 28 commits into
iree-org:mainfrom
Hardcode84:ixsimpl

Commits on Apr 9, 2026

Add ixsimpl roundtrip helper and clean up debug prints

Replace sympy.simplify with ixs_simplify in graph_utils.py

Replace sympy.simplify with ixs_simplify in index equality checks

Replace sympy.simplify with ixs_simplify in preshuffle pattern detection

Replace sympy.simplify with ixs_simplify in ensure_symbols_positive

Replace sympy.simplify with ixs_simplify for multicast mask in read_write.py

Replace sympy.simplify with ixs_simplify in water_emitter.py

Replace sympy.simplify with ixs_simplify in multicast mask computation

Replace custom simplify() wrapper with ixs_simplify primary path

Update tests for ixsimpl canonical forms

Add ixsimpl as git dependency pinned to specific commit

Make ixsimpl context thread-local and differentiate conversion errors

update sha

update sha

Fix nested _Rational in Pow codegen for negative exponents

Add sympy-to-ixsimpl migration plan

Update migration plan for new ixsimpl API (lambdify, has, eval, check)

update sha

update sha

Remove ixsimpl git dep and update lit tests for new simplification forms

Use ixsimpl simplify in annotate_iv_strides tests

fix test

Add regression test for shifted Mod simplification gap

Vendor newer ixsimpl to tighten Mod bounds

Update persistent gemm lit check for ixsimpl simplification

pre-commit

Revert "Update persistent gemm lit check for ixsimpl simplification"

fix test