| ;; 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)) | |
| ) |