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