From: Jeff Law <law@gcc.gnu.org>
Date: Mon, 5 Oct 1998 09:05:58 +0000 (-0600)
Subject: combine.c (simplify_rtx): Do not replace TRUNCATE with a SUBREG if truncation is... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6a99221410423745185084b26eeb5fd79860a4aa;p=gcc.git

combine.c (simplify_rtx): Do not replace TRUNCATE with a SUBREG if truncation is not a no-op.

8
        * combine.c (simplify_rtx): Do not replace TRUNCATE with a SUBREG if
        truncation is not a no-op.

From-SVN: r22835
---

diff --git a/gcc/combine.c b/gcc/combine.c
index ce488e294c4..420a60fca5f 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -3773,9 +3773,12 @@ simplify_rtx (x, op0_mode, last, in_dest)
 	return SUBREG_REG (XEXP (x, 0));
 
       /* If we know that the value is already truncated, we can
-         replace the TRUNCATE with a SUBREG.  */
-      if (num_sign_bit_copies (XEXP (x, 0), GET_MODE (XEXP (x, 0)))
-	  >= GET_MODE_BITSIZE (mode) + 1)
+         replace the TRUNCATE with a SUBREG if TRULY_NOOP_TRUNCATION is
+	 nonzero for the corresponding modes.  */
+      if (TRULY_NOOP_TRUNCATION (GET_MODE_BITSIZE (mode),
+				 GET_MODE_BITSIZE (GET_MODE (XEXP (x, 0))))
+	  && num_sign_bit_copies (XEXP (x, 0), GET_MODE (XEXP (x, 0)))
+	     >= GET_MODE_BITSIZE (mode) + 1)
 	return gen_lowpart_for_combine (mode, XEXP (x, 0));
 
       /* A truncate of a comparison can be replaced with a subreg if