loop.c (verify_dominator): Properly handle ADDR_VEC and ADDR_DIFF_VEC insns that...

h
        * loop.c (verify_dominator): Properly handle ADDR_VEC and
        ADDR_DIFF_VEC insns that appear inside loops.

From-SVN: r27758

diff --git a/gcc/loop.c b/gcc/loop.c
index 0405ae743f269d81dc3bba41edfedf75df99d137..7acd727042efa2783d794314de2800859d2e68f9 100644 (file)
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -2557,14 +2557,21 @@ verify_dominator (loop_number)
          && GET_CODE (PATTERN (insn)) != RETURN)
        {
          rtx label = JUMP_LABEL (insn);
-         int label_luid = INSN_LUID (label);
-
-         if (! condjump_p (insn)
-             && ! condjump_in_parallel_p (insn))
+         int label_luid;
+
+         /* If it is not a jump we can easily understand or for
+            which we do not have jump target information in the JUMP_LABEL
+            field (consider ADDR_VEC and ADDR_DIFF_VEC insns), then clear
+            LOOP_NUMBER_CONT_DOMINATOR.  */
+         if ((! condjump_p (insn)
+              && ! condjump_in_parallel_p (insn))
+             || label == NULL_RTX)
            {
              loop_number_cont_dominator[loop_number] = NULL_RTX;
              return;
            }
+
+         label_luid = INSN_LUID (label);
          if (label_luid < INSN_LUID (loop_number_loop_cont[loop_number])
              && (label_luid
                  > INSN_LUID (loop_number_cont_dominator[loop_number])))