From dcaa6b666109537aeb2de3c1137ed54e88d4901f Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Mon, 2 May 2022 16:54:44 +0100
Subject: [PATCH]

---
 openpower/sv/svp64.mdwn | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/openpower/sv/svp64.mdwn b/openpower/sv/svp64.mdwn
index 81e77284c..591afccdd 100644
--- a/openpower/sv/svp64.mdwn
+++ b/openpower/sv/svp64.mdwn
@@ -274,7 +274,9 @@ perform its operation at **half** the ELWIDTH then padded back out
 to ELWIDTH.  `sv.fadds/ew=f32` shall perform an IEEE754 FP16 operation that is then "padded" to fill out to an IEEE754 FP32. When ELWIDTH=DEFAULT
 clearly the behaviour of `sv.fadds` is performed at 32-bit accuracy
 then padded back out to fit in IEEE754 FP64, exactly as for Scalar
-v3.0B "single" FP.
+v3.0B "single" FP.  Any FP operation ending in "s" where ELWIDTH=f16
+or ELWIDTH=bf16 is reserved and must raise an illegal instruction
+(IEEE754 FP8 or BF8 are not defined). 
 
 ## Elwidth for CRs:
 
-- 
2.30.2