Struct cranelift_wasm::FuncTranslationState

pub struct FuncTranslationState { /* private fields */ }

Contains information passed along during a function’s translation and that records:

• The current value and control stacks.
• The depth of the two unreachable control blocks stacks, that are manipulated when translating unreachable code;

Implementations

impl FuncTranslationState

pub fn reachable(&self) -> bool

True if the current translation state expresses reachable code, false if it is unreachable.

Examples found in repository

src/environ/dummy.rs (line 358)

    fn before_translate_operator(
        &mut self,
        _op: &Operator,
        _builder: &mut FunctionBuilder,
        state: &FuncTranslationState,
    ) -> WasmResult<()> {
        if let Some(ref mut r) = &mut self.expected_reachability {
            r.check_before(state.reachable());
        }
        Ok(())
    }

    fn after_translate_operator(
        &mut self,
        _op: &Operator,
        _builder: &mut FunctionBuilder,
        state: &FuncTranslationState,
    ) -> WasmResult<()> {
        if let Some(ref mut r) = &mut self.expected_reachability {
            r.check_after(state.reachable());
        }
        Ok(())
    }