1 - // MIR for `match_nested_if` before MatchBranchSimplification
2 + // MIR for `match_nested_if` after MatchBranchSimplification
4 fn match_nested_if() -> bool {
5 let mut _0: bool; // return place in scope 0 at $DIR/matches_reduce_branches.rs:+0:25: +0:29
6 let _1: bool; // in scope 0 at $DIR/matches_reduce_branches.rs:+1:9: +1:12
7 let mut _2: (); // in scope 0 at $DIR/matches_reduce_branches.rs:+1:21: +1:23
8 let mut _3: bool; // in scope 0 at $DIR/matches_reduce_branches.rs:+2:15: +6:10
9 let mut _4: bool; // in scope 0 at $DIR/matches_reduce_branches.rs:+2:18: +2:76
10 let mut _5: bool; // in scope 0 at $DIR/matches_reduce_branches.rs:+2:21: +2:52
11 let mut _6: bool; // in scope 0 at $DIR/matches_reduce_branches.rs:+2:24: +2:28
12 + let mut _7: bool; // in scope 0 at $DIR/matches_reduce_branches.rs:+2:24: +2:28
13 + let mut _8: bool; // in scope 0 at $DIR/matches_reduce_branches.rs:+2:21: +2:52
14 + let mut _9: bool; // in scope 0 at $DIR/matches_reduce_branches.rs:+2:18: +2:76
15 + let mut _10: bool; // in scope 0 at $DIR/matches_reduce_branches.rs:+2:15: +6:10
17 debug val => _1; // in scope 1 at $DIR/matches_reduce_branches.rs:+1:9: +1:12
21 StorageLive(_1); // scope 0 at $DIR/matches_reduce_branches.rs:+1:9: +1:12
22 StorageLive(_2); // scope 0 at $DIR/matches_reduce_branches.rs:+1:21: +1:23
23 Deinit(_2); // scope 0 at $DIR/matches_reduce_branches.rs:+1:21: +1:23
24 StorageLive(_3); // scope 0 at $DIR/matches_reduce_branches.rs:+2:15: +6:10
25 StorageLive(_4); // scope 0 at $DIR/matches_reduce_branches.rs:+2:18: +2:76
26 StorageLive(_5); // scope 0 at $DIR/matches_reduce_branches.rs:+2:21: +2:52
27 StorageLive(_6); // scope 0 at $DIR/matches_reduce_branches.rs:+2:24: +2:28
28 _6 = const true; // scope 0 at $DIR/matches_reduce_branches.rs:+2:24: +2:28
29 - switchInt(move _6) -> [false: bb2, otherwise: bb1]; // scope 0 at $DIR/matches_reduce_branches.rs:+2:24: +2:28
33 - _5 = const true; // scope 0 at $DIR/matches_reduce_branches.rs:+2:31: +2:35
34 - goto -> bb3; // scope 0 at $DIR/matches_reduce_branches.rs:+2:21: +2:52
38 - _5 = const false; // scope 0 at $DIR/matches_reduce_branches.rs:+2:45: +2:50
39 - goto -> bb3; // scope 0 at $DIR/matches_reduce_branches.rs:+2:21: +2:52
43 + StorageLive(_7); // scope 0 at $DIR/matches_reduce_branches.rs:+2:24: +2:28
44 + _7 = move _6; // scope 0 at $DIR/matches_reduce_branches.rs:+2:24: +2:28
45 + _5 = Ne(_7, const false); // scope 0 at $DIR/matches_reduce_branches.rs:+2:45: +2:50
46 + StorageDead(_7); // scope 0 at $DIR/matches_reduce_branches.rs:+2:24: +2:28
47 StorageDead(_6); // scope 0 at $DIR/matches_reduce_branches.rs:+2:51: +2:52
48 - switchInt(move _5) -> [false: bb5, otherwise: bb4]; // scope 0 at $DIR/matches_reduce_branches.rs:+2:21: +2:52
52 - _4 = const true; // scope 0 at $DIR/matches_reduce_branches.rs:+2:55: +2:59
53 - goto -> bb6; // scope 0 at $DIR/matches_reduce_branches.rs:+2:18: +2:76
57 - _4 = const false; // scope 0 at $DIR/matches_reduce_branches.rs:+2:69: +2:74
58 - goto -> bb6; // scope 0 at $DIR/matches_reduce_branches.rs:+2:18: +2:76
62 + StorageLive(_8); // scope 0 at $DIR/matches_reduce_branches.rs:+2:21: +2:52
63 + _8 = move _5; // scope 0 at $DIR/matches_reduce_branches.rs:+2:21: +2:52
64 + _4 = Ne(_8, const false); // scope 0 at $DIR/matches_reduce_branches.rs:+2:69: +2:74
65 + StorageDead(_8); // scope 0 at $DIR/matches_reduce_branches.rs:+2:21: +2:52
66 StorageDead(_5); // scope 0 at $DIR/matches_reduce_branches.rs:+2:75: +2:76
67 - switchInt(move _4) -> [false: bb8, otherwise: bb7]; // scope 0 at $DIR/matches_reduce_branches.rs:+2:18: +2:76
71 - _3 = const true; // scope 0 at $DIR/matches_reduce_branches.rs:+3:13: +3:17
72 - goto -> bb9; // scope 0 at $DIR/matches_reduce_branches.rs:+2:15: +6:10
76 - _3 = const false; // scope 0 at $DIR/matches_reduce_branches.rs:+5:13: +5:18
77 - goto -> bb9; // scope 0 at $DIR/matches_reduce_branches.rs:+2:15: +6:10
81 - switchInt(move _3) -> [false: bb11, otherwise: bb10]; // scope 0 at $DIR/matches_reduce_branches.rs:+2:15: +6:10
85 + StorageLive(_9); // scope 0 at $DIR/matches_reduce_branches.rs:+2:18: +2:76
86 + _9 = move _4; // scope 0 at $DIR/matches_reduce_branches.rs:+2:18: +2:76
87 + _3 = Ne(_9, const false); // scope 0 at $DIR/matches_reduce_branches.rs:+5:13: +5:18
88 + StorageDead(_9); // scope 0 at $DIR/matches_reduce_branches.rs:+2:18: +2:76
89 + StorageLive(_10); // scope 0 at $DIR/matches_reduce_branches.rs:+2:15: +6:10
90 + _10 = move _3; // scope 0 at $DIR/matches_reduce_branches.rs:+2:15: +6:10
91 StorageDead(_4); // scope 0 at $DIR/matches_reduce_branches.rs:+6:9: +6:10
92 StorageDead(_3); // scope 0 at $DIR/matches_reduce_branches.rs:+6:9: +6:10
93 - _1 = const true; // scope 0 at $DIR/matches_reduce_branches.rs:+8:13: +8:17
94 - goto -> bb12; // scope 0 at $DIR/matches_reduce_branches.rs:+8:13: +8:17
98 - StorageDead(_4); // scope 0 at $DIR/matches_reduce_branches.rs:+6:9: +6:10
99 - StorageDead(_3); // scope 0 at $DIR/matches_reduce_branches.rs:+6:9: +6:10
100 - _1 = const false; // scope 0 at $DIR/matches_reduce_branches.rs:+10:14: +10:19
101 - goto -> bb12; // scope 0 at $DIR/matches_reduce_branches.rs:+10:14: +10:19
105 + _1 = Ne(_10, const false); // scope 0 at $DIR/matches_reduce_branches.rs:+10:14: +10:19
106 + StorageDead(_10); // scope 0 at $DIR/matches_reduce_branches.rs:+2:15: +6:10
107 StorageDead(_2); // scope 0 at $DIR/matches_reduce_branches.rs:+11:6: +11:7
108 _0 = _1; // scope 1 at $DIR/matches_reduce_branches.rs:+12:5: +12:8
109 StorageDead(_1); // scope 0 at $DIR/matches_reduce_branches.rs:+13:1: +13:2
110 return; // scope 0 at $DIR/matches_reduce_branches.rs:+13:2: +13:2