diff options
| author | Yuhan Deng <31569419+yhdengh@users.noreply.github.com> | 2022-02-17 10:58:07 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-17 18:58:07 +0000 |
| commit | a8f401d53c61115be23271579541078fb227d78a (patch) | |
| tree | 4897c8108fa41d8112997cdda1b843016dd526d2 /test/roundtrip/apply-memory-names.txt | |
| parent | 407c5f65d172bba3d8b62579468d9c241556ef4b (diff) | |
| download | wabt-a8f401d53c61115be23271579541078fb227d78a.tar.gz wabt-a8f401d53c61115be23271579541078fb227d78a.tar.bz2 wabt-a8f401d53c61115be23271579541078fb227d78a.zip | |
Added support for multi-memory in apply-names (#1810)
Diffstat (limited to 'test/roundtrip/apply-memory-names.txt')
| -rw-r--r-- | test/roundtrip/apply-memory-names.txt | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/test/roundtrip/apply-memory-names.txt b/test/roundtrip/apply-memory-names.txt new file mode 100644 index 00000000..79a450ca --- /dev/null +++ b/test/roundtrip/apply-memory-names.txt @@ -0,0 +1,25 @@ +;;; TOOL: run-roundtrip +;;; ARGS: --stdout --generate-names --enable-multi-memory +(module + (memory 1) + (memory 1) + + (func + + i32.const 0 + i32.const 0 + i32.const 0 + memory.copy (memory 0) (memory 1) + ) +) +(;; STDOUT ;;; +(module + (type $t0 (func)) + (func $f0 (type $t0) + i32.const 0 + i32.const 0 + i32.const 0 + memory.copy $M0 $M1) + (memory $M0 1) + (memory $M1 1)) +;;; STDOUT ;;) |