diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/lit/passes/asyncify_verbose.wast | 42 |
1 files changed, 19 insertions, 23 deletions
diff --git a/test/lit/passes/asyncify_verbose.wast b/test/lit/passes/asyncify_verbose.wast index 3f8f8668b..bb329c015 100644 --- a/test/lit/passes/asyncify_verbose.wast +++ b/test/lit/passes/asyncify_verbose.wast @@ -1,40 +1,36 @@ ;; RUN: foreach %s %t wasm-opt --asyncify --pass-arg=asyncify-verbose -q | filecheck %s -;; The import is reported as changing the state, as all imports can. +;; The import is reported as changing the state, as all imports can. The +;; function that calls it, consequently, is also reported as such, and so on +;; further up the chain. ;; -;; CHECK: [asyncify] import is an import that can change the state - -;; The function that calls the import can change the state too. -;; -;; CHECK: [asyncify] calls-import can change the state due to import - -;; Likewise, further up the call chain as well. -;; -;; CHECK: [asyncify] calls-calls-import can change the state due to calls-import -;; CHECK: [asyncify] calls-calls-import-b can change the state due to calls-import -;; CHECK: [asyncify] calls-calls-calls-import can change the state due to calls-calls-import -;; CHECK: [asyncify] calls-calls-calls-import can change the state due to calls-calls-import-b +;; CHECK: [asyncify] a-import is an import that can change the state +;; CHECK: [asyncify] calls-a-import can change the state due to a-import +;; CHECK: [asyncify] calls-calls-a-import can change the state due to calls-a-import +;; CHECK: [asyncify] calls-calls-a-import-b can change the state due to calls-a-import +;; CHECK: [asyncify] calls-calls-calls-a-import can change the state due to calls-calls-a-import +;; CHECK: [asyncify] calls-calls-calls-a-import can change the state due to calls-calls-a-import-b (module - (import "env" "import" (func $import)) + (import "env" "import" (func $a-import)) (memory 1 2) - (func $calls-import - (call $import) + (func $calls-a-import + (call $a-import) ) - (func $calls-calls-import - (call $calls-import) + (func $calls-calls-a-import + (call $calls-a-import) ) - (func $calls-calls-import-b - (call $calls-import) + (func $calls-calls-a-import-b + (call $calls-a-import) ) - (func $calls-calls-calls-import - (call $calls-calls-import) - (call $calls-calls-import-b) + (func $calls-calls-calls-a-import + (call $calls-calls-a-import) + (call $calls-calls-a-import-b) ) (func $nothing |