This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r120578 - in /trunk/gcc: ChangeLog testsuite/Ch...
- From: rguenth at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 08 Jan 2007 11:20:01 -0000
- Subject: r120578 - in /trunk/gcc: ChangeLog testsuite/Ch...
Author: rguenth
Date: Mon Jan 8 11:20:00 2007
New Revision: 120578
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120578
Log:
2007-01-08 Richard Guenther <rguenther@suse.de>
PR tree-optimization/23603
* tree-vrp.c (set_value_range_to_truthvalue): New function.
(extract_range_from_binary): Fall back to truthvalue instead of
varying for TRUTH_*_EXPR.
(extract_range_from_comparison): Fall back to truthvalue instead of
varying.
(vrp_visit_phi_node): Don't adjust new range bounds to +INF/-INF
if all visited PHI values were constant.
* gcc.dg/tree-ssa/vrp31.c: New testcase.
* gcc.dg/tree-ssa/vrp32.c: Likewise.
Added:
trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp31.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp32.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-vrp.c