diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-07-25 10:37:05 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-07-27 16:29:38 +0200 |
| commit | 465f6b4120bb38d2ef2871de4972df92ee935ed6 (patch) | |
| tree | 1b012cd6a662c0f6b21c8dc2be0ac0bb4a0ee49a /cfrontend | |
| parent | 907a9042ffb8d21fece6fc8e663ce23d32aa8fa1 (diff) | |
| download | compcert-kvx-465f6b4120bb38d2ef2871de4972df92ee935ed6.tar.gz compcert-kvx-465f6b4120bb38d2ef2871de4972df92ee935ed6.zip | |
No need to process __builtin_fabs in $ARCH/Asmexpand.ml
__builtin_fabs has already been expanded in backend/Selection.v .
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions