[Bug tree-optimization/80153] ivopt generate wrong code

[amker at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80153

--- Comment #8 from amker at gcc dot gnu.org ---
Author: amker
Date: Mon Apr 10 16:51:44 2017
New Revision: 246810

URL: https://gcc.gnu.org/viewcvs?rev=246810&root=gcc&view=rev
Log:
        PR tree-optimization/80153
        * tree-affine.c (aff_combination_to_tree): Get base pointer from
        the first element of pointer type aff_tree.  Build result expr in
        aff_tree's type.
        (add_elt_to_tree): Convert to type unconditionally.  Remove other
        fold_convert calls.
        * tree-ssa-loop-ivopts.c (alloc_iv): Pass in consistent types.
        (rewrite_use_nonlinear_expr): Check invariant using iv information.
        gcc/testsuite
        PR tree-optimization/80153
        * gcc.c-torture/execute/pr80153.c: New.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr80153.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-affine.c
    trunk/gcc/tree-ssa-loop-ivopts.c