summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lit/arrays.wast7
-rw-r--r--test/lit/passes/gufa-refs.wast2
-rw-r--r--test/lit/passes/gufa-tnh.wast2
-rw-r--r--test/lit/passes/optimize-instructions-gc.wast2
-rw-r--r--test/passes/Oz_fuzz-exec_all-features.wast4
-rw-r--r--test/spec/array.wast2
6 files changed, 9 insertions, 10 deletions
diff --git a/test/lit/arrays.wast b/test/lit/arrays.wast
index 47338fdf1..4dde528cf 100644
--- a/test/lit/arrays.wast
+++ b/test/lit/arrays.wast
@@ -60,8 +60,7 @@
;; ROUNDTRIP-NEXT: )
;; ROUNDTRIP-NEXT: )
(func $len (param $a (ref array)) (result i32)
- ;; TODO: remove the unused type annotation
- (array.len $byte-array
+ (array.len
(local.get $a)
)
)
@@ -77,7 +76,7 @@
;; ROUNDTRIP-NEXT: )
;; ROUNDTRIP-NEXT: )
(func $impossible-len (param $none nullref) (result i32)
- (array.len $byte-array
+ (array.len
(local.get $none)
)
)
@@ -91,7 +90,7 @@
;; ROUNDTRIP-NEXT: (unreachable)
;; ROUNDTRIP-NEXT: )
(func $unreachable-len (param $a arrayref) (result i32)
- (array.len $byte-array
+ (array.len
(unreachable)
)
)
diff --git a/test/lit/passes/gufa-refs.wast b/test/lit/passes/gufa-refs.wast
index a99df47e0..6aa741eb1 100644
--- a/test/lit/passes/gufa-refs.wast
+++ b/test/lit/passes/gufa-refs.wast
@@ -4153,7 +4153,7 @@
;; CHECK-NEXT: )
(func $arrays (param $B (ref $B))
(drop
- (array.len $B
+ (array.len
(array.new_fixed $B 2
(ref.null none)
(ref.null none)
diff --git a/test/lit/passes/gufa-tnh.wast b/test/lit/passes/gufa-tnh.wast
index 3a9c77a30..b3d5b122b 100644
--- a/test/lit/passes/gufa-tnh.wast
+++ b/test/lit/passes/gufa-tnh.wast
@@ -1803,7 +1803,7 @@
(i32.const 3)
)
(drop
- (array.len $B
+ (array.len
(local.get $array.len)
)
)
diff --git a/test/lit/passes/optimize-instructions-gc.wast b/test/lit/passes/optimize-instructions-gc.wast
index cbf44aee4..cb732d68b 100644
--- a/test/lit/passes/optimize-instructions-gc.wast
+++ b/test/lit/passes/optimize-instructions-gc.wast
@@ -366,7 +366,7 @@
)
)
(drop
- (array.len $array
+ (array.len
(ref.as_non_null
(local.get $y)
)
diff --git a/test/passes/Oz_fuzz-exec_all-features.wast b/test/passes/Oz_fuzz-exec_all-features.wast
index 83cee56e8..1d2b106b7 100644
--- a/test/passes/Oz_fuzz-exec_all-features.wast
+++ b/test/passes/Oz_fuzz-exec_all-features.wast
@@ -52,7 +52,7 @@
)
;; The length should be 50
(call $log
- (array.len $bytes (local.get $x))
+ (array.len (local.get $x))
)
;; The value should be 42
(call $log
@@ -281,7 +281,7 @@
)
;; The length should be 2
(call $log
- (array.len $bytes (local.get $x))
+ (array.len (local.get $x))
)
;; The first value should be 42
(call $log
diff --git a/test/spec/array.wast b/test/spec/array.wast
index 6e7b8cddb..d9b75e287 100644
--- a/test/spec/array.wast
+++ b/test/spec/array.wast
@@ -83,7 +83,7 @@
)
(func $len (param $v (ref $vec)) (result i32)
- (array.len $vec (local.get $v))
+ (array.len (local.get $v))
)
(func (export "len") (result i32)
(call $len (array.new_default $vec (i32.const 3)))