This is the mail archive of the
mailing list for the GCC project.
Re: [tree-ssa] must-alias fixes...
On Fri, 2003-11-21 at 06:45, Jan Hubicka wrote:
> Did you noticed the tree-dfa code for computing ADDRESSABLE flags early
> I sent?
No, sorry. URL? Are you removing the addressable computation from the
> With this, I finally get flags right, so if would be great if
> you can look into that. I will re-test it on clean tree once we get
> this patch in.
> 2003-11-21 Jan Hubicka <firstname.lastname@example.org>
> * tree-dfa.c (get_expr_operands): Fix handling of CALL_EXPR.
> * tree-must-alias.c (tree_compute_must_alias): Never promote static
> vars; promote pointers.
Hmm, I was thinking that we could do all the promotion of static
variables except the removal of the TREE_ADDRESSABLE bit. That is, we
take all its aliases aways to reduce virtual operands, but just not mark
it non-addressable. Static variables are never optimized fully, anyway,
so I don't think this should pessimize things too much. Do you have, or
can come up with, a test case that exposes this problem with statics?
It would be nice to have it in the test suite.
> (find_addressable_vars): Deal with complex constant expressions;
> do not clear may_point_to_global_mem.