From d2159e300b2d5e017a3144c747d34949b2ff2769 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 2 Feb 2021 10:21:17 +0100
Subject: begin implementing select

---
 riscV/Asmexpand.ml | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

(limited to 'riscV/Asmexpand.ml')

diff --git a/riscV/Asmexpand.ml b/riscV/Asmexpand.ml
index 810514a3..9dd8cac9 100644
--- a/riscV/Asmexpand.ml
+++ b/riscV/Asmexpand.ml
@@ -582,9 +582,22 @@ let expand_builtin_inline name args res =
      raise (Error ("unrecognized builtin " ^ name))
 
 (* Expansion of instructions *)
-
+                                 
 let expand_instruction instr =
   match instr with
+  | Pselectl(rd, rb, rt, rf) ->
+      if not (ireg0_eq rt rf)
+      then
+        if (ireg0_eq (X rd) rt) || (ireg0_eq (X rd) rf)
+        then failwith "Pselectl"
+        else
+          begin
+            emit (Psubl(X31, X0, rb));
+            emit (Paddil(rd, rb, Int64.mone));
+            emit (Pandl(X31, X X31, rt));
+            emit (Pandl(rd, X rd, rf));
+            emit (Porl(rd, X rd, X X31))
+          end
   | Pallocframe (sz, ofs) ->
       let sg = get_current_function_sig() in
       emit (Pmv (X30, X2));
-- 
cgit