35 lines
2.0 KiB
Diff
35 lines
2.0 KiB
Diff
|
- // MIR for `f` before CopyProp
|
||
|
|
+ // MIR for `f` after CopyProp
|
||
|
|
|
||
|
|
fn f() -> bool {
|
||
|
|
let mut _0: bool; // return place in scope 0 at $DIR/borrowed_local.rs:+0:11: +0:15
|
||
|
|
let mut _1: u8; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
|
||
|
|
let mut _2: &u8; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
|
||
|
|
let mut _3: u8; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
|
||
|
|
let mut _4: &u8; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
|
||
|
|
|
||
|
|
bb0: {
|
||
|
|
_1 = const 5_u8; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
|
||
|
|
_2 = &_1; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
|
||
|
|
_3 = _1; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
|
||
|
|
_4 = &_3; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
|
||
|
|
_0 = cmp_ref(_2, _4) -> bb1; // scope 0 at $DIR/borrowed_local.rs:+8:13: +8:45
|
||
|
|
// mir::Constant
|
||
|
|
// + span: $DIR/borrowed_local.rs:23:29: 23:36
|
||
|
|
// + literal: Const { ty: for<'a, 'b> fn(&'a u8, &'b u8) -> bool {cmp_ref}, val: Value(<ZST>) }
|
||
|
|
}
|
||
|
|
|
||
|
|
bb1: {
|
||
|
|
- _0 = opaque::<u8>(_3) -> bb2; // scope 0 at $DIR/borrowed_local.rs:+12:13: +12:38
|
||
|
|
+ _0 = opaque::<u8>(_1) -> bb2; // scope 0 at $DIR/borrowed_local.rs:+12:13: +12:38
|
||
|
|
// mir::Constant
|
||
|
|
// + span: $DIR/borrowed_local.rs:27:28: 27:34
|
||
|
|
// + literal: Const { ty: fn(u8) -> bool {opaque::<u8>}, val: Value(<ZST>) }
|
||
|
|
}
|
||
|
|
|
||
|
|
bb2: {
|
||
|
|
return; // scope 0 at $DIR/borrowed_local.rs:+15:13: +15:21
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|