diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/coalesce-locals-gc.wast | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/test/lit/passes/coalesce-locals-gc.wast b/test/lit/passes/coalesce-locals-gc.wast index 5bad35001..173ad02be 100644 --- a/test/lit/passes/coalesce-locals-gc.wast +++ b/test/lit/passes/coalesce-locals-gc.wast @@ -3,6 +3,9 @@ ;; RUN: | filecheck %s (module + (type $array (array (mut i8))) + (global $global (ref null $array) (ref.null $array)) + ;; CHECK: (func $test-dead-get-non-nullable (param $0 dataref) ;; CHECK-NEXT: (unreachable) ;; CHECK-NEXT: (drop @@ -18,4 +21,40 @@ (local.get $func) ) ) + + ;; CHECK: (func $br_on_null (param $0 (ref null $array)) (result (ref null $array)) + ;; CHECK-NEXT: (block $label$1 (result (ref null $array)) + ;; CHECK-NEXT: (block $label$2 + ;; CHECK-NEXT: (br $label$1 + ;; CHECK-NEXT: (br_on_null $label$2 + ;; CHECK-NEXT: (local.get $0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.set $0 + ;; CHECK-NEXT: (global.get $global) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.get $0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $br_on_null (param $ref (ref null $array)) (result (ref null $array)) + (local $1 (ref null $array)) + (block $label$1 (result (ref null $array)) + (block $label$2 + (br $label$1 + ;; Test that we properly model the basic block connections around a + ;; BrOnNull. There should be a branch to $label$2, and also a fallthrough. + ;; As a result, the local.set below is reachable, and should not be + ;; eliminated (turned into a drop). + (br_on_null $label$2 + (local.get $ref) + ) + ) + ) + (local.set $1 + (global.get $global) + ) + (local.get $1) + ) + ) ) |