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/Asmexpand.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'powerpc/Asmexpand.ml')

diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml
index 929e6325..3fffc037 100644
--- a/powerpc/Asmexpand.ml
+++ b/powerpc/Asmexpand.ml
@@ -483,6 +483,10 @@ let expand_builtin_inline name args res =
         emit (Plwz(res, Cint ofs, GPR1))
   | "__builtin_return_address",_,BR (IR res) ->
       emit (Plwz (res, Cint! retaddr_offset,GPR1))
+  (* isel *)
+  | "__builtin_isel", [BA (IR a1); BA (IR a2); BA (IR a3)],BR (IR res) ->
+      emit (Pcmpwi (a1,Cint (Int.zero)));
+      emit (Pisel (res,a3,a2,CRbit_2))
   (* Catch-all *)
   | _ ->
       raise (Error ("unrecognized builtin " ^ name))
-- 
cgit