| ;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. | |
| ;; Test that we can parse a binary with a delegate that targets a block instead | |
| ;; of a try-catch. | |
| ;; Disassembled binary from wabt: | |
| ;; | |
| ;; (module | |
| ;; (type (;0;) (func)) | |
| ;; (func (;0;) (type 0) | |
| ;; block ;; label = @1 | |
| ;; try ;; label = @2 | |
| ;; nop | |
| ;; delegate 0 | |
| ;; end)) | |
| ;; RUN: wasm-opt -all %s.wasm -S -o - | filecheck %s | |
| ;; CHECK: (type $0 (func)) | |
| ;; CHECK: (func $0 (type $0) | |
| ;; CHECK-NEXT: (try | |
| ;; CHECK-NEXT: (do | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (delegate 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) |