cfgrtl.c (rtl_verify_flow_info_1): When checking insns in a bb, don't inspect BLOCK_F...
authorHans-Peter Nilsson <hp@bitrange.com>
Wed, 20 Oct 2004 00:23:16 +0000 (00:23 +0000)
committerHans-Peter Nilsson <hp@gcc.gnu.org>
Wed, 20 Oct 2004 00:23:16 +0000 (00:23 +0000)
* cfgrtl.c (rtl_verify_flow_info_1): When checking insns in a bb,
don't inspect BLOCK_FOR_INSN for barriers.
* emit-rtl.c (emit_barrier_before): Revert last change.
(emit_barrier_after, emit_barrier): Ditto.

From-SVN: r89308

gcc/ChangeLog
gcc/cfgrtl.c
gcc/emit-rtl.c

index 561d864f94282746bd0ffa7480dfe993e55572a0..fc8dd26def8974966b6fd9439c336799943110e9 100644 (file)
@@ -1,5 +1,10 @@
 2004-10-20  Hans-Peter Nilsson  <hp@bitrange.com>
 
+       * cfgrtl.c (rtl_verify_flow_info_1): When checking insns in a bb,
+       don't inspect BLOCK_FOR_INSN for barriers.
+       * emit-rtl.c (emit_barrier_before): Revert last change.
+       (emit_barrier_after, emit_barrier): Ditto.
+
        * doc/extend.texi (Extended Asm): Warn and provide example
        solution for using a call-clobbered asm register.
        (Local Reg Vars): Similar.  Cross-reference example.
index 5361cd9a75fe42a9f43050da6c20315dc8fd552c..9a96658f3e80db61302c1e4711e26295e10a76f5 100644 (file)
@@ -2075,9 +2075,8 @@ rtl_verify_flow_info_1 (void)
 
       for (x = BB_HEAD (bb); x != NEXT_INSN (BB_END (bb)); x = NEXT_INSN (x))
        /* We may have a barrier inside a basic block before dead code
-          elimination.  They always have a NULL BLOCK_FOR_INSN.  */
-       if (BLOCK_FOR_INSN (x) != bb
-           && !(BARRIER_P (x) && BLOCK_FOR_INSN (x) == NULL))
+          elimination.  There is no BLOCK_FOR_INSN field in a barrier.  */
+       if (!BARRIER_P (x) && BLOCK_FOR_INSN (x) != bb)
          {
            debug_rtx (x);
            if (! BLOCK_FOR_INSN (x))
index d81d71c9e22c4bb1ed334a1278fa5d863367ba3a..ec7bec39adcc6bfbbf5328bf5bb64110c942eedd 100644 (file)
@@ -4057,7 +4057,6 @@ emit_barrier_before (rtx before)
   rtx insn = rtx_alloc (BARRIER);
 
   INSN_UID (insn) = cur_insn_uid++;
-  BLOCK_FOR_INSN (insn) = NULL;
 
   add_insn_before (insn, before);
   return insn;
@@ -4273,7 +4272,6 @@ emit_barrier_after (rtx after)
   rtx insn = rtx_alloc (BARRIER);
 
   INSN_UID (insn) = cur_insn_uid++;
-  BLOCK_FOR_INSN (insn) = NULL;
 
   add_insn_after (insn, after);
   return insn;
@@ -4670,7 +4668,6 @@ emit_barrier (void)
 {
   rtx barrier = rtx_alloc (BARRIER);
   INSN_UID (barrier) = cur_insn_uid++;
-  BLOCK_FOR_INSN (barrier) = NULL;
   add_insn (barrier);
   return barrier;
 }