diff options
author | Jakub Jelinek <jakub@redhat.com> | 2020-03-12 09:34:00 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@redhat.com> | 2020-03-12 09:34:00 +0100 |
commit | 349ab34dc64a10fe0b1eda66d13b62862878b73e (patch) | |
tree | c4a06e3f4052b53c3edf78fbc472cad52ddaa82d /gcc/testsuite/gcc.c-torture | |
parent | 4069adf4bbc90d16b603e0308b48499c36b2b637 (diff) | |
download | gcc-349ab34dc64a10fe0b1eda66d13b62862878b73e.zip gcc-349ab34dc64a10fe0b1eda66d13b62862878b73e.tar.gz gcc-349ab34dc64a10fe0b1eda66d13b62862878b73e.tar.bz2 |
tree-dse: Fix mem* head trimming if call has lhs [PR94130]
As the testcase shows, if DSE decides to head trim {mem{set,cpy,move},strncpy}
and the call has lhs, it is incorrect to leave the lhs as is, because it
will then point to the adjusted address (base + head_trim) instead of the
original base.
The following patch fixes that by dropping the lhs of the call and assigning
lhs the original base in a following statement.
2020-03-12 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/94130
* tree-ssa-dse.c: Include gimplify.h.
(increment_start_addr): If stmt has lhs, drop the lhs from call and
set it after the call to the original value of the first argument.
Formatting fixes.
(decrement_count): Formatting fix.
* gcc.c-torture/execute/pr94130.c: New test.
Diffstat (limited to 'gcc/testsuite/gcc.c-torture')
-rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/pr94130.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr94130.c b/gcc/testsuite/gcc.c-torture/execute/pr94130.c new file mode 100644 index 0000000..044e578 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr94130.c @@ -0,0 +1,16 @@ +/* PR tree-optimization/94130 */ + +int +main () +{ + int a[8]; + char *b = __builtin_memset (a, 0, sizeof (a)); + a[0] = 1; + a[1] = 2; + a[2] = 3; + if (b != (char *) a) + __builtin_abort (); + else + asm volatile ("" : : "g" (a) : "memory"); + return 0; +} |