Subzero: Refactor tracking of Defs and block-local Variables.
This affects tracking of two kinds of Variable metadata: whether a
Variable is block-local (i.e., all uses are in a single block) and if
so, which CfgNode that is; and whether a Variable has a single defining
instruction, and if so, which Inst that is.
Originally, this metadata was constructed incrementally, which was
quite fragile and most likely inaccurate under many circumstances.
In the new approach, this metadata is reconstructed in a separate pass
as needed.
As a side benefit, the metadata fields are removed from each Variable
and pulled into a separate structure, shrinking the size of Variable.
There should be no functional changes, except that simple stack slot
coalescing is turned off under Om1, since it takes a separate pass to
calculate block-local variables, and passes are minimized under Om1.
As a result, a couple of the lit tests needed to be changed.
There are a few non-mechanical changes, generally to tighten up
Variable tracking for liveness analysis.
This is being done mainly to get precise Variable definition
information so that register allocation can infer the best register
preferences as well as when overlapping live ranges are allowable.
BUG=none
R=jvoung@chromium.org
Review URL: https://codereview.chromium.org/589003002
19 files changed