From: Richard Sandiford <rsandifo@redhat.com>
Date: Thu, 20 Jun 2002 18:04:00 +0000 (+0000)
Subject: * combine.c (make_extraction): Reapply to the argument of an ASHIFT.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=988ef418eb9f5d98d7e3290a0a8320091c1fd723;p=gcc.git

* combine.c (make_extraction): Reapply to the argument of an ASHIFT.

From-SVN: r54846
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b7fb3767c63..4a42c58bad6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2002-06-20  Richard Sandiford  <rsandifo@redhat.com>
+
+	* combine.c (make_extraction): Reapply to the argument of an ASHIFT.
+
 2002-06-20  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
 
 	* config/sparc/t-crtfm (crtfastmath.o): Prefix with $(T) for
diff --git a/gcc/combine.c b/gcc/combine.c
index 3b298827413..ea12b130922 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -5968,6 +5968,21 @@ make_extraction (mode, inner, pos, pos_rtx, len,
 	is_mode = GET_MODE (SUBREG_REG (inner));
       inner = SUBREG_REG (inner);
     }
+  else if (GET_CODE (inner) == ASHIFT
+	   && GET_CODE (XEXP (inner, 1)) == CONST_INT
+	   && pos_rtx == 0 && pos == 0
+	   && len > INTVAL (XEXP (inner, 1)))
+    {
+      /* We're extracting the least significant bits of an rtx
+	 (ashift X (const_int C)), where LEN > C.  Extract the
+	 least significant (LEN - C) bits of X, giving an rtx
+	 whose mode is MODE, then shift it left C times.  */
+      new = make_extraction (mode, XEXP (inner, 0),
+			     0, 0, len - INTVAL (XEXP (inner, 1)),
+			     unsignedp, in_dest, in_compare);
+      if (new != 0)
+	return gen_rtx_ASHIFT (mode, new, XEXP (inner, 1));
+    }
 
   inner_mode = GET_MODE (inner);