From 48dc03004ba4078670b583561b108043085334b8 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 3 Dec 2020 20:04:46 +0100
Subject: some fixes for KVX

---
 kvx/SelectOp.vp | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kvx/SelectOp.vp')

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.
-- 
cgit