Compiler optimisations for large contracts (draft — discussion PR) - #428

Closed

mr-zwets wants to merge 11 commits into

CashScript:nextfrom

mr-zwets:compiler-optimizations-3

Commits on Jul 30, 2026

feat(cashc): destructure tuples into existing variables

mr-zwets
and
claude
committed
dd50ace
perf(utils): rewrite the peephole optimiser to match opcodes directly

mr-zwets
and
claude
committed
cbba881
perf(cashc): gate the legacy-optimiser cross-check by size and a compiler flag

mr-zwets
and
claude
committed
5422edd
perf(cashc): keep loop-resident functions OP_DEFINE'd to avoid stepping cost

mr-zwets
and
claude
committed
218e383
feat(cashc): hoist repeated in-body constants under a new optimizeFor objective

mr-zwets
and
claude
committed
6fd2158
perf(cashc): stage user-function arguments right-to-left (first param on top)

mr-zwets
and
claude
committed
7f52694
perf(cashc): inline small multi-use bodies under the 'opcost' objective

mr-zwets
and
claude
committed
230d2f3
perf(cashc): sink variable definitions to first use under the size objective

mr-zwets
and
claude
committed
0c71f9b
perf(cashc): opt-in DAG stack rescheduling (rescheduleStacks)

mr-zwets
and
claude
committed
c0c28ba
test(utils): land a differential fuzz suite for the peephole optimiser

mr-zwets
and
claude
committed
38b5253
perf(cashc): make tiny-body inlining placement-aware, and the byte model exact

mr-zwets
and
claude
committed
e03f75c