From 2246044e99569fcf1c2172f0e710134123be8b49 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 8 Sep 2015 10:44:34 +0200
Subject: Added builtin for isel.

The builtin_isel function takes a _Bool as first argument and returns
either the second or the third depending on the value of the _Bool.
---
 powerpc/CBuiltins.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'powerpc/CBuiltins.ml')

diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml
index 6d7b2aff..e219a175 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -115,7 +115,10 @@ let builtins = {
     "__builtin_call_frame",
       (TPtr (TVoid [],[]),[],false);
     "__builtin_return_address",
-      (TPtr (TVoid [],[]),[],false)
+      (TPtr (TVoid [],[]),[],false);
+    (* isel *)
+    "__builtin_isel",
+      (TInt (IInt, []),[TInt(IInt, []);TInt(IInt, []);TInt(IInt, [])],false)
   ]
 }
 
-- 
cgit