r115709 - in /branches/gcc-4_1-branch/gcc: Chan...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Mon Jul 24 08:25:57 2006
New Revision: 115709

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115709
Log:
2006-07-21  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/27795
	PR tree-optimization/27639
	PR tree-optimization/26719
        Backport from mainline
        2006-05-24  Zdenek Dvorak <dvorakz@suse.cz>

	* tree-vrp.c (adjust_range_with_scev): Use scev_direction and adjust
	call to scev_probably_wraps_p.
	* tree-ssa-loop-niter.c (compare_trees, convert_step_widening,
	used_in_pointer_arithmetic_p, convert_step): Removed.
	(nowrap_type_p): New function.
	(scev_probably_wraps_p): Rewritten.
	* tree-scalar-evolution.c (instantiate_parameters_1): Do not call
	chrec_convert if chrec_convert_aggressive might have been used.
	* tree-chrec.c (convert_affine_scev, chrec_convert_1,
	scev_direction): New functions.
	(chrec_convert): Changed to a wrapper over chrec_convert_1.
	* tree-ssa-loop-ivopts.c (idx_find_step): Use convert_affine_scev
	instead of convert_step.
	* tree-flow.h (scev_probably_wraps_p): Declaration changed.
	(convert_step): Declaration removed.
	(convert_affine_scev, nowrap_type_p, scev_direction): Declare.

	* gcc.dg/pr27639.c: New test.
	* gcc.dg/pr26719.c: New test.
	* gcc.dg/tree-ssa/scev-cast.c: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/pr26719.c
      - copied unchanged from r114057, trunk/gcc/testsuite/gcc.dg/pr26719.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/pr27639.c
      - copied unchanged from r114057, trunk/gcc/testsuite/gcc.dg/pr27639.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/scev-cast.c
      - copied unchanged from r114057, trunk/gcc/testsuite/gcc.dg/tree-ssa/scev-cast.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/tree-chrec.c
    branches/gcc-4_1-branch/gcc/tree-flow.h
    branches/gcc-4_1-branch/gcc/tree-scalar-evolution.c
    branches/gcc-4_1-branch/gcc/tree-ssa-loop-ivopts.c
    branches/gcc-4_1-branch/gcc/tree-ssa-loop-niter.c
    branches/gcc-4_1-branch/gcc/tree-vrp.c