subject:"\[PING\]\[PATCH\]\[compare\-elim\] Fix PR rtl\-optimization\/82597"

Re: [PING][PATCH][compare-elim] Fix PR rtl-optimization/82597

2017-11-19 Thread Michael Collison

Hi Jeff, No longer needed. Jakub's patch does the job. Michael Collison > On Nov 19, 2017, at 3:50 PM, Jeff Law wrote: > >> On 10/25/2017 11:54 PM, Michael Collison wrote: >> Ping. Original patch posted here: >> >> https://gcc.gnu.org/ml/gcc-patches/2017-10/msg01317.html >

Re: [PING][PATCH][compare-elim] Fix PR rtl-optimization/82597

2017-11-19 Thread Jeff Law

On 10/25/2017 11:54 PM, Michael Collison wrote: > Ping. Original patch posted here: > > https://gcc.gnu.org/ml/gcc-patches/2017-10/msg01317.html Is this still needed or was it addressed by the patch Jakub checked in here: 2017-11-01 Jakub Jelinek PR

[PING][PATCH][compare-elim] Fix PR rtl-optimization/82597

2017-10-25 Thread Michael Collison

Ping. Original patch posted here: https://gcc.gnu.org/ml/gcc-patches/2017-10/msg01317.html