### Assembly Aliases
-| Assembly Alias | Full Instruction |
-|----------------------|----------------------|
-| `ctfprw FRT, RB` | `ctfpr FRT, RB, 0` |
-| `ctfprw. FRT, RB` | `ctfpr. FRT, RB, 0` |
-| `ctfpruw FRT, RB` | `ctfpr FRT, RB, 1` |
-| `ctfpruw. FRT, RB` | `ctfpr. FRT, RB, 1` |
-| `ctfprd FRT, RB` | `ctfpr FRT, RB, 2` |
-| `ctfprd. FRT, RB` | `ctfpr. FRT, RB, 2` |
-| `ctfprud FRT, RB` | `ctfpr FRT, RB, 3` |
-| `ctfprud. FRT, RB` | `ctfpr. FRT, RB, 3` |
+| Assembly Alias | Full Instruction |
+|--------------------|---------------------|
+| `ctfprw FRT, RB` | `ctfpr FRT, RB, 0` |
+| `ctfprw. FRT, RB` | `ctfpr. FRT, RB, 0` |
+| `ctfpruw FRT, RB` | `ctfpr FRT, RB, 1` |
+| `ctfpruw. FRT, RB` | `ctfpr. FRT, RB, 1` |
+| `ctfprd FRT, RB` | `ctfpr FRT, RB, 2` |
+| `ctfprd. FRT, RB` | `ctfpr. FRT, RB, 2` |
+| `ctfprud FRT, RB` | `ctfpr FRT, RB, 3` |
+| `ctfprud. FRT, RB` | `ctfpr. FRT, RB, 3` |
----------
### Assembly Aliases
-| Assembly Alias | Full Instruction |
-|----------------------|----------------------|
+| Assembly Alias | Full Instruction |
+|---------------------|---------------------|
| `ctfprws FRT, RB` | `ctfpr FRT, RB, 0` |
| `ctfprws. FRT, RB` | `ctfpr. FRT, RB, 0` |
| `ctfpruws FRT, RB` | `ctfpr FRT, RB, 1` |
Key for pseudo-code:
-| term | result type | definition |
-|---------------------------|-------------|----------------------------------------------------------------------------------------------------|
-| `fp` | -- | `f32` or `f64` (or other types from SimpleV) |
-| `int` | -- | `u32`/`u64`/`i32`/`i64` (or other types from SimpleV) |
-| `uint` | -- | the unsigned integer of the same bit-width as `int` |
-| `int::BITS` | `int` | the bit-width of `int` |
-| `uint::MIN_VALUE` | `uint` | the minimum value `uint` can store: `0` |
-| `uint::MAX_VALUE` | `uint` | the maximum value `uint` can store: `2^int::BITS - 1` |
-| `int::MIN_VALUE` | `int` | the minimum value `int` can store : `-2^(int::BITS-1)` |
-| `int::MAX_VALUE` | `int` | the maximum value `int` can store : `2^(int::BITS-1) - 1` |
-| `int::VALUE_COUNT` | Integer | the number of different values `int` can store (`2^int::BITS`). too big to fit in `int`. |
-| `rint(fp, rounding_mode)` | `fp` | rounds the floating-point value `fp` to an integer according to rounding mode `rounding_mode` |
+| term | result type | definition |
+|---------------------------|-------------|-----------------------------------------------------------------------------------------------|
+| `fp` | -- | `f32` or `f64` (or other types from SimpleV) |
+| `int` | -- | `u32`/`u64`/`i32`/`i64` (or other types from SimpleV) |
+| `uint` | -- | the unsigned integer of the same bit-width as `int` |
+| `int::BITS` | `int` | the bit-width of `int` |
+| `uint::MIN_VALUE` | `uint` | the minimum value `uint` can store: `0` |
+| `uint::MAX_VALUE` | `uint` | the maximum value `uint` can store: `2^int::BITS - 1` |
+| `int::MIN_VALUE` | `int` | the minimum value `int` can store : `-2^(int::BITS-1)` |
+| `int::MAX_VALUE` | `int` | the maximum value `int` can store : `2^(int::BITS-1) - 1` |
+| `int::VALUE_COUNT` | Integer | the number of different values `int` can store (`2^int::BITS`). too big to fit in `int`. |
+| `rint(fp, rounding_mode)` | `fp` | rounds the floating-point value `fp` to an integer according to rounding mode `rounding_mode` |
<div id="fp-to-int-openpower-conversion-semantics"></div>
OpenPower conversion semantics (section A.2 page 1009 (page 1035) of
### Assembly Aliases
-| Assembly Alias | Full Instruction |
-|---------------------------|----------------------------|
+| Assembly Alias | Full Instruction |
+|--------------------------|---------------------------|
| `cffprw RT, FRB, CVM` | `cffpr RT, FRB, CVM, 0` |
| `cffprw. RT, FRB, CVM` | `cffpr. RT, FRB, CVM, 0` |
| `cffprwo RT, FRB, CVM` | `cffpro RT, FRB, CVM, 0` |