[][src]Module raptor::analysis::transient_assignments

Detect callee-saved variables.

In assembly, callees often times save variables. We want to detect these, so we can remove the code for the saving and restoring of these variables.

Structs

TransientAssignmentChain
TransientAssignments

Enums

TransientAssignment

Functions

transient_assignments

Returns a HashSet at each location. If a variable is present in that HashSet, then it is transient at that point in the program.