diff options
| author | Thomas Lively <tlively@google.com> | 2024-01-03 14:59:38 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-03 14:59:38 -0800 |
| commit | 0ed42cf976ce9a3dfbe9cbb0885122e8fb6a377b (patch) | |
| tree | b7969243a22e1878f37a8d02336ac81fd5fb7e33 /test/lit/wasm-split | |
| parent | 1878403ec9c4382ab51ca72257f4d97a23a1fc0d (diff) | |
| download | binaryen-0ed42cf976ce9a3dfbe9cbb0885122e8fb6a377b.tar.gz binaryen-0ed42cf976ce9a3dfbe9cbb0885122e8fb6a377b.tar.bz2 binaryen-0ed42cf976ce9a3dfbe9cbb0885122e8fb6a377b.zip | |
Use the standard shared memory text format (#6200)
Update the legacy text parser and all tests to use the standard text format for shared memories, e.g. `(memory $m 1 1 shared)` rather than `(memory $m (shared 1 1))`. Also remove support for non-standard in-line "data" or "segment" declarations.
This change makes the tests more compatible with the new text parser, which only supports the standard format.
Diffstat (limited to 'test/lit/wasm-split')
| -rw-r--r-- | test/lit/wasm-split/instrument-in-secondary-memory-custom-names.wast | 2 | ||||
| -rw-r--r-- | test/lit/wasm-split/instrument-in-secondary-memory.wast | 2 | ||||
| -rw-r--r-- | test/lit/wasm-split/profile-guided.wast | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/test/lit/wasm-split/instrument-in-secondary-memory-custom-names.wast b/test/lit/wasm-split/instrument-in-secondary-memory-custom-names.wast index 9035a0b8b..a211e5d8a 100644 --- a/test/lit/wasm-split/instrument-in-secondary-memory-custom-names.wast +++ b/test/lit/wasm-split/instrument-in-secondary-memory-custom-names.wast @@ -17,7 +17,7 @@ ) ;; Check that a memory import has been added for secondary memory -;; CHECK: (import "custom_env" "custom_name" (memory $custom_name (shared 1 1))) +;; CHECK: (import "custom_env" "custom_name" (memory $custom_name 1 1 shared)) ;; And the profiling function exported ;; CHECK: (export "__write_profile" (func $__write_profile)) diff --git a/test/lit/wasm-split/instrument-in-secondary-memory.wast b/test/lit/wasm-split/instrument-in-secondary-memory.wast index d68e4c1d6..26ac0ad18 100644 --- a/test/lit/wasm-split/instrument-in-secondary-memory.wast +++ b/test/lit/wasm-split/instrument-in-secondary-memory.wast @@ -17,7 +17,7 @@ ) ;; Check that a memory import has been added for secondary memory -;; CHECK: (import "env" "profile-data" (memory $profile-data (shared 1 1))) +;; CHECK: (import "env" "profile-data" (memory $profile-data 1 1 shared)) ;; And the profiling function exported ;; CHECK: (export "__write_profile" (func $__write_profile)) diff --git a/test/lit/wasm-split/profile-guided.wast b/test/lit/wasm-split/profile-guided.wast index 8270204a2..6828c19fc 100644 --- a/test/lit/wasm-split/profile-guided.wast +++ b/test/lit/wasm-split/profile-guided.wast @@ -69,7 +69,7 @@ ;; NONE: Splitting out functions: bar, bar_callee, deep_foo_callee, foo, foo_callee, shared_callee, uncalled (module - (memory $mem (shared 1 1)) + (memory $mem 1 1 shared) (export "memory" (memory $mem)) (export "foo" (func $foo)) (export "bar" (func $bar)) |