2012-02-14 Richard Guenther <rguenther@suse.de>

	PR tree-optimization/52244
	PR tree-optimization/51528
	* tree-sra.c (analyze_access_subtree): Only create INTEGER_TYPE
	replacements for integral types.

	* gcc.dg/torture/pr52244.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@184214 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index eca470c3cc87eb78e782b0aac507eea900d9a7f3..407a61fdd6cd600a80a2822226ba04ff5da269a7 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2012-02-14  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/52244
+       PR tree-optimization/51528
+       * tree-sra.c (analyze_access_subtree): Only create INTEGER_TYPE
+       replacements for integral types.
+
 2012-02-14  Walter Lee  <walt@tilera.com>
 
        * config.gcc: Handle tilegx and tilepro.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 05a6af0e1bc0e4ca9d95ee5a86ed0232df5991a9..963e1bfd3209f13079a74dd32ce1b305ac9dcc66 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2012-02-14  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/52244
+       PR tree-optimization/51528
+       * gcc.dg/torture/pr52244.c: New testcase.
+
 2012-02-14  Walter Lee  <walt@tilera.com>
 
        * g++.dg/other/PR23205.C: Disable test on tile.

diff --git a/gcc/testsuite/gcc.dg/torture/pr52244.c b/gcc/testsuite/gcc.dg/torture/pr52244.c
new file mode 100644 (file)
index 0000000..2a29e3c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr52244.c
@@ -0,0 +1,36 @@
+/* { dg-do run } */
+
+extern void abort (void);
+
+typedef union u_r 
+{
+  _Bool b;
+  unsigned char c;
+} u_t;
+
+u_t
+bar (void)
+{
+  u_t u;
+  u.c = 0x12;
+  return u;
+}
+
+u_t  __attribute__ ((noinline))
+foo (void)
+{
+  u_t u;
+
+  u.b = 1;
+  u = bar ();
+
+  return u;
+}
+
+int main (int argc, char **argv)
+{
+  u_t u = foo ();
+  if (u.c != 0x12)
+    abort ();
+  return 0;
+}

diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c
index e2091e5fda49cec2ea82c3c95e22dbddcd543c16..1439c43c8896c7cb5ddaaa30391331dfe701321e 100644 (file)
--- a/gcc/tree-sra.c
+++ b/gcc/tree-sra.c
@@ -2172,11 +2172,21 @@ analyze_access_subtree (struct access *root, struct access *parent,
              && (root->grp_scalar_write || root->grp_assignment_write))))
     {
       bool new_integer_type;
-      if (TREE_CODE (root->type) == ENUMERAL_TYPE)
+      /* Always create access replacements that cover the whole access.
+         For integral types this means the precision has to match.
+        Avoid assumptions based on the integral type kind, too.  */
+      if (INTEGRAL_TYPE_P (root->type)
+         && (TREE_CODE (root->type) != INTEGER_TYPE
+             || TYPE_PRECISION (root->type) != root->size)
+         /* But leave bitfield accesses alone.  */
+         && (root->offset % BITS_PER_UNIT) == 0)
        {
          tree rt = root->type;
-         root->type = build_nonstandard_integer_type (TYPE_PRECISION (rt),
+         root->type = build_nonstandard_integer_type (root->size,
                                                       TYPE_UNSIGNED (rt));
+         root->expr = build_ref_for_offset (UNKNOWN_LOCATION,
+                                            root->base, root->offset,
+                                            root->type, NULL, false);
          new_integer_type = true;
        }
       else