From: programmerjake <programmerjake@web>
Date: Thu, 27 Jun 2019 22:34:30 +0000 (+0100)
Subject: add headers
X-Git-Tag: convert-csv-opcode-to-binary~4372
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cce5767caa29f79ab15b6c322ce67fbbcc29250a;p=libreriscv.git

add headers
---

diff --git a/simple_v_extension/specification/sv.setvl.mdwn b/simple_v_extension/specification/sv.setvl.mdwn
index b9a1730e2..bc237bf5b 100644
--- a/simple_v_extension/specification/sv.setvl.mdwn
+++ b/simple_v_extension/specification/sv.setvl.mdwn
@@ -58,6 +58,8 @@ notes:
 * the above 4 fit into the "rs2 == x0" case, leaving "rs2 != x0" for
   brownfield encodings.
 
+# original encoding
+
 The encoding I (programmerjake) was planning on using is:
 
 | 31|30   20|19    15|14   12|11 7|6     0| name       |
@@ -69,7 +71,7 @@ The encoding I (programmerjake) was planning on using is:
 It leaves space for future expansion to RV128 and/or multi-register predicates.
 
 
-pseudocode:
+# pseudocode
 
     regs = [0u64; 128];
     vl = 0;