From bb21bf75cf4da2d086ca916f66fb02c60d4bd3dd Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Tue, 8 Dec 2020 17:26:34 +0000
Subject: [PATCH]

---
 openpower/sv/av_opcodes.mdwn | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/openpower/sv/av_opcodes.mdwn b/openpower/sv/av_opcodes.mdwn
index 8b0deb4e0..d323819d3 100644
--- a/openpower/sv/av_opcodes.mdwn
+++ b/openpower/sv/av_opcodes.mdwn
@@ -18,7 +18,14 @@ TODO
 
 vpkpx is a 32-bit to 16-bit 8888 into 1555 conversion
 
+SV notes:
 
+a single 32-bit to 16-bit operation should suffice, fitting cleanly into one single scalar op:
+
+    dest[0]     = src[7]
+    dest[1 : 5] = src[8 :12]
+    dest[6 :10] = src[16:20]
+    dest[11:15] = src[24:28]
 
 ### vpks[*][*]s
 
-- 
2.30.2