From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 24 Apr 2018 10:56:41 +0000 (+0100)
Subject: clarify
X-Git-Tag: convert-csv-opcode-to-binary~5580
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f0d8cf10e509b7c9801b9a7e3cc6d6eaa5ec8d1;p=libreriscv.git

clarify
---

diff --git a/simple_v_extension.mdwn b/simple_v_extension.mdwn
index 2f2402c88..9aef46992 100644
--- a/simple_v_extension.mdwn
+++ b/simple_v_extension.mdwn
@@ -606,6 +606,10 @@ 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
+src1 and src2.
+
 Below is the overloaded table for Floating-point Predication operations.
 Interestingly no change is needed to the instruction format because
 FP Compare already stores a 1 or a zero in its "rd" integer register