diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/simplify-globals-gc.wast | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/test/lit/passes/simplify-globals-gc.wast b/test/lit/passes/simplify-globals-gc.wast new file mode 100644 index 000000000..da49cdf61 --- /dev/null +++ b/test/lit/passes/simplify-globals-gc.wast @@ -0,0 +1,33 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. +;; NOTE: This test was ported using port_passes_tests_to_lit.py and could be cleaned up. + +;; RUN: foreach %s %t wasm-opt --simplify-globals -all -S -o - | filecheck %s + +(module + ;; CHECK: (type $A (func)) + (type $A (func)) + + ;; CHECK: (global $global$0 funcref (ref.func $func)) + (global $global$0 (mut funcref) (ref.func $func)) + + ;; CHECK: (elem declare func $func) + + ;; CHECK: (func $func (type $A) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (ref.cast $A + ;; CHECK-NEXT: (ref.func $func) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $func + (drop + (ref.cast null $A + ;; This global can be replaced with a ref.func of $func. That has a more + ;; refined type, so we should refinalize (if we do not, then the ref.cast + ;; will fail to validate as it must become a non-nullable cast). + (global.get $global$0) + ) + ) + ) +) + |