This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Fix PR tree-optimization/32589

On 7/11/07, Eric Botcazou <ebotcazou@adacore.com> wrote: 
> Or FRE should do what other> passes do and use set_rhs () to verify if the
> resulting trees are sufficiently gimple

This one has been bootstrapped/regtested on x86_64-suse-linux.

This is ok for mainline.

Thanks,
Richard.


2007-07-11 Eric Botcazou <ebotcazou@adacore.com>

        PR tree-optimization/32589
        * doc/tree-ssa.texi (Rough GIMPLE Grammar): Add missing rule.
        * tree-gimple.c (is_gimple_min_invariant): Clarify head comment.
        * tree-ssa-propagate.c (valid_gimple_expression_p): New
        predicate, extracted from...
        (set_rhs): ...here.  Call it for the expression on entry.
        * tree-ssa-propagate.h (valid_gimple_expression_p): Declare.
        * tree-ssa-sccvn.c: Include tree-ssa-propagate.h.
        (simplify_binary_expression): Use valid_gimple_expression_p
        to validate the simplification.
        * Makefile.in (tree-ssa-sccvn.o): Depends on tree-ssa-propagate.h.


2007-07-11 Eric Botcazou <ebotcazou@adacore.com>

* gnat.dg/invariant_index.ad[sb]: New testcase.


--
Eric Botcazou



Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]