- // MIR for `reference_propagation_mut` before ReferencePropagation
+ // MIR for `reference_propagation_mut` after ReferencePropagation
fn reference_propagation_mut(_1: &mut T, _2: &mut T) -> () {
debug single => _1;
debug multiple => _2;
let mut _0: ();
let _3: ();
let mut _4: usize;
let _7: ();
let mut _8: ();
let _9: ();
let mut _10: usize;
let mut _13: &mut usize;
let mut _14: &mut usize;
let _16: ();
let mut _17: ();
let _18: ();
let mut _19: usize;
let _23: ();
let mut _24: &&mut usize;
let _25: ();
let mut _26: usize;
let _30: ();
let mut _31: *mut &mut usize;
let _32: ();
let mut _33: usize;
let _36: ();
let mut _37: &mut usize;
let _38: ();
let mut _39: usize;
let _45: ();
let mut _46: &mut usize;
let _47: ();
let _48: &mut T;
let _50: ();
let mut _51: ();
let _52: ();
let _53: &mut T;
let mut _54: &mut T;
let mut _55: &mut T;
let _57: ();
let mut _58: ();
let _59: ();
let mut _60: usize;
let _64: ();
let mut _65: ();
let mut _66: usize;
let _70: ();
let mut _71: ();
scope 1 {
debug a => _4;
let _5: &mut usize;
scope 2 {
debug b => _5;
let _6: usize;
scope 3 {
debug c => _6;
}
}
}
scope 4 {
debug a => _10;
let mut _11: usize;
scope 5 {
debug a2 => _11;
let mut _12: &mut usize;
scope 6 {
debug b => _12;
let _15: usize;
scope 7 {
debug c => _15;
}
}
}
}
scope 8 {
debug a => _19;
let _20: &mut usize;
scope 9 {
debug b => _20;
let _21: &&mut usize;
scope 10 {
debug d => _21;
let _22: usize;
scope 11 {
debug c => _22;
}
}
}
}
scope 12 {
debug a => _26;
let mut _27: &mut usize;
scope 13 {
debug b => _27;
let _28: *mut &mut usize;
scope 14 {
debug d => _28;
let _29: usize;
scope 15 {
debug c => _29;
}
}
}
}
scope 16 {
debug a => _33;
let _34: &mut usize;
scope 17 {
debug b => _34;
let _35: usize;
scope 18 {
debug c => _35;
}
}
}
scope 19 {
debug a => _39;
let _40: &mut usize;
scope 20 {
debug b1 => _40;
let _41: usize;
scope 21 {
debug c => _41;
let _42: &mut usize;
scope 22 {
debug b2 => _42;
let _43: usize;
scope 23 {
debug c2 => _43;
let _44: &mut usize;
scope 24 {
debug b3 => _44;
}
}
}
}
}
}
scope 25 {
- debug a => _48;
+ debug a => _1;
let _49: T;
scope 26 {
debug b => _49;
}
}
scope 27 {
debug a => _53;
let _56: T;
scope 28 {
debug b => _56;
}
}
scope 29 {
debug a => _60;
let _61: &mut usize;
scope 30 {
debug b => _61;
let _62: &&mut usize;
scope 31 {
debug d => _62;
let _63: usize;
scope 32 {
debug c => _63;
}
}
}
}
scope 33 {
debug a => _66;
let mut _67: &mut usize;
scope 34 {
debug b => _67;
let _68: &mut &mut usize;
scope 35 {
debug d => _68;
let _69: usize;
scope 36 {
debug c => _69;
}
}
}
}
bb0: {
- StorageLive(_3);
StorageLive(_4);
_4 = const 5_usize;
StorageLive(_5);
_5 = &mut _4;
StorageLive(_6);
- _6 = (*_5);
+ _6 = _4;
StorageLive(_7);
StorageLive(_8);
_8 = ();
_7 = opaque::<()>(move _8) -> [return: bb1, unwind continue];
}
bb1: {
StorageDead(_8);
StorageDead(_7);
- _3 = const ();
StorageDead(_6);
StorageDead(_5);
StorageDead(_4);
- StorageDead(_3);
- StorageLive(_9);
StorageLive(_10);
_10 = const 5_usize;
StorageLive(_11);
_11 = const 7_usize;
StorageLive(_12);
_12 = &mut _10;
StorageLive(_13);
- StorageLive(_14);
- _14 = &mut _11;
- _13 = &mut (*_14);
+ _13 = &mut _11;
_12 = move _13;
StorageDead(_13);
- StorageDead(_14);
StorageLive(_15);
_15 = (*_12);
StorageLive(_16);
StorageLive(_17);
_17 = ();
_16 = opaque::<()>(move _17) -> [return: bb2, unwind continue];
}
bb2: {
StorageDead(_17);
StorageDead(_16);
- _9 = const ();
StorageDead(_15);
StorageDead(_12);
StorageDead(_11);
StorageDead(_10);
- StorageDead(_9);
- StorageLive(_18);
StorageLive(_19);
_19 = const 5_usize;
StorageLive(_20);
_20 = &mut _19;
StorageLive(_21);
_21 = &_20;
StorageLive(_22);
_22 = (*_20);
StorageLive(_23);
StorageLive(_24);
_24 = _21;
_23 = opaque::<&&mut usize>(move _24) -> [return: bb3, unwind continue];
}
bb3: {
StorageDead(_24);
StorageDead(_23);
- _18 = const ();
StorageDead(_22);
StorageDead(_21);
StorageDead(_20);
StorageDead(_19);
- StorageDead(_18);
- StorageLive(_25);
StorageLive(_26);
_26 = const 5_usize;
StorageLive(_27);
_27 = &mut _26;
StorageLive(_28);
_28 = &raw mut _27;
StorageLive(_29);
_29 = (*_27);
StorageLive(_30);
StorageLive(_31);
_31 = _28;
_30 = opaque::<*mut &mut usize>(move _31) -> [return: bb4, unwind continue];
}
bb4: {
StorageDead(_31);
StorageDead(_30);
- _25 = const ();
StorageDead(_29);
StorageDead(_28);
StorageDead(_27);
StorageDead(_26);
- StorageDead(_25);
- StorageLive(_32);
StorageLive(_33);
_33 = const 7_usize;
StorageLive(_34);
_34 = &mut _33;
StorageLive(_35);
_35 = (*_34);
StorageLive(_36);
StorageLive(_37);
_37 = move _34;
_36 = opaque::<&mut usize>(move _37) -> [return: bb5, unwind continue];
}
bb5: {
StorageDead(_37);
StorageDead(_36);
- _32 = const ();
StorageDead(_35);
StorageDead(_34);
StorageDead(_33);
- StorageDead(_32);
- StorageLive(_38);
StorageLive(_39);
_39 = const 7_usize;
StorageLive(_40);
_40 = &mut _39;
StorageLive(_41);
_41 = (*_40);
StorageLive(_42);
_42 = move _40;
StorageLive(_43);
_43 = (*_42);
StorageLive(_44);
_44 = move _42;
StorageLive(_45);
StorageLive(_46);
_46 = move _44;
_45 = opaque::<&mut usize>(move _46) -> [return: bb6, unwind continue];
}
bb6: {
StorageDead(_46);
StorageDead(_45);
- _38 = const ();
StorageDead(_44);
StorageDead(_43);
StorageDead(_42);
StorageDead(_41);
StorageDead(_40);
StorageDead(_39);
- StorageDead(_38);
- StorageLive(_47);
- StorageLive(_48);
- _48 = &mut (*_1);
StorageLive(_49);
- _49 = (*_48);
+ _49 = (*_1);
StorageLive(_50);
StorageLive(_51);
_51 = ();
_50 = opaque::<()>(move _51) -> [return: bb7, unwind continue];
}
bb7: {
StorageDead(_51);
StorageDead(_50);
- _47 = const ();
StorageDead(_49);
- StorageDead(_48);
- StorageDead(_47);
- StorageLive(_52);
StorageLive(_53);
_53 = &mut (*_2);
StorageLive(_54);
- StorageLive(_55);
- _55 = &mut (*_1);
- _54 = &mut (*_55);
+ _54 = &mut (*_1);
_2 = move _54;
StorageDead(_54);
- StorageDead(_55);
StorageLive(_56);
_56 = (*_53);
StorageLive(_57);
StorageLive(_58);
_58 = ();
_57 = opaque::<()>(move _58) -> [return: bb8, unwind continue];
}
bb8: {
StorageDead(_58);
StorageDead(_57);
- _52 = const ();
StorageDead(_56);
StorageDead(_53);
- StorageDead(_52);
- StorageLive(_59);
StorageLive(_60);
_60 = const 5_usize;
StorageLive(_61);
_61 = &mut _60;
StorageLive(_62);
_62 = &_61;
StorageLive(_63);
_63 = (*_61);
StorageLive(_64);
StorageLive(_65);
_65 = ();
_64 = opaque::<()>(move _65) -> [return: bb9, unwind continue];
}
bb9: {
StorageDead(_65);
StorageDead(_64);
- _59 = const ();
StorageDead(_63);
StorageDead(_62);
StorageDead(_61);
StorageDead(_60);
- StorageDead(_59);
StorageLive(_66);
_66 = const 5_usize;
StorageLive(_67);
_67 = &mut _66;
StorageLive(_68);
_68 = &mut _67;
StorageLive(_69);
_69 = (*_67);
StorageLive(_70);
StorageLive(_71);
_71 = ();
_70 = opaque::<()>(move _71) -> [return: bb10, unwind continue];
}
bb10: {
StorageDead(_71);
StorageDead(_70);
_0 = const ();
StorageDead(_69);
StorageDead(_68);
StorageDead(_67);
StorageDead(_66);
return;
}
}