5709026812
Phase 131-3 完了: MIR→LLVM lowering 棚卸し テスト結果マトリックス: - Case A (phase87_llvm_exe_min.hako): ✅ PASS (baseline) - Case B (loop_min_while.hako): ❌ TAG-EMIT (PHI after terminator) - Case B2 (print(42) simple): ✅ PASS (BoxCall works) - Case C (llvm_stage3_loop_only.hako): ❌ TAG-EMIT (JoinIR pattern gap) Critical Bugs: 1. Bug #1: PHI After Terminator (Case B) - 原因: function_lower.py が terminator を PHI より先に emit - 修正: 4-pass block emission (2-3h) 2. Bug #2: JoinIR Pattern Gap (Case C) - 原因: loop(true) { break } パターンが JoinIR 未対応 - 修正: Pattern 5 設計・実装 (3-4h) Next Actions: - P1 (推奨): PHI ordering 修正 → 80% のループを有効化 - P2: JoinIR Pattern 5 → infinite loop 対応 ドキュメント: - phase131-3-llvm-lowering-inventory.md: 詳細棚卸し結果 - phase87-selfhost-llvm-exe-line.md: LLVM IR parsing error 追記 - CURRENT_TASK.md: phase131-3 参照追加 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
106 lines
4.8 KiB
Markdown
106 lines
4.8 KiB
Markdown
# Current Task
|
||
|
||
このファイルは「いま何に集中しているか」と「次にやり得る候補」だけを書く軽量ビューだよ。
|
||
詳細は `docs/development/current/main/` 以下の各 Phase 文書と、JoinIR の SSOT である
|
||
`docs/development/current/main/joinir-architecture-overview.md` を参照してね。
|
||
|
||
最終更新: 2025-12-14
|
||
|
||
過去ログ（肥大化した旧 CURRENT_TASK）はここに退避したよ:
|
||
- `docs/development/current/main/CURRENT_TASK_ARCHIVE_2025-12-13.md`
|
||
|
||
---
|
||
|
||
## 今の状態（Phase 74–90 まで到達）
|
||
|
||
- Scope/BindingId の段階移行（dev-only）は Pattern2/3/4 まで配線済み（dual-path 維持）。
|
||
- Pattern2 の promoted carriers（DigitPos/Trim）について ExitLine 契約（ConditionOnly を exit PHI から除外）を E2E で固定済み。
|
||
- debug flag SSOT / DebugOutputBox 移行 / error tags 集約 / carrier init builder まで整備済み。
|
||
- **LLVM exe line SSOT 確立**: `tools/build_llvm.sh` を使用した .hako → executable パイプライン標準化完了。
|
||
- **Phase 88 完了**: continue + 可変ステップ（i=i+const 差分）を dev-only fixture で固定、StepCalculator Box 抽出。
|
||
- **Phase 89 完了**: P0（ContinueReturn detector）+ P1（lowering 実装）完了。
|
||
- **Phase 90 完了**: ParseStringComposite + `Null` literal + ContinueReturn（同一値の複数 return-if）を dev-only fixture で固定。
|
||
- `cargo test --release --lib` は PASS を維持（993 passed、退行なし）。
|
||
|
||
参照:
|
||
- `docs/development/current/main/10-Now.md`
|
||
- `docs/development/current/main/phase86-90-loop-frontends-summary.md`
|
||
- `docs/development/current/main/phase73-scope-manager-design.md`
|
||
- `docs/development/current/main/phase80-bindingid-p3p4-plan.md`
|
||
- `docs/development/current/main/phase81-pattern2-exitline-contract.md`
|
||
- `docs/development/current/main/phase78-85-boxification-feedback.md`
|
||
- `docs/development/current/main/phase87-selfhost-llvm-exe-line.md`
|
||
- `docs/development/current/main/phase131-2-box-resolution-map.md`
|
||
- `docs/development/current/main/phase131-3-llvm-lowering-inventory.md`
|
||
|
||
---
|
||
|
||
## 次の指示書（優先順位）
|
||
|
||
### P0: Docs 整備（数の増殖を止める）
|
||
|
||
**目的**: SSOT への集約と導線整備（Phase 86–90 の情報が散らばらない状態にする）
|
||
|
||
やること:
|
||
1. Phase 86–90 の要約を 1 ファイルに集約（SSOT）
|
||
- `docs/development/current/main/phase86-90-loop-frontends-summary.md`
|
||
2. INDEX から要約へ導線を追加（迷子対策）
|
||
- `docs/development/current/main/01-JoinIR-Selfhost-INDEX.md`
|
||
3. `10-Now.md` / `CURRENT_TASK.md` の断定・重複を “要約へのリンク” に寄せる
|
||
|
||
**受け入れ基準**:
|
||
- 読み始め導線が `01-JoinIR-Selfhost-INDEX.md` から辿れる
|
||
- `10-Now.md` と `CURRENT_TASK.md` は “最新の入口” として機能する（詳細は要約へ）
|
||
|
||
### P1: Loop Canonicalizer の設計（設計待ち - 外部検討中）
|
||
|
||
**状態**: 🔶 設計中（ChatGPT Pro と詰めている）
|
||
|
||
**目的**: ループ形状の組み合わせ爆発を抑えるための "前処理パス" を設計し、SSOT を定める
|
||
|
||
**次に触るSSO**:
|
||
- Loop系の設計: `docs/development/current/main/joinir-architecture-overview.md`
|
||
|
||
注意:
|
||
- 実装は急がず、設計（SSOT）を先に固める
|
||
- 既定挙動は変えない（dev-only で段階投入する）
|
||
|
||
### P2: JoinIR / Selfhost depth-2 の前進（実装可能 - Phase 91 候補）
|
||
|
||
**状態**: ✅ 実装可能
|
||
|
||
目的:
|
||
- JsonParserBox の残り複合ループを JoinIR 対応する。
|
||
- または selfhost .hako コンパイラの他部分（Lexer/ASTBuilder 等）で JoinIR 適用範囲を拡大する。
|
||
|
||
**次に触るSSOT**:
|
||
- Loop系: `docs/development/current/main/joinir-architecture-overview.md`
|
||
- VM Box系: `docs/development/current/main/phase131-2-box-resolution-map.md`
|
||
|
||
やること（設計→実装の順）:
|
||
1. 候補ループの抽出（JsonParserBox or Lexer/ASTBuilder）
|
||
2. Pattern 判定（Pattern 1-4 のいずれか、または新 Pattern 提案）
|
||
3. JoinIR lowering 実装 + E2E テスト
|
||
|
||
受け入れ基準:
|
||
- 代表ケースが 1 コマンドで再現可能（CI は増やさない、quick を重くしない）。
|
||
|
||
### P3: Ownership/Relay runtime 対応の再開（Phase 92 候補）
|
||
|
||
目的:
|
||
- multihop/merge relay を “runtime でも” 受理できるところまで契約を伸ばす（Fail-Fast の段階解除）。
|
||
|
||
受け入れ基準:
|
||
- dev-only 既定OFF のまま、既存ラインを壊さない。
|
||
|
||
### Done: Phase 86–90（Loop frontends）
|
||
|
||
- まとめ（SSOT）: `docs/development/current/main/phase86-90-loop-frontends-summary.md`
|
||
|
||
---
|
||
|
||
## すぐ走らせる確認コマンド
|
||
|
||
- `cargo test --release --lib`
|
||
- `NYASH_JOINIR_NORMALIZED_DEV_RUN=1 cargo test --features normalized_dev --test normalized_joinir_min -- --nocapture`
|