change rest of int/fp conversion docs to use new P/S/E-type naming
[libreriscv.git] / openpower / sv / int_fp_mv / moves_and_conversions.mdwn
index fb0aeae369c72aa4ec270fad326690d1ccbec284..378022d43e0832783a84eb6b0ad485291f842b4d 100644 (file)
@@ -15,19 +15,19 @@ Tables that are used by
 
 ## `CVM` -- Float to Integer Conversion Mode
 
-| `CVM` | `rounding_mode` | Semantics                        |
-|-------|-----------------|----------------------------------|
-| 000   | from `FPSCR`    | [OpenPower semantics]            |
-| 001   | Truncate        | [OpenPower semantics]            |
-| 010   | from `FPSCR`    | [Java/Saturating semantics]      |
-| 011   | Truncate        | [Java/Saturating semantics]      |
-| 100   | from `FPSCR`    | [JavaScript semantics]           |
-| 101   | Truncate        | [JavaScript semantics]           |
-| rest  | --              | illegal instruction trap for now |
-
-[OpenPower semantics]: #fp-to-int-openpower-conversion-semantics
-[Java/Saturating semantics]: #fp-to-int-java-saturating-conversion-semantics
-[JavaScript semantics]: #fp-to-int-javascript-conversion-semantics
+| `CVM` | `rounding_mode` | Semantics |
+|-------|-----------------|-----------|
+| 000   | from `FPSCR`    | [P-Type]  |
+| 001   | Truncate        | [P-Type]  |
+| 010   | from `FPSCR`    | [S-Type]  |
+| 011   | Truncate        | [S-Type]  |
+| 100   | from `FPSCR`    | [E-Type]  |
+| 101   | Truncate        | [E-Type]  |
+| rest  | --              | invalid   |
+
+[P-Type]: #fpr-to-gpr-conversion-p-type
+[S-Type]: #fpr-to-gpr-conversion-s-type
+[E-Type]: #fpr-to-gpr-conversion-e-type
 
 ----------
 
@@ -368,7 +368,7 @@ Special Registers altered:
         rnd <- bfp_ROUND_TO_INTEGER_FLOOR(src)
 
     switch(CVM)
-        case(0, 1):  # OpenPower semantics
+        case(0, 1):  # P-Type
             if IsNaN(rnd) then
                 result <- si64_CONVERT_FROM_BFP(range_min)
             else if bfp_COMPARE_GT(rnd, range_max) then
@@ -379,7 +379,7 @@ Special Registers altered:
                 result <- ui64_CONVERT_FROM_BFP(rnd)
             else  # Signed 32/64-bit
                 result <- si64_CONVERT_FROM_BFP(rnd)
-        case(2, 3):  # Java/Saturating semantics
+        case(2, 3):  # S-Type
             if IsNaN(rnd) then
                 result <- [0] * 64
             else if bfp_COMPARE_GT(rnd, range_max) then
@@ -390,7 +390,7 @@ Special Registers altered:
                 result <- ui64_CONVERT_FROM_BFP(rnd)
             else  # Signed 32/64-bit
                 result <- si64_CONVERT_FROM_BFP(rnd)
-        default:  # JavaScript semantics
+        default:  # E-Type
             # CVM = 6, 7 are illegal instructions
             # using a 128-bit intermediate works here because the largest type
             # this instruction can convert from has 53 significand bits, and