From f1cd8dab83ad07aacb1a59c39bc3b74e60ac73e8 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 21 Oct 2018 14:33:12 +0100
Subject: [PATCH] add walkthrough polymorphism

---
 simple_v_extension/specification.mdwn | 10 ++++++++++
 1 file changed, 10 insertions(+)

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
-- 
2.30.2