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: [PATCH] Fix PR32921, prune virtual operands of memory accesses based on TBAA


On Mon, 22 Oct 2007, Richard Guenther wrote:

> On Mon, 22 Oct 2007, Daniel Berlin wrote:
> 
> > On 10/22/07, Diego Novillo <dnovillo@google.com> wrote:
> > > Daniel Berlin wrote:
> > >
> > > > We in fact, do this :)
> > > >
> > > > This is one of the things that we do when filling in the points-to
> > > > bitmaps in find_what_p_points_to.
> > >
> > > So, this patch makes even less sense to me now.  What is really going on
> > > that Richard's patch has any effect at all?  It seems to me that it
> > > shouldn't.  I'm really confused about the whole thing.
> > 
> > I await Richard finding out :)
> 
> The patch below works now.  But I now see PRE doing appearantly new
> (or different) optimization and ICE during value-numbering of inserted
> storetmps (that have VOPs that are not renamed yet), so for example
> g++.dg/opt/unroll1.C ICEs with
> 
> g++.dg/opt/unroll1.C: In function 'int main()':
> g++.dg/opt/unroll1.C:411: internal compiler error: tree check: expected 
> ssa_name, have symbol_memory_tag in VN_INFO, at tree-ssa-sccvn.c:253
> Please submit a full bug report,
> with preprocessed source if appropriate.
> See <http://gcc.gnu.org/bugs.html> for instructions.

If I remove the optimization of pruning SMTs for reads of DECL_NO_TBAA_P
vars and instead fix get_alias_set to deal with SSA_NAMEs in INDIRECT_REFs
(I'll submit that separately) then it works.

Richard.


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