Data
Whether L2SemanticValues or the underlying L2Registers should be considered when following data flow to determine liveness.
Entries
Both L2SemanticValues and L2Registers should be traced for liveness.
L2SemanticValues can be ignored, and only L2Registers should be considered for the liveness analysis.
The liveness analyses should consider the flows through L2SemanticValues.
Functions
Extract each L2EntityAndKind that this policy is concerned with from the given L2ReadOperand.
Extract each L2EntityAndKind that this policy is concerned with from the given L2WriteOperand.
Extract each relevant L2Entity consumed by the given L2Instruction.
Extract each relevant L2Entity consumed by the given L2ReadOperand.
Extract each relevant L2EntityAndKind produced by the given L2Instruction.
Extract each relevant L2Entity produced by the given L2WriteOperand.
Properties
Answer whether L2Registers should be tracked by this policy.
Answer whether L2SemanticValues should be tracked by this policy.