[Committed] [PATCH, loop2_invariant] Pre-check invariants

2014-06-22 Thread Zhenqiang Chen
On 18 June 2014 05:32, Jeff Law wrote: > On 06/11/14 03:35, Zhenqiang Chen wrote: >> >> >> Thanks for the comments. df_live seams redundant. >> >> With flag_ira_loop_pressure, the pass will call df_analyze () at the >> beginning, which can make sure all the DF info are correct. >> >> Can we guaran

Re: [PATCH, loop2_invariant] Pre-check invariants

2014-06-17 Thread Jeff Law
On 06/11/14 03:35, Zhenqiang Chen wrote: Thanks for the comments. df_live seams redundant. With flag_ira_loop_pressure, the pass will call df_analyze () at the beginning, which can make sure all the DF info are correct. Can we guarantee all DF_... correct without df_analyze ()? They should be

Re: [PATCH, loop2_invariant] Pre-check invariants

2014-06-11 Thread Zhenqiang Chen
On 10 June 2014 19:01, Steven Bosscher wrote: > On Tue, Jun 10, 2014 at 11:55 AM, Zhenqiang Chen wrote: >> >> * loop-invariant.c (find_invariant_insn): Skip invariants, which >> can not make a valid insn during replacement in move_invariant_reg. >> >> --- a/gcc/loop-invariant.c >>

Re: [PATCH, loop2_invariant] Pre-check invariants

2014-06-10 Thread Steven Bosscher
On Tue, Jun 10, 2014 at 11:55 AM, Zhenqiang Chen wrote: > > * loop-invariant.c (find_invariant_insn): Skip invariants, which > can not make a valid insn during replacement in move_invariant_reg. > > --- a/gcc/loop-invariant.c > +++ b/gcc/loop-invariant.c > @@ -881,6 +881,35 @@ find_

[PATCH, loop2_invariant] Pre-check invariants

2014-06-10 Thread Zhenqiang Chen
Hi, During tests, I found some invariants could not be replaced at the last stage. If we can identify such invariants earlier, we can skip them and give the chance to other invariants. So the patch pre-checks candidates to skip the one which can not make a valid insn during replacement in move_in