https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30997
Jeffrey A. Law changed:
What|Removed |Added
Status|NEW |RESOLVED
CC|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30997
--- Comment #4 from Andrew Pinski 2012-03-05
05:27:23 UTC ---
Some talk about this issue at http://gcc.gnu.org/ml/gcc/2012-02/msg00462.html .
--- Comment #3 from rguenth at gcc dot gnu dot org 2008-03-28 19:21 ---
SCCVN now tries to simplify COND_EXPR conditions using their operands value
number. This still doesn't remove redundant comparisons.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30997
--- Comment #2 from rguenth at gcc dot gnu dot org 2007-12-03 15:44 ---
Re-confirmed with SCCVN. Note that while it value numbers the COND_EXPR on
the RHS it does not simplify the condition in the COND_EXPR stmt:
Value numbering tmp_3 stmt = tmp_3 = a_2(D) > 2;
Setting value number of