commit 7829691e27c528ca52753dd98bcb4785e328388a
author Aart Bik <ajcbik@google.com> Fri Mar 25 13:14:53 2016 -0700
committer Aart Bik <ajcbik@google.com> Fri Mar 25 15:35:21 2016 -0700
tree 5bbb034b0795a0533ce6da6cd83f44c66f36caac
parent b0b38596a4f28725b71f17e13c7b544d926f0d3e

Fix bug not accounting for type in induction comparison.
Extended unit tests.

Rationale:
Now that inductions are typed, comparisons should take
the type into account as well.

Change-Id: Ie533bb728d2006390646657573fa743e6fc37ff2

compiler/optimizing/induction_var_analysis.cc

diff --git a/compiler/optimizing/induction_var_analysis.cc b/compiler/optimizing/induction_var_analysis.cc
index 266cb10..c06d19d 100644
--- a/compiler/optimizing/induction_var_analysis.cc
+++ b/compiler/optimizing/induction_var_analysis.cc
@@ -141,7 +141,7 @@
   DCHECK(stack_.empty());
   map_.clear();
 
-  // Determine the loop's trip count.
+  // Determine the loop's trip-count.
   VisitControl(loop);
 }
 
@@ -917,6 +917,7 @@
         info1->induction_class == info2->induction_class &&
         info1->operation       == info2->operation       &&
         info1->fetch           == info2->fetch           &&
+        info1->type            == info2->type            &&
         InductionEqual(info1->op_a, info2->op_a)         &&
         InductionEqual(info1->op_b, info2->op_b);
   }