Skip to content
This repository has been archived by the owner on Dec 22, 2021. It is now read-only.

Floating-point rounding instructions #232

Merged
merged 5 commits into from
Sep 11, 2020
Merged

Floating-point rounding instructions #232

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
de9189d
Floating-point rounding instructions
Maratyszcza May 19, 2020
eb1de5f
Update proposals/simd/BinarySIMD.md
Maratyszcza Jun 4, 2020
80d19f8
Update proposals/simd/ImplementationStatus.md
Maratyszcza Jun 4, 2020
dd43218
Update proposals/simd/ImplementationStatus.md
Maratyszcza Jun 4, 2020
70aba5e
Update proposals/simd/SIMD.md
Maratyszcza Jun 4, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions proposals/simd/BinarySIMD.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -183,6 +183,14 @@ The `v8x16.shuffle` instruction has 16 bytes after `simdop`.
| `i64x2.add` | `0xce`| - |
| `i64x2.sub` | `0xd1`| - |
| `i64x2.mul` | `0xd5`| - |
| `f32x4.nearest` | `0xd8`| - |
| `f32x4.trunc` | `0xd9`| - |
| `f32x4.ceil` | `0xda`| - |
| `f32x4.floor` | `0xdb`| - |
| `f64x2.nearest` | `0xdc`| - |
| `f64x2.trunc` | `0xdd`| - |
| `f64x2.ceil` | `0xde`| - |
| `f64x2.floor` | `0xdf`| - |
Maratyszcza marked this conversation as resolved.
Show resolved Hide resolved
| `f32x4.abs` | `0xe0`| - |
| `f32x4.neg` | `0xe1`| - |
| `f32x4.sqrt` | `0xe3`| - |
Expand Down
8 changes: 8 additions & 0 deletions proposals/simd/ImplementationStatus.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -165,6 +165,10 @@
| `f32x4.div` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
| `f32x4.min` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
| `f32x4.max` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
| `f32x4.nearest` | | | | | |
| `f32x4.trunc` | | | | | |
| `f32x4.ceil` | | | | | |
| `f32x4.floor` | | | | | |
Maratyszcza marked this conversation as resolved.
Show resolved Hide resolved
| `f64x2.abs` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
| `f64x2.neg` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
| `f64x2.sqrt` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
Expand All @@ -174,6 +178,10 @@
| `f64x2.div` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
| `f64x2.min` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
| `f64x2.max` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
| `f64x2.nearest` | | | | | |
| `f64x2.trunc` | | | | | |
| `f64x2.ceil` | | | | | |
| `f64x2.floor` | | | | | |
Maratyszcza marked this conversation as resolved.
Show resolved Hide resolved
| `i32x4.trunc_sat_f32x4_s` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
| `i32x4.trunc_sat_f32x4_u` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
| `f32x4.convert_i32x4_s` | `-msimd128` | :heavy_check_mark: | | | :heavy_check_mark: |
Expand Down
24 changes: 24 additions & 0 deletions proposals/simd/SIMD.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -900,6 +900,30 @@ Lane-wise IEEE `multiplication`.

Lane-wise IEEE `squareRoot`.

### Round to nearest integer, ties to even
* `f32x4.nearest(a: v128) -> v128`
* `f64x2.nearest(a: v128) -> v128`

Lane-wise rounding to the nearest integral value; if two values are equally near, rounds to the even one.

### Round to integer toward zero (truncate to integer)
* `f32x4.trunc(a: v128) -> v128`
* `f64x2.trunc(a: v128) -> v128`

Lane-wise rounding to the nearest integral value with the magniture not larger than the input.

### Round to integer above (ceiling)
ngzhian marked this conversation as resolved.
Show resolved Hide resolved
* `f32x4.ceil(a: v128) -> v128`
* `f64x2.ceil(a: v128) -> v128`

Lane-wise rounding to the nearest integral value not smaller than the input.

### Round to integer below (floor)
* `f32x4.floor(a: v128) -> v128`
* `f64x2.floor(a: v128) -> v128`

Lane-wise rounding to the nearest integral value not greater than the input.

Maratyszcza marked this conversation as resolved.
Show resolved Hide resolved
## Conversions
### Integer to floating point
* `f32x4.convert_i32x4_s(a: v128) -> v128`
Expand Down