Skip to content

BuiltIn Analyses

More to come!

LocalLivenessAnalyser

LocalLivenessAnalyser is used for querying for the list of live local variables before and after a given Stmt.

Example:

LocalLiveness Example

The live local variables before and after each Stmt will be calculated after generating an instance of LocalLivenessAnalyser as shown the example above. They can be queried by using the methods getLiveLocalsBeforeStmt and getLiveLocalsAfterStmt.

DominanceFinder

DomianceFinder is used for querying for the immediate dominator and dominance frontiers for a given basic block.

Example: DominanceFinder Example

After generating an instance of DominanceFinder for a BlockGraph, we will get the immediate dominator and dominance frontiers for each basic block. The both properties can be queried by using the methodsgetImmediateDominatorandgetDominanceFrontiers.