(no commit message)
authorlkcl <lkcl@web>
Sun, 9 Oct 2022 21:31:53 +0000 (22:31 +0100)
committerIkiWiki <ikiwiki.info>
Sun, 9 Oct 2022 21:31:53 +0000 (22:31 +0100)
openpower/sv/rfc/ls002/discussion.mdwn

index 7abd962216e851c520571685d25949219d59beeb..b95d8cef949b4506ecd3a549dd5df5dca0c62f5c 100644 (file)
@@ -132,7 +132,11 @@ as a critical means of bootstrapping (constructing 64 bit addresses)
    What about fsub FRT,FRA,FRA?
 **
 
-That doesn't actually clear FRT to zero because NaN - NaN = Inf - Inf = NaN, not zero. Also, with round to -inf, 0 - 0 produces -0, not 0.
+That doesn't actually clear FRT to zero because `NaN - NaN` and
+`Inf - Inf` both equal `NaN`, not zero. Also, with "round to -inf",
+0 - 0 produces -0, not 0.  Thus use of `fsub` is critically
+dependent on the contents of registers and status flags, where
+`flis` is not.
 
 **
 5. "FRS" for both instructions should be changed to "FRT".  ("FRS" normally