OSDN Git Service

Step-wise improvement of range analysis with outer loop induction.
authorAart Bik <ajcbik@google.com>
Thu, 3 Dec 2015 19:23:35 +0000 (11:23 -0800)
committerAart Bik <ajcbik@google.com>
Fri, 4 Dec 2015 00:42:17 +0000 (16:42 -0800)
commitb738d4f477a9b6f4c4f69153f9077f1559d2bca1
tree53c1100c03c33039e910e0e97ca4ef73d69bb15f
parent68cebffee2f44f0345bd7be7e4cbad0f10e64082
Step-wise improvement of range analysis with outer loop induction.

Rationale: Using a step-wise approach (rather than expanding all ranges
           at once) increases the opportunities for statically removing
           bound checks, as demonstrated by the new checker tests.

Change-Id: Icbfd9406523a069e1fb7508546ea94f896e5a255
compiler/optimizing/bounds_check_elimination.cc
compiler/optimizing/induction_var_range.cc
compiler/optimizing/induction_var_range.h
compiler/optimizing/induction_var_range_test.cc
test/530-checker-loops/src/Main.java