add bfloat16 definition
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 10 Oct 2022 16:42:03 +0000 (17:42 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 10 Oct 2022 16:42:03 +0000 (17:42 +0100)
openpower/sv/rfc/ls002.mdwn

index dca0fb6a99cdeb87537d86c2cec6f48600e08ace..51a1ffa3207bbde53bf9e2138d932be66f01586f 100644 (file)
@@ -85,6 +85,7 @@ Add the following entries to:
 * the Appendices of Book I
 * Instructions of Book I as a new Section 4.6.2.1
 * DX-Form of Book I Section 1.6.1.6 and 1.6.2
+* Floating-Point Data a Format of Book I Section 4.3.1
 
 ----------------
 
@@ -199,6 +200,24 @@ Add `DX` to `FRT` Field in Book I, 1.6.2
      Formats: D, X, DX
 ```
 
+# bfloat16 definition
+
+Add the following to Book I, 4.3.1:
+
+The format may be a 16-bit bfloat16, 32-bit single format for a
+single-precision value...
+
+The bfloat16 format is used as an immediate.
+
+The structure of the bfloat16, single and double formats is shown below.
+
+```
+  |S |EXP| FRACTION|
+  |0 |1 8|9      15|
+```
+
+Figure #. Binary floating-point half-precision format (bfloat16)
+
 # Appendices
 
     Appendix E Power ISA sorted by opcode