diff options
| author | Richard Sandiford <richard.sandiford@linaro.org> | 2018-02-20 14:44:24 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2018-02-20 14:44:24 +0000 |
| commit | 9bd958c5f361337b15958be8641d59ad38bd0a2b (patch) | |
| tree | 4876fe452ae7607c88e5357f95da7f998ac00588 /gcc/internal-fn.c | |
| parent | ef7866a3f1395f16872a0d61e111660e302a674d (diff) | |
| download | gcc-9bd958c5f361337b15958be8641d59ad38bd0a2b.zip gcc-9bd958c5f361337b15958be8641d59ad38bd0a2b.tar.gz gcc-9bd958c5f361337b15958be8641d59ad38bd0a2b.tar.bz2 | |
Fix incorrect TARGET_MEM_REF alignment (PR 84419)
expand_call_mem_ref checks for TARGET_MEM_REFs that have compatible
type, but it didn't then go on to install the specific type we need,
which might have different alignment due to:
if (TYPE_ALIGN (type) != align)
type = build_aligned_type (type, align);
This was causing masked stores to be incorrectly marked as
aligned on AVX512.
2018-02-20 Richard Sandiford <richard.sandiford@linaro.org>
gcc/
PR tree-optimization/84419
* internal-fn.c (expand_call_mem_ref): Create a TARGET_MEM_REF
with the required type if its current type is compatible but
different.
gcc/testsuite/
PR tree-optimization/84419
* gcc.dg/vect/pr84419.c: New test.
From-SVN: r257847
Diffstat (limited to 'gcc/internal-fn.c')
| -rw-r--r-- | gcc/internal-fn.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/internal-fn.c b/gcc/internal-fn.c index 88adaea..da205c9 100644 --- a/gcc/internal-fn.c +++ b/gcc/internal-fn.c @@ -2444,11 +2444,14 @@ expand_call_mem_ref (tree type, gcall *stmt, int index) && types_compatible_p (TREE_TYPE (mem), type)) { tree offset = TMR_OFFSET (mem); - if (alias_ptr_type != TREE_TYPE (offset) || !integer_zerop (offset)) + if (type != TREE_TYPE (mem) + || alias_ptr_type != TREE_TYPE (offset) + || !integer_zerop (offset)) { mem = copy_node (mem); TMR_OFFSET (mem) = wide_int_to_tree (alias_ptr_type, wi::to_poly_wide (offset)); + TREE_TYPE (mem) = type; } return mem; } |