diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-07-27 16:41:56 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-07-27 17:06:34 +0200 |
| commit | 896310e89fd1e527d0fcf8162c50577db702fc13 (patch) | |
| tree | 0d1273e0968bf520e3cff483a3484033d20e3acf /test | |
| parent | 77ce8ba291afa9f5629a160df440f9af6614f3ef (diff) | |
| download | compcert-kvx-896310e89fd1e527d0fcf8162c50577db702fc13.tar.gz compcert-kvx-896310e89fd1e527d0fcf8162c50577db702fc13.zip | |
Add test for __builtin_sqrt and __builtin_fabsf
Diffstat (limited to 'test')
| -rw-r--r-- | test/regression/Results/builtins-common | 3 | ||||
| -rw-r--r-- | test/regression/builtins-common.c | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/test/regression/Results/builtins-common b/test/regression/Results/builtins-common index a40dc907..8adf7bfb 100644 --- a/test/regression/Results/builtins-common +++ b/test/regression/Results/builtins-common @@ -387,4 +387,7 @@ ctzll(8000000000000000) = 63 ctzll(8000000000000000) = 63 fabs(3.141590) = 3.141590 fabs(-3.141590) = 3.141590 +fabsf(7.250000) = 7.250000 +fabsf(-7.250000) = 7.250000 fsqrt(3.141590) = 1.772453 +sqrt(3.141590) = 1.772453 diff --git a/test/regression/builtins-common.c b/test/regression/builtins-common.c index 7d975f0a..51d0584e 100644 --- a/test/regression/builtins-common.c +++ b/test/regression/builtins-common.c @@ -8,6 +8,7 @@ unsigned long long xx = 0x123456789ABCDEF0ULL; double a = 3.14159; double b = 2.718; double c = 1.414; +float f = 7.25; unsigned short s = 0x1234; int main(int argc, char ** argv) @@ -41,7 +42,10 @@ int main(int argc, char ** argv) } printf("fabs(%f) = %f\n", a, __builtin_fabs(a)); printf("fabs(%f) = %f\n", -a, __builtin_fabs(-a)); + printf("fabsf(%f) = %f\n", f, __builtin_fabsf(f)); + printf("fabsf(%f) = %f\n", -f, __builtin_fabsf(-f)); printf("fsqrt(%f) = %f\n", a, __builtin_fsqrt(a)); + printf("sqrt(%f) = %f\n", a, __builtin_sqrt(a)); /* Make sure that ignoring the result of a builtin doesn't cause an internal error */ |