2013-03-22 Richard Biener <rguenther@suse.de>

	* tree-ssa-loop-im.c (memory_references): Drop all_refs_in_loop.
	(gather_mem_refs_in_loops): Do not compute it.
	(analyze_memory_references): Do not allocate it.
	(tree_ssa_lim_finalize): Do not free it.
	(for_all_locs_in_loop): Do not query all_refs_in_loop.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196960 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 618032b6dde31e837ed0cc1a573895be7f3c5d53..60878ad279c85de56a2fa89fa52d610e6a445701 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2013-03-22  Richard Biener  <rguenther@suse.de>
+
+       * tree-ssa-loop-im.c (memory_references): Drop all_refs_in_loop.
+       (gather_mem_refs_in_loops): Do not compute it.
+       (analyze_memory_references): Do not allocate it.
+       (tree_ssa_lim_finalize): Do not free it.
+       (for_all_locs_in_loop): Do not query all_refs_in_loop.
+
 2013-03-22  Richard Biener  <rguenther@suse.de>
 
        * is-a.h (as_a): Use gcc_checking_assert.

diff --git a/gcc/tree-ssa-loop-im.c b/gcc/tree-ssa-loop-im.c
index 488a035b32a25da763f17abaa71a16976f055f54..4f09f8aaf5ff8e90ce4feff85e6a5dd463b6adc5 100644 (file)
--- a/gcc/tree-ssa-loop-im.c
+++ b/gcc/tree-ssa-loop-im.c
@@ -164,10 +164,6 @@ static struct
   /* The set of memory references stored in each loop.  */
   vec<bitmap> refs_stored_in_loop;
 
-  /* The set of memory references accessed in each loop, including
-     subloops.  */
-  vec<bitmap> all_refs_in_loop;
-
   /* The set of memory references stored in each loop, including subloops .  */
   vec<bitmap> all_refs_stored_in_loop;
 
@@ -1649,8 +1645,6 @@ gather_mem_refs_in_loops (void)
   FOR_EACH_LOOP (li, loop, LI_FROM_INNERMOST)
     {
       /* Finalize the overall touched references (including subloops).  */
-      bitmap_ior_into (memory_accesses.all_refs_in_loop[loop->num],
-                      memory_accesses.refs_in_loop[loop->num]);
       bitmap_ior_into (memory_accesses.all_refs_stored_in_loop[loop->num],
                       memory_accesses.refs_stored_in_loop[loop->num]);
 
@@ -1660,8 +1654,6 @@ gather_mem_refs_in_loops (void)
       if (outer == current_loops->tree_root)
        continue;
 
-      bitmap_ior_into (memory_accesses.all_refs_in_loop[outer->num],
-                      memory_accesses.all_refs_in_loop[loop->num]);
       bitmap_ior_into (memory_accesses.all_refs_stored_in_loop[outer->num],
                       memory_accesses.all_refs_stored_in_loop[loop->num]);
     }
@@ -1683,7 +1675,6 @@ analyze_memory_references (void)
 
   memory_accesses.refs_in_loop.create (number_of_loops ());
   memory_accesses.refs_stored_in_loop.create (number_of_loops ());
-  memory_accesses.all_refs_in_loop.create (number_of_loops ());
   memory_accesses.all_refs_stored_in_loop.create (number_of_loops ());
 
   for (i = 0; i < number_of_loops (); i++)
@@ -1693,8 +1684,6 @@ analyze_memory_references (void)
       empty = BITMAP_ALLOC (&lim_bitmap_obstack);
       memory_accesses.refs_stored_in_loop.quick_push (empty);
       empty = BITMAP_ALLOC (&lim_bitmap_obstack);
-      memory_accesses.all_refs_in_loop.quick_push (empty);
-      empty = BITMAP_ALLOC (&lim_bitmap_obstack);
       memory_accesses.all_refs_stored_in_loop.quick_push (empty);
     }
 
@@ -1749,12 +1738,8 @@ for_all_locs_in_loop (struct loop *loop, mem_ref_p ref, FN fn)
 {
   unsigned i;
   mem_ref_loc_p loc;
-  bitmap refs = memory_accesses.all_refs_in_loop[loop->num];
   struct loop *subloop;
 
-  if (!bitmap_bit_p (refs, ref->id))
-    return false;
-
   if (ref->accesses_in_loop.length () > (unsigned) loop->num)
     FOR_EACH_VEC_ELT (ref->accesses_in_loop[loop->num], i, loc)
       if (fn (loc))
@@ -2630,7 +2615,6 @@ tree_ssa_lim_finalize (void)
 
   memory_accesses.refs_in_loop.release ();
   memory_accesses.refs_stored_in_loop.release ();
-  memory_accesses.all_refs_in_loop.release ();
   memory_accesses.all_refs_stored_in_loop.release ();
 
   if (memory_accesses.ttae_cache)