diff options
author | Heejin Ahn <aheejin@gmail.com> | 2023-12-13 10:53:50 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-13 10:53:50 -0800 |
commit | 0024c8bdd28f701d57e49e65d38b28aad0594299 (patch) | |
tree | 19b9eb323836843d147dedf40495042edcf9404f /test/lit/basic/grow_memory.wast | |
parent | 9e636855b582d1499a87fb73f55d85102ce95a58 (diff) | |
download | binaryen-0024c8bdd28f701d57e49e65d38b28aad0594299.tar.gz binaryen-0024c8bdd28f701d57e49e65d38b28aad0594299.tar.bz2 binaryen-0024c8bdd28f701d57e49e65d38b28aad0594299.zip |
[test] Port tests in test/ to test/lit/basic/ (#6160)
This ports all tests from `test/` to `test/lit/basic/`. The set of
commands and `CHECK` lines used are the same as the ones in #6159. Now
we use `lit` to test these, this also deletes all `.wast`,
`.wast.from-wast`, `.wast.fromBinary`, and
`.wast.fromBinary.noDebugInfo` files from `test/` and all related test
routines from the python scripts.
All `CHECK` lines are generated by `update_lit_checks.py --all-items`.
This also deletes these three multi-memory tests in `test/lit/`, because
they seem to contain the same code with the ones in `test/`, which have
been ported to `test/lit/basic/` along with other tests.
- `test/lit/multi-memories-atomics64.wast`
- `test/lit/multi-memories-basics.wast`
- `test/lit/multi-memories-simd.wast`
This also adds newlines between `(func`s in case there are none to make
`CHECK` lines easy to view, and removes some extra existing newlines
here and there.
Diffstat (limited to 'test/lit/basic/grow_memory.wast')
-rw-r--r-- | test/lit/basic/grow_memory.wast | 71 |
1 files changed, 71 insertions, 0 deletions
diff --git a/test/lit/basic/grow_memory.wast b/test/lit/basic/grow_memory.wast new file mode 100644 index 000000000..2a8c45ece --- /dev/null +++ b/test/lit/basic/grow_memory.wast @@ -0,0 +1,71 @@ +;; 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 + ;; CHECK-TEXT: (type $0 (func (param i32) (result i32))) + ;; CHECK-BIN: (type $0 (func (param i32) (result i32))) + ;; CHECK-BIN-NODEBUG: (type $0 (func (param i32) (result i32))) + (type $0 (func (param i32) (result i32))) + ;; CHECK-TEXT: (type $1 (func (result i32))) + ;; CHECK-BIN: (type $1 (func (result i32))) + ;; CHECK-BIN-NODEBUG: (type $1 (func (result i32))) + (type $1 (func (result i32))) + ;; CHECK-TEXT: (memory $0 1) + ;; CHECK-BIN: (memory $0 1) + ;; CHECK-BIN-NODEBUG: (memory $0 1) + (memory $0 1) + ;; CHECK-TEXT: (export "memory" (memory $0)) + ;; CHECK-BIN: (export "memory" (memory $0)) + ;; CHECK-BIN-NODEBUG: (export "memory" (memory $0)) + (export "memory" (memory $0)) + ;; CHECK-TEXT: (export "grow" (func $0)) + ;; CHECK-BIN: (export "grow" (func $0)) + ;; CHECK-BIN-NODEBUG: (export "grow" (func $0)) + (export "grow" (func $0)) + ;; CHECK-TEXT: (export "current" (func $1)) + ;; CHECK-BIN: (export "current" (func $1)) + ;; CHECK-BIN-NODEBUG: (export "current" (func $1)) + (export "current" (func $1)) + + ;; CHECK-TEXT: (func $0 (type $0) (param $var$0 i32) (result i32) + ;; CHECK-TEXT-NEXT: (memory.grow + ;; CHECK-TEXT-NEXT: (local.get $var$0) + ;; CHECK-TEXT-NEXT: ) + ;; CHECK-TEXT-NEXT: ) + ;; CHECK-BIN: (func $0 (type $0) (param $var$0 i32) (result i32) + ;; CHECK-BIN-NEXT: (memory.grow + ;; CHECK-BIN-NEXT: (local.get $var$0) + ;; CHECK-BIN-NEXT: ) + ;; CHECK-BIN-NEXT: ) + ;; CHECK-BIN-NODEBUG: (func $0 (type $0) (param $0 i32) (result i32) + ;; CHECK-BIN-NODEBUG-NEXT: (memory.grow + ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) + ;; CHECK-BIN-NODEBUG-NEXT: ) + ;; CHECK-BIN-NODEBUG-NEXT: ) + (func $0 (; 0 ;) (type $0) (param $var$0 i32) (result i32) + (memory.grow + (local.get $var$0) + ) + ) + + ;; CHECK-TEXT: (func $1 (type $1) (result i32) + ;; CHECK-TEXT-NEXT: (memory.size) + ;; CHECK-TEXT-NEXT: ) + ;; CHECK-BIN: (func $1 (type $1) (result i32) + ;; CHECK-BIN-NEXT: (memory.size) + ;; CHECK-BIN-NEXT: ) + ;; CHECK-BIN-NODEBUG: (func $1 (type $1) (result i32) + ;; CHECK-BIN-NODEBUG-NEXT: (memory.size) + ;; CHECK-BIN-NODEBUG-NEXT: ) + (func $1 (; 1 ;) (type $1) (result i32) + (memory.size) + ) +) |