]>
Commit | Line | Data |
---|---|---|
3dfed10e XL |
1 | - // MIR for `exhaustive_match_i8` before MatchBranchSimplification |
2 | + // MIR for `exhaustive_match_i8` after MatchBranchSimplification | |
3 | ||
4 | fn exhaustive_match_i8(_1: E) -> i8 { | |
5 | debug e => _1; // in scope 0 at $DIR/matches_u8.rs:19:28: 19:29 | |
6 | let mut _0: i8; // return place in scope 0 at $DIR/matches_u8.rs:19:37: 19:39 | |
7 | let mut _2: isize; // in scope 0 at $DIR/matches_u8.rs:21:9: 21:13 | |
8 | ||
9 | bb0: { | |
10 | _2 = discriminant(_1); // scope 0 at $DIR/matches_u8.rs:21:9: 21:13 | |
11 | switchInt(move _2) -> [0_isize: bb2, otherwise: bb1]; // scope 0 at $DIR/matches_u8.rs:21:9: 21:13 | |
12 | } | |
13 | ||
14 | bb1: { | |
15 | _0 = const 1_i8; // scope 0 at $DIR/matches_u8.rs:22:17: 22:18 | |
16 | goto -> bb3; // scope 0 at $DIR/matches_u8.rs:20:5: 23:6 | |
17 | } | |
18 | ||
19 | bb2: { | |
20 | _0 = const 0_i8; // scope 0 at $DIR/matches_u8.rs:21:17: 21:18 | |
21 | goto -> bb3; // scope 0 at $DIR/matches_u8.rs:20:5: 23:6 | |
22 | } | |
23 | ||
24 | bb3: { | |
25 | return; // scope 0 at $DIR/matches_u8.rs:24:2: 24:2 | |
26 | } | |
27 | } | |
28 |