Vlákno názorů k článku Matematické koprocesory na platformě 80×86 prakticky od Daniel Langr - "Posléze se funkce poskytované těmito matematickými koprocesory staly...
-
"Posléze se funkce poskytované těmito matematickými koprocesory staly přímo součástí hlavního mikroprocesoru a podporovány jsou dodnes (zde nemluvíme o SIMD variantách)."
Netuším, jestli to není napsáno dále, ale nejen, že FPU instrukce jsou dodnes podporovány, ale jsou i vyžadovány pro implementaci System V ABI na architektuře AMD64/x86_64 (které aplikuje např. Linux) pro datový typ long double. U něj je vyžadována 80-bitová implementace (extended IEEE-754), a s tou SIMD instrukce neumí pracovat. Viz např. live demo: https://godbolt.org/z/sTWcP4GTr.
-
Pavel TišnovskýZlatý podporovatelTakto přímo to uvedeno nebylo, takže díky za doplnění. Popravdě je to ale zajímavý, že vyžadují 80bitový long double, je to vůbec ve standardech jazyků?
-
Standardy C (C++) reprezentace neřeší, ty jsou specifikováno aplikačním binárním rozhraním (ABI) konkrétního systému ([1] pro Linux).
Ve standardu C je uvedeno jen, že: "There are three real floating types, designated as float, double, and long double. The set of values of the type float is a subset of the set of values of the type double; the set of values of the type double is a subset of the set of values of the type long double." [2]. To je vše. Podobně je tomu ve standardu C++ [3].
Např. ve Windows/x86_64 je long double stejný jako double, tj. 64-bitový; demo [4].
[1] https://gitlab.com/x86-psABIs/x86-64-ABI
[2] https://port70.net/%7Ensz/c/c11/n1570.html#6.2.5p10
[3] https://timsong-cpp.github.io/cppwp/n4950/basic.fundamental#12
[4] https://godbolt.org/z/K8YMaKfhz -
Pavel TišnovskýZlatý podporovatel
no právě. V tom céčku to ještě většinou půjde, ale třeba Java nebo Go nativně 80bitové FP nepodporují, takže se to dá nějak řešit jen oklikou (přes JNI atd.)
