re PR tree-optimization/67975 (Failure to optimise equality between two call sequences)
authorRichard Biener <rguenther@suse.de>
Mon, 19 Oct 2015 14:00:28 +0000 (14:00 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Mon, 19 Oct 2015 14:00:28 +0000 (14:00 +0000)
commite6503e0a45efcea6a0cdc5aeab165e084b0eb624
tree075dea0c963d70dcf98b41407036d2fb506b1b92
parent4534c2032ba23be0a1f6b74ea2e23bc94df0cb81
re PR tree-optimization/67975 (Failure to optimise equality between two call sequences)

2015-10-19  Richard Biener  <rguenther@suse.de>

PR tree-optimization/67975
* tree-cfg.h (extract_true_false_controlled_edges): Declare.
* tree-cfg.c (extract_true_false_controlled_edges): Split out
core worker from ...
* tree-ssa-loop-im.c (extract_true_false_args_from_phi): ... here.
* tree-ssa-sccvn.c (vn_phi_compute_hash): Hash number of args
instead of block number for PHIs with two or one args.
(vn_phi_eq): Compare edge predicates of PHIs that are in different
blocks.

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

From-SVN: r228971
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-50.c [new file with mode: 0644]
gcc/tree-cfg.c
gcc/tree-cfg.h
gcc/tree-ssa-loop-im.c
gcc/tree-ssa-sccvn.c