OSDN Git Service

Fix transfer over rejected induction.
authorAart Bik <ajcbik@google.com>
Tue, 20 Dec 2016 19:13:03 +0000 (11:13 -0800)
committerAart Bik <ajcbik@google.com>
Tue, 20 Dec 2016 19:13:03 +0000 (11:13 -0800)
commit74da5290dd5cc040bee5430796715bd9302036c2
treeb1dd4932ab1aa610509465e52dac09b06850650f
parentd54f43ca39dfa92f08c2d760123f185f0f65fb86
Fix transfer over rejected induction.

Rationale:
With the more precise rejection of narrowing
linear induction, parent rules should be
prepared to reject failed transfers. Also
added a bit more comments to clarify rules.
With regression tests.

Bug: 33774618
Test: test-art-host
Change-Id: I4a206e51d4359ab383379914dd4697fc81903547
compiler/optimizing/induction_var_analysis.cc
test/623-checker-loop-regressions/src/Main.java