Struct cranelift_codegen::ir::dfg::DataFlowGraph

pub struct DataFlowGraph {
    pub value_lists: ValueListPool,
    pub signatures: PrimaryMap<SigRef, Signature>,
    pub ext_funcs: PrimaryMap<FuncRef, ExtFuncData>,
    pub values_labels: Option<HashMap<Value, ValueLabelAssignments>>,
    pub constants: ConstantPool,
    // some fields omitted
}

A data flow graph defines all instructions and extended basic blocks in a function as well as the data flow dependencies between them. The DFG also tracks values which can be either instruction results or EBB parameters.

The layout of EBBs in the function and of instructions in each EBB is recorded by the Layout data structure which forms the other half of the function representation.

Fields

value_lists: ValueListPool

Memory pool of value lists.

The ValueList references into this pool appear in many places:

• Instructions in insts that don't have room for their entire argument list inline.
• Instruction result values in results.
• EBB parameters in ebbs.

signatures: PrimaryMap<SigRef, Signature>

Function signature table. These signatures are referenced by indirect call instructions as well as the external function references.

ext_funcs: PrimaryMap<FuncRef, ExtFuncData>

External function references. These are functions that can be called directly.

values_labels: Option<HashMap<Value, ValueLabelAssignments>>

Saves Value labels.

constants: ConstantPool

Constants used within the function

Methods

impl DataFlowGraph

pub fn new() -> Self

Create a new empty DataFlowGraph.

pub fn clear(&mut self)

Clear everything.

pub fn num_insts(&self) -> usize

Get the total number of instructions created in this function, whether they are currently inserted in the layout or not.

This is intended for use with SecondaryMap::with_capacity.

pub fn inst_is_valid(&self, inst: Inst) -> bool

Returns true if the given instruction reference is valid.

pub fn num_ebbs(&self) -> usize

Get the total number of extended basic blocks created in this function, whether they are currently inserted in the layout or not.

This is intended for use with SecondaryMap::with_capacity.

pub fn ebb_is_valid(&self, ebb: Ebb) -> bool

Returns true if the given ebb reference is valid.

pub fn num_values(&self) -> usize

Get the total number of values.

pub fn collect_debug_info(&mut self)

Starts collection of debug information.

impl DataFlowGraph

Handling values.

Values are either EBB parameters or instruction results.

Important traits for Values<'a>

impl<'a> Iterator for Values<'a> type Item = Value;

pub fn values<'a>(&'a self) -> Values

Get an iterator over all values.

pub fn value_is_valid(&self, v: Value) -> bool

Check if a value reference is valid.

pub fn value_type(&self, v: Value) -> Type

Get the type of a value.

pub fn value_def(&self, v: Value) -> ValueDef

Get the definition of a value.

This is either the instruction that defined it or the Ebb that has the value as an parameter.

pub fn value_is_attached(&self, v: Value) -> bool

Determine if v is an attached instruction result / EBB parameter.

An attached value can't be attached to something else without first being detached.

Value aliases are not considered to be attached to anything. Use resolve_aliases() to determine if the original aliased value is attached.

pub fn resolve_aliases(&self, value: Value) -> Value

Resolve value aliases.

Find the original SSA value that value aliases.

pub fn resolve_aliases_in_arguments(&mut self, inst: Inst)

Resolve all aliases among inst's arguments.

For each argument of inst which is defined by an alias, replace the alias with the aliased value.

pub fn change_to_alias(&mut self, dest: Value, src: Value)

Turn a value into an alias of another.

Change the dest value to behave as an alias of src. This means that all uses of dest will behave as if they used that value src.

The dest value can't be attached to an instruction or EBB.

pub fn replace_with_aliases(&mut self, dest_inst: Inst, src_inst: Inst)

Replace the results of one instruction with aliases to the results of another.

Change all the results of dest_inst to behave as aliases of corresponding results of src_inst, as if calling change_to_alias for each.

After calling this instruction, dest_inst will have had its results cleared, so it likely needs to be removed from the graph.

impl DataFlowGraph

Instructions.

pub fn make_inst(&mut self, data: InstructionData) -> Inst

Create a new instruction.

The type of the first result is indicated by data.ty. If the instruction produces multiple results, also call make_inst_results to allocate value table entries.

pub fn display_inst<'a, I: Into<Option<&'a dyn TargetIsa>>>(
    &'a self,
    inst: Inst,
    isa: I
) -> DisplayInst<'a>

Returns an object that displays inst.

pub fn inst_args(&self, inst: Inst) -> &[Value]

Get all value arguments on inst as a slice.

pub fn inst_args_mut(&mut self, inst: Inst) -> &mut [Value]

Get all value arguments on inst as a mutable slice.

pub fn inst_fixed_args(&self, inst: Inst) -> &[Value]

Get the fixed value arguments on inst as a slice.

pub fn inst_fixed_args_mut(&mut self, inst: Inst) -> &mut [Value]

Get the fixed value arguments on inst as a mutable slice.

pub fn inst_variable_args(&self, inst: Inst) -> &[Value]

Get the variable value arguments on inst as a slice.

pub fn inst_variable_args_mut(&mut self, inst: Inst) -> &mut [Value]

Get the variable value arguments on inst as a mutable slice.

pub fn make_inst_results(&mut self, inst: Inst, ctrl_typevar: Type) -> usize

Create result values for an instruction that produces multiple results.

Instructions that produce no result values only need to be created with make_inst, otherwise call make_inst_results to allocate value table entries for the results.

The result value types are determined from the instruction's value type constraints and the provided ctrl_typevar type for polymorphic instructions. For non-polymorphic instructions, ctrl_typevar is ignored, and INVALID can be used.

The type of the first result value is also set, even if it was already set in the InstructionData passed to make_inst. If this function is called with a single-result instruction, that is the only effect.

pub fn make_inst_results_reusing<I>(
    &mut self,
    inst: Inst,
    ctrl_typevar: Type,
    reuse: I
) -> usize where
    I: Iterator<Item = Option<Value>>, 

Create result values for inst, reusing the provided detached values.

Create a new set of result values for inst using ctrl_typevar to determine the result types. Any values provided by reuse will be reused. When reuse is exhausted or when it produces None, a new value is created.

pub fn replace(&mut self, inst: Inst) -> ReplaceBuilder

Create a ReplaceBuilder that will replace inst with a new instruction in place.

pub fn detach_results(&mut self, inst: Inst) -> ValueList

Detach the list of result values from inst and return it.

This leaves inst without any result values. New result values can be created by calling make_inst_results or by using a replace(inst) builder.

pub fn clear_results(&mut self, inst: Inst)

Clear the list of result values from inst.

This leaves inst without any result values. New result values can be created by calling make_inst_results or by using a replace(inst) builder.

pub fn attach_result(&mut self, inst: Inst, res: Value)

Attach an existing value to the result value list for inst.

The res value is appended to the end of the result list.

This is a very low-level operation. Usually, instruction results with the correct types are created automatically. The res value must not be attached to anything else.

pub fn replace_result(&mut self, old_value: Value, new_type: Type) -> Value

Replace an instruction result with a new value of type new_type.

The old_value must be an attached instruction result.

The old value is left detached, so it should probably be changed into something else.

Returns the new value.

pub fn append_result(&mut self, inst: Inst, ty: Type) -> Value

Append a new instruction result value to inst.

pub fn append_inst_arg(&mut self, inst: Inst, new_arg: Value)

Append a new value argument to an instruction.

Panics if the instruction doesn't support arguments.

pub fn first_result(&self, inst: Inst) -> Value

Get the first result of an instruction.

This function panics if the instruction doesn't have any result.

pub fn has_results(&self, inst: Inst) -> bool

Test if inst has any result values currently.

pub fn inst_results(&self, inst: Inst) -> &[Value]

Return all the results of an instruction.

pub fn call_signature(&self, inst: Inst) -> Option<SigRef>

Get the call signature of a direct or indirect call instruction. Returns None if inst is not a call instruction.

pub fn analyze_branch(&self, inst: Inst) -> BranchInfo

Check if inst is a branch.

pub fn compute_result_type(
    &self,
    inst: Inst,
    result_idx: usize,
    ctrl_typevar: Type
) -> Option<Type>

Compute the type of an instruction result from opcode constraints and call signatures.

This computes the same sequence of result types that make_inst_results() above would assign to the created result values, but it does not depend on make_inst_results() being called first.

Returns None if asked about a result index that is too large.

pub fn ctrl_typevar(&self, inst: Inst) -> Type

Get the controlling type variable, or INVALID if inst isn't polymorphic.

impl DataFlowGraph

Extended basic blocks.

pub fn make_ebb(&mut self) -> Ebb

Create a new basic block.

pub fn num_ebb_params(&self, ebb: Ebb) -> usize

Get the number of parameters on ebb.

pub fn ebb_params(&self, ebb: Ebb) -> &[Value]

Get the parameters on ebb.

pub fn append_ebb_param(&mut self, ebb: Ebb, ty: Type) -> Value

Append a parameter with type ty to ebb.

pub fn swap_remove_ebb_param(&mut self, val: Value) -> usize

Removes val from ebb's parameters by swapping it with the last parameter on ebb. Returns the position of val before removal.

Important: to ensure O(1) deletion, this method swaps the removed parameter with the last ebb parameter. This can disrupt all the branch instructions jumping to this ebb for which you have to change the branch argument order if necessary.

Panics if val is not an EBB parameter.

pub fn remove_ebb_param(&mut self, val: Value)

Removes val from ebb's parameters by a standard linear time list removal which preserves ordering. Also updates the values' data.

pub fn attach_ebb_param(&mut self, ebb: Ebb, param: Value)

Append an existing value to ebb's parameters.

The appended value can't already be attached to something else.

In almost all cases, you should be using append_ebb_param() instead of this method.

pub fn replace_ebb_param(&mut self, old_value: Value, new_type: Type) -> Value

Replace an EBB parameter with a new value of type ty.

The old_value must be an attached EBB parameter. It is removed from its place in the list of parameters and replaced by a new value of type new_type. The new value gets the same position in the list, and other parameters are not disturbed.

The old value is left detached, so it should probably be changed into something else.

Returns the new value.

pub fn detach_ebb_params(&mut self, ebb: Ebb) -> ValueList

Detach all the parameters from ebb and return them as a ValueList.

This is a quite low-level operation. Sensible things to do with the detached EBB parameters is to put them back on the same EBB with attach_ebb_param() or change them into aliases with change_to_alias().

impl DataFlowGraph

Parser routines. These routines should not be used outside the parser.

pub fn make_inst_results_for_parser(
    &mut self,
    inst: Inst,
    ctrl_typevar: Type,
    reuse: &[Value]
) -> usize

Create result values for inst, reusing the provided detached values. This is similar to make_inst_results_reusing except it's only for use in the parser, which needs to reuse previously invalid values.

pub fn append_ebb_param_for_parser(&mut self, ebb: Ebb, ty: Type, val: Value)

Similar to append_ebb_param, append a parameter with type ty to ebb, but using value val. This is only for use by the parser to create parameters with specific values.

pub fn make_value_alias_for_serialization(&mut self, src: Value, dest: Value)

Create a new value alias. This is only for use by the parser to create aliases with specific values, and the printer for testing.

pub fn value_alias_dest_for_serialization(&self, v: Value) -> Option<Value>

If v is already defined as an alias, return its destination value. Otherwise return None. This allows the parser to coalesce identical alias definitions, and the printer to identify an alias's immediate target.

pub fn set_alias_type_for_parser(&mut self, v: Value) -> bool

Compute the type of an alias. This is only for use in the parser. Returns false if an alias cycle was encountered.

pub fn make_invalid_value_for_parser(&mut self)

Create an invalid value, to pad the index space. This is only for use by the parser to pad out the value index space.

pub fn value_is_valid_for_parser(&self, v: Value) -> bool

Check if a value reference is valid, while being aware of aliases which may be unresolved while parsing.

Trait Implementations

impl Index<Inst> for DataFlowGraph

Allow immutable access to instructions via indexing.

type Output = InstructionData

The returned type after indexing.

fn index(&self, inst: Inst) -> &InstructionData

Performs the indexing (container[index]) operation.

impl IndexMut<Inst> for DataFlowGraph

Allow mutable access to instructions via indexing.

fn index_mut(&mut self, inst: Inst) -> &mut InstructionData

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

impl Clone for DataFlowGraph

fn clone(&self) -> DataFlowGraph

Returns a copy of the value.

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

Performs copy-assignment from source.