This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Decrease # of update_stmt calls from alias analysis
- From: Zdenek Dvorak <rakdver at atrey dot karlin dot mff dot cuni dot cz>
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org, Michael Matz <matz at suse dot de>, Andrew MacLeod <amacleod at redhat dot com>, dberlin at dberlin dot org
- Date: Wed, 1 Mar 2006 14:50:35 +0100
- Subject: Re: [patch] Decrease # of update_stmt calls from alias analysis
- References: <20060227170004.GA9176@atrey.karlin.mff.cuni.cz> <1141149999.10812.362.camel@localhost.localdomain> <Pine.LNX.4.58.0602281908051.20821@wotan.suse.de> <1141154104.6054.27.camel@localhost> <20060301102318.GA19301@atrey.karlin.mff.cuni.cz> <44059442.6020900@redhat.com>
Hello,
> > * tree-flow.h (struct stmt_ann_d): Add has_virtual_ops field.
> > * tree-ssa-structalias.c (find_func_aliases): Only mark
> > the statements that may have virtual operands for rescanning.
> > * tree-ssa-operands.c (build_ssa_operands, get_expr_operands,
> > get_asm_expr_operands, get_call_expr_operands): Set has_virtual_ops
> > field.
> >
> No. Not another state flag to keep up-to-date. Particularly if it
> gives no benefit. Use stmt_references_memory_p, if you must.
btw. I have responded on the last mail without checking what actually
stmt_references_memory_p does. Given that it is
!ZERO_SSA_OPERANDS (stmt, SSA_OP_ALL_VIRTUALS), it obviously cannot be
used for this purpose -- in the first alias analysis pass, many of the
statements do not have virtual operands yet.
Zdenek