Basic Block Execution Frequency
 Execution frequencies specify how often a basic block is expected to get executed during execution of a function.
 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
 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