From 465f6b4120bb38d2ef2871de4972df92ee935ed6 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Sat, 25 Jul 2020 10:37:05 +0200
Subject: No need to process __builtin_fabs in $ARCH/Asmexpand.ml

__builtin_fabs has already been expanded in backend/Selection.v .
---
 x86/Asmexpand.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'x86')

diff --git a/x86/Asmexpand.ml b/x86/Asmexpand.ml
index b8353046..e4cf028f 100644
--- a/x86/Asmexpand.ml
+++ b/x86/Asmexpand.ml
@@ -378,10 +378,6 @@ let expand_builtin_inline name args res =
      emit (Paddl_ri(res, coqint_of_camlint 32l));
      emit (Plabel lbl2)
   (* Float arithmetic *)
-  | "__builtin_fabs", [BA(FR a1)], BR(FR res) ->
-     if a1 <> res then
-       emit (Pmovsd_ff (res,a1));
-     emit (Pabsd res) (* This ensures that need_masks is set to true *)
   | "__builtin_fsqrt", [BA(FR a1)], BR(FR res) ->
      emit (Psqrtsd (res,a1))
   | "__builtin_fmax", [BA(FR a1); BA(FR a2)], BR(FR res) ->
-- 
cgit