Mergen

mirror of https://github.com/NaC-L/Mergen.git synced 2026-05-12 09:40:34 +00:00

Files

T

naci c6e4c33627 docs: add LOOP_HANDLING.md reference for loop detection, generalization, and phi consumption (#116 )

Captures the three-phase architecture (detect/generalize/consume), the path-solve context gating table, the GeneralizedLoopControlFieldState layout, mergeValue's widenFirstBackedge contract, the full set of retrieve_generalized_loop_* helpers, and the hardcoded reference-sample addresses (kThemidaControlCursorSlot, the three resolveTargetedThemidаR9 instruction addresses with fire-counts on the reference binary).

Documents known limitations at the bottom: REP SCAS, VMP 3.6 INT 2 dispatcher, the reference-sample hardcodes, unrolling/LICM, multi-way backedges.

Flags that SCOPE.md's 'loop-header generalization temporarily disabled' entry appears to be stale: the code gates generalization on path-solve context (ConditionalBranch / DirectJump / resolved IndirectJump) rather than disabling it wholesale. Not changed in this PR; maintainer decision.

Co-authored-by: yusufcanislek <yusuf.canislek@meetdandy.com>

2026-04-22 23:05:24 +03:00

BUILDING.md

lifter: allow resolved indirect jumps to participate in structured loop generalization (#98 )

2026-04-19 05:36:45 +03:00

LOOP_HANDLING.md

docs: add LOOP_HANDLING.md reference for loop detection, generalization, and phi consumption (#116 )

2026-04-22 23:05:24 +03:00

REVIEWER_RULES.md

feat: commit working-tree changes required by rewrite gates

2026-03-26 07:53:43 +03:00

REWRITE_BASELINE.md

lifter: allow resolved indirect jumps to participate in structured loop generalization (#98 )