Struct NumberTypes 

pub struct NumberTypes { /* private fields */ }

Per-function static types: which local indices are proven numbers (f64) or strict booleans (a TAG_TRUE/TAG_FALSE singleton).

Implementations

impl NumberTypes

pub fn local_is_num(&self, func: &str, local: usize) -> bool

Whether local in function func is statically known to be a number.

pub fn operand_is_num(&self, func: &str, op: &Operand) -> bool

Whether op evaluates to a number inside function func.

pub fn operand_is_bool(&self, func: &str, op: &Operand) -> bool

Whether op is a strict boolean inside function func (so a branch can test it directly against TAG_TRUE rather than running full truthiness).

Trait Implementations

impl Default for NumberTypes

fn default() -> NumberTypes

Returns the “default value” for a type.