- <init>
- addBlockToWorklist
Adds a SSA basic block to the CFG worklist if it's unexecuted, or to the CFG phi
worklist if it's al
- addUsersToWorklist
Adds an SSA register's uses to the SSA worklist.
- process
Performs sparse conditional constant propagation on a method.
- replaceConstants
Replaces TypeBearers in source register specs with constant type bearers if
possible. These are then
- setLatticeValueTo
Sets a lattice value for a register to value.
- simulateBlock
Simulate a block and note the results in the lattice.
- simulateMath
Simulates math insns, if possible.
- simulatePhi
Simulates a PHI node and set the lattice for the result to the appropriate
value. Meet values: TOP x
- simulateStmt
Simulates a statement and set the result lattice value.
- replaceBranches
Replaces branches that have constant conditions with gotos
- simulateBranch
Simulates branch insns, if possible. Adds reachable successor blocks to the CFG
worklists.