[−][src]Struct llhd::ir::prelude::Unit

pub struct Unit<'a> { /* fields omitted */ }

An immutable function, process, or entity.

Implementations

`impl<'a> Unit<'a>`[src]

`pub fn new(unit: UnitId, data: &'a UnitData) -> Self`[src]

Create a new unit wrapper around raw unit data.

`pub fn new_anonymous(data: &'a UnitData) -> Self`[src]

Create a new unit wrapper around raw unit data that has not been added to a module yet.

`pub fn id(self) -> UnitId`[src]

Get the unit's id.

`pub fn data(self) -> &'a UnitData`[src]

Get the unit's data.

`pub fn kind(&self) -> UnitKind`[src]

Get the kind of this unit.

`pub fn sig(self) -> &'a Signature`[src]

Get the unit's signature.

`pub fn name(self) -> &'a UnitName`[src]

Get the unit's name.

`pub fn dump(self) -> Self`[src]

👎 Deprecated since 0.13.0:

simply drop the dump()

Dump the unit in human-readable form.

`pub fn verify(self)`[src]

Panic if the unit is not well-formed.

`pub fn is_function(self) -> bool`[src]

Check if this unit is a Function.

`pub fn is_process(self) -> bool`[src]

Check if this unit is a Process.

`pub fn is_entity(self) -> bool`[src]

Check if this unit is an Entity.

`pub fn input_args(self) -> impl Iterator<Item = Value> + 'a`[src]

Return an iterator over the unit's input arguments.

`pub fn output_args(self) -> impl Iterator<Item = Value> + 'a`[src]

Return an iterator over the unit's output arguments.

`pub fn args(self) -> impl Iterator<Item = Value> + 'a`[src]

Return an iterator over the unit's arguments.

`pub fn input_arg(self, pos: usize) -> Value`[src]

Get the input argument at position pos.

`pub fn output_arg(self, pos: usize) -> Value`[src]

Get the output argument at position pos.

`pub fn extern_name(self, ext: ExtUnit) -> &'a UnitName`[src]

Return the name of an external unit.

`pub fn extern_sig(self, ext: ExtUnit) -> &'a Signature`[src]

Return the signature of an external unit.

`pub fn extern_units( self ) -> impl Iterator<Item = (ExtUnit, &'a ExtUnitData)> + 'a`[src]

Return an iterator over the external units used by this unit.

`impl<'a> Unit<'a>`[src]

Analyses

`pub fn trg(self) -> TemporalRegionGraph`[src]

Compute the unit's temporal region graph.

`pub fn predtbl(self) -> PredecessorTable`[src]

Compute the unit's block predecessor table.

`pub fn temporal_predtbl(self) -> PredecessorTable`[src]

Compute the unit's temporal block predecessor table.

`pub fn domtree(self) -> DominatorTree`[src]

Compute the unit's dominator tree.

`pub fn temporal_domtree(self) -> DominatorTree`[src]

Compute the unit's temporal dominator tree.

`pub fn domtree_with_predtbl(self, pt: &PredecessorTable) -> DominatorTree`[src]

Compute the unit's dominator tree, if a predecessor table is already available.

`impl<'a> Unit<'a>`[src]

Control Flow Graph

`pub fn get_block_name(self, bb: Block) -> Option<&'a str>`[src]

Return the name of a BB.

`pub fn get_anonymous_block_hint(self, bb: Block) -> Option<u32>`[src]

Return the anonymous name hint of a BB.

`impl<'a> Unit<'a>`[src]

Data Flow Graph

`pub fn is_placeholder(self, value: Value) -> bool`[src]

Check if a value is a placeholder.

`pub fn has_result(self, inst: Inst) -> bool`[src]

Returns whether an instruction produces a result.

`pub fn inst_result(self, inst: Inst) -> Value`[src]

Returns the result of an instruction.

`pub fn get_inst_result(self, inst: Inst) -> Option<Value>`[src]

Returns the result of an instruction.

`pub fn arg_value(self, arg: Arg) -> Value`[src]

Returns the value of an argument.

`pub fn value_type(self, value: Value) -> Type`[src]

Returns the type of a value.

`pub fn inst_type(self, inst: Inst) -> Type`[src]

Returns the type of an instruction.

`pub fn get_value_arg(self, value: Value) -> Option<Arg>`[src]

Return the argument that produces value.

`pub fn value_arg(self, value: Value) -> Arg`[src]

Return the argument that produces value, or panic.

`pub fn get_value_inst(self, value: Value) -> Option<Inst>`[src]

Return the instruction that produces value.

`pub fn value_inst(self, value: Value) -> Inst`[src]

Return the instruction that produces value, or panic.

`pub fn get_name(self, value: Value) -> Option<&'a str>`[src]

Return the name of a value.

`pub fn get_anonymous_hint(self, value: Value) -> Option<u32>`[src]

Return the anonymous name hint of a value.

`pub fn uses(self, value: Value) -> &'a HashSet<Inst>`[src]

Iterate over all uses of a value.

`pub fn has_uses(self, value: Value) -> bool`[src]

Check if a value is used.