X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Ftest%2Fmir-opt%2Fend_region_7.rs;h=062d89a7c7e2fa01c78a07a90acc376536d70e75;hb=cdcbdfdf0ad46f534f45997fdd42409492ac000c;hp=e44b41993aa9512329cbefe78f3077d11a980efc;hpb=0ad8f9e5b1950e4ac09950def4231c8d5875de57;p=rust.git diff --git a/src/test/mir-opt/end_region_7.rs b/src/test/mir-opt/end_region_7.rs index e44b41993aa..062d89a7c7e 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) -> [return: bb7, unwind: bb1]; +// drop(_1) -> [return: bb6, unwind: bb1]; // } -// bb7: { +// bb6: { // StorageDead(_1); // return; // } @@ -73,7 +67,7 @@ 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: &'16_0rs D; @@ -81,6 +75,7 @@ fn foo(f: F) where F: FnOnce() -> i32 { // bb0: { // StorageLive(_2); // _2 = &'16_0rs (_1.0: D); +// FakeRead(ForLet, _2); // _0 = ((*_2).0: i32); // EndRegion('16_0rs); // StorageDead(_2);