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

(limited to 'aarch64')

diff --git a/aarch64/Asmexpand.ml b/aarch64/Asmexpand.ml
index 471ad501..dcb2d1aa 100644
--- a/aarch64/Asmexpand.ml
+++ b/aarch64/Asmexpand.ml
@@ -347,8 +347,6 @@ let expand_builtin_inline name args res =
   | ("__builtin_clsl" | "__builtin_clsll"),  [BA(IR a1)], BR(IR res) ->
      emit (Pcls(X, res, a1))
  (* Float arithmetic *)
-  | "__builtin_fabs",  [BA(FR a1)], BR(FR res) ->
-     emit (Pfabs(D, res, a1))
   | "__builtin_fsqrt",  [BA(FR a1)], BR(FR res) ->
      emit (Pfsqrt(D, res, a1))
   | "__builtin_fmadd", [BA(FR a1); BA(FR a2); BA(FR a3)], BR(FR res) ->
-- 
cgit