hakorune

tomoaki/hakorune

Fork 0

Commit Graph

Author	SHA1	Message	Date
nyash-codex	7a9b23c9d1	feat(joinir): Phase 27-shortterm S-4.1~S-4.3 - JoinIR→VM Bridge基本実装 ## S-4.1: VM インターフェース調査 - VMValue 型定義確認 (Integer, Bool, String, Void, BoxRef) - VM API 確認 (execute_module, stats_counters) - Task tool による詳細レポート取得 ## S-4.2: JoinValue ↔ VMValue 変換関数実装新規追加: src/mir/join_ir_ops.rs (+121行) - JoinValue::to_vm_value() - 4型すべて対応 - JoinValue::from_vm_value() - エラーハンドリング付き - Float/Future/BoxRef は非対応（エラー返却） - 包括的テスト追加 (正常系・異常系) ## S-4.3: join_ir_vm_bridge.rs 基本構造実装新規ファイル: src/mir/join_ir_vm_bridge.rs (350行) ### Public API - run_joinir_via_vm() - JoinIR モジュールを VM で実行 ### JoinIR → MIR 変換 - convert_joinir_to_mir() - JoinModule → MirModule - convert_join_function_to_mir() - JoinFunction → MirFunction - convert_mir_like_inst() - Compute命令変換 ### 最小実装スコープ (Phase 27-shortterm) ✅ Compute 命令 (Const, BinOp, Compare, BoxCall) ✅ Ret 命令 ⏳ Call/Jump 命令 (TODO: S-4.4 で実装) ### 設計方針 - JoinIR の正規化構造 (Pinned/Carrier, Exit φ) を保持 - マッピングだけで済ませる（正規化は消えない） - VM の機能 (GC, plugins, error handling) を活用 ## コンパイル ✅ 完全成功 (0エラー) ## 次のステップ S-4.4: skip_ws で A/B テスト green 化 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>	2025-11-24 06:16:45 +09:00
nyash-codex	78c9d4d7fc	feat(joinir): Phase 27.8-1~3 — Ops Box導入 + Toggle対応完了 ## Phase 27.8-1: JoinIR 命令意味箱（Ops Box）作成 ✅ 新規ファイル: `src/mir/join_ir_ops.rs` - `eval_binop()`: Add, Sub, Mul, Div, Or, And の評価ロジック一元化 - `eval_compare()`: Lt, Le, Gt, Ge, Eq, Ne の比較ロジック一元化 - エラー処理: `JoinIrOpError` 型で型安全 - 完全テストカバレッジ: 13個のユニットテスト効果: - BinOp/Compare の評価ロジックを一箇所に集約 - 再利用可能な API で将来の拡張が容易 - テスタビリティ向上 ## Phase 27.8-2: join_ir_runner.rs の Ops Box 統合 ✅ 変更: `src/mir/join_ir_runner.rs` - BinOp/Compare の実装を ops box に完全移譲（約70行削減） - `JoinValue` / `JoinIrOpError` を ops box から再エクスポート - 後方互換性維持: `JoinRuntimeError = JoinIrOpError` 効果: - コード重複削減（約70行） - 実装の一貫性保証（ops box の単一実装を使用） ## Phase 27.8-3: MIR→JoinIR Toggle 対応 ✅ 変更: `src/mir/join_ir.rs` - `lower_skip_ws_to_joinir()`: トグル対応ディスパッチャー - `lower_skip_ws_handwritten()`: 既存実装をリネーム（Phase 27.1-27.7） - `lower_skip_ws_from_mir()`: MIR自動解析版スタブ（Phase 27.8-4 で実装予定）環境変数制御: ```bash # 手書き版（デフォルト） ./target/release/hakorune program.hako # MIR自動解析版（Phase 27.8-4 実装予定） NYASH_JOINIR_LOWER_FROM_MIR=1 ./target/release/hakorune program.hako ``` 効果: - 段階的な移行が可能（既存動作を完全に維持） - A/B テストによる検証が容易 ## 変更ファイル - `src/mir/join_ir_ops.rs` (新規): Ops Box 実装 - `src/mir/join_ir_runner.rs`: Ops Box 使用に変更 - `src/mir/join_ir.rs`: Toggle 対応ディスパッチャー追加 - `src/mir/mod.rs`: join_ir_ops モジュール追加 ## コンパイル結果 ✅ 0 errors, 18 warnings（既存警告のみ） ✅ ビルド成功 ## 次のステップ Phase 27.8-4: `lower_skip_ws_from_mir()` 本実装 - MirQuery を使った MIR 解析 - パターンマッチング（init, header, break checks, body） - JoinIR 自動生成（entry function + loop_step function） 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>	2025-11-23 14:47:00 +09:00

Author

SHA1

Message

Date

nyash-codex

7a9b23c9d1

feat(joinir): Phase 27-shortterm S-4.1~S-4.3 - JoinIR→VM Bridge基本実装

## S-4.1: VM インターフェース調査
- VMValue 型定義確認 (Integer, Bool, String, Void, BoxRef)
- VM API 確認 (execute_module, stats_counters)
- Task tool による詳細レポート取得

## S-4.2: JoinValue ↔ VMValue 変換関数実装
**新規追加**: src/mir/join_ir_ops.rs (+121行)
- JoinValue::to_vm_value() - 4型すべて対応
- JoinValue::from_vm_value() - エラーハンドリング付き
  - Float/Future/BoxRef は非対応（エラー返却）
- 包括的テスト追加 (正常系・異常系)

## S-4.3: join_ir_vm_bridge.rs 基本構造実装
**新規ファイル**: src/mir/join_ir_vm_bridge.rs (350行)

### Public API
- run_joinir_via_vm() - JoinIR モジュールを VM で実行

### JoinIR → MIR 変換
- convert_joinir_to_mir() - JoinModule → MirModule
- convert_join_function_to_mir() - JoinFunction → MirFunction
- convert_mir_like_inst() - Compute命令変換

### 最小実装スコープ (Phase 27-shortterm)
✅ Compute 命令 (Const, BinOp, Compare, BoxCall)
✅ Ret 命令
⏳ Call/Jump 命令 (TODO: S-4.4 で実装)

### 設計方針
- JoinIR の正規化構造 (Pinned/Carrier, Exit φ) を保持
- マッピングだけで済ませる（正規化は消えない）
- VM の機能 (GC, plugins, error handling) を活用

## コンパイル
✅ 完全成功 (0エラー)

## 次のステップ
S-4.4: skip_ws で A/B テスト green 化

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

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

2025-11-24 06:16:45 +09:00

nyash-codex

78c9d4d7fc

feat(joinir): Phase 27.8-1~3 — Ops Box導入 + Toggle対応完了

## Phase 27.8-1: JoinIR 命令意味箱（Ops Box）作成 ✅

**新規ファイル**: `src/mir/join_ir_ops.rs`
- `eval_binop()`: Add, Sub, Mul, Div, Or, And の評価ロジック一元化
- `eval_compare()`: Lt, Le, Gt, Ge, Eq, Ne の比較ロジック一元化
- エラー処理: `JoinIrOpError` 型で型安全
- 完全テストカバレッジ: 13個のユニットテスト

**効果**:
- BinOp/Compare の評価ロジックを一箇所に集約
- 再利用可能な API で将来の拡張が容易
- テスタビリティ向上

## Phase 27.8-2: join_ir_runner.rs の Ops Box 統合 ✅

**変更**: `src/mir/join_ir_runner.rs`
- BinOp/Compare の実装を ops box に完全移譲（約70行削減）
- `JoinValue` / `JoinIrOpError` を ops box から再エクスポート
- 後方互換性維持: `JoinRuntimeError = JoinIrOpError`

**効果**:
- コード重複削減（約70行）
- 実装の一貫性保証（ops box の単一実装を使用）

## Phase 27.8-3: MIR→JoinIR Toggle 対応 ✅

**変更**: `src/mir/join_ir.rs`
- `lower_skip_ws_to_joinir()`: トグル対応ディスパッチャー
- `lower_skip_ws_handwritten()`: 既存実装をリネーム（Phase 27.1-27.7）
- `lower_skip_ws_from_mir()`: MIR自動解析版スタブ（Phase 27.8-4 で実装予定）

**環境変数制御**:
```bash
# 手書き版（デフォルト）
./target/release/hakorune program.hako

# MIR自動解析版（Phase 27.8-4 実装予定）
NYASH_JOINIR_LOWER_FROM_MIR=1 ./target/release/hakorune program.hako
```

**効果**:
- 段階的な移行が可能（既存動作を完全に維持）
- A/B テストによる検証が容易

## 変更ファイル

- `src/mir/join_ir_ops.rs` (新規): Ops Box 実装
- `src/mir/join_ir_runner.rs`: Ops Box 使用に変更
- `src/mir/join_ir.rs`: Toggle 対応ディスパッチャー追加
- `src/mir/mod.rs`: join_ir_ops モジュール追加

## コンパイル結果

✅ 0 errors, 18 warnings（既存警告のみ）
✅ ビルド成功

## 次のステップ

**Phase 27.8-4**: `lower_skip_ws_from_mir()` 本実装
- MirQuery を使った MIR 解析
- パターンマッチング（init, header, break checks, body）
- JoinIR 自動生成（entry function + loop_step function）

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

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

2025-11-23 14:47:00 +09:00

2 Commits