[Bug middle-end/30322] ((-i-1) + i) +1) is turned into ~i + (i+1) and never into 0 on the tree level

["rakdver at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #8 from rakdver at gcc dot gnu dot org  2007-01-10 00:44 -------
Subject: Bug 30322

Author: rakdver
Date: Wed Jan 10 00:44:26 2007
New Revision: 120630

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120630
Log:
        PR tree-optimization/30322
        * tree-ssa-loop-ivopts.c (fold_affine_expr, iv_value): Removed.
        (cand_value_at): Return the value as aff_tree.
        (may_eliminate_iv): Convert the bound from aff_tree to tree.
        * tree-affine.c (aff_combination_add_cst, aff_combination_add_product,
        aff_combination_mult): New functions.
        (aff_combination_add): Use aff_combination_add_cst.
        (aff_combination_convert): Allow conversions to a wider type.
        (tree_to_aff_combination): Handle BIT_NOT_EXPR.
        * tree-affine.h (aff_combination_mult): Declare.

        * gcc.dg/tree-ssa/loop-21.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/loop-21.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-affine.c
    trunk/gcc/tree-affine.h
    trunk/gcc/tree-ssa-loop-ivopts.c


-- 


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