tree-vn.c (expressions_equal_p): Do not check type equality or compatibility before...
authorRichard Guenther <rguenther@suse.de>
Thu, 17 Apr 2008 09:09:31 +0000 (09:09 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Thu, 17 Apr 2008 09:09:31 +0000 (09:09 +0000)
commitba2e189251286ceb6830a36bbbf44d20bda1e29a
treef8f7712b31bdddfc402983df7bb2949ee076e2cb
parent499928c1545bc0ff97231760e8552cb66873640b
tree-vn.c (expressions_equal_p): Do not check type equality or compatibility before calling operand_equal_p.

2008-04-17  Richard Guenther  <rguenther@suse.de>

* tree-vn.c (expressions_equal_p): Do not check type
equality or compatibility before calling operand_equal_p.
* fold-const.c (operand_equal_p): Check equivalence of
integer constants before bailing out due to signedness or
precision differences.
* tree-ssa-sccvn.c (copy_reference_ops_from_ref): Ignore
spurious differences in type qualification.  Ignore types
for COMPONENT_REFs at all.

* gcc.dg/tree-ssa/ssa-fre-17.c: New testcase.

From-SVN: r134384
gcc/ChangeLog
gcc/fold-const.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-17.c [new file with mode: 0644]
gcc/tree-ssa-sccvn.c
gcc/tree-vn.c