blob: 9cadea70b4602bf93b5e46f55bdcba3f192fabe2 [file] [edit]
;;; TOOL: run-roundtrip
;;; ARGS: --stdout --enable-memory64
(module
(memory i64 0)
(table 0 funcref)
(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;) i64 0)
(elem (;0;) funcref (ref.func 0) (ref.null func))
(elem (;1;) func 1)
(data (;0;) "hi"))
;;; STDOUT ;;)