From 99db0d9c7c33bcea7b7730bb5684f41176146f83 Mon Sep 17 00:00:00 2001 From: Brendan Dahl Date: Wed, 21 Aug 2024 15:03:46 -0700 Subject: [FP16] Implement arithmetic operations. (#6855) Specified at https://github.com/WebAssembly/half-precision/blob/main/proposals/half-precision/Overview.md --- test/spec/f16.wast | 66 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) (limited to 'test/spec') 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)) -- cgit v1.2.3