OSDN Git Service

Standby list for dyn bce in potentially infinite loops.
authorAart Bik <ajcbik@google.com>
Tue, 1 Mar 2016 18:39:25 +0000 (10:39 -0800)
committerAart Bik <ajcbik@google.com>
Tue, 1 Mar 2016 19:35:56 +0000 (11:35 -0800)
commit591ad29eb1aa7c5ac7faadb426f5eb2b4a4ccd02
treebf14962581bc8d070d51c05f51f9a910ef7d5c1b
parent7191fddfe6c623976dc8a97f785e3ce848e46d39
Standby list for dyn bce in potentially infinite loops.

Rationale:
The old code relied on "luck" to revisit basic blocks
after dynamic bce and incorporate all bounds checks
in potentially infinite loops that were "made" finite.
Now that revisiting has been removed completely, keeping
a standby list ensures all candidates are considered.

Change-Id: Ida3cf63be1307be6c2b0258d3e64b163f12be235
compiler/optimizing/bounds_check_elimination.cc
test/449-checker-bce/src/Main.java