[Bug tree-optimization/27639] [4.1/4.2 regression] VRP miscompilation of simple loop

[rakdver at gcc dot gnu dot org]

------- Comment #25 from rakdver at gcc dot gnu dot org  2006-05-24 22:55 -------
Subject: Bug 27639

Author: rakdver
Date: Wed May 24 22:55:15 2006
New Revision: 114057

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114057
Log:
        PR tree-optimization/27639
        PR tree-optimization/26719
        * 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:
    trunk/gcc/testsuite/gcc.dg/pr26719.c
    trunk/gcc/testsuite/gcc.dg/pr27639.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/scev-cast.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-chrec.c
    trunk/gcc/tree-flow.h
    trunk/gcc/tree-scalar-evolution.c
    trunk/gcc/tree-ssa-loop-ivopts.c
    trunk/gcc/tree-ssa-loop-niter.c
    trunk/gcc/tree-vrp.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27639