re PR bootstrap/13848 (bootstrap failure - ICE in ada/utils.c)

	PR bootstrap/13848
	* cse.c (cse_cc_succs): Change the mode of the source expression
	as soon as decide we need a new mode.  Don't permit changing modes
	if we found a match in a successor block.
	(cse_condition_code_reg): Save original mode of source expression
	so that we know whether we have to change the mode in other
	insns.

	* gcc.dg/20040124-1.c: New test.

From-SVN: r76522

gcc/ChangeLog

+2004-01-24  Ian Lance Taylor  <ian@wasabisystems.com>
+
+	PR bootstrap/13848
+	* cse.c (cse_cc_succs): Change the mode of the source expression
+	as soon as decide we need a new mode.  Don't permit changing modes
+	if we found a match in a successor block.
+	(cse_condition_code_reg): Save original mode of source expression
+	so that we know whether we have to change the mode in other
+	insns.
+
 2004-01-24  Jan Hubicka  <jh@suse.cz>
 
 	* emit-rtl.c (change_address, adjust_address_1, offset_address,

gcc/cse.c

@@ -7790,7 +7790,7 @@ cse_cc_succs (basic_block bb, rtx cc_reg, rtx cc_src, bool can_change_mode)
 		found = true;
 	      else if (GET_CODE (cc_src) == COMPARE
 		       && GET_CODE (SET_SRC (set)) == COMPARE
-		       && GET_MODE (cc_src) != set_mode
+		       && mode != set_mode
 		       && rtx_equal_p (XEXP (cc_src, 0),
 				       XEXP (SET_SRC (set), 0))
 		       && rtx_equal_p (XEXP (cc_src, 1),
@@ -7806,23 +7806,31 @@ cse_cc_succs (basic_block bb, rtx cc_reg, rtx cc_src, bool can_change_mode)
 	      if (found)
 		{
 		  found_equiv = true;
-		  if (insn_count < ARRAY_SIZE(insns))
+		  if (insn_count < ARRAY_SIZE (insns))
 		    {
 		      insns[insn_count] = insn;
 		      modes[insn_count] = set_mode;
 		      last_insns[insn_count] = end;
 		      ++insn_count;
 
-		      /* Sanity check.  */
-		      if (! can_change_mode && mode != comp_mode)
+		      if (mode != comp_mode)
+			{
+			  if (! can_change_mode)
 			    abort ();
-
 			  mode = comp_mode;
+			  PUT_MODE (cc_src, mode);
+			}
 		    }
 		  else
 		    {
 		      if (set_mode != mode)
+			{
+			  /* We found a matching expression in the
+			     wrong mode, but we don't have room to
+			     store it in the array.  Punt.  This case
+			     should be rare.  */
 			  break;
+			}
 		      /* INSN sets CC_REG to a value equal to CC_SRC
 			 with the right mode.  We can simply delete
 			 it.  */
@@ -7851,8 +7859,16 @@ cse_cc_succs (basic_block bb, rtx cc_reg, rtx cc_src, bool can_change_mode)
 	 further blocks and this block.  */
       if (insn == end)
 	{
-	  if (cse_cc_succs (e->dest, cc_reg, cc_src, false) != VOIDmode)
+	  enum machine_mode submode;
+
+	  submode = cse_cc_succs (e->dest, cc_reg, cc_src, false);
+	  if (submode != VOIDmode)
+	    {
+	      if (submode != mode)
+		abort ();
 	      found_equiv = true;
+	      can_change_mode = false;
+	    }
 	}
     }
 
@@ -7916,6 +7932,7 @@ cse_condition_code_reg (void)
       rtx cc_src_insn;
       rtx cc_src;
       enum machine_mode mode;
+      enum machine_mode orig_mode;
 
       /* Look for blocks which end with a conditional jump based on a
 	 condition code register.  Then look for the instruction which
@@ -7972,10 +7989,13 @@ cse_condition_code_reg (void)
 	 register is set, and CC_SRC is still meaningful at the end of
 	 the basic block.  */
 
+      orig_mode = GET_MODE (cc_src);
       mode = cse_cc_succs (bb, cc_reg, cc_src, true);
-      if (mode != GET_MODE (cc_src) && mode != VOIDmode)
+      if (mode != VOIDmode)
 	{
-	  PUT_MODE (cc_src, mode);
+	  if (mode != GET_MODE (cc_src))
+	    abort ();
+	  if (mode != orig_mode)
 	    cse_change_cc_mode_insns (cc_src_insn, NEXT_INSN (last_insn),
 				      gen_rtx_REG (mode, REGNO (cc_reg)));
 	}

gcc/testsuite/ChangeLog

+2004-01-24  Ian Lance Taylor  <ian@wasabisystems.com>
+
+	* gcc.dg/20040124-1.c: New test.
+
 2004-01-24  Jakub Jelinek  <jakub@redhat.com>
 
 	* gcc.dg/20040123-1.c: New test.

gcc/testsuite/gcc.dg/20040124-1.c

+/* This code crashed with the cse_condition_code_reg() pass on i686.  */
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+int
+f1 (int a, int b)
+{
+  int i, j, k;
+
+  switch (b)
+    {
+    case (-9):
+      j = 4;
+      break;
+    case (-10):
+      j = 10;
+      break;
+    case (-8):
+      j = 15;
+      break;
+    }
+
+  i = f2 (f3 (b == (-9) ? k : a), j);
+
+  return 0;
+}