File tree Expand file tree Collapse file tree 7 files changed +16
-16
lines changed
Expand file tree Collapse file tree 7 files changed +16
-16
lines changed Original file line number Diff line number Diff line change @@ -3253,7 +3253,7 @@ struct PrintSExpression : public UnifiedExpressionVisitor<PrintSExpression> {
32533253 nontrivialGroup = currGroup->size () > 1 ;
32543254 if (nontrivialGroup) {
32553255 doIndent (o, indent);
3256- o << " (rec " ;
3256+ o << " (rec" ;
32573257 incIndent ();
32583258 }
32593259 }
Original file line number Diff line number Diff line change 88
99
1010 (rec
11- ;; HYBRID: (rec
11+ ;; HYBRID: (rec
1212 ;; HYBRID-NEXT: (type $super-struct (struct_subtype (field i32) data))
1313 ;; NOMINAL: (type $super-struct (struct_subtype (field i32) data))
1414 (type $super-struct (struct i32 ))
1818 )
1919
2020 (rec
21- ;; HYBRID: (rec
21+ ;; HYBRID: (rec
2222 ;; HYBRID-NEXT: (type $super-array (array_subtype (ref $super-struct) data))
2323 ;; NOMINAL: (type $super-array (array_subtype (ref $super-struct) data))
2424 (type $super-array (array (ref $super-struct )))
Original file line number Diff line number Diff line change 88
99
1010 (rec
11- ;; CHECK: (rec
11+ ;; CHECK: (rec
1212 ;; CHECK-NEXT: (type $unused-6 (struct_subtype data))
1313
1414 ;; CHECK: (type $used-a-bit (struct_subtype data))
1515
16- ;; CHECK: (rec
16+ ;; CHECK: (rec
1717 ;; CHECK-NEXT: (type $unused-1 (struct_subtype data))
1818 (type $unused-1 (struct_subtype data ))
1919 ;; CHECK: (type $unused-2 (struct_subtype data))
4646
4747
4848 (rec
49- ;; CHECK: (rec
49+ ;; CHECK: (rec
5050 ;; CHECK-NEXT: (type $leaf (struct_subtype data))
5151 (type $leaf (struct_subtype data ))
5252 ;; CHECK: (type $unused (struct_subtype data))
5353 (type $unused (struct_subtype data ))
5454 )
5555
5656 (rec
57- ;; CHECK: (rec
57+ ;; CHECK: (rec
5858 ;; CHECK-NEXT: (type $shrub (struct_subtype $leaf))
5959
6060 ;; CHECK: (type $used-a-ton (struct_subtype data))
6161
62- ;; CHECK: (rec
62+ ;; CHECK: (rec
6363 ;; CHECK-NEXT: (type $twig (struct_subtype data))
6464 (type $twig (struct_subtype data ))
6565 ;; CHECK: (type $used-a-bit (struct_subtype (field (ref $leaf)) data))
7272 )
7373
7474 (rec
75- ;; CHECK: (rec
75+ ;; CHECK: (rec
7676 ;; CHECK-NEXT: (type $root (struct_subtype data))
7777 (type $root (struct_subtype data ))
7878 ;; CHECK: (type $used-a-lot (struct_subtype $twig))
Original file line number Diff line number Diff line change 1010
1111
1212 (rec
13- ;; CHECK: (rec
13+ ;; CHECK: (rec
1414 ;; CHECK-NEXT: (type $used (struct_subtype data))
1515 (type $used (struct_subtype data ))
1616 ;; CHECK: (type $unused (struct_subtype data))
Original file line number Diff line number Diff line change 77;; single recursion group.
88
99(module
10- ;; CHECK: (rec
10+ ;; CHECK: (rec
1111 ;; CHECK-NEXT: (type $make-super-t (func_subtype (result (ref $super)) func))
1212
1313 ;; CHECK: (type $make-sub-t (func_subtype (result (ref $sub)) func))
Original file line number Diff line number Diff line change 3030(module
3131 ;; The signatures should be refined to a pair of mutually self-referential types.
3232
33- ;; CHECK: (rec
33+ ;; CHECK: (rec
3434 ;; CHECK-NEXT: (type $0 (func_subtype (param i32 (ref $0)) (result (ref $1)) func))
3535 (type $0 (func (param i32 funcref ) (result funcref )))
3636 ;; CHECK: (type $1 (func_subtype (param f32 (ref $1)) (result (ref $0)) func))
8383 ;; even though they are refined to the same structure.
8484
8585 (rec
86- ;; CHECK: (rec
86+ ;; CHECK: (rec
8787 ;; CHECK-NEXT: (type $0 (func_subtype (param (ref $0)) func))
8888 (type $0 (func (param funcref )))
8989 ;; CHECK: (type $1 (func_subtype (param (ref $0)) func))
119119 ;; The signatures should be refined to a pair of mutually recursive types and
120120 ;; another type that refers to them.
121121
122- ;; CHECK: (rec
122+ ;; CHECK: (rec
123123 ;; CHECK-NEXT: (type $1 (func_subtype (param f32 (ref $1)) (result (ref $0)) func))
124124
125125 ;; CHECK: (type $0 (func_subtype (param i32 (ref $0)) (result (ref $1)) func))
Original file line number Diff line number Diff line change 44(module
55 ;; The types should be refined to a set of three mutually recursive types.
66
7- ;; CHECK: (rec
7+ ;; CHECK: (rec
88 ;; CHECK-NEXT: (type $0 (struct_subtype (field anyref) (field (ref $1)) data))
99 (type $0 (struct_subtype (ref null any) anyref data ))
1010 ;; CHECK: (type $1 (struct_subtype (field eqref) (field (ref $2)) data))
6161 ;; referenced by $all, but now we need to worry about ordering supertypes
6262 ;; correctly.
6363
64- ;; CHECK: (rec
64+ ;; CHECK: (rec
6565 ;; CHECK-NEXT: (type $all (struct_subtype (field i32) (field (ref $0)) (field (ref $1)) (field (ref $2)) data))
6666 (type $all (struct_subtype i32 anyref anyref anyref data ))
6767
You can’t perform that action at this time.
0 commit comments