diff options
| author | Richard Biener <rguenther@suse.de> | 2016-07-18 08:46:42 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-07-18 08:46:42 +0000 |
| commit | 2e7565b2681274a88ec2c74c6486ca4657295d21 (patch) | |
| tree | 67f2c58b0ee2d8da6cd2cf762718f6ad7882328c /gcc | |
| parent | 9c9549e100cfabaa54ba7b9d97e01143aea167f4 (diff) | |
| download | gcc-2e7565b2681274a88ec2c74c6486ca4657295d21.zip gcc-2e7565b2681274a88ec2c74c6486ca4657295d21.tar.gz gcc-2e7565b2681274a88ec2c74c6486ca4657295d21.tar.bz2 | |
re PR tree-optimization/71893 (gfortran.dg ICEs in gcc/tree-ssa-pre.c; -fcode-hoisting?)
2016-07-18 Richard Biener <rguenther@suse.de>
PR tree-optimization/71893
* tree-ssa-pre.c (create_component_ref_by_pieces_1): Compensate
for sizetype cast added by array_ref_element_size.
* tree-ssa-sccvn.c (copy_reference_ops_from_ref): Likewise.
From-SVN: r238426
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/tree-ssa-pre.c | 3 | ||||
| -rw-r--r-- | gcc/tree-ssa-sccvn.c | 3 |
3 files changed, 13 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 62ca076..1f3fabf 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2016-07-18 Richard Biener <rguenther@suse.de> + + PR tree-optimization/71893 + * tree-ssa-pre.c (create_component_ref_by_pieces_1): Compensate + for sizetype cast added by array_ref_element_size. + * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Likewise. + 2016-07-16 John David Anglin <danglin@gcc.gnu.org> * config/pa/pa.c (hppa_profile_hook): Allocate stack space for diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index c45eb2e..c59aab8 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -2576,6 +2576,9 @@ create_component_ref_by_pieces_1 (basic_block block, vn_reference_t ref, { genop3 = size_binop (EXACT_DIV_EXPR, genop3, size_int (TYPE_ALIGN_UNIT (elmt_type))); + /* We may have a useless conversion added by + array_ref_element_size via copy_reference_opts_from_ref. */ + STRIP_USELESS_TYPE_CONVERSION (genop3); genop3 = find_or_generate_expression (block, genop3, stmts); if (!genop3) return NULL_TREE; diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index bd752a5..b1f10d5 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -810,6 +810,9 @@ copy_reference_ops_from_ref (tree ref, vec<vn_reference_op_s> *result) /* Always record lower bounds and element size. */ temp.op1 = array_ref_low_bound (ref); temp.op2 = array_ref_element_size (ref); + /* array_ref_element_size forces the result to sizetype + even if that is the same as bitsizetype. */ + STRIP_USELESS_TYPE_CONVERSION (temp.op2); if (TREE_CODE (temp.op0) == INTEGER_CST && TREE_CODE (temp.op1) == INTEGER_CST && TREE_CODE (temp.op2) == INTEGER_CST) |