https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121541
Bug ID: 121541
Summary: Add __attribute__ ((target("80387"))) support
Product: gcc
Version: 16.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: hjl.tools at gmail dot com
Target Milestone: ---
Target: x86
There is no way to turn on/off 80387 support with attribute:
[hjl@gnu-zen4-1 x86-2]$ cat x.c
__attribute__ ((target("no-mmx,no-80387")))
void
func1 (void)
{
}
__attribute__ ((target("mmx,80387")))
void
func2 (void)
{
}
[hjl@gnu-zen4-1 x86-2]$ make CC=gcc
gcc -O2 -S x.c
x.c:3:1: error: attribute ‘target’ argument ‘no-80387’ is unknown
3 | func1 (void)
| ^~~~~
x.c:9:1: error: attribute ‘target’ argument ‘80387’ is unknown
9 | func2 (void)
| ^~~~~
make: *** [Makefile:31: x.s] Error 1
[hjl@gnu-zen4-1 x86-2]$
