Struct RelatedValues

A symmetric relation that consists of all pairs of values that are direct copies of each other.

A value is deemed a copy of another value if the former is produced by a copy instruction that references the latter or if the former is a block parameter and there is a branch that specifies the latter as the argument to the former.

This information can be useful for the purpose of register allocation: allocating two related values to the same register will elide a copy.

Inherited Members

ValueType.Equals(object)

ValueType.GetHashCode()

ValueType.ToString()

object.Equals(object, object)

object.GetType()

object.ReferenceEquals(object, object)

Namespace: Flame.Compiler.Analysis

Assembly: Flame.Compiler.dll

Syntax

public struct RelatedValues

Methods

AreRelated(ValueTag, ValueTag)

Tests if two values are related.

Declaration

public bool AreRelated(ValueTag first, ValueTag second)

Parameters

Type	Name	Description
ValueTag	first	A first value.
ValueTag	second	A second value.

Returns

Type	Description
bool	true if the values are related; otherwise, false.

GetRelatedValues(ValueTag)

Gets the set of all values related to a particular value.

Declaration

public IEnumerable<ValueTag> GetRelatedValues(ValueTag value)

Parameters

Type	Name	Description
ValueTag	value	The related value.

Returns

Type	Description
IEnumerable<ValueTag>	The set of related values.