diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/gufa-extern.wast | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/test/lit/passes/gufa-extern.wast b/test/lit/passes/gufa-extern.wast new file mode 100644 index 000000000..4a626b9c9 --- /dev/null +++ b/test/lit/passes/gufa-extern.wast @@ -0,0 +1,70 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. +;; RUN: foreach %s %t wasm-opt -all --gufa --nominal -S -o - | filecheck %s + +(module + ;; CHECK: (type $externref_anyref_=>_none (func_subtype (param externref anyref) func)) + + ;; CHECK: (export "externals" (func $externals)) + + ;; CHECK: (func $externals (type $externref_anyref_=>_none) (param $ext externref) (param $any anyref) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (ref.as_data + ;; CHECK-NEXT: (extern.internalize + ;; CHECK-NEXT: (local.get $ext) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (extern.externalize + ;; CHECK-NEXT: (local.get $any) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $externals (export "externals") (param $ext externref) (param $any anyref) + ;; We must not turn these into unreachable code, as the function is + ;; exported. + (drop + (ref.as_data + (extern.internalize + (local.get $ext) + ) + ) + ) + (drop + (extern.externalize + (local.get $any) + ) + ) + ) + + ;; CHECK: (func $non-exported (type $externref_anyref_=>_none) (param $ext externref) (param $any anyref) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (ref.as_data + ;; CHECK-NEXT: (extern.internalize + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (extern.externalize + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $non-exported (param $ext externref) (param $any anyref) + ;; This is not exported, so the params are dead code, and can be turned + ;; unreachable. + (drop + (ref.as_data + (extern.internalize + (local.get $ext) + ) + ) + ) + (drop + (extern.externalize + (local.get $any) + ) + ) + ) +) |