On Tue, Dec 7, 2010 at 8:31 PM, Eugen Wagner
wrote:
> Hi,
> Are any kinds of flow-dependent points-to analysis computed on gimple
> in ssa form?
> in which pass?
In tree-ssa-structalias.c we compute points-to analysis. It is flow-sensitive
only for pointers in SSA form.
Richard.
>
> regards,
>
Hi,
Are any kinds of flow-dependent points-to analysis computed on gimple
in ssa form?
in which pass?
regards,
Eugen
zouq wrote:
> i wonder whether there exists or not alias analysis for scalar variable,
> array variable, even pointers.
> thank you.
Yes. See alias.c for alias analysis on RTL. See also tree-ssa-alias.c
for alias analysis on trees. The latter is much more sophisticated.
The latter hasn't been
i wonder whether there exists or not alias analysis for scalar variable,
array variable, even pointers.
thank you.
but i don`t understand even if you propagate the alias analysis from the
tree optimizers, the space won1t be saved, you still need many space to
save the info. is it not as expansive as the alias analysis based on the
RTL representation? what has it saved?thank you.
Qo.
Zou
> On Monday 04 April 2
On Monday 04 April 2005 10:09, zouq wrote:
> i can`t find it in current gcc version.
> pleas do me the favor to tell me about it.
I can only guess that you probably mean the Debray alias analysis
proposed at the GCC summit in 2003. Follow this link for the paper:
"http://gcc.fyxm.net/summit/2003/
i can`t find it in current gcc version.
pleas do me the favor to tell me about it.
