[Bug target/67963] -march=lakemont generates x87 instructions

[ubizjak at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67963

--- Comment #6 from Uroš Bizjak <ubizjak at gmail dot com> ---
Created attachment 36516
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36516&action=edit
Patch that introduces PTA_NO_80387