diff options
| author | Vladimir Makarov <vmakarov@redhat.com> | 2017-10-18 16:44:27 +0000 |
|---|---|---|
| committer | Vladimir Makarov <vmakarov@gcc.gnu.org> | 2017-10-18 16:44:27 +0000 |
| commit | 57d69a633c9226fce5ea2fb728c2e817733a150c (patch) | |
| tree | a74e0a7ed117796aebfa269cef6ed1a6b516c7d4 /gcc | |
| parent | 957f0d8faf41d64fa4ba548411e6d4dd95a083bf (diff) | |
| download | gcc-57d69a633c9226fce5ea2fb728c2e817733a150c.zip gcc-57d69a633c9226fce5ea2fb728c2e817733a150c.tar.gz gcc-57d69a633c9226fce5ea2fb728c2e817733a150c.tar.bz2 | |
re PR middle-end/82556 (internal compiler error in curr_insn_transform, at lra-constraints.c:4307)
2017-10-18 Vladimir Makarov <vmakarov@redhat.com>
PR middle-end/82556
* lra-constraints.c (curr_insn_transform): Use non-input operand
instead of output one for matched reload.
2017-10-18 Vladimir Makarov <vmakarov@redhat.com>
PR middle-end/82556
* gcc.target/i386/pr82556.c: New.
From-SVN: r253862
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/lra-constraints.c | 17 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/pr82556.c | 19 |
4 files changed, 44 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8e056f2..59e0910 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-10-18 Vladimir Makarov <vmakarov@redhat.com> + + PR middle-end/82556 + * lra-constraints.c (curr_insn_transform): Use non-input operand + instead of output one for matched reload. + 2017-10-18 Bin Cheng <bin.cheng@arm.com> * tree-loop-distribution.c (INCLUDE_ALGORITHM): New header file. diff --git a/gcc/lra-constraints.c b/gcc/lra-constraints.c index 4734c072..6163d7d 100644 --- a/gcc/lra-constraints.c +++ b/gcc/lra-constraints.c @@ -4271,7 +4271,13 @@ curr_insn_transform (bool check_only_p) } else if (curr_static_id->operand[i].type == OP_IN && (curr_static_id->operand[goal_alt_matched[i][0]].type - == OP_OUT)) + == OP_OUT + || (curr_static_id->operand[goal_alt_matched[i][0]].type + == OP_INOUT + && (operands_match_p + (*curr_id->operand_loc[i], + *curr_id->operand_loc[goal_alt_matched[i][0]], + -1))))) { /* generate reloads for input and matched outputs. */ match_inputs[0] = i; @@ -4282,9 +4288,14 @@ curr_insn_transform (bool check_only_p) [goal_alt_number * n_operands + goal_alt_matched[i][0]] .earlyclobber); } - else if (curr_static_id->operand[i].type == OP_OUT + else if ((curr_static_id->operand[i].type == OP_OUT + || (curr_static_id->operand[i].type == OP_INOUT + && (operands_match_p + (*curr_id->operand_loc[i], + *curr_id->operand_loc[goal_alt_matched[i][0]], + -1)))) && (curr_static_id->operand[goal_alt_matched[i][0]].type - == OP_IN)) + == OP_IN)) /* Generate reloads for output and matched inputs. */ match_reload (i, goal_alt_matched[i], outputs, goal_alt[i], &before, &after, curr_static_id->operand_alternative diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ee05077e..42cdbd6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-10-18 Vladimir Makarov <vmakarov@redhat.com> + + PR middle-end/82556 + * gcc.target/i386/pr82556.c: New. + 2017-10-18 Bin Cheng <bin.cheng@arm.com> * gcc.dg/tree-ssa/ldist-17.c: Adjust test string. diff --git a/gcc/testsuite/gcc.target/i386/pr82556.c b/gcc/testsuite/gcc.target/i386/pr82556.c new file mode 100644 index 0000000..409a301 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr82556.c @@ -0,0 +1,19 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fno-strict-aliasing -fwrapv -fexcess-precision=standard" } */ +extern int foo(); +typedef struct { + char id; + unsigned char fork_flags; + short data_length; +} Header; +int a; +void X() { + do { + char* b; + Header c; + if (a) + c.fork_flags |= 1; + __builtin_memcpy(b, &c, __builtin_offsetof(Header, data_length)); + b += foo(); + } while (1); +} |