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

Draft

mr-zwets wants to merge 12 commits into

CashScript:nextfrom

mr-zwets:compiler-optimizations-3

Commits on Jul 28, 2026

Add unused modifier support to cashc
rkalis
committed
feat(cashc): destructure tuples into existing variables

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

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

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

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

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

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

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

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

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

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

mr-zwets
and
claude
committed