Re: [00/23] Make fwprop use an on-the-side RTL SSA representation

2020-12-01 Thread Jeff Law via Gcc-patches
On 11/30/20 5:03 PM, Michael Matz wrote: > Hello, > > On Mon, 30 Nov 2020, Jeff Law wrote: > So, then let's start with one of the prime examples of SSA deconstruction problems, the lost swap, and how it comes to be: we start with a swap: x = ..., y = ... if (c

Re: [00/23] Make fwprop use an on-the-side RTL SSA representation

2020-12-01 Thread Richard Sandiford via Gcc-patches
Michael Matz writes: > Hello, > > On Mon, 30 Nov 2020, Jeff Law wrote: > >> >> So, then let's start with one of >> >> the prime examples of SSA deconstruction problems, the lost swap, and how >> >> it comes to be: we start with a swap: >> >> >> >> x = ..., y = ... >> >> if (cond) >> >> t

Re: [00/23] Make fwprop use an on-the-side RTL SSA representation

2020-11-30 Thread Michael Matz
Hello, On Mon, 30 Nov 2020, Jeff Law wrote: > >> So, then let's start with one of > >> the prime examples of SSA deconstruction problems, the lost swap, and how > >> it comes to be: we start with a swap: > >> > >> x = ..., y = ... > >> if (cond) > >> tmp=x, x=y, y=tmp > >> > >> (1) into

Re: [00/23] Make fwprop use an on-the-side RTL SSA representation

2020-11-30 Thread Jeff Law via Gcc-patches
On 11/27/20 9:31 AM, Richard Sandiford via Gcc-patches wrote: > Michael Matz writes: >> Hello, >> >> On Thu, 26 Nov 2020, Richard Sandiford via Gcc-patches wrote: >> > The aim is only to provide a different view of existing RTL instructions. > Unlike gimple, and unlike (IIRC) the old RT

Re: [00/23] Make fwprop use an on-the-side RTL SSA representation

2020-11-30 Thread Richard Sandiford via Gcc-patches
Jeff Law writes: > On 11/26/20 9:03 AM, Richard Sandiford wrote: >> Thanks for the reviews. >> >> Jeff Law via Gcc-patches writes: >>> On 11/13/20 1:10 AM, Richard Sandiford via Gcc-patches wrote: Just after GCC 10 stage 1 closed (oops), I posted a patch to add a new combine pass. One

Re: [00/23] Make fwprop use an on-the-side RTL SSA representation

2020-11-29 Thread Jeff Law via Gcc-patches
On 11/26/20 9:03 AM, Richard Sandiford wrote: > Thanks for the reviews. > > Jeff Law via Gcc-patches writes: >> On 11/13/20 1:10 AM, Richard Sandiford via Gcc-patches wrote: >>> Just after GCC 10 stage 1 closed (oops), I posted a patch to add a new >>> combine pass. One of its main aims was to

Re: [00/23] Make fwprop use an on-the-side RTL SSA representation

2020-11-27 Thread Richard Sandiford via Gcc-patches
Michael Matz writes: > Hello, > > On Thu, 26 Nov 2020, Richard Sandiford via Gcc-patches wrote: > >> >> The aim is only to provide a different view of existing RTL instructions. >> >> Unlike gimple, and unlike (IIRC) the old RTL SSA project from way back, >> >> the new framework isn't a “native” S

Re: [00/23] Make fwprop use an on-the-side RTL SSA representation

2020-11-27 Thread Michael Matz
Hello, On Thu, 26 Nov 2020, Richard Sandiford via Gcc-patches wrote: > >> The aim is only to provide a different view of existing RTL instructions. > >> Unlike gimple, and unlike (IIRC) the old RTL SSA project from way back, > >> the new framework isn't a “native” SSA representation. This means

Re: [00/23] Make fwprop use an on-the-side RTL SSA representation

2020-11-26 Thread Richard Sandiford via Gcc-patches
Thanks for the reviews. Jeff Law via Gcc-patches writes: > On 11/13/20 1:10 AM, Richard Sandiford via Gcc-patches wrote: >> Just after GCC 10 stage 1 closed (oops), I posted a patch to add a new >> combine pass. One of its main aims was to allow instructions to move >> around where necessary in

Re: [00/23] Make fwprop use an on-the-side RTL SSA representation

2020-11-25 Thread Jeff Law via Gcc-patches
On 11/13/20 1:10 AM, Richard Sandiford via Gcc-patches wrote: > Just after GCC 10 stage 1 closed (oops), I posted a patch to add a new > combine pass. One of its main aims was to allow instructions to move > around where necessary in order to make a combination possible. > It also tried to para

[00/23] Make fwprop use an on-the-side RTL SSA representation

2020-11-13 Thread Richard Sandiford via Gcc-patches
Just after GCC 10 stage 1 closed (oops), I posted a patch to add a new combine pass. One of its main aims was to allow instructions to move around where necessary in order to make a combination possible. It also tried to parallelise instructions that use the same resource. That pass contained its