Merge "Step-wise improvement of range analysis with outer loop induction."
am: d382994228

* commit 'd382994228e0f3eaba26af14393546bf7027cc2b':
  Step-wise improvement of range analysis with outer loop induction.