27 lines
1.3 KiB
Diff
27 lines
1.3 KiB
Diff
|
- // MIR for `mutate_discriminant` before DataflowConstProp
|
||
|
+ // MIR for `mutate_discriminant` after DataflowConstProp
|
||
|
|
||
|
fn mutate_discriminant() -> u8 {
|
||
|
let mut _0: u8; // return place in scope 0 at $DIR/enum.rs:+0:29: +0:31
|
||
|
let mut _1: std::option::Option<NonZeroUsize>; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
|
||
|
let mut _2: isize; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
|
||
|
|
||
|
bb0: {
|
||
|
discriminant(_1) = 1; // scope 0 at $DIR/enum.rs:+4:13: +4:34
|
||
|
(((_1 as variant#1).0: NonZeroUsize).0: usize) = const 0_usize; // scope 0 at $DIR/enum.rs:+6:13: +6:64
|
||
|
_2 = discriminant(_1); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
|
||
|
switchInt(_2) -> [0: bb1, otherwise: bb2]; // scope 0 at $DIR/enum.rs:+9:13: +12:14
|
||
|
}
|
||
|
|
||
|
bb1: {
|
||
|
_0 = const 1_u8; // scope 0 at $DIR/enum.rs:+15:13: +15:20
|
||
|
return; // scope 0 at $DIR/enum.rs:+16:13: +16:21
|
||
|
}
|
||
|
|
||
|
bb2: {
|
||
|
_0 = const 2_u8; // scope 0 at $DIR/enum.rs:+19:13: +19:20
|
||
|
unreachable; // scope 0 at $DIR/enum.rs:+20:13: +20:26
|
||
|
}
|
||
|
}
|
||
|
|