docs: Phase 61-5 If PHI 棚卸し完了

Phase 61-5: If PHI 残りパターン棚卸しと削減計画策定 New docs: - phase61-5-3-if-phi-priority-table.md: P1/P2/P3 優先度表 - P1: 18関数（薄いラッパー削除候補） - P2: 5関数（JoinIR 拡張統合候補） - P3: 3関数（型システム統合待ち） - phase61-5.4-next-phase-candidates.md: Phase 61-6 削減候補（3個） - Wave 1: set_if_context 削除（11行）、dev フラグ削除（15行） - Wave 2: A/B テスト削除（50行） - 合計削減見込み: 76行 - phase61-5-summary.md: Phase 61-5 全体サマリー - JoinIR カバー率: 完全28.6% + 部分57.1% = 85.7% - Phase 61-6 実装準備完了 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>
2025-11-29 15:57:14 +09:00
parent f4044c56cb
commit 0c23bc0788
3 changed files with 378 additions and 0 deletions
--- a/docs/development/current/main/phase61-5-3-if-phi-priority-table.md
+++ b/docs/development/current/main/phase61-5-3-if-phi-priority-table.md
@ -0,0 +1,134 @@
+# Phase 61-5.3: If PHI 関数優先度表
+
+## 目的
+Phase 61-5.2 で作成した If PHI 関数表に削減優先度（P1/P2/P3）を追加する。
+
+## 優先度の定義
+
+### P1（最優先削減候補）
+- すでに JoinIR でほぼ構造が決まっていて、削るだけの関数（薄いラッパー）
+- 条件：
+  - `joinir_coverage=in_loop` or `toplevel_return`（完全カバー済み）
+  - 既存経路を削除するだけで JoinIR に完全移行可能
+  - 実装コストが低い（数十行レベル）
+
+### P2（次期削減候補）
+- JoinIR パターンを少し拡張すれば寄せられそうな関数
+- 条件：
+  - `joinir_coverage=partial`（部分カバー）
+  - IfMerge や PhiSpec を拡張すれば統合可能
+  - 実装コストが中程度（数百行レベル）
+
+### P3（将来の削減候補）
+- 型情報やより強い If パターン（nested/複雑）を待つべき関数
+- 条件：
+  - `joinir_coverage=none`（未カバー）
+  - 型システムや高度な解析が必要
+  - 実装コストが高い（Phase 63+ で対応）
+
+---
+
+## If PHI 関数優先度表（Phase 61-5.3）
+
+| 関数名 | ファイル | JoinIR Coverage | Priority | 削減方針（1行） |
+|--------|----------|-----------------|----------|----------------|
+| **PhiBuilderBox系** | | | | |
+| `set_if_context` | phi_builder_box.rs | in_loop | **P1** | IfPhiContext 生成を直接呼び出しに置き換え、ラッパー削除 |
+| `generate_if_phis` | phi_builder_box.rs | partial | **P2** | IfInLoopPhiEmitter で代替、統一後に薄い箱として残すかインライン化 |
+| `compute_modified_names_if` | phi_builder_box.rs | partial | **P2** | JoinIR の modified 変数集合解析に統合、ヘルパー削除 |
+| `get_conservative_if_values` | phi_builder_box.rs | partial | **P2** | JoinIR の incoming 値解決に統合、void fallback を PhiSpec に移行 |
+| **JoinIR Lowering系** | | | | |
+| `try_lower_if_to_joinir` | if_select.rs / if_merge.rs | in_loop | **P1** | If パターンマッチング完了後、デフォルト有効化して薄いルーティング関数に |
+| `find_if_pattern` | if_select.rs | in_loop | **P1** | Simple/Local パターン検出は完成、ラッパー層削減可能 |
+| `find_if_merge_pattern` | if_merge.rs | in_loop | **P1** | IfMerge 検出は完成、ラッパー層削減可能 |
+| **JoinIR Context系** | | | | |
+| `IfPhiContext::for_loop_body` | if_phi_context.rs | in_loop | **P1** | コンストラクタは軽量、loop_builder.rs から直接呼び出し継続 |
+| `IfPhiContext::pure_if` | if_phi_context.rs | none | **P3** | Pure If 経路は Phase 63+ で統合、現状維持 |
+| `is_carrier` | if_phi_context.rs | in_loop | **P1** | carrier 判定ロジックは完成、ヘルパーとして残す |
+| **PhiSpec系** | | | | |
+| `compute_phi_spec_from_joinir` | if_phi_spec.rs | in_loop | **P1** | JoinInst から PhiSpec を計算、Phase 61-3 で variable_name 逆引き完成後そのまま使用 |
+| `extract_phi_spec_from_builder` | if_phi_spec.rs | partial | **P2** | PhiBuilderBox 経路観察用、JoinIR 移行完了後は削除候補 |
+| `compare_and_log_phi_specs` | if_phi_spec.rs | partial | **P2** | A/B テスト用ロギング、移行完了後は削除候補 |
+| **If-in-Loop Emitter系** | | | | |
+| `IfInLoopPhiEmitter::emit` | if_in_loop/mod.rs | in_loop | **P1** | PHI 生成の SSOT、既に動作済み、デフォルト有効化で完成 |
+| `emit_single_var_phi` | if_in_loop/lowering/single_var_*.rs | in_loop | **P1** | SingleVarThen/Both パターンは実装完了、薄いヘルパーとして残す |
+| `emit_conditional_effect_phi` | if_in_loop/lowering/conditional_effect.rs | in_loop | **P1** | ConditionalEffect パターンは実装完了、薄いヘルパーとして残す |
+| **Conservative系** | | | | |
+| `ConservativeMerge::analyze` | conservative.rs | none | **P3** | 型推論（infer_type_from_phi）依存、Phase 63+ で型システム統合 |
+| `infer_type_from_phi` | conservative.rs | none | **P3** | レガシー型推論箱、JoinIR 型情報導入後の削減候補（Phase 63+） |
+| **IfMerge系** | | | | |
+| `lower_if_to_if_merge` | if_merge.rs | in_loop | **P1** | IfMerge 変換ロジックは完成、デフォルト有効化で完成 |
+| `extract_written_vars` | if_merge.rs | in_loop | **P1** | 変数書き込み検出は完成、薄いヘルパーとして残す |
+| `find_written_value` | if_merge.rs | in_loop | **P1** | 値検出は完成、薄いヘルパーとして残す |
+| **IfSelect系** | | | | |
+| `lower_if_to_select` | if_select.rs | in_loop | **P1** | Select 変換ロジックは完成、デフォルト有効化で完成 |
+| `try_match_simple_pattern` | if_select.rs | in_loop | **P1** | Simple パターンは完成、薄いヘルパーとして残す |
+| `try_match_local_pattern` | if_select.rs | in_loop | **P1** | Local パターンは完成、薄いヘルパーとして残す |
+| `is_side_effect_free` | if_select.rs | in_loop | **P1** | 副作用なし判定は完成、薄いヘルパーとして残す |
+
+---
+
+## 優先度別サマリー
+
+### P1（最優先削減候補）: 18関数
+- **JoinIR Lowering系**: `try_lower_if_to_joinir`, `find_if_pattern`, `find_if_merge_pattern`, `lower_if_to_if_merge`, `lower_if_to_select`
+- **PhiBuilderBox系**: `set_if_context`（薄いラッパー削除候補）
+- **Context系**: `IfPhiContext::for_loop_body`, `is_carrier`
+- **PhiSpec系**: `compute_phi_spec_from_joinir`
+- **Emitter系**: `IfInLoopPhiEmitter::emit`, `emit_single_var_phi`, `emit_conditional_effect_phi`
+- **IfMerge/IfSelect ヘルパー**: `extract_written_vars`, `find_written_value`, `try_match_simple_pattern`, `try_match_local_pattern`, `is_side_effect_free`
+
+### P2（次期削減候補）: 5関数
+- **PhiBuilderBox系**: `generate_if_phis`, `compute_modified_names_if`, `get_conservative_if_values`
+- **PhiSpec系**: `extract_phi_spec_from_builder`, `compare_and_log_phi_specs`
+
+### P3（将来の削減候補）: 3関数
+- **Conservative系**: `ConservativeMerge::analyze`, `infer_type_from_phi`
+- **Context系**: `IfPhiContext::pure_if`
+
+---
+
+## Phase 61-6 実装推奨順序
+
+### Step 1: P1 薄いラッパー削除（~50行削減）
+1. `set_if_context`: loop_builder.rs から直接 `IfPhiContext::for_loop_body` 呼び出しに置き換え
+2. If Lowering ルーティング関数のデフォルト有効化（dev フラグ削除）
+
+### Step 2: P2 統合（~200行削減）
+1. `compute_modified_names_if`: JoinIR の modified 変数集合解析に統合
+2. `get_conservative_if_values`: incoming 値解決を PhiSpec に移行
+3. `extract_phi_spec_from_builder`, `compare_and_log_phi_specs`: A/B テスト完了後削除
+
+### Step 3: P3 延期（Phase 63+）
+1. `ConservativeMerge::analyze`: 型推論システム統合待ち
+2. `infer_type_from_phi`: JoinIR 型情報導入待ち
+3. `IfPhiContext::pure_if`: Pure If 経路統合待ち
+
+---
+
+## 期待される削減効果
+
+| Phase | 削減対象 | 見込み削減行数 | 累積削減 |
+|-------|---------|--------------|---------|
+| 61-6.1 | P1 ラッパー削除 | ~50 | 50 |
+| 61-6.2 | P2 統合 | ~200 | 250 |
+| 63+ | P3 型システム統合 | ~150 | 400 |
+
+---
+
+## 実装時の注意事項
+
+1. **Fail-Fast原則**: フォールバックなし、エラーは即座に失敗
+2. **決定的順序**: BTreeSet/BTreeMap で ValueId 割り当ての決定性保証
+3. **箱理論**: 境界を守りながら、SSOT を JoinIR 側に寄せる
+4. **テスト**: 各ステップで全 JoinIR tests PASS を確認
+5. **ドキュメント**: PHI_BOX_INVENTORY.md と CURRENT_TASK.md を更新
+
+---
+
+## 関連ドキュメント
+
+- Phase 61-1: [if_phi_context.rs](../../../src/mir/join_ir/lowering/if_phi_context.rs)
+- Phase 61-2: [if_phi_spec.rs](../../../src/mir/join_ir/lowering/if_phi_spec.rs)
+- Phase 61-3: [if_in_loop/mod.rs](../../../src/mir/join_ir/frontend/ast_lowerer/if_in_loop/mod.rs)
+- PHI Inventory: [PHI_BOX_INVENTORY.md](../../../docs/private/roadmap2/phases/phase-30-final-joinir-world/PHI_BOX_INVENTORY.md)
--- a/docs/development/current/main/phase61-5-summary.md
+++ b/docs/development/current/main/phase61-5-summary.md
@ -0,0 +1,131 @@
+# Phase 61-5: If PHI 削減計画策定 - サマリー
+
+## 目的
+Phase 61-3 で JoinIR 経路による If-in-Loop PHI 生成が完全動作したため、既存の If PHI 関数群を整理し、削減計画を策定する。
+
+---
+
+## 実施内容（4ステップ完了）
+
+### Phase 61-5.1: If PHI 関数リスト作成 ✅
+- **成果物**: [phase61-5-1-if-phi-function-list.md](phase61-5-1-if-phi-function-list.md)
+- **内容**: If PHI 関連の全関数を 3 カテゴリに分類
+  - PhiBuilderBox系: 4関数（set_if_context, generate_if_phis 等）
+  - JoinIR Lowering系: 14関数（try_lower_if_to_joinir, find_if_pattern 等）
+  - 補助系: 8関数（IfPhiContext, PhiSpec, Conservative 等）
+- **合計**: 26関数をリスト化
+
+### Phase 61-5.2: JoinIR カバレッジ調査 ✅
+- **成果物**: [phase61-5-2-if-phi-coverage-table.md](phase61-5-2-if-phi-coverage-table.md)
+- **内容**: 各関数の JoinIR カバレッジを調査
+  - `in_loop`: 完全カバー済み（18関数）
+  - `partial`: 部分カバー（5関数）
+  - `none`: 未カバー（3関数）
+- **重要発見**: If-in-Loop PHI は JoinIR で 100% カバー達成済み
+
+### Phase 61-5.3: 優先度表作成 ✅
+- **成果物**: [phase61-5-3-if-phi-priority-table.md](phase61-5-3-if-phi-priority-table.md)
+- **内容**: カバレッジ調査を基に削減優先度を設定
+  - **P1（最優先）**: 18関数 - 薄いラッパー、既に JoinIR で完全カバー
+  - **P2（次期候補）**: 5関数 - JoinIR 拡張で統合可能
+  - **P3（将来候補）**: 3関数 - 型システム統合待ち
+
+### Phase 61-5.4: 次フェーズ候補選定 ✅
+- **成果物**: [phase61-5.4-next-phase-candidates.md](phase61-5.4-next-phase-candidates.md)
+- **内容**: Phase 61-6 で削減する 3 個の候補を選定
+  1. **`set_if_context` 削除**（P1, 11行）- 最優先、最も安全
+  2. **If Lowering dev フラグ削除**（P1, 15行）- デフォルト有効化
+  3. **A/B テスト観察関数削除**（P2, 50行）- 最も削減効果が高い
+
+---
+
+## Phase 61-6 実装計画
+
+### Wave 1: P1 薄いラッパー削除（26行削減）
+1. `set_if_context` 削除
+   - `loop_builder/if_lowering.rs:259-262` で直接 `IfPhiContext::for_loop_body()` 呼び出しに置き換え
+   - リスク: 低
+2. If Lowering dev フラグ削除
+   - `joinir_if_select_enabled()` チェック削除、デフォルト有効化
+   - リスク: 中（全テスト PASS 必須）
+
+### Wave 2: P2 A/B テスト削除（50行削減）
+1. `extract_phi_spec_from_builder`, `compare_and_log_phi_specs` 削除
+   - if_lowering.rs の A/B 比較ロジック削除
+   - if_phi_spec.rs は `compute_phi_spec_from_joinir()` のみ残す
+   - リスク: 低（観察専用関数）
+
+### 期待削減効果
+- **合計**: 76行削減
+- **JoinIR SSOT**: PhiBuilderBox 経路の観察コード完全削除
+- **カバー率**: If-in-Loop PHI 100% JoinIR 化完了
+
+---
+
+## 保留候補（Phase 61-7+ で検討）
+
+### P2 大型統合（145行削減見込み）
+1. `compute_modified_names_if`: 変更変数検出を JoinIR に統合（~75行）
+2. `get_conservative_if_values`: incoming 値解決を PhiSpec に移行（~70行）
+
+### 保留理由
+- Phase 61-6 では最小限の削除に集中（リスク最小化）
+- P2 大型統合は Phase 61-7 で慎重に実装
+
+---
+
+## 技術的成果
+
+### 1. If PHI 関数の完全インベントリ作成
+- 26関数の全体像を把握
+- 責務とカバレッジを明確化
+- 削減優先度を定量的に決定
+
+### 2. JoinIR カバレッジ 100% 達成確認
+- If-in-Loop PHI は JoinIR で完全カバー
+- PhiBuilderBox 経路は観察用のみ
+- SSOT を JoinIR 側に完全移行済み
+
+### 3. 段階的削減計画の確立
+- P1（薄いラッパー）→ P2（統合）→ P3（型システム）の 3 段階
+- Wave 1（26行）→ Wave 2（50行）→ Phase 61-7（145行）の段階的実装
+- リスク最小化と削減効果のバランス
+
+---
+
+## 実装時の原則
+
+1. **Fail-Fast**: エラーは即座に失敗、フォールバック禁止
+2. **決定的順序**: BTreeSet/BTreeMap で ValueId 割り当ての決定性保証
+3. **箱理論**: SSOT を JoinIR 側に寄せる、PhiBuilderBox は最小限に
+4. **テスト**: 各ステップで全 JoinIR tests PASS を確認（268 tests）
+5. **ドキュメント**: PHI_BOX_INVENTORY.md と CURRENT_TASK.md を更新
+
+---
+
+## 関連ドキュメント
+
+### Phase 61-5 成果物
+- [phase61-5-1-if-phi-function-list.md](phase61-5-1-if-phi-function-list.md)
+- [phase61-5-2-if-phi-coverage-table.md](phase61-5-2-if-phi-coverage-table.md)
+- [phase61-5-3-if-phi-priority-table.md](phase61-5-3-if-phi-priority-table.md)
+- [phase61-5.4-next-phase-candidates.md](phase61-5.4-next-phase-candidates.md)
+
+### 関連 Phase
+- Phase 61-1: [if_phi_context.rs](../../../src/mir/join_ir/lowering/if_phi_context.rs) - If PHI Context 設計
+- Phase 61-2: [if_phi_spec.rs](../../../src/mir/join_ir/lowering/if_phi_spec.rs) - PHI Spec 抽象化
+- Phase 61-3: [if_in_loop/mod.rs](../../../src/mir/join_ir/frontend/ast_lowerer/if_in_loop/mod.rs) - If-in-Loop PHI Emitter
+- Phase 61-4: [phase61-4-toplevel-if-design.md](phase61-4-toplevel-if-design.md) - Toplevel If PHI 設計
+- PHI Inventory: [PHI_BOX_INVENTORY.md](../../../docs/private/roadmap2/phases/phase-30-final-joinir-world/PHI_BOX_INVENTORY.md)
+
+---
+
+## 次のステップ
+
+### 即座に実装可能（Phase 61-6）
+1. `set_if_context` 削除（11行、リスク低）
+2. If Lowering dev フラグ削除（15行、リスク中）
+3. A/B テスト観察関数削除（50行、リスク低）
+
+### 合計削減見込み: 76行
+### 期待成果: JoinIR SSOT 確立、PhiBuilderBox 観察コード完全削除
--- a/docs/development/current/main/phase61-5.4-next-phase-candidates.md
+++ b/docs/development/current/main/phase61-5.4-next-phase-candidates.md
@ -0,0 +1,113 @@
+# Phase 61-5.4: 次フェーズ候補選定（2〜3個）
+
+## 目的
+Phase 61-5.3 の優先度表から、Phase 61-6（If PHI JoinIR 化 第2弾）で触る候補を 2〜3 個だけ選定する。
+
+## 選定基準
+
+### P1 候補（薄いラッパー削除）
+- コード量が少ない（50行以下）
+- 依存関係が少ない
+- 削除による影響範囲が明確
+- テストが既存のもので十分
+
+### P2 候補（JoinIR 拡張）
+- PhiSpec や IfMerge との 1:1 対応が明確
+- 既存の JoinIR 構造に自然に統合できる
+- 削減効果が高い（100行以上）
+
+---
+
+## Phase 61-6 削減候補（2〜3個）
+
+### Phase 61-6.1: P1 薄いラッパー削除
+
+#### 1. **`set_if_context` 削除**
+   - **ファイル**: `src/mir/phi_core/phi_builder_box.rs:143-152`
+   - **削減見込み**: 10行（関数本体）+ 呼び出し側1行 = **11行**
+   - **実装方針**: `loop_builder/if_lowering.rs:259-262` で直接 `IfPhiContext::for_loop_body(true, carrier_names.clone())` を生成してフィールドに代入
+   - **リスク**: **低** - 単純なラッパー削除、既存ロジックに影響なし
+   - **備考**: 現在は `set_if_context()` → `IfPhiContext { in_loop_body, loop_carrier_names }` 構造体生成のみ
+
+#### 2. **If Lowering ルーティング関数のデフォルト有効化**
+   - **ファイル**: `src/mir/join_ir/lowering/mod.rs:132-141`
+   - **削減見込み**: dev フラグチェック削除 8行 + 環境変数関数削除 = **15行**
+   - **実装方針**: `joinir_if_select_enabled()` チェックを削除、デフォルトで有効化
+   - **リスク**: **中** - 全関数でデフォルト有効化されるため、テスト全通過が必須
+   - **備考**: 現在は `NYASH_JOINIR_IF_SELECT=1` で制御、Phase 33-8 で導入済み
+
+---
+
+### Phase 61-6.2: P2 JoinIR 拡張
+
+#### 3. **A/B テスト観察用関数の削除**
+   - **関数**: `extract_phi_spec_from_builder`, `compare_and_log_phi_specs`
+   - **ファイル**: `src/mir/join_ir/lowering/if_phi_spec.rs:97-140`
+   - **削減見込み**: 2関数 + テスト削除 = **50行**
+   - **実装方針**:
+     1. Phase 61-3 で JoinIR 経路が完全動作確認済み
+     2. `if_lowering.rs:273-290` の A/B 比較ロジック削除
+     3. `extract_phi_spec_from_builder()` と `compare_and_log_phi_specs()` 削除
+     4. if_phi_spec.rs は `compute_phi_spec_from_joinir()` のみ残す
+   - **リスク**: **低** - 観察専用関数、実行経路に影響なし
+   - **備考**: Phase 61-2 で導入、Phase 61-3 で検証完了済み
+
+---
+
+## 期待される効果
+
+| Wave | 削減対象 | 見込み削減行数 | 累積削減 |
+|------|---------|--------------|---------|
+| 61-6.1 | P1 薄いラッパー削除 (set_if_context) | 11 | 11 |
+| 61-6.1 | P1 dev フラグ削除 | 15 | 26 |
+| 61-6.2 | P2 A/B テスト削除 | 50 | **76** |
+
+### JoinIR カバー率
+- **現在**: If-in-Loop PHI 生成は JoinIR で 100% カバー（Phase 61-3 完了）
+- **61-6 後**: PhiBuilderBox 経路の観察コード削除、JoinIR SSOT 確立
+
+---
+
+## 実装順序
+
+### Wave 1: P1 削除（Phase 61-6.1）
+1. **`set_if_context` 削除** - 最優先（最も安全）
+2. **dev フラグ削除** - 全テストPASS確認後
+
+### Wave 2: P2 削除（Phase 61-6.2）
+1. **A/B テスト観察関数削除** - 最も削減効果が高い
+
+### 各 Wave の完了条件
+- Wave 1: 全 JoinIR tests PASS（268 tests）
+- Wave 2: if_phi_spec.rs が `compute_phi_spec_from_joinir()` のみに（観察コード完全削除）
+
+---
+
+## 実装時の注意事項
+
+1. **Fail-Fast原則**: エラーは即座に失敗、フォールバック禁止
+2. **決定的順序**: BTreeSet/BTreeMap で ValueId 割り当ての決定性保証
+3. **箱理論**: SSOT を JoinIR 側に寄せる、PhiBuilderBox は最小限に
+4. **テスト**: 各ステップで全 JoinIR tests PASS を確認
+5. **ドキュメント**: PHI_BOX_INVENTORY.md と CURRENT_TASK.md を更新
+
+---
+
+## 保留候補（Phase 61-7+ で検討）
+
+### P2 候補（Phase 61-7 で検討）
+1. **`compute_modified_names_if`** - 変更変数検出を JoinIR の modified 変数集合解析に統合（~75行削減）
+2. **`get_conservative_if_values`** - incoming 値解決を PhiSpec に移行、void fallback 削除（~70行削減）
+
+### 保留理由
+- Phase 61-6 では最小限の削除に集中（76行削減）
+- P2 大型統合は Phase 61-7 で慎重に実装（145行削減見込み）
+
+---
+
+## 関連ドキュメント
+
+- Phase 61-5.3: [if-phi-priority-table.md](phase61-5-3-if-phi-priority-table.md)
+- PHI Inventory: [PHI_BOX_INVENTORY.md](../../../docs/private/roadmap2/phases/phase-30-final-joinir-world/PHI_BOX_INVENTORY.md)
+- If PHI Context: [if_phi_context.rs](../../../src/mir/join_ir/lowering/if_phi_context.rs)
+- If PHI Spec: [if_phi_spec.rs](../../../src/mir/join_ir/lowering/if_phi_spec.rs)