| ;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. |
| |
| ;; Check that if we emit a binary without custom descriptors enabled, the exact |
| ;; types are generalized to be inexact. |
| |
| ;; RUN: wasm-opt %s -all --disable-custom-descriptors -g -o %t.noexact.wasm |
| ;; RUN: wasm-opt %t.noexact.wasm -all -S -o - | filecheck %s |
| |
| (module |
| ;; CHECK: (type $foo (struct (field (ref null $foo)) (field (ref $foo)))) |
| (type $foo (struct (field (ref null (exact $foo)) (ref (exact $foo))))) |
| |
| ;; CHECK: (type $1 (func (param (ref $foo)))) |
| |
| ;; CHECK: (global $g (ref null $foo) (ref.null none)) |
| (global $g (ref null (exact $foo)) (ref.null none)) |
| |
| ;; CHECK: (func $f (type $1) (param $0 (ref $foo)) |
| ;; CHECK-NEXT: (local $1 (ref null $foo)) |
| ;; CHECK-NEXT: ) |
| (func $f (param (ref (exact $foo))) |
| (local (ref null (exact $foo))) |
| ) |
| ) |
