blob: 56455ab8847808a58a6d7ea03feaaec2d3229535 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# On x86 targets, two floating-point double values can't be reliably compared
# for inequality due to excess precision of 80387 floating-point coprocessor.
# Use -mpc64 to force 80387 floating-point precision to 64 bits. This option
# has no effect on SSE, but it is needed in case of -m32 on x86_64 targets.
if { [istarget i?86-*-linux*]
|| [istarget i?86-*-kfreebsd*-gnu]
|| [istarget i?86-*-knetbsd*-gnu]
|| [istarget x86_64-*-linux*]
|| [istarget x86_64-*-kfreebsd*-gnu]
|| [istarget x86_64-*-knetbsd*-gnu] } {
set additional_flags "-mpc64"
}
return 0
|
