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/regression/Results | |
| 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/regression/Results')
| -rw-r--r-- | test/regression/Results/builtins-common | 3 |
1 files changed, 3 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 |