tomoaki
c2e8099ff6
Extract block ID allocation pattern from joinir_block_converter.rs into dedicated block_allocator.rs module (~130 lines). New BlockAllocator struct provides: - allocate_one(): Single block ID - allocate_two(): Pair (exit + continue pattern) - allocate_three(): Triple (then + else + merge pattern) - allocate_n(): N block IDs for nested structures - 5 unit tests This eliminates 4x repeated allocation pattern across: - handle_conditional_method_call() lines 259-265 - handle_jump() lines 484-487 - handle_if_merge() lines 630-635 - handle_nested_if_merge() lines 731-744 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
88 lines
2.5 KiB
Rust
88 lines
2.5 KiB
Rust
//! Phase 27-shortterm S-4: JoinIR → Rust VM Bridge
|
||
//!
|
||
//! 目的: JoinIR（正規化された IR）を Rust VM で実行するブリッジ層
|
||
//!
|
||
//! ## Architecture
|
||
//! ```text
|
||
//! JoinIR (normalized) → MirModule → Rust VM → Result
|
||
//! ↑ ↑ ↑
|
||
//! PHI bugs VM input Execution
|
||
//! eliminated format (GC, plugins)
|
||
//! ```
|
||
//!
|
||
//! ## Design Principles
|
||
//! - JoinIR の正規化構造を保持したまま VM に渡す
|
||
//! - マッピングだけで済ませる（JoinIR でやった正規化は消えない）
|
||
//! - VM の機能（GC、プラグイン、エラーハンドリング）を活用
|
||
//!
|
||
//! ## Minimal Instruction Set (S-4.3)
|
||
//! - **Compute**: Const, BinOp, Compare
|
||
//! - **BoxCall**: StringBox メソッド呼び出し
|
||
//! - **Call/Jump/Ret**: 制御フロー
|
||
//!
|
||
//! Phase 27-shortterm scope: skip_ws で green 化できれば成功
|
||
|
||
use crate::backend::VMError;
|
||
use crate::mir::join_ir::JoinFuncId;
|
||
|
||
#[macro_use]
|
||
mod logging {
|
||
macro_rules! debug_log {
|
||
($($arg:tt)*) => {
|
||
if crate::config::env::joinir_vm_bridge_debug() {
|
||
eprintln!($($arg)*);
|
||
}
|
||
};
|
||
}
|
||
}
|
||
|
||
mod convert;
|
||
// Phase 190: Modular converters
|
||
mod block_allocator; // Phase 260 P0.2: Block ID allocation utility
|
||
mod bridge;
|
||
mod joinir_block_converter;
|
||
mod joinir_function_converter;
|
||
mod meta;
|
||
#[cfg(feature = "normalized_dev")]
|
||
mod normalized_bridge;
|
||
mod runner;
|
||
|
||
#[cfg(test)]
|
||
mod tests;
|
||
|
||
// Phase 190: Use modularized converters
|
||
pub(crate) use bridge::{bridge_joinir_to_mir, bridge_joinir_to_mir_with_meta};
|
||
#[allow(unused_imports)]
|
||
pub(crate) use convert::convert_joinir_to_mir;
|
||
pub(crate) use convert::convert_mir_like_inst; // helper for sub-modules
|
||
pub(crate) use joinir_function_converter::JoinIrFunctionConverter;
|
||
pub use meta::convert_join_module_to_mir_with_meta;
|
||
#[cfg(feature = "normalized_dev")]
|
||
pub(crate) use normalized_bridge::lower_normalized_to_mir_minimal;
|
||
pub use runner::run_joinir_via_vm;
|
||
|
||
/// Phase 27-shortterm S-4 エラー型
|
||
#[derive(Debug, Clone)]
|
||
pub struct JoinIrVmBridgeError {
|
||
pub message: String,
|
||
}
|
||
|
||
impl JoinIrVmBridgeError {
|
||
pub fn new(msg: impl Into<String>) -> Self {
|
||
Self {
|
||
message: msg.into(),
|
||
}
|
||
}
|
||
}
|
||
|
||
impl From<VMError> for JoinIrVmBridgeError {
|
||
fn from(err: VMError) -> Self {
|
||
JoinIrVmBridgeError::new(format!("VM error: {:?}", err))
|
||
}
|
||
}
|
||
|
||
/// JoinFuncId から MIR 用の関数名を生成
|
||
pub(crate) fn join_func_name(id: JoinFuncId) -> String {
|
||
format!("join_func_{}", id.0)
|
||
}
|