summaryrefslogtreecommitdiff
path: root/test/lit/binary/annotated-array-len.test
blob: a8eb08fe7fa6269f9b86968a3103f85d8160571a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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: )