hakorune

tomoaki/hakorune

Fork 0

Commit Graph

Author	SHA1	Message	Date
nyash-codex	948f22a03a	feat(phi): Phase 26-F-2 - 箱理論による責務分離（IfBodyLocalMergeBox新設）箱理論による問題解決: - ❌ 問題: LoopVarClassBox（ループスコープ分析）とif-merge処理が混在 - ✅ 解決: if-merge専用箱を新設して責務分離新箱: IfBodyLocalMergeBox: - 責務: if-merge専用のbody-local φ候補決定 - ロジック: - 両腕に存在する変数を検出 - pre_ifと比較して値が変わった変数のみ - empty elseは空リスト返す - 特徴: LocalScopeInspector不要、LoopVarClassBox不使用変更ファイル: - src/mir/phi_core/if_body_local_merge.rs: 新規作成（IfBodyLocalMergeBox） - src/mir/phi_core/phi_builder_box.rs: IfBodyLocalMergeBox使用に切り替え - src/mir/phi_core/body_local_phi_builder.rs: filter_if_merge_candidates()削除 - src/mir/loop_builder.rs: BodyLocalPhiBuilder setup削除 - src/mir/phi_core/mod.rs: if_body_local_merge追加テスト結果: - Passed: 353→354 (+1) ✅ - Failed: 14→14 (退行なし) 既知の問題: - domination error依然残存（%48 in bb48 from bb52） - 次フェーズで調査・修正予定技術詳細: - ChatGPT箱理論分析による設計 - A案ベースのシンプル実装 - 責務明確化: ループスコープ分析 vs if-merge専用処理	2025-11-22 11:03:21 +09:00
nyash-codex	cbe6bf0140	feat(phi): Phase 26-F Step 1 & 3 - BodyLocal if-merge統合（WIP - 過剰フィルタリング発生中） Step 1完了: - body_local_phi_builder.rs: filter_if_merge_candidates() API追加 - pre_if/then_end/else_end_opt/reachable_preds受け取り - LoopVarClassBox使用して変数分類 Step 3完了: - loop_builder.rs: BodyLocalPhiBuilder作成・PhiBuilderBoxに設定 - phi_builder_box.rs: IfPhiContext拡張・set_body_local_filter()実装 - compute_modified_names_if()でフィルタリング適用問題: LocalScopeInspectorBox空のため全候補フィルタリング（0 candidates）技術詳細: - inspector定義記録なし → classify誤判定 → 全変数BodyLocalInternal扱い - テスト結果: bb54/bb52→bb38/bb36/bb32（ブロック番号変化＝PHI生成影響あり） - mir_stage1_using_resolver_modules_map_continue_break_with_lookup_verifies: PASS - mir_stage1_using_resolver_resolve_with_modules_map_verifies: FAIL（domination error残存）次のステップ: 1. filter_if_merge_candidates()単純実装（inspector不要） 2. または変数定義トラッキング実装 3. ChatGPT相談推奨	2025-11-22 09:05:31 +09:00

Author

SHA1

Message

Date

nyash-codex

948f22a03a

feat(phi): Phase 26-F-2 - 箱理論による責務分離（IfBodyLocalMergeBox新設）

**箱理論による問題解決**:
- ❌ 問題: LoopVarClassBox（ループスコープ分析）とif-merge処理が混在
- ✅ 解決: if-merge専用箱を新設して責務分離

**新箱: IfBodyLocalMergeBox**:
- 責務: if-merge専用のbody-local φ候補決定
- ロジック:
  - 両腕に存在する変数を検出
  - pre_ifと比較して値が変わった変数のみ
  - empty elseは空リスト返す
- 特徴: LocalScopeInspector不要、LoopVarClassBox不使用

**変更ファイル**:
- src/mir/phi_core/if_body_local_merge.rs: 新規作成（IfBodyLocalMergeBox）
- src/mir/phi_core/phi_builder_box.rs: IfBodyLocalMergeBox使用に切り替え
- src/mir/phi_core/body_local_phi_builder.rs: filter_if_merge_candidates()削除
- src/mir/loop_builder.rs: BodyLocalPhiBuilder setup削除
- src/mir/phi_core/mod.rs: if_body_local_merge追加

**テスト結果**:
- Passed: 353→354 (+1) ✅
- Failed: 14→14 (退行なし)

**既知の問題**:
- domination error依然残存（%48 in bb48 from bb52）
- 次フェーズで調査・修正予定

技術詳細:
- ChatGPT箱理論分析による設計
- A案ベースのシンプル実装
- 責務明確化: ループスコープ分析 vs if-merge専用処理

2025-11-22 11:03:21 +09:00

nyash-codex

cbe6bf0140

feat(phi): Phase 26-F Step 1 & 3 - BodyLocal if-merge統合（WIP - 過剰フィルタリング発生中）

Step 1完了:
- body_local_phi_builder.rs: filter_if_merge_candidates() API追加
- pre_if/then_end/else_end_opt/reachable_preds受け取り
- LoopVarClassBox使用して変数分類

Step 3完了:
- loop_builder.rs: BodyLocalPhiBuilder作成・PhiBuilderBoxに設定
- phi_builder_box.rs: IfPhiContext拡張・set_body_local_filter()実装
- compute_modified_names_if()でフィルタリング適用

**問題**: LocalScopeInspectorBox空のため全候補フィルタリング（0 candidates）

技術詳細:
- inspector定義記録なし → classify誤判定 → 全変数BodyLocalInternal扱い
- テスト結果: bb54/bb52→bb38/bb36/bb32（ブロック番号変化＝PHI生成影響あり）
- mir_stage1_using_resolver_modules_map_continue_break_with_lookup_verifies: PASS
- mir_stage1_using_resolver_resolve_with_modules_map_verifies: FAIL（domination error残存）

次のステップ:
1. filter_if_merge_candidates()単純実装（inspector不要）
2. または変数定義トラッキング実装
3. ChatGPT相談推奨

2025-11-22 09:05:31 +09:00

2 Commits