Update mir-opt to promoted changes

This commit is contained in:
Oliver Schneider 2018-07-22 14:53:35 +02:00
parent be92f9d3d6
commit cbd42749ef
2 changed files with 4 additions and 10 deletions

View File

@ -122,19 +122,15 @@ unsafe impl<'a, #[may_dangle] 'b> Drop for D1<'a, 'b> {
// let mut _6: &'10s S1;
// let mut _7: &'10s S1;
// let mut _8: S1;
// let mut _9: &'10s S1;
// let mut _10: &'12ds S1;
// bb0: {
// StorageLive(_2);
// StorageLive(_3);
// StorageLive(_4);
// _10 = promoted[1];
// _4 = &'12ds (*_10);
// _4 = &'12ds (promoted[1]: S1);
// _3 = &'12ds (*_4);
// StorageLive(_6);
// StorageLive(_7);
// _9 = promoted[0];
// _7 = &'10s (*_9);
// _7 = &'10s (promoted[0]: S1);
// _6 = &'10s (*_7);
// _2 = D1<'12ds, '10s>::{{constructor}}(move _3, move _6);
// EndRegion('10s);

View File

@ -54,8 +54,7 @@ fn main() {
// ...
// _2 = std::option::Option<i32>::Some(const 42i32,);
// _3 = discriminant(_2);
// _14 = promoted[1];
// _4 = &(*_14);
// _4 = &(promoted[1]: std::option::Option<i32>);
// _9 = discriminant(_2);
// switchInt(move _9) -> [0isize: bb5, 1isize: bb3, otherwise: bb7];
// }
@ -86,8 +85,7 @@ fn main() {
// }
// bb8: { // binding1 and guard
// StorageLive(_7);
// _13 = promoted[0];
// _7 = &(((*_13) as Some).0: i32);
// _7 = &(((promoted[0]: std::option::Option<i32>) as Some).0: i32);
// StorageLive(_10);
// _10 = const guard() -> [return: bb9, unwind: bb1];
// }