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

;; RUN: wasm-opt %s -all --roundtrip --print | filecheck %s

;; Test that we properly read and write table exports in the binary format.
(module
 ;; Two different tables, each exported.

 ;; CHECK:      (table $0 25 25 funcref)
 (table $0 25 25 funcref)
 ;; CHECK:      (table $1 32 anyref)
 (table $1 32 anyref)

 ;; Each export should export the right table.

 ;; CHECK:      (export "table0" (table $0))
 (export "table0" (table $0))
 ;; CHECK:      (export "table1" (table $1))
 (export "table1" (table $1))
)