diff options
| author | Brendan Dahl <brendan.dahl@gmail.com> | 2024-09-26 15:35:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-26 15:35:47 -0700 |
| commit | c3a71ff46d8f38e29896c321d89b6d0c3b90fbc1 (patch) | |
| tree | 04c4751da10f8e548e0ff94945d2635939b34f58 /test/spec | |
| parent | 3856a2dc909b3c713497ef311fe4051078ee74b9 (diff) | |
| download | binaryen-c3a71ff46d8f38e29896c321d89b6d0c3b90fbc1.tar.gz binaryen-c3a71ff46d8f38e29896c321d89b6d0c3b90fbc1.tar.bz2 binaryen-c3a71ff46d8f38e29896c321d89b6d0c3b90fbc1.zip | |
[FP16] Implement conversion operations. (#6974)
Note: FP16 is a little different from F32/F64 since it can't represent
the full 2^16 integer range. 65504 is the max whole integer. This leads
to some slightly strange behavior when converting integers greater than
65504 since they become infinity.
Specified at
https://github.com/WebAssembly/half-precision/blob/main/proposals/half-precision/Overview.md
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/f16.wast | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/spec/f16.wast b/test/spec/f16.wast index f0d2b0678..b495fe2b6 100644 --- a/test/spec/f16.wast +++ b/test/spec/f16.wast @@ -34,6 +34,10 @@ (func (export "f16x8.nearest") (param $0 v128) (result v128) (f16x8.nearest (local.get $0))) (func (export "f16x8.relaxed_madd") (param $0 v128) (param $1 v128) (param $2 v128) (result v128) (f16x8.relaxed_madd (local.get $0) (local.get $1) (local.get $2))) (func (export "f16x8.relaxed_nmadd") (param $0 v128) (param $1 v128) (param $2 v128) (result v128) (f16x8.relaxed_nmadd (local.get $0) (local.get $1) (local.get $2))) + (func (export "i16x8.trunc_sat_f16x8_s") (param $0 v128) (result v128) (i16x8.trunc_sat_f16x8_s (local.get $0))) + (func (export "i16x8.trunc_sat_f16x8_u") (param $0 v128) (result v128) (i16x8.trunc_sat_f16x8_u (local.get $0))) + (func (export "f16x8.convert_i16x8_s") (param $0 v128) (result v128) (f16x8.convert_i16x8_s (local.get $0))) + (func (export "f16x8.convert_i16x8_u") (param $0 v128) (result v128) (f16x8.convert_i16x8_u (local.get $0))) ;; Multiple operation tests: (func (export "splat_replace") (result v128) (f16x8.replace_lane 0 (f16x8.splat (f32.const 1)) (f32.const 99)) ) @@ -223,3 +227,23 @@ (assert_return (invoke "splat_replace") (v128.const i16x8 0x5630 0x3c00 0x3c00 0x3c00 0x3c00 0x3c00 0x3c00 0x3c00) ) + +;; conversions +(assert_return (invoke "i16x8.trunc_sat_f16x8_s" + ;; 42 nan inf -inf 65504 -65504 0 0 + (v128.const i16x8 0x5140 0x7e00 0x7c00 0xfc00 0x7bff 0xfbff 0 0)) + (v128.const i16x8 42 0 32767 -32768 32767 -32768 0 0)) +(assert_return (invoke "i16x8.trunc_sat_f16x8_u" + ;; 42 nan inf -inf 65504 -65504 0 0 + (v128.const i16x8 0x5140 0x7e00 0x7c00 0xfc00 0x7bff 0xfbff 0 0)) + (v128.const i16x8 42 0 65535 0 65504 0 0 0)) +(assert_return (invoke "f16x8.convert_i16x8_s" + ;; + (v128.const i16x8 0 1 -1 32767 -32768 0 0 0)) + ;; 0 1 -1 32767 -32768 0 0 0 + (v128.const i16x8 0 0x3c00 0xbc00 0x7800 0xf800 0 0 0)) +(assert_return (invoke "f16x8.convert_i16x8_u" + ;; Unlike f32/64, f16 can't represent the full 2^16 integer range so 2^16 becomes infinity. + (v128.const i16x8 0 1 -1 -32 0 0 0 0)) + ;; 1 inf 65504 + (v128.const i16x8 0 0x3c00 0x7c00 0x7bff 0 0 0 0)) |