mirror of
https://github.com/rust-lang/rust.git
synced 2024-12-03 04:04:06 +00:00
233 lines
6.8 KiB
Diff
233 lines
6.8 KiB
Diff
- // MIR for `wide_ptr_provenance` before GVN
|
|
+ // MIR for `wide_ptr_provenance` after GVN
|
|
|
|
fn wide_ptr_provenance() -> () {
|
|
let mut _0: ();
|
|
let _1: *const dyn std::marker::Send;
|
|
let mut _2: *const dyn std::marker::Send;
|
|
let _3: &dyn std::marker::Send;
|
|
let mut _4: &i32;
|
|
let _5: &i32;
|
|
let _6: i32;
|
|
let mut _8: *const dyn std::marker::Send;
|
|
let _9: &dyn std::marker::Send;
|
|
let mut _10: &i32;
|
|
let _11: &i32;
|
|
let _12: i32;
|
|
let _13: ();
|
|
let mut _14: bool;
|
|
let mut _15: *const dyn std::marker::Send;
|
|
let mut _16: *const dyn std::marker::Send;
|
|
let mut _17: *const dyn std::marker::Send;
|
|
let _18: ();
|
|
let mut _19: bool;
|
|
let mut _20: *const dyn std::marker::Send;
|
|
let mut _21: *const dyn std::marker::Send;
|
|
let mut _22: *const dyn std::marker::Send;
|
|
let _23: ();
|
|
let mut _24: bool;
|
|
let mut _25: *const dyn std::marker::Send;
|
|
let mut _26: *const dyn std::marker::Send;
|
|
let mut _27: *const dyn std::marker::Send;
|
|
let _28: ();
|
|
let mut _29: bool;
|
|
let mut _30: *const dyn std::marker::Send;
|
|
let mut _31: *const dyn std::marker::Send;
|
|
let mut _32: *const dyn std::marker::Send;
|
|
let _33: ();
|
|
let mut _34: bool;
|
|
let mut _35: *const dyn std::marker::Send;
|
|
let mut _36: *const dyn std::marker::Send;
|
|
let mut _37: *const dyn std::marker::Send;
|
|
let _38: ();
|
|
let mut _39: bool;
|
|
let mut _40: *const dyn std::marker::Send;
|
|
let mut _41: *const dyn std::marker::Send;
|
|
let mut _42: *const dyn std::marker::Send;
|
|
let mut _44: &i32;
|
|
scope 1 {
|
|
debug a => _1;
|
|
let _7: *const dyn std::marker::Send;
|
|
let mut _43: &i32;
|
|
scope 2 {
|
|
debug b => _7;
|
|
}
|
|
}
|
|
|
|
bb0: {
|
|
StorageLive(_1);
|
|
- StorageLive(_2);
|
|
+ nop;
|
|
StorageLive(_3);
|
|
StorageLive(_4);
|
|
StorageLive(_5);
|
|
_44 = const wide_ptr_provenance::promoted[1];
|
|
_5 = &(*_44);
|
|
_4 = &(*_5);
|
|
_3 = move _4 as &dyn std::marker::Send (PointerCoercion(Unsize));
|
|
StorageDead(_4);
|
|
_2 = &raw const (*_3);
|
|
- _1 = move _2 as *const dyn std::marker::Send (PointerCoercion(Unsize));
|
|
- StorageDead(_2);
|
|
+ _1 = _2;
|
|
+ nop;
|
|
StorageDead(_5);
|
|
StorageDead(_3);
|
|
StorageLive(_7);
|
|
- StorageLive(_8);
|
|
+ nop;
|
|
StorageLive(_9);
|
|
StorageLive(_10);
|
|
StorageLive(_11);
|
|
_43 = const wide_ptr_provenance::promoted[0];
|
|
_11 = &(*_43);
|
|
_10 = &(*_11);
|
|
_9 = move _10 as &dyn std::marker::Send (PointerCoercion(Unsize));
|
|
StorageDead(_10);
|
|
_8 = &raw const (*_9);
|
|
- _7 = move _8 as *const dyn std::marker::Send (PointerCoercion(Unsize));
|
|
- StorageDead(_8);
|
|
+ _7 = _8;
|
|
+ nop;
|
|
StorageDead(_11);
|
|
StorageDead(_9);
|
|
StorageLive(_13);
|
|
StorageLive(_14);
|
|
StorageLive(_15);
|
|
- _15 = _1;
|
|
+ _15 = _2;
|
|
StorageLive(_16);
|
|
StorageLive(_17);
|
|
- _17 = _7;
|
|
- _16 = move _17 as *const dyn std::marker::Send (PointerCoercion(Unsize));
|
|
+ _17 = _8;
|
|
+ _16 = _8;
|
|
StorageDead(_17);
|
|
- _14 = Eq(move _15, move _16);
|
|
+ _14 = Eq(_2, _8);
|
|
StorageDead(_16);
|
|
StorageDead(_15);
|
|
_13 = opaque::<bool>(move _14) -> [return: bb1, unwind unreachable];
|
|
}
|
|
|
|
bb1: {
|
|
StorageDead(_14);
|
|
StorageDead(_13);
|
|
StorageLive(_18);
|
|
StorageLive(_19);
|
|
StorageLive(_20);
|
|
- _20 = _1;
|
|
+ _20 = _2;
|
|
StorageLive(_21);
|
|
StorageLive(_22);
|
|
- _22 = _7;
|
|
- _21 = move _22 as *const dyn std::marker::Send (PointerCoercion(Unsize));
|
|
+ _22 = _8;
|
|
+ _21 = _8;
|
|
StorageDead(_22);
|
|
- _19 = Ne(move _20, move _21);
|
|
+ _19 = Ne(_2, _8);
|
|
StorageDead(_21);
|
|
StorageDead(_20);
|
|
_18 = opaque::<bool>(move _19) -> [return: bb2, unwind unreachable];
|
|
}
|
|
|
|
bb2: {
|
|
StorageDead(_19);
|
|
StorageDead(_18);
|
|
StorageLive(_23);
|
|
StorageLive(_24);
|
|
StorageLive(_25);
|
|
- _25 = _1;
|
|
+ _25 = _2;
|
|
StorageLive(_26);
|
|
StorageLive(_27);
|
|
- _27 = _7;
|
|
- _26 = move _27 as *const dyn std::marker::Send (PointerCoercion(Unsize));
|
|
+ _27 = _8;
|
|
+ _26 = _8;
|
|
StorageDead(_27);
|
|
- _24 = Lt(move _25, move _26);
|
|
+ _24 = Lt(_2, _8);
|
|
StorageDead(_26);
|
|
StorageDead(_25);
|
|
_23 = opaque::<bool>(move _24) -> [return: bb3, unwind unreachable];
|
|
}
|
|
|
|
bb3: {
|
|
StorageDead(_24);
|
|
StorageDead(_23);
|
|
StorageLive(_28);
|
|
StorageLive(_29);
|
|
StorageLive(_30);
|
|
- _30 = _1;
|
|
+ _30 = _2;
|
|
StorageLive(_31);
|
|
StorageLive(_32);
|
|
- _32 = _7;
|
|
- _31 = move _32 as *const dyn std::marker::Send (PointerCoercion(Unsize));
|
|
+ _32 = _8;
|
|
+ _31 = _8;
|
|
StorageDead(_32);
|
|
- _29 = Le(move _30, move _31);
|
|
+ _29 = Le(_2, _8);
|
|
StorageDead(_31);
|
|
StorageDead(_30);
|
|
_28 = opaque::<bool>(move _29) -> [return: bb4, unwind unreachable];
|
|
}
|
|
|
|
bb4: {
|
|
StorageDead(_29);
|
|
StorageDead(_28);
|
|
StorageLive(_33);
|
|
StorageLive(_34);
|
|
StorageLive(_35);
|
|
- _35 = _1;
|
|
+ _35 = _2;
|
|
StorageLive(_36);
|
|
StorageLive(_37);
|
|
- _37 = _7;
|
|
- _36 = move _37 as *const dyn std::marker::Send (PointerCoercion(Unsize));
|
|
+ _37 = _8;
|
|
+ _36 = _8;
|
|
StorageDead(_37);
|
|
- _34 = Gt(move _35, move _36);
|
|
+ _34 = Gt(_2, _8);
|
|
StorageDead(_36);
|
|
StorageDead(_35);
|
|
_33 = opaque::<bool>(move _34) -> [return: bb5, unwind unreachable];
|
|
}
|
|
|
|
bb5: {
|
|
StorageDead(_34);
|
|
StorageDead(_33);
|
|
StorageLive(_38);
|
|
StorageLive(_39);
|
|
StorageLive(_40);
|
|
- _40 = _1;
|
|
+ _40 = _2;
|
|
StorageLive(_41);
|
|
StorageLive(_42);
|
|
- _42 = _7;
|
|
- _41 = move _42 as *const dyn std::marker::Send (PointerCoercion(Unsize));
|
|
+ _42 = _8;
|
|
+ _41 = _8;
|
|
StorageDead(_42);
|
|
- _39 = Ge(move _40, move _41);
|
|
+ _39 = Ge(_2, _8);
|
|
StorageDead(_41);
|
|
StorageDead(_40);
|
|
_38 = opaque::<bool>(move _39) -> [return: bb6, unwind unreachable];
|
|
}
|
|
|
|
bb6: {
|
|
StorageDead(_39);
|
|
StorageDead(_38);
|
|
_0 = const ();
|
|
StorageDead(_7);
|
|
StorageDead(_1);
|
|
return;
|
|
}
|
|
}
|
|
|