Struct Locals

pub struct Locals {
    pub arg_count: usize,
    pub vars: Vector<VarId, Var>,
}

The local variables of a body.

Fields

arg_count: usize

The number of local variables used for the input arguments.

vars: Vector<VarId, Var>

The local variables. We always have, in the following order:

• the local used for the return value (index 0)
• the arg_count input arguments
• the remaining locals, used for the intermediate computations

Implementations

impl Locals

pub fn new_var(&mut self, name: Option<String>, ty: Ty) -> Place

Creates a new variable and returns a place pointing to it.

pub fn place_for_var(&self, var_id: VarId) -> Place

Gets a place pointing to the corresponding variable.

pub fn return_place(&self) -> Place

The place where we write the return value.

Trait Implementations

impl AstVisitable for Locals

fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn name(&self) -> &'static str

The name of the type, used for debug logging.

fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

impl BodyVisitable for Locals

fn drive_body<V: VisitBody>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_body_mut<V: VisitBodyMut>( &mut self, v: &mut V, ) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn dyn_visit_in_body<T: BodyVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_in_body_mut<T: BodyVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

impl Clone for Locals

fn clone(&self) -> Locals

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Locals

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Locals

fn default() -> Locals

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Locals

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'s, V> Drive<'s, V> for Locals

where V: Visitor + Visit<'s, Vector<VarId, Var>>,

fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveMut<'s, V> for Locals

where V: Visitor + VisitMut<'s, Vector<VarId, Var>>,

fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl Index<VarId> for Locals

type Output = Var

The returned type after indexing.

fn index(&self, var_id: VarId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Serialize for Locals

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.