Re: [RFA,PATCH] Bail in bounds_of_var_in_loop if no step found.

2020-10-14 Thread Aldy Hernandez via Gcc-patches
On 10/14/20 4:31 PM, Richard Biener wrote: On Wed, Oct 14, 2020 at 4:19 PM Aldy Hernandez wrote: On 10/14/20 9:43 AM, Richard Biener wrote: On Tue, Oct 13, 2020 at 6:12 PM Aldy Hernandez wrote: On 10/13/20 6:02 PM, Richard Biener wrote: On October 13, 2020 5:17:48 PM GMT+02:00, Ald

Re: [RFA,PATCH] Bail in bounds_of_var_in_loop if no step found.

2020-10-14 Thread Richard Biener via Gcc-patches
On Wed, Oct 14, 2020 at 4:19 PM Aldy Hernandez wrote: > > > > On 10/14/20 9:43 AM, Richard Biener wrote: > > On Tue, Oct 13, 2020 at 6:12 PM Aldy Hernandez wrote: > >> > >> > >> > >> On 10/13/20 6:02 PM, Richard Biener wrote: > >>> On October 13, 2020 5:17:48 PM GMT+02:00, Aldy Hernandez via Gcc-

Re: [RFA,PATCH] Bail in bounds_of_var_in_loop if no step found.

2020-10-14 Thread Aldy Hernandez via Gcc-patches
On 10/14/20 9:43 AM, Richard Biener wrote: On Tue, Oct 13, 2020 at 6:12 PM Aldy Hernandez wrote: On 10/13/20 6:02 PM, Richard Biener wrote: On October 13, 2020 5:17:48 PM GMT+02:00, Aldy Hernandez via Gcc-patches wrote: [Neither Andrew nor I are familiar with the SCEV code. We treat

Re: [RFA,PATCH] Bail in bounds_of_var_in_loop if no step found.

2020-10-14 Thread Richard Biener via Gcc-patches
On Tue, Oct 13, 2020 at 6:12 PM Aldy Hernandez wrote: > > > > On 10/13/20 6:02 PM, Richard Biener wrote: > > On October 13, 2020 5:17:48 PM GMT+02:00, Aldy Hernandez via Gcc-patches > > wrote: > >> [Neither Andrew nor I are familiar with the SCEV code. We treat it as > >> a > >> black box :).

Re: [RFA,PATCH] Bail in bounds_of_var_in_loop if no step found.

2020-10-13 Thread Aldy Hernandez via Gcc-patches
On 10/13/20 6:02 PM, Richard Biener wrote: On October 13, 2020 5:17:48 PM GMT+02:00, Aldy Hernandez via Gcc-patches wrote: [Neither Andrew nor I are familiar with the SCEV code. We treat it as a black box :). So we could use a SCEV expert here.] In bounds_of_var_in_loop, evolution_part_i

Re: [RFA,PATCH] Bail in bounds_of_var_in_loop if no step found.

2020-10-13 Thread Richard Biener via Gcc-patches
On October 13, 2020 5:17:48 PM GMT+02:00, Aldy Hernandez via Gcc-patches wrote: >[Neither Andrew nor I are familiar with the SCEV code. We treat it as >a >black box :). So we could use a SCEV expert here.] > >In bounds_of_var_in_loop, evolution_part_in_loop_num is returning NULL: > > step = e

[RFA,PATCH] Bail in bounds_of_var_in_loop if no step found.

2020-10-13 Thread Aldy Hernandez via Gcc-patches
[Neither Andrew nor I are familiar with the SCEV code. We treat it as a black box :). So we could use a SCEV expert here.] In bounds_of_var_in_loop, evolution_part_in_loop_num is returning NULL: step = evolution_part_in_loop_num (chrec, loop->num); and we ICE while trying to calculate the r