diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-07-25 17:13:05 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-07-27 16:30:28 +0200 |
commit | 70f105e623dddeb27be258fedb56bd0e9a59d190 (patch) | |
tree | 4c6130620108ec3b2d42f476986fe2896f0dae4a /test/regression/Results/builtins-riscV | |
parent | bc20d7c0d16d07790fb6eb608bf608237b0abbc3 (diff) | |
download | compcert-70f105e623dddeb27be258fedb56bd0e9a59d190.tar.gz compcert-70f105e623dddeb27be258fedb56bd0e9a59d190.zip |
Refactor regression testing of built-in functions
Share the testing code for built-in functions that are available on
all target platforms.
Improve testing of __builtin_clz* and __builtin_ctz*
Diffstat (limited to 'test/regression/Results/builtins-riscV')
-rw-r--r-- | test/regression/Results/builtins-riscV | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/test/regression/Results/builtins-riscV b/test/regression/Results/builtins-riscV index 1576b252..a14b7677 100644 --- a/test/regression/Results/builtins-riscV +++ b/test/regression/Results/builtins-riscV @@ -1,12 +1,6 @@ -bswap16(1234) = 3412 -bswap32(12345678) = 78563412 -bswap64(123456789abcdef0) = f0debc9a78563412 fmadd(3.141590, 2.718000, 1.414000) = 9.952842 fmsub(3.141590, 2.718000, 1.414000) = 7.124842 fnmadd(3.141590, 2.718000, 1.414000) = -9.952842 fnmsub(3.141590, 2.718000, 1.414000) = -7.124842 -fabs(3.141590) = 3.141590 -fabs(-3.141590) = 3.141590 -fsqrt(3.141590) = 1.772453 fmax(3.141590, 2.718000) = 3.141590 fmin(3.141590, 2.718000) = 2.718000 |