Object
This is a DecisionStep which dispatches to subtrees by looking up the argument's ObjectLayoutVariant. It can only be used when the argument has been constrained to an object.
The idea is to filter out most variants based on the fields that they define, and the fields they specifically don't define. If variant #1 has fields {x, y}, and variant #2 has fields {y, z}, then an object with variant #1 can't ever be an instance of an object type using variant #2.
Note that only the variants which have occurred have entries in this step; new variants arriving will be dynamically added to this step.
Also note that when an argument position is specified with a type that is an enumeration of multiple objects, the corresponding Result is duplicated for each of the objects' variants, ensuring a lookup of any of those actual objects can reach the correct solution.
Constructors
Construct the new instance.
Properties
Functions
Add the children LookupTrees, coupled with the available L2SemanticValues at that point, to the given list.
Output a description of this step on the given builder. Do not expand any subtrees that are still lazy.
Generate suitable branch instructions via the CallSiteHelper, and answer a list of Triples that coordinate each target L2BasicBlock with the LookupTree responsible for generating code in that block, plus the list of extra L2SemanticValues that will be present at that block.
Perform one step of looking up the most-specific Result that matches the provided tuple of argument types. Answer another LookupTree with which to continue the search.
Perform one step of looking up the most-specific Result that matches the provided list of argument types. Answer another LookupTree with which to continue the search.
Perform one step of looking up the most-specific Result that matches the provided value. Answer another LookupTree with which to continue the search.
Perform one step of looking up the most-specific Result that matches the provided list of arguments. Answer another LookupTree with which to continue the search.
Add the children LookupTrees to the given list. This can be used for scanning the tree for some condition, without recursion.
Extract the L2SemanticValue that is providing the value operated on by this step.
Given an optional list of values used to supplement the lookup, answer the updated list of values that takes this step into account. The given and resulting lists must not be modified by subsequent steps.
Given an optional list of values used to supplement the lookup, answer the updated list of values that takes this step into account. The given and resulting lists must not be modified by subsequent steps.
Given an optional list of values used to supplement the lookup, answer the updated list of values that takes this step into account. The given and resulting lists must not be modified by subsequent steps.
Given a function that produces a list of types from an Element due to an ancestor tree node, produce a new function for producing a lists of types that takes this DecisionStep into account. The function also optionally produces the type signature of the element, for reuse by subsequent wrapped functions.