2011-08-11 Dmitry Melnik <dm@ispras.ru>

	* sel-sched-ir.c (invalidate_av_set): Remove the assert.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 69c655e..322e85e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2011-08-11  Dmitry Melnik  <dm@ispras.ru>
+
+       * sel-sched-ir.c (invalidate_av_set): Remove the assert.
+
 2011-08-11  Sergey Grechanik  <mouseentity@ispras.ru>
 
        * sel-sched-ir.h (register_unavailable_p): Declare.

diff --git a/gcc/sel-sched-ir.c b/gcc/sel-sched-ir.c
index 58aec11..4fa2837 100644 (file)
--- a/gcc/sel-sched-ir.c
+++ b/gcc/sel-sched-ir.c
@@ -4284,14 +4284,13 @@ free_lv_sets (void)
       free_lv_set (bb);
 }
 
-/* Initialize an invalid AV_SET for BB.
-   This set will be updated next time compute_av () process BB.  */
+/* Mark AV_SET for BB as invalid, so this set will be updated the next time
+   compute_av() processes BB.  This function is called when creating new basic
+   blocks, as well as for blocks (either new or existing) where new jumps are
+   created when the control flow is being updated.  */
 static void
 invalidate_av_set (basic_block bb)
 {
-  gcc_assert (BB_AV_LEVEL (bb) <= 0
-             && BB_AV_SET (bb) == NULL);
-
   BB_AV_LEVEL (bb) = -1;
 }