43 lines
814 B
Diff
43 lines
814 B
Diff
- // MIR for `match_zext_u8_i16_failed` before MatchBranchSimplification
|
|
+ // MIR for `match_zext_u8_i16_failed` after MatchBranchSimplification
|
|
|
|
fn match_zext_u8_i16_failed(_1: EnumAu8) -> i16 {
|
|
debug i => _1;
|
|
let mut _0: i16;
|
|
let mut _2: u8;
|
|
|
|
bb0: {
|
|
_2 = discriminant(_1);
|
|
switchInt(move _2) -> [0: bb5, 127: bb4, 128: bb3, 255: bb2, otherwise: bb1];
|
|
}
|
|
|
|
bb1: {
|
|
unreachable;
|
|
}
|
|
|
|
bb2: {
|
|
_0 = const 255_i16;
|
|
goto -> bb6;
|
|
}
|
|
|
|
bb3: {
|
|
_0 = const 128_i16;
|
|
goto -> bb6;
|
|
}
|
|
|
|
bb4: {
|
|
_0 = const -127_i16;
|
|
goto -> bb6;
|
|
}
|
|
|
|
bb5: {
|
|
_0 = const 0_i16;
|
|
goto -> bb6;
|
|
}
|
|
|
|
bb6: {
|
|
return;
|
|
}
|
|
}
|
|
|