type
fun typeRestrictionCondition(startingRegisters: Iterable<L2Register>, requiredRestriction: TypeRestriction): L2SplitCondition.L2MeetsRestrictionCondition
Create an L2MeetsRestrictionCondition that is true when any of the ancestors of the given registers satisfies the given TypeRestriction.
Return
Parameters
starting
The registers from which to search for ancestors.
required
The TypeRestriction that will be applied to the ancestor L2SemanticValues when determining if the condition holds at some point in the L2ControlFlowGraph.