tree-ssa-loop-ivopts.c (add_iv_value_candidates): Also add the candidate with the...

2008-08-04  Richard Guenther  <rguenther@suse.de>

	* tree-ssa-loop-ivopts.c (add_iv_value_candidates): Also add
	the candidate with the stripped base if that base is different
	from the original base even for offset zero.

From-SVN: r138647

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 224764ef985ead6866094c1ba3cf87a03b147b31..02ca43300fa1d5c69f3eb211724518c5a87af028 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2008-08-04  Richard Guenther  <rguenther@suse.de>
+
+       * tree-ssa-loop-ivopts.c (add_iv_value_candidates): Also add
+       the candidate with the stripped base if that base is different
+       from the original base even for offset zero.
+
 2008-08-04  Richard Guenther  <rguenther@suse.de>
 
        PR middle-end/36691

diff --git a/gcc/tree-ssa-loop-ivopts.c b/gcc/tree-ssa-loop-ivopts.c
index c314da49f94860bdee03ee6d73d73ae74d5602d7..1a1e58b1a817717880788f8c5a26b849304f667b 100644 (file)
--- a/gcc/tree-ssa-loop-ivopts.c
+++ b/gcc/tree-ssa-loop-ivopts.c
@@ -2275,9 +2275,11 @@ add_iv_value_candidates (struct ivopts_data *data,
   add_candidate (data, build_int_cst (basetype, 0),
                 iv->step, true, use);
 
-  /* Third, try removing the constant offset.  */
+  /* Third, try removing the constant offset.  Make sure to even
+     add a candidate for &a[0] vs. (T *)&a.  */
   base = strip_offset (iv->base, &offset);
-  if (offset)
+  if (offset
+      || base != iv->base)
     add_candidate (data, base, iv->step, false, use);
 }