OSDN Git Service

Various improvements in range analysis.
authorAart Bik <ajcbik@google.com>
Mon, 21 Sep 2015 21:45:05 +0000 (14:45 -0700)
committerAart Bik <ajcbik@google.com>
Tue, 22 Sep 2015 16:22:32 +0000 (16:22 +0000)
commitb3365e0c4cda4f8f19284d2d418db158ab78d810
treed76a5ee48912d7fae2c5e612def63000c8284f8a
parent6a6916b378c413c2692782e901393607c47f0005
Various improvements in range analysis.

Rationale:
Using min/max values for "unknowns" is a bit wasteful,
since it eliminates two useful values. Replaced this
with additional boolean to make cases more accurate.
Added few cases to handle examples found in real-life.

Change-Id: I211f8d9a28b1ae79abdb55fb4569716f21d8043b
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