mirror of
https://github.com/rust-lang/rust.git
synced 2024-12-12 08:36:03 +00:00
58 lines
960 B
Diff
58 lines
960 B
Diff
- // MIR for `renumbered_bb` before JumpThreading
|
|
+ // MIR for `renumbered_bb` after JumpThreading
|
|
|
|
fn renumbered_bb(_1: bool) -> u8 {
|
|
let mut _0: u8;
|
|
let mut _2: bool;
|
|
let mut _3: bool;
|
|
|
|
bb0: {
|
|
_3 = const false;
|
|
switchInt(_1) -> [1: bb1, otherwise: bb2];
|
|
}
|
|
|
|
bb1: {
|
|
_2 = const false;
|
|
- goto -> bb3;
|
|
+ goto -> bb8;
|
|
}
|
|
|
|
bb2: {
|
|
_2 = _1;
|
|
_3 = _1;
|
|
goto -> bb3;
|
|
}
|
|
|
|
bb3: {
|
|
switchInt(_2) -> [0: bb4, otherwise: bb5];
|
|
}
|
|
|
|
bb4: {
|
|
switchInt(_3) -> [0: bb6, otherwise: bb7];
|
|
}
|
|
|
|
bb5: {
|
|
_0 = const 7_u8;
|
|
return;
|
|
}
|
|
|
|
bb6: {
|
|
_0 = const 9_u8;
|
|
return;
|
|
}
|
|
|
|
bb7: {
|
|
_0 = const 11_u8;
|
|
return;
|
|
+ }
|
|
+
|
|
+ bb8: {
|
|
+ goto -> bb9;
|
|
+ }
|
|
+
|
|
+ bb9: {
|
|
+ goto -> bb6;
|
|
}
|
|
}
|
|
|