From 616f796999a47aa12aa60b0dc39274dd4fe7a2ca Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Wed, 30 May 2018 17:41:25 +0200
Subject: WIP - Trying to add builtins support. They are not detected for now
 :(

---
 mppa_k1c/CBuiltins.ml | 31 ++++++++++++++++++-------------
 1 file changed, 18 insertions(+), 13 deletions(-)

(limited to 'mppa_k1c/CBuiltins.ml')

diff --git a/mppa_k1c/CBuiltins.ml b/mppa_k1c/CBuiltins.ml
index 0c981d11..b478f9b3 100644
--- a/mppa_k1c/CBuiltins.ml
+++ b/mppa_k1c/CBuiltins.ml
@@ -22,34 +22,39 @@ let builtins = {
     "__builtin_va_list", TPtr(TVoid [], [])
   ];
   Builtins.functions = [
+    "__builtin_clzll",
+      (TInt(IInt, []), 
+      [TInt(IULongLong, [])], false);
+    "__builtin_k1_stsud",
+      (TInt(IULongLong, []), 
+      [TInt(IULongLong, []); TInt(IULongLong, [])], false);
     (* Synchronization *)
-    "__builtin_fence",
+(*  "__builtin_fence",
       (TVoid [], [], false);
     (* Integer arithmetic *)
     "__builtin_bswap64",
-      (TInt(IULongLong, []), [TInt(IULongLong, [])], false);
+      (TInt(IULongLong, []), 
+       [TInt(IULongLong, [])], false);
     (* Float arithmetic *)
     "__builtin_fmadd",
       (TFloat(FDouble, []),
-       [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])],
-       false);
+       [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], false);
     "__builtin_fmsub",
       (TFloat(FDouble, []),
-       [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])],
-       false);
+       [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], false);
     "__builtin_fnmadd",
       (TFloat(FDouble, []),
-       [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])],
-       false);
+       [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], false);
     "__builtin_fnmsub",
       (TFloat(FDouble, []),
-       [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])],
-       false);
+       [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], false);
     "__builtin_fmax",
-      (TFloat(FDouble, []), [TFloat(FDouble, []); TFloat(FDouble, [])], false);
+      (TFloat(FDouble, []),
+       [TFloat(FDouble, []); TFloat(FDouble, [])], false);
     "__builtin_fmin",
-      (TFloat(FDouble, []), [TFloat(FDouble, []); TFloat(FDouble, [])], false);
-  ]
+      (TFloat(FDouble, []),
+       [TFloat(FDouble, []); TFloat(FDouble, [])], false);
+*)]
 }
 
 let va_list_type = TPtr(TVoid [], [])  (* to check! *)
-- 
cgit