Interface LiveAnalysis.Result

Enclosing class:
LiveAnalysis
public static interface LiveAnalysis.Result
Author:
Julian Dolby

Live-value analysis for a method's IR (or ControlFlowGraph and SymbolTable) using a IKilldallFramework based implementation.

Pre-requisites - Knowledge of SSA form: control flow graphs, basic blocks, Phi instructions - Knowledge of data flow analysis theory.

Implementation notes:

- The solver uses node transfer functions only. - Performance: inverts the CFG to traverse backwards (backward analysis).

  • Method Details

    • isLiveEntry

      boolean isLiveEntry(ISSABasicBlock bb, int valueNumber)

    • isLiveExit

      boolean isLiveExit(ISSABasicBlock bb, int valueNumber)

    • getLiveBefore

      BitVector getLiveBefore(int instr)