From 3fb4ee15ed74c55923fe702a130d77120a471ca3 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 2 May 2010 07:40:56 +0000
Subject: Add "fabs" (floating-point absolute value) as a unary operator in
 Clight and C#minor.  Recognize __builtin_fabs and turn it into this operator.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1329 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 powerpc/CBuiltins.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'powerpc/CBuiltins.ml')

diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml
index da64b565..e054e18c 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -37,8 +37,6 @@ let builtins = {
       (TFloat(FDouble, []), 
        [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])],
        false);
-    "__builtin_fabs",
-      (TFloat(FDouble, []), [TFloat(FDouble, [])], false);
     "__builtin_fsqrt",
       (TFloat(FDouble, []), [TFloat(FDouble, [])], false);
     "__builtin_frsqrte",
-- 
cgit