From: Jakub Jelinek Date: Fri, 28 Oct 2016 08:11:57 +0000 (+0200) Subject: re PR rtl-optimization/77919 (ICE converting DC to V2DF mode) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c19066a7694429e1d322295800e79dbbdf1c8320;p=gcc.git re PR rtl-optimization/77919 (ICE converting DC to V2DF mode) PR rtl-optimization/77919 * expr.c (expand_expr_real_1) : Force CONCAT into MEM if mode1 is not a complex mode. * g++.dg/torture/pr77919.C: New test. From-SVN: r241642 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 88805bd25c9..95da0d1abf1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2016-10-28 Jakub Jelinek + PR rtl-optimization/77919 + * expr.c (expand_expr_real_1) : Force CONCAT into + MEM if mode1 is not a complex mode. + PR rtl-optimization/78132 * ree.c (combine_reaching_defs): Give up if copy_needed and !HARD_REGNO_MODE_OK (REGNO (src_reg), dst_mode). diff --git a/gcc/expr.c b/gcc/expr.c index 38ef07c0a0f..6420e278f3d 100644 --- a/gcc/expr.c +++ b/gcc/expr.c @@ -10421,7 +10421,8 @@ expand_expr_real_1 (tree exp, rtx target, machine_mode tmode, if (GET_CODE (op0) == CONCAT && !must_force_mem) { if (bitpos == 0 - && bitsize == GET_MODE_BITSIZE (GET_MODE (op0))) + && bitsize == GET_MODE_BITSIZE (GET_MODE (op0)) + && COMPLEX_MODE_P (mode1)) { if (reversep) op0 = flip_storage_order (GET_MODE (op0), op0); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 08cc8bda7cb..f13b2bdbba5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2016-10-28 Jakub Jelinek + PR rtl-optimization/77919 + * g++.dg/torture/pr77919.C: New test. + PR rtl-optimization/78132 * gcc.target/i386/pr78132.c: New test. diff --git a/gcc/testsuite/g++.dg/torture/pr77919.C b/gcc/testsuite/g++.dg/torture/pr77919.C new file mode 100644 index 00000000000..cab6e909d36 --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr77919.C @@ -0,0 +1,11 @@ +// PR rtl-optimization/77919 +// { dg-do compile } +// { dg-additional-options "-Wno-psabi" } + +struct A { A (double) {} _Complex double i; }; +typedef int __attribute__ ((vector_size (16))) B; +typedef struct { B b; } C; +struct D { D (const B &x) : b (x) {} B b; }; +static inline B foo (const double *x) { C *a; a = (C *) x; return a->b; } +static inline D baz (const A &x) { return foo ((double *) &x); } +D b = baz (0);