DiffLivenessAnalyzer.Context¶
-
protected static final class
Context
¶ Private class that holds the initial context of the DiffLiveness analysis for each Unit, This analysis context is determined by the call sites of this Unit, i.e. top-down. It is made of:
-- A boolean whether the Unit may be called in NOCKP mode, i.e. with some of its outputs diff-live. -- A boolean that means that the NOCKP analysis is out of date and must be run again. -- A BoolVector holding those output zones that are diff-live in the NOCKP mode. -- A BoolVector holding those output zones that are going to be diff-overwritten in the NOCKP mode.