From 4b5e75083d1aa1d36ef845c44148e98d40080095 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Mon, 28 Dec 2020 18:19:44 -0800
Subject: [PATCH] Clarify when FP conversions raise the Inexact flag

---
 src/f.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/f.tex b/src/f.tex
index 8649d75bb..486a2cf7e 100644
--- a/src/f.tex
+++ b/src/f.tex
@@ -594,9 +594,9 @@ \section{Single-Precision Floating-Point Conversion and Move \mbox{Instructions}
 can be initialized to floating-point positive zero using FCVT.S.W {\em rd},
 {\tt x0}, which will never set any exception flags.
 
-All floating-point conversion instructions set the Inexact exception flag if the
-result differs from its operand value, yet is representable in the destination
-format.
+All floating-point conversion instructions set the Inexact exception flag if
+the rounded result differs from its operand value and the Invalid exception
+flag is not set.
 
 \vspace{-0.2in}
 \begin{center}