(no commit message)

diff --git a/openpower/sv/rfc/ls007.mdwn b/openpower/sv/rfc/ls007.mdwn
index a38560e530c4d58cb2bed0a257b2ac407d33ecbb..e6f215c7584fdd8172bab7fe29eee4719984e710 100644 (file)
--- a/openpower/sv/rfc/ls007.mdwn
+++ b/openpower/sv/rfc/ls007.mdwn
@@ -177,6 +177,19 @@ Add this section to Book I 3.3.13
 Pseudocode:
 
 ```
+src1 <- VSR[32xAX+A]
+src2 <- VSR[32xBX+B]
+src3 <- VSR[32xCX+C]
+result <- (~src1&~src2&~src3 & qword_bit_splat(IMM.bit[0]) |
+         (~src1&~src2& src3 & qword_bit_splat(IMM.bit[1]) |
+         (~src1& src2&~src3 & qword_bit_splat(IMM.bit[2]) |
+         (~src1& src2& src3 & qword_bit_splat(IMM.bit[3]) |
+         ( src1&~src2&~src3 & qword_bit_splat(IMM.bit[4]) |
+         ( src1&~src2& src3 & qword_bit_splat(IMM.bit[5]) |
+         ( src1& src2&~src3 & qword_bit_splat(IMM.bit[6]) |
+         ( src1& src2& src3 & qword_bit_splat(IMM.bit[7])
+VSR[32xTX+T] â\86\90 result
+
 result <- [0] * 64
 do i = 0 to 63
     idx <- (RT)[i] || (RA)[i] || (RB)[i]  # compute index from current bits