expr.c (expand_assignment): Disable the bitfield += optimizations.

	* expr.c (expand_assignment): Disable the bitfield += optimizations.

	* gcc.c-torture/execute/20040629-1.c (FIELDS1, FIELDS2): Define to
	nothing if not yet defined.  Use it in b, c and d type definitions.
	* gcc.c-torture/execute/20040705-1.c: New test.
	* gcc.c-torture/execute/20040705-2.c: New test.

From-SVN: r84133

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2b6a628fcc7bc5579d772462bb7d4c45e20bd9ad..7e4ae9b2e2dd6b8fe2052dfc45877d6cf6350a9f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2004-07-05  Jakub Jelinek  <jakub@redhat.com>
+
+       * expr.c (expand_assignment): Disable the bitfield += optimizations.
+
 2004-07-05  Joseph S. Myers  <jsm@polyomino.org.uk>
 
        * doc/sourcebuild.texi: Revert previous patch.

diff --git a/gcc/expr.c b/gcc/expr.c
index 3c15a7bde7aae0371d7f5d96d595321eb9486a74..b5feed7a19f120c4326cd06155de94fec59377d4 100644 (file)
--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -3802,7 +3802,9 @@ expand_assignment (tree to, tree from, int want_value)
          MEM_KEEP_ALIAS_SET_P (to_rtx) = 1;
        }
 
-      while (mode1 == VOIDmode && !want_value
+      /* Disabled temporarily.  GET_MODE (to_rtx) is often not the right
+        mode.  */
+      while (0 && mode1 == VOIDmode && !want_value
             && bitpos + bitsize <= BITS_PER_WORD
             && bitsize < BITS_PER_WORD
             && GET_MODE_BITSIZE (GET_MODE (to_rtx)) <= BITS_PER_WORD

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e12cd88c26facdb00f513dbe4b2a5ebb58859226..2a29944a62a8f2f2708078f10fe77556f4114472 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2004-07-05  Jakub Jelinek  <jakub@redhat.com>
+
+       * gcc.c-torture/execute/20040629-1.c (FIELDS1, FIELDS2): Define to
+       nothing if not yet defined.  Use it in b, c and d type definitions.
+       * gcc.c-torture/execute/20040705-1.c: New test.
+       * gcc.c-torture/execute/20040705-2.c: New test.
+
 2004-07-05  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
 
        PR c++/2518

diff --git a/gcc/testsuite/gcc.c-torture/execute/20040629-1.c b/gcc/testsuite/gcc.c-torture/execute/20040629-1.c
index 9180d6c292047da96b987a7e95f5a7e92079d63b..6b3e9069240639cf7010b2364976d063862b69bb 100644 (file)
--- a/gcc/testsuite/gcc.c-torture/execute/20040629-1.c
+++ b/gcc/testsuite/gcc.c-torture/execute/20040629-1.c
@@ -4,9 +4,16 @@
 extern void abort (void);
 extern void exit (int);
 
-struct { unsigned int i : 6, j : 11, k : 15; } b;
-struct { unsigned int i : 5, j : 1, k : 26; } c;
-struct { unsigned int i : 16, j : 8, k : 8; } d;
+#ifndef FIELDS1
+#define FIELDS1
+#endif
+#ifndef FIELDS2
+#define FIELDS2
+#endif
+
+struct { FIELDS1 unsigned int i : 6, j : 11, k : 15; FIELDS2 } b;
+struct { FIELDS1 unsigned int i : 5, j : 1, k : 26; FIELDS2 } c;
+struct { FIELDS1 unsigned int i : 16, j : 8, k : 8; FIELDS2 } d;
 
 unsigned int ret1 (void) { return b.i; }
 unsigned int ret2 (void) { return b.j; }

diff --git a/gcc/testsuite/gcc.c-torture/execute/20040705-1.c b/gcc/testsuite/gcc.c-torture/execute/20040705-1.c
new file mode 100644 (file)
index 0000000..a9ba88e
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20040705-1.c
@@ -0,0 +1,2 @@
+#define FIELDS1 long long l;
+#include "20040629-1.c"

diff --git a/gcc/testsuite/gcc.c-torture/execute/20040705-2.c b/gcc/testsuite/gcc.c-torture/execute/20040705-2.c
new file mode 100644 (file)
index 0000000..a36fb6a
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20040705-2.c
@@ -0,0 +1,2 @@
+#define FIELDS2 long long l;
+#include "20040629-1.c"