Hello,
On Thu, Oct 20 2022, Richard Biener via Gcc-patches wrote:
>> Am 20.10.2022 um 14:41 schrieb Jakub Jelinek via Gcc-patches
>> :
>>
>> On Thu, Oct 20, 2022 at 12:33:28PM +, Michael Matz wrote:
>>> Hey,
>>>
On Thu, 20 Oct 2022, Thomas Schwinge wrote:
This had been
> Am 20.10.2022 um 14:41 schrieb Jakub Jelinek via Gcc-patches
> :
>
> On Thu, Oct 20, 2022 at 12:33:28PM +, Michael Matz wrote:
>> Hey,
>>
>>> On Thu, 20 Oct 2022, Thomas Schwinge wrote:
>>>
>>> This had been done in
>>> wwwdocs commit 5c7ecfb5627e412a3d142d8dc212f4cd39b3b73f
>>>
On Thu, Oct 20, 2022 at 12:33:28PM +, Michael Matz wrote:
> Hey,
>
> On Thu, 20 Oct 2022, Thomas Schwinge wrote:
>
> > This had been done in
> > wwwdocs commit 5c7ecfb5627e412a3d142d8dc212f4cd39b3b73f
> > "Document deprecation of OpenMP MIC offloading in GCC 12".
> >
> > I'm sad about this,
Hey,
On Thu, 20 Oct 2022, Thomas Schwinge wrote:
> This had been done in
> wwwdocs commit 5c7ecfb5627e412a3d142d8dc212f4cd39b3b73f
> "Document deprecation of OpenMP MIC offloading in GCC 12".
>
> I'm sad about this, because -- in theory -- such a plugin is very useful
> for offloading
On Thu, Oct 20, 2022 at 01:15:43PM +0200, Thomas Schwinge wrote:
> I'm proposing the attached "Remove support for Intel MIC offloading"
> (generated with 'git format-patch --irreversible-delete', and 'diff's for
> regenerated files manually snipped, to reduce its size).
ChangeLog missing, you'll
Hi!
On 2021-11-12T06:41:41-0800, "H.J. Lu via Gcc-patches"
wrote:
> On Fri, Nov 12, 2021 at 6:27 AM Martin Liška wrote:
>> On 11/8/21 15:19, Jeff Law wrote:
>> > On 11/8/2021 2:59 AM, Jakub Jelinek via Gcc-patches wrote:
>> >> liboffloadmic is copied from upstream [...]
>> >> But I have no
