1 // MIR for `main` before PromoteTemps
4 let mut _0: (); // return place in scope 0 at $DIR/match_false_edges.rs:32:11: 32:11
5 let mut _1: i32; // in scope 0 at $DIR/match_false_edges.rs:33:13: 38:6
6 let mut _2: std::option::Option<i32>; // in scope 0 at $DIR/match_false_edges.rs:33:19: 33:26
7 let mut _3: isize; // in scope 0 at $DIR/match_false_edges.rs:36:9: 36:16
8 let mut _4: isize; // in scope 0 at $DIR/match_false_edges.rs:34:9: 34:17
9 let mut _5: &std::option::Option<i32>; // in scope 0 at $DIR/match_false_edges.rs:33:19: 33:26
10 let _6: i32; // in scope 0 at $DIR/match_false_edges.rs:34:14: 34:16
11 let _7: &i32; // in scope 0 at $DIR/match_false_edges.rs:34:14: 34:16
12 let mut _8: bool; // in scope 0 at $DIR/match_false_edges.rs:34:21: 34:28
13 let _9: std::option::Option<i32>; // in scope 0 at $DIR/match_false_edges.rs:35:9: 35:11
14 let _10: i32; // in scope 0 at $DIR/match_false_edges.rs:36:14: 36:15
15 let _11: &i32; // in scope 0 at $DIR/match_false_edges.rs:36:14: 36:15
16 let mut _12: bool; // in scope 0 at $DIR/match_false_edges.rs:36:20: 36:29
17 let mut _13: i32; // in scope 0 at $DIR/match_false_edges.rs:36:27: 36:28
18 let _14: std::option::Option<i32>; // in scope 0 at $DIR/match_false_edges.rs:37:9: 37:11
22 debug _w => _6; // in scope 2 at $DIR/match_false_edges.rs:34:14: 34:16
23 debug _w => _7; // in scope 2 at $DIR/match_false_edges.rs:34:14: 34:16
26 debug _x => _9; // in scope 3 at $DIR/match_false_edges.rs:35:9: 35:11
29 debug y => _10; // in scope 4 at $DIR/match_false_edges.rs:36:14: 36:15
30 debug y => _11; // in scope 4 at $DIR/match_false_edges.rs:36:14: 36:15
33 debug _z => _14; // in scope 5 at $DIR/match_false_edges.rs:37:9: 37:11
37 StorageLive(_1); // scope 0 at $DIR/match_false_edges.rs:33:13: 38:6
38 StorageLive(_2); // scope 0 at $DIR/match_false_edges.rs:33:19: 33:26
39 _2 = Option::<i32>::Some(const 1_i32); // scope 0 at $DIR/match_false_edges.rs:33:19: 33:26
40 FakeRead(ForMatchedPlace(None), _2); // scope 0 at $DIR/match_false_edges.rs:33:19: 33:26
41 _4 = discriminant(_2); // scope 0 at $DIR/match_false_edges.rs:33:19: 33:26
42 switchInt(move _4) -> [1_isize: bb2, otherwise: bb1]; // scope 0 at $DIR/match_false_edges.rs:33:13: 33:26
46 falseEdge -> [real: bb9, imaginary: bb4]; // scope 0 at $DIR/match_false_edges.rs:35:9: 35:11
50 falseEdge -> [real: bb5, imaginary: bb1]; // scope 0 at $DIR/match_false_edges.rs:34:9: 34:17
54 StorageLive(_14); // scope 0 at $DIR/match_false_edges.rs:37:9: 37:11
55 _14 = _2; // scope 0 at $DIR/match_false_edges.rs:37:9: 37:11
56 _1 = const 4_i32; // scope 5 at $DIR/match_false_edges.rs:37:15: 37:16
57 StorageDead(_14); // scope 0 at $DIR/match_false_edges.rs:37:15: 37:16
58 goto -> bb14; // scope 0 at $DIR/match_false_edges.rs:37:15: 37:16
62 falseEdge -> [real: bb10, imaginary: bb3]; // scope 0 at $DIR/match_false_edges.rs:36:9: 36:16
66 StorageLive(_7); // scope 0 at $DIR/match_false_edges.rs:34:14: 34:16
67 _7 = &((_2 as Some).0: i32); // scope 0 at $DIR/match_false_edges.rs:34:14: 34:16
68 _5 = &shallow _2; // scope 0 at $DIR/match_false_edges.rs:33:19: 33:26
69 StorageLive(_8); // scope 0 at $DIR/match_false_edges.rs:34:21: 34:28
70 _8 = guard() -> [return: bb6, unwind: bb15]; // scope 0 at $DIR/match_false_edges.rs:34:21: 34:28
72 // + span: $DIR/match_false_edges.rs:34:21: 34:26
73 // + literal: Const { ty: fn() -> bool {guard}, val: Value(Scalar(<ZST>)) }
77 switchInt(move _8) -> [false: bb8, otherwise: bb7]; // scope 0 at $DIR/match_false_edges.rs:34:21: 34:28
81 StorageDead(_8); // scope 0 at $DIR/match_false_edges.rs:34:27: 34:28
82 FakeRead(ForMatchGuard, _5); // scope 0 at $DIR/match_false_edges.rs:34:27: 34:28
83 FakeRead(ForGuardBinding, _7); // scope 0 at $DIR/match_false_edges.rs:34:27: 34:28
84 StorageLive(_6); // scope 0 at $DIR/match_false_edges.rs:34:14: 34:16
85 _6 = ((_2 as Some).0: i32); // scope 0 at $DIR/match_false_edges.rs:34:14: 34:16
86 _1 = const 1_i32; // scope 2 at $DIR/match_false_edges.rs:34:32: 34:33
87 StorageDead(_6); // scope 0 at $DIR/match_false_edges.rs:34:32: 34:33
88 StorageDead(_7); // scope 0 at $DIR/match_false_edges.rs:34:32: 34:33
89 goto -> bb14; // scope 0 at $DIR/match_false_edges.rs:34:32: 34:33
93 StorageDead(_8); // scope 0 at $DIR/match_false_edges.rs:34:27: 34:28
94 StorageDead(_7); // scope 0 at $DIR/match_false_edges.rs:34:32: 34:33
95 falseEdge -> [real: bb1, imaginary: bb1]; // scope 0 at $DIR/match_false_edges.rs:34:21: 34:28
99 StorageLive(_9); // scope 0 at $DIR/match_false_edges.rs:35:9: 35:11
100 _9 = _2; // scope 0 at $DIR/match_false_edges.rs:35:9: 35:11
101 _1 = const 2_i32; // scope 3 at $DIR/match_false_edges.rs:35:15: 35:16
102 StorageDead(_9); // scope 0 at $DIR/match_false_edges.rs:35:15: 35:16
103 goto -> bb14; // scope 0 at $DIR/match_false_edges.rs:35:15: 35:16
107 StorageLive(_11); // scope 0 at $DIR/match_false_edges.rs:36:14: 36:15
108 _11 = &((_2 as Some).0: i32); // scope 0 at $DIR/match_false_edges.rs:36:14: 36:15
109 _5 = &shallow _2; // scope 0 at $DIR/match_false_edges.rs:33:19: 33:26
110 StorageLive(_12); // scope 0 at $DIR/match_false_edges.rs:36:20: 36:29
111 StorageLive(_13); // scope 0 at $DIR/match_false_edges.rs:36:27: 36:28
112 _13 = (*_11); // scope 0 at $DIR/match_false_edges.rs:36:27: 36:28
113 _12 = guard2(move _13) -> [return: bb11, unwind: bb15]; // scope 0 at $DIR/match_false_edges.rs:36:20: 36:29
115 // + span: $DIR/match_false_edges.rs:36:20: 36:26
116 // + literal: Const { ty: fn(i32) -> bool {guard2}, val: Value(Scalar(<ZST>)) }
120 switchInt(move _12) -> [false: bb13, otherwise: bb12]; // scope 0 at $DIR/match_false_edges.rs:36:20: 36:29
124 StorageDead(_13); // scope 0 at $DIR/match_false_edges.rs:36:28: 36:29
125 StorageDead(_12); // scope 0 at $DIR/match_false_edges.rs:36:28: 36:29
126 FakeRead(ForMatchGuard, _5); // scope 0 at $DIR/match_false_edges.rs:36:28: 36:29
127 FakeRead(ForGuardBinding, _11); // scope 0 at $DIR/match_false_edges.rs:36:28: 36:29
128 StorageLive(_10); // scope 0 at $DIR/match_false_edges.rs:36:14: 36:15
129 _10 = ((_2 as Some).0: i32); // scope 0 at $DIR/match_false_edges.rs:36:14: 36:15
130 _1 = const 3_i32; // scope 4 at $DIR/match_false_edges.rs:36:33: 36:34
131 StorageDead(_10); // scope 0 at $DIR/match_false_edges.rs:36:33: 36:34
132 StorageDead(_11); // scope 0 at $DIR/match_false_edges.rs:36:33: 36:34
133 goto -> bb14; // scope 0 at $DIR/match_false_edges.rs:36:33: 36:34
137 StorageDead(_13); // scope 0 at $DIR/match_false_edges.rs:36:28: 36:29
138 StorageDead(_12); // scope 0 at $DIR/match_false_edges.rs:36:28: 36:29
139 StorageDead(_11); // scope 0 at $DIR/match_false_edges.rs:36:33: 36:34
140 falseEdge -> [real: bb3, imaginary: bb3]; // scope 0 at $DIR/match_false_edges.rs:36:20: 36:29
144 StorageDead(_2); // scope 0 at $DIR/match_false_edges.rs:38:6: 38:7
145 StorageDead(_1); // scope 0 at $DIR/match_false_edges.rs:38:6: 38:7
146 _0 = const (); // scope 0 at $DIR/match_false_edges.rs:32:11: 39:2
147 return; // scope 0 at $DIR/match_false_edges.rs:39:2: 39:2
151 resume; // scope 0 at $DIR/match_false_edges.rs:32:1: 39:2