Skip to content

Commit d11d586

Browse files
matthewjaspermatthewjasper
committed
Temp: Initial test update
1 parent 49c68bd commit d11d586

18 files changed

+341
-372
lines changed

‎src/test/mir-opt/basic_assignment.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -39,14 +39,14 @@ fn main() {
3939
// StorageLive(_5);
4040
// StorageLive(_6);
4141
// _6 = move _4;
42-
// replace(_5 <- move _6) -> [return: bb2, unwind: bb5];
42+
// replace(_5 <- move _6) -> [return: bb1, unwind: bb5];
4343
// }
4444
// ...
45-
// bb2: {
46-
// drop(_6) -> [return: bb6, unwind: bb4];
45+
// bb1: {
46+
// drop(_6) -> [return: bb2, unwind: bb6];
4747
// }
4848
// ...
4949
// bb5 (cleanup): {
50-
// drop(_6) -> bb4;
50+
// drop(_6) -> bb6;
5151
// }
5252
// END rustc.main.SimplifyCfg-initial.after.mir

‎src/test/mir-opt/box_expr.rs

Lines changed: 18 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -33,45 +33,40 @@ impl Drop for S {
3333
// StorageLive(_1);
3434
// StorageLive(_2);
3535
// _2 = Box(S);
36-
// (*_2) = const S::new() -> [return: bb2, unwind: bb3];
36+
// (*_2) = const S::new() -> [return: bb1, unwind: bb7];
3737
// }
38-
//
39-
// bb1 (cleanup): {
40-
// resume;
41-
// }
42-
//
43-
// bb2: {
38+
// bb1: {
4439
// _1 = move _2;
45-
// drop(_2) -> bb4;
40+
// drop(_2) -> bb2;
4641
// }
47-
//
48-
// bb3 (cleanup): {
49-
// drop(_2) -> bb1;
50-
// }
51-
//
52-
// bb4: {
42+
// bb2: {
5343
// StorageDead(_2);
5444
// StorageLive(_3);
5545
// StorageLive(_4);
5646
// _4 = move _1;
57-
// _3 = const std::mem::drop::<std::boxed::Box<S>>(move _4) -> [return: bb5, unwind: bb7];
47+
// _3 = const std::mem::drop::<std::boxed::Box<S>>(move _4) -> [return: bb3, unwind: bb5];
5848
// }
59-
//
60-
// bb5: {
49+
// bb3: {
6150
// StorageDead(_4);
6251
// StorageDead(_3);
6352
// _0 = ();
64-
// drop(_1) -> bb8;
53+
// drop(_1) -> bb4;
54+
// }
55+
// bb4: {
56+
// StorageDead(_1);
57+
// return;
58+
// }
59+
// bb5 (cleanup): {
60+
// drop(_4) -> bb6;
6561
// }
6662
// bb6 (cleanup): {
67-
// drop(_1) -> bb1;
63+
// drop(_1) -> bb8;
6864
// }
6965
// bb7 (cleanup): {
70-
// drop(_4) -> bb6;
66+
// drop(_2) -> bb8;
7167
// }
72-
// bb8: {
73-
// StorageDead(_1);
74-
// return;
68+
// bb8 (cleanup): {
69+
// resume;
7570
// }
7671
// }
7772
// END rustc.main.ElaborateDrops.before.mir

‎src/test/mir-opt/const_prop/boxes.rs

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -22,16 +22,16 @@ fn main() {
2222
// _2 = (*_3);
2323
// _1 = Add(move _2, const 0i32);
2424
// ...
25-
// drop(_3) -> [return: bb2, unwind: bb1];
25+
// drop(_3) -> [return: bb1, unwind: bb2];
2626
// }
27-
// bb1 (cleanup): {
28-
// resume;
29-
// }
30-
// bb2: {
27+
// bb1: {
3128
// ...
3229
// _0 = ();
3330
// ...
3431
// }
32+
// bb2 (cleanup): {
33+
// resume;
34+
// }
3535
// END rustc.main.ConstProp.before.mir
3636
// START rustc.main.ConstProp.after.mir
3737
// bb0: {
@@ -43,14 +43,14 @@ fn main() {
4343
// _2 = (*_3);
4444
// _1 = Add(move _2, const 0i32);
4545
// ...
46-
// drop(_3) -> [return: bb2, unwind: bb1];
46+
// drop(_3) -> [return: bb1, unwind: bb2];
4747
// }
48-
// bb1 (cleanup): {
49-
// resume;
50-
// }
51-
// bb2: {
48+
// bb1: {
5249
// ...
5350
// _0 = ();
5451
// ...
5552
// }
53+
// bb2 (cleanup): {
54+
// resume;
55+
// }
5656
// END rustc.main.ConstProp.after.mir

‎src/test/mir-opt/generator-storage-dead-unwind.rs

Lines changed: 35 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -49,66 +49,67 @@ fn main() {
4949
// StorageLive(_4);
5050
// _4 = Bar(const 6i32,);
5151
// ...
52-
// _5 = yield(move _6) -> [resume: bb2, drop: bb4];
52+
// _5 = yield(move _6) -> [resume: bb1, drop: bb5];
5353
// }
54-
// bb1 (cleanup): {
55-
// resume;
56-
// }
57-
// bb2: {
54+
// bb1: {
5855
// ...
5956
// StorageLive(_7);
6057
// StorageLive(_8);
6158
// _8 = move _3;
62-
// _7 = const take::<Foo>(move _8) -> [return: bb7, unwind: bb9];
59+
// _7 = const take::<Foo>(move _8) -> [return: bb2, unwind: bb11];
6360
// }
64-
// bb3 (cleanup): {
65-
// StorageDead(_3);
66-
// drop(_1) -> bb1;
61+
// bb2: {
62+
// StorageDead(_8);
63+
// StorageDead(_7);
64+
// StorageLive(_9);
65+
// StorageLive(_10);
66+
// _10 = move _4;
67+
// _9 = const take::<Bar>(move _10) -> [return: bb3, unwind: bb10];
6768
// }
68-
// bb4: {
69+
// bb3: {
70+
// StorageDead(_10);
71+
// StorageDead(_9);
6972
// ...
7073
// StorageDead(_4);
71-
// drop(_3) -> [return: bb5, unwind: bb3];
74+
// StorageDead(_3);
75+
// drop(_1) -> [return: bb4, unwind: bb9];
76+
// }
77+
// bb4: {
78+
// return;
7279
// }
7380
// bb5: {
81+
// ...
7482
// StorageDead(_3);
75-
// drop(_1) -> [return: bb6, unwind: bb1];
83+
// drop(_1) -> [return: bb6, unwind: bb8];
7684
// }
7785
// bb6: {
78-
// generator_drop;
86+
// StorageDead(_3);
87+
// drop(_1) -> [return: bb7, unwind: bb9];
7988
// }
8089
// bb7: {
81-
// StorageDead(_8);
82-
// StorageDead(_7);
83-
// StorageLive(_9);
84-
// StorageLive(_10);
85-
// _10 = move _4;
86-
// _9 = const take::<Bar>(move _10) -> [return: bb10, unwind: bb11];
90+
// generator_drop;
8791
// }
8892
// bb8 (cleanup): {
89-
// StorageDead(_4);
9093
// StorageDead(_3);
91-
// drop(_1) -> bb1;
94+
// drop(_2) -> bb9;
9295
// }
9396
// bb9 (cleanup): {
94-
// StorageDead(_8);
95-
// StorageDead(_7);
96-
// goto -> bb8;
97+
// resume;
9798
// }
98-
// bb10: {
99+
// bb10 (cleanup): {
99100
// StorageDead(_10);
100101
// StorageDead(_9);
101-
// ...
102-
// StorageDead(_4);
103-
// StorageDead(_3);
104-
// drop(_1) -> [return: bb12, unwind: bb1];
102+
// goto -> bb12;
105103
// }
106104
// bb11 (cleanup): {
107-
// StorageDead(_10);
108-
// StorageDead(_9);
109-
// goto -> bb8;
105+
// StorageDead(_8);
106+
// StorageDead(_7);
107+
// goto -> bb12;
110108
// }
111-
// bb12: {
112-
// return;
109+
// bb12 (cleanup): {
110+
// StorageDead(_4);
111+
// StorageDead(_3);
112+
// drop(_1) -> bb9;
113113
// }
114+
114115
// END rustc.main-{{closure}}.StateTransform.before.mir

‎src/test/mir-opt/graphviz.rs

Lines changed: 5 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -8,13 +8,10 @@ fn main() {}
88
// END RUST SOURCE
99
// START rustc.main.mir_map.0.dot
1010
// digraph Mir_0_3 { // The name here MUST be an ASCII identifier.
11-
// graph [fontname="monospace"];
12-
// node [fontname="monospace"];
13-
// edge [fontname="monospace"];
14-
// label=<fn main() -&gt; ()<br align="left"/>>;
15-
// bb0__0_3 [shape="none", label=<<table border="0" cellborder="1" cellspacing="0"><tr><td bgcolor="gray" align="center" colspan="1">0</td></tr><tr><td align="left" balign="left">_0 = ()<br/></td></tr><tr><td align="left">goto</td></tr></table>>];
16-
// bb1__0_3 [shape="none", label=<<table border="0" cellborder="1" cellspacing="0"><tr><td bgcolor="gray" align="center" colspan="1">1</td></tr><tr><td align="left">resume</td></tr></table>>];
17-
// bb2__0_3 [shape="none", label=<<table border="0" cellborder="1" cellspacing="0"><tr><td bgcolor="gray" align="center" colspan="1">2</td></tr><tr><td align="left">return</td></tr></table>>];
18-
// bb0__0_3 -> bb2__0_3 [label=""];
11+
// graph [fontname="monospace"];
12+
// node [fontname="monospace"];
13+
// edge [fontname="monospace"];
14+
// label=<fn main() -&gt; ()<br align="left"/>>;
15+
// bb0__0_3 [shape="none", label=<<table border="0" cellborder="1" cellspacing="0"><tr><td bgcolor="gray" align="center" colspan="1">0</td></tr><tr><td align="left" balign="left">_0 = ()<br/></td></tr><tr><td align="left">return</td></tr></table>>];
1916
// }
2017
// END rustc.main.mir_map.0.dot

‎src/test/mir-opt/issue-38669.rs

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -16,35 +16,35 @@ fn main() {
1616
// StorageLive(_1);
1717
// _1 = const false;
1818
// FakeRead(ForLet, _1);
19-
// goto -> bb2;
19+
// goto -> bb1;
2020
// }
21-
// bb1 (cleanup): {
22-
// resume;
21+
// bb1: {
22+
// falseUnwind -> [real: bb2, cleanup: bb6];
2323
// }
2424
// bb2: {
25-
// falseUnwind -> [real: bb3, cleanup: bb1];
26-
// }
27-
// bb3: {
2825
// StorageLive(_3);
2926
// StorageLive(_4);
3027
// _4 = _1;
3128
// FakeRead(ForMatchedPlace, _4);
32-
// switchInt(_4) -> [false: bb5, otherwise: bb4];
29+
// switchInt(_4) -> [false: bb4, otherwise: bb3];
3330
// }
3431
// ...
35-
// bb5: {
32+
// bb4: {
3633
// _3 = ();
3734
// StorageDead(_4);
3835
// StorageDead(_3);
3936
// _1 = const true;
4037
// _2 = ();
41-
// goto -> bb2;
38+
// goto -> bb1;
4239
// }
43-
// bb6: {
40+
// bb5: {
4441
// _0 = ();
4542
// StorageDead(_4);
4643
// StorageDead(_3);
4744
// StorageDead(_1);
4845
// return;
4946
// }
47+
// bb6 (cleanup): {
48+
// resume;
49+
// }
5050
// END rustc.main.SimplifyCfg-initial.after.mir

‎src/test/mir-opt/issue-49232.rs

Lines changed: 23 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -30,64 +30,55 @@ fn main() {
3030
// goto -> bb1;
3131
// }
3232
// bb1: {
33-
// falseUnwind -> [real: bb3, cleanup: bb4];
33+
// falseUnwind -> [real: bb2, cleanup: bb11];
3434
// }
3535
// bb2: {
36-
// goto -> bb14;
37-
// }
38-
// bb3: {
3936
// StorageLive(_2);
4037
// StorageLive(_3);
4138
// _3 = const true;
4239
// FakeRead(ForMatchedPlace, _3);
43-
// switchInt(_3) -> [false: bb5, otherwise: bb6];
44-
// }
45-
// bb4 (cleanup): {
46-
// resume;
40+
// switchInt(_3) -> [false: bb3, otherwise: bb4];
4741
// }
48-
// bb5: {
49-
// falseEdges -> [real: bb7, imaginary: bb6];
42+
// bb3: {
43+
// falseEdges -> [real: bb5, imaginary: bb4];
5044
// }
51-
// bb6: {
45+
// bb4: {
5246
// _0 = ();
53-
// goto -> bb8;
47+
// goto -> bb10;
5448
// }
55-
// bb7: {
49+
// bb5: {
5650
// _2 = const 4i32;
57-
// goto -> bb12;
58-
// }
59-
// bb8: {
60-
// StorageDead(_3);
61-
// goto -> bb9;
51+
// goto -> bb8;
6252
// }
63-
// bb9: {
64-
// StorageDead(_2);
65-
// goto -> bb2;
66-
// }
67-
// bb10: {
53+
// bb6: {
6854
// _4 = ();
6955
// unreachable;
70-
// }
71-
// bb11: {
72-
// goto -> bb12;
73-
// }
74-
// bb12: {
56+
// }
57+
// bb7: {
58+
// goto -> bb8;
59+
// }
60+
// bb8: {
7561
// FakeRead(ForLet, _2);
7662
// StorageDead(_3);
7763
// StorageLive(_5);
78-
// StorageLive(_6);
64+
// StorageLive(_6);
7965
// _6 = &_2;
80-
// _5 = const std::mem::drop::<&i32>(move _6) -> [return: bb13, unwind: bb4];
66+
// _5 = const std::mem::drop::<&i32>(move _6) -> [return: bb9, unwind: bb11];
8167
// }
82-
// bb13: {
68+
// bb9: {
8369
// StorageDead(_6);
8470
// StorageDead(_5);
8571
// _1 = ();
8672
// StorageDead(_2);
8773
// goto -> bb1;
8874
// }
89-
// bb14: {
75+
// bb10: {
76+
// StorageDead(_3);
77+
// StorageDead(_2);
9078
// return;
9179
// }
80+
// bb11 (cleanup): {
81+
// resume;
82+
// }
9283
// }
9384
// END rustc.main.mir_map.0.mir

0 commit comments

Comments
 (0)