From: Jeff Law <law@gcc.gnu.org>
Date: Fri, 25 Jun 1999 04:38:11 +0000 (-0600)
Subject: loop.c (verify_dominator): Properly handle ADDR_VEC and ADDR_DIFF_VEC insns that... 
X-Git-Tag: prereleases/gcc-2.95-test~133
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=feaab5aa09d43a557e36cb034cf086f23c9df452;p=thirdparty%2Fgcc.git

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

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 0405ae743f26..7acd727042ef 100644
--- 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])))