diff options
| author | Andrew Pinski <apinski@cavium.com> | 2017-08-01 17:58:17 +0000 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2017-08-01 10:58:17 -0700 |
| commit | 5cada901b548a5b02e18fe5d5d074c5d100a406d (patch) | |
| tree | e82bfc5608a3dd0f0779f03d0f9b3aff3187cfd7 | |
| parent | 671a00ee70091ace175ea7391af1010d612cb89e (diff) | |
| download | gcc-5cada901b548a5b02e18fe5d5d074c5d100a406d.zip gcc-5cada901b548a5b02e18fe5d5d074c5d100a406d.tar.gz gcc-5cada901b548a5b02e18fe5d5d074c5d100a406d.tar.bz2 | |
tree-ssa-scopedtables.c (hashable_expr_equal_p): Check BIT_INSERT_EXPR's operand 1 to see if the types precision matches.
2017-08-01 Andrew Pinski <apinski@cavium.com>
* tree-ssa-scopedtables.c (hashable_expr_equal_p): Check
BIT_INSERT_EXPR's operand 1
to see if the types precision matches.
From-SVN: r250790
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-ssa-scopedtables.c | 9 |
2 files changed, 15 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 36a0221..43b2311 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-08-01 Andrew Pinski <apinski@cavium.com> + + * tree-ssa-scopedtables.c (hashable_expr_equal_p): Check + BIT_INSERT_EXPR's operand 1 + to see if the types precision matches. + 2017-08-01 Martin Liska <mliska@suse.cz> PR middle-end/70140 diff --git a/gcc/tree-ssa-scopedtables.c b/gcc/tree-ssa-scopedtables.c index 814f1c7..7b9ca78 100644 --- a/gcc/tree-ssa-scopedtables.c +++ b/gcc/tree-ssa-scopedtables.c @@ -502,6 +502,15 @@ hashable_expr_equal_p (const struct hashable_expr *expr0, expr1->ops.ternary.opnd2, 0)) return false; + /* BIT_INSERT_EXPR has an implict operand as the type precision + of op1. Need to check to make sure they are the same. */ + if (expr0->ops.ternary.op == BIT_INSERT_EXPR + && TREE_CODE (expr0->ops.ternary.opnd1) == INTEGER_CST + && TREE_CODE (expr1->ops.ternary.opnd1) == INTEGER_CST + && TYPE_PRECISION (TREE_TYPE (expr0->ops.ternary.opnd1)) + != TYPE_PRECISION (TREE_TYPE (expr1->ops.ternary.opnd1))) + return false; + if (operand_equal_p (expr0->ops.ternary.opnd0, expr1->ops.ternary.opnd0, 0) && operand_equal_p (expr0->ops.ternary.opnd1, |