squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Update mir-opt tests to reflect change to EndRegion emission order.

Browse source 
Driveby fix to end_region_9.rs; it was missing END marker and was
therefore always passing (regardless of output correctness).
This commit is contained in:
Felix S. Klock II 2017-08-28 11:40:37 +02:00
parent 25aa86da17
commit ab46142bd9
11 changed files with 20 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/test/mir-opt/end_region_1.rs
View file

@ -30,8 +30,8 @@ fn main() {
// StorageLive(_2);
// _2 = &'10_1rs _1;
// _0 = ();
// StorageDead(_2);
// EndRegion('10_1rs);
// StorageDead(_2);
// StorageDead(_1);
// return;
// }

6
src/test/mir-opt/end_region_2.rs
View file

@ -46,8 +46,8 @@ fn main() {
// bb2: {
// _0 = ();
// StorageDead(_5);
// StorageDead(_3);
// EndRegion('23_1rs);
// StorageDead(_3);
// StorageDead(_2);
// return;
// }
@ -56,10 +56,10 @@ fn main() {
// StorageLive(_7);
// _7 = &'23_3rs _2;
// _1 = ();
// StorageDead(_7);
// EndRegion('23_3rs);
// StorageDead(_3);
// StorageDead(_7);
// EndRegion('23_1rs);
// StorageDead(_3);
// StorageDead(_2);
// goto -> bb1;
// }

6
src/test/mir-opt/end_region_3.rs
View file

@ -49,8 +49,8 @@ fn main() {
// bb2: {
// _0 = ();
// StorageDead(_5);
// StorageDead(_3);
// EndRegion('26_1rs);
// StorageDead(_3);
// StorageDead(_1);
// return;
// }
@ -60,10 +60,10 @@ fn main() {
// StorageLive(_7);
// _7 = &'26_3rs _1;
// _2 = ();
// StorageDead(_7);
// EndRegion('26_3rs);
// StorageDead(_3);
// StorageDead(_7);
// EndRegion('26_1rs);
// StorageDead(_3);
// goto -> bb1;
// }
// END rustc.node4.SimplifyCfg-qualify-consts.after.mir

4
src/test/mir-opt/end_region_4.rs
View file

@ -53,10 +53,10 @@ fn foo(i: i32) {
// StorageLive(_6);
// _6 = &'26_4rs _2;
// _0 = ();
// StorageDead(_6);
// EndRegion('26_4rs);
// StorageDead(_3);
// StorageDead(_6);
// EndRegion('26_2rs);
// StorageDead(_3);
// StorageDead(_2);
// drop(_1) -> bb4;
// }

2
src/test/mir-opt/end_region_5.rs
View file

@ -44,8 +44,8 @@ fn foo<F>(f: F) where F: FnOnce() -> i32 {
// _2 = const foo(_3) -> [return: bb1, unwind: bb3];
// }
// bb1: {
// StorageDead(_3);
// EndRegion('14s);
// StorageDead(_3);
// _0 = ();
// drop(_1) -> bb4;
// }

4
src/test/mir-opt/end_region_6.rs
View file

@ -44,8 +44,8 @@ fn foo<F>(f: F) where F: FnOnce() -> i32 {
// _2 = const foo(_3) -> [return: bb1, unwind: bb3];
// }
// bb1: {
// StorageDead(_3);
// EndRegion('19s);
// StorageDead(_3);
// _0 = ();
// drop(_1) -> bb4;
// }
@ -75,8 +75,8 @@ fn foo<F>(f: F) where F: FnOnce() -> i32 {
// _3 = ((*_2).0: i32);
// _0 = _3;
// StorageDead(_3);
// StorageDead(_2);
// EndRegion('15_0rs);
// StorageDead(_2);
// return;
// }
// END rustc.node22.SimplifyCfg-qualify-consts.after.mir

2
src/test/mir-opt/end_region_7.rs
View file

@ -84,8 +84,8 @@ fn foo<F>(f: F) where F: FnOnce() -> i32 {
// _3 = ((*_2).0: i32);
// _0 = _3;
// StorageDead(_3);
// StorageDead(_2);
// EndRegion('15_0rs);
// StorageDead(_2);
// drop(_1) -> bb1;
// }
// bb1: {

2
src/test/mir-opt/end_region_8.rs
View file

@ -50,8 +50,8 @@ fn foo<F>(f: F) where F: FnOnce() -> i32 {
// bb1: {
// StorageDead(_4);
// _0 = ();
// StorageDead(_2);
// EndRegion('21_1rs);
// StorageDead(_2);
// drop(_1) -> bb4;
// }
// bb2: {

7
src/test/mir-opt/end_region_9.rs
View file

@ -42,7 +42,7 @@ fn main() {
// let mut _0: ();
// let mut _1: bool;
// let _2: i32;
// let mut _4: &'13_0rs i32;
// let mut _4: &'33_0rs i32;
// let mut _3: ();
// let mut _5: !;
// let mut _6: ();
@ -67,15 +67,15 @@ fn main() {
// bb2: {
// _0 = ();
// StorageDead(_7);
// EndRegion('33_0rs);
// StorageDead(_4);
// EndRegion('13_0rs);
// StorageDead(_2);
// StorageDead(_1);
// return;
// }
//
// bb3: {
// _4 = &'13_0rs _2;
// _4 = &'33_0rs _2;
// _6 = ();
// StorageDead(_7);
// _1 = const true;
@ -83,3 +83,4 @@ fn main() {
// goto -> bb1;
// }
// }
// END rustc.node4.SimplifyCfg-qualify-consts.after.mir

2
src/test/mir-opt/validate_1.rs
View file

@ -68,8 +68,8 @@ fn main() {
// _5 = (*_4);
// _0 = _5;
// StorageDead(_5);
// StorageDead(_4);
// EndRegion(ReScope(Remainder(BlockRemainder { block: ItemLocalId(22), first_statement_index: 0 })));
// StorageDead(_4);
// StorageDead(_3);
// return;
// }

2
src/test/mir-opt/validate_5.rs
View file

@ -54,8 +54,8 @@ fn main() {
// _5 = &ReErased mut (*_3);
// Validate(Acquire, [(*_5): i32/ReScope(Node(ItemLocalId(9)))]);
// _4 = _5 as *mut i32 (Misc);
// StorageDead(_5);
// EndRegion(ReScope(Node(ItemLocalId(9))));
// StorageDead(_5);
// Validate(Release, [_0: bool, _4: *mut i32]);
// _0 = const write_42(_4) -> bb1;
// }