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