37 lines
872 B
Diff
37 lines
872 B
Diff
- // MIR for `preserve_debuginfo_3` before SimplifyCfg-final
|
|
+ // MIR for `preserve_debuginfo_3` after SimplifyCfg-final
|
|
|
|
fn preserve_debuginfo_3(_1: &Foo, _2: bool) -> i32 {
|
|
debug foo_a => _3;
|
|
debug foo_b => _4;
|
|
debug foo_c => _5;
|
|
let mut _0: i32;
|
|
let mut _3: &i32;
|
|
let mut _4: &i64;
|
|
let mut _5: &i32;
|
|
|
|
bb0: {
|
|
- switchInt(copy _2) -> [1: bb1, otherwise: bb2];
|
|
+ switchInt(copy _2) -> [1: bb2, otherwise: bb1];
|
|
}
|
|
|
|
bb1: {
|
|
- // DBG: _3 = &((*_1).0: i32);
|
|
- goto -> bb3;
|
|
- }
|
|
-
|
|
- bb2: {
|
|
// DBG: _4 = &((*_1).1: i64);
|
|
_0 = copy ((*_1).2: i32);
|
|
return;
|
|
}
|
|
|
|
- bb3: {
|
|
+ bb2: {
|
|
+ // DBG: _3 = &((*_1).0: i32);
|
|
// DBG: _5 = &((*_1).2: i32);
|
|
_0 = copy ((*_1).0: i32);
|
|
return;
|
|
}
|
|
}
|
|
|