From: Jakub Jelinek Date: Wed, 20 Feb 2019 23:02:29 +0000 (+0100) Subject: re PR middle-end/89412 (gcc ICE in simplify_subreg, at simplify-rtx.c:6273 on i686... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=37d7267f8093e6720b05fec5a8eac26ade0b55ad;p=gcc.git re PR middle-end/89412 (gcc ICE in simplify_subreg, at simplify-rtx.c:6273 on i686-linux-gnu) PR middle-end/89412 * expr.c (expand_assignment): If result is a MEM, use change_address instead of simplify_gen_subreg. * gcc.c-torture/compile/pr89412.c: New test. From-SVN: r269057 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index aba3eb8419d..fe3140363cd 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2019-02-20 Jakub Jelinek + + PR middle-end/89412 + * expr.c (expand_assignment): If result is a MEM, use change_address + instead of simplify_gen_subreg. + 2019-02-20 Jakub Jelinek David Malcolm diff --git a/gcc/expr.c b/gcc/expr.c index ce71ae71089..9ff5e5f2d76 100644 --- a/gcc/expr.c +++ b/gcc/expr.c @@ -5211,9 +5211,13 @@ expand_assignment (tree to, tree from, bool nontemporal) } else { - rtx from_rtx - = simplify_gen_subreg (to_mode, result, - TYPE_MODE (TREE_TYPE (from)), 0); + rtx from_rtx; + if (MEM_P (result)) + from_rtx = change_address (result, to_mode, NULL_RTX); + else + from_rtx + = simplify_gen_subreg (to_mode, result, + TYPE_MODE (TREE_TYPE (from)), 0); if (from_rtx) { emit_move_insn (XEXP (to_rtx, 0), diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 353e4d704a7..32a68cc71f4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-02-20 Jakub Jelinek + + PR middle-end/89412 + * gcc.c-torture/compile/pr89412.c: New test. + 2019-02-20 Jakub Jelinek David Malcolm diff --git a/gcc/testsuite/gcc.c-torture/compile/pr89412.c b/gcc/testsuite/gcc.c-torture/compile/pr89412.c new file mode 100644 index 00000000000..0d6ddd5db94 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr89412.c @@ -0,0 +1,16 @@ +/* PR middle-end/89412 */ + +struct S { double a, b; } d; +int e; +double f; + +void +foo () +{ + _Complex double h; + while (e) + { + f = h; + *(struct S *) &h = d; + } +}