corrections to table

diff --git a/simple_v_extension.mdwn b/simple_v_extension.mdwn
index f4b7093598285247931ff58dd886e960e49f1f36..6ce30addeda44a4e57ad61aa492bc42005be7051 100644 (file)
--- 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.