fr30.c (fr30_expand_prologue): Use gcc_assert and gcc_unreachable as appropriate.

	* config/fr30/fr30.c (fr30_expand_prologue): Use gcc_assert and
	gcc_unreachable as appropriate.
	(fr30_expand_epilogue, fr30_setup_incoming_varargs,
	fr30_print_operand, fr30_move_double): Likewise.
	* config/fr30/fr30.md (*movsi_internal, *movsf_internal): Likewise.

From-SVN: r98991

gcc/ChangeLog

+2005-04-29  Nathan Sidwell  <nathan@codesourcery.com>
+
+	* config/fr30/fr30.c (fr30_expand_prologue): Use gcc_assert and
+	gcc_unreachable as appropriate.
+	(fr30_expand_epilogue, fr30_setup_incoming_varargs,
+	fr30_print_operand, fr30_move_double): Likewise.
+	* config/fr30/fr30.md (*movsi_internal, *movsf_internal): Likewise.
+
 2005-04-29  Mark Mitchell  <mark@codesourcery.com>
 
 	* config/arm/arm.h (ARM_EABI_CTORS_SECTION_OP): Do not define if a

gcc/config/fr30/fr30.c

@@ -243,9 +243,7 @@ fr30_expand_prologue (void)
     fr30_compute_frame_size (0, 0);
 
   /* This cases shouldn't happen.  Catch it now.  */
-  if (current_frame_info.total_size == 0
-      && current_frame_info.gmask)
-    abort ();
+  gcc_assert (current_frame_info.total_size || !current_frame_info.gmask);
 
   /* Allocate space for register arguments if this is a variadic function.  */
   if (current_frame_info.pretend_size)
@@ -367,9 +365,8 @@ fr30_expand_epilogue (void)
   int regno;
 
   /* Perform the inversion operations of the prologue.  */
-  if (! current_frame_info.initialised)
-    abort ();
-
+  gcc_assert (current_frame_info.initialised);
+  
   /* Pop local variables and arguments off the stack.
      If frame_pointer_needed is TRUE then the frame pointer register
      has actually been used as a frame pointer, and we can recover
@@ -430,8 +427,7 @@ fr30_setup_incoming_varargs (CUMULATIVE_ARGS *arg_regs_used_so_far,
   int size;
 
   /* All BLKmode values are passed by reference.  */
-  if (mode == BLKmode)
-    abort ();
+  gcc_assert (mode != BLKmode);
 
   /* ??? This run-time test as well as the code inside the if
      statement is probably unnecessary.  */
@@ -595,8 +591,7 @@ fr30_print_operand (FILE *file, rtx x, int code)
       switch (GET_CODE (x0))
 	{
 	case REG:
-	  if ((unsigned) REGNO (x0) >= ARRAY_SIZE (reg_names))
-	    abort ();
+	  gcc_assert ((unsigned) REGNO (x0) < ARRAY_SIZE (reg_names));
 	  fprintf (file, "@%s", reg_names [REGNO (x0)]);
 	  break;
 
@@ -841,8 +836,7 @@ fr30_move_double (rtx * operands)
 	     must load it last.  Otherwise, load it first.  */
 	  int reverse = (refers_to_regno_p (dregno, dregno + 1, addr, 0) != 0);
 
-	  if (GET_CODE (addr) != REG)
-	    abort ();
+	  gcc_assert (GET_CODE (addr) == REG);
 	  
 	  dest0 = operand_subword (dest, reverse, TRUE, mode);
 	  dest1 = operand_subword (dest, !reverse, TRUE, mode);
@@ -895,8 +889,7 @@ fr30_move_double (rtx * operands)
       rtx src0;
       rtx src1;
 
-      if (GET_CODE (addr) != REG)
-	abort ();
+      gcc_assert (GET_CODE (addr) == REG);
       
       src0 = operand_subword (src, 0, TRUE, mode);
       src1 = operand_subword (src, 1, TRUE, mode);
@@ -929,7 +922,7 @@ fr30_move_double (rtx * operands)
     }
   else
     /* This should have been prevented by the constraints on movdi_insn.  */
-    abort ();
+    gcc_unreachable ();
   
   val = get_insns ();
   end_sequence ();

gcc/config/fr30/fr30.md

@@ -356,7 +356,7 @@
     case 4: return   \"mov   \\t%1, %0\";
     case 5: return   \"st    \\t%1, %0\";
     case 6: return   \"ld    \\t%1, %0\";
-    default: abort ();	       
+    default: gcc_unreachable ();	       
     }
   }"
   [(set (attr "length") (cond [(eq_attr "alternative" "1") (const_int 4)
@@ -554,7 +554,7 @@
     case 2: return   \"mov   \\t%1, %0\";
     case 3: return   \"st    \\t%1, %0\";
     case 4: return   \"ld    \\t%1, %0\";
-    default: abort ();	       
+    default: gcc_unreachable ();	       
     }
   }"
   [(set (attr "length") (cond [(eq_attr "alternative" "0") (const_int 6)