Re: [PATCH 0/3] ARM with only 32-bit floats do not have fast 64-bit FMA

Keith Packard via Newlib <[email protected]>
Newsgroups gmane.comp.lib.newlib
Message-ID <[email protected]>
Brian Inglis <[email protected]> writes:

> Can't the "super-smart" compiler use that information to work around your
> careful approach by conditionally skipping the FMA and conditionally return just
> z, or even unconditionally return z, as C makes no guarantees?
> And couldn't the "super-smart" instruction scheduler do similar at the hardware
> level?

I don't think that would be in conformance with the C specification
which says that arithmetic follows IEC 60559 that defines the various
exceptions and results. Now, if you enable -ffast-math, all bets are off...

-- 
-keith
signature.asc (application/pgp-signature, 832 B)
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEw4O3eCVWE9/bQJ2R2yIaaQAAABEFAl9Wsu4ACgkQ2yIaaQAA
ABEKAg/9HScYXQeNkhxLAidLlRKBG3R71/Kc33PdZAlsvCIwY9/Q6Nj25HzusqkP
qnJRxnT/hmu1JqbgNueNE9/clxLatRwxIMP90UG2ZXzSwq4HsX9keO0wWXRK+6y3
ldnvbukC9wo/1ZTu1dh7mxWjvuIWlDPmJsXqPhbetdWAuEItXbOvMGUig4x9YE1w
L9dlNXrgFIOMreJaYQq5a1kY+TwBxhITwVHurzFgFIV1RZt4mZgMa289sqPYIMzA
DXXKeTFg2seoOvWLdVzVLgT1GaV2/Ge0rSJX09vW0xGc09JEGe7hace1s4cUz1nB
CwEWgyPUBQaYBzkComPG/5K5JlvFlFuqU8lwWP1cVA0/Cisy+EuLy/7mJzFjrVxa
rQfRYCmd+Lb3gV62XJZ4m+pvcTPnkwKKTPZZU2c73lslGbQ+OwGsnBJX4d12IfjX
3dflNOpAFtk8Ey7fvWMGKgDL5orxwSJI27B7lWhMvFQdfo/R08uKK54+6Wz/C4or
MLw2ZJXVb3ZTb2mGnRK6+03IjbZTDJ107CGe5mgwSmfpI5+ROmKhFHGM4yUdFiRP
CQfdT9qZxMG+/qz4Qg4Ez6MdO8N7ygYza6vq6egvApLVD0vq9y3GCJu9+mavp+WG
tWeXF5iUWRtSFnowBANpLSkOz7Z7PR2//kdg51CLA6q4t0hHLMw=
=AXNd
-----END PGP SIGNATURE-----
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.