65 lines
2.5 KiB
Rust
65 lines
2.5 KiB
Rust
|
//! Fallback executor for LLVM mode (mock/legacy)
|
||
|
|
//!
|
||
|
|
//! Handles fallback execution when LLVM backends are not available.
|
||
|
|
|
||
|
|
use nyash_rust::{mir::MirModule, mir::MirInstruction};
|
||
|
|
|
||
|
|
/// Fallback executor Box
|
||
|
|
///
|
||
|
|
/// **Responsibility**: Execute fallback path (feature check + mock)
|
||
|
|
/// **Input**: &MirModule
|
||
|
|
/// **Output**: i32 (exit code)
|
||
|
|
pub struct FallbackExecutorBox;
|
||
|
|
|
||
|
|
impl FallbackExecutorBox {
|
||
|
|
/// Execute fallback path (feature check + mock)
|
||
|
|
///
|
||
|
|
/// Fail-fast: if the user explicitly requested the llvmlite harness
|
||
|
|
/// but this binary was built without the `llvm-harness` feature,
|
||
|
|
/// do not silently fall back to mock.
|
||
|
|
///
|
||
|
|
/// Otherwise, executes mock execution that inspects the MIR
|
||
|
|
/// and returns a deterministic exit code based on Return instructions.
|
||
|
|
pub fn execute(module: &MirModule) -> i32 {
|
||
|
|
// Fail-fast: if the user explicitly requested the llvmlite harness
|
||
|
|
// but this binary was built without the `llvm-harness` feature,
|
||
|
|
// do not silently fall back to mock.
|
||
|
|
if crate::config::env::env_bool("NYASH_LLVM_USE_HARNESS") {
|
||
|
|
crate::console_println!(
|
||
|
|
"❌ LLVM harness requested (NYASH_LLVM_USE_HARNESS=1), but this binary was built without `--features llvm` (llvm-harness)."
|
||
|
|
);
|
||
|
|
crate::console_println!(
|
||
|
|
" Fix: cargo build --release --features llvm"
|
||
|
|
);
|
||
|
|
return 1;
|
||
|
|
}
|
||
|
|
|
||
|
|
crate::console_println!("🔧 Mock LLVM Backend Execution:");
|
||
|
|
crate::console_println!(" Build with --features llvm for real backend.");
|
||
|
|
|
||
|
|
// NamingBox SSOT: Select entry (arity-aware, Main.main → main fallback)
|
||
|
|
let entry = crate::runner::modes::common_util::entry_selection::select_entry_function(module);
|
||
|
|
|
||
|
|
if let Some(main_func) = module.functions.get(&entry) {
|
||
|
|
for (_bid, block) in &main_func.blocks {
|
||
|
|
for inst in &block.instructions {
|
||
|
|
match inst {
|
||
|
|
MirInstruction::Return { value: Some(_) } => {
|
||
|
|
crate::console_println!("✅ Mock exit code: 42");
|
||
|
|
return 42;
|
||
|
|
}
|
||
|
|
MirInstruction::Return { value: None } => {
|
||
|
|
crate::console_println!("✅ Mock exit code: 0");
|
||
|
|
return 0;
|
||
|
|
}
|
||
|
|
_ => {}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
crate::console_println!("✅ Mock exit code: 0");
|
||
|
|
0
|
||
|
|
}
|
||
|
|
}
|