Skip to content

Commit 26bbe2c

Browse files
matthewjaspermatthewjasper
committed
Temp: Initial test update
1 parent 9420ff4 commit 26bbe2c

18 files changed

+305
-336
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
@@ -32,45 +32,40 @@ impl Drop for S {
3232
// StorageLive(_1);
3333
// StorageLive(_2);
3434
// _2 = Box(S);
35-
// (*_2) = const S::new() -> [return: bb2, unwind: bb3];
35+
// (*_2) = const S::new() -> [return: bb1, unwind: bb7];
3636
// }
37-
//
38-
// bb1 (cleanup): {
39-
// resume;
40-
// }
41-
//
42-
// bb2: {
37+
// bb1: {
4338
// _1 = move _2;
44-
// drop(_2) -> bb4;
39+
// drop(_2) -> bb2;
4540
// }
46-
//
47-
// bb3 (cleanup): {
48-
// drop(_2) -> bb1;
49-
// }
50-
//
51-
// bb4: {
41+
// bb2: {
5242
// StorageDead(_2);
5343
// StorageLive(_3);
5444
// StorageLive(_4);
5545
// _4 = move _1;
56-
// _3 = const std::mem::drop::<std::boxed::Box<S>>(move _4) -> [return: bb5, unwind: bb7];
46+
// _3 = const std::mem::drop::<std::boxed::Box<S>>(move _4) -> [return: bb3, unwind: bb5];
5747
// }
58-
//
59-
// bb5: {
48+
// bb3: {
6049
// StorageDead(_4);
6150
// StorageDead(_3);
6251
// _0 = ();
63-
// drop(_1) -> bb8;
52+
// drop(_1) -> bb4;
53+
// }
54+
// bb4: {
55+
// StorageDead(_1);
56+
// return;
57+
// }
58+
// bb5 (cleanup): {
59+
// drop(_4) -> bb6;
6460
// }
6561
// bb6 (cleanup): {
66-
// drop(_1) -> bb1;
62+
// drop(_1) -> bb8;
6763
// }
6864
// bb7 (cleanup): {
69-
// drop(_4) -> bb6;
65+
// drop(_2) -> bb8;
7066
// }
71-
// bb8: {
72-
// StorageDead(_1);
73-
// return;
67+
// bb8 (cleanup): {
68+
// resume;
7469
// }
7570
// }
7671
// 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: 36 additions & 35 deletions
Original file line numberDiff line numberDiff line change
@@ -47,66 +47,67 @@ fn main() {
4747
// StorageLive(_3);
4848
// _3 = Bar(const 6i32,);
4949
// ...
50-
// _1 = suspend(move _5) -> [resume: bb2, drop: bb4];
50+
// _1 = suspend(move _5) -> [resume: bb1, drop: bb5];
5151
// }
52-
// bb1 (cleanup): {
53-
// resume;
54-
// }
55-
// bb2: {
52+
// bb1: {
5653
// ...
5754
// StorageLive(_6);
5855
// StorageLive(_7);
5956
// _7 = move _2;
60-
// _6 = const take::<Foo>(move _7) -> [return: bb7, unwind: bb9];
57+
// _6 = const take::<Foo>(move _7) -> [return: bb2, unwind: bb11];
6158
// }
62-
// bb3 (cleanup): {
63-
// StorageDead(_2);
64-
// drop(_1) -> bb1;
59+
// bb2: {
60+
// StorageDead(_7);
61+
// StorageDead(_6);
62+
// StorageLive(_8);
63+
// StorageLive(_9);
64+
// _9 = move _3;
65+
// _8 = const take::<Bar>(move _9) -> [return: bb3, unwind: bb10];
6566
// }
66-
// bb4: {
67+
// bb3: {
68+
// StorageDead(_9);
69+
// StorageDead(_8);
6770
// ...
6871
// StorageDead(_3);
69-
// drop(_2) -> [return: bb5, unwind: bb3];
72+
// StorageDead(_2);
73+
// drop(_1) -> [return: bb4, unwind: bb9];
74+
// }
75+
// bb4: {
76+
// return;
7077
// }
7178
// bb5: {
72-
// StorageDead(_2);
73-
// drop(_1) -> [return: bb6, unwind: bb1];
79+
// ...
80+
// StorageDead(_3);
81+
// drop(_2) -> [return: bb6, unwind: bb8];
7482
// }
7583
// bb6: {
76-
// generator_drop;
84+
// StorageDead(_2);
85+
// drop(_1) -> [return: bb7, unwind: bb9];
7786
// }
7887
// bb7: {
79-
// StorageDead(_7);
80-
// StorageDead(_6);
81-
// StorageLive(_8);
82-
// StorageLive(_9);
83-
// _9 = move _3;
84-
// _8 = const take::<Bar>(move _9) -> [return: bb10, unwind: bb11];
88+
// generator_drop;
8589
// }
8690
// bb8 (cleanup): {
87-
// StorageDead(_3);
8891
// StorageDead(_2);
89-
// drop(_1) -> bb1;
92+
// drop(_1) -> bb9;
9093
// }
9194
// bb9 (cleanup): {
92-
// StorageDead(_7);
93-
// StorageDead(_6);
94-
// goto -> bb8;
95+
// resume;
9596
// }
96-
// bb10: {
97+
// bb10 (cleanup): {
9798
// StorageDead(_9);
9899
// StorageDead(_8);
99-
// ...
100-
// StorageDead(_3);
101-
// StorageDead(_2);
102-
// drop(_1) -> [return: bb12, unwind: bb1];
100+
// goto -> bb12;
103101
// }
104102
// bb11 (cleanup): {
105-
// StorageDead(_9);
106-
// StorageDead(_8);
107-
// goto -> bb8;
103+
// StorageDead(_7);
104+
// StorageDead(_6);
105+
// goto -> bb12;
108106
// }
109-
// bb12: {
110-
// return;
107+
// bb12 (cleanup): {
108+
// StorageDead(_3);
109+
// StorageDead(_2);
110+
// drop(_1) -> bb9;
111111
// }
112+
112113
// 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
@@ -29,64 +29,55 @@ fn main() {
2929
// goto -> bb1;
3030
// }
3131
// bb1: {
32-
// falseUnwind -> [real: bb3, cleanup: bb4];
32+
// falseUnwind -> [real: bb2, cleanup: bb11];
3333
// }
3434
// bb2: {
35-
// goto -> bb14;
36-
// }
37-
// bb3: {
3835
// StorageLive(_2);
3936
// StorageLive(_3);
4037
// _3 = const true;
4138
// FakeRead(ForMatchedPlace, _3);
42-
// switchInt(_3) -> [false: bb5, otherwise: bb6];
43-
// }
44-
// bb4 (cleanup): {
45-
// resume;
39+
// switchInt(_3) -> [false: bb3, otherwise: bb4];
4640
// }
47-
// bb5: {
48-
// falseEdges -> [real: bb7, imaginary: bb6];
41+
// bb3: {
42+
// falseEdges -> [real: bb5, imaginary: bb4];
4943
// }
50-
// bb6: {
44+
// bb4: {
5145
// _0 = ();
52-
// goto -> bb8;
46+
// goto -> bb10;
5347
// }
54-
// bb7: {
48+
// bb5: {
5549
// _2 = const 4i32;
56-
// goto -> bb12;
57-
// }
58-
// bb8: {
59-
// StorageDead(_3);
60-
// goto -> bb9;
50+
// goto -> bb8;
6151
// }
62-
// bb9: {
63-
// StorageDead(_2);
64-
// goto -> bb2;
65-
// }
66-
// bb10: {
52+
// bb6: {
6753
// _4 = ();
6854
// unreachable;
69-
// }
70-
// bb11: {
71-
// goto -> bb12;
72-
// }
73-
// bb12: {
55+
// }
56+
// bb7: {
57+
// goto -> bb8;
58+
// }
59+
// bb8: {
7460
// FakeRead(ForLet, _2);
7561
// StorageDead(_3);
7662
// StorageLive(_5);
77-
// StorageLive(_6);
63+
// StorageLive(_6);
7864
// _6 = &_2;
79-
// _5 = const std::mem::drop::<&i32>(move _6) -> [return: bb13, unwind: bb4];
65+
// _5 = const std::mem::drop::<&i32>(move _6) -> [return: bb9, unwind: bb11];
8066
// }
81-
// bb13: {
67+
// bb9: {
8268
// StorageDead(_6);
8369
// StorageDead(_5);
8470
// _1 = ();
8571
// StorageDead(_2);
8672
// goto -> bb1;
8773
// }
88-
// bb14: {
74+
// bb10: {
75+
// StorageDead(_3);
76+
// StorageDead(_2);
8977
// return;
9078
// }
79+
// bb11 (cleanup): {
80+
// resume;
81+
// }
9182
// }
9283
// END rustc.main.mir_map.0.mir

0 commit comments

Comments
 (0)