https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69270
--- Comment #1 from Jeffrey A. Law <law at gcc dot gnu.org> --- Author: law Date: Thu Jan 14 07:38:18 2016 New Revision: 232361 URL: https://gcc.gnu.org/viewcvs?rev=232361&root=gcc&view=rev Log: [PATCH][PR tree-optimization/69270] Exploit VRP information in DOM PR tree-optimization/69270 * tree-ssa-dom.c (ssa_name_has_boolean_range): New function. (record_edge_info): Use it. Convert boolean_{true,false}_node to the type of op0. PR tree-optimization/69270 * gcc.dg/tree-ssa/pr69270.c: New test. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr69270.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-dom.c