Re: [PATCH V2, RFC] Fix PR62147 by passing finiteness information to RTL phase

2019-06-26 Thread Kewen.Lin
Hi all, I've committed this and with one more change. --- gcc/loop-iv.c (revision 272731) +++ gcc/loop-iv.c (working copy) @@ -3004,7 +3004,7 @@ find_simple_exit (struct loop *loop, struct niter_ well. It results in incorrect predicate information on the exit condition ex

Re: [PATCH V2, RFC] Fix PR62147 by passing finiteness information to RTL phase

2019-06-25 Thread Kewen.Lin
Hi Jeff, on 2019/6/26 上午5:49, Jeff Law wrote: > On 6/25/19 3:41 AM, Kewen.Lin wrote: >> Hi Richard, >> >> Thanks a lot for review comments. >> >> on 2019/6/25 下午3:23, Richard Biener wrote: >>> On Tue, 25 Jun 2019, Kewen.Lin wrote: >>> Hi all, It's based on two observations: >>

Re: [PATCH V2, RFC] Fix PR62147 by passing finiteness information to RTL phase

2019-06-25 Thread Jeff Law
On 6/25/19 3:41 AM, Kewen.Lin wrote: > Hi Richard, > > Thanks a lot for review comments. > > on 2019/6/25 下午3:23, Richard Biener wrote: >> On Tue, 25 Jun 2019, Kewen.Lin wrote: >> >>> Hi all, >>> >>> >>> It's based on two observations: >>> 1) the loop structure for one specific loop is shared

[PATCH V2, RFC] Fix PR62147 by passing finiteness information to RTL phase

2019-06-25 Thread Kewen.Lin
Hi Richard, Thanks a lot for review comments. on 2019/6/25 下午3:23, Richard Biener wrote: > On Tue, 25 Jun 2019, Kewen.Lin wrote: > >> Hi all, >> >> >> It's based on two observations: >> 1) the loop structure for one specific loop is shared between middle-end >> and >> back-end. >> 2)