diff options
| author | Yang Yang <yangyang305@huawei.com> | 2020-04-14 19:42:23 +0000 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2020-04-14 16:02:31 +0200 |
| commit | f65cecabc32fe12b024253502af953e657e1a878 (patch) | |
| tree | d80cba380e95cde4d8d064c1a059037dc617adea /gcc/tree-ssa.c | |
| parent | 438ffa2a8fac925b1bee8862fa15bc5380c0dffd (diff) | |
| download | gcc-f65cecabc32fe12b024253502af953e657e1a878.zip gcc-f65cecabc32fe12b024253502af953e657e1a878.tar.gz gcc-f65cecabc32fe12b024253502af953e657e1a878.tar.bz2 | |
PR tree-optimization/94574 - aarch64: ICE during GIMPLE pass:ccp
In this PR the testcase ICEs because a BIT_INSERT_EXPR whose replaced bits are
not fully inside the container is generated. A size check is added to avoid
this kind of ICE.
gcc/ChangeLog:
PR tree-optimization/94574
* tree-ssa.c (non_rewritable_lvalue_p): Add size check when analyzing
whether a vector-insert is rewritable using a BIT_INSERT_EXPR.
gcc/testsuite/ChangeLog:
PR tree-optimization/94574
* gcc.dg/pr94574.c: New test.
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 344f32d..4f4ab2b 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -1543,7 +1543,9 @@ non_rewritable_lvalue_p (tree lhs) && known_gt (wi::to_poly_offset (TYPE_SIZE_UNIT (TREE_TYPE (decl))), mem_ref_offset (lhs)) && multiple_of_p (sizetype, TREE_OPERAND (lhs, 1), - TYPE_SIZE_UNIT (TREE_TYPE (lhs)))) + TYPE_SIZE_UNIT (TREE_TYPE (lhs))) + && known_ge (wi::to_poly_offset (TYPE_SIZE (TREE_TYPE (decl))), + wi::to_poly_offset (TYPE_SIZE (TREE_TYPE (lhs))))) { poly_uint64 lhs_bits, nelts; if (poly_int_tree_p (TYPE_SIZE (TREE_TYPE (lhs)), &lhs_bits) |