From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 12 Sep 2019 03:41:33 +0000 (+0100)
Subject: mention overlap
X-Git-Tag: convert-csv-opcode-to-binary~4090
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c737e8b7b065c9e126b4299df88bb8a2c746f265;p=libreriscv.git

mention overlap
---

diff --git a/ztrans_proposal.mdwn b/ztrans_proposal.mdwn
index 996fd203a..30fc72e33 100644
--- a/ztrans_proposal.mdwn
+++ b/ztrans_proposal.mdwn
@@ -312,8 +312,11 @@ numbers of potential opcodes.  BitManip is the perfect counter-example.
 
 # Proposed Opcodes vs Khronos OpenCL vs IEEE754-2019<a name="khronos_equiv"></a>
 
-This list shows the (direct) equivalence between proposed opcodes and
-their Khronos OpenCL equivalents.
+This list shows the (direct) equivalence between proposed opcodes,
+their Khronos OpenCL equivalents, and their IEEE754-2019 equivalents.
+98% of the opcodes in this proposal that are in the IEEE754-2019 standard
+are present in the Khronos Extended Instruction Set.
+
 For RISCV opcode encodings see 
 [[rv_major_opcode_1010011]]