From 8377174c3bb56b58cda054b3210799439004e229 Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Tue, 18 Oct 2022 13:54:22 -0500 Subject: Parse and emit `array.len` without a type annotation (#5151) Test that we can still parse the old annotated form as well. --- test/lit/binary/annotated-array-len.test | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 test/lit/binary/annotated-array-len.test (limited to 'test/lit/binary/annotated-array-len.test') 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: ) -- cgit v1.2.3