libFirm
 All Data Structures Functions Variables Typedefs Enumerations Enumerator Groups Pages
Analyses

Modules

 Basic Block Execution Frequency
 Execution frequencies specify how often a basic block is expected to get executed during execution of a function.
 
 Callgraph
 This file contains the representation of the callgraph.
 
 Control Dependence
 
 Dominance Information
 The dominator information is stored in three fields of block nodes:
 
 Dynamic Reverse Edges
 
 Loops
 
 Memory Disambiguator
 A memory disambiguator checks whether 2 given SSA values representing addresses alias.
 
 Node Heights
 The height is a measure for the longest data dependency path from a node to the end of a basic block.
 
 Reverse Edges
 Out-Edges are the reverse of the edges in a firm graph (also called def-use edges)
 
 Value Information
 Information about SSA-values (ranges, known bits, ...)
 

Detailed Description