From a7f005b94a1dac82ac106950f643507a268ff1c9 Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Wed, 9 Dec 2015 14:02:13 +0100
Subject: bug 17752, add builtin_uisel as unsigned version of builtin_isel

---
 powerpc/CBuiltins.ml | 3 +++
 1 file changed, 3 insertions(+)
 mode change 100644 => 100755 powerpc/CBuiltins.ml

(limited to 'powerpc/CBuiltins.ml')

diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml
old mode 100644
new mode 100755
index 106ba4d0..6efeff17
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -119,6 +119,9 @@ let builtins = {
     (* isel *)
     "__builtin_isel",
       (TInt (IInt, []),[TInt(IBool, []);TInt(IInt, []);TInt(IInt, [])],false);
+    (* uisel *)
+    "__builtin_uisel",
+      (TInt (IUInt, []),[TInt(IBool, []);TInt(IUInt, []);TInt(IUInt, [])],false);
     (* atomic operations *)
     "__builtin_atomic_exchange",
       (TVoid [], [TPtr (TInt(IInt, []),[]);TPtr (TInt(IInt, []),[]);TPtr (TInt(IInt, []),[])],false);
-- 
cgit