From: lkcl <lkcl@web>
Date: Tue, 22 Dec 2020 18:39:34 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~1034
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dddfb8b39aa1f331c83e47c9677f0a4b784f9288;p=libreriscv.git

---

diff --git a/openpower/sv/vector_ops.mdwn b/openpower/sv/vector_ops.mdwn
index 6a80ee3b8..b00b85eea 100644
--- a/openpower/sv/vector_ops.mdwn
+++ b/openpower/sv/vector_ops.mdwn
@@ -18,7 +18,7 @@ Links:
 
 ## conflictd
 
-This is based on the AVX512 conflict detection instruction.  Internally the logic is used to detect address conflicts in LD/ST operations.  Two arrays of indices are given.
+This is based on the AVX512 conflict detection instruction.  Internally the logic is used to detect address conflicts in multi-issue LD/ST operations.  Two arrays of values are given: the indices are compared and duplicates reported in a triangular fashion
 
     input = [100, 100,   3, 100,   5, 100, 100,   3]
     conflict result = [
@@ -32,6 +32,13 @@ This is based on the AVX512 conflict detection instruction.  Internally the logi
          0b00000100     // 3 is present on #2
     ]
 
+Pseudocode:
+
+    for i in range(VL):
+        for j in range(1, i):
+            if src1[i] == src2[j]:
+                result[j] |= 1<<i
+
 ## iota
 
 Based on RVV vmiota.  vmiota may be viewed as a cumulative variant of cntlz, where instead of stopping at the first zero with a count to produce a single scalar result, the process continues on, producing another element at the next encounter of a 1.