436 lines
11 KiB
Diff
436 lines
11 KiB
Diff
- // 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;
|
|
}
|
|
}
|
|
|