test/lit/basic/custom-descriptors.wast - external/github.com/WebAssembly/binaryen - Git at Google

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

 ;; RUN: wasm-opt %s -all -o %t.text.wast -g -S
 ;; RUN: wasm-as %s -all -g -o %t.wasm
 ;; RUN: wasm-dis %t.wasm -all -o %t.bin.wast
 ;; RUN: wasm-as %s -all -o %t.nodebug.wasm
 ;; RUN: wasm-dis %t.nodebug.wasm -all -o %t.bin.nodebug.wast
 ;; RUN: cat %t.text.wast | filecheck %s --check-prefix=CHECK-TEXT
 ;; RUN: cat %t.bin.wast | filecheck %s --check-prefix=CHECK-BIN
 ;; RUN: cat %t.bin.nodebug.wast | filecheck %s --check-prefix=CHECK-BIN-NODEBUG

 (module
   (rec
     ;; CHECK-TEXT:      (rec
     ;; CHECK-TEXT-NEXT:  (type $described (descriptor $middle) (struct))
     ;; CHECK-BIN:      (rec
     ;; CHECK-BIN-NEXT:  (type $described (descriptor $middle) (struct))
     (type $described (descriptor $middle) (struct))
     ;; CHECK-TEXT:       (type $middle (describes $described) (descriptor $describing) (struct))
     ;; CHECK-BIN:       (type $middle (describes $described) (descriptor $describing) (struct))
     (type $middle (describes $described) (descriptor $describing) (struct))
     ;; CHECK-TEXT:       (type $describing (describes $middle) (struct))
     ;; CHECK-BIN:       (type $describing (describes $middle) (struct))
     (type $describing (describes $middle) (struct))
   )

   (rec
     ;; CHECK-TEXT:      (type $3 (func (param anyref) (result anyref)))

     ;; CHECK-TEXT:      (rec
     ;; CHECK-TEXT-NEXT:  (type $pair (descriptor $pair.desc) (struct (field i32) (field i64)))
     ;; CHECK-BIN:      (type $3 (func (param anyref) (result anyref)))

     ;; CHECK-BIN:      (rec
     ;; CHECK-BIN-NEXT:  (type $pair (descriptor $pair.desc) (struct (field i32) (field i64)))
     (type $pair (descriptor $pair.desc) (struct (field i32 i64)))
     ;; CHECK-TEXT:       (type $pair.desc (describes $pair) (struct))
     ;; CHECK-BIN:       (type $pair.desc (describes $pair) (struct))
     (type $pair.desc (describes $pair) (struct))
   )

   (rec

     ;; CHECK-TEXT:      (type $6 (func))

     ;; CHECK-TEXT:      (type $7 (func (param anyref (ref null $describing))))

     ;; CHECK-TEXT:      (type $8 (func (param (ref null $describing))))

     ;; CHECK-TEXT:      (type $9 (func (result anyref)))

     ;; CHECK-TEXT:      (type $10 (func (param (ref null $middle)) (result anyref)))

     ;; CHECK-TEXT:      (type $11 (func (param (ref null (exact $middle))) (result anyref)))

     ;; CHECK-TEXT:      (type $12 (func (param anyref (ref null (exact $middle))) (result (ref null (exact $described)))))

     ;; CHECK-TEXT:      (type $13 (func (result (ref (exact $pair)))))

     ;; CHECK-TEXT:      (rec
     ;; CHECK-TEXT-NEXT:  (type $shared-described (shared (descriptor $shared-describing) (struct)))
     ;; CHECK-BIN:      (type $6 (func))

     ;; CHECK-BIN:      (type $7 (func (param anyref (ref null $describing))))

     ;; CHECK-BIN:      (type $8 (func (param (ref null $describing))))

     ;; CHECK-BIN:      (type $9 (func (result anyref)))

     ;; CHECK-BIN:      (type $10 (func (param (ref null $middle)) (result anyref)))

     ;; CHECK-BIN:      (type $11 (func (param (ref null (exact $middle))) (result anyref)))

     ;; CHECK-BIN:      (type $12 (func (param anyref (ref null (exact $middle))) (result (ref null (exact $described)))))

     ;; CHECK-BIN:      (type $13 (func (result (ref (exact $pair)))))

     ;; CHECK-BIN:      (rec
     ;; CHECK-BIN-NEXT:  (type $shared-described (shared (descriptor $shared-describing) (struct)))
     (type $shared-described (shared (descriptor $shared-describing) (struct)))
     ;; CHECK-TEXT:       (type $shared-describing (shared (describes $shared-described) (struct)))
     ;; CHECK-BIN:       (type $shared-describing (shared (describes $shared-described) (struct)))
     (type $shared-describing (shared (describes $shared-described) (struct)))
   )


   ;; CHECK-TEXT:      (type $16 (func (param (ref null $described) (ref null (exact $middle)))))

   ;; CHECK-TEXT:      (type $17 (func (param (ref any) (ref null $middle)) (result (ref null $described))))

   ;; CHECK-TEXT:      (global $g (ref null $described) (ref.null none))
   ;; CHECK-BIN:      (type $16 (func (param (ref null $described) (ref null (exact $middle)))))

   ;; CHECK-BIN:      (type $17 (func (param (ref any) (ref null $middle)) (result (ref null $described))))

   ;; CHECK-BIN:      (global $g (ref null $described) (ref.null none))
   (global $g (ref null $described) (ref.null none))
   ;; CHECK-TEXT:      (global $shared (ref null $shared-describing) (ref.null (shared none)))
   ;; CHECK-BIN:      (global $shared (ref null $shared-describing) (ref.null (shared none)))
   (global $shared (ref null $shared-describing) (ref.null (shared none)))

   ;; CHECK-TEXT:      (func $ref-get-desc (type $16) (param $described (ref null $described)) (param $middle-exact (ref null (exact $middle)))
   ;; CHECK-TEXT-NEXT:  (drop
   ;; CHECK-TEXT-NEXT:   (block $l1 (result (ref $middle))
   ;; CHECK-TEXT-NEXT:    (ref.get_desc $described
   ;; CHECK-TEXT-NEXT:     (local.get $described)
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT:  (drop
   ;; CHECK-TEXT-NEXT:   (block $l2 (result (ref (exact $describing)))
   ;; CHECK-TEXT-NEXT:    (ref.get_desc $middle
   ;; CHECK-TEXT-NEXT:     (local.get $middle-exact)
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-get-desc (type $16) (param $described (ref null $described)) (param $middle-exact (ref null (exact $middle)))
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (block (result (ref $middle))
   ;; CHECK-BIN-NEXT:    (ref.get_desc $described
   ;; CHECK-BIN-NEXT:     (local.get $described)
   ;; CHECK-BIN-NEXT:    )
   ;; CHECK-BIN-NEXT:   )
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (block (result (ref (exact $describing)))
   ;; CHECK-BIN-NEXT:    (ref.get_desc $middle
   ;; CHECK-BIN-NEXT:     (local.get $middle-exact)
   ;; CHECK-BIN-NEXT:    )
   ;; CHECK-BIN-NEXT:   )
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $ref-get-desc (param $described (ref null $described)) (param $middle-exact (ref null (exact $middle)))
     (drop
       (block $l1 (result (ref $middle))
         (ref.get_desc $described
           (local.get $described)
         )
       )
     )
     (drop
       (block $l2 (result (ref (exact $describing)))
         (ref.get_desc $middle
           (local.get $middle-exact)
         )
       )
     )
   )

   ;; CHECK-TEXT:      (func $ref-get-desc-null (type $6)
   ;; CHECK-TEXT-NEXT:  (drop
   ;; CHECK-TEXT-NEXT:   (block ;; (replaces unreachable RefGetDesc we can't emit)
   ;; CHECK-TEXT-NEXT:    (drop
   ;; CHECK-TEXT-NEXT:     (ref.null none)
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:    (unreachable)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-get-desc-null (type $6)
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (ref.null none)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (unreachable)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $ref-get-desc-null
     (drop
       (ref.get_desc $described
         (ref.null none)
       )
     )
   )

   ;; CHECK-TEXT:      (func $br-on-cast-desc (type $7) (param $any anyref) (param $descriptor (ref null $describing))
   ;; CHECK-TEXT-NEXT:  (drop
   ;; CHECK-TEXT-NEXT:   (block $l (result (ref null $middle))
   ;; CHECK-TEXT-NEXT:    (drop
   ;; CHECK-TEXT-NEXT:     (br_on_cast_desc $l anyref (ref null $middle)
   ;; CHECK-TEXT-NEXT:      (local.get $any)
   ;; CHECK-TEXT-NEXT:      (local.get $descriptor)
   ;; CHECK-TEXT-NEXT:     )
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:    (unreachable)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $br-on-cast-desc (type $7) (param $any anyref) (param $descriptor (ref null $describing))
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (block $block (result (ref null $middle))
   ;; CHECK-BIN-NEXT:    (drop
   ;; CHECK-BIN-NEXT:     (br_on_cast_desc $block anyref (ref null $middle)
   ;; CHECK-BIN-NEXT:      (local.get $any)
   ;; CHECK-BIN-NEXT:      (local.get $descriptor)
   ;; CHECK-BIN-NEXT:     )
   ;; CHECK-BIN-NEXT:    )
   ;; CHECK-BIN-NEXT:    (unreachable)
   ;; CHECK-BIN-NEXT:   )
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $br-on-cast-desc (param $any anyref) (param $descriptor (ref null $describing))
     (drop
       (block $l (result (ref null $middle))
         (br_on_cast_desc $l anyref (ref null $middle)
           (local.get $any)
           (local.get $descriptor)
         )
         (unreachable)
       )
     )
   )

   ;; CHECK-TEXT:      (func $br-on-cast-desc-fail (type $7) (param $any anyref) (param $descriptor (ref null $describing))
   ;; CHECK-TEXT-NEXT:  (drop
   ;; CHECK-TEXT-NEXT:   (block $l (result anyref)
   ;; CHECK-TEXT-NEXT:    (br_on_cast_desc_fail $l anyref (ref null $middle)
   ;; CHECK-TEXT-NEXT:     (local.get $any)
   ;; CHECK-TEXT-NEXT:     (local.get $descriptor)
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $br-on-cast-desc-fail (type $7) (param $any anyref) (param $descriptor (ref null $describing))
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (block $block (result anyref)
   ;; CHECK-BIN-NEXT:    (br_on_cast_desc_fail $block anyref (ref null $middle)
   ;; CHECK-BIN-NEXT:     (local.get $any)
   ;; CHECK-BIN-NEXT:     (local.get $descriptor)
   ;; CHECK-BIN-NEXT:    )
   ;; CHECK-BIN-NEXT:   )
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $br-on-cast-desc-fail (param $any anyref) (param $descriptor (ref null $describing))
     (drop
       (block $l (result anyref)
         (br_on_cast_desc_fail $l anyref (ref null $middle)
           (local.get $any)
           (local.get $descriptor)
         )
       )
     )
   )

   ;; CHECK-TEXT:      (func $br-on-cast-desc-unreachable (type $6)
   ;; CHECK-TEXT-NEXT:  (drop
   ;; CHECK-TEXT-NEXT:   (block $l (result (ref null $middle))
   ;; CHECK-TEXT-NEXT:    (block ;; (replaces unreachable BrOn we can't emit)
   ;; CHECK-TEXT-NEXT:     (drop
   ;; CHECK-TEXT-NEXT:      (unreachable)
   ;; CHECK-TEXT-NEXT:     )
   ;; CHECK-TEXT-NEXT:     (drop
   ;; CHECK-TEXT-NEXT:      (unreachable)
   ;; CHECK-TEXT-NEXT:     )
   ;; CHECK-TEXT-NEXT:     (unreachable)
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:    (unreachable)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $br-on-cast-desc-unreachable (type $6)
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (block (result (ref null $middle))
   ;; CHECK-BIN-NEXT:    (unreachable)
   ;; CHECK-BIN-NEXT:   )
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $br-on-cast-desc-unreachable
     (drop
       (block $l (result (ref null $middle))
         (br_on_cast_desc $l anyref (ref null $middle)
           (unreachable)
         )
         (unreachable)
       )
     )
   )

     ;; CHECK-TEXT:      (func $br-on-cast-desc-fail-unreachable (type $6)
     ;; CHECK-TEXT-NEXT:  (drop
     ;; CHECK-TEXT-NEXT:   (block $l (result (ref null $middle))
     ;; CHECK-TEXT-NEXT:    (block ;; (replaces unreachable BrOn we can't emit)
     ;; CHECK-TEXT-NEXT:     (drop
     ;; CHECK-TEXT-NEXT:      (unreachable)
     ;; CHECK-TEXT-NEXT:     )
     ;; CHECK-TEXT-NEXT:     (drop
     ;; CHECK-TEXT-NEXT:      (unreachable)
     ;; CHECK-TEXT-NEXT:     )
     ;; CHECK-TEXT-NEXT:     (unreachable)
     ;; CHECK-TEXT-NEXT:    )
     ;; CHECK-TEXT-NEXT:    (unreachable)
     ;; CHECK-TEXT-NEXT:   )
     ;; CHECK-TEXT-NEXT:  )
     ;; CHECK-TEXT-NEXT: )
     ;; CHECK-BIN:      (func $br-on-cast-desc-fail-unreachable (type $6)
     ;; CHECK-BIN-NEXT:  (drop
     ;; CHECK-BIN-NEXT:   (block (result (ref null $middle))
     ;; CHECK-BIN-NEXT:    (unreachable)
     ;; CHECK-BIN-NEXT:   )
     ;; CHECK-BIN-NEXT:  )
     ;; CHECK-BIN-NEXT: )
     (func $br-on-cast-desc-fail-unreachable
     (drop
       (block $l (result (ref null $middle))
         (br_on_cast_desc_fail $l anyref (ref null $middle)
           (unreachable)
         )
         (unreachable)
       )
     )
   )

   ;; CHECK-TEXT:      (func $br-on-cast-desc-unreachable-desc (type $8) (param $descriptor (ref null $describing))
   ;; CHECK-TEXT-NEXT:  (drop
   ;; CHECK-TEXT-NEXT:   (block $l (result (ref null $middle))
   ;; CHECK-TEXT-NEXT:    (br_on_cast_desc $l (ref null $middle) (ref null $middle)
   ;; CHECK-TEXT-NEXT:     (unreachable)
   ;; CHECK-TEXT-NEXT:     (local.get $descriptor)
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:    (unreachable)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $br-on-cast-desc-unreachable-desc (type $8) (param $descriptor (ref null $describing))
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (block (result (ref null $middle))
   ;; CHECK-BIN-NEXT:    (unreachable)
   ;; CHECK-BIN-NEXT:   )
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $br-on-cast-desc-unreachable-desc (param $descriptor (ref null $describing))
     (drop
       (block $l (result (ref null $middle))
         (br_on_cast_desc $l anyref (ref null $middle)
           (unreachable)
           (local.get $descriptor)
         )
         (unreachable)
       )
     )
   )

   ;; CHECK-TEXT:      (func $br-on-cast-desc-fail-unreachable-desc (type $8) (param $descriptor (ref null $describing))
   ;; CHECK-TEXT-NEXT:  (drop
   ;; CHECK-TEXT-NEXT:   (block $l (result (ref null $middle))
   ;; CHECK-TEXT-NEXT:    (br_on_cast_desc_fail $l (ref null $middle) (ref null $middle)
   ;; CHECK-TEXT-NEXT:     (unreachable)
   ;; CHECK-TEXT-NEXT:     (local.get $descriptor)
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:    (unreachable)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $br-on-cast-desc-fail-unreachable-desc (type $8) (param $descriptor (ref null $describing))
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (block (result (ref null $middle))
   ;; CHECK-BIN-NEXT:    (unreachable)
   ;; CHECK-BIN-NEXT:   )
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $br-on-cast-desc-fail-unreachable-desc (param $descriptor (ref null $describing))
     (drop
       (block $l (result (ref null $middle))
         (br_on_cast_desc_fail $l anyref (ref null $middle)
           (unreachable)
           (local.get $descriptor)
         )
         (unreachable)
       )
     )
   )

   ;; CHECK-TEXT:      (func $br-on-cast-desc-null (type $3) (param $0 anyref) (result anyref)
   ;; CHECK-TEXT-NEXT:  (block $label (result anyref)
   ;; CHECK-TEXT-NEXT:   (block ;; (replaces unreachable BrOn we can't emit)
   ;; CHECK-TEXT-NEXT:    (drop
   ;; CHECK-TEXT-NEXT:     (ref.null none)
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:    (drop
   ;; CHECK-TEXT-NEXT:     (ref.null none)
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:    (unreachable)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $br-on-cast-desc-null (type $3) (param $0 anyref) (result anyref)
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (ref.null none)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (ref.null none)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT:  (unreachable)
   ;; CHECK-BIN-NEXT: )
   (func $br-on-cast-desc-null (param anyref) (result anyref)
     (br_on_cast_desc 0 anyref (ref null $described)
       (ref.null none)
       (ref.null none)
     )
   )

   ;; CHECK-TEXT:      (func $br-on-cast-desc-fail-null (type $3) (param $0 anyref) (result anyref)
   ;; CHECK-TEXT-NEXT:  (block $label (result anyref)
   ;; CHECK-TEXT-NEXT:   (block ;; (replaces unreachable BrOn we can't emit)
   ;; CHECK-TEXT-NEXT:    (drop
   ;; CHECK-TEXT-NEXT:     (ref.null none)
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:    (drop
   ;; CHECK-TEXT-NEXT:     (ref.null none)
   ;; CHECK-TEXT-NEXT:    )
   ;; CHECK-TEXT-NEXT:    (unreachable)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $br-on-cast-desc-fail-null (type $3) (param $0 anyref) (result anyref)
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (ref.null none)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (ref.null none)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT:  (unreachable)
   ;; CHECK-BIN-NEXT: )
   (func $br-on-cast-desc-fail-null (param anyref) (result anyref)
     (br_on_cast_desc_fail 0 anyref (ref null $described)
       (ref.null none)
       (ref.null none)
     )
   )

   ;; CHECK-TEXT:      (func $ref-cast-desc-null-unreachable (type $9) (result anyref)
   ;; CHECK-TEXT-NEXT:  (block ;; (replaces unreachable RefCast we can't emit)
   ;; CHECK-TEXT-NEXT:   (drop
   ;; CHECK-TEXT-NEXT:    (unreachable)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:   (drop
   ;; CHECK-TEXT-NEXT:    (unreachable)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:   (unreachable)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-cast-desc-null-unreachable (type $9) (result anyref)
   ;; CHECK-BIN-NEXT:  (unreachable)
   ;; CHECK-BIN-NEXT: )
   (func $ref-cast-desc-null-unreachable (result anyref)
     (unreachable)
     (ref.cast_desc (ref null $described))
   )

   ;; CHECK-TEXT:      (func $ref-cast-desc-null-unreachable-ref (type $10) (param $descriptor (ref null $middle)) (result anyref)
   ;; CHECK-TEXT-NEXT:  (ref.cast_desc (ref $described)
   ;; CHECK-TEXT-NEXT:   (unreachable)
   ;; CHECK-TEXT-NEXT:   (local.get $descriptor)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-cast-desc-null-unreachable-ref (type $10) (param $descriptor (ref null $middle)) (result anyref)
   ;; CHECK-BIN-NEXT:  (unreachable)
   ;; CHECK-BIN-NEXT: )
   (func $ref-cast-desc-null-unreachable-ref (param $descriptor (ref null $middle)) (result anyref)
     (ref.cast_desc (ref null $described)
       (unreachable)
       (local.get $descriptor)
     )
   )

   ;; CHECK-TEXT:      (func $ref-cast-desc-unreachable-ref (type $10) (param $descriptor (ref null $middle)) (result anyref)
   ;; CHECK-TEXT-NEXT:  (ref.cast_desc (ref $described)
   ;; CHECK-TEXT-NEXT:   (unreachable)
   ;; CHECK-TEXT-NEXT:   (local.get $descriptor)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-cast-desc-unreachable-ref (type $10) (param $descriptor (ref null $middle)) (result anyref)
   ;; CHECK-BIN-NEXT:  (unreachable)
   ;; CHECK-BIN-NEXT: )
   (func $ref-cast-desc-unreachable-ref (param $descriptor (ref null $middle)) (result anyref)
     (ref.cast_desc (ref $described)
       (unreachable)
       (local.get $descriptor)
     )
   )

   ;; CHECK-TEXT:      (func $ref-cast-desc-exact-null-unreachable-ref (type $11) (param $descriptor (ref null (exact $middle))) (result anyref)
   ;; CHECK-TEXT-NEXT:  (ref.cast_desc (ref (exact $described))
   ;; CHECK-TEXT-NEXT:   (unreachable)
   ;; CHECK-TEXT-NEXT:   (local.get $descriptor)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-cast-desc-exact-null-unreachable-ref (type $11) (param $descriptor (ref null (exact $middle))) (result anyref)
   ;; CHECK-BIN-NEXT:  (unreachable)
   ;; CHECK-BIN-NEXT: )
   (func $ref-cast-desc-exact-null-unreachable-ref (param $descriptor (ref null (exact $middle))) (result anyref)
     (ref.cast_desc (ref null (exact $described))
       (unreachable)
       (local.get $descriptor)
     )
   )

   ;; CHECK-TEXT:      (func $ref-cast-desc-exact-unreachable-ref (type $11) (param $descriptor (ref null (exact $middle))) (result anyref)
   ;; CHECK-TEXT-NEXT:  (ref.cast_desc (ref (exact $described))
   ;; CHECK-TEXT-NEXT:   (unreachable)
   ;; CHECK-TEXT-NEXT:   (local.get $descriptor)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-cast-desc-exact-unreachable-ref (type $11) (param $descriptor (ref null (exact $middle))) (result anyref)
   ;; CHECK-BIN-NEXT:  (unreachable)
   ;; CHECK-BIN-NEXT: )
   (func $ref-cast-desc-exact-unreachable-ref (param $descriptor (ref null (exact $middle))) (result anyref)
     (ref.cast_desc (ref (exact $described))
       (unreachable)
       (local.get $descriptor)
     )
   )

   ;; CHECK-TEXT:      (func $ref-cast-desc-null-null (type $3) (param $0 anyref) (result anyref)
   ;; CHECK-TEXT-NEXT:  (block ;; (replaces unreachable RefCast we can't emit)
   ;; CHECK-TEXT-NEXT:   (drop
   ;; CHECK-TEXT-NEXT:    (ref.null none)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:   (drop
   ;; CHECK-TEXT-NEXT:    (ref.null none)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:   (unreachable)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-cast-desc-null-null (type $3) (param $0 anyref) (result anyref)
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (ref.null none)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (ref.null none)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT:  (unreachable)
   ;; CHECK-BIN-NEXT: )
   (func $ref-cast-desc-null-null (param anyref) (result anyref)
     (ref.cast_desc (ref null $described)
       (ref.null none)
       (ref.null none)
     )
   )

   ;; CHECK-TEXT:      (func $ref-cast-desc-null-exact (type $12) (param $any anyref) (param $middle (ref null (exact $middle))) (result (ref null (exact $described)))
   ;; CHECK-TEXT-NEXT:  (ref.cast_desc (ref null (exact $described))
   ;; CHECK-TEXT-NEXT:   (local.get $any)
   ;; CHECK-TEXT-NEXT:   (local.get $middle)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-cast-desc-null-exact (type $12) (param $any anyref) (param $middle (ref null (exact $middle))) (result (ref null (exact $described)))
   ;; CHECK-BIN-NEXT:  (ref.cast_desc (ref null (exact $described))
   ;; CHECK-BIN-NEXT:   (local.get $any)
   ;; CHECK-BIN-NEXT:   (local.get $middle)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $ref-cast-desc-null-exact (param $any anyref) (param $middle (ref null (exact $middle))) (result (ref null (exact $described)))
     ;; The cast type is exact because the descriptor is exact.
     (ref.cast_desc (ref null (exact $described))
       (local.get $any)
       (local.get $middle)
     )
   )

   ;; CHECK-TEXT:      (func $ref-cast-desc-nn-unreachable (type $9) (result anyref)
   ;; CHECK-TEXT-NEXT:  (block ;; (replaces unreachable RefCast we can't emit)
   ;; CHECK-TEXT-NEXT:   (drop
   ;; CHECK-TEXT-NEXT:    (unreachable)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:   (drop
   ;; CHECK-TEXT-NEXT:    (unreachable)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:   (unreachable)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-cast-desc-nn-unreachable (type $9) (result anyref)
   ;; CHECK-BIN-NEXT:  (unreachable)
   ;; CHECK-BIN-NEXT: )
   (func $ref-cast-desc-nn-unreachable (result anyref)
     (unreachable)
     (ref.cast_desc (ref $described))
   )

   ;; CHECK-TEXT:      (func $ref-cast-desc-nn-null (type $3) (param $0 anyref) (result anyref)
   ;; CHECK-TEXT-NEXT:  (block ;; (replaces unreachable RefCast we can't emit)
   ;; CHECK-TEXT-NEXT:   (drop
   ;; CHECK-TEXT-NEXT:    (ref.null none)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:   (drop
   ;; CHECK-TEXT-NEXT:    (ref.null none)
   ;; CHECK-TEXT-NEXT:   )
   ;; CHECK-TEXT-NEXT:   (unreachable)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-cast-desc-nn-null (type $3) (param $0 anyref) (result anyref)
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (ref.null none)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT:  (drop
   ;; CHECK-BIN-NEXT:   (ref.null none)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT:  (unreachable)
   ;; CHECK-BIN-NEXT: )
   (func $ref-cast-desc-nn-null (param anyref) (result anyref)
     (ref.cast_desc (ref $described)
       (ref.null none)
       (ref.null none)
     )
   )

   ;; CHECK-TEXT:      (func $ref-cast-desc-nn-exact (type $12) (param $any anyref) (param $middle (ref null (exact $middle))) (result (ref null (exact $described)))
   ;; CHECK-TEXT-NEXT:  (ref.cast_desc (ref (exact $described))
   ;; CHECK-TEXT-NEXT:   (local.get $any)
   ;; CHECK-TEXT-NEXT:   (local.get $middle)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-cast-desc-nn-exact (type $12) (param $any anyref) (param $middle (ref null (exact $middle))) (result (ref null (exact $described)))
   ;; CHECK-BIN-NEXT:  (ref.cast_desc (ref (exact $described))
   ;; CHECK-BIN-NEXT:   (local.get $any)
   ;; CHECK-BIN-NEXT:   (local.get $middle)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $ref-cast-desc-nn-exact (param $any anyref) (param $middle (ref null (exact $middle))) (result (ref null (exact $described)))
     ;; The cast type is exact because the descriptor is exact.
     (ref.cast_desc (ref (exact $described))
       (local.get $any)
       (local.get $middle)
     )
   )

   ;; CHECK-TEXT:      (func $ref-cast-desc-nn-to-null (type $17) (param $any-nn (ref any)) (param $middle (ref null $middle)) (result (ref null $described))
   ;; CHECK-TEXT-NEXT:  (ref.cast_desc (ref $described)
   ;; CHECK-TEXT-NEXT:   (local.get $any-nn)
   ;; CHECK-TEXT-NEXT:   (local.get $middle)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $ref-cast-desc-nn-to-null (type $17) (param $any-nn (ref any)) (param $middle (ref null $middle)) (result (ref null $described))
   ;; CHECK-BIN-NEXT:  (ref.cast_desc (ref $described)
   ;; CHECK-BIN-NEXT:   (local.get $any-nn)
   ;; CHECK-BIN-NEXT:   (local.get $middle)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $ref-cast-desc-nn-to-null (param $any-nn (ref any)) (param $middle (ref null $middle)) (result (ref null $described))
     (ref.cast_desc (ref null $described)
       (local.get $any-nn)
       (local.get $middle)
     )
   )

   ;; CHECK-TEXT:      (func $struct-new (type $13) (result (ref (exact $pair)))
   ;; CHECK-TEXT-NEXT:  (struct.new $pair
   ;; CHECK-TEXT-NEXT:   (i32.const 0)
   ;; CHECK-TEXT-NEXT:   (i64.const 1)
   ;; CHECK-TEXT-NEXT:   (struct.new_default $pair.desc)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $struct-new (type $13) (result (ref (exact $pair)))
   ;; CHECK-BIN-NEXT:  (struct.new $pair
   ;; CHECK-BIN-NEXT:   (i32.const 0)
   ;; CHECK-BIN-NEXT:   (i64.const 1)
   ;; CHECK-BIN-NEXT:   (struct.new_default $pair.desc)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $struct-new (result (ref (exact $pair)))
     (struct.new $pair
       (i32.const 0)
       (i64.const 1)
       (struct.new $pair.desc)
     )
   )

   ;; CHECK-TEXT:      (func $struct-new-default (type $13) (result (ref (exact $pair)))
   ;; CHECK-TEXT-NEXT:  (struct.new_default $pair
   ;; CHECK-TEXT-NEXT:   (struct.new_default $pair.desc)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
   ;; CHECK-BIN:      (func $struct-new-default (type $13) (result (ref (exact $pair)))
   ;; CHECK-BIN-NEXT:  (struct.new_default $pair
   ;; CHECK-BIN-NEXT:   (struct.new_default $pair.desc)
   ;; CHECK-BIN-NEXT:  )
   ;; CHECK-BIN-NEXT: )
   (func $struct-new-default (result (ref (exact $pair)))
     (struct.new_default $pair
       (struct.new $pair.desc)
     )
   )

 )
 ;; CHECK-BIN-NODEBUG:      (rec
 ;; CHECK-BIN-NODEBUG-NEXT:  (type $0 (descriptor $1) (struct))

 ;; CHECK-BIN-NODEBUG:       (type $1 (describes $0) (descriptor $2) (struct))

 ;; CHECK-BIN-NODEBUG:       (type $2 (describes $1) (struct))

 ;; CHECK-BIN-NODEBUG:      (type $3 (func (param anyref) (result anyref)))

 ;; CHECK-BIN-NODEBUG:      (rec
 ;; CHECK-BIN-NODEBUG-NEXT:  (type $4 (descriptor $5) (struct (field i32) (field i64)))

 ;; CHECK-BIN-NODEBUG:       (type $5 (describes $4) (struct))

 ;; CHECK-BIN-NODEBUG:      (type $6 (func))

 ;; CHECK-BIN-NODEBUG:      (type $7 (func (param anyref (ref null $2))))

 ;; CHECK-BIN-NODEBUG:      (type $8 (func (param (ref null $2))))

 ;; CHECK-BIN-NODEBUG:      (type $9 (func (result anyref)))

 ;; CHECK-BIN-NODEBUG:      (type $10 (func (param (ref null $1)) (result anyref)))

 ;; CHECK-BIN-NODEBUG:      (type $11 (func (param (ref null (exact $1))) (result anyref)))

 ;; CHECK-BIN-NODEBUG:      (type $12 (func (param anyref (ref null (exact $1))) (result (ref null (exact $0)))))

 ;; CHECK-BIN-NODEBUG:      (type $13 (func (result (ref (exact $4)))))

 ;; CHECK-BIN-NODEBUG:      (rec
 ;; CHECK-BIN-NODEBUG-NEXT:  (type $14 (shared (descriptor $15) (struct)))

 ;; CHECK-BIN-NODEBUG:       (type $15 (shared (describes $14) (struct)))

 ;; CHECK-BIN-NODEBUG:      (type $16 (func (param (ref null $0) (ref null (exact $1)))))

 ;; CHECK-BIN-NODEBUG:      (type $17 (func (param (ref any) (ref null $1)) (result (ref null $0))))

 ;; CHECK-BIN-NODEBUG:      (global $global$0 (ref null $0) (ref.null none))

 ;; CHECK-BIN-NODEBUG:      (global $global$1 (ref null $15) (ref.null (shared none)))

 ;; CHECK-BIN-NODEBUG:      (func $0 (type $16) (param $0 (ref null $0)) (param $1 (ref null (exact $1)))
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (block (result (ref $1))
 ;; CHECK-BIN-NODEBUG-NEXT:    (ref.get_desc $0
 ;; CHECK-BIN-NODEBUG-NEXT:     (local.get $0)
 ;; CHECK-BIN-NODEBUG-NEXT:    )
 ;; CHECK-BIN-NODEBUG-NEXT:   )
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (block (result (ref (exact $2)))
 ;; CHECK-BIN-NODEBUG-NEXT:    (ref.get_desc $1
 ;; CHECK-BIN-NODEBUG-NEXT:     (local.get $1)
 ;; CHECK-BIN-NODEBUG-NEXT:    )
 ;; CHECK-BIN-NODEBUG-NEXT:   )
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $1 (type $6)
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (ref.null none)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $2 (type $7) (param $0 anyref) (param $1 (ref null $2))
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (block $block (result (ref null $1))
 ;; CHECK-BIN-NODEBUG-NEXT:    (drop
 ;; CHECK-BIN-NODEBUG-NEXT:     (br_on_cast_desc $block anyref (ref null $1)
 ;; CHECK-BIN-NODEBUG-NEXT:      (local.get $0)
 ;; CHECK-BIN-NODEBUG-NEXT:      (local.get $1)
 ;; CHECK-BIN-NODEBUG-NEXT:     )
 ;; CHECK-BIN-NODEBUG-NEXT:    )
 ;; CHECK-BIN-NODEBUG-NEXT:    (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT:   )
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $3 (type $7) (param $0 anyref) (param $1 (ref null $2))
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (block $block (result anyref)
 ;; CHECK-BIN-NODEBUG-NEXT:    (br_on_cast_desc_fail $block anyref (ref null $1)
 ;; CHECK-BIN-NODEBUG-NEXT:     (local.get $0)
 ;; CHECK-BIN-NODEBUG-NEXT:     (local.get $1)
 ;; CHECK-BIN-NODEBUG-NEXT:    )
 ;; CHECK-BIN-NODEBUG-NEXT:   )
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $4 (type $6)
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (block (result (ref null $1))
 ;; CHECK-BIN-NODEBUG-NEXT:    (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT:   )
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $5 (type $6)
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (block (result (ref null $1))
 ;; CHECK-BIN-NODEBUG-NEXT:    (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT:   )
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $6 (type $8) (param $0 (ref null $2))
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (block (result (ref null $1))
 ;; CHECK-BIN-NODEBUG-NEXT:    (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT:   )
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $7 (type $8) (param $0 (ref null $2))
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (block (result (ref null $1))
 ;; CHECK-BIN-NODEBUG-NEXT:    (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT:   )
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $8 (type $3) (param $0 anyref) (result anyref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (ref.null none)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (ref.null none)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT:  (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $9 (type $3) (param $0 anyref) (result anyref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (ref.null none)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (ref.null none)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT:  (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $10 (type $9) (result anyref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $11 (type $10) (param $0 (ref null $1)) (result anyref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $12 (type $10) (param $0 (ref null $1)) (result anyref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $13 (type $11) (param $0 (ref null (exact $1))) (result anyref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $14 (type $11) (param $0 (ref null (exact $1))) (result anyref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $15 (type $3) (param $0 anyref) (result anyref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (ref.null none)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (ref.null none)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT:  (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $16 (type $12) (param $0 anyref) (param $1 (ref null (exact $1))) (result (ref null (exact $0)))
 ;; CHECK-BIN-NODEBUG-NEXT:  (ref.cast_desc (ref null (exact $0))
 ;; CHECK-BIN-NODEBUG-NEXT:   (local.get $0)
 ;; CHECK-BIN-NODEBUG-NEXT:   (local.get $1)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $17 (type $9) (result anyref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $18 (type $3) (param $0 anyref) (result anyref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (ref.null none)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT:  (drop
 ;; CHECK-BIN-NODEBUG-NEXT:   (ref.null none)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT:  (unreachable)
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $19 (type $12) (param $0 anyref) (param $1 (ref null (exact $1))) (result (ref null (exact $0)))
 ;; CHECK-BIN-NODEBUG-NEXT:  (ref.cast_desc (ref (exact $0))
 ;; CHECK-BIN-NODEBUG-NEXT:   (local.get $0)
 ;; CHECK-BIN-NODEBUG-NEXT:   (local.get $1)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $20 (type $17) (param $0 (ref any)) (param $1 (ref null $1)) (result (ref null $0))
 ;; CHECK-BIN-NODEBUG-NEXT:  (ref.cast_desc (ref $0)
 ;; CHECK-BIN-NODEBUG-NEXT:   (local.get $0)
 ;; CHECK-BIN-NODEBUG-NEXT:   (local.get $1)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $21 (type $13) (result (ref (exact $4)))
 ;; CHECK-BIN-NODEBUG-NEXT:  (struct.new $4
 ;; CHECK-BIN-NODEBUG-NEXT:   (i32.const 0)
 ;; CHECK-BIN-NODEBUG-NEXT:   (i64.const 1)
 ;; CHECK-BIN-NODEBUG-NEXT:   (struct.new_default $5)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )

 ;; CHECK-BIN-NODEBUG:      (func $22 (type $13) (result (ref (exact $4)))
 ;; CHECK-BIN-NODEBUG-NEXT:  (struct.new_default $4
 ;; CHECK-BIN-NODEBUG-NEXT:   (struct.new_default $5)
 ;; CHECK-BIN-NODEBUG-NEXT:  )
 ;; CHECK-BIN-NODEBUG-NEXT: )