Module raptor::analysis

Various analyses implemented over Raptor IR

Re-exports

pub use self::constants::Constant;

Modules

constants	A very simple, and fast, constants folding and propagation.
detect_call_information	Automatically detect inter-procedural call information.
fixed_point	A fixed-point engine for data-flow analysis.
ksets
stack_pointer_offsets
strided_intervals	An incomplete Strided Intervals implementation.
transient_assignments	Detect callee-saved variables.

Structs

LocationSet
RefLocationSet

Functions

argument_identification	Attempt to identify the arguments to function calls.
dead_code_elimination	Eliminate dead code in an IL function
def_use	Compute definition use chains for the given function.
parameter_identification	Attempt to identify the variables and stack arguments which are the incoming parameters to this function.
reaching_definitions	Compute reaching definitions for the given function.
use_def	Compute use definition chains for the given function.
variable_use_def