1 files changed, 45 insertions, 0 deletions
diff --git a/test/lit/passes/optimize-instructions-gc-tnh.wast b/test/lit/passes/optimize-instructions-gc-tnh.wast
index f708951f8..5815f8e1f 100644
--- a/test/lit/passes/optimize-instructions-gc-tnh.wast
+++ b/test/lit/passes/optimize-instructions-gc-tnh.wast
@@ -772,6 +772,51 @@
     )
   )
 
+  ;; TNH:      (func $select.unreachable.child (type $none_=>_ref|$struct|) (result (ref $struct))
+  ;; TNH-NEXT:  (select
+  ;; TNH-NEXT:   (ref.as_non_null
+  ;; TNH-NEXT:    (ref.null none)
+  ;; TNH-NEXT:   )
+  ;; TNH-NEXT:   (unreachable)
+  ;; TNH-NEXT:   (i32.const 1)
+  ;; TNH-NEXT:  )
+  ;; TNH-NEXT: )
+  ;; NO_TNH:      (func $select.unreachable.child (type $none_=>_ref|$struct|) (result (ref $struct))
+  ;; NO_TNH-NEXT:  (select
+  ;; NO_TNH-NEXT:   (ref.as_non_null
+  ;; NO_TNH-NEXT:    (ref.null none)
+  ;; NO_TNH-NEXT:   )
+  ;; NO_TNH-NEXT:   (block
+  ;; NO_TNH-NEXT:    (drop
+  ;; NO_TNH-NEXT:     (ref.as_non_null
+  ;; NO_TNH-NEXT:      (ref.null none)
+  ;; NO_TNH-NEXT:     )
+  ;; NO_TNH-NEXT:    )
+  ;; NO_TNH-NEXT:    (unreachable)
+  ;; NO_TNH-NEXT:   )
+  ;; NO_TNH-NEXT:   (i32.const 1)
+  ;; NO_TNH-NEXT:  )
+  ;; NO_TNH-NEXT: )
+  (func $select.unreachable.child (result (ref $struct))
+    ;; We will turn the false arm of the select into an unreachable first, and
+    ;; then process the select. While doing so we must not error, as the select
+    ;; itself will still have a reachable type (a full refinalize only
+    ;; happens at the very end of the function).
+    (ref.cast $struct
+      (select (result (ref $struct))
+        (ref.as_non_null
+          (ref.null none)
+        )
+        (ref.cast $struct
+          (ref.as_non_null
+            (ref.null none)
+          )
+        )
+        (i32.const 1)
+      )
+    )
+  )
+
   ;; Helper functions.
 
   ;; TNH:      (func $get-i32 (type $none_=>_i32) (result i32)