backend/Selection.v · 4c8a550fae641115170e4fc9c1b1292834e0c6c0 · CertiCompil / CompCert-KVX · GitLab

Snippets Groups Projects

"README.md" did not exist on "ef825dc4bb6370a2a974e94134d2c342cd3cf2df"

16 years ago
4c8a550f
Flag to turn on/off the recognition of fused multiply-add and multiply-sub · 4c8a550f
xleroy authored 16 years ago
```
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@706 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
```
4c8a550f

History
Flag to turn on/off the recognition of fused multiply-add and multiply-sub
xleroy authored 16 years ago
```
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@706 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
```