Re: [PATCH] Replace evrp use in loop versioning with ranger.

On 7/30/21 10:39 AM, Richard Sandiford wrote: Aldy Hernandez writes: On Mon, Jul 26, 2021 at 7:28 PM Richard Sandiford wrote: Aldy Hernandez writes: On Mon, Jul 26, 2021 at 4:18 PM Richard Sandiford wrote: Aldy Hernandez writes: This patch replaces the evrp_range_analyzer in the lo

Re: [PATCH] Replace evrp use in loop versioning with ranger.

Aldy Hernandez writes: > On Mon, Jul 26, 2021 at 7:28 PM Richard Sandiford > wrote: >> >> Aldy Hernandez writes: >> > On Mon, Jul 26, 2021 at 4:18 PM Richard Sandiford >> > wrote: >> >> >> >> Aldy Hernandez writes: >> >> > This patch replaces the evrp_range_analyzer in the loop versioning code

Re: [PATCH] Replace evrp use in loop versioning with ranger.

On Mon, Jul 26, 2021 at 7:28 PM Richard Sandiford wrote: > > Aldy Hernandez writes: > > On Mon, Jul 26, 2021 at 4:18 PM Richard Sandiford > > wrote: > >> > >> Aldy Hernandez writes: > >> > This patch replaces the evrp_range_analyzer in the loop versioning code > >> > with an on-demand ranger. >

Re: [PATCH] Replace evrp use in loop versioning with ranger.

Aldy Hernandez writes: > On Mon, Jul 26, 2021 at 4:18 PM Richard Sandiford > wrote: >> >> Aldy Hernandez writes: >> > This patch replaces the evrp_range_analyzer in the loop versioning code >> > with an on-demand ranger. >> > >> > Everything was pretty straightforward, except that range_of_expr

Re: [PATCH] Replace evrp use in loop versioning with ranger.

> > How expensive is the check? If the result is worth caching, perhaps > > we should have two bitmaps: the existing one, and one that records > > whether we've checked a particular SSA name. > > > > If the check is relatively cheap then that won't be worth it though. > > If you're asking about th

Re: [PATCH] Replace evrp use in loop versioning with ranger.

On Mon, Jul 26, 2021 at 4:18 PM Richard Sandiford wrote: > > Aldy Hernandez writes: > > This patch replaces the evrp_range_analyzer in the loop versioning code > > with an on-demand ranger. > > > > Everything was pretty straightforward, except that range_of_expr requires > > a gimple statement as

Re: [PATCH] Replace evrp use in loop versioning with ranger.

Aldy Hernandez writes: > This patch replaces the evrp_range_analyzer in the loop versioning code > with an on-demand ranger. > > Everything was pretty straightforward, except that range_of_expr requires > a gimple statement as context to provide context aware ranges. I didn't see > a convient pla