From c333f8b47b5937b45a17a8d27756982e1268458c Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 8 Aug 2019 01:59:42 +0100
Subject: [PATCH] add links to discussion with mitch

---
 ztrans_proposal.mdwn | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/ztrans_proposal.mdwn b/ztrans_proposal.mdwn
index 384f39fd4..04694181f 100644
--- a/ztrans_proposal.mdwn
+++ b/ztrans_proposal.mdwn
@@ -4,6 +4,7 @@ See:
 
 * <http://bugs.libre-riscv.org/show_bug.cgi?id=127>
 * <https://www.khronos.org/registry/spir-v/specs/unified1/OpenCL.ExtendedInstructionSet.100.html>
+* Discussion: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-August/002342.html>
 * [[rv_major_opcode_1010011]] for opcode listing.
 
 Extension subsets:
@@ -22,6 +23,10 @@ Zarctrignpi
 
 [[!toc levels=2]]
 
+# TODO:
+
+* Decision on accuracy <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-August/002355.html>
+
 # List of 2-arg opcodes
 
 [[!table  data="""
@@ -90,3 +95,16 @@ FATANPI example pseudo-code:
     fmv.x.s ft0, t0
     fatan2pi.s rd, rs1, ft0
 
+Hypotenuse example (obviates need for Zfhyp except for high-performance):
+
+    ASINH( x ) = ln( x + SQRT(x**2+1)
+
+# To evaluate: should LOG be replaced with LOG1P (and EXP with EXPM1)?
+
+    LOG(x) = LOGP1(x) + 1.0
+    EXP(x) = EXPM1(x-1.0)
+
+RISC principle says "exclude LOG because it's covered by LOGP1 plus an ADD".
+Research needed to ensure that implementors are not compromised by such
+a decision
+<http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-August/002358.html>
-- 
2.30.2