summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lit/basic/f16.wast126
-rw-r--r--test/spec/f16.wast29
2 files changed, 125 insertions, 30 deletions
diff --git a/test/lit/basic/f16.wast b/test/lit/basic/f16.wast
index 2e5ac57dd..ba806bb57 100644
--- a/test/lit/basic/f16.wast
+++ b/test/lit/basic/f16.wast
@@ -17,19 +17,21 @@
;; CHECK-TEXT: (type $1 (func (param v128) (result v128)))
- ;; CHECK-TEXT: (type $2 (func (param i32) (result f32)))
+ ;; CHECK-TEXT: (type $2 (func (param v128 v128 v128) (result v128)))
- ;; CHECK-TEXT: (type $3 (func (param i32 f32)))
+ ;; CHECK-TEXT: (type $3 (func (param i32) (result f32)))
- ;; CHECK-TEXT: (type $4 (func (param f32) (result v128)))
+ ;; CHECK-TEXT: (type $4 (func (param i32 f32)))
- ;; CHECK-TEXT: (type $5 (func (param v128) (result f32)))
+ ;; CHECK-TEXT: (type $5 (func (param f32) (result v128)))
- ;; CHECK-TEXT: (type $6 (func (param v128 f32) (result v128)))
+ ;; CHECK-TEXT: (type $6 (func (param v128) (result f32)))
+
+ ;; CHECK-TEXT: (type $7 (func (param v128 f32) (result v128)))
;; CHECK-TEXT: (memory $0 1 1)
- ;; CHECK-TEXT: (func $f32.load_f16 (type $2) (param $0 i32) (result f32)
+ ;; CHECK-TEXT: (func $f32.load_f16 (type $3) (param $0 i32) (result f32)
;; CHECK-TEXT-NEXT: (f32.load_f16
;; CHECK-TEXT-NEXT: (local.get $0)
;; CHECK-TEXT-NEXT: )
@@ -38,19 +40,21 @@
;; CHECK-BIN: (type $1 (func (param v128) (result v128)))
- ;; CHECK-BIN: (type $2 (func (param i32) (result f32)))
+ ;; CHECK-BIN: (type $2 (func (param v128 v128 v128) (result v128)))
+
+ ;; CHECK-BIN: (type $3 (func (param i32) (result f32)))
- ;; CHECK-BIN: (type $3 (func (param i32 f32)))
+ ;; CHECK-BIN: (type $4 (func (param i32 f32)))
- ;; CHECK-BIN: (type $4 (func (param f32) (result v128)))
+ ;; CHECK-BIN: (type $5 (func (param f32) (result v128)))
- ;; CHECK-BIN: (type $5 (func (param v128) (result f32)))
+ ;; CHECK-BIN: (type $6 (func (param v128) (result f32)))
- ;; CHECK-BIN: (type $6 (func (param v128 f32) (result v128)))
+ ;; CHECK-BIN: (type $7 (func (param v128 f32) (result v128)))
;; CHECK-BIN: (memory $0 1 1)
- ;; CHECK-BIN: (func $f32.load_f16 (type $2) (param $0 i32) (result f32)
+ ;; CHECK-BIN: (func $f32.load_f16 (type $3) (param $0 i32) (result f32)
;; CHECK-BIN-NEXT: (f32.load_f16
;; CHECK-BIN-NEXT: (local.get $0)
;; CHECK-BIN-NEXT: )
@@ -60,13 +64,13 @@
(local.get $0)
)
)
- ;; CHECK-TEXT: (func $f32.store_f16 (type $3) (param $0 i32) (param $1 f32)
+ ;; CHECK-TEXT: (func $f32.store_f16 (type $4) (param $0 i32) (param $1 f32)
;; CHECK-TEXT-NEXT: (f32.store_f16
;; CHECK-TEXT-NEXT: (local.get $0)
;; CHECK-TEXT-NEXT: (local.get $1)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
- ;; CHECK-BIN: (func $f32.store_f16 (type $3) (param $0 i32) (param $1 f32)
+ ;; CHECK-BIN: (func $f32.store_f16 (type $4) (param $0 i32) (param $1 f32)
;; CHECK-BIN-NEXT: (f32.store_f16
;; CHECK-BIN-NEXT: (local.get $0)
;; CHECK-BIN-NEXT: (local.get $1)
@@ -79,12 +83,12 @@
)
)
- ;; CHECK-TEXT: (func $f16x8.splat (type $4) (param $0 f32) (result v128)
+ ;; CHECK-TEXT: (func $f16x8.splat (type $5) (param $0 f32) (result v128)
;; CHECK-TEXT-NEXT: (f16x8.splat
;; CHECK-TEXT-NEXT: (local.get $0)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
- ;; CHECK-BIN: (func $f16x8.splat (type $4) (param $0 f32) (result v128)
+ ;; CHECK-BIN: (func $f16x8.splat (type $5) (param $0 f32) (result v128)
;; CHECK-BIN-NEXT: (f16x8.splat
;; CHECK-BIN-NEXT: (local.get $0)
;; CHECK-BIN-NEXT: )
@@ -95,12 +99,12 @@
)
)
- ;; CHECK-TEXT: (func $f16x8.extract_lane (type $5) (param $0 v128) (result f32)
+ ;; CHECK-TEXT: (func $f16x8.extract_lane (type $6) (param $0 v128) (result f32)
;; CHECK-TEXT-NEXT: (f16x8.extract_lane 0
;; CHECK-TEXT-NEXT: (local.get $0)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
- ;; CHECK-BIN: (func $f16x8.extract_lane (type $5) (param $0 v128) (result f32)
+ ;; CHECK-BIN: (func $f16x8.extract_lane (type $6) (param $0 v128) (result f32)
;; CHECK-BIN-NEXT: (f16x8.extract_lane 0
;; CHECK-BIN-NEXT: (local.get $0)
;; CHECK-BIN-NEXT: )
@@ -111,13 +115,13 @@
)
)
- ;; CHECK-TEXT: (func $f16x8.replace_lane (type $6) (param $0 v128) (param $1 f32) (result v128)
+ ;; CHECK-TEXT: (func $f16x8.replace_lane (type $7) (param $0 v128) (param $1 f32) (result v128)
;; CHECK-TEXT-NEXT: (f16x8.replace_lane 0
;; CHECK-TEXT-NEXT: (local.get $0)
;; CHECK-TEXT-NEXT: (local.get $1)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
- ;; CHECK-BIN: (func $f16x8.replace_lane (type $6) (param $0 v128) (param $1 f32) (result v128)
+ ;; CHECK-BIN: (func $f16x8.replace_lane (type $7) (param $0 v128) (param $1 f32) (result v128)
;; CHECK-BIN-NEXT: (f16x8.replace_lane 0
;; CHECK-BIN-NEXT: (local.get $0)
;; CHECK-BIN-NEXT: (local.get $1)
@@ -486,49 +490,95 @@
(local.get $0)
)
)
+ ;; CHECK-TEXT: (func $f16x8.relaxed_madd (type $2) (param $0 v128) (param $1 v128) (param $2 v128) (result v128)
+ ;; CHECK-TEXT-NEXT: (f16x8.relaxed_madd
+ ;; CHECK-TEXT-NEXT: (local.get $0)
+ ;; CHECK-TEXT-NEXT: (local.get $1)
+ ;; CHECK-TEXT-NEXT: (local.get $2)
+ ;; CHECK-TEXT-NEXT: )
+ ;; CHECK-TEXT-NEXT: )
+ ;; CHECK-BIN: (func $f16x8.relaxed_madd (type $2) (param $0 v128) (param $1 v128) (param $2 v128) (result v128)
+ ;; CHECK-BIN-NEXT: (f16x8.relaxed_madd
+ ;; CHECK-BIN-NEXT: (local.get $0)
+ ;; CHECK-BIN-NEXT: (local.get $1)
+ ;; CHECK-BIN-NEXT: (local.get $2)
+ ;; CHECK-BIN-NEXT: )
+ ;; CHECK-BIN-NEXT: )
+ (func $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)
+ )
+ )
+
+
+ ;; CHECK-TEXT: (func $f16x8.relaxed_nmadd (type $2) (param $0 v128) (param $1 v128) (param $2 v128) (result v128)
+ ;; CHECK-TEXT-NEXT: (f16x8.relaxed_nmadd
+ ;; CHECK-TEXT-NEXT: (local.get $0)
+ ;; CHECK-TEXT-NEXT: (local.get $1)
+ ;; CHECK-TEXT-NEXT: (local.get $2)
+ ;; CHECK-TEXT-NEXT: )
+ ;; CHECK-TEXT-NEXT: )
+ ;; CHECK-BIN: (func $f16x8.relaxed_nmadd (type $2) (param $0 v128) (param $1 v128) (param $2 v128) (result v128)
+ ;; CHECK-BIN-NEXT: (f16x8.relaxed_nmadd
+ ;; CHECK-BIN-NEXT: (local.get $0)
+ ;; CHECK-BIN-NEXT: (local.get $1)
+ ;; CHECK-BIN-NEXT: (local.get $2)
+ ;; CHECK-BIN-NEXT: )
+ ;; CHECK-BIN-NEXT: )
+ (func $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)
+ )
+ )
)
;; CHECK-BIN-NODEBUG: (type $0 (func (param v128 v128) (result v128)))
;; CHECK-BIN-NODEBUG: (type $1 (func (param v128) (result v128)))
-;; CHECK-BIN-NODEBUG: (type $2 (func (param i32) (result f32)))
+;; CHECK-BIN-NODEBUG: (type $2 (func (param v128 v128 v128) (result v128)))
-;; CHECK-BIN-NODEBUG: (type $3 (func (param i32 f32)))
+;; CHECK-BIN-NODEBUG: (type $3 (func (param i32) (result f32)))
-;; CHECK-BIN-NODEBUG: (type $4 (func (param f32) (result v128)))
+;; CHECK-BIN-NODEBUG: (type $4 (func (param i32 f32)))
-;; CHECK-BIN-NODEBUG: (type $5 (func (param v128) (result f32)))
+;; CHECK-BIN-NODEBUG: (type $5 (func (param f32) (result v128)))
-;; CHECK-BIN-NODEBUG: (type $6 (func (param v128 f32) (result v128)))
+;; CHECK-BIN-NODEBUG: (type $6 (func (param v128) (result f32)))
+
+;; CHECK-BIN-NODEBUG: (type $7 (func (param v128 f32) (result v128)))
;; CHECK-BIN-NODEBUG: (memory $0 1 1)
-;; CHECK-BIN-NODEBUG: (func $0 (type $2) (param $0 i32) (result f32)
+;; CHECK-BIN-NODEBUG: (func $0 (type $3) (param $0 i32) (result f32)
;; CHECK-BIN-NODEBUG-NEXT: (f32.load_f16
;; CHECK-BIN-NODEBUG-NEXT: (local.get $0)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
-;; CHECK-BIN-NODEBUG: (func $1 (type $3) (param $0 i32) (param $1 f32)
+;; CHECK-BIN-NODEBUG: (func $1 (type $4) (param $0 i32) (param $1 f32)
;; CHECK-BIN-NODEBUG-NEXT: (f32.store_f16
;; CHECK-BIN-NODEBUG-NEXT: (local.get $0)
;; CHECK-BIN-NODEBUG-NEXT: (local.get $1)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
-;; CHECK-BIN-NODEBUG: (func $2 (type $4) (param $0 f32) (result v128)
+;; CHECK-BIN-NODEBUG: (func $2 (type $5) (param $0 f32) (result v128)
;; CHECK-BIN-NODEBUG-NEXT: (f16x8.splat
;; CHECK-BIN-NODEBUG-NEXT: (local.get $0)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
-;; CHECK-BIN-NODEBUG: (func $3 (type $5) (param $0 v128) (result f32)
+;; CHECK-BIN-NODEBUG: (func $3 (type $6) (param $0 v128) (result f32)
;; CHECK-BIN-NODEBUG-NEXT: (f16x8.extract_lane 0
;; CHECK-BIN-NODEBUG-NEXT: (local.get $0)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
-;; CHECK-BIN-NODEBUG: (func $4 (type $6) (param $0 v128) (param $1 f32) (result v128)
+;; CHECK-BIN-NODEBUG: (func $4 (type $7) (param $0 v128) (param $1 f32) (result v128)
;; CHECK-BIN-NODEBUG-NEXT: (f16x8.replace_lane 0
;; CHECK-BIN-NODEBUG-NEXT: (local.get $0)
;; CHECK-BIN-NODEBUG-NEXT: (local.get $1)
@@ -674,3 +724,19 @@
;; CHECK-BIN-NODEBUG-NEXT: (local.get $0)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG: (func $26 (type $2) (param $0 v128) (param $1 v128) (param $2 v128) (result v128)
+;; CHECK-BIN-NODEBUG-NEXT: (f16x8.relaxed_madd
+;; CHECK-BIN-NODEBUG-NEXT: (local.get $0)
+;; CHECK-BIN-NODEBUG-NEXT: (local.get $1)
+;; CHECK-BIN-NODEBUG-NEXT: (local.get $2)
+;; CHECK-BIN-NODEBUG-NEXT: )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG: (func $27 (type $2) (param $0 v128) (param $1 v128) (param $2 v128) (result v128)
+;; CHECK-BIN-NODEBUG-NEXT: (f16x8.relaxed_nmadd
+;; CHECK-BIN-NODEBUG-NEXT: (local.get $0)
+;; CHECK-BIN-NODEBUG-NEXT: (local.get $1)
+;; CHECK-BIN-NODEBUG-NEXT: (local.get $2)
+;; CHECK-BIN-NODEBUG-NEXT: )
+;; CHECK-BIN-NODEBUG-NEXT: )
diff --git a/test/spec/f16.wast b/test/spec/f16.wast
index 09ee9328b..d5de0c0e8 100644
--- a/test/spec/f16.wast
+++ b/test/spec/f16.wast
@@ -32,6 +32,8 @@
(func (export "f16x8.floor") (param $0 v128) (result v128) (f16x8.floor (local.get $0)))
(func (export "f16x8.trunc") (param $0 v128) (result v128) (f16x8.trunc (local.get $0)))
(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)))
)
(assert_return (invoke "f32.load_f16") (f32.const 42.0))
@@ -187,3 +189,30 @@
(v128.const i16x8 0x7e00 0 0x7c00 0xfc00 0xbc00 0x3c00 0x3e00 0x3ccd))
;; nan 0 inf -inf -1 1 2 1
(v128.const i16x8 0x7e00 0 0x7c00 0xfc00 0xbc00 0x3c00 0x4000 0x3c00))
+;; ternary operations
+(assert_return (invoke "f16x8.relaxed_madd"
+ ;; Lane 0 illustrates the difference between fused/unfused. e.g.
+ ;; fused: (positive overflow) + -inf = -inf
+ ;; unfused: (inf) + -inf = NaN
+ ;;
+ ;; 1e4 inf -1 0 1 1.5 -2 1
+ (v128.const i16x8 0x70e2 0x7c00 0xbc00 0 0x3c00 0x3e00 0xc000 0x3c00)
+ ;; 1e4 inf -1 0 1 1.5 4 1
+ (v128.const i16x8 0x70e2 0x7c00 0xbc00 0 0x3c00 0x3e00 0x4400 0x3c00)
+ ;; -inf inf -1 0 1 2 1 -1
+ (v128.const i16x8 0xfc00 0x7c00 0xbc00 0 0x3c00 0x4000 0x3c00 0xbc00))
+ ;; -inf inf 0 0 2 4.25 -7 0
+ (v128.const i16x8 0xfc00 0x7c00 0 0 0x4000 0x4440 0xc700 0))
+(assert_return (invoke "f16x8.relaxed_nmadd"
+ ;; Lane 0 illustrates the difference between fused/unfused. e.g.
+ ;; fused: -(positive overflow) + inf = inf
+ ;; unfused: (-inf) + -inf = NaN
+ ;;
+ ;; 1e4 -inf -1 0 1 1.5 -2 1
+ (v128.const i16x8 0x70e2 0xfc00 0xbc00 0 0x3c00 0x3e00 0xc000 0x3c00)
+ ;; 1e4 inf -1 0 1 1.5 4 1
+ (v128.const i16x8 0x70e2 0x7c00 0xbc00 0 0x3c00 0x3e00 0x4400 0x3c00)
+ ;; inf inf -1 0 1 2 1 -1
+ (v128.const i16x8 0x7c00 0x7c00 0xbc00 0 0x3c00 0x4000 0x3c00 0xbc00))
+ ;; inf inf -2 0 0 -0.25 9 -2
+ (v128.const i16x8 0x7c00 0x7c00 0xc000 0 0 0xb400 0x4880 0xc000))
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-05 19:42:07 +0000