From c42707362b99da19cc7a3f2496d9620dcc0dfa62 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 26 Sep 2017 10:51:00 +0200
Subject: Moved common buitlins to C2C gernic_builtins.

---
 arm/CBuiltins.ml | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'arm/CBuiltins.ml')

diff --git a/arm/CBuiltins.ml b/arm/CBuiltins.ml
index 2015607a..ec4f4aaa 100644
--- a/arm/CBuiltins.ml
+++ b/arm/CBuiltins.ml
@@ -23,12 +23,6 @@ let builtins = {
   ];
   Builtins.functions = [
     (* Integer arithmetic *)
-    "__builtin_bswap",
-      (TInt(IUInt, []), [TInt(IUInt, [])], false);
-    "__builtin_bswap32",
-      (TInt(IUInt, []), [TInt(IUInt, [])], false);
-    "__builtin_bswap16",
-      (TInt(IUShort, []), [TInt(IUShort, [])], false);
     "__builtin_clz",
       (TInt(IInt, []), [TInt(IUInt, [])], false);
     "__builtin_clzl",
@@ -41,9 +35,6 @@ let builtins = {
       (TInt(IInt, []), [TInt(IULong, [])], false);
     "__builtin_ctzll",
       (TInt(IInt, []), [TInt(IULongLong, [])], false);
-    (* Float arithmetic *)
-    "__builtin_fsqrt",
-      (TFloat(FDouble, []), [TFloat(FDouble, [])], false);
     (* Memory accesses *)
     "__builtin_read16_reversed",
       (TInt(IUShort, []), [TPtr(TInt(IUShort, [AConst]), [])], false);
-- 
cgit