From dd998d14a710196e26d557999115031ae1b8f040 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 11 Apr 2018 20:01:20 +0100
Subject: [PATCH] add fp vector equiv table

---
 simple_v_extension.mdwn | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

diff --git a/simple_v_extension.mdwn b/simple_v_extension.mdwn
index 0c90a9978..19f39487b 100644
--- a/simple_v_extension.mdwn
+++ b/simple_v_extension.mdwn
@@ -799,10 +799,10 @@ Table of RV32V Instructions
 | VAND       |     | AND |
 | VOR        |     | OR |
 | VXOR       |     | XOR |
-| VSEQ       |     | |
-| VSNE       |     | |
-| VSLT       |     | |
-| VSGE       |     | |
+| VSEQ       | FEQ | BEQ |
+| VSNE       | !FEQ | BNE |
+| VSLT       | FLT    | BLT |
+| VSGE       | !FLE | BGE |
 | VCLIP      |     | |
 | VCVT       |     | |
 | VMPOP      |     | |
@@ -824,21 +824,21 @@ Table of RV32V Instructions
 | VSQRT      | FSQRT    | |
 | VCLASS     |     | |
 | VPOPC      |     | |
-| VADDI      |     | |
-| VSLI       |     | |
-| VSRI       |     | |
-| VANDI      |     | |
-| VORI       |     | |
-| VXORI      |     | |
+| VADDI      |     | ADDI |
+| VSLI       |     | SLI |
+| VSRI       |     | SRI |
+| VANDI      |     | ANDI |
+| VORI       |     | ORI |
+| VXORI      |     | XORI |
 | VCLIPI     |     | |
 | VMADD      | FMADD    | |
 | VMSUB      | FMSUB    | |
 | VNMADD     | FNMSUB    | |
 | VNMSUB     | FNMADD    | |
-| VLD        | FLD    | |
-| VLDS       |     | |
-| VLDX       |     | |
-| VST        | FST    | |
+| VLD        | FLD    | LD |
+| VLDS       |     | LW |
+| VLDX       |     | LWU |
+| VST        | FST    | ST |
 | VSTS       |     | |
 | VSTX       |     | |
 | VAMOSWAP   |     | AMOSWAP |
-- 
2.30.2