perf(codegen): masked-window hoist for untyped array params + straight-line region versioning (bcryptjs) - #6794

Merged

proggeramlug merged 8 commits into

mainfrom

perf/untyped-param-array-hoist

Jul 22, 2026

Commits on Jul 22, 2026

perf(codegen): masked-window read hoist for loop-invariant untyped array params
Ralph Küpper
committed
f54cbfe
perf(codegen): masked-window region versioning for straight-line unrolled bodies
Ralph Küpper
committed
4a6509e
perf(codegen): fact-aware dispatch + region type refinement for untyped masked reads
Ralph Küpper
committed
d3cf49d
test(gap): untyped-param masked-window correctness matrix
Ralph Küpper
committed
04e7b65
fix(codegen): skip region versioning for arrays already covered by an active masked-window fact
Ralph Küpper
committed
3a8cf7a
test(gap): straight-line region shapes for the masked-window region versioner
Ralph Küpper
committed
1652fe8
docs(changelog): changeset for #6794
Ralph Küpper
committed
4b72f12
fix(codegen): BigInt-sound region type refinement + canonical heap-addr predicate
Ralph Küpper
committed
037cd9f