Compute jump threading opportunities in a single pass - #142821

Merged

bors merged 9 commits into

rust-lang:mainfrom

cjgillot:jump-threading-single

Dec 2, 2025

Commits on Nov 16, 2025

Fortify test.
cjgillot
committed
ee16aed
Add tests.
cjgillot
committed
bd8db45
Extend value_analysis API.
cjgillot
committed
4f24d70
Use a simpler condition set in jump threading.
cjgillot
committed
d67e3e6
Do not flood if state is empty.
cjgillot
committed
f12ab27
Skip process_constant if state has no matching value.
cjgillot
committed
acf3b6a
Maintain a graph of fulfilled conditions.
cjgillot
committed
f59dfc1
Simplify condition graph.
cjgillot
committed
2a63fde
Filter costly chains after simplification.
cjgillot
committed
223620f