diff options
| author | David Brazdil <dbrazdil@google.com> | 2016-04-14 13:47:24 +0100 |
|---|---|---|
| committer | David Brazdil <dbrazdil@google.com> | 2016-04-14 15:54:29 +0100 |
| commit | adf84911030ca36835c48cbff8be6b078693fb00 (patch) | |
| tree | b08c05d49671ca10d11dbf8f3a4589855885108f /compiler/optimizing/graph_visualizer.cc | |
| parent | 54b5b1a4a93822ff8e1f324dfcd6f0cd3bffa993 (diff) | |
ART: Update DCHECKs in SsaLivenessAnalysis::AddBackEdgeUses
Graph linearization in the presence of irreducible loops is not
guaranteed to generate a linear order where all blocks of a loop are
adjacent, first block is the header and last block is one of the back
edges.
These assumptions are made when inserting synthesized uses at the back
edges to aid the register allocator. Not meeting them will result in
the algorithm's early termination and back-edge uses not being added.
This patch updates the DCHECKs so the compiler does not fail in such
circumstances.
Bug: 27615840
Bug: 27624868
Change-Id: I63632e8819ea3644d5c6fdfea00b66128bf22c24
Diffstat (limited to 'compiler/optimizing/graph_visualizer.cc')
0 files changed, 0 insertions, 0 deletions