Re: [PATCH PR82163/V2]New interface checking LCSSA for single loop

2017-09-25 Thread Bin.Cheng
On Sat, Sep 23, 2017 at 6:31 PM, Bernhard Reutner-Fischer wrote: > On Fri, Sep 22, 2017 at 11:37:53AM +, Bin Cheng wrote: > >> diff --git a/gcc/tree-ssa-loop-manip.c b/gcc/tree-ssa-loop-manip.c >> index d6ba305..6ad0b75 100644 >> --- a/gcc/tree-ssa-loop-manip.c >> +++ b/gcc/tree-ssa-loop-manip

Re: [PATCH PR82163/V2]New interface checking LCSSA for single loop

2017-09-23 Thread Bernhard Reutner-Fischer
On Fri, Sep 22, 2017 at 11:37:53AM +, Bin Cheng wrote: > diff --git a/gcc/tree-ssa-loop-manip.c b/gcc/tree-ssa-loop-manip.c > index d6ba305..6ad0b75 100644 > --- a/gcc/tree-ssa-loop-manip.c > +++ b/gcc/tree-ssa-loop-manip.c > @@ -690,48 +690,62 @@ rewrite_virtuals_into_loop_closed_ssa (struct

Re: [PATCH PR82163/V2]New interface checking LCSSA for single loop

2017-09-22 Thread Richard Biener
On Fri, Sep 22, 2017 at 1:37 PM, Bin Cheng wrote: > Hi, > This is the V2 patch fixing PR82163. It rewrites verify_loop_closed_ssa by > checking > uses of all definitions inside of loop. This gives advantage that we can > check loop > closed ssa form for a specific loop, rather than for whole f

[PATCH PR82163/V2]New interface checking LCSSA for single loop

2017-09-22 Thread Bin Cheng
Hi, This is the V2 patch fixing PR82163. It rewrites verify_loop_closed_ssa by checking uses of all definitions inside of loop. This gives advantage that we can check loop closed ssa form for a specific loop, rather than for whole function. The interface is used in fixing this issue. Bootstra