blob: 6b96c24d46063c7ab3d5a7bf2999ddf0f761ecb7 [file] [log] [blame]
- // MIR for `fn0` before ConstProp
+ // MIR for `fn0` after ConstProp
fn fn0() -> bool {
let mut _0: bool;
let mut _1: !;
let mut _2: (i32, bool);
let _4: ();
let mut _6: bool;
scope 1 {
debug pair => _2;
let _3: *mut bool;
scope 2 {
debug ptr => _3;
let _5: bool;
scope 3 {
}
scope 4 {
debug ret => _5;
}
}
}
bb0: {
StorageLive(_2);
_2 = (const 1_i32, const false);
StorageLive(_3);
_3 = &raw mut (_2.1: bool);
_2 = (const 1_i32, const false);
StorageLive(_4);
(*_3) = const true;
_4 = const ();
StorageDead(_4);
StorageLive(_5);
StorageLive(_6);
_6 = (_2.1: bool);
_5 = Not(move _6);
StorageDead(_6);
_0 = _5;
StorageDead(_5);
StorageDead(_3);
StorageDead(_2);
return;
}
}