feat: add escape analysis MVP - #2247

Draft

MeteorsLiu wants to merge 15 commits into

xgo-dev:mainfrom

MeteorsLiu:feat/escape-phase1-mvp

Commits on Aug 2, 2026

feat: add LLVM escape analysis MVP
MeteorsLiu
committed
5d690d8
test: move escape IR cases to fixtures
MeteorsLiu
committed
fadef10
refactor: use nocapture facts for heap-to-stack
MeteorsLiu
committed
f16e860
fix: defer module verification until LLVM passes
MeteorsLiu
committed
c133310
fix: preserve alignment across nocapture calls
MeteorsLiu
committed
2e7a2e7
test: update heap-to-stack LITTEST checks
MeteorsLiu
committed
5d9815f
fix: keep golden IR before escape transform
MeteorsLiu
committed
ed63bc4
test: check escape-transformed LITTEST IR
MeteorsLiu
committed
57713be
test: show full escape-transformed IR
MeteorsLiu
committed
977cc82
fix(escape): reject pointer comparisons
MeteorsLiu
committed
230c1ca
fix(escape): update conservative comparison tests
MeteorsLiu
committed
20e4f4f
feat(escape): add exact copy analysis and diagnostics
MeteorsLiu
committed
5df423e

Commits on Aug 3, 2026

test(escape): cover pointer info copy queries
MeteorsLiu
committed
03f8f8f
test(escape): cover pointer info modes
MeteorsLiu
committed
63f71d3
fix(escape): align pointer use handling with LLVM
MeteorsLiu
committed
f065376