summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/passes/no-exit-runtime.txt32
-rw-r--r--test/passes/no-exit-runtime.wast15
2 files changed, 47 insertions, 0 deletions
diff --git a/test/passes/no-exit-runtime.txt b/test/passes/no-exit-runtime.txt
new file mode 100644
index 000000000..c8913d32a
--- /dev/null
+++ b/test/passes/no-exit-runtime.txt
@@ -0,0 +1,32 @@
+(module
+ (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
+ (type $1 (func))
+ (import "env" "atexit" (func $fimport$0 (param i32 i32) (result i32)))
+ (import "env" "__cxa_atexit" (func $fimport$1 (param i32 i32) (result i32)))
+ (import "env" "_atexit" (func $fimport$2 (param i32 i32) (result i32)))
+ (import "env" "___cxa_atexit" (func $fimport$3 (param i32 i32) (result i32)))
+ (import "env" "other" (func $fimport$4 (param i32 i32) (result i32)))
+ (func $caller (; 5 ;) (type $1)
+ (drop
+ (i32.const 0)
+ )
+ (drop
+ (i32.const 0)
+ )
+ (drop
+ (i32.const 0)
+ )
+ (drop
+ (i32.const 0)
+ )
+ (drop
+ (call $fimport$4
+ (i32.const 0)
+ (i32.const 1)
+ )
+ )
+ (drop
+ (unreachable)
+ )
+ )
+)
diff --git a/test/passes/no-exit-runtime.wast b/test/passes/no-exit-runtime.wast
new file mode 100644
index 000000000..1afe5ef8d
--- /dev/null
+++ b/test/passes/no-exit-runtime.wast
@@ -0,0 +1,15 @@
+(module
+ (import "env" "atexit" (func $fimport$0 (param i32 i32) (result i32)))
+ (import "env" "__cxa_atexit" (func $fimport$1 (param i32 i32) (result i32)))
+ (import "env" "_atexit" (func $fimport$2 (param i32 i32) (result i32)))
+ (import "env" "___cxa_atexit" (func $fimport$3 (param i32 i32) (result i32)))
+ (import "env" "other" (func $fimport$4 (param i32 i32) (result i32)))
+ (func $caller
+ (drop (call $fimport$0 (i32.const 0) (i32.const 1)))
+ (drop (call $fimport$1 (i32.const 0) (i32.const 1)))
+ (drop (call $fimport$2 (i32.const 0) (i32.const 1)))
+ (drop (call $fimport$3 (i32.const 0) (i32.const 1)))
+ (drop (call $fimport$4 (i32.const 0) (i32.const 1)))
+ (drop (call $fimport$0 (unreachable) (i32.const 1)))
+ )
+)