From 9591d210634dab2ee02dd260ab4a3ca2b6aaed04 Mon Sep 17 00:00:00 2001
From: Jan Hubicka <jh@suse.cz>
Date: Sun, 28 Oct 2001 17:00:22 +0100
Subject: [PATCH] genrecog.c (write_switch): Output if before switch for
 DT_elt_zero_wide_safe.

	* genrecog.c (write_switch):  Output if before switch for
	DT_elt_zero_wide_safe.

From-SVN: r46584
---
 gcc/ChangeLog  |  5 +++++
 gcc/genrecog.c | 19 ++++++++++++++-----
 2 files changed, 19 insertions(+), 5 deletions(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 38932065f8f..dfbbf9d2c0c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+Sun Oct 28 16:48:09 CET 2001  Jan Hubicka  <jh@suse.cz>
+
+	* genrecog.c (write_switch):  Output if before switch for
+	DT_elt_zero_wide_safe.
+
 2001-10-28  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 
 	* Makefile.in (toplev.o, halfpic.o): Depend on halfpic.h
diff --git a/gcc/genrecog.c b/gcc/genrecog.c
index b970c0ab4f7..49afac9bb91 100644
--- a/gcc/genrecog.c
+++ b/gcc/genrecog.c
@@ -1909,11 +1909,19 @@ write_switch (start, depth)
 	   || type == DT_elt_one_int
 	   || type == DT_elt_zero_wide_safe)
     {
+      const char *indent = "";
       /* Pmode may not be a compile-time constant.  */
       if (type == DT_mode && p->tests->u.mode == Pmode)
 	return p;
 
-      printf ("  switch (");
+      /* We cast switch parameter to integer, so we must ensure that the value
+	 fits.  */
+      if (type == DT_elt_zero_wide_safe)
+	{
+	  indent = "  ";
+	  printf("  if ((int) XWINT (x%d, 0) == XWINT (x%d, 0))\n", depth, depth);
+	}
+      printf ("%s  switch (", indent);
       switch (type)
 	{
 	case DT_mode:
@@ -1936,7 +1944,7 @@ write_switch (start, depth)
 	default:
 	  abort ();
 	}
-      printf (")\n    {\n");
+      printf (")\n%s    {\n", indent);
 
       do
 	{
@@ -1955,7 +1963,7 @@ write_switch (start, depth)
 	  if (p != start && p->need_label && needs_label == NULL)
 	    needs_label = p;
 
-	  printf ("    case ");
+	  printf ("%s    case ", indent);
 	  switch (type)
 	    {
 	    case DT_mode:
@@ -1973,7 +1981,7 @@ write_switch (start, depth)
 	    default:
 	      abort ();
 	    }
-	  printf (":\n      goto L%d;\n", p->success.first->number);
+	  printf (":\n%s      goto L%d;\n", indent, p->success.first->number);
 	  p->success.first->need_label = 1;
 
 	  p = p->next;
@@ -1981,7 +1989,8 @@ write_switch (start, depth)
       while (p && p->tests->type == type && !p->tests->next);
 
     case_done:
-      printf ("    default:\n      break;\n    }\n");
+      printf ("%s    default:\n%s      break;\n%s    }\n",
+	      indent, indent, indent);
 
       return needs_label != NULL ? needs_label : p;
     }