Struct llhd::Block

pub struct Block { /* fields omitted */ }

A basic block.

Methods

impl Block

pub fn new(name: Option<String>) -> Block

Create a new empty basic block with an optional name (aka label).

pub fn as_ref(&self) -> BlockRef

Obtain a reference to this block.

Important traits for InstIter<'tf>

impl<'tf> Iterator for InstIter<'tf> type Item = &'tf Inst;

pub fn insts<'a>(&'a self, ctx: &'a dyn UnitContext) -> InstIter<'a>

Obtain an iterator over the instructions in this block.

pub fn inst_refs(&self) -> Iter<InstRef>

Obtain an iterator over references to the instructions in this block.

pub fn insert_inst(&mut self, inst: InstRef, pos: InstPosition)

Insert an instruction into this block as dictated by the requested position. Begin and End are treated as synonyms to BlockBegin and BlockEnd. Panics if the referred instruction is not part of this block.

pub fn detach_inst(&mut self, inst: InstRef)

Detach an instruction from this block. Panics if the instruction is not part of this block.

Trait Implementations

impl Value for Block

fn id(&self) -> ValueId

Get the unique ID of the value.

fn ty(&self) -> Type

Get the type of the value.

fn name(&self) -> Option<&str>

Get the optional name of the value.

fn is_global(&self) -> bool

Whether this value is global or not. Global values are considered during linking, and are visible in a module's symbol table. Local values are not, and are only visible within the surrounding context (module or unit).