diff options
author | Andrew Pinski <apinski@cavium.com> | 2017-07-21 17:16:51 +0000 |
---|---|---|
committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2017-07-21 10:16:51 -0700 |
commit | 27ecd5c2b0dd74f6721e94972751855952acefd1 (patch) | |
tree | 7c3fb8cf61026ef9d76355f5674c64fc00a88130 /gcc/tree-ssa-sccvn.c | |
parent | 8c7331c5563e00e63837d0246f1325371157d46a (diff) | |
download | gcc-27ecd5c2b0dd74f6721e94972751855952acefd1.zip gcc-27ecd5c2b0dd74f6721e94972751855952acefd1.tar.gz gcc-27ecd5c2b0dd74f6721e94972751855952acefd1.tar.bz2 |
tree-ssa-sccvn.c (vn_nary_op_eq): Check BIT_INSERT_EXPR's operand 1 to see if the types precision matches.
2017-07-21 Andrew Pinski <apinski@cavium.com>
* tree-ssa-sccvn.c (vn_nary_op_eq): Check BIT_INSERT_EXPR's
operand 1 to see if the types precision matches.
* fold-const.c (operand_equal_p): Likewise.
From-SVN: r250431
Diffstat (limited to 'gcc/tree-ssa-sccvn.c')
-rw-r--r-- | gcc/tree-ssa-sccvn.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index 324cd73..ca43f01 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -2636,6 +2636,14 @@ vn_nary_op_eq (const_vn_nary_op_t const vno1, const_vn_nary_op_t const vno2) if (!expressions_equal_p (vno1->op[i], vno2->op[i])) 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 (vno1->opcode == BIT_INSERT_EXPR + && TREE_CODE (vno1->op[1]) == INTEGER_CST + && TYPE_PRECISION (TREE_TYPE (vno1->op[1])) + != TYPE_PRECISION (TREE_TYPE (vno2->op[1]))) + return false; + return true; } |