This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Is stmt_ann()->references_memory equal to !ZERO_SSA_OPERANDS (stmt, (SSA_OP_VUSE | SSA_OP_VIRTUAL_DEFS)?
- From: "Diego Novillo" <dnovillo at google dot com>
- To: "Richard Guenther" <rguenther at suse dot de>
- Cc: gcc at gcc dot gnu dot org
- Date: Thu, 6 Sep 2007 12:36:56 -0400
- Subject: Re: Is stmt_ann()->references_memory equal to !ZERO_SSA_OPERANDS (stmt, (SSA_OP_VUSE | SSA_OP_VIRTUAL_DEFS)?
- References: <Pine.LNX.4.64.0709061825470.4343@s68.fhfr.qr>
On 9/6/07, Richard Guenther <rguenther@suse.de> wrote:
> $subject?
It is not. You can have a statement that references memory and have
no virtual operands at all (volatile or totally pruned VOPs for
instance).
Also, the very first alias analysis pass will find statements with no
VOPs but with memory references. stmt_references_memory_p() must work
regardless.
> So, is it ok to replace those checks by checking the variable annotation
> instead?
What variable annotation? This is a statement annotation.