| ;; 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 | filecheck %s |
| |
| ;; CHECK: (type $none_=>_i32 (func (result i32))) |
| |
| ;; CHECK: (type $[mut:i8] (array (mut i8))) |
| |
| ;; 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: ) |
