]>
Commit | Line | Data |
---|---|---|
3dfed10e XL |
1 | - // MIR for `foo` before MatchBranchSimplification |
2 | + // MIR for `foo` after MatchBranchSimplification | |
3 | ||
1b1a35ee | 4 | fn foo(_1: Option<()>) -> () { |
6a06907d XL |
5 | debug bar => _1; // in scope 0 at $DIR/matches_reduce_branches.rs:7:8: 7:11 |
6 | let mut _0: (); // return place in scope 0 at $DIR/matches_reduce_branches.rs:7:25: 7:25 | |
7 | let mut _2: isize; // in scope 0 at $DIR/matches_reduce_branches.rs:8:22: 8:26 | |
8 | + let mut _3: isize; // in scope 0 at $DIR/matches_reduce_branches.rs:8:22: 8:26 | |
3dfed10e XL |
9 | |
10 | bb0: { | |
6a06907d XL |
11 | _2 = discriminant(_1); // scope 0 at $DIR/matches_reduce_branches.rs:8:22: 8:26 |
12 | - switchInt(move _2) -> [0_isize: bb2, otherwise: bb1]; // scope 0 at $DIR/matches_reduce_branches.rs:8:22: 8:26 | |
13 | - } | |
14 | - | |
15 | - bb1: { | |
16 | - goto -> bb3; // scope 0 at $DIR/matches_reduce_branches.rs:8:5: 10:6 | |
17 | - } | |
18 | - | |
19 | - bb2: { | |
20 | - goto -> bb3; // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
21 | - } | |
22 | - | |
23 | - bb3: { | |
24 | + StorageLive(_3); // scope 0 at $DIR/matches_reduce_branches.rs:8:22: 8:26 | |
25 | + _3 = move _2; // scope 0 at $DIR/matches_reduce_branches.rs:8:22: 8:26 | |
26 | + StorageDead(_3); // scope 0 at $DIR/matches_reduce_branches.rs:8:22: 8:26 | |
27 | return; // scope 0 at $DIR/matches_reduce_branches.rs:11:2: 11:2 | |
3dfed10e XL |
28 | } |
29 | } | |
30 |