diff options
| author | Jérôme Vouillon <jerome.vouillon@gmail.com> | 2024-04-02 13:10:52 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-02 10:10:52 -0700 |
| commit | 35df5043764b41d7c23d15db5518cfe8becb3564 (patch) | |
| tree | 15b516baf8bb21a4300309a7b9261e6afcc5e7d0 /test/lit/basic/extended-names-passive-data-segments.wast | |
| parent | 4e2ebbd6de6f99e5972654b3f50ddbc1c6839a73 (diff) | |
| download | binaryen-35df5043764b41d7c23d15db5518cfe8becb3564.tar.gz binaryen-35df5043764b41d7c23d15db5518cfe8becb3564.tar.bz2 binaryen-35df5043764b41d7c23d15db5518cfe8becb3564.zip | |
Fix writing of data segment names in name section (#6462)
- Output segment names even when no memory is declared.
- Only write explicit names.
Diffstat (limited to 'test/lit/basic/extended-names-passive-data-segments.wast')
| -rw-r--r-- | test/lit/basic/extended-names-passive-data-segments.wast | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/test/lit/basic/extended-names-passive-data-segments.wast b/test/lit/basic/extended-names-passive-data-segments.wast new file mode 100644 index 000000000..e2d63ed3f --- /dev/null +++ b/test/lit/basic/extended-names-passive-data-segments.wast @@ -0,0 +1,27 @@ +;; 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 $foo + + ;; Check that passive data segment names are output even when there + ;; is no declared memory + ;; CHECK-TEXT: (data $passive_data "b") + ;; CHECK-BIN: (data $passive_data "b") + (data $passive_data "b") + (data "c") +) +;; CHECK-TEXT: (data $1 "c") + +;; CHECK-BIN: (data $1 "c") + +;; CHECK-BIN-NODEBUG: (data $0 "b") + +;; CHECK-BIN-NODEBUG: (data $1 "c") |