2692eafbbf
## 実装内容（Step 1-3 完全達成） ### Step 1: src/mir/join_ir.rs 型定義追加 - **JoinFuncId / JoinContId**: 関数・継続ID型 - **JoinFunction**: 関数（引数 = φノード） - **JoinInst**: Call/Jump/Ret/Compute 最小命令セット - **MirLikeInst**: 算術・比較命令ラッパー - **JoinModule**: 複数関数保持コンテナ - **単体テスト**: 型サニティチェック追加 ### Step 2: テストケース追加 - **apps/tests/joinir_min_loop.hako**: 最小ループ＋breakカナリア - **src/tests/mir_joinir_min.rs**: 手書きJoinIR構築テスト - MIR → JoinIR手動構築で型妥当性確認 - #[ignore] で手動実行専用化 - NYASH_JOINIR_EXPERIMENT=1 トグル制御 ### Step 3: 環境変数トグル実装 - **NYASH_JOINIR_EXPERIMENT=1**: 実験モード有効化 - **デフォルト挙動**: 既存MIR/LoopForm経路のみ（破壊的変更なし） - **トグルON時**: JoinIR手書き構築テスト実行 ## Phase 26-H スコープ遵守 ✅ 型定義のみ（変換ロジックは未実装） ✅ 最小限の命令セット ✅ Debug 出力で妥当性確認 ✅ 既存パイプライン無影響 ## テスト結果 ``` $ NYASH_JOINIR_EXPERIMENT=1 cargo test --release mir_joinir_min_manual_construction -- --ignored --nocapture [joinir/min] MIR module compiled, 3 functions [joinir/min] JoinIR module constructed: [joinir/min] ✅ JoinIR型定義は妥当（Phase 26-H） test result: ok. 1 passed; 0 failed ``` ## JoinIR理論の実証 - **φノード = 関数引数**: `fn loop_step(i, k_exit)` - **merge = join関数**: 分岐後の合流点 - **ループ = 再帰関数**: `loop_step` 自己呼び出し - **break = 継続呼び出し**: `k_exit(i)` ## 次フェーズ (Phase 27.x) - LoopForm v2 → JoinIR 自動変換実装 - break/continue ハンドリング - Exit PHI の JoinIR 引数化 🌟 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com> Co-Authored-By: ChatGPT <noreply@openai.com>
27 lines
504 B
Plaintext
27 lines
504 B
Plaintext
// JoinIR カナリアテスト — 最小ループ＋break
|
||
// Phase 26-H: JoinIR 型定義妥当性確認用
|
||
//
|
||
// 期待される JoinIR イメージ:
|
||
// fn main(k_exit) {
|
||
// loop_step(0, k_exit)
|
||
// }
|
||
//
|
||
// fn loop_step(i, k_exit) {
|
||
// if i >= 2 {
|
||
// k_exit(i) // break
|
||
// } else {
|
||
// loop_step(i + 1, k_exit) // continue
|
||
// }
|
||
// }
|
||
|
||
static box JoinIrMin {
|
||
main() {
|
||
local i = 0
|
||
loop(i < 3) {
|
||
if i >= 2 { break }
|
||
i = i + 1
|
||
}
|
||
return i
|
||
}
|
||
}
|