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 done
> 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
>>> "Docu
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 simulation
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 n
