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 /test/regression/Results | |
| 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 'test/regression/Results')
| -rw-r--r-- | test/regression/Results/builtins-powerpc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regression/Results/builtins-powerpc b/test/regression/Results/builtins-powerpc index ac4240a8..0fd07f69 100644 --- a/test/regression/Results/builtins-powerpc +++ b/test/regression/Results/builtins-powerpc @@ -8,8 +8,8 @@ fmsub(3.141590, 2.718000, 1.414000) = 7.124842 fabs(3.141590) = 3.141590 fabs(-3.141590) = 3.141590 fsqrt(3.141590) = 1.772453 -frsqrte(3.141590) = 0.564198 -fres(3.141590) = 0.318311 +frsqrte(3.141590) = OK +fres(3.141590) = OK fsel(3.141590, 2.718000, 1.414000) = 2.718000 fsel(-3.141590, 2.718000, 1.414000) = 1.414000 fcti(3.141590) = 3 |