This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa, commited] Move verify_ssa calls
> On Mon, 2003-12-08 at 18:25, Steven Bosscher wrote:
>
> > 2003-12-08 Steven Bosscher <stevenb@suse.de>
> >
> > * tree-optimize.c (optimize_function_tree): Move verify_ssa calls
> > into conditionals.
> >
> OK. Thanks.
This is good idea :)
Additionally it would be nice to force each pass to return some
meaningfull value that would also specify whether something has changed
at all.
It seems to me that it can return some set of flags on what changes
happent, lets say...
STMTS_MODIFIED
CFG_MODIFIED
SSA_INVALIDATED
SSA_VALIDATED
and such.....
If we implement some kind of compilation driver as proposed by Zdenek,
it can automatically run the sanity checkers to ensure that returned
flags are sane and run the compensation passes (such as rewrite ssa)
when needed.
Honza
>
>
> Diego.