summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lit/passes/type-merging.wast62
1 files changed, 61 insertions, 1 deletions
diff --git a/test/lit/passes/type-merging.wast b/test/lit/passes/type-merging.wast
index 942e15b02..b216cede0 100644
--- a/test/lit/passes/type-merging.wast
+++ b/test/lit/passes/type-merging.wast
@@ -877,7 +877,6 @@
;; leading to a failure to build new types.
;; TODO: Store a heap type on control flow structures to avoid creating
;; standalone function types for them.
-;; TODO: Investigate why the rec group contains two of the same type below.
(module
(rec
;; CHECK: (rec
@@ -987,6 +986,67 @@
(export "public" (global $public))
)
+;; Regression test that produces invalid IR if we do not refinalize after
+;; merging siblings.
+(module
+ (rec
+ ;; CHECK: (rec
+ ;; CHECK-NEXT: (type $super (sub (struct)))
+ (type $super (sub (struct)))
+ ;; CHECK: (type $subA (sub $super (struct (field i32))))
+ (type $subA (sub $super (struct (field i32))))
+ (type $subB (sub $super (struct (field i32))))
+ )
+
+ ;; CHECK: (type $2 (func))
+
+ ;; CHECK: (func $test (type $2)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (select (result (ref $subA))
+ ;; CHECK-NEXT: (struct.new_default $subA)
+ ;; CHECK-NEXT: (struct.new_default $subA)
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $test
+ (drop
+ (select (result (ref $super))
+ (struct.new_default $subA)
+ (struct.new_default $subB)
+ (i32.const 0)
+ )
+ )
+ )
+)
+
+;; TODO: We should be able to merge $sub into $public here, but we currently do
+;; not encode the successors of public types in their DFA states, so we
+;; currently fail to do this merge. See issue #7120.
+(module
+ ;; CHECK: (type $public (sub (struct (field (ref null $public)))))
+ (type $public (sub (struct (field (ref null $public)))))
+ ;; CHECK: (rec
+ ;; CHECK-NEXT: (type $sub (sub $public (struct (field (ref null $public)))))
+ (type $sub (sub $public (struct (field (ref null $public)))))
+
+ ;; CHECK: (type $2 (func))
+
+ ;; CHECK: (global $g (ref null $public) (ref.null none))
+ (global $g (export "g") (ref null $public) (ref.null none))
+
+ ;; CHECK: (export "g" (global $g))
+
+ ;; CHECK: (func $test (type $2)
+ ;; CHECK-NEXT: (local $0 (ref $public))
+ ;; CHECK-NEXT: (local $1 (ref $sub))
+ ;; CHECK-NEXT: )
+ (func $test
+ (local (ref $public))
+ (local (ref $sub))
+ )
+)
+
;; Check that a ref.test inhibits merging (ref.cast is already checked above).
(module
;; CHECK: (rec