diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/ssa.wast | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/test/lit/passes/ssa.wast b/test/lit/passes/ssa.wast index ed5b94f7b..06fe450aa 100644 --- a/test/lit/passes/ssa.wast +++ b/test/lit/passes/ssa.wast @@ -2,6 +2,9 @@ ;; RUN: wasm-opt %s -all --ssa -S -o - | filecheck %s (module + ;; CHECK: (type $A (struct )) + (type $A (struct )) + ;; CHECK: (func $foo (type $none_=>_none) ;; CHECK-NEXT: (nop) ;; CHECK-NEXT: ) @@ -31,4 +34,29 @@ (local.set $x (ref.func $bar)) (drop (local.get $x)) ) + + ;; CHECK: (func $refine-to-null (type $none_=>_ref|$A|) (result (ref $A)) + ;; CHECK-NEXT: (local $0 (ref null $A)) + ;; CHECK-NEXT: (block $label (result (ref none)) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (br_on_cast $label nullref (ref none) + ;; CHECK-NEXT: (ref.null none) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $refine-to-null (result (ref $A)) + (local $0 (ref null $A)) + (block $label (result (ref $A)) + (drop + (br_on_cast $label (ref null $A) (ref $A) + ;; This will turn into a null, which has a more refined type that affects + ;; the br_on_cast parent. + (local.get $0) + ) + ) + (unreachable) + ) + ) ) |