diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-07-08 12:01:30 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-07-08 12:01:30 +0200 |
commit | ab1ddcd0d579d7e5760c6cfa84adbd55212c47e7 (patch) | |
tree | 207e3b1e59da7247d95d28d6ffdd6f4e93bdfc4c /cparser/Elab.ml | |
parent | 4148ee08387bf953bdbe69f7668597ec0bcccc29 (diff) | |
download | compcert-ab1ddcd0d579d7e5760c6cfa84adbd55212c47e7.tar.gz compcert-ab1ddcd0d579d7e5760c6cfa84adbd55212c47e7.zip |
More portable test for fres and fsqrte.
These instructions are approximate and produce different results on different processors. Just check the error bounds specified in the PPC ISA.
Diffstat (limited to 'cparser/Elab.ml')
0 files changed, 0 insertions, 0 deletions