Struct llhd::ir::ControlFlowGraph

pub struct ControlFlowGraph { /* fields omitted */ }

A control flow graph.

This is the main container for BBs and control flow related information. Every Function and Process has an associated control flow graph.

Methods

impl ControlFlowGraph

pub fn new() -> Self

Create a new control flow graph.

pub fn add_block(&mut self) -> Block

Add a BB to the graph.

pub fn remove_block(&mut self, bb: Block)

Remove a BB from the graph.

pub fn get_name(&self, bb: Block) -> Option<&str>

Return the name of a BB.

pub fn set_name(&mut self, bb: Block, name: String)

Set the name of a BB.

pub fn clear_name(&mut self, bb: Block) -> Option<String>

Clear the name of a BB.

pub fn get_anonymous_hint(&self, bb: Block) -> Option<u32>

Return the anonymous name hint of a BB.

pub fn set_anonymous_hint(&mut self, bb: Block, hint: u32)

Set the anonymous name hint of a BB.

pub fn clear_anonymous_hint(&mut self, bb: Block) -> Option<u32>

Clear the anonymous name hint of a BB.

Trait Implementations

impl Default for ControlFlowGraph

fn default() -> ControlFlowGraph

Returns the "default value" for a type.

impl<'de> Deserialize<'de> for ControlFlowGraph

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Index<Block> for ControlFlowGraph

type Output = BlockData

The returned type after indexing.

fn index(&self, idx: Block) -> &BlockData

Performs the indexing (container[index]) operation.

impl IndexMut<Block> for ControlFlowGraph

fn index_mut(&mut self, idx: Block) -> &mut BlockData

Performs the mutable indexing (container[index]) operation.

impl Serialize for ControlFlowGraph

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

Serialize this value into the given Serde serializer.