7c68f710d3
Establish If lowering infrastructure with dedicated JOINIR_IF_TARGETS table, separate from loop lowering (JOINIR_TARGETS). Implementation: - Add JOINIR_IF_TARGETS table with 6 representative functions - Add is_if_lowered_function() for table-based lookup - Update is_if_mainline_target() to use table (SSOT) - Update is_joinir_if_toplevel_target() with table-first lookup - Export via join_ir_vm_bridge_dispatch public API Representative functions: - IfSelectTest.test/1 (simple return pattern) - IfSelectLocalTest.main/0 (local variable pattern) - IfMergeTest.simple_true/0, simple_false/0 (multiple variables) - JsonShapeToMap._read_value_from_pair/1 (Stage-1 production) - Stage1JsonScannerBox.value_start_after_key_pos/2 (Stage-B production) Architecture: Loop/If separation complete (1関数につき1 lowering) Verification: All representative paths pass with NYASH_JOINIR_DEBUG=1 Phase 184 complete → Phase 185+ ready 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>
92 lines
3.5 KiB
Rust
92 lines
3.5 KiB
Rust
//! Phase 30 F-4.4: JoinIR VM Bridge Dispatch
|
||
//!
|
||
//! VM runner から JoinIR 詳細を隠蔽し、関数名ベースのルーティングを一箇所に集約する。
|
||
//!
|
||
//! ## Phase 32 L-4: Descriptor テーブル導入
|
||
//!
|
||
//! 関数名→役割のマッピングを `JOINIR_TARGETS` テーブルで管理し、
|
||
//! 「どの関数が Exec（実行可能）か LowerOnly（検証のみ）か」を明示する。
|
||
//!
|
||
//! 将来は LoopScopeShape / ExitAnalysis ベースの構造判定に差し替え予定。
|
||
|
||
mod env_flags;
|
||
mod exec_routes;
|
||
mod lower_only_routes;
|
||
mod targets;
|
||
|
||
use env_flags::JoinIrEnvFlags;
|
||
use exec_routes::{try_run_skip_ws, try_run_trim};
|
||
use lower_only_routes::{
|
||
try_run_stage1_usingresolver, try_run_stageb_body, try_run_stageb_funcscanner,
|
||
};
|
||
use targets::find_joinir_target;
|
||
pub use targets::{
|
||
is_if_lowered_function, JoinIrBridgeKind, JoinIrTargetDesc, JOINIR_IF_TARGETS, JOINIR_TARGETS,
|
||
};
|
||
|
||
use crate::mir::MirModule;
|
||
|
||
/// JoinIR VM ブリッジ候補を判定し、マッチすれば JoinIR→VM を実行する。
|
||
///
|
||
/// # Arguments
|
||
/// - `module`: MIR モジュール
|
||
/// - `quiet_pipe`: 出力を抑制するかどうか
|
||
///
|
||
/// # Returns
|
||
/// - `true`: JoinIR 経路で実行完了（process::exit 呼び出し済み）
|
||
/// - `false`: JoinIR 経路は使わない（通常 VM にフォールバック）
|
||
///
|
||
/// # Phase 32 L-4: テーブル駆動ルーティング
|
||
///
|
||
/// `JOINIR_TARGETS` テーブルから対象関数を探し、`JoinIrBridgeKind` に応じて
|
||
/// Exec（実行）または LowerOnly（検証のみ）のパスに分岐する。
|
||
pub fn try_run_joinir_vm_bridge(module: &MirModule, quiet_pipe: bool) -> bool {
|
||
let flags = JoinIrEnvFlags::from_env();
|
||
let strict = crate::config::env::joinir_strict_enabled();
|
||
|
||
// Phase 32 L-4: テーブルから対象関数を探す
|
||
let Some(target) = find_joinir_target(module) else {
|
||
return false;
|
||
};
|
||
|
||
// Phase 80: Core ON 時は本線化対象として判定
|
||
let core_mainline =
|
||
crate::mir::join_ir::lowering::should_try_joinir_mainline(target.func_name, true);
|
||
|
||
// Phase 32 L-4: 有効化条件チェック
|
||
// - Phase 80: Core ON + 本線対象 OR
|
||
// - env フラグが有効 OR
|
||
// - default_enabled=true の対象関数
|
||
let is_enabled = core_mainline || flags.is_bridge_enabled() || target.default_enabled;
|
||
if !is_enabled {
|
||
return false;
|
||
}
|
||
|
||
// Phase 32 L-4: テーブル駆動ディスパッチ
|
||
// 関数名でルーティング（将来は lowering テーブルベースに差し替え予定）
|
||
let handled = match target.func_name {
|
||
"Main.skip/1" => try_run_skip_ws(module, quiet_pipe),
|
||
"FuncScannerBox.trim/1" => try_run_trim(module, quiet_pipe),
|
||
"Stage1UsingResolverBox.resolve_for_source/5" => try_run_stage1_usingresolver(module),
|
||
"StageBBodyExtractorBox.build_body_src/2" => try_run_stageb_body(module),
|
||
"StageBFuncScannerBox.scan_all_boxes/1" => try_run_stageb_funcscanner(module),
|
||
_ => false,
|
||
};
|
||
|
||
if !handled {
|
||
// Phase 80/81: Strict mode では本線対象関数の失敗でパニック
|
||
let should_panic =
|
||
crate::mir::join_ir::lowering::should_panic_on_joinir_failure(target.func_name, true);
|
||
if strict || should_panic {
|
||
eprintln!(
|
||
"[joinir/bridge] ERROR: target={} lowering/exec failed (strict, no fallback)",
|
||
target.func_name
|
||
);
|
||
std::process::exit(1);
|
||
} else {
|
||
return false;
|
||
}
|
||
}
|
||
true
|
||
}
|