Bernd Schmidt <crux@pool.informatik.rwth-aachen.de>

Bernd Schmidt <crux@pool.informatik.rwth-aachen.de>
        * gcse.c (compute_local_properties): If setp is nonzero, clear
        TRANSP instead of setting it to all ones.

From-SVN: r26528

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ae4dd94ee9035c2ad9ac29fd2844edb4fef2860c..0ae98a6110f2e53e3bef6eb791a33b7e6fc8ca66 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+Sat Apr 17 21:30:11 1999  Bernd Schmidt <crux@pool.informatik.rwth-aachen.de>
+
+       * gcse.c (compute_local_properties): If setp is nonzero, clear
+       TRANSP instead of setting it to all ones.
+
 Sat Apr 17 21:10:10 1999  Jan Hubicka <hubicka@freesoft.cz>
 
         * i386.c (i386_preferred_stack_boundary_string): New global variable.

diff --git a/gcc/gcse.c b/gcc/gcse.c
index d2156536ab31a007a5ba16bc86f832f1e8133a34..5392607c5862e8c2bcfa5c04e5b831ceed773bb5 100644 (file)
--- a/gcc/gcse.c
+++ b/gcc/gcse.c
@@ -928,7 +928,8 @@ free_gcse_mem ()
 
    SETP controls which hash table to look at.  If zero, this routine
    looks at the expr hash table; if nonzero this routine looks at
-   the set hash table.  */
+   the set hash table.  Additionally, TRANSP is computed as ~TRANSP,
+   since this is really cprop's ABSALTERED.  */
  
 static void
 compute_local_properties (transp, comp, antloc, setp)
@@ -942,7 +943,12 @@ compute_local_properties (transp, comp, antloc, setp)
   
   /* Initialize any bitmaps that were passed in.  */
   if (transp)
-    sbitmap_vector_ones (transp, n_basic_blocks);
+    {
+      if (setp)
+       sbitmap_vector_zero (transp, n_basic_blocks);
+      else
+       sbitmap_vector_ones (transp, n_basic_blocks);
+    }
   if (comp)
     sbitmap_vector_zero (comp, n_basic_blocks);
   if (antloc)