https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67963
--- Comment #8 from H.J. Lu <hjl.tools at gmail dot com> ---
(In reply to Uroš Bizjak from comment #7)
> Created attachment 36517 [details]
> V2 patch that introduces PTA_NO_80387
We need some testcases to verify it works on command line as well
as with __attribute__((target("arch=...."))).
