re PR target/11475 (reload ICE with bitfields)

	PR target/11475
	* config/sparc/sparc.md (movhi_lo_sum): Tighten predicates.

From-SVN: r76928

gcc/ChangeLog

+2004-01-30  Eric Botcazou  <ebotcazou@libertysurf.fr>
+
+	PR target/11475
+	* config/sparc/sparc.md (movhi_lo_sum): Tighten predicates.
+
 2004-01-29  Jakub Jelinek  <jakub@redhat.com>
 
 	* emit-rtl.c (change_address): Use XEXP (memref, 0) instead

gcc/config/sparc/sparc.md

 ;; Machine description for SPARC chip for GCC
 ;;  Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
-;;  1999, 2000, 2001, 2002 Free Software Foundation, Inc.
+;;  1999, 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
 ;;  Contributed by Michael Tiemann (tiemann@cygnus.com)
-;;  64 bit SPARC V9 support by Michael Tiemann, Jim Wilson, and Doug Evans,
+;;  64-bit SPARC-V9 support by Michael Tiemann, Jim Wilson, and Doug Evans,
 ;;  at Cygnus Support.
 
 ;; This file is part of GCC.
@@ -1818,8 +1818,8 @@
 ;; We always work with constants here.
 (define_insn "*movhi_lo_sum"
   [(set (match_operand:HI 0 "register_operand" "=r")
-	(ior:HI (match_operand:HI 1 "arith_operand" "%r")
-                (match_operand:HI 2 "arith_operand" "I")))]
+	(ior:HI (match_operand:HI 1 "register_operand" "%r")
+                (match_operand:HI 2 "small_int" "I")))]
   ""
   "or\t%1, %2, %0")
 

gcc/testsuite/ChangeLog

+2004-01-30  Eric Botcazou  <ebotcazou@libertysurf.fr>
+
+	* gcc.c-torture/compile/20040130-1.c: New test.
+
 2004-01-29  Geoffrey Keating  <geoffk@geoffk.org>
 
 	* objc.dg/call-super-2.m: Include stddef.h for size_t.

gcc/testsuite/gcc.c-torture/compile/20040130-1.c

+/* PR target/11475 */
+/* Origin: <heinrich.brand@fujitsu-siemens.com> */
+
+/* This used to fail on SPARC because of a broken pattern.  */
+
+#pragma pack(2)
+
+struct
+{
+  unsigned char G936:7;
+  unsigned short G937:6;
+  unsigned int :4;
+  unsigned short :14;
+  unsigned int G938:8;
+  unsigned int :30;
+  unsigned short :16;
+  unsigned int :18;
+  unsigned short G939:9;
+} G928b;
+
+void TestG928(void)
+{
+  G928b.G936 |= G928b.G939;
+}