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

---

diff --git a/simple_v_extension/specification/bitmanip.mdwn b/simple_v_extension/specification/bitmanip.mdwn
index 0e741c3c9..23925483e 100644
--- a/simple_v_extension/specification/bitmanip.mdwn
+++ b/simple_v_extension/specification/bitmanip.mdwn
@@ -158,6 +158,22 @@ Pseudo-code:
                        sif a2, a3, a0
      1 1 x x x x 1 1   a2 contents
 
+Pseudo-code:
+
+    def sbf(rd, rs1, rs2):
+        rd = 0
+        setting_mode = rs2 == x0 or (regs[rs2] & 1)
+        while i < XLEN:
+            bit = 1<<i
+            if setting_mode:
+                regs[rd] |= bit
+                if regs[rs1] & bit: # found a bit in rs1: stop setting rd
+                    setting_mode = False
+            else if rs2 != x0: # searching mode
+                if (regs[rs2] & bit):
+                    setting_mode = True # back into "setting" mode
+            i += 1
+
 ## sof - set only first bit
 
      # Example