r192115 - in /trunk/gcc: ChangeLog testsuite/Ch...

[jakub@gcc.gnu.org]

Author: jakub
Date: Fri Oct  5 09:37:25 2012
New Revision: 192115

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192115
Log:
	PR tree-optimization/54810
	* tree-vrp.c (register_edge_assert_for_2): Handle
	NAME = (unsigned) NAME2; if (NAME cmp CST) for
	narrowing casts to unsigned integral type like
	NAME = NAME2 & CST2; if (NAME cmp CST) where CST2
	is the max value of the unsigned integral type.

	* gcc.dg/tree-ssa/vrp85.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp85.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c