summaryrefslogtreecommitdiff
path: root/test/lit/passes
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes')
-rw-r--r--test/lit/passes/asyncify_enable-multivalue.wast18
-rw-r--r--test/lit/passes/asyncify_mod-asyncify-always-and-only-unwind.wast6
-rw-r--r--test/lit/passes/asyncify_mod-asyncify-never-unwind.wast6
-rw-r--r--test/lit/passes/asyncify_optimize-level=1.wast6
-rw-r--r--test/lit/passes/asyncify_pass-arg=asyncify-asserts_pass-arg=asyncify-onlylist@waka.wast110
-rw-r--r--test/lit/passes/asyncify_pass-arg=asyncify-ignore-imports.wast12
-rw-r--r--test/lit/passes/asyncify_pass-arg=asyncify-ignore-indirect.wast6
-rw-r--r--test/lit/passes/asyncify_pass-arg=asyncify-imports@env.import,env.import2.wast96
8 files changed, 45 insertions, 215 deletions
diff --git a/test/lit/passes/asyncify_enable-multivalue.wast b/test/lit/passes/asyncify_enable-multivalue.wast
index 28210034b..c9a84d458 100644
--- a/test/lit/passes/asyncify_enable-multivalue.wast
+++ b/test/lit/passes/asyncify_enable-multivalue.wast
@@ -37,18 +37,10 @@
;; CHECK: (export "asyncify_get_state" (func $asyncify_get_state))
;; CHECK: (func $do_sleep
- ;; CHECK-NEXT: (local $0 i32)
- ;; CHECK-NEXT: (local $1 i32)
- ;; CHECK-NEXT: (local.set $0
- ;; CHECK-NEXT: (global.get $sleeping)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.set $1
+ ;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.eqz
- ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: (global.get $sleeping)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (local.get $1)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (global.set $sleeping
;; CHECK-NEXT: (i32.const 1)
@@ -834,15 +826,11 @@
(drop (call $import2))
)
;; CHECK: (func $calls-nothing
- ;; CHECK-NEXT: (local $0 i32)
- ;; CHECK-NEXT: (local.set $0
+ ;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.eqz
;; CHECK-NEXT: (i32.const 17)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (local.get $0)
- ;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $calls-nothing
(drop (i32.eqz (i32.const 17)))
diff --git a/test/lit/passes/asyncify_mod-asyncify-always-and-only-unwind.wast b/test/lit/passes/asyncify_mod-asyncify-always-and-only-unwind.wast
index dc89dab7f..ea14c2400 100644
--- a/test/lit/passes/asyncify_mod-asyncify-always-and-only-unwind.wast
+++ b/test/lit/passes/asyncify_mod-asyncify-always-and-only-unwind.wast
@@ -415,15 +415,11 @@
(drop (call $import2))
)
;; CHECK: (func $calls-nothing
- ;; CHECK-NEXT: (local $0 i32)
- ;; CHECK-NEXT: (local.set $0
+ ;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.eqz
;; CHECK-NEXT: (i32.const 17)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (local.get $0)
- ;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $calls-nothing
(drop (i32.eqz (i32.const 17)))
diff --git a/test/lit/passes/asyncify_mod-asyncify-never-unwind.wast b/test/lit/passes/asyncify_mod-asyncify-never-unwind.wast
index dce366b82..67bfb5694 100644
--- a/test/lit/passes/asyncify_mod-asyncify-never-unwind.wast
+++ b/test/lit/passes/asyncify_mod-asyncify-never-unwind.wast
@@ -433,15 +433,11 @@
(drop (call $import2))
)
;; CHECK: (func $calls-nothing
- ;; CHECK-NEXT: (local $0 i32)
- ;; CHECK-NEXT: (local.set $0
+ ;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.eqz
;; CHECK-NEXT: (i32.const 17)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (local.get $0)
- ;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $calls-nothing
(drop (i32.eqz (i32.const 17)))
diff --git a/test/lit/passes/asyncify_optimize-level=1.wast b/test/lit/passes/asyncify_optimize-level=1.wast
index 0affdb757..65432a2ea 100644
--- a/test/lit/passes/asyncify_optimize-level=1.wast
+++ b/test/lit/passes/asyncify_optimize-level=1.wast
@@ -301,7 +301,11 @@
(drop (call $import2))
)
;; CHECK: (func $calls-nothing
- ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (i32.eqz
+ ;; CHECK-NEXT: (i32.const 17)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $calls-nothing
(drop (i32.eqz (i32.const 17)))
diff --git a/test/lit/passes/asyncify_pass-arg=asyncify-asserts_pass-arg=asyncify-onlylist@waka.wast b/test/lit/passes/asyncify_pass-arg=asyncify-asserts_pass-arg=asyncify-onlylist@waka.wast
index 03a8dfe96..cd42c9c2d 100644
--- a/test/lit/passes/asyncify_pass-arg=asyncify-asserts_pass-arg=asyncify-onlylist@waka.wast
+++ b/test/lit/passes/asyncify_pass-arg=asyncify-asserts_pass-arg=asyncify-onlylist@waka.wast
@@ -39,50 +39,14 @@
;; CHECK: (export "asyncify_get_state" (func $asyncify_get_state))
;; CHECK: (func $calls-import
- ;; CHECK-NEXT: (local $0 i32)
- ;; CHECK-NEXT: (local.set $0
- ;; CHECK-NEXT: (global.get $__asyncify_state)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (call $import)
- ;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (i32.ne
- ;; CHECK-NEXT: (global.get $__asyncify_state)
- ;; CHECK-NEXT: (local.get $0)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (unreachable)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (call $import)
;; CHECK-NEXT: )
(func $calls-import
(call $import)
)
;; CHECK: (func $calls-import2-drop
- ;; CHECK-NEXT: (local $0 i32)
- ;; CHECK-NEXT: (local $1 i32)
- ;; CHECK-NEXT: (local $2 i32)
- ;; CHECK-NEXT: (local.set $1
- ;; CHECK-NEXT: (global.get $__asyncify_state)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (local.set $0
- ;; CHECK-NEXT: (block (result i32)
- ;; CHECK-NEXT: (local.set $2
- ;; CHECK-NEXT: (call $import2)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (i32.ne
- ;; CHECK-NEXT: (global.get $__asyncify_state)
- ;; CHECK-NEXT: (local.get $1)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (unreachable)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.get $2)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (local.get $0)
- ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (call $import2)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $calls-import2-drop
@@ -90,49 +54,10 @@
)
;; CHECK: (func $returns (result i32)
;; CHECK-NEXT: (local $x i32)
- ;; CHECK-NEXT: (local $1 i32)
- ;; CHECK-NEXT: (local $2 i32)
- ;; CHECK-NEXT: (local $3 i32)
- ;; CHECK-NEXT: (local $4 i32)
- ;; CHECK-NEXT: (local $5 i32)
- ;; CHECK-NEXT: (local $6 i32)
- ;; CHECK-NEXT: (local.set $5
- ;; CHECK-NEXT: (global.get $__asyncify_state)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (local.set $1
- ;; CHECK-NEXT: (block (result i32)
- ;; CHECK-NEXT: (local.set $6
- ;; CHECK-NEXT: (call $import2)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (i32.ne
- ;; CHECK-NEXT: (global.get $__asyncify_state)
- ;; CHECK-NEXT: (local.get $5)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (unreachable)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.get $6)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.set $x
- ;; CHECK-NEXT: (local.get $1)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.set $2
- ;; CHECK-NEXT: (local.get $x)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.set $3
- ;; CHECK-NEXT: (local.get $2)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.set $4
- ;; CHECK-NEXT: (local.get $3)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (return
- ;; CHECK-NEXT: (local.get $4)
- ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (local.set $x
+ ;; CHECK-NEXT: (call $import2)
;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
(func $returns (result i32)
(local $x i32)
@@ -140,27 +65,8 @@
(local.get $x)
)
;; CHECK: (func $calls-indirect (param $x i32)
- ;; CHECK-NEXT: (local $1 i32)
- ;; CHECK-NEXT: (local $2 i32)
- ;; CHECK-NEXT: (local.set $2
- ;; CHECK-NEXT: (global.get $__asyncify_state)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (local.set $1
- ;; CHECK-NEXT: (local.get $x)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (call_indirect (type $f)
- ;; CHECK-NEXT: (local.get $1)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (i32.ne
- ;; CHECK-NEXT: (global.get $__asyncify_state)
- ;; CHECK-NEXT: (local.get $2)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (unreachable)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (call_indirect (type $f)
+ ;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $calls-indirect (param $x i32)
diff --git a/test/lit/passes/asyncify_pass-arg=asyncify-ignore-imports.wast b/test/lit/passes/asyncify_pass-arg=asyncify-ignore-imports.wast
index 9fd019f8c..7cd0137f3 100644
--- a/test/lit/passes/asyncify_pass-arg=asyncify-ignore-imports.wast
+++ b/test/lit/passes/asyncify_pass-arg=asyncify-ignore-imports.wast
@@ -45,24 +45,16 @@
(call $import)
)
;; CHECK: (func $calls-import2-drop
- ;; CHECK-NEXT: (local $0 i32)
- ;; CHECK-NEXT: (local.set $0
- ;; CHECK-NEXT: (call $import2)
- ;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: (call $import2)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $calls-import2-drop
(drop (call $import2))
)
;; CHECK: (func $calls-import2-if-else (param $x i32)
- ;; CHECK-NEXT: (local $1 i32)
- ;; CHECK-NEXT: (local.set $1
- ;; CHECK-NEXT: (local.get $x)
- ;; CHECK-NEXT: )
;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (local.get $1)
+ ;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: (call $import3
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
diff --git a/test/lit/passes/asyncify_pass-arg=asyncify-ignore-indirect.wast b/test/lit/passes/asyncify_pass-arg=asyncify-ignore-indirect.wast
index 1d7fd1797..83de99da1 100644
--- a/test/lit/passes/asyncify_pass-arg=asyncify-ignore-indirect.wast
+++ b/test/lit/passes/asyncify_pass-arg=asyncify-ignore-indirect.wast
@@ -485,12 +485,8 @@
)
)
;; CHECK: (func $calls-indirect (param $x i32)
- ;; CHECK-NEXT: (local $1 i32)
- ;; CHECK-NEXT: (local.set $1
- ;; CHECK-NEXT: (local.get $x)
- ;; CHECK-NEXT: )
;; CHECK-NEXT: (call_indirect (type $f)
- ;; CHECK-NEXT: (local.get $1)
+ ;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $calls-indirect (param $x i32)
diff --git a/test/lit/passes/asyncify_pass-arg=asyncify-imports@env.import,env.import2.wast b/test/lit/passes/asyncify_pass-arg=asyncify-imports@env.import,env.import2.wast
index 5b355ba06..89690a3f0 100644
--- a/test/lit/passes/asyncify_pass-arg=asyncify-imports@env.import,env.import2.wast
+++ b/test/lit/passes/asyncify_pass-arg=asyncify-imports@env.import,env.import2.wast
@@ -36,18 +36,10 @@
;; CHECK: (export "asyncify_get_state" (func $asyncify_get_state))
;; CHECK: (func $do_sleep
- ;; CHECK-NEXT: (local $0 i32)
- ;; CHECK-NEXT: (local $1 i32)
- ;; CHECK-NEXT: (local.set $0
- ;; CHECK-NEXT: (global.get $sleeping)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.set $1
+ ;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.eqz
- ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: (global.get $sleeping)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (local.get $1)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (global.set $sleeping
;; CHECK-NEXT: (i32.const 1)
@@ -826,15 +818,11 @@
(drop (call $import2))
)
;; CHECK: (func $calls-nothing
- ;; CHECK-NEXT: (local $0 i32)
- ;; CHECK-NEXT: (local.set $0
+ ;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.eqz
;; CHECK-NEXT: (i32.const 17)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (local.get $0)
- ;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $calls-nothing
(drop (i32.eqz (i32.const 17)))
@@ -1163,12 +1151,8 @@
)
)
;; CHECK: (func $calls-import2-if-else (param $x i32)
- ;; CHECK-NEXT: (local $1 i32)
- ;; CHECK-NEXT: (local.set $1
- ;; CHECK-NEXT: (local.get $x)
- ;; CHECK-NEXT: )
;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (local.get $1)
+ ;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: (call $import3
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
@@ -1184,28 +1168,18 @@
)
)
;; CHECK: (func $calls-import2-if-else-oneside (param $x i32) (result i32)
- ;; CHECK-NEXT: (local $1 i32)
- ;; CHECK-NEXT: (local $2 i32)
- ;; CHECK-NEXT: (local $3 i32)
- ;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (local.set $1
- ;; CHECK-NEXT: (local.get $x)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (local.get $1)
- ;; CHECK-NEXT: (return
- ;; CHECK-NEXT: (i32.const 1)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call $import3
- ;; CHECK-NEXT: (i32.const 2)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (if
+ ;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: (return
- ;; CHECK-NEXT: (i32.const 3)
+ ;; CHECK-NEXT: (i32.const 1)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (call $import3
+ ;; CHECK-NEXT: (i32.const 2)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (return
+ ;; CHECK-NEXT: (i32.const 3)
+ ;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $calls-import2-if-else-oneside (param $x i32) (result i32)
(if (local.get $x)
@@ -1215,28 +1189,18 @@
(return (i32.const 3))
)
;; CHECK: (func $calls-import2-if-else-oneside2 (param $x i32) (result i32)
- ;; CHECK-NEXT: (local $1 i32)
- ;; CHECK-NEXT: (local $2 i32)
- ;; CHECK-NEXT: (local $3 i32)
- ;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (local.set $1
- ;; CHECK-NEXT: (local.get $x)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (local.get $1)
- ;; CHECK-NEXT: (call $import3
- ;; CHECK-NEXT: (i32.const 1)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (return
- ;; CHECK-NEXT: (i32.const 2)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (if
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (call $import3
+ ;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (return
- ;; CHECK-NEXT: (i32.const 3)
+ ;; CHECK-NEXT: (i32.const 2)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (return
+ ;; CHECK-NEXT: (i32.const 3)
+ ;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $calls-import2-if-else-oneside2 (param $x i32) (result i32)
(if (local.get $x)
@@ -1246,30 +1210,18 @@
(return (i32.const 3))
)
;; CHECK: (func $calls-loop (param $x i32)
- ;; CHECK-NEXT: (local $1 i32)
- ;; CHECK-NEXT: (local $2 i32)
- ;; CHECK-NEXT: (local $3 i32)
;; CHECK-NEXT: (loop $l
;; CHECK-NEXT: (call $import3
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.set $1
- ;; CHECK-NEXT: (local.get $x)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.set $2
+ ;; CHECK-NEXT: (local.set $x
;; CHECK-NEXT: (i32.add
- ;; CHECK-NEXT: (local.get $1)
+ ;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.set $x
- ;; CHECK-NEXT: (local.get $2)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (local.set $3
- ;; CHECK-NEXT: (local.get $x)
- ;; CHECK-NEXT: )
;; CHECK-NEXT: (br_if $l
- ;; CHECK-NEXT: (local.get $3)
+ ;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-06 20:23:38 +0000