diff options
| author | Alon Zakai <azakai@google.com> | 2024-04-09 12:39:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-09 12:39:11 -0700 |
| commit | 0ee46de2e3073609c062af98e5f8c13b9f5f5284 (patch) | |
| tree | b1550aacc132074a778bd882d1957a3269eb0fc7 /test | |
| parent | 102c3633d2378457dae1f5e239fd63ad80eefb92 (diff) | |
| download | binaryen-0ee46de2e3073609c062af98e5f8c13b9f5f5284.tar.gz binaryen-0ee46de2e3073609c062af98e5f8c13b9f5f5284.tar.bz2 binaryen-0ee46de2e3073609c062af98e5f8c13b9f5f5284.zip | |
Asyncify: Fix nondeterminism in verbose logging (#6479)
#6457 added a test that exposed existing nondeterminism.
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 |