diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-12-03 20:04:46 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-12-03 20:04:46 +0100 |
| commit | 48dc03004ba4078670b583561b108043085334b8 (patch) | |
| tree | a72314b395b026a35b5b2a2944c1c40fb9af63f2 /kvx/SelectOp.vp | |
| parent | 8bb9da5166ff1a07d325cd378b977d5d6bf3105a (diff) | |
| download | compcert-kvx-48dc03004ba4078670b583561b108043085334b8.tar.gz compcert-kvx-48dc03004ba4078670b583561b108043085334b8.zip | |
some fixes for KVX
Diffstat (limited to 'kvx/SelectOp.vp')
| -rw-r--r-- | kvx/SelectOp.vp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kvx/SelectOp.vp b/kvx/SelectOp.vp index 65dba3ac..aa241c1e 100644 --- a/kvx/SelectOp.vp +++ b/kvx/SelectOp.vp @@ -704,7 +704,6 @@ Definition platform_builtin (b: platform_builtin) (args: exprlist) : option expr | BI_fmax => Some (Eop Omaxf args) | BI_fminf => Some (Eop Ominfs args) | BI_fmaxf => Some (Eop Omaxfs args) - | BI_fabsf => Some (Eop Oabsfs args) | BI_fma => gen_fma args | BI_fmaf => gen_fmaf args end. |