blob: 8a957238c84536734ee5eae0d805887ef1ada1b4 [file] [edit]
- // MIR for `on_if_2` before SsaRangePropagation
+ // MIR for `on_if_2` after SsaRangePropagation
fn on_if_2(_1: bool) -> bool {
let mut _0: bool;
bb0: {
switchInt(copy _1) -> [1: bb2, otherwise: bb1];
}
bb1: {
goto -> bb2;
}
bb2: {
_0 = copy _1;
return;
}
}