diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-07-07 17:29:12 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-07-17 09:16:00 +0200 |
| commit | dc5dc1da4cfa10647d13f393b6685f962b9b9faa (patch) | |
| tree | 0a1dca02bca179e8ce5471b5efb60f7b596ad768 /x86_64 | |
| parent | 1574cf218bba4372be01c3e4f75e356fadf6f118 (diff) | |
| download | compcert-kvx-dc5dc1da4cfa10647d13f393b6685f962b9b9faa.tar.gz compcert-kvx-dc5dc1da4cfa10647d13f393b6685f962b9b9faa.zip | |
Add FMA (fused multiply-add)
Cherry-pick of the following commit on upstream Flocq:
https://gitlab.inria.fr/flocq/flocq/commit/28cc6ee3a278878f3df002aab64a6b93e9412d34
Diffstat (limited to 'x86_64')
0 files changed, 0 insertions, 0 deletions