A type for program points.
A type for program points.
.
Return the definitions that produced the topmost 'm' elements on the stack, and that reach the instruction at index 'idx' in basic block 'bb'.
Return the instructions that produced the 'm' elements on the stack, below given 'depth'.
Return the instructions that produced the 'm' elements on the stack, below given 'depth'. for instance, findefs(bb, idx, 1, 1) returns the instructions that might have produced the value found below the topmost element of the stack.
Implements forward dataflow analysis: the transfer function is applied when inputs to a Program point change, to obtain the new output value.
Implements forward dataflow analysis: the transfer function is applied when inputs to a Program point change, to obtain the new output value.
the transfer function.
Return the reaching definitions corresponding to the point after idx.
the number of times we iterated before reaching a fixpoint.
the number of times we iterated before reaching a fixpoint.
Reinitialize, but keep the old solutions.
Reinitialize, but keep the old solutions. Should be used when reanalyzing the same method, after some code transformation.
collect statistics?
collect statistics?