Skip to content

Commit ab46142

Browse files
committed
Update mir-opt tests to reflect change to EndRegion emission order.
Driveby fix to end_region_9.rs; it was missing END marker and was therefore always passing (regardless of output correctness).
1 parent 25aa86d commit ab46142

11 files changed

+20
-19
lines changed

src/test/mir-opt/end_region_1.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,8 @@ fn main() {
3030
// StorageLive(_2);
3131
// _2 = &'10_1rs _1;
3232
// _0 = ();
33-
// StorageDead(_2);
3433
// EndRegion('10_1rs);
34+
// StorageDead(_2);
3535
// StorageDead(_1);
3636
// return;
3737
// }

src/test/mir-opt/end_region_2.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -46,8 +46,8 @@ fn main() {
4646
// bb2: {
4747
// _0 = ();
4848
// StorageDead(_5);
49-
// StorageDead(_3);
5049
// EndRegion('23_1rs);
50+
// StorageDead(_3);
5151
// StorageDead(_2);
5252
// return;
5353
// }
@@ -56,10 +56,10 @@ fn main() {
5656
// StorageLive(_7);
5757
// _7 = &'23_3rs _2;
5858
// _1 = ();
59-
// StorageDead(_7);
6059
// EndRegion('23_3rs);
61-
// StorageDead(_3);
60+
// StorageDead(_7);
6261
// EndRegion('23_1rs);
62+
// StorageDead(_3);
6363
// StorageDead(_2);
6464
// goto -> bb1;
6565
// }

src/test/mir-opt/end_region_3.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -49,8 +49,8 @@ fn main() {
4949
// bb2: {
5050
// _0 = ();
5151
// StorageDead(_5);
52-
// StorageDead(_3);
5352
// EndRegion('26_1rs);
53+
// StorageDead(_3);
5454
// StorageDead(_1);
5555
// return;
5656
// }
@@ -60,10 +60,10 @@ fn main() {
6060
// StorageLive(_7);
6161
// _7 = &'26_3rs _1;
6262
// _2 = ();
63-
// StorageDead(_7);
6463
// EndRegion('26_3rs);
65-
// StorageDead(_3);
64+
// StorageDead(_7);
6665
// EndRegion('26_1rs);
66+
// StorageDead(_3);
6767
// goto -> bb1;
6868
// }
6969
// END rustc.node4.SimplifyCfg-qualify-consts.after.mir

src/test/mir-opt/end_region_4.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -53,10 +53,10 @@ fn foo(i: i32) {
5353
// StorageLive(_6);
5454
// _6 = &'26_4rs _2;
5555
// _0 = ();
56-
// StorageDead(_6);
5756
// EndRegion('26_4rs);
58-
// StorageDead(_3);
57+
// StorageDead(_6);
5958
// EndRegion('26_2rs);
59+
// StorageDead(_3);
6060
// StorageDead(_2);
6161
// drop(_1) -> bb4;
6262
// }

src/test/mir-opt/end_region_5.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -44,8 +44,8 @@ fn foo<F>(f: F) where F: FnOnce() -> i32 {
4444
// _2 = const foo(_3) -> [return: bb1, unwind: bb3];
4545
// }
4646
// bb1: {
47-
// StorageDead(_3);
4847
// EndRegion('14s);
48+
// StorageDead(_3);
4949
// _0 = ();
5050
// drop(_1) -> bb4;
5151
// }

src/test/mir-opt/end_region_6.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -44,8 +44,8 @@ fn foo<F>(f: F) where F: FnOnce() -> i32 {
4444
// _2 = const foo(_3) -> [return: bb1, unwind: bb3];
4545
// }
4646
// bb1: {
47-
// StorageDead(_3);
4847
// EndRegion('19s);
48+
// StorageDead(_3);
4949
// _0 = ();
5050
// drop(_1) -> bb4;
5151
// }
@@ -75,8 +75,8 @@ fn foo<F>(f: F) where F: FnOnce() -> i32 {
7575
// _3 = ((*_2).0: i32);
7676
// _0 = _3;
7777
// StorageDead(_3);
78-
// StorageDead(_2);
7978
// EndRegion('15_0rs);
79+
// StorageDead(_2);
8080
// return;
8181
// }
8282
// END rustc.node22.SimplifyCfg-qualify-consts.after.mir

src/test/mir-opt/end_region_7.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -84,8 +84,8 @@ fn foo<F>(f: F) where F: FnOnce() -> i32 {
8484
// _3 = ((*_2).0: i32);
8585
// _0 = _3;
8686
// StorageDead(_3);
87-
// StorageDead(_2);
8887
// EndRegion('15_0rs);
88+
// StorageDead(_2);
8989
// drop(_1) -> bb1;
9090
// }
9191
// bb1: {

src/test/mir-opt/end_region_8.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -50,8 +50,8 @@ fn foo<F>(f: F) where F: FnOnce() -> i32 {
5050
// bb1: {
5151
// StorageDead(_4);
5252
// _0 = ();
53-
// StorageDead(_2);
5453
// EndRegion('21_1rs);
54+
// StorageDead(_2);
5555
// drop(_1) -> bb4;
5656
// }
5757
// bb2: {

src/test/mir-opt/end_region_9.rs

+4-3
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@ fn main() {
4242
// let mut _0: ();
4343
// let mut _1: bool;
4444
// let _2: i32;
45-
// let mut _4: &'13_0rs i32;
45+
// let mut _4: &'33_0rs i32;
4646
// let mut _3: ();
4747
// let mut _5: !;
4848
// let mut _6: ();
@@ -67,19 +67,20 @@ fn main() {
6767
// bb2: {
6868
// _0 = ();
6969
// StorageDead(_7);
70+
// EndRegion('33_0rs);
7071
// StorageDead(_4);
71-
// EndRegion('13_0rs);
7272
// StorageDead(_2);
7373
// StorageDead(_1);
7474
// return;
7575
// }
7676
//
7777
// bb3: {
78-
// _4 = &'13_0rs _2;
78+
// _4 = &'33_0rs _2;
7979
// _6 = ();
8080
// StorageDead(_7);
8181
// _1 = const true;
8282
// _3 = ();
8383
// goto -> bb1;
8484
// }
8585
// }
86+
// END rustc.node4.SimplifyCfg-qualify-consts.after.mir

src/test/mir-opt/validate_1.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -68,8 +68,8 @@ fn main() {
6868
// _5 = (*_4);
6969
// _0 = _5;
7070
// StorageDead(_5);
71-
// StorageDead(_4);
7271
// EndRegion(ReScope(Remainder(BlockRemainder { block: ItemLocalId(22), first_statement_index: 0 })));
72+
// StorageDead(_4);
7373
// StorageDead(_3);
7474
// return;
7575
// }

src/test/mir-opt/validate_5.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -54,8 +54,8 @@ fn main() {
5454
// _5 = &ReErased mut (*_3);
5555
// Validate(Acquire, [(*_5): i32/ReScope(Node(ItemLocalId(9)))]);
5656
// _4 = _5 as *mut i32 (Misc);
57-
// StorageDead(_5);
5857
// EndRegion(ReScope(Node(ItemLocalId(9))));
58+
// StorageDead(_5);
5959
// Validate(Release, [_0: bool, _4: *mut i32]);
6060
// _0 = const write_42(_4) -> bb1;
6161
// }

0 commit comments

Comments
 (0)