Struct Function 

pub struct Function {
    pub name: String,
    pub len: u64,
    pub rows: Vec<Row>,
    pub decl: Option<Place>,
    pub sig: Option<Sig>,
    pub external: bool,
    pub locals: Vec<Local>,
    pub scopes: Vec<Scope>,
}

One function: where each of its instructions came from, and what it is.

Fields

name: String

Its name, as the C program spelled it, which is what a relocation here asks the linker for.

len: u64

How many bytes of instructions it is.

rows: Vec<Row>

The rows, in increasing order of address.

decl: Option<Place>

Where it was declared, and nothing when that is not known.

sig: Option<Sig>

What it takes and gives back, and None when this compiler cannot yet say.

A function with nothing here gets no entry in .debug_info at all, for the reason in the tree.rs module documentation: an entry with no return type is an entry saying void, so half an answer here is a wrong one rather than a partial one.

external: bool

Whether anything outside this unit can see it, which is the opposite of static.

locals: Vec<Local>

The locals lowering gave a frame slot, in the order the slots were asked for, which is the order they were declared in.

Parameters are not among them, whether or not they have a slot. See Local.

scopes: Vec<Scope>

The inner scopes of the function, each after the scope it is written inside.

The function’s own body is not one of them, for the reason Scope gives. A scope nothing above names is written down anyway and costs nothing: an entry is only made for one that has a local of its own or holds a scope that does.

Trait Implementations

impl Clone for Function

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Function

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

Formats the value using the given formatter.

impl Default for Function

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Function

impl PartialEq for Function

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Function