re PR target/78643 (ICE in convert_move, at expr.c:230)
authorJakub Jelinek <jakub@redhat.com>
Sat, 2 Dec 2017 07:54:47 +0000 (08:54 +0100)
committerJakub Jelinek <jakub@gcc.gnu.org>
Sat, 2 Dec 2017 07:54:47 +0000 (08:54 +0100)
PR target/78643
PR target/80583
* expr.c (get_inner_reference): If DECL_MODE of a non-bitfield
is BLKmode for vector field with vector raw mode, use TYPE_MODE
instead of DECL_MODE.

* gcc.target/i386/pr80583.c: New test.

From-SVN: r255353

gcc/ChangeLog
gcc/expr.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.target/i386/pr80583.c [new file with mode: 0644]

index de7335efa40cc04b91c99282d854cdfd6f129083..9536a88b8a9e542be5b74eb586ef2afd984ea5dc 100644 (file)
@@ -1,5 +1,11 @@
 2017-12-02  Jakub Jelinek  <jakub@redhat.com>
 
+       PR target/78643
+       PR target/80583
+       * expr.c (get_inner_reference): If DECL_MODE of a non-bitfield
+       is BLKmode for vector field with vector raw mode, use TYPE_MODE
+       instead of DECL_MODE.
+
        * config/i386/i386-protos.h (standard_sse_constant_opcode): Change
        last argument to rtx pointer.
        * config/i386/i386.c (standard_sse_constant_opcode): Replace X argument
index e9d8555c9452d3cd3b6c3c298e4ed428dd69f3e8..80116381f1b7d075d0619e4fc7821db133730a7d 100644 (file)
@@ -7032,7 +7032,16 @@ get_inner_reference (tree exp, HOST_WIDE_INT *pbitsize,
             size.  */
        mode = TYPE_MODE (DECL_BIT_FIELD_TYPE (field));
       else if (!DECL_BIT_FIELD (field))
-       mode = DECL_MODE (field);
+       {
+         mode = DECL_MODE (field);
+         /* For vector fields re-check the target flags, as DECL_MODE
+            could have been set with different target flags than
+            the current function has.  */
+         if (mode == BLKmode
+             && VECTOR_TYPE_P (TREE_TYPE (field))
+             && VECTOR_MODE_P (TYPE_MODE_RAW (TREE_TYPE (field))))
+           mode = TYPE_MODE (TREE_TYPE (field));
+       }
       else if (DECL_MODE (field) == BLKmode)
        blkmode_bitfield = true;
 
index 8133e8af91a014a9f5dc4406463f9fe1d6226d70..49f0409a24aa9364f304f7dc669be337553d5c3b 100644 (file)
@@ -1,3 +1,9 @@
+2017-12-02  Jakub Jelinek  <jakub@redhat.com>
+
+       PR target/78643
+       PR target/80583
+       * gcc.target/i386/pr80583.c: New test.
+
 2017-12-01  Segher Boessenkool  <segher@kernel.crashing.org>
 
        * gcc.target/powerpc/fusion.c: Add -dp to options.  Adjust the expected
diff --git a/gcc/testsuite/gcc.target/i386/pr80583.c b/gcc/testsuite/gcc.target/i386/pr80583.c
new file mode 100644 (file)
index 0000000..6fe3212
--- /dev/null
@@ -0,0 +1,13 @@
+/* PR target/80583 */
+/* { dg-do compile } */
+/* { dg-options "-O0 -mno-avx" } */
+
+typedef int V __attribute__((__vector_size__(32)));
+struct S { V a; };
+
+V __attribute__((target ("avx")))
+foo (struct S *b)
+{
+  V x = b->a;
+  return x;
+}