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 /cparser | |
| parent | 77ce8ba291afa9f5629a160df440f9af6614f3ef (diff) | |
| download | compcert-kvx-896310e89fd1e527d0fcf8162c50577db702fc13.tar.gz compcert-kvx-896310e89fd1e527d0fcf8162c50577db702fc13.zip | |
Add test for __builtin_sqrt and __builtin_fabsf
Diffstat (limited to 'cparser')
0 files changed, 0 insertions, 0 deletions