X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Ftest%2Fmir-opt%2Fend_region_7.rs;h=e44b41993aa9512329cbefe78f3077d11a980efc;hb=63ac2aae51034f93c23cffde7be711a86f9d139f;hp=a9b6d2196fc7eaab4d989f00c07be289d9dfa0f7;hpb=6006c0f35fdcdaa25dfd2cf76438ca2bb5e37d4b;p=rust.git diff --git a/src/test/mir-opt/end_region_7.rs b/src/test/mir-opt/end_region_7.rs index a9b6d2196fc..56e3e0aa6f7 100644 --- a/src/test/mir-opt/end_region_7.rs +++ b/src/test/mir-opt/end_region_7.rs @@ -33,39 +33,33 @@ fn foo(f: F) where F: FnOnce() -> i32 { // let _1: D; // ... // let mut _2: (); -// let mut _3: [closure@NodeId(22) d:D]; -// let mut _4: D; +// let mut _3: [closure@NodeId(33) d:D]; // bb0: { // StorageLive(_1); // _1 = D::{{constructor}}(const 0i32,); +// FakeRead(ForLet, _1); // StorageLive(_3); -// StorageLive(_4); -// _4 = move _1; -// _3 = [closure@NodeId(22)] { d: move _4 }; -// drop(_4) -> [return: bb4, unwind: bb3]; +// _3 = [closure@NodeId(33)] { d: move _1 }; +// _2 = const foo(move _3) -> [return: bb2, unwind: bb4]; // } // bb1: { // resume; // } // bb2: { -// drop(_1) -> bb1; +// drop(_3) -> [return: bb5, unwind: bb3]; // } // bb3: { -// drop(_3) -> bb2; +// drop(_1) -> bb1; // } // bb4: { -// StorageDead(_4); -// _2 = const foo(move _3) -> [return: bb5, unwind: bb3]; +// drop(_3) -> bb3; // } // bb5: { -// drop(_3) -> [return: bb6, unwind: bb2]; -// } -// bb6: { // StorageDead(_3); // _0 = (); -// drop(_1) -> bb7; +// drop(_1) -> [return: bb6, unwind: bb1]; // } -// bb7: { +// bb6: { // StorageDead(_1); // return; // } @@ -73,24 +67,24 @@ fn foo(f: F) where F: FnOnce() -> i32 { // END rustc.main.SimplifyCfg-qualify-consts.after.mir // START rustc.main-{{closure}}.SimplifyCfg-qualify-consts.after.mir -// fn main::{{closure}}(_1: [closure@NodeId(22) d:D]) -> i32 { +// fn main::{{closure}}(_1: [closure@NodeId(33) d:D]) -> i32 { // let mut _0: i32; // ... -// let _2: &'15_0rs D; +// let _2: &'21_0rs D; // ... -// let mut _3: i32; // bb0: { // StorageLive(_2); -// _2 = &'15_0rs (_1.0: D); -// StorageLive(_3); -// _3 = ((*_2).0: i32); -// _0 = move _3; -// StorageDead(_3); -// EndRegion('15_0rs); +// _2 = &'21_0rs (_1.0: D); +// FakeRead(ForLet, _2); +// _0 = ((*_2).0: i32); +// EndRegion('21_0rs); // StorageDead(_2); -// drop(_1) -> bb1; +// drop(_1) -> [return: bb2, unwind: bb1]; // } // bb1: { +// resume; +// } +// bb2: { // return; // } // }