From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 9 Jan 2024 12:16:14 +0000 (+0000)
Subject: bug 1244: add power isa v3.1 vstribr pseudocode
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d8ff6de9617c2a3a790a1cb387dd277b46703a23;p=libreriscv.git

bug 1244: add power isa v3.1 vstribr pseudocode
---

diff --git a/conferences/fosdem2024/fosdem2024_ddffirst/vstribr.txt b/conferences/fosdem2024/fosdem2024_ddffirst/vstribr.txt
new file mode 100644
index 000000000..8d35843d1
--- /dev/null
+++ b/conferences/fosdem2024/fosdem2024_ddffirst/vstribr.txt
@@ -0,0 +1,11 @@
+null_found <- 0
+while(!null_found) do i = 0 to 15
+    null_found <- (VSR[VRB+32].byte[15-i]=0)
+   VSR[VRT+32].byte[15-i] <- VSR[VRB+32].byte[1
+end
+do j = i to 15
+    VSR[VRT+32].byte[15-j] <- 0
+end
+if Rc=1 then
+    CR.field[6] <- 0b00 || null_found || 0b0
+