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
> Is this still need
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 rtl-optimization/82778
PR
Ping. Original patch posted here:
https://gcc.gnu.org/ml/gcc-patches/2017-10/msg01317.html
