Re: About sink load from memory in tree-ssa-sink.c

2012-04-20 Thread Richard Guenther
On Fri, Apr 20, 2012 at 11:04 AM, Bin.Cheng wrote: > On Fri, Apr 20, 2012 at 4:54 PM, Richard Guenther > wrote: >> On Fri, Apr 20, 2012 at 9:52 AM, Bin.Cheng wrote: >>> On Wed, Apr 18, 2012 at 5:25 PM, Richard Guenther >>> wrote: On Wed, Apr 18, 2012 at 8:53 AM, Bin.Cheng wrote: >>>

Re: About sink load from memory in tree-ssa-sink.c

2012-04-20 Thread Bin.Cheng
On Fri, Apr 20, 2012 at 4:54 PM, Richard Guenther wrote: > On Fri, Apr 20, 2012 at 9:52 AM, Bin.Cheng wrote: >> On Wed, Apr 18, 2012 at 5:25 PM, Richard Guenther >> wrote: >>> On Wed, Apr 18, 2012 at 8:53 AM, Bin.Cheng wrote: >> >>> >>> I don't understand method 2.  I'd do >>> >>>  start at the

Re: About sink load from memory in tree-ssa-sink.c

2012-04-20 Thread Richard Guenther
On Fri, Apr 20, 2012 at 9:52 AM, Bin.Cheng wrote: > On Wed, Apr 18, 2012 at 5:25 PM, Richard Guenther > wrote: >> On Wed, Apr 18, 2012 at 8:53 AM, Bin.Cheng wrote: > >> >> I don't understand method 2.  I'd do >> >>  start at the single predecessor of the sink-to block >> >>  foreach stmt from th

Re: About sink load from memory in tree-ssa-sink.c

2012-04-20 Thread Bin.Cheng
On Wed, Apr 18, 2012 at 5:25 PM, Richard Guenther wrote: > On Wed, Apr 18, 2012 at 8:53 AM, Bin.Cheng wrote: > > I don't understand method 2.  I'd do > >  start at the single predecessor of the sink-to block > >  foreach stmt from the end to the beginning of that block >   if the stmt has a VDEF

Re: About sink load from memory in tree-ssa-sink.c

2012-04-18 Thread Richard Guenther
On Wed, Apr 18, 2012 at 8:53 AM, Bin.Cheng wrote: > Hi, > As discussed at thread > "http://gcc.gnu.org/ml/gcc/2012-04/msg00396.html";, I am trying a patch > now. > The problem here is I have to go through all basic block from > "sink_from" to "sink_to" to check whether > the memory might be clobbe

About sink load from memory in tree-ssa-sink.c

2012-04-17 Thread Bin.Cheng
Hi, As discussed at thread "http://gcc.gnu.org/ml/gcc/2012-04/msg00396.html";, I am trying a patch now. The problem here is I have to go through all basic block from "sink_from" to "sink_to" to check whether the memory might be clobbered in them. Currently I have two methods: 1, do fully data analy