TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Hello, Consider the attached plug-in, which adds a new dummy pass after the “ssa” pass, with ‘TODO_rebuild_alias’ as its start flags: #include gcc-plugin.h #include plugin-version.h #include plugin.h #include tree-pass.h int plugin_is_GPL_compatible; static unsigned int my_pass (void) {

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 11:26 AM, Ludovic Courtès l...@gnu.org wrote: Hello, Consider the attached plug-in, which adds a new dummy pass after the “ssa” pass, with ‘TODO_rebuild_alias’ as its start flags: When compiling with -O0 a non-trivial file with that plug-in, one ends up with:

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther richard.guent...@gmail.com skribis: At -O0 no virtual operands are produced. TODO_rebuild_alias only computes points-to sets which are in itself not useful. What do you want to achieve with TODO_rebuild_alias? I basically want to use ‘ptr_derefs_may_alias_p’ in this

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès l...@gnu.org wrote: Richard Guenther richard.guent...@gmail.com skribis: At -O0 no virtual operands are produced. TODO_rebuild_alias only computes points-to sets which are in itself not useful. What do you want to achieve with

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther richard.guent...@gmail.com skribis: On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès l...@gnu.org wrote: Richard Guenther richard.guent...@gmail.com skribis: At -O0 no virtual operands are produced. TODO_rebuild_alias only computes points-to sets which are in itself not

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès l...@gnu.org wrote: Richard Guenther richard.guent...@gmail.com skribis: On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès l...@gnu.org wrote: Richard Guenther richard.guent...@gmail.com skribis: At -O0 no virtual operands are produced.

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther richard.guent...@gmail.com skribis: On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès l...@gnu.org wrote: Richard Guenther richard.guent...@gmail.com skribis: On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès l...@gnu.org wrote: Richard Guenther richard.guent...@gmail.com

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 3:32 PM, Ludovic Courtès l...@gnu.org wrote: Richard Guenther richard.guent...@gmail.com skribis: On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès l...@gnu.org wrote: Richard Guenther richard.guent...@gmail.com skribis: On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther richard.guent...@gmail.com skribis: On Mon, Oct 8, 2012 at 3:32 PM, Ludovic Courtès l...@gnu.org wrote: Richard Guenther richard.guent...@gmail.com skribis: On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès l...@gnu.org wrote: Richard Guenther richard.guent...@gmail.com

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 6:04 PM, Ludovic Courtès ludovic.cour...@inria.fr wrote: Richard Guenther richard.guent...@gmail.com skribis: On Mon, Oct 8, 2012 at 3:32 PM, Ludovic Courtès l...@gnu.org wrote: Richard Guenther richard.guent...@gmail.com skribis: On Mon, Oct 8, 2012 at 1:42 PM,

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther richard.guent...@gmail.com skribis: On Mon, Oct 8, 2012 at 6:04 PM, Ludovic Courtès ludovic.cour...@inria.fr wrote: [...] So it looks like there’s additional state corresponding to these variables that needs updating? Ah, no, but I suppose TODO_update_address_taken