tree-ssa-pre.c (bitmap_value_insert_into_set): Optimize.

2010-01-05  Richard Guenther  <rguenther@suse.de>

	* tree-ssa-pre.c (bitmap_value_insert_into_set): Optimize.

From-SVN: r155643

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 89398d7eaf3e33bf1778390cd1fbb36cde715956..9f8770fcaa07c60d5be843e3269f4f13287c2021 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2010-01-05  Richard Guenther  <rguenther@suse.de>
+
+       * tree-ssa-pre.c (bitmap_value_insert_into_set): Optimize.
+
 2010-01-05  Jakub Jelinek  <jakub@redhat.com>
 
        PR other/42611

diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c
index 124ba3b6766a2241921eeee5007e56144a6ea84e..972af001a76f2f14cc9a6ef75155855719f999b4 100644 (file)
--- a/gcc/tree-ssa-pre.c
+++ b/gcc/tree-ssa-pre.c
@@ -867,8 +867,17 @@ bitmap_value_insert_into_set (bitmap_set_t set, pre_expr expr)
 {
   unsigned int val = get_expr_value_id (expr);
 
-  if (!bitmap_set_contains_value (set, val))
-    bitmap_insert_into_set_1 (set, expr, val, false);
+#ifdef ENABLE_CHECKING
+  gcc_assert (expr->id == get_or_alloc_expression_id (expr));
+#endif
+
+  /* Constant values are always considered to be part of the set.  */
+  if (value_id_constant_p (val))
+    return;
+
+  /* If the value membership changed, add the expression.  */
+  if (bitmap_set_bit (set->values, val))
+    bitmap_set_bit (set->expressions, expr->id);
 }
 
 /* Print out EXPR to outfile.  */