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: [autovect] [patch] and aliasing question

From: Diego Novillo <dnovillo at redhat dot com>
To: Ira Rosen <IRAR at il dot ibm dot com>
Cc: Daniel Berlin <dberlin at dberlin dot org>, gcc-patches at gcc dot gnu dot org
Date: Thu, 26 May 2005 07:02:10 -0400
Subject: Re: [autovect] [patch] and aliasing question
References: <1117025941.878.73.camel@linux.site> <OF42A8166C.DF9C1786-ONC225700D.002891DE-C225700D.003365DE@il.ibm.com>

On Thu, May 26, 2005 at 12:21:24PM +0300, Ira Rosen wrote:

> vect-77v.c (attached)
> ib_16 doesn't have a TMT
> 
Because it is never dereferenced.  We only create memory tags for
dereferenced pointers.  The aliaser decides that it is
pointless to compute aliasing information for a non-dereferenced
pointer, because there are no loads/stores to the pointed-to
memory.

Is this a problem for your analysis?  Do you need points-to
information for non-dereferenced pointers as well?  That is
slightly different than the alias information gathered for memory
tags.

Diego.

Follow-Ups:
- Re: [autovect] [patch] and aliasing question
  - From: Ira Rosen

References:
- Re: [autovect] [patch] and aliasing question
  - From: Daniel Berlin
- Re: [autovect] [patch] and aliasing question
  - From: Ira Rosen

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