nu_engine/

eval_ir.rs

use std::{borrow::Cow, fs::File, sync::Arc};

use nu_path::{dots::expand_ndots_safe, expand_path, expand_path_with, expand_tilde};
#[cfg(feature = "os")]
use nu_protocol::process::check_exit_status_future;
use nu_protocol::{
    CompareTypes, DeclId, ENV_VARIABLE_ID, Flag, IntoPipelineData, IntoSpanned, LabeledError,
    ListStream, OutDest, PipelineData, PipelineExecutionData, PositionalArg, Range, Record, RegId,
    ShellError, Signals, Signature, Span, Spanned, Type, Value, VarId,
    ast::{Bits, Block, Boolean, CellPath, Comparison, Math, Operator},
    combined_type_string,
    debugger::DebugContext,
    engine::{
        Argument, Closure, EngineState, EnvName, ErrorHandler, Matcher, Redirection, Stack,
        StateWorkingSet, TryHandler,
    },
    ir::{Call, DataSlice, Instruction, IrAstRef, IrBlock, Literal, RedirectMode},
    shell_error::{generic::GenericError, io::IoError},
};
use nu_utils::IgnoreCaseExt;

use crate::{
    ENV_CONVERSIONS, convert_env_vars, eval::is_automatic_env_var, eval_block_with_early_return,
    named_flags::normalize_engine_arguments,
};

/// For `def --wrapped` and `known extern` rest params (`SyntaxShape::ExternalArgument`), convert
/// non-glob `Value::Glob` values to `Value::String`, expanding tilde and ndots in the process.
/// This mirrors what `run-external` does in `eval_external_arguments`, so that `$args | to nuon`
/// returns expanded paths instead of the raw `~` / `...` tokens, while also ensuring that plain
/// bare-word strings (e.g. `test`) are reported as strings rather than globs.
fn expand_external_glob_arg(val: Value) -> Value {
    if let Value::Glob {
        val: ref s,
        no_expand,
        internal_span,
        ..
    } = val
        && !no_expand
        && !nu_glob::is_glob(s)
    {
        let expanded = expand_ndots_safe(expand_tilde(s.as_str()));
        return Value::string(expanded.to_string_lossy().into_owned(), internal_span);
    }
    val
}

pub fn eval_ir_block<D: DebugContext>(
    engine_state: &EngineState,
    stack: &mut Stack,
    block: &Block,
    input: PipelineData,
) -> Result<PipelineExecutionData, ShellError> {
    // Rust does not check recursion limits outside of const evaluation.
    // But nu programs run in the same process as the shell.
    // To prevent a stack overflow in user code from crashing the shell,
    // we limit the recursion depth of function calls.
    let maximum_call_stack_depth: u64 = engine_state.config.recursion_limit as u64;
    if stack.recursion_count > maximum_call_stack_depth {
        return Err(ShellError::RecursionLimitReached {
            recursion_limit: maximum_call_stack_depth,
            span: block.span,
        });
    }

    // Whole-block locals (closures / custom commands / top-level script).
    let pushed_scope = if let Some(bindings) = &block.scope_bindings {
        stack.push_scope_bindings(bindings.clone());
        true
    } else {
        false
    };

    // Install this IR block's inlined-scope regions; restore any outer IR state on leave
    // so nested `eval_ir_block` (e.g. custom command call) does not clobber the caller.
    let saved_regions = std::mem::take(&mut stack.ir_scope_regions);
    let saved_pc = stack.ir_instruction_index.take();

    let result = eval_ir_block_inner::<D>(engine_state, stack, block, input);

    stack.ir_scope_regions = saved_regions;
    stack.ir_instruction_index = saved_pc;
    if pushed_scope {
        stack.pop_scope_bindings();
    }
    result
}

fn eval_ir_block_inner<D: DebugContext>(
    engine_state: &EngineState,
    stack: &mut Stack,
    block: &Block,
    input: PipelineData,
) -> Result<PipelineExecutionData, ShellError> {
    if let Some(ir_block) = &block.ir_block {
        D::enter_block(engine_state, block);

        stack.ir_scope_regions = ir_block.scope_regions.clone();
        stack.ir_instruction_index = None;

        let args_base = stack.arguments.get_base();
        let error_handler_base = stack.error_handlers.get_base();

        // Allocate and initialize registers. I've found that it's not really worth trying to avoid
        // the heap allocation here by reusing buffers - our allocator is fast enough
        let mut registers = Vec::with_capacity(ir_block.register_count as usize);
        for _ in 0..ir_block.register_count {
            registers.push(PipelineExecutionData::empty());
        }

        // Initialize file storage.
        let mut files = vec![None; ir_block.file_count as usize];

        let result = eval_ir_block_impl::<D>(
            &mut EvalContext {
                engine_state,
                stack,
                data: &ir_block.data,
                block_span: &block.span,
                args_base,
                error_handler_base,
                finally_resumes: vec![],
                redirect_out: None,
                redirect_err: None,
                matches: vec![],
                registers: &mut registers[..],
                files: &mut files[..],
            },
            ir_block,
            input,
        );

        stack.error_handlers.leave_frame(error_handler_base);
        stack.arguments.leave_frame(args_base);
        stack.ir_instruction_index = None;

        D::leave_block(engine_state, block);

        result
    } else {
        // FIXME blocks having IR should not be optional
        let error = if let Some(span) = block.span {
            ShellError::Generic(
                GenericError::new(
                    "Can't evaluate block in IR mode",
                    "block is missing compiled representation",
                    span,
                )
                .with_help("the IrBlock is probably missing due to a compilation error"),
            )
        } else {
            ShellError::Generic(
                GenericError::new_internal(
                    "Can't evaluate block in IR mode",
                    "block is missing compiled representation",
                )
                .with_help("the IrBlock is probably missing due to a compilation error"),
            )
        };
        Err(error)
    }
}

/// All of the pointers necessary for evaluation
struct EvalContext<'a> {
    engine_state: &'a EngineState,
    stack: &'a mut Stack,
    data: &'a Arc<[u8]>,
    /// The span of the block
    block_span: &'a Option<Span>,
    /// Base index on the argument stack to reset to after a call
    args_base: usize,
    /// Base index on the error handler stack to reset to after a call
    error_handler_base: usize,
    /// One entry per `finally` block that is currently running in this frame (innermost last):
    /// the control flow it interrupted and has to resume at `end-finally`, or `None` if it was
    /// entered by falling through from `try`/`catch`. Mirrors the [`TryHandler::RunningFinally`]
    /// markers on the handler stack.
    finally_resumes: Vec<Option<Unwind>>,
    /// State set by redirect-out
    redirect_out: Option<Redirection>,
    /// State set by redirect-err
    redirect_err: Option<Redirection>,
    /// Scratch space to use for `match`
    matches: Vec<(VarId, Value)>,
    /// Intermediate pipeline data storage used by instructions, indexed by RegId
    registers: &'a mut [PipelineExecutionData],
    /// Holds open files used by redirections
    files: &'a mut [Option<Arc<File>>],
}

impl<'a> EvalContext<'a> {
    /// Replace the contents of a register with a new value
    #[inline]
    fn put_reg(&mut self, reg_id: RegId, new_value: PipelineExecutionData) {
        // log::trace!("{reg_id} <- {new_value:?}");
        self.registers[reg_id.get() as usize] = new_value;
    }

    /// Borrow the contents of a register.
    #[inline]
    fn borrow_reg(&self, reg_id: RegId) -> &PipelineData {
        &self.registers[reg_id.get() as usize]
    }

    /// Replace the contents of a register with `Empty` and then return the value that it contained
    #[inline]
    fn take_reg(&mut self, reg_id: RegId) -> PipelineExecutionData {
        // log::trace!("<- {reg_id}");
        std::mem::replace(
            &mut self.registers[reg_id.get() as usize],
            PipelineExecutionData::empty(),
        )
    }

    /// Clone data from a register. Must be collected first.
    fn clone_reg(&mut self, reg_id: RegId, error_span: Span) -> Result<PipelineData, ShellError> {
        // NOTE: here just clone the inner PipelineData
        // it's suitable for current usage.
        match &self.registers[reg_id.get() as usize].body {
            PipelineData::Empty => Ok(PipelineData::empty()),
            PipelineData::Value(val, meta) => Ok(PipelineData::value(val.clone(), meta.clone())),
            _ => Err(ShellError::IrEvalError {
                msg: "Must collect to value before using instruction that clones from a register"
                    .into(),
                span: Some(error_span),
            }),
        }
    }

    /// Clone a value from a register. Must be collected first.
    fn clone_reg_value(&mut self, reg_id: RegId, fallback_span: Span) -> Result<Value, ShellError> {
        match self.clone_reg(reg_id, fallback_span)? {
            PipelineData::Empty => Ok(Value::nothing(fallback_span)),
            PipelineData::Value(val, _) => Ok(val),
            _ => unreachable!("clone_reg should never return stream data"),
        }
    }

    /// Take and implicitly collect a register to a value
    ///
    /// It doesn't check exit status when collecting.
    fn collect_reg(&mut self, reg_id: RegId, fallback_span: Span) -> Result<Value, ShellError> {
        // NOTE: collect_reg is used to collect the reg to a variable.
        // So it's good to pick the inner PipelineData directly, and drop the ExitStatus queue.
        #[cfg(feature = "os")]
        let body = {
            let mut data = self.take_reg(reg_id);
            data.exit.clear();
            data.body
        };
        #[cfg(not(feature = "os"))]
        let body = self.take_reg(reg_id).body;
        let span = body.span().unwrap_or(fallback_span);
        body.into_value(span)
    }

    /// Get a string from data or produce evaluation error if it's invalid UTF-8
    fn get_str(&self, slice: DataSlice, error_span: Span) -> Result<&'a str, ShellError> {
        std::str::from_utf8(&self.data[slice]).map_err(|_| ShellError::IrEvalError {
            msg: format!("data slice does not refer to valid UTF-8: {slice:?}"),
            span: Some(error_span),
        })
    }
}

/// Eval an IR block on the provided slice of registers.
fn eval_ir_block_impl<D: DebugContext>(
    ctx: &mut EvalContext<'_>,
    ir_block: &IrBlock,
    input: PipelineData,
) -> Result<PipelineExecutionData, ShellError> {
    if !ctx.registers.is_empty() {
        ctx.registers[0] = PipelineExecutionData::from(input);
    }

    // Program counter, starts at zero.
    let mut pc = 0;
    let need_backtrace = ctx.engine_state.get_env_var("NU_BACKTRACE").is_some();

    while pc < ir_block.instructions.len() {
        let instruction = &ir_block.instructions[pc];
        let span = &ir_block.spans[pc];
        let ast = &ir_block.ast[pc];

        // So `scope` can match inlined keyword-body bindings via ScopeRegion.
        ctx.stack.ir_instruction_index = Some(pc);

        D::enter_instruction(ctx.engine_state, ctx.stack, ir_block, pc, ctx.registers);

        let result = eval_instruction::<D>(ctx, instruction, span, ast, need_backtrace);

        D::leave_instruction(
            ctx.engine_state,
            ctx.stack,
            ir_block,
            pc,
            ctx.registers,
            result.as_ref().err(),
        );

        // Control flow that leaves the current `try` body goes through `unwind`, which runs the
        // handlers in order and either lands on one of them or leaves the block.
        let unwind = match result {
            Ok(InstructionResult::Continue) => {
                pc += 1;
                continue;
            }
            Ok(InstructionResult::Branch(next_pc)) => {
                pc = next_pc;
                continue;
            }
            Ok(InstructionResult::Return(reg_id)) => return Ok(ctx.take_reg(reg_id)),
            Ok(InstructionResult::ReturnEarly(reg_id)) => {
                // The data is flagged as an early return. The nearest custom command or closure
                // call clears that flag; top-level file evaluation reads it to skip `main`.
                Unwind::Return(ctx.take_reg(reg_id).with_early_return())
            }
            Ok(InstructionResult::UnwindJump { index, handlers }) => {
                Unwind::Jump { index, handlers }
            }
            Ok(InstructionResult::EndFinally) => {
                match ctx.stack.error_handlers.pop(ctx.error_handler_base) {
                    Some(TryHandler::RunningFinally) => {}
                    handler => {
                        return Err(ShellError::IrEvalError {
                            msg: format!(
                                "end-finally expected a running finally handler, found {handler:?}"
                            ),
                            span: Some(*span),
                        });
                    }
                }
                match ctx.finally_resumes.pop() {
                    // Entered from `try`/`catch` normally: carry on after the block.
                    Some(None) => {
                        pc += 1;
                        continue;
                    }
                    // Entered by unwinding: pick up where that left off.
                    Some(Some(unwind)) => unwind,
                    None => {
                        return Err(ShellError::IrEvalError {
                            msg: "end-finally without a matching begin-finally".into(),
                            span: Some(*span),
                        });
                    }
                }
            }
            // These block control related errors should be passed through
            Err(err @ (ShellError::Continue { .. } | ShellError::Break { .. })) => {
                return Err(err);
            }
            // `exit --abort` leaves immediately, without running `finally` blocks
            Err(err @ ShellError::Exit { abort: true, .. }) => return Err(err),
            Err(err) => Unwind::Error(err.into_spanned(*span)),
        };

        match unwind_through_handlers(ctx, unwind, *span, need_backtrace) {
            Unwound::Branch(next_pc) => pc = next_pc,
            Unwound::Return(result) => return *result,
        }
    }

    // Fell out of the loop, without encountering a Return.
    Err(ShellError::IrEvalError {
        msg: format!(
            "Program counter out of range (pc={pc}, len={len})",
            len = ir_block.instructions.len(),
        ),
        span: *ctx.block_span,
    })
}

/// Control flow that is leaving a `try` body and has to pass through its handlers first.
#[derive(Debug)]
enum Unwind {
    /// An error propagating outward, with the span of the instruction that raised it. This
    /// includes `exit`, which only `finally` handlers get to see.
    Error(Spanned<ShellError>),
    /// A `return`, carrying its (early-return flagged) value.
    Return(PipelineExecutionData),
    /// A `break` or `continue`: jump to `index` once `handlers` more entries have been unwound.
    Jump { index: usize, handlers: usize },
}

/// Where evaluation continues after [`unwind_through_handlers`].
enum Unwound {
    /// Continue at this instruction: a handler took over, or a jump reached its target.
    Branch(usize),
    /// No handler is left in this frame: leave the block with this result.
    Return(Box<Result<PipelineExecutionData, ShellError>>),
}

/// Pop handlers off the `try` handler stack until one takes over the unwinding control flow,
/// or until there are none left in this frame.
///
/// A `catch` handler takes over errors (but not `exit`). A `finally` handler takes over
/// everything: the pending control flow is stashed in `finally_resumes` and picked up again
/// by `end-finally`. Unwinding out of a `finally` block that is itself running abandons what
/// that block was going to resume, so e.g. `return` inside `finally` wins over the error that
/// led there.
fn unwind_through_handlers(
    ctx: &mut EvalContext<'_>,
    mut unwind: Unwind,
    span: Span,
    need_backtrace: bool,
) -> Unwound {
    loop {
        if let Unwind::Jump { index, handlers: 0 } = unwind {
            return Unwound::Branch(index);
        }

        let Some(handler) = ctx.stack.error_handlers.pop(ctx.error_handler_base) else {
            return Unwound::Return(Box::new(match unwind {
                Unwind::Error(err) if need_backtrace => {
                    Err(ShellError::into_chained(err.item, err.span))
                }
                Unwind::Error(err) => Err(err.item),
                Unwind::Return(data) => Ok(data),
                Unwind::Jump { .. } => Err(ShellError::IrEvalError {
                    msg: "unwind-jump ran out of handlers before reaching its target".into(),
                    span: Some(span),
                }),
            }));
        };

        if let Unwind::Jump { handlers, .. } = &mut unwind {
            *handlers -= 1;
        }

        match handler {
            TryHandler::Catch(handler) => match unwind {
                // `exit` is not something `catch` can handle; only `finally` runs for it.
                Unwind::Error(err) if !matches!(err.item, ShellError::Exit { .. }) => {
                    reset_signals_if_interrupted(ctx, &err.item);
                    prepare_error_handler(ctx, handler, Some(err));
                    return Unwound::Branch(handler.handler_index);
                }
                // Anything else just discards the `catch` handler on its way out.
                _ => {}
            },
            TryHandler::Finally(handler) => {
                // `finally` must not start until the value being returned has been fully
                // produced: collect it first, like `try-collect` does on the fall-through path.
                if let Unwind::Return(data) = unwind {
                    #[cfg(feature = "os")]
                    let collected = collect(data, span, false);
                    #[cfg(not(feature = "os"))]
                    let collected = collect(data, span);
                    unwind = match collected {
                        Ok(body) => {
                            Unwind::Return(PipelineExecutionData::from(body).with_early_return())
                        }
                        Err(err) => Unwind::Error(err.into_spanned(span)),
                    };
                }
                // The block gets to see the error that led to it (but not `exit`), otherwise
                // its register is set to empty.
                let error = match &unwind {
                    Unwind::Error(err) if !matches!(err.item, ShellError::Exit { .. }) => {
                        reset_signals_if_interrupted(ctx, &err.item);
                        Some(err.clone())
                    }
                    _ => None,
                };
                prepare_error_handler(ctx, handler, error);
                ctx.stack.error_handlers.push(TryHandler::RunningFinally);
                ctx.finally_resumes.push(Some(unwind));
                return Unwound::Branch(handler.handler_index);
            }
            TryHandler::RunningFinally => {
                // Leaving a running `finally` block: whatever it was going to resume is replaced
                // by this unwinding.
                ctx.finally_resumes.pop();
            }
        }
    }
}

/// An interrupt (ctrl-c) that is about to be handled by `catch` or `finally` must not keep
/// interrupting the handler block itself.
fn reset_signals_if_interrupted(ctx: &EvalContext<'_>, err: &ShellError) {
    #[cfg(unix)]
    let is_terminated_by_signal = matches!(err, ShellError::TerminatedBySignal { .. });
    #[cfg(not(unix))]
    let is_terminated_by_signal = false;

    if matches!(err, ShellError::Interrupted { .. }) || is_terminated_by_signal {
        ctx.engine_state.signals().reset();
    }
}

/// Prepare the context for an error handler
fn prepare_error_handler(
    ctx: &mut EvalContext<'_>,
    error_handler: ErrorHandler,
    error: Option<Spanned<ShellError>>,
) {
    if let Some(reg_id) = error_handler.error_register {
        if let Some(error) = error {
            // Stack state has to be updated for stuff like LAST_EXIT_CODE
            ctx.stack.set_last_error(&error.item);
            // Create the error value and put it in the register
            ctx.put_reg(
                reg_id,
                PipelineExecutionData::from(
                    error
                        .item
                        .into_full_value(
                            &StateWorkingSet::new(ctx.engine_state),
                            ctx.stack,
                            error.span,
                        )
                        .into_pipeline_data(),
                ),
            );
        } else {
            // Set the register to empty
            ctx.put_reg(reg_id, PipelineExecutionData::empty());
        }
    }
}

/// The result of performing an instruction. Describes what should happen next
#[derive(Debug)]
enum InstructionResult {
    Continue,
    Branch(usize),
    Return(RegId),
    /// Return from the block before reaching the end, carrying the full register contents.
    ///
    /// Unlike `Return`, this runs any pending `finally` handlers before the value leaves the
    /// block, and flags the resulting data as an early return. The flag exists for one consumer:
    /// top-level file evaluation, which reads it to skip `main`. Custom command calls and closure
    /// invocations clear the flag instead, so a `return` in a nested call can't leak out and be
    /// mistaken for a `return` at the current level.
    ReturnEarly(RegId),
    /// Jump to `index` after unwinding `handlers` entries of the `try` handler stack, running
    /// any `finally` blocks among them.
    UnwindJump {
        index: usize,
        handlers: usize,
    },
    /// Leave a `finally` block, resuming whatever control flow led into it.
    EndFinally,
}

fn eval_instruction<D: DebugContext>(
    ctx: &mut EvalContext<'_>,
    instruction: &Instruction,
    span: &Span,
    ast: &Option<IrAstRef>,
    need_backtrace: bool,
) -> Result<InstructionResult, ShellError> {
    use self::InstructionResult::*;

    // Check for interrupt if necessary
    instruction.check_interrupt(ctx.engine_state, span)?;

    // See the docs for `Instruction` for more information on what these instructions are supposed
    // to do.
    match instruction {
        Instruction::Unreachable => Err(ShellError::IrEvalError {
            msg: "Reached unreachable code".into(),
            span: Some(*span),
        }),
        Instruction::LoadLiteral { dst, lit } => load_literal(ctx, *dst, lit, *span),
        Instruction::LoadValue { dst, val } => {
            ctx.put_reg(
                *dst,
                PipelineExecutionData::from(Value::clone(val).into_pipeline_data()),
            );
            Ok(Continue)
        }
        Instruction::Move { dst, src } => {
            let val = ctx.take_reg(*src);
            ctx.put_reg(*dst, val);
            Ok(Continue)
        }
        Instruction::Clone { dst, src } => {
            let data = ctx.clone_reg(*src, *span)?;
            ctx.put_reg(*dst, PipelineExecutionData::from(data));
            Ok(Continue)
        }
        Instruction::Collect { src_dst } => {
            let data = ctx.take_reg(*src_dst);
            #[cfg(feature = "os")]
            let value = collect(data, *span, true)?;
            #[cfg(not(feature = "os"))]
            let value = collect(data, *span)?;
            ctx.put_reg(*src_dst, PipelineExecutionData::from(value));
            Ok(Continue)
        }
        Instruction::TryCollect { src_dst } => {
            let data = ctx.take_reg(*src_dst);
            #[cfg(feature = "os")]
            let value = collect(data, *span, false)?;
            #[cfg(not(feature = "os"))]
            let value = collect(data, *span)?;
            ctx.put_reg(*src_dst, PipelineExecutionData::from(value));
            Ok(Continue)
        }
        Instruction::Span { src_dst } => {
            let mut data = ctx.take_reg(*src_dst);
            data.body = data.body.with_span(*span);
            ctx.put_reg(*src_dst, data);
            Ok(Continue)
        }
        Instruction::Drop { src } => {
            ctx.take_reg(*src);
            Ok(Continue)
        }
        Instruction::Drain { src } => {
            let data = ctx.take_reg(*src);
            drain(ctx, data)
        }
        Instruction::DrainIfEnd { src } => {
            let data = ctx.take_reg(*src);
            let res = drain_if_end(ctx, data)?;
            ctx.put_reg(*src, PipelineExecutionData::from(res));
            Ok(Continue)
        }
        Instruction::LoadVariable {
            dst,
            var_id,
            preserve_origin,
        } => {
            // Restore pipeline metadata for `$ans` (e.g. ls path_columns / colors on `.last`).
            // Truncation warning is deferred until after print so data is visible first.
            let data = if *var_id == nu_protocol::LAST_VARIABLE_ID {
                ctx.stack.defer_last_result_truncation_warning();
                ctx.stack.last_result_pipeline_data(*span)
            } else if *preserve_origin {
                // Keep definition span (e.g. `metadata $x`).
                let value = ctx
                    .stack
                    .get_var_with_origin(*var_id, *span)
                    .or_else(|err| {
                        if let Some(const_val) = ctx.engine_state.get_constant(*var_id).cloned() {
                            Ok(const_val)
                        } else {
                            Err(err)
                        }
                    })?;
                value.into_pipeline_data()
            } else {
                let value = get_var(ctx, *var_id, *span)?;
                value.into_pipeline_data()
            };
            ctx.put_reg(*dst, PipelineExecutionData::from(data));
            Ok(Continue)
        }
        Instruction::StoreVariable { var_id, src } => {
            let value = ctx.collect_reg(*src, *span)?;
            // Perform runtime type checking and conversion for variable assignment
            if nu_experimental::ENFORCE_RUNTIME_ANNOTATIONS.get() {
                let variable = ctx.engine_state.get_var(*var_id);
                let converted_value = check_assignment_type(value, &variable.ty, *span)?;
                ctx.stack.add_var(*var_id, converted_value);
            } else {
                ctx.stack.add_var(*var_id, value);
            }
            Ok(Continue)
        }
        Instruction::DropVariable { var_id } => {
            ctx.stack.remove_var(*var_id);
            Ok(Continue)
        }
        Instruction::LoadEnv { dst, key } => {
            let key = ctx.get_str(*key, *span)?;
            if let Some(value) = get_env_var(ctx, key) {
                let new_value = value.clone().into_pipeline_data();
                ctx.put_reg(*dst, PipelineExecutionData::from(new_value));
                Ok(Continue)
            } else {
                // FIXME: using the same span twice, shouldn't this really be
                // EnvVarNotFoundAtRuntime? There are tests that depend on CantFindColumn though...
                Err(ShellError::CantFindColumn {
                    col_name: key.into(),
                    span: Some(*span),
                    src_span: *span,
                })
            }
        }
        Instruction::LoadEnvOpt { dst, key } => {
            let key = ctx.get_str(*key, *span)?;
            let value = get_env_var(ctx, key)
                .cloned()
                .unwrap_or(Value::nothing(*span));
            ctx.put_reg(
                *dst,
                PipelineExecutionData::from(value.into_pipeline_data()),
            );
            Ok(Continue)
        }
        Instruction::StoreEnv { key, src } => {
            let key = ctx.get_str(*key, *span)?;
            let value = ctx.collect_reg(*src, *span)?;

            let key = get_env_var_name(ctx, key);

            if !is_automatic_env_var(&key) {
                let is_config = key == "config";
                let update_conversions = key == ENV_CONVERSIONS;

                ctx.stack.add_env_var(key.into_owned(), value.clone());

                if is_config {
                    ctx.stack.update_config(ctx.engine_state)?;
                }
                if update_conversions {
                    convert_env_vars(ctx.stack, ctx.engine_state, &value)?;
                }
                Ok(Continue)
            } else {
                Err(ShellError::AutomaticEnvVarSetManually {
                    envvar_name: key.into(),
                    span: *span,
                })
            }
        }
        Instruction::PushPositional { src } => {
            // Keep the value's own span (e.g. definition span from load-variable-origin for
            // `metadata $var`). Argument::span still records where the arg appears in the call.
            let val = ctx.collect_reg(*src, *span)?;
            ctx.stack.arguments.push(Argument::Positional {
                span: *span,
                val,
                ast: ast.clone().map(|ast_ref| ast_ref.0),
            });
            Ok(Continue)
        }
        Instruction::AppendRest { src } => {
            let vals = ctx.collect_reg(*src, *span)?;
            ctx.stack.arguments.push(Argument::Spread {
                span: *span,
                vals,
                ast: ast.clone().map(|ast_ref| ast_ref.0),
            });
            Ok(Continue)
        }
        Instruction::PushFlag { name } => {
            let data = ctx.data.clone();
            ctx.stack.arguments.push(Argument::Flag {
                data,
                name: *name,
                short: DataSlice::empty(),
                span: *span,
            });
            Ok(Continue)
        }
        Instruction::PushShortFlag { short } => {
            let data = ctx.data.clone();
            ctx.stack.arguments.push(Argument::Flag {
                data,
                name: DataSlice::empty(),
                short: *short,
                span: *span,
            });
            Ok(Continue)
        }
        Instruction::PushNamed { name, src } => {
            // Null may be omitted or passed through depending on the target flag's type;
            // that decision is made in `normalize_call_arguments` once the signature is known.
            let val = ctx.collect_reg(*src, *span)?.with_span(*span);
            let data = ctx.data.clone();
            ctx.stack.arguments.push(Argument::Named {
                data,
                name: *name,
                short: DataSlice::empty(),
                span: *span,
                val,
                ast: ast.clone().map(|ast_ref| ast_ref.0),
            });
            Ok(Continue)
        }
        Instruction::PushShortNamed { short, src } => {
            let val = ctx.collect_reg(*src, *span)?.with_span(*span);
            let data = ctx.data.clone();
            ctx.stack.arguments.push(Argument::Named {
                data,
                name: DataSlice::empty(),
                short: *short,
                span: *span,
                val,
                ast: ast.clone().map(|ast_ref| ast_ref.0),
            });
            Ok(Continue)
        }
        Instruction::PushParserInfo { name, info } => {
            let data = ctx.data.clone();
            ctx.stack.arguments.push(Argument::ParserInfo {
                data,
                name: *name,
                info: info.clone(),
            });
            Ok(Continue)
        }
        Instruction::RedirectOut { mode } => {
            ctx.redirect_out = eval_redirection(ctx, mode, *span, RedirectionStream::Out)?;
            Ok(Continue)
        }
        Instruction::RedirectErr { mode } => {
            ctx.redirect_err = eval_redirection(ctx, mode, *span, RedirectionStream::Err)?;
            Ok(Continue)
        }
        Instruction::CheckErrRedirected { src } => match ctx.borrow_reg(*src) {
            #[cfg(feature = "os")]
            PipelineData::ByteStream(stream, _)
                if matches!(stream.source(), nu_protocol::ByteStreamSource::Child(_)) =>
            {
                Ok(Continue)
            }
            _ => Err(ShellError::Generic(GenericError::new(
                "Can't redirect stderr of internal command output",
                "piping stderr only works on external commands",
                *span,
            ))),
        },
        Instruction::OpenFile {
            file_num,
            path,
            append,
        } => {
            let path = ctx.collect_reg(*path, *span)?;
            let file = open_file(ctx, &path, *append)?;
            ctx.files[*file_num as usize] = Some(file);
            Ok(Continue)
        }
        Instruction::WriteFile { file_num, src } => {
            let src = ctx.take_reg(*src);
            let file = ctx
                .files
                .get(*file_num as usize)
                .cloned()
                .flatten()
                .ok_or_else(|| ShellError::IrEvalError {
                    msg: format!("Tried to write to file #{file_num}, but it is not open"),
                    span: Some(*span),
                })?;
            let is_external = if let PipelineData::ByteStream(stream, ..) = &src.body {
                stream.source().is_external()
            } else {
                false
            };
            if let Err(err) = src.body.write_to(file.as_ref()) {
                if is_external {
                    ctx.stack.set_last_error(&err);
                }
                Err(err)?
            } else {
                Ok(Continue)
            }
        }
        Instruction::CloseFile { file_num } => {
            if ctx.files[*file_num as usize].take().is_some() {
                Ok(Continue)
            } else {
                Err(ShellError::IrEvalError {
                    msg: format!("Tried to close file #{file_num}, but it is not open"),
                    span: Some(*span),
                })
            }
        }
        Instruction::Call { decl_id, src_dst } => {
            let input = ctx.take_reg(*src_dst);
            // take out exit status future first.
            let input_data = input.body;
            let mut result = eval_call::<D>(ctx, *decl_id, *span, input_data)?;
            if need_backtrace {
                match &mut result {
                    PipelineData::ByteStream(s, ..) => s.push_caller_span(*span),
                    PipelineData::ListStream(s, ..) => s.push_caller_span(*span),
                    _ => (),
                };
            }
            // After eval_call, attach result's exit_status_future
            // to `original_exit`, so all exit_status_future are tracked
            // in the new PipelineData, and wrap it into `PipelineExecutionData`
            #[cfg(feature = "os")]
            {
                let mut original_exit = input.exit;
                // `complete` converts external process status into data (`exit_code`).
                // Drop inherited exit futures so downstream collect/print/assignment
                // does not re-raise the same non-zero status via `pipefail`.
                if ctx.engine_state.get_decl(*decl_id).name() == "complete" {
                    original_exit.clear();
                }
                let result_exit_status_future = result
                    .clone_exit_status_future()
                    .map(|f| f.with_span(*span));
                original_exit.push(result_exit_status_future);
                ctx.put_reg(
                    *src_dst,
                    PipelineExecutionData {
                        body: result,
                        exit: original_exit,
                        early_return: false,
                    },
                );
            }
            #[cfg(not(feature = "os"))]
            ctx.put_reg(
                *src_dst,
                PipelineExecutionData {
                    body: result,
                    early_return: false,
                },
            );
            Ok(Continue)
        }
        Instruction::StringAppend { src_dst, val } => {
            let string_value = ctx.collect_reg(*src_dst, *span)?;
            let operand_value = ctx.collect_reg(*val, *span)?;
            let string_span = string_value.span();

            let mut string = string_value.into_string()?;
            let operand = if let Value::String { val, .. } = operand_value {
                // Small optimization, so we don't have to copy the string *again*
                val
            } else {
                operand_value.to_expanded_string(", ", &ctx.stack.get_config(ctx.engine_state))
            };
            string.push_str(&operand);

            let new_string_value = Value::string(string, string_span);
            ctx.put_reg(
                *src_dst,
                PipelineExecutionData::from(new_string_value.into_pipeline_data()),
            );
            Ok(Continue)
        }
        Instruction::GlobFrom { src_dst, no_expand } => {
            let string_value = ctx.collect_reg(*src_dst, *span)?;
            let glob_value = if let Value::Glob { .. } = string_value {
                // It already is a glob, so don't touch it.
                string_value
            } else {
                // Treat it as a string, then cast
                let string = string_value.into_string()?;
                Value::glob(string, *no_expand, *span)
            };
            ctx.put_reg(
                *src_dst,
                PipelineExecutionData::from(glob_value.into_pipeline_data()),
            );
            Ok(Continue)
        }
        Instruction::ListPush { src_dst, item } => {
            let list_value = ctx.collect_reg(*src_dst, *span)?;
            let item = ctx.collect_reg(*item, *span)?;
            let list_span = list_value.span();
            let mut list = list_value.into_list()?;
            list.push(item);
            ctx.put_reg(
                *src_dst,
                PipelineExecutionData::from(Value::list(list, list_span).into_pipeline_data()),
            );
            Ok(Continue)
        }
        Instruction::ListSpread { src_dst, items } => {
            let list_value = ctx.collect_reg(*src_dst, *span)?;
            let items = ctx.collect_reg(*items, *span)?;
            let list_span = list_value.span();
            let items_span = items.span();
            let items = match items {
                Value::List { vals, .. } => vals.into_owned(),
                Value::Nothing { .. } => Vec::new(),
                _ => return Err(ShellError::CannotSpreadAsList { span: items_span }),
            };
            let mut list = list_value.into_list()?;
            list.extend(items);
            ctx.put_reg(
                *src_dst,
                PipelineExecutionData::from(Value::list(list, list_span).into_pipeline_data()),
            );
            Ok(Continue)
        }
        Instruction::RecordInsert { src_dst, key, val } => {
            let record_value = ctx.collect_reg(*src_dst, *span)?;
            let key = ctx.collect_reg(*key, *span)?;
            let val = ctx.collect_reg(*val, *span)?;
            let record_span = record_value.span();
            let mut record = record_value.into_record()?;

            let key = key.coerce_into_string()?;
            if let Some(old_value) = record.insert(&key, val) {
                return Err(ShellError::ColumnDefinedTwice {
                    col_name: key,
                    second_use: *span,
                    first_use: old_value.span(),
                });
            }

            ctx.put_reg(
                *src_dst,
                PipelineExecutionData::from(
                    Value::record(record, record_span).into_pipeline_data(),
                ),
            );
            Ok(Continue)
        }
        Instruction::RecordSpread { src_dst, items } => {
            let record_value = ctx.collect_reg(*src_dst, *span)?;
            let items = ctx.collect_reg(*items, *span)?;
            let record_span = record_value.span();
            let items_span = items.span();
            let mut record = record_value.into_record()?;
            let items = match items {
                Value::Record { val, .. } => val.into_owned(),
                Value::Nothing { .. } => Record::new(),
                _ => return Err(ShellError::CannotSpreadAsRecord { span: items_span }),
            };
            // Not using .extend() here because it doesn't handle duplicates
            for (key, val) in items {
                if let Some(first_value) = record.insert(&key, val) {
                    return Err(ShellError::ColumnDefinedTwice {
                        col_name: key,
                        second_use: *span,
                        first_use: first_value.span(),
                    });
                }
            }
            ctx.put_reg(
                *src_dst,
                PipelineExecutionData::from(
                    Value::record(record, record_span).into_pipeline_data(),
                ),
            );
            Ok(Continue)
        }
        Instruction::Not { src_dst } => {
            let bool = ctx.collect_reg(*src_dst, *span)?;
            let negated = !bool.as_bool()?;
            ctx.put_reg(
                *src_dst,
                PipelineExecutionData::from(Value::bool(negated, bool.span()).into_pipeline_data()),
            );
            Ok(Continue)
        }
        Instruction::BinaryOp { lhs_dst, op, rhs } => binary_op(ctx, *lhs_dst, op, *rhs, *span),
        Instruction::FollowCellPath { src_dst, path } => {
            let data = ctx.take_reg(*src_dst);
            let path = ctx.take_reg(*path);
            if let PipelineData::Value(Value::CellPath { val: path, .. }, _) = path.body {
                // Reattach `$ans` pipeline metadata when following only `.last`, so
                // `$ans.last` keeps ls path_columns / colors like the original payload.
                // Only for pipeline data marked by `last_result_pipeline_data`, not every
                // record field named `last`.
                let from_ans = data.body.metadata_ref().is_some_and(|m| {
                    m.custom
                        .get(nu_protocol::engine::Stack::ANS_LAST_RESULT_METADATA_KEY)
                        .is_some()
                });
                let is_ans_last = from_ans
                    && path.members.len() == 1
                    && matches!(
                        &path.members[0],
                        nu_protocol::ast::PathMember::String { val, .. } if val == "last"
                    );
                let src_meta = data.body.metadata_ref().cloned();
                let value = data.body.follow_cell_path(&path.members, *span)?;
                let metadata = if is_ans_last {
                    // Drop the ans marker; keep path_columns / content_type for display.
                    src_meta.map(|mut m| {
                        m.custom
                            .remove(nu_protocol::engine::Stack::ANS_LAST_RESULT_METADATA_KEY);
                        m
                    })
                } else {
                    None
                };
                ctx.put_reg(
                    *src_dst,
                    PipelineExecutionData::from(PipelineData::value(value, metadata)),
                );
                Ok(Continue)
            } else if let PipelineData::Value(Value::Error { error, .. }, _) = path.body {
                Err(*error)
            } else {
                Err(ShellError::TypeMismatch {
                    err_message: "expected cell path".into(),
                    span: path.span().unwrap_or(*span),
                })
            }
        }
        Instruction::CloneCellPath { dst, src, path } => {
            let value = ctx.clone_reg_value(*src, *span)?;
            let path = ctx.take_reg(*path);
            if let PipelineData::Value(Value::CellPath { val: path, .. }, _) = path.body {
                let value = value.follow_cell_path(&path.members)?;
                ctx.put_reg(
                    *dst,
                    PipelineExecutionData::from(value.into_owned().into_pipeline_data()),
                );
                Ok(Continue)
            } else if let PipelineData::Value(Value::Error { error, .. }, _) = path.body {
                Err(*error)
            } else {
                Err(ShellError::TypeMismatch {
                    err_message: "expected cell path".into(),
                    span: path.span().unwrap_or(*span),
                })
            }
        }
        Instruction::UpsertCellPath {
            src_dst,
            path,
            new_value,
        } => {
            let mut data = ctx.take_reg(*src_dst).body;
            let metadata = data.take_metadata();
            // Change the span because we're modifying it
            let mut value = data.into_value(*span)?;
            let path = ctx.take_reg(*path);
            let new_value = ctx.collect_reg(*new_value, *span)?;
            if let PipelineData::Value(Value::CellPath { val: path, .. }, _) = path.body {
                value.upsert_data_at_cell_path(&path.members, new_value)?;
                ctx.put_reg(
                    *src_dst,
                    PipelineExecutionData::from(value.into_pipeline_data_with_metadata(metadata)),
                );
                Ok(Continue)
            } else if let PipelineData::Value(Value::Error { error, .. }, _) = path.body {
                Err(*error)
            } else {
                Err(ShellError::TypeMismatch {
                    err_message: "expected cell path".into(),
                    span: path.span().unwrap_or(*span),
                })
            }
        }
        Instruction::UpdateVarCellPath {
            var_id,
            cell_path,
            new_value,
        } => {
            let new_val = ctx.collect_reg(*new_value, *span)?;
            let path = ctx.take_reg(*cell_path);
            if let PipelineData::Value(Value::CellPath { val: path, .. }, _) = path.body {
                let new_val = if nu_experimental::ENFORCE_RUNTIME_ANNOTATIONS.get() {
                    let variable = ctx.engine_state.get_var(*var_id);
                    let expected_ty = variable.ty.follow_cell_path(&path.members);
                    if let Some(expected_ty) = expected_ty {
                        check_assignment_type(new_val, &expected_ty, *span)?
                    } else {
                        new_val
                    }
                } else {
                    new_val
                };
                ctx.stack
                    .upsert_var_cell_path(*var_id, &path.members, new_val, *span)?;
                Ok(Continue)
            } else if let PipelineData::Value(Value::Error { error, .. }, _) = path.body {
                Err(*error)
            } else {
                Err(ShellError::TypeMismatch {
                    err_message: "expected cell path".into(),
                    span: path.span().unwrap_or(*span),
                })
            }
        }
        Instruction::Jump { index } => Ok(Branch(*index)),
        Instruction::BranchIf { cond, index } => {
            let data = ctx.take_reg(*cond);
            let data_span = data.span();
            let val = match data.body {
                PipelineData::Value(Value::Bool { val, .. }, _) => val,
                PipelineData::Value(Value::Error { error, .. }, _) => {
                    return Err(*error);
                }
                _ => {
                    return Err(ShellError::TypeMismatch {
                        err_message: "expected bool".into(),
                        span: data_span.unwrap_or(*span),
                    });
                }
            };
            if val {
                Ok(Branch(*index))
            } else {
                Ok(Continue)
            }
        }
        Instruction::BranchIfEmpty { src, index } => {
            let is_empty = matches!(
                ctx.borrow_reg(*src),
                PipelineData::Empty | PipelineData::Value(Value::Nothing { .. }, _)
            );

            if is_empty {
                Ok(Branch(*index))
            } else {
                Ok(Continue)
            }
        }
        Instruction::Match {
            pattern,
            src,
            index,
        } => {
            let value = ctx.clone_reg_value(*src, *span)?;
            ctx.matches.clear();
            if pattern.match_value(&value, &mut ctx.matches) {
                // Match succeeded: set variables and branch
                for (var_id, match_value) in ctx.matches.drain(..) {
                    ctx.stack.add_var(var_id, match_value);
                }
                Ok(Branch(*index))
            } else {
                // Failed to match, put back original value
                ctx.matches.clear();
                Ok(Continue)
            }
        }
        Instruction::CheckMatchGuard { src } => {
            if matches!(
                ctx.borrow_reg(*src),
                PipelineData::Value(Value::Bool { .. }, _)
            ) {
                Ok(Continue)
            } else {
                Err(ShellError::MatchGuardNotBool { span: *span })
            }
        }
        Instruction::Iterate {
            dst,
            stream,
            end_index,
        } => eval_iterate(ctx, *dst, *stream, *end_index, *span),
        Instruction::UnwindJump { index, handlers } => Ok(InstructionResult::UnwindJump {
            index: *index,
            handlers: *handlers,
        }),
        Instruction::OnError { index } => {
            ctx.stack
                .error_handlers
                .push(TryHandler::Catch(ErrorHandler {
                    handler_index: *index,
                    error_register: None,
                }));
            Ok(Continue)
        }
        Instruction::OnErrorInto { index, dst } => {
            ctx.stack
                .error_handlers
                .push(TryHandler::Catch(ErrorHandler {
                    handler_index: *index,
                    error_register: Some(*dst),
                }));
            Ok(Continue)
        }
        Instruction::FinallyInto { index, dst } => {
            ctx.stack
                .error_handlers
                .push(TryHandler::Finally(ErrorHandler {
                    handler_index: *index,
                    error_register: Some(*dst),
                }));
            Ok(Continue)
        }
        Instruction::PopErrorHandler => {
            match ctx.stack.error_handlers.pop(ctx.error_handler_base) {
                Some(TryHandler::Catch(_)) => Ok(Continue),
                handler => Err(ShellError::IrEvalError {
                    msg: format!("pop-error-handler expected a catch handler, found {handler:?}"),
                    span: Some(*span),
                }),
            }
        }
        Instruction::BeginFinally => {
            // Fall-through entry into a `finally` block: swap the handler for a running marker
            // with nothing to resume afterwards. Unwinding entries do this swap themselves.
            match ctx.stack.error_handlers.pop(ctx.error_handler_base) {
                Some(TryHandler::Finally(_)) => {
                    ctx.stack.error_handlers.push(TryHandler::RunningFinally);
                    ctx.finally_resumes.push(None);
                    Ok(Continue)
                }
                handler => Err(ShellError::IrEvalError {
                    msg: format!("begin-finally expected a finally handler, found {handler:?}"),
                    span: Some(*span),
                }),
            }
        }
        Instruction::EndFinally => Ok(InstructionResult::EndFinally),
        Instruction::ReturnEarly { src } => Ok(InstructionResult::ReturnEarly(*src)),
        Instruction::Return { src } => Ok(Return(*src)),
    }
}

/// Load a literal value into a register
fn load_literal(
    ctx: &mut EvalContext<'_>,
    dst: RegId,
    lit: &Literal,
    span: Span,
) -> Result<InstructionResult, ShellError> {
    // `Literal::Empty` represents "no pipeline input" and should produce
    // `PipelineData::Empty`. This is distinct from `Literal::Nothing` which
    // represents the `null` value and should produce `PipelineData::Value(Value::Nothing)`.
    // Some commands (like `metadata`) distinguish between these when deciding
    // whether positional args are allowed.
    if matches!(lit, Literal::Empty) {
        ctx.put_reg(dst, PipelineExecutionData::empty());
    } else {
        let value = literal_value(ctx, lit, span)?;
        ctx.put_reg(
            dst,
            PipelineExecutionData::from(PipelineData::value(value, None)),
        );
    }
    Ok(InstructionResult::Continue)
}

fn literal_value(
    ctx: &mut EvalContext<'_>,
    lit: &Literal,
    span: Span,
) -> Result<Value, ShellError> {
    Ok(match lit {
        Literal::Bool(b) => Value::bool(*b, span),
        Literal::Int(i) => Value::int(*i, span),
        Literal::Float(f) => Value::float(*f, span),
        Literal::Filesize(q) => Value::filesize(*q, span),
        Literal::Duration(q) => Value::duration(*q, span),
        Literal::Binary(bin) => Value::binary(&ctx.data[*bin], span),
        Literal::Block(block_id) | Literal::RowCondition(block_id) | Literal::Closure(block_id) => {
            let block = ctx.engine_state.get_block(*block_id);
            let captures = block
                .captures
                .iter()
                .map(|(var_id, span)| get_var(ctx, *var_id, *span).map(|val| (*var_id, val)))
                .collect::<Result<Vec<_>, ShellError>>()?;
            Value::closure(
                Closure {
                    block_id: *block_id,
                    captures,
                },
                span,
            )
        }
        Literal::Range {
            start,
            step,
            end,
            inclusion,
        } => {
            let start = ctx.collect_reg(*start, span)?;
            let step = ctx.collect_reg(*step, span)?;
            let end = ctx.collect_reg(*end, span)?;
            let range = Range::new(start, step, end, *inclusion, span)?;
            Value::range(range, span)
        }
        Literal::List { capacity } => Value::list(Vec::with_capacity(*capacity), span),
        Literal::Record { capacity } => Value::record(Record::with_capacity(*capacity), span),
        Literal::Filepath {
            val: path,
            no_expand,
        } => {
            let path = ctx.get_str(*path, span)?;
            if *no_expand {
                Value::string(path, span)
            } else {
                let path = expand_path(path, true);
                Value::string(path.to_string_lossy(), span)
            }
        }
        Literal::Directory {
            val: path,
            no_expand,
        } => {
            let path = ctx.get_str(*path, span)?;
            if path == "-" {
                Value::string("-", span)
            } else if *no_expand {
                Value::string(path, span)
            } else {
                let path = expand_path(path, true);
                Value::string(path.to_string_lossy(), span)
            }
        }
        Literal::GlobPattern { val, no_expand } => {
            Value::glob(ctx.get_str(*val, span)?, *no_expand, span)
        }
        Literal::String(s) => Value::string(ctx.get_str(*s, span)?, span),
        Literal::RawString(s) => Value::string(ctx.get_str(*s, span)?, span),
        Literal::CellPath(path) => Value::cell_path(CellPath::clone(path), span),
        Literal::Date(dt) => Value::date(**dt, span),
        Literal::Nothing => Value::nothing(span),
        // Empty is handled specially in load_literal and should never reach here
        Literal::Empty => Value::nothing(span),
    })
}

fn binary_op(
    ctx: &mut EvalContext<'_>,
    lhs_dst: RegId,
    op: &Operator,
    rhs: RegId,
    span: Span,
) -> Result<InstructionResult, ShellError> {
    let lhs_val = ctx.collect_reg(lhs_dst, span)?;
    let rhs_val = ctx.collect_reg(rhs, span)?;

    // Handle binary op errors early
    if let Value::Error { error, .. } = lhs_val {
        return Err(*error);
    }
    if let Value::Error { error, .. } = rhs_val {
        return Err(*error);
    }

    // We only have access to one span here, but the generated code usually adds a `span`
    // instruction to set the output span to the right span.
    let op_span = span;

    let result = match op {
        Operator::Comparison(cmp) => match cmp {
            Comparison::Equal => lhs_val.eq(op_span, &rhs_val, span)?,
            Comparison::NotEqual => lhs_val.ne(op_span, &rhs_val, span)?,
            Comparison::LessThan => lhs_val.lt(op_span, &rhs_val, span)?,
            Comparison::GreaterThan => lhs_val.gt(op_span, &rhs_val, span)?,
            Comparison::LessThanOrEqual => lhs_val.lte(op_span, &rhs_val, span)?,
            Comparison::GreaterThanOrEqual => lhs_val.gte(op_span, &rhs_val, span)?,
            Comparison::RegexMatch => {
                lhs_val.regex_match(ctx.engine_state, op_span, &rhs_val, false, span)?
            }
            Comparison::NotRegexMatch => {
                lhs_val.regex_match(ctx.engine_state, op_span, &rhs_val, true, span)?
            }
            Comparison::In => lhs_val.r#in(op_span, &rhs_val, span)?,
            Comparison::NotIn => lhs_val.not_in(op_span, &rhs_val, span)?,
            Comparison::Has => lhs_val.has(op_span, &rhs_val, span)?,
            Comparison::NotHas => lhs_val.not_has(op_span, &rhs_val, span)?,
            Comparison::StartsWith => lhs_val.starts_with(op_span, &rhs_val, span)?,
            Comparison::NotStartsWith => lhs_val.not_starts_with(op_span, &rhs_val, span)?,
            Comparison::EndsWith => lhs_val.ends_with(op_span, &rhs_val, span)?,
            Comparison::NotEndsWith => lhs_val.not_ends_with(op_span, &rhs_val, span)?,
        },
        Operator::Math(mat) => match mat {
            Math::Add => lhs_val.add(op_span, &rhs_val, span)?,
            Math::Subtract => lhs_val.sub(op_span, &rhs_val, span)?,
            Math::Multiply => lhs_val.mul(op_span, &rhs_val, span)?,
            Math::Divide => lhs_val.div(op_span, &rhs_val, span)?,
            Math::FloorDivide => lhs_val.floor_div(op_span, &rhs_val, span)?,
            Math::Modulo => lhs_val.modulo(op_span, &rhs_val, span)?,
            Math::Pow => lhs_val.pow(op_span, &rhs_val, span)?,
            Math::Concatenate => lhs_val.concat(op_span, &rhs_val, span)?,
        },
        Operator::Boolean(bl) => match bl {
            Boolean::Or => lhs_val.or(op_span, &rhs_val, span)?,
            Boolean::Xor => lhs_val.xor(op_span, &rhs_val, span)?,
            Boolean::And => lhs_val.and(op_span, &rhs_val, span)?,
        },
        Operator::Bits(bit) => match bit {
            Bits::BitOr => lhs_val.bit_or(op_span, &rhs_val, span)?,
            Bits::BitXor => lhs_val.bit_xor(op_span, &rhs_val, span)?,
            Bits::BitAnd => lhs_val.bit_and(op_span, &rhs_val, span)?,
            Bits::ShiftLeft => lhs_val.bit_shl(op_span, &rhs_val, span)?,
            Bits::ShiftRight => lhs_val.bit_shr(op_span, &rhs_val, span)?,
        },
        Operator::Assignment(_asg) => {
            return Err(ShellError::IrEvalError {
                msg: "can't eval assignment with the `binary-op` instruction".into(),
                span: Some(span),
            });
        }
    };

    ctx.put_reg(
        lhs_dst,
        PipelineExecutionData::from(PipelineData::value(result, None)),
    );

    Ok(InstructionResult::Continue)
}

/// Evaluate a call
fn eval_call<D: DebugContext>(
    ctx: &mut EvalContext<'_>,
    decl_id: DeclId,
    head: Span,
    mut input: PipelineData,
) -> Result<PipelineData, ShellError> {
    let EvalContext {
        engine_state,
        stack: caller_stack,
        args_base,
        redirect_out,
        redirect_err,
        ..
    } = ctx;

    let args_len = caller_stack.arguments.get_len(*args_base);
    let decl = engine_state.get_decl(decl_id);
    // Commands such as `ignore --stderr` need errors as pipeline values so they can decide
    // whether to suppress or rethrow.
    let stderr_pipe_separate = matches!(
        redirect_err.as_ref(),
        Some(Redirection::Pipe(OutDest::PipeSeparate))
    );

    // Set up redirect modes
    let mut caller_stack = caller_stack.push_redirection(redirect_out.take(), redirect_err.take());

    let result = (|| {
        if let Some(block_id) = decl.block_id() {
            // If the decl is a custom command
            let block = engine_state.get_block(block_id);

            // check types after acquiring block to avoid unnecessarily cloning Signature
            check_input_types(&input, &block.signature, head)?;

            // Expand record spreads into named flags; drop null named values.
            let args_len = normalize_call_arguments(
                &block.signature,
                &mut caller_stack,
                *args_base,
                args_len,
            )?;

            // Set up a callee stack with the captures and move arguments from the stack into variables
            let mut callee_stack = caller_stack.gather_captures(engine_state, &block.captures);

            gather_arguments(
                engine_state,
                block,
                &mut caller_stack,
                &mut callee_stack,
                *args_base,
                args_len,
                head,
            )?;

            // Snapshot the call's return destination onto the callee stack. Intermediate
            // expressions in the body may temporarily set OutDest::Value (e.g. `if (…)`);
            // Stack::is_stdout_redirected / `is-redirected` read this frame instead.
            // See Stack::with_invocation_stdout for details.
            let mut callee_stack =
                callee_stack.with_invocation_stdout(caller_stack.stdout().clone());

            // Add one to the recursion count, so we don't recurse too deep. Stack overflows are not
            // recoverable in Rust.
            callee_stack.recursion_count += 1;

            let result =
                eval_block_with_early_return::<D>(engine_state, &mut callee_stack, block, input)
                    .map(|p| p.body);

            // Move environment variables back into the caller stack scope if requested to do so
            if block.redirect_env {
                redirect_env(engine_state, &mut caller_stack, &callee_stack);
            }

            result
        } else {
            // `ignore` intentionally handles upstream error values at command level.
            // Skip early input-error propagation for the built-in `ignore` command so
            // `run()` can apply `--stderr`/`--show-errors` semantics.
            let allow_error_input = matches!(input, PipelineData::Value(Value::Error { .. }, ..))
                && engine_state
                    .find_decl(b"ignore", &[])
                    .is_some_and(|ignore_decl_id| ignore_decl_id == decl_id);
            if !allow_error_input {
                check_input_types(&input, &decl.signature(), head)?;
            }

            // Expand record spreads into named flags; drop null named values.
            let args_len = normalize_call_arguments(
                &decl.signature(),
                &mut caller_stack,
                *args_base,
                args_len,
            )?;

            // FIXME: precalculate this and save it somewhere
            let span = Span::merge_many(
                std::iter::once(head).chain(
                    caller_stack
                        .arguments
                        .get_args(*args_base, args_len)
                        .iter()
                        .flat_map(|arg| arg.span()),
                ),
            );

            let call = Call {
                decl_id,
                head,
                span,
                args_base: *args_base,
                args_len,
            };

            // Make sure that iterating value itself can be interrupted.
            // e.g: 0..inf | to md
            if let PipelineData::Value(v, ..) = &mut input {
                v.inject_signals(engine_state);
            }
            // Run the call
            decl.run(engine_state, &mut caller_stack, &(&call).into(), input)
        }
    })();

    drop(caller_stack);

    // Important that this runs, to reset state post-call:
    ctx.stack.arguments.leave_frame(ctx.args_base);
    ctx.redirect_out = None;
    ctx.redirect_err = None;

    match result {
        Err(err) if stderr_pipe_separate => Ok(PipelineData::Value(Value::error(err, head), None)),
        result => result,
    }
}

fn find_named_var_id(
    sig: &Signature,
    name: &[u8],
    short: &[u8],
    span: Span,
) -> Result<VarId, ShellError> {
    sig.named
        .iter()
        .find(|n| match (n.long_name(), n.short) {
            (Some(long), _) => long.as_bytes() == name,
            // Short-only flag: match on the short character
            (None, Some(s)) => s.encode_utf8(&mut [0; 4]).as_bytes() == short,
            (None, None) => false,
        })
        .ok_or_else(|| ShellError::IrEvalError {
            msg: format!(
                "block does not have an argument named `{}`",
                String::from_utf8_lossy(name)
            ),
            span: Some(span),
        })
        .and_then(|flag| expect_named_var_id(flag, span))
}

fn expect_named_var_id(arg: &Flag, span: Span) -> Result<VarId, ShellError> {
    arg.var_id.ok_or_else(|| ShellError::IrEvalError {
        msg: format!(
            "block signature is missing var id for named arg `{}`",
            arg.long
        ),
        span: Some(span),
    })
}

fn expect_positional_var_id(arg: &PositionalArg, span: Span) -> Result<VarId, ShellError> {
    arg.var_id.ok_or_else(|| ShellError::IrEvalError {
        msg: format!(
            "block signature is missing var id for positional arg `{}`",
            arg.name
        ),
        span: Some(span),
    })
}

/// Normalize call arguments: expand record spreads into named flags; drop null
/// named values unless the flag type accepts `nothing`.
///
/// Returns the new argument list length after rewriting the frame starting at `args_base`.
fn normalize_call_arguments(
    signature: &Signature,
    stack: &mut Stack,
    args_base: usize,
    args_len: usize,
) -> Result<usize, ShellError> {
    let raw: Vec<Argument> = stack.arguments.drain_args(args_base, args_len).collect();
    let expanded = normalize_engine_arguments(signature, raw)?;
    let new_len = expanded.len();
    for arg in expanded {
        stack.arguments.push(arg);
    }
    Ok(new_len)
}

/// Move arguments from the stack into variables for a custom command
fn gather_arguments(
    engine_state: &EngineState,
    block: &Block,
    caller_stack: &mut Stack,
    callee_stack: &mut Stack,
    args_base: usize,
    args_len: usize,
    call_head: Span,
) -> Result<(), ShellError> {
    let mut positional_iter = block
        .signature
        .required_positional
        .iter()
        .map(|p| (p, true))
        .chain(
            block
                .signature
                .optional_positional
                .iter()
                .map(|p| (p, false)),
        );

    // Arguments that didn't get consumed by required/optional
    let mut rest = vec![];
    let mut rest_span: Option<Span> = None;

    // If the rest param uses ExternalArgument shape (untyped `def --wrapped` or `known extern`),
    // tilde and ndots in bare glob values should be expanded, matching `run-external` behavior so
    // that `$args | to nuon` shows expanded paths (e.g. `/home/user`) rather than `~`.
    // We detect this via `allows_unknown_args`, which is set for all `def --wrapped` and
    // `known extern` commands, and only affects `Value::Glob` values (explicit `[...rest: string]`
    // produces `Value::String`, not `Value::Glob`, so those are unaffected).
    let expand_glob_args = block.signature.allows_unknown_args;

    // If we encounter a spread, all further positionals should go to rest
    let mut always_spread = false;
    let mut remaining_required = block.signature.required_positional.len();

    for arg in caller_stack.arguments.drain_args(args_base, args_len) {
        match arg {
            Argument::Positional { span, val, .. } => {
                // Don't check next positional arg if we encountered a spread previously
                let next = (!always_spread).then(|| positional_iter.next()).flatten();
                if let Some((positional_arg, required)) = next {
                    let var_id = expect_positional_var_id(positional_arg, span)?;
                    if required {
                        // By checking the type of the bound variable rather than converting the
                        // SyntaxShape here, we might be able to save some allocations and effort
                        let variable = engine_state.get_var(var_id);
                        check_type(&val, &variable.ty)?;
                        remaining_required = remaining_required.saturating_sub(1);
                    }
                    callee_stack.add_var(var_id, val);
                } else {
                    // Use the argument's call-site span (not val.span()) so rest spans stay in
                    // source order. Values may keep definition/origin spans (e.g. metadata).
                    rest_span = Some(rest_span.map_or(span, |s| s.append(span)));
                    let val = if expand_glob_args {
                        expand_external_glob_arg(val)
                    } else {
                        val
                    };
                    rest.push(val);
                }
            }
            Argument::Spread {
                vals,
                span: spread_span,
                ..
            } => match vals {
                Value::List { vals, .. } => {
                    // Dual-purpose `...$x`: a list before unfilled required positionals would
                    // leave them unbound (list items go only to rest).
                    if remaining_required > 0 && !always_spread {
                        return Err(crate::named_flags::list_spread_before_required_error(
                            spread_span,
                        ));
                    }
                    rest.extend(vals);
                    rest_span = Some(rest_span.map_or(spread_span, |s| s.append(spread_span)));
                    always_spread = true;
                }
                Value::Nothing { .. } => {
                    // Same rule as list spreads: null rest-mode before required positionals
                    // would leave them unbound.
                    if remaining_required > 0 && !always_spread {
                        return Err(crate::named_flags::list_spread_before_required_error(
                            spread_span,
                        ));
                    }
                    rest_span = Some(rest_span.map_or(spread_span, |s| s.append(spread_span)));
                    always_spread = true;
                }
                // Record spreads should already be expanded by `normalize_call_arguments`.
                Value::Record { .. } => {
                    return Err(ShellError::IrEvalError {
                        msg: "internal error: unexpanded record spread in gather_arguments".into(),
                        span: Some(spread_span),
                    });
                }
                Value::Error { error, .. } => return Err(*error),
                _ => return Err(ShellError::CannotSpreadAsList { span: vals.span() }),
            },
            Argument::Flag {
                data,
                name,
                short,
                span,
            } => {
                let var_id = find_named_var_id(&block.signature, &data[name], &data[short], span)?;
                callee_stack.add_var(var_id, Value::bool(true, span))
            }
            Argument::Named {
                data,
                name,
                short,
                span,
                val,
                ..
            } => {
                // Null should already have been dropped in `normalize_call_arguments`
                // when the flag type does not accept nothing. If still present, bind it.
                let var_id = find_named_var_id(&block.signature, &data[name], &data[short], span)?;
                callee_stack.add_var(var_id, val)
            }
            Argument::ParserInfo { .. } => (),
        }
    }

    // Add the collected rest of the arguments if a spread argument exists
    if let Some(rest_arg) = &block.signature.rest_positional {
        let rest_span = rest_span.unwrap_or(call_head);
        let var_id = expect_positional_var_id(rest_arg, rest_span)?;
        callee_stack.add_var(var_id, Value::list(rest, rest_span));
    }

    // Check for arguments that haven't yet been set and set them to their defaults
    for (positional_arg, _) in positional_iter {
        let var_id = expect_positional_var_id(positional_arg, call_head)?;
        callee_stack.add_var(
            var_id,
            positional_arg
                .default_value
                .clone()
                .unwrap_or(Value::nothing(call_head)),
        );
    }

    for named_arg in &block.signature.named {
        if let Some(var_id) = named_arg.var_id {
            // For named arguments, we do this check by looking to see if the variable was set yet on
            // the stack. This assumes that the stack's variables was previously empty, but that's a
            // fair assumption for a brand new callee stack.
            if !callee_stack.vars.iter().any(|(id, _)| *id == var_id) {
                let val = if named_arg.arg.is_none() {
                    Value::bool(false, call_head)
                } else if let Some(value) = &named_arg.default_value {
                    value.clone()
                } else {
                    Value::nothing(call_head)
                };
                callee_stack.add_var(var_id, val);
            }
        }
    }

    Ok(())
}

/// Type check helper. Produces `CantConvert` error if `val` is not compatible with `ty`.
fn check_type(val: &Value, ty: &Type) -> Result<(), ShellError> {
    match val {
        Value::Error { error, .. } => Err(*error.clone()),
        _ if val.is_assignable_to(ty) => Ok(()),
        _ => Err(ShellError::CantConvert {
            to_type: ty.to_string(),
            from_type: val.get_type().to_string(),
            span: val.span(),
            help: None,
        }),
    }
}

/// Type check and convert value for assignment.
fn check_assignment_type(
    val: Value,
    target_ty: &Type,
    assignment_span: Span,
) -> Result<Value, ShellError> {
    match val {
        Value::Error { error, .. } => Err(*error),
        _ if val.is_assignable_to(target_ty) => Ok(val), // No conversion needed, but compatible
        _ => {
            let expected = target_ty.to_string();
            let actual = val.get_type().to_string();

            let mut err = LabeledError::new("Type mismatch.");
            err = err.with_code("nu::shell::type_mismatch");

            // Some values, like `$env.CMD_DURATION_MS`, are generated internally and don't have
            // spans that are relevant to users.
            // We avoid incorrect error labels by checking for that here.
            if !(val.span() == Span::unknown() || val.span() == Span::test_data()) {
                err = err.with_label(format!("the value is a {actual}"), val.span());
            }

            err = err.with_label(
                format!("expected {expected}, got {actual}"),
                assignment_span,
            );

            Err(ShellError::LabeledError(err.into()))
        }
    }
}

/// Type check pipeline input against command's input types
fn check_input_types(
    input: &PipelineData,
    signature: &Signature,
    head: Span,
) -> Result<(), ShellError> {
    let io_types = &signature.input_output_types;

    // If a command doesn't have any input/output types, then treat command input type as any
    if io_types.is_empty() {
        return Ok(());
    }

    // If a command only has a nothing input type, then allow any input data
    if io_types.iter().all(|(intype, _)| intype == &Type::Nothing) {
        return Ok(());
    }

    match input {
        // early return error directly if detected
        PipelineData::Value(Value::Error { error, .. }, ..) => return Err(*error.clone()),
        // bypass run-time typechecking for custom types
        PipelineData::Value(Value::Custom { .. }, ..) => return Ok(()),
        _ => (),
    }

    // Check if the input type is compatible with *any* of the command's possible input types
    if io_types
        .iter()
        .any(|(command_type, _)| input.is_assignable_to(command_type))
    {
        return Ok(());
    }

    let input_types: Vec<Type> = io_types.iter().map(|(input, _)| input.clone()).collect();
    let expected_string = combined_type_string(&input_types, "and");

    match (input, expected_string) {
        (PipelineData::Empty, _) => Err(ShellError::PipelineEmpty { dst_span: head }),
        (_, Some(expected_string)) => Err(ShellError::OnlySupportsThisInputType {
            exp_input_type: expected_string,
            wrong_type: input.get_type().to_string(),
            dst_span: head,
            src_span: input.span().unwrap_or(head),
        }),
        // expected_string didn't generate properly, so we can't show the proper error
        (_, None) => Err(ShellError::NushellFailed {
            msg: "Command input type strings is empty, despite being non-zero earlier".to_string(),
        }),
    }
}

/// Get variable from [`Stack`] or [`EngineState`]
fn get_var(ctx: &mut EvalContext<'_>, var_id: VarId, span: Span) -> Result<Value, ShellError> {
    match var_id {
        // $env
        ENV_VARIABLE_ID => {
            let env_vars = ctx.stack.get_env_vars(ctx.engine_state);
            let env_columns = env_vars.keys();
            let env_values = env_vars.values();

            let mut pairs = env_columns
                .map(|x| x.to_string())
                .zip(env_values.cloned())
                .collect::<Vec<(String, Value)>>();

            pairs.sort_by(|a, b| a.0.cmp(&b.0));

            Ok(Value::record(pairs.into_iter().collect(), span))
        }
        id if id == nu_protocol::LAST_VARIABLE_ID => {
            // Truncation warning is deferred until after print (see evaluate_source).
            ctx.stack.defer_last_result_truncation_warning();
            ctx.stack.get_var(var_id, span)
        }
        _ => ctx.stack.get_var(var_id, span).or_else(|err| {
            // $nu is handled by getting constant
            if let Some(const_val) = ctx.engine_state.get_constant(var_id).cloned() {
                Ok(const_val.with_span(span))
            } else {
                Err(err)
            }
        }),
    }
}

/// Get an environment variable (case-insensitive lookup is handled by EnvName)
fn get_env_var<'a>(ctx: &'a mut EvalContext<'_>, key: &str) -> Option<&'a Value> {
    // Read scopes in order
    for overlays in ctx
        .stack
        .env_vars
        .iter()
        .rev()
        .chain(std::iter::once(&ctx.engine_state.env_vars))
    {
        // Read overlays in order
        for overlay_name in ctx.stack.active_overlays.iter().rev() {
            let Some(map) = overlays.get(overlay_name) else {
                // Skip if overlay doesn't exist in this scope
                continue;
            };
            let hidden = ctx.stack.env_hidden.get(overlay_name);
            let is_hidden = |key: &EnvName| hidden.is_some_and(|hidden| hidden.contains(key));

            if let Some(val) = map
                // Check for exact match (now case-insensitive due to EnvName)
                .get(&EnvName::from(key))
                // Skip when encountering an overlay where the key is hidden
                .filter(|_| !is_hidden(&EnvName::from(key)))
            {
                return Some(val);
            }
        }
    }
    // Not found
    None
}

/// Get the existing name of an environment variable (case-insensitive lookup is handled by EnvName).
/// This is used to implement case preservation of environment variables, so that changing an
/// environment variable that already exists always uses the same case.
fn get_env_var_name<'a>(ctx: &mut EvalContext<'_>, key: &'a str) -> Cow<'a, str> {
    // Read scopes in order
    ctx.stack
        .env_vars
        .iter()
        .rev()
        .chain(std::iter::once(&ctx.engine_state.env_vars))
        .flat_map(|overlays| {
            // Read overlays in order
            ctx.stack
                .active_overlays
                .iter()
                .rev()
                .filter_map(|name| overlays.get(name))
        })
        .find_map(|map| {
            // Check if it exists (case-insensitive due to EnvName)
            if map.contains_key(&EnvName::from(key)) {
                // Find the existing key to preserve its case
                map.keys()
                    .find(|k| k.as_str().eq_ignore_case(key))
                    .map(|k| Cow::Owned(k.as_str().to_owned()))
            } else {
                None
            }
        })
        // didn't exist, use the provided key
        .unwrap_or(Cow::Borrowed(key))
}

/// Helper to collect values into [`PipelineData`], preserving original span and metadata
///
/// The metadata is removed if it is the file data source, as that's just meant to mark streams.
///
/// It doesn't check pipefail if `ignore_error` is true.
fn collect(
    pipe: PipelineExecutionData,
    fallback_span: Span,
    #[cfg(feature = "os")] ignore_error: bool,
) -> Result<PipelineData, ShellError> {
    let mut data = pipe.body;
    let span = data.span().unwrap_or(fallback_span);
    let metadata = data.take_metadata().and_then(|m| m.for_collect());
    #[cfg(feature = "os")]
    if nu_experimental::PIPE_FAIL.get() && !ignore_error {
        check_exit_status_future(pipe.exit)?;
    }
    // A child stream without captured stdout carries no data: the external already wrote
    // its output to the inherited stdout or a redirection target. Collecting it into a
    // value would fabricate an empty string, which prints as a stray blank line when the
    // collected output is displayed (#18765). Wait for the child instead, so a failure
    // still surfaces as an error, and collect to Empty like a drained stream.
    #[cfg(feature = "os")]
    {
        use nu_protocol::ByteStreamSource;
        let stdout_uncaptured = matches!(
            &data,
            PipelineData::ByteStream(stream, ..)
                if matches!(stream.source(), ByteStreamSource::Child(child) if child.stdout.is_none())
        );
        if stdout_uncaptured {
            data.drain()?;
            return Ok(PipelineData::empty());
        }
    }
    let value = data.into_value(span)?;
    Ok(PipelineData::value(value, metadata))
}

/// Helper for drain behavior.
fn drain(
    ctx: &mut EvalContext<'_>,
    data: PipelineExecutionData,
) -> Result<InstructionResult, ShellError> {
    use self::InstructionResult::*;

    match data.body {
        PipelineData::ByteStream(stream, ..) => {
            let span = stream.span();
            let callback_spans = stream.get_caller_spans().clone();
            if let Err(mut err) = stream.drain() {
                ctx.stack.set_last_error(&err);
                if callback_spans.is_empty() {
                    return Err(err);
                } else {
                    for s in callback_spans {
                        err = ShellError::EvalBlockWithInput {
                            span: s,
                            sources: vec![err],
                        }
                    }
                    return Err(err);
                }
            } else {
                ctx.stack.set_last_exit_code(0, span);
            }
        }
        PipelineData::ListStream(stream, ..) => {
            let callback_spans = stream.get_caller_spans().clone();
            if let Err(mut err) = stream.drain() {
                if callback_spans.is_empty() {
                    return Err(err);
                } else {
                    for s in callback_spans {
                        err = ShellError::EvalBlockWithInput {
                            span: s,
                            sources: vec![err],
                        }
                    }
                    return Err(err);
                }
            }
        }
        PipelineData::Value(..) | PipelineData::Empty => {}
    }

    let pipefail = nu_experimental::PIPE_FAIL.get();
    if !pipefail {
        return Ok(Continue);
    }
    #[cfg(feature = "os")]
    {
        check_exit_status_future(data.exit).map(|_| Continue)
    }
    #[cfg(not(feature = "os"))]
    Ok(Continue)
}

/// Helper for drainIfEnd behavior
fn drain_if_end(
    ctx: &mut EvalContext<'_>,
    data: PipelineExecutionData,
) -> Result<PipelineData, ShellError> {
    let stack = &mut ctx
        .stack
        .push_redirection(ctx.redirect_out.clone(), ctx.redirect_err.clone());
    let result = data.body.drain_to_out_dests(ctx.engine_state, stack)?;

    let pipefail = nu_experimental::PIPE_FAIL.get();
    if !pipefail {
        return Ok(result);
    }
    #[cfg(feature = "os")]
    {
        check_exit_status_future(data.exit).map(|_| result)
    }
    #[cfg(not(feature = "os"))]
    Ok(result)
}

enum RedirectionStream {
    Out,
    Err,
}

/// Open a file for redirection
fn open_file(ctx: &EvalContext<'_>, path: &Value, append: bool) -> Result<Arc<File>, ShellError> {
    let path_expanded =
        expand_path_with(path.as_str()?, ctx.engine_state.cwd(Some(ctx.stack))?, true);
    let mut options = File::options();
    if append {
        options.append(true);
    } else {
        options.write(true).truncate(true);
    }
    let file = options
        .create(true)
        .open(&path_expanded)
        .map_err(|err| IoError::new(err, path.span(), path_expanded))?;
    Ok(Arc::new(file))
}

/// Set up a [`Redirection`] from a [`RedirectMode`]
fn eval_redirection(
    ctx: &mut EvalContext<'_>,
    mode: &RedirectMode,
    span: Span,
    which: RedirectionStream,
) -> Result<Option<Redirection>, ShellError> {
    match mode {
        RedirectMode::Pipe => Ok(Some(Redirection::Pipe(OutDest::Pipe))),
        RedirectMode::PipeSeparate => Ok(Some(Redirection::Pipe(OutDest::PipeSeparate))),
        RedirectMode::Value => Ok(Some(Redirection::Pipe(OutDest::Value))),
        RedirectMode::Null => Ok(Some(Redirection::Pipe(OutDest::Null))),
        RedirectMode::Inherit => Ok(Some(Redirection::Pipe(OutDest::Inherit))),
        RedirectMode::Print => Ok(Some(Redirection::Pipe(OutDest::Print))),
        RedirectMode::File { file_num } => {
            let file = ctx
                .files
                .get(*file_num as usize)
                .cloned()
                .flatten()
                .ok_or_else(|| ShellError::IrEvalError {
                    msg: format!("Tried to redirect to file #{file_num}, but it is not open"),
                    span: Some(span),
                })?;
            Ok(Some(Redirection::File(file)))
        }
        RedirectMode::Caller => Ok(match which {
            RedirectionStream::Out => ctx.stack.pipe_stdout().cloned().map(Redirection::Pipe),
            RedirectionStream::Err => ctx.stack.pipe_stderr().cloned().map(Redirection::Pipe),
        }),
    }
}

/// Do an `iterate` instruction. This can be called repeatedly to get more values from an iterable
fn eval_iterate(
    ctx: &mut EvalContext<'_>,
    dst: RegId,
    stream: RegId,
    end_index: usize,
    span: Span,
) -> Result<InstructionResult, ShellError> {
    let mut data = ctx.take_reg(stream);
    if let PipelineData::ListStream(list_stream, _) = &mut data.body {
        // Modify the stream, taking one value off, and branching if it's empty
        if let Some(val) = list_stream.next_value() {
            ctx.put_reg(dst, PipelineExecutionData::from(val.into_pipeline_data()));
            ctx.put_reg(stream, data); // put the stream back so it can be iterated on again
            Ok(InstructionResult::Continue)
        } else {
            ctx.put_reg(dst, PipelineExecutionData::empty());
            Ok(InstructionResult::Branch(end_index))
        }
    } else {
        // Convert the PipelineData to an iterator, and wrap it in a ListStream so it can be
        // iterated on
        let metadata = data.body.take_metadata();
        let span = data.span().unwrap_or(span);
        ctx.put_reg(
            stream,
            PipelineExecutionData::from(PipelineData::list_stream(
                ListStream::new(data.body.into_iter(), span, Signals::EMPTY),
                metadata,
            )),
        );
        eval_iterate(ctx, dst, stream, end_index, span)
    }
}

/// Redirect environment from the callee stack to the caller stack
fn redirect_env(engine_state: &EngineState, caller_stack: &mut Stack, callee_stack: &Stack) {
    // TODO: make this more efficient
    // Grab all environment variables from the callee
    let caller_env_vars = caller_stack.get_env_var_names(engine_state);

    // remove env vars that are present in the caller but not in the callee
    // (the callee hid them)
    for var in caller_env_vars.iter() {
        if !callee_stack.has_env_var(engine_state, var) {
            caller_stack.hide_env_var(engine_state, var);
        }
    }

    // add new env vars from callee to caller
    for (var, value) in callee_stack.get_stack_env_vars() {
        caller_stack.add_env_var(var, value);
    }

    // set config to callee config, to capture any updates to that
    caller_stack.config.clone_from(&callee_stack.config);
}