Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther skribis: > On Mon, Oct 8, 2012 at 6:04 PM, Ludovic Courtès > 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 doesn't really work at -O0 > so you need to fix t

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 6:04 PM, Ludovic Courtès wrote: > Richard Guenther skribis: > >> On Mon, Oct 8, 2012 at 3:32 PM, Ludovic Courtès wrote: >>> Richard Guenther skribis: >>> On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès wrote: > Richard Guenther skribis: > >> On Mon, Oct

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther skribis: > On Mon, Oct 8, 2012 at 3:32 PM, Ludovic Courtès wrote: >> Richard Guenther skribis: >> >>> On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès wrote: Richard Guenther skribis: > On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: >> Richard Guent

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 3:32 PM, Ludovic Courtès wrote: > Richard Guenther skribis: > >> On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès wrote: >>> Richard Guenther skribis: >>> On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: > Richard Guenther skribis: > >> At -O0 no

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther skribis: > On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès wrote: >> Richard Guenther skribis: >> >>> On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: Richard Guenther skribis: > At -O0 no virtual operands are produced. TODO_rebuild_alias only computes >

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès wrote: > Richard Guenther skribis: > >> On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: >>> Richard Guenther skribis: >>> At -O0 no virtual operands are produced. TODO_rebuild_alias only computes points-to sets which are in itse

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther skribis: > On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: >> Richard Guenther 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_reb

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: > Richard Guenther 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

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther 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 particular pass. Thanks, Ludo

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 11:26 AM, Ludovic Courtès 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: > > numb

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 #include #include #include int plugin_is_GPL_compatible; static unsigned int my_pass (void) { return 0; } static struct opt_pass pass_dummy =