re PR tree-optimization/69042 (Missed optimization in ivopts)

	PR tree-optimization/69042
	* tree-ssa-loop-ivopts.c (add_iv_candidate_for_use): Add IV cand
	for use with constant offset stripped in base.

From-SVN: r234429

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6538ff096f8cac16870b2e423e63968cfd3b36bd..e035f1b678af0315e30733a18d1f10cb1fd984d0 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-03-23  Bin Cheng  <bin.cheng@arm.com>
+
+       PR tree-optimization/69042
+       * tree-ssa-loop-ivopts.c (add_iv_candidate_for_use): Add IV cand
+       for use with constant offset stripped in base.
+
 2016-03-23  Richard Biener  <rguenther@suse.de>
 
        PR middle-end/70251

diff --git a/gcc/tree-ssa-loop-ivopts.c b/gcc/tree-ssa-loop-ivopts.c
index 5302edf928427e6f07392c6424254c22de7b7c36..99dd4d0b7ec25220dc545137dfaf9cf547454f5b 100644 (file)
--- a/gcc/tree-ssa-loop-ivopts.c
+++ b/gcc/tree-ssa-loop-ivopts.c
@@ -3232,11 +3232,13 @@ add_iv_candidate_for_use (struct ivopts_data *data, struct iv_use *use)
     basetype = sizetype;
   record_common_cand (data, build_int_cst (basetype, 0), iv->step, use);
 
-  /* Record common candidate with constant offset stripped in base.  */
+  /* Record common candidate with constant offset stripped in base.
+     Like the use itself, we also add candidate directly for it.  */
+  base = strip_offset (iv->base, &offset);
+  if (offset || base != iv->base)
     {
-      base = strip_offset (iv->base, &offset);
-      if (offset || base != iv->base)
-       record_common_cand (data, base, iv->step, use);
+      record_common_cand (data, base, iv->step, use);
+      add_candidate (data, base, iv->step, false, use);
     }
 
   /* Record common candidate with base_object removed in base.  */