1 files changed, 14 insertions, 1 deletions
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));