OSDN Git Service

2012-05-31 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 31 May 2012 11:02:29 +0000 (11:02 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 31 May 2012 11:02:29 +0000 (11:02 +0000)
PR middle-end/48493
* expr.c (expand_assignment): Do not use movmisalign on
non-memory.

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@188056 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/expr.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/torture/pr48493.c [new file with mode: 0644]

index 0e97e80..481462a 100644 (file)
@@ -1,3 +1,9 @@
+2012-05-31  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/48493
+       * expr.c (expand_assignment): Do not use movmisalign on
+       non-memory.
+
 2012-05-30  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 
        PR target/52999
index a3ace7a..e2957d2 100644 (file)
@@ -4593,6 +4593,7 @@ expand_assignment (tree to, tree from, bool nontemporal)
   if ((TREE_CODE (to) == MEM_REF
        || TREE_CODE (to) == TARGET_MEM_REF)
       && mode != BLKmode
+      && !mem_ref_refers_to_non_mem_p (to)
       && ((align = get_object_or_type_alignment (to))
          < GET_MODE_ALIGNMENT (mode))
       && ((icode = optab_handler (movmisalign_optab, mode))
index a42115c..9a3a04a 100644 (file)
@@ -1,3 +1,8 @@
+2012-05-31  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/48493
+       * gcc.dg/torture/pr48493.c: New testcase.
+
 2012-05-30  Jakub Jelinek  <jakub@redhat.com>
 
        PR c++/53356
diff --git a/gcc/testsuite/gcc.dg/torture/pr48493.c b/gcc/testsuite/gcc.dg/torture/pr48493.c
new file mode 100644 (file)
index 0000000..ddb61f2
--- /dev/null
@@ -0,0 +1,18 @@
+/* { dg-do compile } */
+
+typedef long long T __attribute__((may_alias, aligned (1)));
+
+struct S
+{
+  _Complex float d __attribute__((aligned (8)));
+};
+
+void bar (struct S);
+
+void
+f1 (T x)
+{
+  struct S s;
+  *(T *) ((char *) &s.d + 1) = x;
+  bar (s);
+}