From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 21 Oct 2018 13:33:12 +0000 (+0100)
Subject: add walkthrough polymorphism
X-Git-Tag: convert-csv-opcode-to-binary~4898
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f1cd8dab83ad07aacb1a59c39bc3b74e60ac73e8;p=libreriscv.git

add walkthrough polymorphism
---

diff --git a/simple_v_extension/specification.mdwn b/simple_v_extension/specification.mdwn
index 68effb7e4..f9c687fa0 100644
--- a/simple_v_extension/specification.mdwn
+++ b/simple_v_extension/specification.mdwn
@@ -1447,6 +1447,16 @@ Example SIMD micro-architectural implementation:
 This requires a read on rd, however this is required anyway in order
 to support non-zeroing mode.
 
+## Specific instruction walk-throughs
+
+This section covers walk-throughs of the above-outlined procedure
+for converting standard RISC-V scalar arithmetic operations to
+polymorphic widths, to ensure that it is correct.
+
+### add
+
+TODO
+
 # Exceptions
 
 TODO: expand.  Exceptions may occur at any time, in any given underlying