From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 24 Sep 2018 15:40:34 +0000 (+0100)
Subject: corrections to table
X-Git-Tag: convert-csv-opcode-to-binary~5014
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b32f71cceffd39101336e8541c0f6f4cedc83c9e;p=libreriscv.git

corrections to table
---

diff --git a/simple_v_extension.mdwn b/simple_v_extension.mdwn
index f4b709359..6ce30adde 100644
--- a/simple_v_extension.mdwn
+++ b/simple_v_extension.mdwn
@@ -720,14 +720,14 @@ reserved    | src2     | src1  | 000    | predicate rs3     || BEQ     |
 reserved    | src2     | src1  | 001    | predicate rs3     || BNE     |
 reserved    | src2     | src1  | 010    | predicate rs3     || rsvd    |
 reserved    | src2     | src1  | 011    | predicate rs3     || rsvd    |
-reserved    | src2     | src1  | 100    | predicate rs3     || BLE     |
+reserved    | src2     | src1  | 100    | predicate rs3     || BLT     |
 reserved    | src2     | src1  | 101    | predicate rs3     || BGE     |
 reserved    | src2     | src1  | 110    | predicate rs3     || BLTU    |
 reserved    | src2     | src1  | 111    | predicate rs3     || BGEU    |
 """]]
 
 Note that just as with the standard (scalar, non-predicated) branch
-operations, BLT, BGT, BLEU and BTGU may be synthesised by inverting
+operations, BLE, BGT, BLEU and BTGU may be synthesised by inverting
 src1 and src2.
 
 Below is the overloaded table for Floating-point Predication operations.