2015-07-02 Richard Biener <rguenther@suse.de>
commit1464518be776d99cf3d4dac4317ee9593d873407
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 2 Jul 2015 07:37:35 +0000 (2 07:37 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 2 Jul 2015 07:37:35 +0000 (2 07:37 +0000)
treeda79f9f2b5d7561937a823eb7a573eb0f7aec873
parentd69a4955403cbb9cf3332b8511be5c5629335843
2015-07-02  Richard Biener  <rguenther@suse.de>

* tree-ssa-dom.c (build_and_record_new_cond): Add optional
parameter to record a condition that is false.
(record_conditions): When recording an extra NE_EXPR that is
true also record a EQ_EXPR that is false.

* gcc.dg/tree-ssa/ssa-dom-cse-4.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@225299 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-cse-4.c [new file with mode: 0644]
gcc/tree-ssa-dom.c