Struct llir::values::Block

pub struct Block<'ctx>(_, _);

A block inside of function

Implementations

impl<'ctx> Block<'ctx>

pub fn parent_function(&self) -> Function<'ctx>

Get the function containing this block

pub fn iter_instructions(&self) -> BlockInstructionIterator<'ctx>

Iterate the instructions inside this block

for instr in blk.iter_instructions() {
  // Do things to instr...
}

pub fn first_instruction(&self) -> Option<Instruction<'ctx>>

Get the first instruction inside this block

pub fn last_instruction(&self) -> Option<Instruction<'ctx>>

Get the last instruction inside this block

pub fn name(&self) -> String

Get the name of the block

pub fn destination_blocks(&self) -> Vec<Block<'ctx>>

Get the destination blocks that can be reached

pub fn is_loop_entry_block(&self) -> bool

Checking if a block is a loop entry block

Will iterate through all blocks inside the function and see if there is an loop based unconditional branch going to this block. This function is relying on the debug symbol llvm.loop

Trait Implementations

impl<'ctx> Clone for Block<'ctx>

fn clone(&self) -> Block<'ctx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'ctx> Copy for Block<'ctx>

impl<'ctx> Debug for Block<'ctx>

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

Formats the value using the given formatter.

impl<'ctx> Eq for Block<'ctx>

impl<'ctx> GetDebugMetadata<'ctx> for Block<'ctx>

fn dbg_metadata(&self) -> Option<Metadata<'ctx>>

impl<'ctx> Hash for Block<'ctx>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<'ctx> PartialEq<Block<'ctx>> for Block<'ctx>

fn eq(&self, other: &Block<'ctx>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Block<'ctx>) -> bool

This method tests for !=.

impl<'ctx> Send for Block<'ctx>

impl<'ctx> StructuralEq for Block<'ctx>

impl<'ctx> StructuralPartialEq for Block<'ctx>

impl<'ctx> Sync for Block<'ctx>