(no commit message)

diff --git a/openpower/sv/rfc/ls013.mdwn b/openpower/sv/rfc/ls013.mdwn
index 1180034851f527f9562abe33c0b5f3f41ed89433..9211dd6ae47a96c7029dea5a54442d636d0f454c 100644 (file)
--- a/openpower/sv/rfc/ls013.mdwn
+++ b/openpower/sv/rfc/ls013.mdwn
@@ -103,22 +103,22 @@ to 2019 there are now subtle differences. These are selectable with a Mode Field
 please don't change just to make markdown source look better -->
 | `FMM` | Extended Mnemonic               | Origin                            | Semantics                                         |
 | ---   |---------------------------------|        -------------------        |---------------------------------------------------|
-| 0000  | fminnum08[s] FRT, FRA, FRB      | IEEE 754-2008                     | FRT = minNum(FRA, FRB)  (1)                       |
-| 0001  | fmin19[s] FRT, FRA, FRB         | IEEE 754-2019                     | FRT = minimum(FRA, FRB)                           |
-| 0010  | fminnum19[s] FRT, FRA, FRB      | IEEE 754-2019                     | FRT = minimumNumber(FRA, FRB)                     |
-| 0011  | fminc[s] FRT, FRA, FRB          | x86 minss or<br>Win32's min macro | FRT = FRA \< FRB ? FRA : FRB                      |
-| 0100  | fminmagnum08[s] FRT, FRA, FRB   | IEEE 754-2008<br>(TODO: (3))      | FRT = minmaxmag(FRA, FRB, False, fminnum08) (2)   |
-| 0101  | fminmag19[s] FRT, FRA, FRB      | IEEE 754-2019                     | FRT = minmaxmag(FRA, FRB, False, fmin19) (2)      |
-| 0110  | fminmagnum19[s] FRT, FRA, FRB   | IEEE 754-2019                     | FRT = minmaxmag(FRA, FRB, False, fminnum19) (2)   |
-| 0111  | fminmagc[s] FRT, FRA, FRB       | -                                 | FRT = minmaxmag(FRA, FRB, False, fminc) (2)       |
-| 1000  | fmaxnum08[s] FRT, FRA, FRB      | IEEE 754-2008                     | FRT = maxNum(FRA, FRB)  (1)                       |
-| 1001  | fmax19[s] FRT, FRA, FRB         | IEEE 754-2019                     | FRT = maximum(FRA, FRB)                           |
-| 1010  | fmaxnum19[s] FRT, FRA, FRB      | IEEE 754-2019                     | FRT = maximumNumber(FRA, FRB)                     |
-| 1011  | fmaxc[s] FRT, FRA, FRB          | x86 maxss or<br>Win32's max macro | FRT = FRA > FRB ? FRA : FRB                       |
-| 1100  | fmaxmagnum08[s] FRT, FRA, FRB   | IEEE 754-2008<br>(TODO: (3))      | FRT = minmaxmag(FRA, FRB, True, fmaxnum08) (2)    |
-| 1101  | fmaxmag19[s] FRT, FRA, FRB      | IEEE 754-2019                     | FRT = minmaxmag(FRA, FRB, True, fmax19) (2)       |
-| 1110  | fmaxmagnum19[s] FRT, FRA, FRB   | IEEE 754-2019                     | FRT = minmaxmag(FRA, FRB, True, fmaxnum19) (2)    |
-| 1111  | fmaxmagc[s] FRT, FRA, FRB       | -                                 | FRT = minmaxmag(FRA, FRB, True, fmaxc) (2)        |
+| 0000  | fminnum08[s] FRT, FRA, FRB      | IEEE 754-2008                     | minNum(FRA, FRB)  (1)                       |
+| 0001  | fmin19[s] FRT, FRA, FRB         | IEEE 754-2019                     | minimum(FRA, FRB)                           |
+| 0010  | fminnum19[s] FRT, FRA, FRB      | IEEE 754-2019                     | minimumNumber(FRA, FRB)                     |
+| 0011  | fminc[s] FRT, FRA, FRB          | x86 minss or<br>Win32's min macro | FRA \< FRB ? FRA : FRB                      |
+| 0100  | fminmagnum08[s] FRT, FRA, FRB   | IEEE 754-2008<br>(TODO: (3))      | minmaxmag(FRA, FRB, False, fminnum08) (2)   |
+| 0101  | fminmag19[s] FRT, FRA, FRB      | IEEE 754-2019                     | minmaxmag(FRA, FRB, False, fmin19) (2)      |
+| 0110  | fminmagnum19[s] FRT, FRA, FRB   | IEEE 754-2019                     | minmaxmag(FRA, FRB, False, fminnum19) (2)   |
+| 0111  | fminmagc[s] FRT, FRA, FRB       | -                                 | minmaxmag(FRA, FRB, False, fminc) (2)       |
+| 1000  | fmaxnum08[s] FRT, FRA, FRB      | IEEE 754-2008                     | maxNum(FRA, FRB)  (1)                       |
+| 1001  | fmax19[s] FRT, FRA, FRB         | IEEE 754-2019                     | maximum(FRA, FRB)                           |
+| 1010  | fmaxnum19[s] FRT, FRA, FRB      | IEEE 754-2019                     | maximumNumber(FRA, FRB)                     |
+| 1011  | fmaxc[s] FRT, FRA, FRB          | x86 maxss or<br>Win32's max macro | FRA > FRB ? FRA : FRB                       |
+| 1100  | fmaxmagnum08[s] FRT, FRA, FRB   | IEEE 754-2008<br>(TODO: (3))      | minmaxmag(FRA, FRB, True, fmaxnum08) (2)    |
+| 1101  | fmaxmag19[s] FRT, FRA, FRB      | IEEE 754-2019                     | minmaxmag(FRA, FRB, True, fmax19) (2)       |
+| 1110  | fmaxmagnum19[s] FRT, FRA, FRB   | IEEE 754-2019                     | minmaxmag(FRA, FRB, True, fmaxnum19) (2)    |
+| 1111  | fmaxmagc[s] FRT, FRA, FRB       | -                                 | minmaxmag(FRA, FRB, True, fmaxc) (2)        |
 
 Note (1): for the purposes of minNum/maxNum, -0.0 is defined to be less than
     +0.0. This is left unspecified in IEEE 754-2008.