From: lkcl <lkcl@web>
Date: Wed, 2 Oct 2019 13:31:12 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3922
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b53a2c1fe1dd5921abdb53fcddcd12d7b0df7d14;p=libreriscv.git

---

diff --git a/simple_v_extension/specification/bitmanip.mdwn b/simple_v_extension/specification/bitmanip.mdwn
index 3f0b60dbf..0a572b7be 100644
--- a/simple_v_extension/specification/bitmanip.mdwn
+++ b/simple_v_extension/specification/bitmanip.mdwn
@@ -143,6 +143,9 @@ Pseudo-code:
         setting_mode = rs2 == x0 or (regs[rs2] & 1)
         while i < XLEN:
             bit = 1<<i
+            if rs2 != x0 and (regs[rs2] & bit):
+                # reset searching
+                setting_mode = False
             if setting_mode:
                 if regs[rs1] & bit: # found a bit in rs1: stop setting rd
                     setting_mode = False
@@ -182,6 +185,9 @@ Pseudo-code:
         setting_mode = rs2 == x0 or (regs[rs2] & 1)
         while i < XLEN:
             bit = 1<<i
+            if rs2 != x0 and (regs[rs2] & bit):
+                # reset searching
+                setting_mode = False
             if setting_mode:
                 regs[rd] |= bit
                 if regs[rs1] & bit: # found a bit in rs1: stop setting rd