summaryrefslogtreecommitdiff
path: root/test/lit/binary/annotated-array-len.test
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/binary/annotated-array-len.test')
-rw-r--r--test/lit/binary/annotated-array-len.test18
1 files changed, 18 insertions, 0 deletions
diff --git a/test/lit/binary/annotated-array-len.test b/test/lit/binary/annotated-array-len.test
new file mode 100644
index 000000000..a8eb08fe7
--- /dev/null
+++ b/test/lit/binary/annotated-array-len.test
@@ -0,0 +1,18 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+
+;; Test the we can properly parse the annotated array.len format that we no
+;; longer emit.
+
+;; RUN: wasm-dis %s.wasm -all --nominal | filecheck %s
+
+;; CHECK: (type $none_=>_i32 (func_subtype (result i32) func))
+
+;; CHECK: (type $[mut:i8] (array_subtype (mut i8) data))
+
+;; CHECK: (func $0 (type $none_=>_i32) (result i32)
+;; CHECK-NEXT: (array.len
+;; CHECK-NEXT: (array.new_default $[mut:i8]
+;; CHECK-NEXT: (i32.const 0)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )