diff options
| author | Wouter van Oortmerssen <aardappel@gmail.com> | 2020-08-07 12:55:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-07 12:55:47 -0700 |
| commit | 4b9852ad23541c851031398b835d6387b1b51393 (patch) | |
| tree | c41ad109e1e54825b4da0c823c62a28a97e0ed99 /test/roundtrip/bulk-memory64.txt | |
| parent | 05c1aa18e53258fefee9a8aac656280475ccf614 (diff) | |
| download | wabt-4b9852ad23541c851031398b835d6387b1b51393.tar.gz wabt-4b9852ad23541c851031398b835d6387b1b51393.tar.bz2 wabt-4b9852ad23541c851031398b835d6387b1b51393.zip | |
Added initial "memory64" proposal support (#1500)
Diffstat (limited to 'test/roundtrip/bulk-memory64.txt')
| -rw-r--r-- | test/roundtrip/bulk-memory64.txt | 78 |
1 files changed, 78 insertions, 0 deletions
diff --git a/test/roundtrip/bulk-memory64.txt b/test/roundtrip/bulk-memory64.txt new file mode 100644 index 00000000..c6513a34 --- /dev/null +++ b/test/roundtrip/bulk-memory64.txt @@ -0,0 +1,78 @@ +;;; TOOL: run-roundtrip +;;; ARGS: --stdout --enable-bulk-memory +(module + (memory 0 i64) + (table 0 anyfunc) + + (func + i64.const 0 + i32.const 0 + i32.const 0 + memory.init 0 + + data.drop 0 + + i64.const 0 + i64.const 0 + i64.const 0 + memory.copy + + i64.const 0 + i32.const 0 + i64.const 0 + memory.fill + + i32.const 0 + i32.const 0 + i32.const 0 + table.init 0 + + elem.drop 0 + + i32.const 0 + i32.const 0 + i32.const 0 + table.copy + + ) + + (func) + + (data "hi") + (elem funcref (ref.func 0) (ref.null func)) + (elem func 1) + +) +(;; STDOUT ;;; +(module + (type (;0;) (func)) + (func (;0;) (type 0) + i64.const 0 + i32.const 0 + i32.const 0 + memory.init 0 + data.drop 0 + i64.const 0 + i64.const 0 + i64.const 0 + memory.copy + i64.const 0 + i32.const 0 + i64.const 0 + memory.fill + i32.const 0 + i32.const 0 + i32.const 0 + table.init 0 + elem.drop 0 + i32.const 0 + i32.const 0 + i32.const 0 + table.copy) + (func (;1;) (type 0)) + (table (;0;) 0 funcref) + (memory (;0;) 0 i64) + (elem (;0;) funcref (ref.func 0) (ref.null func)) + (elem (;1;) func 1) + (data (;0;) "hi")) +;;; STDOUT ;;) |