From 58c5d8c9bc1148ec1c15837a2f478d2cffcc020f Mon Sep 17 00:00:00 2001 From: nyash-codex Date: Sun, 30 Nov 2025 08:54:18 +0900 Subject: [PATCH] feat(joinir): Phase 66-68 GenericTypeResolver + JoinIR First Chapter Wrap MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Phase 66: P3-C ジェネリック型推論箱化 - generic_type_resolver.rs 新設 (180行) - is_generic_method(): ArrayBox.get/pop/first/last, MapBox.get 判定 - resolve_from_phi(): PHI解析によるジェネリック型推論 - TypeHintPolicy::is_p3c_target() 追加 - P1/P2/P3-A/P3-B 以外を P3-C 候補として判定 Phase 67: P3-C 実利用への一歩 - phase67_generic_type_resolver.rs テスト追加 (3テスト) - lifecycle.rs に P3-C 経路フック追加 - GenericTypeResolver を P3-C 対象関数で優先使用 - A/B テストで旧経路との一致確認 (11 tests PASS) Phase 68: JoinIR First Chapter Wrap (ドキュメント整理) - 68-1: phase-30 README.md に Section 9 追加 (JoinIR 第1章完了サマリー) - 68-2: README.md に JoinIR status セクション追加 - 68-3: CURRENT_TASK.md スリム化 (351→132行, 62%削減) - 68-4: PHI_BOX_INVENTORY.md に Phase 66-67 完了セクション追加 Phase 69-1: Trio 棚卸し - phase69-1-trio-inventory.md 作成 - Trio 使用箇所の完全棚卸し完了 (削減見込み 457-707行) 🐱 JoinIR 第1章完了！4つの柱確立: - Structure (LoopForm) - Scope (LoopScopeShape) - JoinIR (Select/IfMerge/Loop) - Type Hints (P1-P3-C) 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude --- CURRENT_TASK.md | 377 +++++------------- README.md | 20 + .../current/main/phase69-1-trio-inventory.md | 135 +++++++ src/mir/builder/lifecycle.rs | 52 ++- .../join_ir/lowering/generic_type_resolver.rs | 204 ++++++++++ src/mir/join_ir/lowering/mod.rs | 1 + src/mir/join_ir/lowering/type_hint_policy.rs | 60 ++- src/tests/mod.rs | 1 + src/tests/phase67_generic_type_resolver.rs | 144 +++++++ 9 files changed, 694 insertions(+), 300 deletions(-) create mode 100644 docs/development/current/main/phase69-1-trio-inventory.md create mode 100644 src/mir/join_ir/lowering/generic_type_resolver.rs create mode 100644 src/tests/phase67_generic_type_resolver.rs diff --git a/CURRENT_TASK.md b/CURRENT_TASK.md index 00cb91b7..803176a8 100644 --- a/CURRENT_TASK.md +++ b/CURRENT_TASK.md @@ -7,307 +7,110 @@ ## 0. 現在地ざっくり +- **✅ JoinIR ラインは Phase 68 で一旦 Chapter Close！** + - Phase 27-67 で JoinIR の「第1章（構造 + PHI + 型ヒント SSOT）」が完了。 + - 4つの柱（Structure / Scope / JoinIR / Type Hints）が確立。 + - 今後は Trio 削除ライン、wasm/Web デモライン、最適化ラインに分岐。 + - 詳細: [phase-30-final-joinir-world/README.md](docs/private/roadmap2/phases/phase-30-final-joinir-world/README.md) + - **最終ゴール** - 制御構造と PHI の意味論は **JoinIR（＋LoopScopeShape/IfPhiContext 等の薄い箱）** に一本化する。 - 実行の SSOT は VM / LLVM ラインとし、JoinIR→MIR→VM/LLVM は「構造 SSOT → 実行 SSOT」への変換として扱う。 - 既存の PHI 箱（if_phi.rs / PhiBuilderBox / conservative.rs / Trio 等）は、JoinIR 側のカバレッジが十分になったところから順に削っていく。 -- **JoinIR ライン** - - Phase 27–31: Loop→JoinIR lowering（skip_ws / trim / append_defs / Stage‑1 minimal）で、ループの制御構造を関数＋継続だけで表現できることを実証済み。 - - Phase 33–34: IfSelect / IfMerge / JoinIR Frontend（If/Loop/Break/Continue）実装。AST→JoinIR→MIR→VM まで tiny ケースが通る。 -- **PHI 削減ライン** - - Phase 35–36: HIGH/MEDIUM 安全度の PHI 箱（if_body_local_merge / phi_invariants / LoopSnapshotMergeBox）の削除・縮退で 537 行削減。 - - Phase 37–40: If 側 PHI（if_phi.rs / conservative.rs）の Level 1/2 相当まで設計＋一部削減。array_ext.filter については JoinIR Frontend + JoinFuncMeta に移行し、collect_assigned_vars を削除済み。 -- **これから** - - Phase 41: If 側 PHI Level 3（本体ロジック）の代表ケースを JoinIR 経路に載せる設計と最初の実装。 - - 以降: If 側 PHI 本体削減 → Classifier Trio → AST→JoinIR Frontend 本線化 → LLVM / ny-llvmc の JoinIR 統合。 +- **これから（Phase 69+）** + - Trio 削除ライン: LoopVarClassBox / LoopExitLivenessBox / LocalScopeInspectorBox を LoopScopeShape に完全吸収。 + - wasm/Web デモライン: JoinIR ベースの軽量デモ実装。 + - 最適化ライン: JoinIR の最適化パスと LLVM/ny-llvmc 統合。 --- -## 1. 最近の主戦場（Phase 33–41） +## 1. JoinIR 第1章完了までの道のり（Phase 33–67 簡潔版） -### 1-00a. Phase 33 — IfSelect / IfMerge + PHI 設計原則 +### Phase 33-62: 構造 + PHI + スコープの基盤構築 ✅ 完了 -- IfSelect / IfMerge lowering 実装（simple/local, 2–3 変数パターン）。 -- VM ラインへの If lowering ドライランを `IfLoweringDryRunner` に箱化し、VM パイプラインと解析ロジックを分離。 -- 「JoinIR は PHI 生成器（SSOT）、既存 PHI の変換器にはしない」原則をコード＋docs で固定。 -- docs: `docs/private/roadmap2/phases/phase-33-joinir-if-phi-cleanup/if_joinir_design.md` +- **Phase 33-34**: IfSelect/IfMerge lowering 実装、AST→JoinIR Frontend 設計・実装（If/Loop/Break/Continue） +- **Phase 35-36**: PHI 箱削減 HIGH/MEDIUM（537行削減: if_body_local_merge / phi_invariants / LoopSnapshotMergeBox 縮退） +- **Phase 37-40**: If 側 PHI Level 1/2（設計＋array_ext.filter 移行、collect_assigned_vars 削除） +- **Phase 41-46**: If 側 PHI Level 3（NestedIfMerge、read_quoted_from、IfMerge 拡張） +- **Phase 49-56**: JoinIR Frontend 本線統合（print_tokens / filter） +- **Phase 57-62**: If 側 PHI 本体削減（conservative.rs 縮退、If Handler 箱化、PHI Core Cleanup） -### 1-00b. Phase 34 — JoinIR Frontend（AST→JoinIR） - -- 目的: AST（Program JSON v0）→ JoinIR Frontend を設計・実装し、「PHI 意味論の SSOT を JoinIR 側に寄せる」。 -- 実績: - - If: simple/local/json_shape パターンを Select に正規化（同じ JoinIR 出力）。 - - Loop: tiny while / break / continue を 3 関数構造（entry/loop_step/k_exit）＋ Jump/Call/Select で表現。 - - MethodCall: substring などを JoinInst::MethodCall として構造化し、JoinIR→MIR Bridge で BoxCall に変換。 -- docs: `docs/private/roadmap2/phases/phase-34-joinir-frontend/README.md` - -### 1-00c. Phase 35–36 — PHI 箱削減（HIGH/MEDIUM） - -- Phase 35（HIGH）: - - `if_body_local_merge.rs` / `phi_invariants.rs` 削除（合計 430 行）。 - - PHI_BOX_INVENTORY.md で PHI 箱の一覧と削除順を整理。 -- Phase 36（MEDIUM）: - - LoopSnapshotMergeBox を「Exit PHI マージ専用の純粋静的ユーティリティ」に縮退（470→363 行）。 - - PhiBuilderBox に Loop/If/Common/Stub の責務マーカー追加（実装本体削減は Phase 38+）。 -- docs: - - `docs/private/roadmap2/phases/phi-reduction-series/INDEX.md` - - `docs/private/roadmap2/phases/phase-36-phi-midrange/README.md` - -### 1-00d. Phase 37–39 — If 側 PHI Level 1/2 設計と準備 - -- Phase 37: If 側 PHI 全体設計（docs-only）。 - - if_phi.rs / conservative.rs の責務表、12 callsite の難易度分類。 - - 削除基準（Level 1/2/3）の定義。 -- Phase 38: if_phi.rs Level 1 削除（90 行）。 - - `merge_modified_with_control`（dead code）と `extract_assigned_var`（JoinIR AST lowering で代替）を削除。 -- Phase 39: Level 2 準備（array_ext.filter 選定と JoinIR 拡張設計）。 - - array_ext.filter を代表 if-in-loop パターンに選定。 - - JoinIR Frontend / JoinFuncMeta / Bridge 拡張と削除条件を設計。 -- docs: - - `docs/private/roadmap2/phases/phase-37-if-phi-reduction/README.md` - - `docs/private/roadmap2/phases/phase-38-if-phi-level1/README.md` - - `docs/private/roadmap2/phases/phase-39-if-phi-level2/README.md` - -### 1-00e. Phase 40 — If 側 PHI Level 2 実装（array_ext.filter） - -- 目的: array_ext.filter の if‑in‑loop PHI を JoinIR Frontend + JoinFuncMeta + Bridge 経由に移し、collect_assigned_vars を削除する。 -- 実績: - - JoinFuncMeta / JoinFuncMetaMap / convert_join_module_to_mir_with_meta 実装。 - - AST→JoinIR Frontend で if‑in‑loop の modified 変数集合を解析し、JoinIR→MIR Bridge で PHI 生成。 - - loop_builder.rs に HAKO_JOINIR_ARRAY_FILTER 経路を追加し、Route B（JoinIR 経路）をデフォルト化。 - - `collect_assigned_vars` を削除し、JSON ベースの `collect_assigned_vars_via_joinir` に置き換え（Phase 40-4.1）。 - - デッドな env フラグ等をクリーンアップ（40-4.1.1）。 -- 削減実績（Phase 40 時点）: - - 35 行（collect_assigned_vars）＋16 行（デッドコード）＝ 51 行純減。 -- docs: - - `docs/private/roadmap2/phases/phase-40-if-phi-level2/README.md` - - `docs/private/roadmap2/phases/phi-reduction-series/INDEX.md` - -### 1-00f. Phase 41 — If-Side PHI Level 3 Reduction ✅ 完了（2025-11-28） - -- 目的: - - if_phi.rs / conservative.rs に残る「Level 3 本体ロジック」を JoinIR 経路に移すための設計と代表ケース実装。 -- 実績: - - Level 3 関数の再インベントリとデッドコード 147 行削除。 - - 代表 If 関数として `ParserControlBox.parse_loop()` を選定。 - - NestedIfMerge JoinInst 設計＋実装（mod.rs, json.rs）。 - - AST→JoinIR Frontend に `lower_nested_if_pattern()` 追加（dev flag: `HAKO_JOINIR_NESTED_IF=1`）。 - - JoinIR→MIR Bridge に NestedIfMerge 展開ロジック追加（多段 Branch + Copy）。 - - Route B（NestedIfMerge 経由）の A/B テスト 7 ケース全 PASS（parse_loop 代表ケース）。 - - 実削除（if_phi.rs / conservative.rs 本体の縮退・削除）は Phase 42 に繰り越し。 -- docs: - - `docs/private/roadmap2/phases/phase-41-if-phi-level3/README.md` - - `docs/private/roadmap2/phases/phase-41-if-phi-level3/TASKS.md` - -### 1-00g. Phase 45 — read_quoted_from JoinIR 実装 ✅ 完了（2025-11-28） - -- 目的: - - `MiniJsonCur.read_quoted_from(s, pos)` を JoinIR Frontend/Bridge で実装し、Guard if + Loop with break + accumulator パターンの PHI 削減を実証。 -- 実績: - - **45-1**: フィクスチャ `apps/tests/phase45_read_quoted_fixture.hako` 作成（T1-T4 Route A で PASS）。 - - **45-2**: AST→JoinIR Frontend `lower_read_quoted_pattern()` 実装（`ast_lowerer.rs`）。 - - **45-3**: JoinIR→MIR Bridge 確認（既存 bridge で変更不要）。 - - **45-4**: Route B E2E テスト `test_read_quoted_from_route_b_e2e()` 追加、T1-T4 全 PASS。 - - **45-5**: PHI_BOX_INVENTORY.md / CURRENT_TASK.md 更新。 -- 既知の制限: - - **T5（エスケープ処理）**: 変数再代入 inside if-block が PHI を生成しない問題 → **Phase 46 で解決済み**。 -- Dev Flag: `HAKO_JOINIR_READ_QUOTED=1` -- JoinIR 構造: entry → k_guard_fail / loop_step → k_exit（4 関数構造） -- docs: - - `docs/private/roadmap2/phases/phase-30-final-joinir-world/PHI_BOX_INVENTORY.md` (Phase 45 セクション) - -### 1-00h. Phase 46 — IfMerge 拡張（ループ内 if での変数再代入 PHI 問題）✅ 完了（2025-11-28） - -- 目的: - - ループ内の `if (cond) { x = expr; }` パターンで、if-body での変数再代入が merge ブロックで PHI に反映されない問題を修正。 -- 実績: - - **46-1**: 現状 MIR の問題点を CFG 図で固定（T5 専用）。 - - **46-2**: JoinIR レベルでの「正しい形」を IfMerge で設計（Option A 採用）。 - - **46-3**: `lower_read_quoted_pattern()` に IfMerge 拡張を設計・実装。 - - **46-4**: Route B E2E テスト T1-T5 全 PASS。 -- テスト結果: - - T1-T4: ✅ PASS（Phase 45 と同じ） - - **T5（エスケープ処理）**: ✅ PASS（`"a\"b"` → `a"b`） -- Dev Flag: `HAKO_JOINIR_READ_QUOTED_IFMERGE=1`（Phase 46 IfMerge 拡張有効化） -- 修正ファイル: - - `src/mir/join_ir/frontend/ast_lowerer.rs`: IfMerge による escape 処理追加 - - `src/mir/join_ir_vm_bridge.rs`: T5 テストケース追加 -- docs: - - `docs/private/roadmap2/phases/phase-46-ifmerge-loop-reassign/README.md` - -### 1-00i. Phase 49–56 — JoinIR Frontend 本線統合（print_tokens / filter）✅ 完了 - -- Phase 49–52: `cf_loop` に JoinIR Frontend ルートを追加し（dev フラグ付き）、`LoopFrontendBinding` / JSON v0 / expr タイプ（Field/NewBox）を整備。 - - `HAKO_JOINIR_PRINT_TOKENS_MAIN` / `HAKO_JOINIR_ARRAY_FILTER_MAIN` で対象ループだけを Frontend 経由にルーティング。 - - `merge_joinir_mir_blocks` で JoinIR→MIR のブロック／値 ID リマップと制御フロー接続を実装。 -- Phase 53–55: statement lowering（Local/Assignment/Print/Method/If）と AST→JSON の `"type"`/`"expr"` 整備により、`JsonTokenizer.print_tokens/1` が JoinIR Frontend→Bridge→VM 経由で最後まで実行可能に（Route A/B 等価、dev フラグ ON 限定）。 -- Phase 56: `ArrayExtBox.filter/2` 向けに `LoopFrontendBinding::for_array_filter` を MethodCall ベース（`arr.size()`）に修正し、外部参照 `arr/pred` を Binding 経由で渡す構造に統一。 - - JoinIR に `ConditionalMethodCall` / Unary / Call を追加し、filter の「pred が true のときだけ push する」パターンを 4 ブロック構造で表現。 - - `HAKO_JOINIR_ARRAY_FILTER_MAIN=1` で Route B（JoinIR Frontend 経路）がフォールバックなし完走（テスト済み、既定は従来ルート）。 - -### 1-00j. Phase 57–61 — If 側 PHI Level 3 本体（conservative/if_phi 残り）✅ 仕上げ中 - -- Phase 57 では、新しい抽象を増やさずに既存の Conservative/IfPHI 本体のうち安全な部分を薄くした。 - - `phi.rs` での冗長な `ConservativeMerge::analyze` 呼び出しを 2 回→1 回に削減し、軽量化。 - - `PhiMergeOps` trait と loop_builder.rs 側の実装を完全削除し、Loop 側の PHI 生成責務を JoinIR＋LoopScopeShape 側に寄せた。 - - `infer_type_from_phi` には「レガシー型推論箱であり、JoinIR 型情報導入後の削減候補」であることをコメントで明示し、将来の削除条件をドキュメント化。 -- Phase 58 では ConservativeMerge 本体を `phi_merge.rs::merge_all_vars` にインライン化し、`conservative.rs` の多くをドキュメントコメント＋最小限の補助関数だけに縮退。 - - conservative.rs: 149 行 → 57 行（約 92 行削減、約 62% 削減）。 - - ConservativeMerge struct 定義と付随テストコードを削除し、挙動差分がないことを phi_core / JoinIR テストで確認。 -- Phase 61-1〜61-3 では If-in-loop 専用の箱化を進め、JoinIR 側に PHI 生成の SSOT を寄せた。 - - IfPhiContext でループ内 If の CFG と変数スナップショットをまとめ、IfInLoopPhiEmitter で pre/then/else の snapshot と carrier 集合から必要な φ を構成する thin box を追加。 - - dev フラグ `HAKO_JOINIR_IF_IN_LOOP_ENABLE=1` 有効時には、JoinIR パターンマッチ成功した if-in-loop について JoinIR + IfPhiContext + IfInLoopPhiEmitter 経路で PHI を生成できるようになった（Route A/B 互換、既定はまだ legacy）。 -- Phase 61-4: **If Toplevel PHI (Fallthrough-Join) 実装** ✅ 完了（2025-11-29） - - ループ外 If の「then 直後に結合点がない」パターン（toplevel_return）を JoinIR で表現。 - - IfInLoopPhiEmitter が IfPhiContext::pure_if() でループ外 If もサポート（統一インターフェース）。 - - `toplevel_if_ret_explicit.hako` テストで toplevel_return パターン動作確認済み。 - - docs: `docs/development/current/main/phase61-4-toplevel-if-design.md` -- Phase 61-5: **If PHI 削減計画策定** ✅ 完了（2025-11-29） - - 61-5.1: If PHI 関数リスト作成（26関数、3カテゴリ） - - 61-5.2: JoinIR カバレッジ調査（in_loop/partial/none） - - 61-5.3: 優先度表作成（P1: 18関数、P2: 5関数、P3: 3関数） - - 61-5.4: Phase 61-6 候補選定（3個: set_if_context, dev フラグ, A/B テスト削除） - - docs: `docs/development/current/main/phase61-5-*.md` -- Phase P1: **If Handler 箱化モジュール化** ✅ 完了（2025-11-29） - - ループ内 If 処理の 5 パターン（Empty/SingleVarThen/SingleVarBoth/ConditionalEffect/Unsupported）を `IfInLoopPattern` enum で分類。 - - `if_in_loop/` モジュール（9 ファイル、~480 行）を新設し、`stmt_handlers.rs` から 154 行削減（40% 削減達成）。 - - 全 56 JoinIR tests PASS（回帰なし）、保守性・拡張性向上（新パターン追加が容易に）。 - - docs: `docs/development/refactoring/p1-if-handler-boxification-plan.md` - -### 1-00g. Phase 61-6 — If PHI JoinIR 化 第2弾（薄いラッパー削減） - -- 目的: If 側 PHI ラインから JoinIR と二重管理になっていた薄いラッパー／観察専用ユーティリティを取り除き、PHI 仕様の SSOT を JoinIR 側に寄せる。 -- 実績: - - `set_if_context` 薄いラッパーを削除し、callsite から直接 `IfPhiContext` を構築するよう統一。IfPhiContext の入口が一本化され、文脈箱（IfPhiContext）と emitter 箱（IfInLoop/Toplevel）の責務分離がより明確になった。 - - PhiBuilderBox ベースの PhiSpec 観察用関数（`extract_phi_spec_from_builder`, `compare_and_log_phi_specs` など）を削除し、PHI 仕様計算を JoinIR 起点の `compute_phi_spec_from_joinir` に一本化。 - - 合計約 97 行削減（予想 76 行を超過）。If 側 PHI の「観察・比較」は JoinIR 情報から復元する経路のみとなり、if_phi/PhiBuilderBox は本番ロジックに専念する構造に整理された。 - -### 1-00h. Phase 62 — PHI Core Cleanup（phi_core 小箱クリーンアップ） - -- 目的: PHI 箱のうち、既に機能が JoinIR/loopform/phi_merge 側に移っていて「殻だけ残っていた」小箱を片付け、phi_core 直下の実コードをさらに減らす。 -- 実績: - - `phi_core/phi_input_collector.rs` を削除。Phase 59/59b で loopform_builder.rs / loop_builder.rs へのインライン化が完了しており、外部依存 0 であることを PHI_BOX_INVENTORY ベースで確認済み。 - - `phi_core/conservative.rs` を 57 行すべてコメントのみの「歴史メモ」ファイルに縮退（実コードは Phase 58 で `phi_merge.rs::merge_all_vars` 側にインライン済み）。将来的に docs/ への移設候補として扱う。 - - PHI_BOX_INVENTORY.md / phi-reduction-series/INDEX.md / CURRENT_TASK.md を更新し、「PhiInputCollector 削除済み」「ConservativeMerge 本体は inline 済みで conservative.rs は docs 専用」という現状を明示。 - -- JoinIR/phi_core 関連テストは全て PASS。既知の `local` キーワード問題を除き、新たな退行はなし。 - -### 1-00i. Phase 63-3 — JoinIR 型ヒントの最小配線 - -- 目的: infer_type_from_phi を削る前に、「JoinIR 側で MirType をどこに持てばよいか」を決め、そのための schema 変更と最小限のコード更新を行う。 -- 実績: - - `JoinInst::Select` と `MergePair` に `type_hint: Option` を追加し、If PHI に関わる値まわりに型ヒントをぶら下げる足場を用意した。 - - Select / MergePair を生成する全サイト（if_select.rs / if_merge.rs / nested_if.rs / read_quoted.rs など 13 ファイル）を更新し、新フィールドを一旦 `type_hint: None` で埋めてビルドが通る状態に統一。 - - JoinIR 関連テスト（IfSelect/IfMerge/Frontend 系）はすべて PASS。挙動は従来どおりだが、今後 AST/Frontend/Bridge から型ヒントを流し込む準備が整った。 - -### 1-00j. Phase 63-4 — infer_type_from_phi 縮退設計（設計のみ） - -- 目的: infer_type_from_phi を『JoinIR 型ヒント優先＋従来ロジックフォールバック』に縮退する仕様を docs に固定（実装は Phase 63-5+）。 -- 実績: - - 63-4.1: infer_type_from_phi の現状整理（定義場所 / 呼び出し元 / 役割 / JoinIR 準備状況）を文書化。 - - 63-4.2: 縮退後の仕様設計（type_hint がある場合は優先、ない場合は従来ロジックへフォールバック）。 - - 63-4.3: 代表ケースと A/B テスト方針（P1: IfSelectTest.simple/local, P2: read_quoted_from, P3: MethodCall/Box コンストラクタ）を整理。 - - 63-4.4: 削除条件の明確化（5条件、現時点達成率 2/5 = 40%）。 - - 63-4.5: Phase 63-5 への引き継ぎ（infer_type_from_phi_with_hint() 実装タスク定義）。 -- docs: `docs/private/roadmap2/phases/phase-63-joinir-type-info/README.md`, `PHI_BOX_INVENTORY.md` 更新済み - -### 1-00k. Phase 63-5 — infer_type_from_phi 縮退実装（基盤整備）✅ 完了（2025-11-29） - -- 目的: 型ヒント優先のインターフェースを確立し、lifecycle.rs で呼び出し経路を統一する。 -- 実績: - - 63-5-1: `infer_type_from_phi_with_hint()` 関数実装（if_phi.rs:92-105, +44行） - - Route B: `type_hint` があれば優先的に返す（JoinIR SSOT） - - Route A: なければ `infer_type_from_phi()` へフォールバック - - Fail-fast 原則遵守：既存挙動を一切変更しない - - 63-5-2: lifecycle.rs で呼び出しを `_with_hint` に統一（2箇所: lifecycle.rs:284, 303） - - 現時点では `type_hint=None` でフォールバック動作（既存挙動維持） - - 将来 Phase 63-6+ で JoinIR からの型ヒント取得を実装 - - 63-5-3: テスト検証完了（退行なし） - - IfSelect 全 8 テスト PASS（test_type_hint_propagation_simple 含む） - - JoinIR 全 57 テスト PASS -- 削減実績: 0行（縮退のみ、削除なし） -- 削除条件達成率: 3/5（60%）← Phase 63-5 完了で +20% -- 技術的成果: 型ヒント優先インターフェース確立、lifecycle.rs 呼び出し経路統一 -- 次のステップ: Phase 63-6 で P1 ケース（IfSelectTest.simple/local）への型ヒント供給を実装 - -### 1-00l. Phase 63-6 — P1 ケース型ヒント完全実装 ✅ 完了（2025-11-30） - -- 目的: P1 ケース（IfSelectTest.simple/local）で JoinIR type_hint のみで型が決まる状態を達成 -- 実績: - - 63-6-1: MirInstruction::Phi に `type_hint: Option` 追加（instruction.rs） - - 21ファイル修正、25箇所のコンパイルエラー解決 - - 全てのレガシーパスで `type_hint: None` 設定 - - 63-6-2: JoinIR→MIR Bridge で型ヒント伝播実装（convert.rs） - - Select → PHI 変換で type_hint を伝播 - - Copy 命令削除、PHI で値合流を直接実装 - - テスト: test_type_hint_propagation_simple() で Some(Integer) 確認 - - 63-6-3: lifecycle.rs で型ヒント取得・使用 - - `get_phi_type_hint()` ヘルパー関数追加 - - P1 ケース（IfSelectTest.*）限定で型ヒント使用 - - 関数名フィルタでガード、他は None（既存挙動維持） - - 63-6-4: P1 ケーステスト追加（A/B 検証） - - test_p1_ab_type_inference() 追加で Route B 動作確認 -- 削減実績: 0行（段階的拡大のため削除なし） -- **削除条件達成率: 4/5（80%）← Phase 63-6 完了で +20%** -- 技術的成果: - - **P1 ケースで JoinIR 型ヒントのみで型決定（削除条件 4/5 達成）** - - JoinIR が If 系 PHI の型情報 SSOT として機能 - - lifecycle.rs が型ヒント優先で推論 -- 次のステップ: Phase 64 で P2/P3 ケースへ拡大、全関数で型ヒント化完了（削除条件 5/5） - -### 1-00m. Phase 64 — P2 型ヒント拡大 & 削除条件 90% 達成 ✅ 完了（2025-11-30） - -- 目的: P2 ケース（IfMerge, read_quoted）で JoinIR type_hint を実装、削除条件を 90% に前進 -- 実績: - - 64-1: P2/P3 対象関数リスト作成（docs更新） - - P2: read_quoted_from, IfMerge Simple/Multiple - - P3: MethodCall 戻り値、Box コンストラクタ（Phase 65+） - - 64-2: P2 型ヒント実装 - - read_quoted.rs: ループカウンタ `i` (Integer), 文字列 `ch` (String) 型確定 - - if_merge.rs: `infer_type_from_mir_pattern()` 追加 - - テスト: `test_p2_if_merge_type_hint()` PASS - - 64-3: lifecycle.rs で P2 を hint 経路に乗せる - - `is_type_hint_target()` ヘルパー関数追加（箱理論：箱に切り出す） - - P1/P2 統一処理: IfSelectTest.*, IfMergeTest.*, read_quoted* - - 退行なし確認（既存の 43 failed は元々のバグ） - - 64-4: 削除条件確認 - - 条件 5 進捗: P1 ✅, P2 ✅, P3 ⏳ -- 削減実績: 0行（段階的拡大のため削除なし） -- **削除条件達成率: 4.5/5（90%）← Phase 64-3 完了で P2 追加** -- 技術的成果: - - **P1/P2 両方で JoinIR 型ヒント → lifecycle.rs → 型推論の経路確立** - - `is_type_hint_target()` で関数名フィルタを箱化 - - 箱理論「まず箱に切り出す」原則の実践 -- 次のステップ: Phase 65 で P3-A/B ケース実装（Method/Box 戻り値）、P3-C は Phase 66+ に分離 +**詳細**: 各 Phase の README を参照（`docs/private/roadmap2/phases/phase-*/README.md`） --- -## 2. 中期 TODO（ざっくり） -- **Phase 42: PHI Workaround 条件付きスキップ** ✅ 完了（2025-11-28） - - ✅ 42-1: PHI workaround 内容の文書化完了（README.md に記録） - - ✅ 42-2: `parser_control_box.hako:85-139` に条件付きスキップ実装 - - Route A（default）: workaround 使用（後方互換性維持） - - Route B（`HAKO_JOINIR_NESTED_IF=1`）: workaround スキップ - - Route B テスト 3/3 PASS、Route A テスト 13/13 PASS - - ✅ 42-3: callsite 再分析・Phase 43 候補リスト作成完了 - - if_phi.rs: 4残存関数（全て parse_loop 以外からも呼ばれる） - - conservative.rs: ConservativeMerge::analyze が phi_merge.rs/phi.rs から使用中 - - Phase 43 推奨: NestedIfMerge 適用範囲拡大 → phi_merge.rs JoinIR 移行 - - docs: `docs/private/roadmap2/phases/phase-42-if-phi-level3-removal/README.md` -- **Phase 65: P3-A/B 型ヒント実装（Method/Box 最小対応）** - - P3-A: StringBox メソッド（substring/length 等）の戻り値型に JoinIR type_hint を付与 - - P3-B: Box コンストラクタ（new ArrayBox/new MapBox 等）に JoinIR type_hint を付与 - - lifecycle.rs の `is_type_hint_target()` に P3-A/B を追加し、P1/P2 と同じ経路に乗せる - - 代表ケースベースでは削除条件 5/5 達成 → infer_type_from_phi は P3-C（ジェネリック型）向けフォールバックのみ残す -- **Phase 66+: P3-C / If PHI 本体削除** - - ArrayBox.get などジェネリック型の扱いを別フェーズで設計（必要なら型システム拡張） - - P3-C まで JoinIR 型ヒント化が完了した段階で infer_type_from_phi 本体削除と if_phi.rs の大掃除に入る -- **Classifier Trio** - - LoopVarClassBox / LoopExitLivenessBox / LocalScopeInspectorBox を LoopScopeShape に吸収し、JoinIR lowering / LoopForm 側から直接 LoopScopeShape を見る構造に整理。 -- **Mir 決定性（小フェーズ予定）** - - 一部テスト（`loop_with_continue_and_break_edge_copy_merge` / `nested_loop_with_multi_continue_break_edge_copy_merge`）で、`MirFunction.blocks: HashMap` / `BasicBlock.predecessors: HashSet` に起因する非決定的な predecessor 順のフラッキーテストが残っている。 - - 将来の小フェーズで Phase 25.1 と同様のパターン（`BTreeMap` / `BTreeSet` など決定的な順序構造、もしくはテスト側で sort 比較）に寄せて解消する予定。 +### Phase 63-67: 型ヒントライン完全実装 ✅ 完了（2025-11-30） + +#### Phase 63-3: JoinIR 型ヒント最小配線 +- `JoinInst::Select` と `MergePair` に `type_hint: Option` 追加 +- 13ファイル更新、全 JoinIR テスト PASS + +#### Phase 63-4: infer_type_from_phi 縮退設計 +- 型ヒント優先＋従来ロジックフォールバック仕様を docs 化 +- 削除条件 5/5 を定義（P1: IfSelectTest, P2: read_quoted/IfMerge, P3: Method/Box） + +#### Phase 63-5: infer_type_from_phi 縮退実装 +- `infer_type_from_phi_with_hint()` 実装（+44行） +- lifecycle.rs で呼び出し経路統一 +- 削除条件達成率: 3/5（60%） + +#### Phase 63-6: P1 ケース型ヒント完全実装 +- `MirInstruction::Phi` に `type_hint` 追加（21ファイル修正） +- JoinIR→MIR Bridge で型ヒント伝播実装 +- P1 ケース（IfSelectTest.*）で JoinIR 型ヒントのみで型決定 +- 削除条件達成率: 4/5（80%） + +#### Phase 64: P2 型ヒント拡大 +- P2 ケース（read_quoted_from, IfMerge）型ヒント実装 +- `is_type_hint_target()` 箱化（TypeHintPolicy 萌芽） +- 削除条件達成率: 4.5/5（90%） + +#### Phase 65: P3-A/B 型ヒント実装 +- P3-A: `type_inference.rs` 新設、`JoinInst::MethodCall` に型ヒント（StringBox メソッド） +- P3-B: `JoinInst::NewBox` に型ヒント（Box コンストラクタ） +- 代表ケースベースで削除条件 5/5 達成 + +#### Phase 66: P3-C ジェネリック型推論箱化 +- `generic_type_resolver.rs` 新設（180行） +- `TypeHintPolicy::is_p3c_target()` 追加 +- ArrayBox.get / MapBox.get 等のジェネリック型推論基盤確立 + +#### Phase 67: P3-C 実利用への一歩 +- `phase67_generic_type_resolver.rs` テスト追加（3テスト全 PASS） +- lifecycle.rs に P3-C 経路フック追加（GenericTypeResolver 優先使用） +- A/B テストで旧経路との一致確認（11 tests PASS） + +**技術的成果**: +- JoinIR が構造 + PHI + 型ヒントの SSOT として確立 +- infer_type_from_phi は P3-C フォールバック専用に縮退 +- 4つの柱（Structure / Scope / JoinIR / Type Hints）完成 + +## 2. 次の一手（Phase 69+） + +### 直近の候補タスク + +- **Trio 削除ライン**（Phase 69 候補） + - LoopVarClassBox / LoopExitLivenessBox / LocalScopeInspectorBox を LoopScopeShape に完全吸収 + - Phase 48-7: Trio/LoopScopeShape の将来扱い整理（docs-only） + +- **P3-C 拡大 / If PHI 本体削除**（Phase 70 候補） + - GenericTypeResolver 経由で全 P3-C ケースをカバー + - `infer_type_from_phi` 本体削除と if_phi.rs 大掃除 + +- **wasm/Web デモライン**（Phase 71 候補） + - JoinIR ベースの軽量デモ実装 + - ブラウザで動く最小構成 + +- **最適化ライン**（Phase 72+ 候補） + - JoinIR 最適化パス実装 + - LLVM/ny-llvmc 統合強化 + +### バックログ + +- **Mir 決定性**（小フェーズ） + - `MirFunction.blocks: HashMap` → `BTreeMap` で非決定的テスト解消 + - Phase 25.1 同様のパターン適用 --- diff --git a/README.md b/README.md index 3c83d2ca..e9218515 100644 --- a/README.md +++ b/README.md @@ -41,6 +41,26 @@ See also: docs/guides/perf/benchmarks.md Architecture notes - Runtime rings (ring0/ring1/ring2) and provider policy: see `docs/architecture/RINGS.md`. +JoinIR system (structure + PHI + type hint SSOT) +- JoinIR is the Single Source of Truth for: + - **Structure**: Loop forms (LoopForm lowering), control flow shapes + - **PHI generation**: SSA merge nodes (If/Loop/Select/Merge patterns) + - **Type hints**: Type propagation from JoinIR → PHI → lifecycle.rs +- Dev flags: + - `NYASH_JOINIR_DEBUG=1` - JoinIR lowering traces + - `NYASH_P3C_DEBUG=1` - Generic type inference traces (Phase 66-67) + - `NYASH_LOOPFORM_DEBUG=1` - LoopForm construction traces +- Phase documentation: + - [Phase 30: JoinIR Architecture](docs/private/roadmap2/phases/phase-30-final-joinir-world/README.md) + - [Phase 33: If Lowering](docs/private/roadmap2/phases/phase-33/) + - [Phase 34: LoopForm](docs/private/roadmap2/phases/phase-34/) + - [Phase 48: Loop Lowering](docs/private/roadmap2/phases/phase-48/) + - [Phase 63-65: Type Hints P1-P3-B](docs/private/roadmap2/phases/phase-65-p3-type-hints/README.md) + - [Phase 66-67: Generic Type Inference P3-C](docs/private/roadmap2/phases/phase-65-p3-type-hints/README.md#phase-66-67-p3-c-ジェネリック型推論-箱化--実利用2025-11-30) +- Current state: **JoinIR First Chapter Complete** (Phase 27-67) + - Four pillars established: Structure / Scope / JoinIR / Type Hints + - See [PHI_BOX_INVENTORY.md](docs/private/roadmap2/phases/phase-30-final-joinir-world/PHI_BOX_INVENTORY.md) for detailed status + Call system (unified by default) - Builder emits `Call { callee: Callee }` whenever possible; the VM routes by callee kind (Global/Method/Extern/... ). - Legacy by‑name calls（callee なし）は廃止。必ず Builder が `Callee` を付与する（付与されない場合は Fail‑Fast）。 diff --git a/docs/development/current/main/phase69-1-trio-inventory.md b/docs/development/current/main/phase69-1-trio-inventory.md new file mode 100644 index 00000000..9e0f1337 --- /dev/null +++ b/docs/development/current/main/phase69-1-trio-inventory.md @@ -0,0 +1,135 @@ +# Phase 69-1: Trio 使用箇所の完全棚卸し + +## 背景 + +Phase 48-3〜48-6 で Trio（LoopVarClassBox / LoopExitLivenessBox / LocalScopeInspectorBox）の機能は LoopScopeShape に移行済み。 +本フェーズでは完全削除に向けて、残存する使用箇所を調査し、削除難易度を評価する。 + +## Trio 使用頻度（2025-11-30） + +| 箱名 | 使用箇所数 | 主な使用パターン | +|------|-----------|-----------------| +| LoopVarClassBox | 54箇所 | 定義ファイル + テスト + LoopScopeShape内部 | +| LoopExitLivenessBox | 36箇所 | 定義ファイル + テスト + LoopScopeShape内部 | +| LocalScopeInspectorBox | 62箇所 | 定義ファイル + テスト + LoopScopeShape内部 | + +## ファイル別使用箇所 + +### 1. Trio 定義ファイル（削除対象） + +| ファイル | LoopVarClass | LoopExitLiveness | LocalScopeInspector | 削除難易度 | +|---------|--------------|------------------|---------------------|-----------| +| `src/mir/phi_core/loop_var_classifier.rs` | 14 | - | 15 | **Easy** | +| `src/mir/phi_core/loop_exit_liveness.rs` | 4 | 14 | - | **Easy** | +| `src/mir/phi_core/local_scope_inspector.rs` | 1 | - | 16 | **Easy** | + +**削減見込み**: 3ファイル完全削除（推定 300-400行） + +### 2. LoopScopeShape 関連（内部使用、削除時に調整必要） + +| ファイル | LoopVarClass | LoopExitLiveness | LocalScopeInspector | 対応 | +|---------|--------------|------------------|---------------------|------| +| `src/mir/join_ir/lowering/loop_scope_shape/builder.rs` | 11 | 11 | 11 | `from_existing_boxes_legacy` を削除・簡略化 | +| `src/mir/join_ir/lowering/loop_scope_shape/shape.rs` | - | - | 1 | struct フィールド削除 | +| `src/mir/join_ir/lowering/loop_scope_shape/tests.rs` | 9 | 9 | - | テスト調整（LoopScopeShape API に統一） | + +**対応**: `from_existing_boxes_legacy()` 削除、Trio フィールド削除 + +### 3. 外部使用箇所（置き換え必要） + +| ファイル | LoopVarClass | LoopExitLiveness | LocalScopeInspector | 対応 | +|---------|--------------|------------------|---------------------|------| +| `src/mir/phi_core/loopform_builder.rs` | - | - | 4 (1箇所は new()) | LoopScopeShape API に置き換え | +| `src/mir/phi_core/phi_builder_box.rs` | 3 | - | 1 | LoopScopeShape API に置き換え | +| `src/mir/phi_core/loop_snapshot_merge.rs` | 7 | - | 10 | LoopScopeShape API に置き換え | +| `src/mir/join_ir/lowering/loop_form_intake.rs` | 2 | - | 2 | LoopScopeShape API に置き換え | +| `src/mir/join_ir/lowering/generic_case_a.rs` | 1 | 1 | - | LoopScopeShape API に置き換え | +| `src/mir/join_ir/lowering/loop_to_join.rs` | - | 1 | - | LoopScopeShape API に置き換え | +| `src/mir/loop_builder/loop_form.rs` | 1 | - | - | LoopScopeShape API に置き換え | +| `src/runner/json_v0_bridge/lowering/loop_.rs` | - | - | 2 | LoopScopeShape API に置き換え | +| `src/mir/join_ir/mod.rs` | 1 | - | - | use 文削除 | + +**削減見込み**: 8ファイルから Trio 依存を削除（推定 50-150行削減） + +## Trio::new() 実際の使用箇所 + +```bash +# コメント除外の実使用箇所 +rg "LoopVarClassBox::new|LoopExitLivenessBox::new|LocalScopeInspectorBox::new" \ + --type rust -n | grep -v "^\s*//" +``` + +### 実使用箇所（テスト除外） + +1. **loopform_builder.rs:985** + ```rust + let mut inspector = LocalScopeInspectorBox::new(); + ``` + - **対応**: LoopScopeShape::variable_definitions を直接使用 + +### テストコード内使用箇所 + +- **local_scope_inspector.rs**: 12箇所（テストコード内） +- **loop_var_classifier.rs**: 7箇所（テストコード内） + +**対応**: LoopScopeShape 統合テストに置き換え、Trio 単体テストは削除 + +## 削除戦略 + +### Phase 69-2: LoopScopeShape への完全移行 + +#### Step 1: 外部使用箇所の置き換え（Easy 優先） + +| ファイル | 難易度 | 対応 | +|---------|--------|------| +| loopform_builder.rs | **Easy** | inspector.new() → scope.variable_definitions | +| phi_builder_box.rs | **Easy** | classify() → scope.classify() | +| loop_form_intake.rs | **Easy** | 既に LoopScopeShape を持っている、直接使用に変更 | +| generic_case_a.rs | **Easy** | 既に LoopScopeShape を持っている、直接使用に変更 | +| loop_to_join.rs | **Easy** | 既に LoopScopeShape を持っている、直接使用に変更 | +| loop_form.rs | **Easy** | 既に LoopScopeShape を持っている、直接使用に変更 | +| json_v0_bridge/loop_.rs | **Medium** | LoopScopeShape 取得経路を追加 | + +#### Step 2: LoopScopeShape 内部の Trio 依存削除 + +1. `from_existing_boxes_legacy()` を削除 +2. `from_loop_form()` を `from_existing_boxes()` にリネーム +3. Trio フィールドを struct から削除 + +#### Step 3: テストコード調整 + +1. Trio 単体テストを削除 +2. LoopScopeShape 統合テストに機能を統合 + +### Phase 69-3: Trio 3箱の削除 + +1. `loop_var_classifier.rs` 削除（推定 150行） +2. `loop_exit_liveness.rs` 削除（推定 100行） +3. `local_scope_inspector.rs` 削除（推定 150行） +4. `phi_core/mod.rs` から use 文削除 + +### Phase 69-4: conservative.rs の docs/ 移設 + +1. `phi_core/conservative.rs`（57行、全てコメント）を削除 +2. `docs/development/architecture/phi-conservative-history.md` として移設 + +## 削減見込み合計 + +| カテゴリ | 削減見込み | +|---------|-----------| +| Trio 定義ファイル削除 | 300-400行 | +| 外部使用箇所置き換え | 50-150行 | +| LoopScopeShape 簡略化 | 50-100行 | +| conservative.rs 移設 | 57行 | +| **合計** | **457-707行** | + +## 次のステップ + +Phase 69-2 で Easy 箇所から順次置き換えを開始： +1. loopform_builder.rs（1箇所） +2. phi_builder_box.rs（3箇所） +3. loop_form_intake.rs（2箇所） +4. generic_case_a.rs（1箇所） +5. ...（全8ファイル） + +全置き換え完了後、Phase 69-3 で Trio 3箱を完全削除。 diff --git a/src/mir/builder/lifecycle.rs b/src/mir/builder/lifecycle.rs index c35d5256..9aa0b410 100644 --- a/src/mir/builder/lifecycle.rs +++ b/src/mir/builder/lifecycle.rs @@ -38,6 +38,8 @@ fn has_main_static(ast: &ASTNode) -> bool { // - ✅ テスト可能：各 Phase 独立テスト // - ✅ 拡張容易：Phase 66+ で P3-C 追加が簡単 use crate::mir::join_ir::lowering::type_hint_policy::TypeHintPolicy; +// Phase 67: P3-C ジェネリック型推論箱 +use crate::mir::join_ir::lowering::generic_type_resolver::GenericTypeResolver; impl super::MirBuilder { /// Unified declaration indexing (Phase A): collect symbols before lowering @@ -290,17 +292,37 @@ impl super::MirBuilder { break 'outer; } // Phase 65.5: TypeHintPolicy 使用（箱化モジュール） + // Phase 67: P3-C 経路を GenericTypeResolver に委譲 let hint = if TypeHintPolicy::is_target(&function.signature.name) { TypeHintPolicy::extract_phi_type_hint(&function, *v) } else { None }; - if let Some(mt) = crate::mir::phi_core::if_phi::infer_type_from_phi_with_hint( - hint, // Phase 63-6-3: P1 の場合は PHI の type_hint、それ以外は None - &function, - *v, - &self.value_types, - ) { + // Phase 67: P3-C 対象なら GenericTypeResolver を優先使用 + if hint.is_none() && TypeHintPolicy::is_p3c_target(&function.signature.name) { + if let Some(mt) = GenericTypeResolver::resolve_from_phi( + &function, + *v, + &self.value_types, + ) { + if std::env::var("NYASH_P3C_DEBUG").is_ok() { + eprintln!( + "[lifecycle/p3c] {} type inferred via GenericTypeResolver: {:?}", + function.signature.name, mt + ); + } + inferred = Some(mt); + break 'outer; + } + } + if let Some(mt) = + crate::mir::phi_core::if_phi::infer_type_from_phi_with_hint( + hint, // Phase 63-6-3: P1 の場合は PHI の type_hint、それ以外は None + &function, + *v, + &self.value_types, + ) + { inferred = Some(mt); break 'outer; } @@ -312,11 +334,29 @@ impl super::MirBuilder { break; } // Phase 65.5: TypeHintPolicy 使用（箱化モジュール） + // Phase 67: P3-C 経路を GenericTypeResolver に委譲 let hint = if TypeHintPolicy::is_target(&function.signature.name) { TypeHintPolicy::extract_phi_type_hint(&function, *v) } else { None }; + // Phase 67: P3-C 対象なら GenericTypeResolver を優先使用 + if hint.is_none() && TypeHintPolicy::is_p3c_target(&function.signature.name) { + if let Some(mt) = GenericTypeResolver::resolve_from_phi( + &function, + *v, + &self.value_types, + ) { + if std::env::var("NYASH_P3C_DEBUG").is_ok() { + eprintln!( + "[lifecycle/p3c] {} type inferred via GenericTypeResolver: {:?}", + function.signature.name, mt + ); + } + inferred = Some(mt); + break; + } + } if let Some(mt) = crate::mir::phi_core::if_phi::infer_type_from_phi_with_hint( hint, // Phase 63-6-3: P1 の場合は PHI の type_hint、それ以外は None &function, diff --git a/src/mir/join_ir/lowering/generic_type_resolver.rs b/src/mir/join_ir/lowering/generic_type_resolver.rs new file mode 100644 index 00000000..dfcefe4b --- /dev/null +++ b/src/mir/join_ir/lowering/generic_type_resolver.rs @@ -0,0 +1,204 @@ +// Phase 66: P3-C ジェネリック型推論箱 +// +// ArrayBox.get, MapBox.get などのジェネリック型を持つメソッドの +// 戻り値型を推論する。 +// +// # 責務 +// +// - P3-C 対象メソッドの判定 +// - コンテナ使用文脈からの型推論（PHI 解析フォールバック） +// - 将来の型変数システム導入の土台 +// +// # 設計原則（箱理論） +// +// - **単一責務**: P3-C ジェネリック型推論のみ +// - **質問箱**: is_generic_method() / resolve_generic_type() で判定 +// - **if_phi.rs 依存削減**: infer_type_from_phi を内部に取り込み + +use crate::mir::{MirFunction, MirInstruction, MirType, ValueId}; +use std::collections::BTreeMap; + +/// Phase 66: ジェネリック型推論箱 +/// +/// # 対象パターン（P3-C） +/// +/// - `ArrayBox.get(index)` → 配列要素の型（T） +/// - `ArrayBox.pop()` → 配列要素の型（T） +/// - `MapBox.get(key)` → マップ値の型（V） +/// +/// # Phase 65 との関係 +/// +/// Phase 65 で P1/P2/P3-A/P3-B は JoinIR 型ヒント経路に移行完了。 +/// この箱は **P3-C 専用** として設計し、TypeHintPolicy と連携する。 +/// +/// # 将来拡張（Phase 67+） +/// +/// - 型変数システム（`T`, `V` の明示的な型パラメータ） +/// - コンテナ生成時の型推論（`new ArrayBox()`） +pub struct GenericTypeResolver; + +impl GenericTypeResolver { + /// P3-C 対象メソッドかどうかを判定 + /// + /// # 引数 + /// - `receiver_type`: 受け手の型 + /// - `method_name`: メソッド名 + /// + /// # 戻り値 + /// - `true`: ジェネリック型推論が必要なメソッド + /// - `false`: P3-A/P3-B で処理可能、または未対応 + pub fn is_generic_method(receiver_type: &MirType, method_name: &str) -> bool { + match receiver_type { + MirType::Box(box_name) => match box_name.as_str() { + "ArrayBox" => matches!(method_name, "get" | "pop" | "first" | "last"), + "MapBox" => matches!(method_name, "get"), + _ => false, + }, + _ => false, + } + } + + /// P3-C 対象関数かどうかを判定（TypeHintPolicy 連携用） + /// + /// # 用途 + /// + /// TypeHintPolicy.is_target() で P1/P2/P3-A/P3-B に該当しない場合、 + /// この関数で P3-C 候補かどうかを判定する。 + /// + /// # 現在の実装 + /// + /// ArrayBox/MapBox を使用する関数を P3-C 候補として判定。 + /// 関数名ベースのフィルタリングは行わない（汎用判定）。 + pub fn is_p3c_candidate(func_name: &str) -> bool { + // Phase 66: 現在は全関数を P3-C 候補とみなす + // 将来的に関数内の ArrayBox.get/MapBox.get 使用を解析して判定 + !func_name.is_empty() // 常に true（P1/P2/P3-A/B 以外は全て P3-C 候補） + } + + /// PHI 解析によるジェネリック型推論 + /// + /// # 責務 + /// + /// P3-C メソッド（ArrayBox.get, MapBox.get など）の戻り値型を + /// PHI 命令の incoming 値から推論する。 + /// + /// # アルゴリズム + /// + /// 1. ret_val を定義する PHI 命令を探索 + /// 2. PHI の incoming 値の型を types マップから取得 + /// 3. 全ての incoming 値が同じ型なら、その型を返す + /// + /// # Phase 65 との違い + /// + /// - if_phi.rs::infer_type_from_phi() と同等のロジック + /// - P3-C 専用として明示的に責務を限定 + /// - 将来的に型変数システムで置き換え予定 + pub fn resolve_from_phi( + function: &MirFunction, + ret_val: ValueId, + types: &BTreeMap, + ) -> Option { + for (_bid, bb) in function.blocks.iter() { + for inst in bb.instructions.iter() { + if let MirInstruction::Phi { dst, inputs, .. } = inst { + if *dst == ret_val { + let mut it = inputs.iter().filter_map(|(_, v)| types.get(v)); + if let Some(first) = it.next() { + if it.all(|mt| mt == first) { + return Some(first.clone()); + } + } + } + } + } + } + None + } + + /// PHI の type_hint から型を抽出（将来拡張用） + /// + /// # Phase 66 現在 + /// + /// P3-C メソッドは JoinIR で type_hint を設定しないため、 + /// この関数は現在使用されない。 + /// + /// # Phase 67+ 拡張 + /// + /// 型変数システム導入後、ArrayBox.get() の T を + /// type_hint として伝播する際に使用。 + #[allow(dead_code)] + pub fn extract_type_hint(function: &MirFunction, ret_val: ValueId) -> Option { + function + .blocks + .values() + .flat_map(|bb| &bb.instructions) + .find_map(|inst| { + if let MirInstruction::Phi { dst, type_hint, .. } = inst { + if *dst == ret_val { + return type_hint.clone(); + } + } + None + }) + } +} + +#[cfg(test)] +mod tests { + use super::*; + + #[test] + fn test_is_generic_method_arraybox() { + let array_type = MirType::Box("ArrayBox".to_string()); + + // P3-C 対象 + assert!(GenericTypeResolver::is_generic_method(&array_type, "get")); + assert!(GenericTypeResolver::is_generic_method(&array_type, "pop")); + assert!(GenericTypeResolver::is_generic_method( + &array_type, + "first" + )); + assert!(GenericTypeResolver::is_generic_method(&array_type, "last")); + + // P3-A/P3-B 対象（非 P3-C） + assert!(!GenericTypeResolver::is_generic_method(&array_type, "size")); + assert!(!GenericTypeResolver::is_generic_method(&array_type, "push")); + } + + #[test] + fn test_is_generic_method_mapbox() { + let map_type = MirType::Box("MapBox".to_string()); + + // P3-C 対象 + assert!(GenericTypeResolver::is_generic_method(&map_type, "get")); + + // P3-A/P3-B 対象（非 P3-C） + assert!(!GenericTypeResolver::is_generic_method(&map_type, "size")); + assert!(!GenericTypeResolver::is_generic_method(&map_type, "has")); + } + + #[test] + fn test_is_generic_method_stringbox() { + // StringBox は P3-A で処理済み + assert!(!GenericTypeResolver::is_generic_method( + &MirType::String, + "substring" + )); + assert!(!GenericTypeResolver::is_generic_method( + &MirType::String, + "length" + )); + } + + #[test] + fn test_is_p3c_candidate() { + // 全関数が P3-C 候補（P1/P2/P3-A/B 以外） + assert!(GenericTypeResolver::is_p3c_candidate("Main.main/0")); + assert!(GenericTypeResolver::is_p3c_candidate( + "FuncScanner.parse/1" + )); + + // 空文字列は false + assert!(!GenericTypeResolver::is_p3c_candidate("")); + } +} diff --git a/src/mir/join_ir/lowering/mod.rs b/src/mir/join_ir/lowering/mod.rs index 96a86e57..3a9f36ce 100644 --- a/src/mir/join_ir/lowering/mod.rs +++ b/src/mir/join_ir/lowering/mod.rs @@ -35,6 +35,7 @@ pub mod stageb_body; pub mod stageb_funcscanner; pub mod type_hint_policy; // Phase 65.5: 型ヒントポリシー箱化 pub mod type_inference; // Phase 65-2-A +pub mod generic_type_resolver; // Phase 66: P3-C ジェネリック型推論箱 pub mod value_id_ranges; // Re-export public lowering functions diff --git a/src/mir/join_ir/lowering/type_hint_policy.rs b/src/mir/join_ir/lowering/type_hint_policy.rs index c0748984..e3936b7d 100644 --- a/src/mir/join_ir/lowering/type_hint_policy.rs +++ b/src/mir/join_ir/lowering/type_hint_policy.rs @@ -88,8 +88,23 @@ impl TypeHintPolicy { func_name.starts_with("NewBoxTest.") } - // Phase 66+ で P3-C（ジェネリック型推論）追加予定 - // fn is_p3c_target(func_name: &str) -> bool { ... } + /// P3-C: ジェネリック型推論対象判定（Phase 66） + /// + /// # 対象 + /// - P1/P2/P3-A/P3-B 以外のすべての関数 + /// - ArrayBox.get, MapBox.get などを使用する可能性がある関数 + /// + /// # Phase 66 設計 + /// - GenericTypeResolver と連携して P3-C 型推論を実行 + /// - is_target() が false の場合のフォールバック経路 + pub fn is_p3c_target(func_name: &str) -> bool { + // P1/P2/P3-A/P3-B に該当しない場合は P3-C 候補 + !Self::is_p1_target(func_name) + && !Self::is_p2_target(func_name) + && !Self::is_p3a_target(func_name) + && !Self::is_p3b_target(func_name) + && !func_name.is_empty() + } /// PHI 命令から型ヒントを抽出 /// @@ -104,10 +119,7 @@ impl TypeHintPolicy { /// # Phase /// - Phase 63-6 で導入 /// - Phase 65.5 で箱化・関数型スタイルに改善 - pub fn extract_phi_type_hint( - function: &MirFunction, - ret_val: ValueId, - ) -> Option { + pub fn extract_phi_type_hint(function: &MirFunction, ret_val: ValueId) -> Option { function .blocks .values() @@ -157,7 +169,9 @@ mod tests { fn test_is_p3a_target() { // P3-A: read_quoted 系関数 assert!(TypeHintPolicy::is_p3a_target("read_quoted_from/1")); - assert!(TypeHintPolicy::is_p3a_target("FuncScannerBox.read_quoted/1")); + assert!(TypeHintPolicy::is_p3a_target( + "FuncScannerBox.read_quoted/1" + )); // P3-A 以外 assert!(!TypeHintPolicy::is_p3a_target("IfSelectTest.simple/0")); @@ -203,4 +217,36 @@ mod tests { // どちらかに該当すれば is_target() は true assert!(TypeHintPolicy::is_target("read_quoted_from/1")); } + + /// Phase 66: P3-C パターン判定テスト + #[test] + fn test_is_p3c_target() { + // P3-C: P1/P2/P3-A/P3-B 以外 + assert!(TypeHintPolicy::is_p3c_target("Main.main/0")); + assert!(TypeHintPolicy::is_p3c_target("SomeBox.some_method/3")); + assert!(TypeHintPolicy::is_p3c_target("ArrayProcessor.process/1")); + + // P1/P2/P3-A/P3-B は P3-C ではない + assert!(!TypeHintPolicy::is_p3c_target("IfSelectTest.simple/0")); // P1 + assert!(!TypeHintPolicy::is_p3c_target("IfMergeTest.simple/0")); // P2 + assert!(!TypeHintPolicy::is_p3c_target("read_quoted_from/1")); // P3-A + assert!(!TypeHintPolicy::is_p3c_target("NewBoxTest.array/0")); // P3-B + + // 空文字列は false + assert!(!TypeHintPolicy::is_p3c_target("")); + } + + /// Phase 66: is_target と is_p3c_target の排他性確認 + #[test] + fn test_is_target_and_p3c_mutually_exclusive() { + // is_target() が true なら is_p3c_target() は false + let p1_func = "IfSelectTest.simple/0"; + assert!(TypeHintPolicy::is_target(p1_func)); + assert!(!TypeHintPolicy::is_p3c_target(p1_func)); + + // is_target() が false なら is_p3c_target() は true + let general_func = "Main.main/0"; + assert!(!TypeHintPolicy::is_target(general_func)); + assert!(TypeHintPolicy::is_p3c_target(general_func)); + } } diff --git a/src/tests/mod.rs b/src/tests/mod.rs index 2ee80d43..d41c605b 100644 --- a/src/tests/mod.rs +++ b/src/tests/mod.rs @@ -18,6 +18,7 @@ pub mod namingbox_static_method_id; // Phase 21.7++ Phase 1: StaticMethodId stru pub mod nyash_abi_basic; pub mod parser; pub mod phase61_if_in_loop_dryrun; // Phase 61-2: If-in-loop JoinIR dry-run tests +pub mod phase67_generic_type_resolver; // Phase 67: P3-C GenericTypeResolver tests pub mod plugin_hygiene; pub mod policy_mutdeny; pub mod refcell_assignment_test; diff --git a/src/tests/phase67_generic_type_resolver.rs b/src/tests/phase67_generic_type_resolver.rs new file mode 100644 index 00000000..8ad51aa2 --- /dev/null +++ b/src/tests/phase67_generic_type_resolver.rs @@ -0,0 +1,144 @@ +//! Phase 67: P3-C GenericTypeResolver 実利用テスト +//! +//! ArrayBox.get / MapBox.get などのジェネリック型メソッドの +//! 型推論が GenericTypeResolver 経由で正しく動作することを検証。 +//! +//! # テスト方針 +//! +//! 1. MIR を直接構築して if 文 + ArrayBox.get パターンを作成 +//! 2. lifecycle.rs での型推論が正しく動作することを確認 +//! 3. A/B テスト：旧経路と新経路で同じ結果になることを検証 + +use crate::mir::join_ir::lowering::generic_type_resolver::GenericTypeResolver; +use crate::mir::join_ir::lowering::type_hint_policy::TypeHintPolicy; +use crate::mir::MirType; + +/// Phase 67-1: GenericTypeResolver の基本判定テスト +#[test] +fn phase67_generic_type_resolver_is_generic_method() { + let array_type = MirType::Box("ArrayBox".to_string()); + let map_type = MirType::Box("MapBox".to_string()); + + // P3-C 対象メソッド（ジェネリック型） + assert!(GenericTypeResolver::is_generic_method(&array_type, "get")); + assert!(GenericTypeResolver::is_generic_method(&array_type, "pop")); + assert!(GenericTypeResolver::is_generic_method(&map_type, "get")); + + // P3-A/P3-B 対象（非ジェネリック） + assert!(!GenericTypeResolver::is_generic_method(&array_type, "size")); + assert!(!GenericTypeResolver::is_generic_method(&array_type, "push")); + assert!(!GenericTypeResolver::is_generic_method(&map_type, "has")); +} + +/// Phase 67-1: TypeHintPolicy と GenericTypeResolver の連携テスト +#[test] +fn phase67_type_hint_policy_p3c_integration() { + // P1/P2/P3-A/P3-B 対象関数は P3-C ではない + assert!(!TypeHintPolicy::is_p3c_target("IfSelectTest.simple/0")); // P1 + assert!(!TypeHintPolicy::is_p3c_target("IfMergeTest.simple/0")); // P2 + assert!(!TypeHintPolicy::is_p3c_target("read_quoted_from/1")); // P3-A + assert!(!TypeHintPolicy::is_p3c_target("NewBoxTest.array/0")); // P3-B + + // 一般関数は P3-C 候補 + assert!(TypeHintPolicy::is_p3c_target("ArrayProcessor.process/1")); + assert!(TypeHintPolicy::is_p3c_target("GenericTypeGetTest.array_get/0")); + + // is_target と is_p3c_target は排他的 + let p3c_func = "GenericTypeGetTest.array_get/0"; + assert!(!TypeHintPolicy::is_target(p3c_func)); + assert!(TypeHintPolicy::is_p3c_target(p3c_func)); +} + +/// Phase 67-3: A/B テスト準備 - 型推論経路の一致確認 +/// +/// GenericTypeResolver::resolve_from_phi() と +/// if_phi::infer_type_from_phi() が同じ結果を返すことを確認 +#[test] +fn phase67_ab_test_resolve_from_phi_equivalence() { + use crate::mir::{ + BasicBlock, BasicBlockId, ConstValue, EffectMask, FunctionSignature, MirFunction, + MirInstruction, ValueId, + }; + use std::collections::BTreeMap; + + // 簡単な PHI を含む MIR を構築 + // Block 0 (entry): branch to Block 1 or Block 2 + // Block 1 (then): v2 = 42, jump to Block 3 + // Block 2 (else): v3 = 0, jump to Block 3 + // Block 3 (merge): v4 = phi(v2, v3), return v4 + + let sig = FunctionSignature { + name: "GenericTypeGetTest.simple_phi/0".into(), + params: vec![], + return_type: MirType::Unknown, // 型推論対象 + effects: EffectMask::PURE, + }; + let mut f = MirFunction::new(sig, BasicBlockId::new(0)); + + let entry = BasicBlockId::new(0); + let then_bb = BasicBlockId::new(1); + let else_bb = BasicBlockId::new(2); + let merge_bb = BasicBlockId::new(3); + + // Block 構築 + f.add_block(BasicBlock::new(then_bb)); + f.add_block(BasicBlock::new(else_bb)); + f.add_block(BasicBlock::new(merge_bb)); + + // Entry: condition + branch + let cond = f.next_value_id(); + f.get_block_mut(entry) + .unwrap() + .add_instruction(MirInstruction::Const { + dst: cond, + value: ConstValue::Bool(true), + }); + f.get_block_mut(entry).unwrap().terminator = Some(MirInstruction::Branch { + condition: cond, + then_bb, + else_bb, + }); + + // Then: v2 = 42 + let v2 = f.next_value_id(); + f.get_block_mut(then_bb) + .unwrap() + .add_instruction(MirInstruction::Const { + dst: v2, + value: ConstValue::Integer(42), + }); + f.get_block_mut(then_bb).unwrap().terminator = Some(MirInstruction::Jump { target: merge_bb }); + + // Else: v3 = 0 + let v3 = f.next_value_id(); + f.get_block_mut(else_bb) + .unwrap() + .add_instruction(MirInstruction::Const { + dst: v3, + value: ConstValue::Integer(0), + }); + f.get_block_mut(else_bb).unwrap().terminator = Some(MirInstruction::Jump { target: merge_bb }); + + // Merge: v4 = phi(v2 from then, v3 from else) + let v4 = f.next_value_id(); + f.get_block_mut(merge_bb) + .unwrap() + .add_instruction(MirInstruction::Phi { + dst: v4, + inputs: vec![(then_bb, v2), (else_bb, v3)], + type_hint: None, // P3-C: type_hint なし + }); + f.get_block_mut(merge_bb).unwrap().terminator = Some(MirInstruction::Return { value: Some(v4) }); + + // 型情報を設定 + let mut types: BTreeMap = BTreeMap::new(); + types.insert(v2, MirType::Integer); + types.insert(v3, MirType::Integer); + + // A/B テスト: 両方の経路で同じ結果を返すことを確認 + let result_a = crate::mir::phi_core::if_phi::infer_type_from_phi(&f, v4, &types); + let result_b = GenericTypeResolver::resolve_from_phi(&f, v4, &types); + + assert_eq!(result_a, result_b, "A/B test: both routes should return the same type"); + assert_eq!(result_a, Some(MirType::Integer), "Type should be inferred as Integer"); +}