diff options
Diffstat (limited to 'test/lit')
| -rw-r--r-- | test/lit/passes/remove-unused-module-elements_all-features.wast | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/lit/passes/remove-unused-module-elements_all-features.wast b/test/lit/passes/remove-unused-module-elements_all-features.wast index d441406f9..2e784e52b 100644 --- a/test/lit/passes/remove-unused-module-elements_all-features.wast +++ b/test/lit/passes/remove-unused-module-elements_all-features.wast @@ -351,6 +351,19 @@ (memory.atomic.notify (i32.const 0) (i32.const 0)) ) ) +(module ;; atomic.fence does not use a memory, so should not keep the memory alive. + (memory $0 (shared 1 1)) + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (export "fake-user" (func $user)) + (export "fake-user" $user) + ;; CHECK: (func $user (type $none_=>_none) + ;; CHECK-NEXT: (atomic.fence) + ;; CHECK-NEXT: ) + (func $user + (atomic.fence) + ) +) (module ;; more use checks ;; CHECK: (type $none_=>_i32 (func (result i32))) |