From: Richard Kenner <kenner@gcc.gnu.org>
Date: Wed, 2 Sep 1992 10:37:38 +0000 (-0400)
Subject: (make_compound_operation...
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d0dcc580cfd3c8a166c3db09cb46eafa32f32ef4;p=gcc.git

(make_compound_operation...

(make_compound_operation, case ASHIFTRT): Add new code to
handle (ashiftrt (neg (ashift FOO C1) C2)) just like we currently
handle (ashiftrt (OP (ashiftrt FOO C1) C2) C2).

From-SVN: r2028
---

diff --git a/gcc/combine.c b/gcc/combine.c
index 2af4949e054..5d21de34361 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -4652,6 +4652,19 @@ make_compound_operation (x, in_code)
 				 code == LSHIFTRT, 0, in_code == COMPARE);
 	}
 
+      /* Similarly for (ashiftrt (neg (ashift FOO C1)) C2).  */
+      if (GET_CODE (XEXP (x, 1)) == CONST_INT
+	  && GET_CODE (XEXP (x, 0)) == NEG
+	  && GET_CODE (XEXP (XEXP (x, 0), 0)) == ASHIFT
+	  && GET_CODE (XEXP (XEXP (XEXP (x, 0), 0), 1)) == CONST_INT
+	  && INTVAL (XEXP (x, 1)) >= INTVAL (XEXP (XEXP (XEXP (x, 0), 0), 1)))
+	new = make_extraction (mode,
+			       gen_unary (GET_CODE (XEXP (x, 0)), mode,
+					  XEXP (XEXP (XEXP (x, 0), 0), 0)),
+			       (INTVAL (XEXP (x, 1))
+				- INTVAL (XEXP (XEXP (XEXP (x, 0), 0), 1))),
+			       NULL_RTX, mode_width - INTVAL (XEXP (x, 1)),
+			       code == LSHIFTRT, 0, in_code == COMPARE);
       break;
     }