From: James E Wilson <wilson@tuliptree.org>
Date: Thu, 27 Feb 2003 17:46:35 +0000 (-0800)
Subject: Patch for PR 9255
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=678e68fcfdf307d5a2d2bdc1603f1cabb5a7c614;p=gcc.git

Patch for PR 9255

Patch for PR 9255
	* combine.c (simplify_comparison): Require integral mode when
	permuting SUBREG with AND.

From-SVN: r63514
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ebf8468f00d..b836d0742a0 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2003-02-27  James E Wilson  <wilson@tuliptree.org>
+
+	* combine.c (simplify_comparison): Require integral mode when
+	permuting SUBREG with AND.
+
 2003-02-27  Steve Ellcey  <sje@cup.hp.com>
 
 	* config/ia64/hpux.h (STARTFILE_PREFIX_SPEC): Remove.
diff --git a/gcc/combine.c b/gcc/combine.c
index fe5cce50f24..50b1876eb58 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -11130,6 +11130,9 @@ simplify_comparison (code, pop0, pop1)
 	     represents the low part, permute the SUBREG and the AND and
 	     try again.  */
 	  if (GET_CODE (XEXP (op0, 0)) == SUBREG
+	      /* Require an integral mode, to avoid creating something like
+		 (AND:SF ...).  */
+	      && SCALAR_INT_MODE_P (GET_MODE (SUBREG_REG (XEXP (op0, 0))))
 	      /* It is unsafe to commute the AND into the SUBREG if the SUBREG
 		 is paradoxical and WORD_REGISTER_OPERATIONS is not defined.
 		 As originally written the upper bits have a defined value