test/lit/exec/exact.wast

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

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

(module
 ;; CHECK:      [fuzz-exec] calling convert-null-extern
 ;; CHECK-NEXT: [fuzz-exec] note result: convert-null-extern => null
 (func $convert-null-extern (export "convert-null-extern") (result (exact nullref))
  (local externref)
  ;; The value produced by this cast must be exact to avoid triggering an
  ;; assertion.
  (ref.cast (exact nullref)
   (any.convert_extern
    (local.get 0)
   )
  )
 )
)
;; CHECK:      [fuzz-exec] calling convert-null-extern
;; CHECK-NEXT: [fuzz-exec] note result: convert-null-extern => null
;; CHECK-NEXT: [fuzz-exec] comparing convert-null-extern