Recover branching signed /2^k division and wider Thumb jump tables - #24

Merged

macabeus merged 5 commits into

mainfrom

port/m2c-worth-porting

Aug 5, 2026

Commits on Aug 5, 2026

fix(ssa): block args belong to the EDGE, not the successor block

macabeus
and
claude
committed
ccac30b
feat(thumb): recover the jump-table forms agbcc actually emits

macabeus
and
claude
committed
d365efc
feat(raise): recover signed division by 2^k from its BRANCHING form

macabeus
and
claude
committed
49f233a
test(raise): pin why two of the four m2c guards are not needed here

macabeus
and
claude
committed
5d2f723
bench: refresh results — asmlift 361 -> 363 vs m2c 342

macabeus
and
claude
committed
69c4a10