nyash-codex
c4d25e7773
feat(phi): __pin$変数の完全除外でValueId(313)→(300)に改善!
🎯 **Task先生の発見を実装**:
- __pin$ temporary変数をBodyLocalInternalとして強制分類
- Writes収集から__pin$変数を除外(carrier誤判定防止)
📦 **変更ファイル**:
- loop_var_classifier.rs: Priority 0で__pin$変数を自動BodyLocalInternal分類
- loop_builder.rs: Writes収集で__pin$除外
- loop_.rs (JSON): Writes収集で__pin$除外
✅ **テスト結果**: 267 PASS / 1 FAIL(新規ユニットテスト追加)
- test_classify_pin_temporary_variables: PASS ✅
- mir_funcscanner_skip_ws: ValueId(313)→(300)に改善(段階的進捗)
🔍 **ValueId未定義エラー改善履歴**:
- 最初: ValueId(313) at BasicBlockId(201)
- __pin$分類追加: ValueId(301) at BasicBlockId(210)
- Writes除外: ValueId(300) at BasicBlockId(207)
→ 着実に減少中!
📋 **完了ステップ**:
✅ Step 5-1: Writes集合収集(__pin$除外追加)
✅ Step 5-2: ValueId比較ロジック
✅ Step 5-4: φ縮約実装
✅ Step 5-5-A: PHI pred mismatch解決
✅ Step 5-5-B-partial: __pin$変数問題部分解決
🎯 **次のステップ**: ValueId(300)根本原因特定(Continue merge PHI実装検討)
2025-11-20 14:14:37 +09:00
..
2025-11-20 14:14:37 +09:00
2025-11-03 23:21:48 +09:00
2025-11-18 18:56:35 +09:00
2025-09-18 13:35:38 +09:00
2025-11-06 15:41:52 +09:00
2025-11-18 18:56:35 +09:00
2025-09-28 12:19:49 +09:00
2025-11-06 15:41:52 +09:00
2025-11-18 18:56:35 +09:00
2025-11-09 23:40:36 +09:00
2025-11-18 18:56:35 +09:00
2025-11-18 18:56:35 +09:00
2025-11-18 18:56:35 +09:00
2025-11-05 18:57:03 +09:00
2025-11-07 19:32:44 +09:00
2025-11-18 18:56:35 +09:00
2025-11-18 18:56:35 +09:00
2025-11-18 18:56:35 +09:00
2025-11-18 18:56:35 +09:00
2025-09-17 07:43:07 +09:00
2025-09-18 13:35:38 +09:00