From 90493ef36faa2925dbb107a994a57f010424fcbd Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 2 Feb 2021 18:25:47 +0100
Subject: fix code generation for select(b, r, r)

---
 riscV/Asmexpand.ml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'riscV/Asmexpand.ml')

diff --git a/riscV/Asmexpand.ml b/riscV/Asmexpand.ml
index 14407bba..c5cd6817 100644
--- a/riscV/Asmexpand.ml
+++ b/riscV/Asmexpand.ml
@@ -591,8 +591,13 @@ let expand_instruction instr =
      else
        if ireg0_eq rt rf then
          begin
-           if not (ireg0_eq (X rd) rt) then
-             emit (Paddil(rd, rt, Int64.zero))
+           if ireg0_eq (X rd) rt then
+             begin
+             end
+           else
+             begin
+               emit (Paddl(rd, X0, rt))
+             end
          end
        else
          if (ireg0_eq (X rd) rt) then
-- 
cgit