bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

add successors and their formatter

Browse source
This commit is contained in:
ouz-a 2023-11-24 14:34:27 +03:00
parent 879c7f91ab
commit de2779077a
4 changed files with 165 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

12
compiler/rustc_smir/src/rustc_smir/convert/mir.rs
View file

@ -578,13 +578,11 @@ impl<'tcx> Stable<'tcx> for mir::TerminatorKind<'tcx> {
}
mir::TerminatorKind::SwitchInt { discr, targets } => TerminatorKind::SwitchInt {
discr: discr.stable(tables),
targets: targets
.iter()
.map(|(value, target)| stable_mir::mir::SwitchTarget {
value,
target: target.as_usize(),
})
.collect(),
targets: {
let (value_vec, target_vec) =
targets.iter().map(|(value, target)| (value, target.as_usize())).unzip();
stable_mir::mir::SwitchTargets { value: value_vec, targets: target_vec }
},
otherwise: targets.otherwise().as_usize(),
},
mir::TerminatorKind::UnwindResume => TerminatorKind::Resume,