f16x8.demote_f64x2_zero
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 25/100
- Issue type
- Feature
- Clarity
- Needs clarification
- Activity status
- Stale
- Tech stack
- wasm
- Domain
- compilers
Research direction
Start by reviewing the proposal discussion and the linked TC39 float16 issue to understand the competing rounding semantics and platform support described here. Define whether a direct f16x8.demote_f64x2_zero operation is needed and what agreement would establish the issue as resolved; no implementation files or tests are named.
Written by the indexing model from the issue text.
Description
Do we need direct conversion from F64 lanes to F16?
Recently, we discovered there is pure support on x64 for direct f64 -> f16 conversion.
F64 to F16 conversion with roundToEven semantic couldn't be efficiently implemented on x64 without AVX512-FP16(so, only Sapphire Rapids Xeon support it today).
We can introduce f16x8.demote_f64x2_zero with roundToZero rounding, so it will be composable with f64 -> f32 -> f16 conversions, but today roundToEven semantic is a default on the Web and such instruction could be easily emulated with f32x4.demote_f64x2_zero + f16x8.demote_f32x4_zero
On the other side Arm64 supports direct F64 -> F16 conversion with roundToEven rounding mode, but without f16x8.demote_f64x2_zero it won't be possible to use it.
- Dominant language
- WebAssembly
- Stars
- 14
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from WebAssembly/half-precision
-
Difficulty 5/5 Over a week Newbie friendliness 38/100
WebAssembly/half-precision#10 · 6 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
WebAssembly/half-precision#8 · 1 comment ·
-
Hardware support Open
Difficulty 5/5 Over a week Newbie friendliness 25/100
WebAssembly/half-precision#7 · 2 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
WebAssembly/half-precision#6 · 1 comment · 1 reaction ·
-
Difficulty 5/5 Over a week Newbie friendliness 20/100
WebAssembly/half-precision#4 · 22 comments ·
All issues in WebAssembly/half-precision
Similar issues
-
compiler/runtime
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
objectionary/eo#8869 · 1 comment ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
EricSpencer00/Resilient#4824 · 1 comment ·
-
bug
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
objectionary/jeo-maven-plugin#1758 ·
-
generics
Difficulty 2/5 1-3 hours Newbie friendliness 82/100