diff options
| author | Brendan Dahl <brendan.dahl@gmail.com> | 2024-08-21 15:03:46 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-21 22:03:46 +0000 |
| commit | 99db0d9c7c33bcea7b7730bb5684f41176146f83 (patch) | |
| tree | 3986c87e5533421be50673710d1acc6edba29dda /test/spec | |
| parent | 21ddb853559bde490b4f02db576d4b8cd48d3106 (diff) | |
| download | binaryen-99db0d9c7c33bcea7b7730bb5684f41176146f83.tar.gz binaryen-99db0d9c7c33bcea7b7730bb5684f41176146f83.tar.bz2 binaryen-99db0d9c7c33bcea7b7730bb5684f41176146f83.zip | |
[FP16] Implement arithmetic operations. (#6855)
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 | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/test/spec/f16.wast b/test/spec/f16.wast index 360464e15..70d0043f7 100644 --- a/test/spec/f16.wast +++ b/test/spec/f16.wast @@ -17,6 +17,14 @@ (func (export "f16x8.gt") (param $0 v128) (param $1 v128) (result v128) (f16x8.gt (local.get $0) (local.get $1))) (func (export "f16x8.le") (param $0 v128) (param $1 v128) (result v128) (f16x8.le (local.get $0) (local.get $1))) (func (export "f16x8.ge") (param $0 v128) (param $1 v128) (result v128) (f16x8.ge (local.get $0) (local.get $1))) + (func (export "f16x8.add") (param $0 v128) (param $1 v128) (result v128) (f16x8.add (local.get $0) (local.get $1))) + (func (export "f16x8.sub") (param $0 v128) (param $1 v128) (result v128) (f16x8.sub (local.get $0) (local.get $1))) + (func (export "f16x8.mul") (param $0 v128) (param $1 v128) (result v128) (f16x8.mul (local.get $0) (local.get $1))) + (func (export "f16x8.div") (param $0 v128) (param $1 v128) (result v128) (f16x8.div (local.get $0) (local.get $1))) + (func (export "f16x8.min") (param $0 v128) (param $1 v128) (result v128) (f16x8.min (local.get $0) (local.get $1))) + (func (export "f16x8.max") (param $0 v128) (param $1 v128) (result v128) (f16x8.max (local.get $0) (local.get $1))) + (func (export "f16x8.pmin") (param $0 v128) (param $1 v128) (result v128) (f16x8.pmin (local.get $0) (local.get $1))) + (func (export "f16x8.pmax") (param $0 v128) (param $1 v128) (result v128) (f16x8.pmax (local.get $0) (local.get $1))) ) (assert_return (invoke "f32.load_f16") (f32.const 42.0)) @@ -81,3 +89,61 @@ ) (v128.const i16x8 -1 0 -1 0 -1 0 -1 0) ) + +;; arithmetic operations +(assert_return (invoke "f16x8.add" + ;; nan -nan inf 1.5 -1 -1 1 1 + (v128.const i16x8 0x7e00 0xfe00 0x7c00 0x3e00 0xbc00 0xbc00 0x3c00 0x3c00) + ;; 42 -nan inf 1.5 0 1 0 1 + (v128.const i16x8 0x5140 0xfe00 0x7c00 0x3e00 0 0x3c00 0 0x3c00)) + ;; nan nan inf 3 -1 0 1 2 + (v128.const i16x8 0x7e00 0x7e00 0x7c00 0x4200 0xbc00 0 0x3c00 0x4000)) +(assert_return (invoke "f16x8.sub" + ;; nan -nan inf 1.5 -1 -1 1 1 + (v128.const i16x8 0x7e00 0xfe00 0x7c00 0x3e00 0xbc00 0xbc00 0x3c00 0x3c00) + ;; 42 -nan inf 1.5 0 1 0 1 + (v128.const i16x8 0x5140 0xfe00 0x7c00 0x3e00 0 0x3c00 0 0x3c00)) + ;; nan nan nan 0 -1 -2 1 0 + (v128.const i16x8 0x7e00 0x7e00 0x7e00 0 0xbc00 0xc000 0x3c00 0)) +(assert_return (invoke "f16x8.mul" + ;; nan -nan inf 1.5 -1 -1 1 1 + (v128.const i16x8 0x7e00 0xfe00 0x7c00 0x3e00 0xbc00 0xbc00 0x3c00 0x3c00) + ;; 42 -nan inf 1.5 0 1 0 1 + (v128.const i16x8 0x5140 0xfe00 0x7c00 0x3e00 0 0x3c00 0 0x3c00)) + ;; nan nan inf 2.25 0 -1 0 1 + (v128.const i16x8 0x7e00 0x7e00 0x7c00 0x4080 0x8000 0xbc00 0 0x3c00)) +(assert_return (invoke "f16x8.div" + ;; nan -nan inf 1.5 -1 -1 1 1 + (v128.const i16x8 0x7e00 0xfe00 0x7c00 0x3e00 0xbc00 0xbc00 0x3c00 0x3c00) + ;; 42 -nan inf 1.5 0 1 0 1 + (v128.const i16x8 0x5140 0xfe00 0x7c00 0x3e00 0 0x3c00 0 0x3c00)) + ;; nan nan nan 1 -inf -1 inf 1 + (v128.const i16x8 0x7e00 0x7e00 0x7e00 0x3c00 0xfc00 0xbc00 0x7c00 0x3c00)) +(assert_return (invoke "f16x8.min" + ;; nan -nan inf 1.5 -1 -1 1 1 + (v128.const i16x8 0x7e00 0xfe00 0x7c00 0x3e00 0xbc00 0xbc00 0x3c00 0x3c00) + ;; 42 -nan inf 1.5 0 1 0 1 + (v128.const i16x8 0x5140 0xfe00 0x7c00 0x3e00 0 0x3c00 0 0x3c00)) + ;; nan nan inf 1.5 -1 -1 0 1 + (v128.const i16x8 0x7e00 0x7e00 0x7c00 0x3e00 0xbc00 0xbc00 0 0x3c00)) +(assert_return (invoke "f16x8.max" + ;; nan -nan inf 1.5 -1 -1 1 1 + (v128.const i16x8 0x7e00 0xfe00 0x7c00 0x3e00 0xbc00 0xbc00 0x3c00 0x3c00) + ;; 42 -nan inf 1.5 0 1 0 1 + (v128.const i16x8 0x5140 0xfe00 0x7c00 0x3e00 0 0x3c00 0 0x3c00)) + ;; nan nan inf 1.5 0 1 1 1 + (v128.const i16x8 0x7e00 0x7e00 0x7c00 0x3e00 0 0x3c00 0x3c00 0x3c00)) +(assert_return (invoke "f16x8.pmin" + ;; nan -nan inf 1.5 -1 -1 1 1 + (v128.const i16x8 0x7e00 0xfe00 0x7c00 0x3e00 0xbc00 0xbc00 0x3c00 0x3c00) + ;; 42 -nan inf 1.5 0 1 0 1 + (v128.const i16x8 0x5140 0xfe00 0x7c00 0x3e00 0 0x3c00 0 0x3c00)) + ;; nan -nan inf 1.5 -1 -1 0 1 + (v128.const i16x8 0x7e00 0xfe00 0x7c00 0x3e00 0xbc00 0xbc00 0 0x3c00)) +(assert_return (invoke "f16x8.pmax" + ;; nan -nan inf 1.5 -1 -1 1 1 + (v128.const i16x8 0x7e00 0xfe00 0x7c00 0x3e00 0xbc00 0xbc00 0x3c00 0x3c00) + ;; 42 -nan inf 1.5 0 1 0 1 + (v128.const i16x8 0x5140 0xfe00 0x7c00 0x3e00 0 0x3c00 0 0x3c00)) + ;; nan -nan inf 1.5 0 1 1 1 + (v128.const i16x8 0x7e00 0xfe00 0x7c00 0x3e00 0 0x3c00 0x3c00 0x3c00)) |