Re: [PATCH 4/5] if-conv: Apply VN to hoisted conversions

2021-11-19 Thread Richard Biener via Gcc-patches
On Tue, Nov 16, 2021 at 7:05 PM Richard Sandiford wrote: > > Richard Biener via Gcc-patches writes: > > On Mon, Nov 15, 2021 at 3:00 PM Richard Sandiford > > wrote: > >> > >> Richard Biener via Gcc-patches writes: > >> > On Fri, Nov 12, 2021 at 7:05 PM Richard Sandiford via Gcc-patches > >> >

Re: [PATCH 4/5] if-conv: Apply VN to hoisted conversions

2021-11-16 Thread Richard Sandiford via Gcc-patches
Richard Biener via Gcc-patches writes: > On Mon, Nov 15, 2021 at 3:00 PM Richard Sandiford > wrote: >> >> Richard Biener via Gcc-patches writes: >> > On Fri, Nov 12, 2021 at 7:05 PM Richard Sandiford via Gcc-patches >> > wrote: >> >> >> >> This patch is a prerequisite for a later one. At the

Re: [PATCH 4/5] if-conv: Apply VN to hoisted conversions

2021-11-15 Thread Richard Biener via Gcc-patches
On Mon, Nov 15, 2021 at 3:00 PM Richard Sandiford wrote: > > Richard Biener via Gcc-patches writes: > > On Fri, Nov 12, 2021 at 7:05 PM Richard Sandiford via Gcc-patches > > wrote: > >> > >> This patch is a prerequisite for a later one. At the moment, > >> if-conversion converts predicated

Re: [PATCH 4/5] if-conv: Apply VN to hoisted conversions

2021-11-15 Thread Richard Sandiford via Gcc-patches
Richard Biener via Gcc-patches writes: > On Fri, Nov 12, 2021 at 7:05 PM Richard Sandiford via Gcc-patches > wrote: >> >> This patch is a prerequisite for a later one. At the moment, >> if-conversion converts predicated POINTER_PLUS_EXPRs into >> non-wrapping forms, which for: >> >> … =

Re: [PATCH 4/5] if-conv: Apply VN to hoisted conversions

2021-11-15 Thread Richard Biener via Gcc-patches
On Fri, Nov 12, 2021 at 7:05 PM Richard Sandiford via Gcc-patches wrote: > > This patch is a prerequisite for a later one. At the moment, > if-conversion converts predicated POINTER_PLUS_EXPRs into > non-wrapping forms, which for: > > … = base + offset > > becomes: > > tmp = (unsigned

[PATCH 4/5] if-conv: Apply VN to hoisted conversions

2021-11-12 Thread Richard Sandiford via Gcc-patches
This patch is a prerequisite for a later one. At the moment, if-conversion converts predicated POINTER_PLUS_EXPRs into non-wrapping forms, which for: … = base + offset becomes: tmp = (unsigned long) base … = tmp + offset It then hoists these conversions out of the loop where