From 2dca62f38463b0ebce24fff50666c846df50488e Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 3 Apr 2019 20:19:24 +0200
Subject: attempts at generating builtins, start

---
 cfrontend/C2C.ml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'cfrontend/C2C.ml')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index bd9b7487..1ab38a2b 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -154,6 +154,10 @@ let ais_annot_functions =
   else
     []
 
+let builtin_ternary suffix typ =
+  ("__builtin_ternary_" ^ suffix),
+  (typ, [TInt(IInt, []); typ; typ], false);;
+  
 let builtins_generic = {
   Builtins.typedefs = [];
   Builtins.functions =
@@ -180,7 +184,10 @@ let builtins_generic = {
             TPtr(TVoid [AConst], []);
             TInt(IULong, []);
             TInt(IULong, [])],
-          false);
+           false);
+    (* Ternary operator *)
+    builtin_ternary "uint" (TInt(IUInt, []));
+	    
     (* Annotations *)
     "__builtin_annot",
         (TVoid [],
-- 
cgit