blob: 096c88e5d45e32a62d4879bd7b9d10d465db1310 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; Regression test for a bug in TypeSSA. TypeSSA creates a new subtype, $t_1,
;; for use in the struct.new in the global initializer, but ran ReFinalize only
;; on function code, not on module-level code. As a result, the tuple.make
;; result type still used $t instead of $t_1 after TypeSSA. This stale type
;; caused Unsubtyping to incorrectly break the subtype relationship between $t
;; and $t_1, leading to a validation error. The fix was to refinalize
;; module-level code in TypeSSA and fix the validator so it would have caught
;; the stale type.
;; RUN: wasm-opt %s -all --type-ssa --unsubtyping -S -o - | filecheck %s
(module
;; CHECK: (rec
;; CHECK-NEXT: (type $t (sub (struct)))
(type $t (sub (struct)))
;; CHECK: (type $t_1 (sub $t (struct)))
;; CHECK: (global $g (tuple i32 (ref null $t)) (tuple.make 2
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (struct.new_default $t_1)
;; CHECK-NEXT: ))
(global $g (tuple i32 (ref null $t))
(tuple.make 2
(i32.const 0)
(struct.new $t)
)
)
)
|
