From c737e8b7b065c9e126b4299df88bb8a2c746f265 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 12 Sep 2019 04:41:33 +0100
Subject: [PATCH] mention overlap

---
 ztrans_proposal.mdwn | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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]]
 
-- 
2.30.2