test/lit/exec/resume_throw_ref.wast

;; NOTE: Assertions have been generated by update_lit_checks.py --all-items --output=fuzz-exec and should not be edited.

;; RUN: wasm-opt %s -all --fuzz-exec-before -q -o /dev/null 2>&1 | filecheck %s

(module
 (type $empty (func))
 (type $cont (cont $empty))

 (func $empty
 )

 ;; CHECK:      [fuzz-exec] export test
 ;; CHECK-NEXT: [trap null ref]
 (func $test (export "test")
  ;; The exnref here is null, which we trap on.
  (resume_throw_ref $cont
   (ref.null noexn)
   (cont.new $cont
    (ref.func $empty)
   )
  )
 )
)