summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvmakarov <vmakarov@138bc75d-0d04-0410-961f-82ee72b054a4>2017-10-18 16:44:27 +0000
committervmakarov <vmakarov@138bc75d-0d04-0410-961f-82ee72b054a4>2017-10-18 16:44:27 +0000
commitb8b2688e0c573507d9e4fdd7d64602b33048aec3 (patch)
treea74e0a7ed117796aebfa269cef6ed1a6b516c7d4
parent05ebeee62f3677a964a62f2cca0c54a208a10d9d (diff)
downloadgcc-b8b2688e0c573507d9e4fdd7d64602b33048aec3.tar.gz
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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@253862 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/lra-constraints.c17
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.target/i386/pr82556.c19
4 files changed, 44 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8e056f249cb..59e0910f8a7 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 4734c072c96..6163d7d5056 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 ee05077ecf0..42cdbd6b61a 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 00000000000..409a301af30
--- /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);
+}