20 lines
361 B
Diff
20 lines
361 B
Diff
- // 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;
|
|
}
|
|
}
|
|
|