[PATCH] Fix PR tree-optimization/32589

[Eric Botcazou]

> 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.


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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pr32589-2b.diff
Type: text/x-diff
Size: 5649 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20070711/b2f7df06/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: p.ads
Type: text/x-adasrc
Size: 114 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20070711/b2f7df06/attachment-0001.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: p.adb
Type: text/x-adasrc
Size: 309 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20070711/b2f7df06/attachment-0002.bin>