Class | Description |
---|---|
LivenessAnalysis |
Analysis which detects when variable is not used after the assignment,
and eliminates assignment.
|
LivenessAssumption |
Assumption for LivenessAnalysis.
|
LivenessAssumption.Updater |
Updates the assumption by copying it on first write.
|
LivenessFlowFunction |
Flow function for Liveness Analysis.
|
LivenessIntegratedFlowFunction | |
LivenessTransformation |
Kill assignment.
|
Copyright © 2018. All rights reserved.