|
|
8750186e55
|
chore: Phase 26-H セッション完了 - 全ドキュメント更新
Phase 26-H 完了内容:
✅ JoinIR 型定義実装（src/mir/join_ir.rs）
✅ MIR → JoinIR 自動変換実装（lower_min_loop_to_joinir）
✅ 自動変換テスト実装（mir_joinir_min_auto_lowering）
✅ PHI/Loop箱 → JoinIR 移行対応表追加（loopform_ssot.md）
ドキュメント更新:
- Phase 27 JoinIR タスク計画追加
- Phase 26-H タスク完了記録
- 各種 README 更新（進捗反映）
- CURRENT_TASK.md 更新
コミット統計: $(git status --short | wc -l) files changed
次のステップ: Phase 27 一般化 MIR → JoinIR 変換
|
2025-11-23 05:53:27 +09:00 |
|
|
|
f9d100ce01
|
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
Phase 25.1 完了成果:
- ✅ LoopForm v2 テスト・ドキュメント・コメント完備
- 4ケース（A/B/C/D）完全テストカバレッジ
- 最小再現ケース作成（SSAバグ調査用）
- SSOT文書作成（loopform_ssot.md）
- 全ソースに [LoopForm] コメントタグ追加
- ✅ Stage-1 CLI デバッグ環境構築
- stage1_cli.hako 実装
- stage1_bridge.rs ブリッジ実装
- デバッグツール作成（stage1_debug.sh/stage1_minimal.sh）
- アーキテクチャ改善提案文書
- ✅ 環境変数削減計画策定
- 25変数の完全調査・分類
- 6段階削減ロードマップ（25→5、80%削減）
- 即時削除可能変数特定（NYASH_CONFIG/NYASH_DEBUG）
Phase 26-D からの累積変更:
- PHI実装改善（ExitPhiBuilder/HeaderPhiBuilder等）
- MIRビルダーリファクタリング
- 型伝播・最適化パス改善
- その他約300ファイルの累積変更
🎯 技術的成果:
- SSAバグ根本原因特定（条件分岐内loop変数変更）
- Region+next_iパターン適用完了（UsingCollectorBox等）
- LoopFormパターン文書化・テスト化完了
- セルフホスティング基盤強化
Co-Authored-By: Claude <noreply@anthropic.com>
Co-Authored-By: ChatGPT <noreply@openai.com>
Co-Authored-By: Task Assistant <task@anthropic.com>
|
2025-11-21 06:25:17 +09:00 |
|
|
|
461bdec45a
|
feat(phi): Step 5-5-H完了 - Phantom block検証＋PHI決定性向上
✅ Step 5-5-H: exit_preds検証でphantom block除外
- loop_snapshot_merge.rs line 268: CFG実在チェック追加
✅ PHI生成決定性向上（4ファイル）
- HashMap/HashSet → BTreeMap/BTreeSet変換
- if_phi.rs, loop_phi.rs, loop_snapshot_merge.rs, loopform_builder.rs
✅ 根本原因分析完了（Task先生調査）
- ValueId変動の真因: HashMap非決定的イテレーション
- 詳細: docs/development/current/main/valueid-*.md
📊 テスト結果: 267/268 PASS（退行なし）
- mir_funcscanner_skip_ws: 非決定性残存（variable_map由来）
- 後続タスクで対応予定
🎉 PHI Bug Option C実装ほぼ完了！
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude <noreply@anthropic.com>
|
2025-11-20 17:10:03 +09:00 |
|
|
|
3a82633924
|
refactor(funcscanner): Region+next_i パターン統一 & SSA テスト追加
**FuncScanner .hako 側改善**:
- scan_all_boxes を Region + next_i 形式に統一（continue 多発による SSA/PHI 複雑さ削減）
- インデント修正（タブ→スペース統一）
- デバッグ print 削除
**SSA テスト追加**:
- lang/src/compiler/tests/funcscanner_scan_methods_min.hako
- src/tests/mir_funcscanner_ssa.rs (scan_methods & fib_min SSA デバッグテスト)
**Phase 25.3 ドキュメント**:
- docs/development/roadmap/phases/phase-25.3-funcscanner/ 追加
**関連**: Phase 25.3 FuncScanner 箱化準備作業
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude <noreply@anthropic.com>
|
2025-11-20 06:38:43 +09:00 |
|
