2012-07-21  Andrew Pinski  <apinski@cavium.com>

	*  gcc.dg/tree-ssa/vrp72.c: New test.
	*  gcc.dg/tree-ssa/vrp73.c: New test.
	*  gcc.dg/tree-ssa/vrp74.c: New test.
	*  gcc.dg/tree-ssa/vrp75.c: New test.

From-SVN: r189753