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 (file)
index 0000000..8d35843
--- /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
+