cli exit tests: valid wasi commands must export a memory

wiggle enforces this but the specially-overridden proc_exit
function did not. Now that we proc_exit through wiggle, wiggle
will trap if it cannot import the instance's memory
This commit is contained in:
Pat Hickey
2021-01-07 11:43:46 -08:00
parent 07c9b65fa4
commit 030f01345a
7 changed files with 7 additions and 0 deletions

View File

@@ -1,6 +1,7 @@
(module
(import "wasi_unstable" "proc_exit"
(func $__wasi_proc_exit (param i32)))
(memory (export "memory") 0)
(func $_start
(call $__wasi_proc_exit (i32.const 125))
)

View File

@@ -1,6 +1,7 @@
(module
(import "wasi_snapshot_preview1" "proc_exit"
(func $__wasi_proc_exit (param i32)))
(memory (export "memory") 0)
(func $_start
(call $__wasi_proc_exit (i32.const 125))
)

View File

@@ -1,6 +1,7 @@
(module
(import "wasi_unstable" "proc_exit"
(func $__wasi_proc_exit (param i32)))
(memory (export "memory") 0)
(func $_start
(call $__wasi_proc_exit (i32.const 126))
)

View File

@@ -1,6 +1,7 @@
(module
(import "wasi_snapshot_preview1" "proc_exit"
(func $__wasi_proc_exit (param i32)))
(memory (export "memory") 0)
(func $_start
(call $__wasi_proc_exit (i32.const 126))
)

View File

@@ -1,6 +1,7 @@
(module
(import "wasi_unstable" "proc_exit"
(func $__wasi_proc_exit (param i32)))
(memory (export "memory") 0)
(func $_start
(call $__wasi_proc_exit (i32.const 2))
)

View File

@@ -1,6 +1,7 @@
(module
(import "wasi_snapshot_preview1" "proc_exit"
(func $__wasi_proc_exit (param i32)))
(memory (export "memory") 0)
(func $_start
(call $__wasi_proc_exit (i32.const 2))
)

View File

@@ -3,6 +3,7 @@
(type (func (param i32)))
(import "wasi_snapshot_preview1" "proc_exit" (func (type 0)))
(memory (export "memory") 0)
(func $exit (param i32)
local.get 0