42 lines
1 KiB
WebAssembly Text Format
42 lines
1 KiB
WebAssembly Text Format
;; From upstream misc_testsuite/multi-memory/simple.wast
|
|
|
|
;; Should be replaced with suitable extensions to ../meta/generate_memory_*.js
|
|
|
|
(module
|
|
(memory $mem1 1)
|
|
(memory $mem2 1)
|
|
|
|
(func (export "init1") (result i32)
|
|
(memory.init $mem1 $d (i32.const 1) (i32.const 0) (i32.const 4))
|
|
(i32.load $mem1 (i32.const 1))
|
|
)
|
|
|
|
(func (export "init2") (result i32)
|
|
(memory.init $mem2 $d (i32.const 1) (i32.const 4) (i32.const 4))
|
|
(i32.load $mem2 (i32.const 1))
|
|
)
|
|
|
|
(data $d "\01\00\00\00" "\02\00\00\00")
|
|
)
|
|
|
|
(assert_return (invoke "init1") (i32.const 1))
|
|
(assert_return (invoke "init2") (i32.const 2))
|
|
|
|
|
|
(module
|
|
(memory $mem1 1)
|
|
(memory $mem2 1)
|
|
|
|
(func (export "fill1") (result i32)
|
|
(memory.fill $mem1 (i32.const 1) (i32.const 0x01) (i32.const 4))
|
|
(i32.load $mem1 (i32.const 1))
|
|
)
|
|
|
|
(func (export "fill2") (result i32)
|
|
(memory.fill $mem2 (i32.const 1) (i32.const 0x02) (i32.const 2))
|
|
(i32.load $mem2 (i32.const 1))
|
|
)
|
|
)
|
|
|
|
(assert_return (invoke "fill1") (i32.const 0x01010101))
|
|
(assert_return (invoke "fill2") (i32.const 0x0202))
|