From: lkcl <lkcl@web>
Date: Tue, 1 Dec 2020 01:02:16 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~1566
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ed51677308650c230ae0cea7ce5c46044e400b59;p=libreriscv.git

---

diff --git a/openpower/sv/16_bit_compressed.mdwn b/openpower/sv/16_bit_compressed.mdwn
index d5a080248..2268a4248 100644
--- a/openpower/sv/16_bit_compressed.mdwn
+++ b/openpower/sv/16_bit_compressed.mdwn
@@ -321,6 +321,8 @@ In essence the 2 nops are needed due to there being 2 different C forms:
 
 ### Branch
 
+TODO: document that branching whilst leaving modes still set (M/N) is perfectly well permitted but is the complier/assembler writers responsibility to obey ABI rules and ensure that even with branches and returns that, at no time, is an incorrect mode entered or left.
+
     | 16-bit mode | | 10-bit mode                 |
     | 0 | 1 | 234 | | 567.8  | 9  ab | c   de | f |
     | - | - | --- | | -----  | ----- | ------ | - |