Analyses

Topics
	Basic Block Execution Frequency
	Callgraph
	Control Dependence
	Dominance Information
	Dynamic Reverse Edges
	Loops
	Memory Disambiguator
	Node Heights
	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