Re: [COMMITTED] Make irange dependency explicit for range_of_ssa_name_with_loop_info.

2022-08-02 Thread Richard Biener via Gcc-patches
On Tue, Aug 2, 2022 at 2:11 PM Aldy Hernandez wrote: > > On Tue, Aug 2, 2022 at 2:07 PM Richard Biener > wrote: > > > > On Tue, Aug 2, 2022 at 1:41 PM Aldy Hernandez wrote: > > > > > > On Tue, Aug 2, 2022 at 9:19 AM Richard Biener > > > wrote: > > > > > > > > On Mon, Aug 1, 2022 at 8:17 AM Aldy

Re: [COMMITTED] Make irange dependency explicit for range_of_ssa_name_with_loop_info.

2022-08-02 Thread Aldy Hernandez via Gcc-patches
On Tue, Aug 2, 2022 at 2:07 PM Richard Biener wrote: > > On Tue, Aug 2, 2022 at 1:41 PM Aldy Hernandez wrote: > > > > On Tue, Aug 2, 2022 at 9:19 AM Richard Biener > > wrote: > > > > > > On Mon, Aug 1, 2022 at 8:17 AM Aldy Hernandez via Gcc-patches > > > wrote: > > > > > > > > Even though range

Re: [COMMITTED] Make irange dependency explicit for range_of_ssa_name_with_loop_info.

2022-08-02 Thread Richard Biener via Gcc-patches
On Tue, Aug 2, 2022 at 1:41 PM Aldy Hernandez wrote: > > On Tue, Aug 2, 2022 at 9:19 AM Richard Biener > wrote: > > > > On Mon, Aug 1, 2022 at 8:17 AM Aldy Hernandez via Gcc-patches > > wrote: > > > > > > Even though ranger is type agnostic, SCEV seems to only work with > > > integers. This pat

Re: [COMMITTED] Make irange dependency explicit for range_of_ssa_name_with_loop_info.

2022-08-02 Thread Aldy Hernandez via Gcc-patches
On Tue, Aug 2, 2022 at 9:19 AM Richard Biener wrote: > > On Mon, Aug 1, 2022 at 8:17 AM Aldy Hernandez via Gcc-patches > wrote: > > > > Even though ranger is type agnostic, SCEV seems to only work with > > integers. This patch removes some FIXME notes making it explicit that > > bounds_of_var_in

Re: [COMMITTED] Make irange dependency explicit for range_of_ssa_name_with_loop_info.

2022-08-02 Thread Richard Biener via Gcc-patches
On Mon, Aug 1, 2022 at 8:17 AM Aldy Hernandez via Gcc-patches wrote: > > Even though ranger is type agnostic, SCEV seems to only work with > integers. This patch removes some FIXME notes making it explicit that > bounds_of_var_in_loop only works with iranges. SCEV also handles floats, where do y

[COMMITTED] Make irange dependency explicit for range_of_ssa_name_with_loop_info.

2022-07-31 Thread Aldy Hernandez via Gcc-patches
Even though ranger is type agnostic, SCEV seems to only work with integers. This patch removes some FIXME notes making it explicit that bounds_of_var_in_loop only works with iranges. Tested on x86-64 Linux. gcc/ChangeLog: * gimple-range-fold.cc (fold_using_range::range_of_phi): Only