tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

docs(phase29aa): mark P3 complete and queue P4

Browse Source
This commit is contained in:
tomoaki
2025-12-28 01:43:03 +09:00
parent 0269fc2ed4
commit d70d9e3b89
3 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
docs/development/current/main/10-Now.md
View File

@ -1,11 +1,15 @@
# Self Current Task — Now (main)
## Current Focus: Phase 29aa P3（Jump→Return single-predecessor propagation）
## Current Focus: Phase 29aa P4（Jump-chain propagation to Return）
**2025-12-27: Phase 29aa P3 進行中**
**2025-12-27: Phase 29aa P3 完了** ✅
- 目的: Jump→Return（単一 predecessor）で state 伝播し ReturnCleanup を成立
- 入口: `docs/development/current/main/phases/phase-29aa/README.md`
**2025-12-27: Phase 29aa P4 進行中**
- 目的: Jump の直列チェーン（単一 predecessor）を通して ReturnCleanup を成立させる（cleanup は Return block のみ）
- 入口: `docs/development/current/main/phases/phase-29aa/README.md`
**2025-12-27: Phase 29z P2 closeout** ✅
- `src/mir/passes/rc_insertion.rs`: `Store` 上書き + `Store null`（explicit drop）+ Return終端cleanup の最小 release 挿入（単一block・安全ガード）
- 既定OFF: Cargo feature `rc-insertion-minimal`（env var 新設なし）