Struct BlockDef

pub struct BlockDef {
    pub insts: Vec<Value>,
    pub terminator: Terminator,
    pub succs: Vec<Block>,
    pub pos_in_succ_pred: Vec<usize>,
    pub preds: Vec<Block>,
    pub pos_in_pred_succ: Vec<usize>,
    pub params: Vec<(Type, Value)>,
    pub desc: String,
}

Fields

insts: Vec<Value>

Instructions in this block.

terminator: Terminator

Terminator: branch or return.

succs: Vec<Block>

Successor blocks.

pos_in_succ_pred: Vec<usize>

For each successor block, our index in its preds array.

preds: Vec<Block>

Predecessor blocks.

pos_in_pred_succ: Vec<usize>

For each predecessor block, our index in its succs array.

params: Vec<(Type, Value)>

Type and Value for each blockparam.

desc: String

Descriptive name for the block, if any.

Trait Implementations

impl Block<FunctionBody> for BlockDef

type Terminator = Terminator

fn term(&self) -> &Self::Terminator

fn term_mut(&mut self) -> &mut Self::Terminator

impl Block<FunctionBody> for BlockDef

fn insts(&self) -> impl Iterator<Item = <FunctionBody as Func>::Value>

fn add_inst( func: &mut FunctionBody, key: <FunctionBody as Func>::Block, v: <FunctionBody as Func>::Value, )

impl Clone for BlockDef

fn clone(&self) -> BlockDef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BlockDef

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

Formats the value using the given formatter.

impl Default for BlockDef

fn default() -> BlockDef

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for BlockDef

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for BlockDef

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

where __S: Serializer,

Serialize this value into the given Serde serializer.