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 .
---
 arm/Asmexpand.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'arm')

diff --git a/arm/Asmexpand.ml b/arm/Asmexpand.ml
index 89aab5c7..e1e72dbc 100644
--- a/arm/Asmexpand.ml
+++ b/arm/Asmexpand.ml
@@ -349,8 +349,6 @@ let expand_builtin_inline name args res =
      emit (Prsb(res, res, SOimm _32));
      emit (Plabel lbl2)
   (* Float arithmetic *)
-  | "__builtin_fabs",  [BA(FR a1)], BR(FR res) ->
-     emit (Pfabsd (res,a1))
   | "__builtin_fsqrt", [BA(FR a1)], BR(FR res) ->
      emit (Pfsqrt (res,a1))
   (* 64-bit integer arithmetic *)
-- 
cgit