diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/lit/arrays.wast | 7 | ||||
-rw-r--r-- | test/lit/passes/gufa-refs.wast | 2 | ||||
-rw-r--r-- | test/lit/passes/gufa-tnh.wast | 2 | ||||
-rw-r--r-- | test/lit/passes/optimize-instructions-gc.wast | 2 | ||||
-rw-r--r-- | test/passes/Oz_fuzz-exec_all-features.wast | 4 | ||||
-rw-r--r-- | test/spec/array.wast | 2 |
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))) |