(force_to_mode, case ASHIFTRT): Verify that result of making a

LSHIFTRT remains a shift.

From-SVN: r5715

diff --git a/gcc/combine.c b/gcc/combine.c
index 4d05b01ad88f9554aba0351056df0375beadaebf..fa34ce00f51509a48a8436a77a1c0ee6e30d1960 100644 (file)
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -5892,9 +5892,11 @@ force_to_mode (x, mode, mask, reg)
        x = gen_binary (LSHIFTRT, GET_MODE (x), XEXP (x, 0), XEXP (x, 1));
 
       /* If this is a sign-extension operation that just affects bits
-        we don't care about, remove it.  */
+        we don't care about, remove it.  Be sure the call above returned
+        something that is still a shift.  */
 
-      if (GET_CODE (XEXP (x, 1)) == CONST_INT
+      if ((GET_CODE (x) == LSHIFTRT || GET_CODE (x) == ASHIFTRT)
+         && GET_CODE (XEXP (x, 1)) == CONST_INT
          && INTVAL (XEXP (x, 1)) >= 0
          && (INTVAL (XEXP (x, 1))
              <= GET_MODE_BITSIZE (GET_MODE (x)) - (floor_log2 (mask) + 1))