hakorune

tomoaki/hakorune

Fork 0

Commit Graph

Author	SHA1	Message	Date
nyash-codex	1747ec976c	refactor(json_v0_bridge): Phase 25.1p - FunctionDefBuilder箱化＋me予約修正【変更内容】 1. FunctionDefBuilder 箱化（SSOT化） - インスタンスメソッド判定の一元化 - パラメータ ValueId 生成の統一 - 変数マップ初期化の統一 2. ValueId(0) me 予約バグ修正 - is_instance_method() で box_name != "Main" 判定 - インスタンスメソッドは me を ValueId(0) に予約 - variable_map["me"] = ValueId(0) を自動設定 3. コード削減・可読性向上 - 60行 → 40行（関数定義処理） - 重複ロジック削除 - デバッグログ追加（is_instance表示）【効果】 - json_v0_bridge 経路の ValueId(0) 未定義エラー解消 - Stage-B compiler で static box メソッドが正しく動作 - 設計の一貫性向上（me の扱いが明確）【非スコープ】 - Rust MirBuilder 側は未修正（Phase 26で統一予定） - lower_static_method_as_function は現状維持関連: Phase 25.1m (静的メソッド修正), Phase 25.1c/k (SSA修正) 🐱 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>	2025-11-19 10:08:04 +09:00
nyash-codex	77fc670cd3	refactor(mir): Phase 25.1n - レガシーコード削除（未使用コード整理）削減内容: - loop_builder.rs: incomplete_phis, emit_safepoint, mark_block_sealed (-28行) - builder.rs: hint_loop_, debug_loop_, debug_replace_region (-28行) - builder/loops.rs: create_loop_blocks (-9行) 成果: - コード削減: 65行の未使用コード削除 - 警告削減: 7個 → 2個 (71%削減) - 機能維持: すべてのテスト通過 ✅ 削除されたレガシーAPI: - incomplete_phis フィールド (LoopFormBuilder移行後未使用) - emit_safepoint() メソッド (未使用) - mark_block_sealed() メソッド (未使用) - hint_loop_header/latch/carrier() (ヒントシステム未使用) - debug_next_loop_id() (デバッグ機能未使用) - debug_replace_region() (デバッグ機能未使用) - create_loop_blocks() (LoopForm v2移行後未使用) 🧹 箱化・モジュール化の第一歩として未使用コード整理完了 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>	2025-11-19 08:35:56 +09:00
nyash-codex	a95fedf26a	fix(mir): Phase 25.1m - Continue PHI修正 & Bug A main(args)ループ修正 Phase 25.1m: Continue PHI修正 - seal_phis に continue_snapshots 入力を追加 (loopform_builder.rs) - LoopShape::debug_validate に continue/break エッジ検証追加 (control_form.rs) - test_seal_phis_includes_continue_snapshots テスト追加 - 実証テスト成功: balanced scan loop で 228回イテレーション確認 Bug A修正: main(args) でループ未実行問題 - LoopBuilder::build_loop で entry → preheader への jump 追加 - decls.rs でデュアル関数作成時のブロック接続修正 - mir_static_main_args_loop.rs テスト追加パーサー改善: - parser_box.hako に HAKO_PARSER_PROG_MAX ガード追加（無限ループ対策） 🎉 成果: - Continue 文の PHI predecessor mismatch エラー完全解消 - main(args) パラメータ有りループが正常動作 - Stage-B balanced scan で continue 正常動作確認 (228回イテレーション) 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>	2025-11-19 08:04:43 +09:00

Author

SHA1

Message

Date

nyash-codex

1747ec976c

refactor(json_v0_bridge): Phase 25.1p - FunctionDefBuilder箱化＋me予約修正

【変更内容】
1. FunctionDefBuilder 箱化（SSOT化）
   - インスタンスメソッド判定の一元化
   - パラメータ ValueId 生成の統一
   - 変数マップ初期化の統一

2. ValueId(0) me 予約バグ修正
   - is_instance_method() で box_name != "Main" 判定
   - インスタンスメソッドは me を ValueId(0) に予約
   - variable_map["me"] = ValueId(0) を自動設定

3. コード削減・可読性向上
   - 60行 → 40行（関数定義処理）
   - 重複ロジック削除
   - デバッグログ追加（is_instance表示）

【効果】
- json_v0_bridge 経路の ValueId(0) 未定義エラー解消
- Stage-B compiler で static box メソッドが正しく動作
- 設計の一貫性向上（me の扱いが明確）

【非スコープ】
- Rust MirBuilder 側は未修正（Phase 26で統一予定）
- lower_static_method_as_function は現状維持

関連: Phase 25.1m (静的メソッド修正), Phase 25.1c/k (SSA修正)

🐱 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>

2025-11-19 10:08:04 +09:00

nyash-codex

77fc670cd3

refactor(mir): Phase 25.1n - レガシーコード削除（未使用コード整理）

**削減内容**:
- loop_builder.rs: incomplete_phis, emit_safepoint, mark_block_sealed (-28行)
- builder.rs: hint_loop_*, debug_loop_*, debug_replace_region (-28行)
- builder/loops.rs: create_loop_blocks (-9行)

**成果**:
- コード削減: 65行の未使用コード削除
- 警告削減: 7個 → 2個 (71%削減)
- 機能維持: すべてのテスト通過 ✅

**削除されたレガシーAPI**:
- incomplete_phis フィールド (LoopFormBuilder移行後未使用)
- emit_safepoint() メソッド (未使用)
- mark_block_sealed() メソッド (未使用)
- hint_loop_header/latch/carrier() (ヒントシステム未使用)
- debug_next_loop_id() (デバッグ機能未使用)
- debug_replace_region() (デバッグ機能未使用)
- create_loop_blocks() (LoopForm v2移行後未使用)

🧹 箱化・モジュール化の第一歩として未使用コード整理完了

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>

2025-11-19 08:35:56 +09:00

nyash-codex

a95fedf26a

fix(mir): Phase 25.1m - Continue PHI修正 & Bug A main(args)ループ修正

**Phase 25.1m: Continue PHI修正**
- seal_phis に continue_snapshots 入力を追加 (loopform_builder.rs)
- LoopShape::debug_validate に continue/break エッジ検証追加 (control_form.rs)
- test_seal_phis_includes_continue_snapshots テスト追加
- 実証テスト成功: balanced scan loop で 228回イテレーション確認

**Bug A修正: main(args) でループ未実行問題**
- LoopBuilder::build_loop で entry → preheader への jump 追加
- decls.rs でデュアル関数作成時のブロック接続修正
- mir_static_main_args_loop.rs テスト追加

**パーサー改善**:
- parser_box.hako に HAKO_PARSER_PROG_MAX ガード追加（無限ループ対策）

🎉 成果:
- Continue 文の PHI predecessor mismatch エラー完全解消
- main(args) パラメータ有りループが正常動作
- Stage-B balanced scan で continue 正常動作確認 (228回イテレーション)

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>

2025-11-19 08:04:43 +09:00

3 Commits