]>
Commit | Line | Data |
---|---|---|
136023e0 XL |
1 | // MIR for `main` after SimplifyCfg-after-uninhabited-enum-branching |
2 | ||
3 | fn main() -> () { | |
4 | let mut _0: (); // return place in scope 0 at $DIR/uninhabited_enum_branching2.rs:18:11: 18:11 | |
5 | let _1: Plop; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:19:9: 19:13 | |
6 | let mut _2: Test1; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:19:38: 19:46 | |
7 | let _3: &str; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:21:5: 26:6 | |
8 | let mut _4: &Test1; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:21:11: 21:22 | |
9 | let mut _5: isize; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:22:9: 22:20 | |
10 | let _6: &str; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:23:24: 23:34 | |
11 | let _7: &str; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:24:21: 24:24 | |
12 | let _8: &str; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:25:21: 25:24 | |
13 | let _9: &str; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:28:5: 33:6 | |
14 | let mut _10: isize; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:29:9: 29:20 | |
15 | let _11: &str; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:30:24: 30:34 | |
16 | let _12: &str; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:31:21: 31:24 | |
17 | let _13: &str; // in scope 0 at $DIR/uninhabited_enum_branching2.rs:32:21: 32:24 | |
18 | scope 1 { | |
19 | debug plop => _1; // in scope 1 at $DIR/uninhabited_enum_branching2.rs:19:9: 19:13 | |
20 | } | |
21 | ||
22 | bb0: { | |
23 | StorageLive(_1); // scope 0 at $DIR/uninhabited_enum_branching2.rs:19:9: 19:13 | |
24 | StorageLive(_2); // scope 0 at $DIR/uninhabited_enum_branching2.rs:19:38: 19:46 | |
04454e1e | 25 | Deinit(_2); // scope 0 at $DIR/uninhabited_enum_branching2.rs:19:38: 19:46 |
136023e0 | 26 | discriminant(_2) = 2; // scope 0 at $DIR/uninhabited_enum_branching2.rs:19:38: 19:46 |
04454e1e | 27 | Deinit(_1); // scope 0 at $DIR/uninhabited_enum_branching2.rs:19:16: 19:48 |
136023e0 XL |
28 | (_1.0: u32) = const 51_u32; // scope 0 at $DIR/uninhabited_enum_branching2.rs:19:16: 19:48 |
29 | (_1.1: Test1) = move _2; // scope 0 at $DIR/uninhabited_enum_branching2.rs:19:16: 19:48 | |
30 | StorageDead(_2); // scope 0 at $DIR/uninhabited_enum_branching2.rs:19:47: 19:48 | |
31 | StorageLive(_3); // scope 1 at $DIR/uninhabited_enum_branching2.rs:21:5: 26:6 | |
32 | StorageLive(_4); // scope 1 at $DIR/uninhabited_enum_branching2.rs:21:11: 21:22 | |
33 | _4 = &(_1.1: Test1); // scope 1 at $DIR/uninhabited_enum_branching2.rs:21:11: 21:22 | |
94222f64 XL |
34 | _5 = discriminant((*_4)); // scope 1 at $DIR/uninhabited_enum_branching2.rs:21:11: 21:22 |
35 | switchInt(move _5) -> [2_isize: bb2, otherwise: bb1]; // scope 1 at $DIR/uninhabited_enum_branching2.rs:21:5: 21:22 | |
136023e0 XL |
36 | } |
37 | ||
38 | bb1: { | |
39 | StorageLive(_8); // scope 1 at $DIR/uninhabited_enum_branching2.rs:25:21: 25:24 | |
40 | _8 = const "D"; // scope 1 at $DIR/uninhabited_enum_branching2.rs:25:21: 25:24 | |
136023e0 XL |
41 | // mir::Constant |
42 | // + span: $DIR/uninhabited_enum_branching2.rs:25:21: 25:24 | |
04454e1e | 43 | // + literal: Const { ty: &str, val: Value(Slice(..)) } |
136023e0 XL |
44 | _3 = &(*_8); // scope 1 at $DIR/uninhabited_enum_branching2.rs:25:21: 25:24 |
45 | StorageDead(_8); // scope 1 at $DIR/uninhabited_enum_branching2.rs:25:23: 25:24 | |
94222f64 | 46 | goto -> bb3; // scope 1 at $DIR/uninhabited_enum_branching2.rs:25:23: 25:24 |
136023e0 XL |
47 | } |
48 | ||
49 | bb2: { | |
50 | StorageLive(_7); // scope 1 at $DIR/uninhabited_enum_branching2.rs:24:21: 24:24 | |
51 | _7 = const "C"; // scope 1 at $DIR/uninhabited_enum_branching2.rs:24:21: 24:24 | |
136023e0 XL |
52 | // mir::Constant |
53 | // + span: $DIR/uninhabited_enum_branching2.rs:24:21: 24:24 | |
04454e1e | 54 | // + literal: Const { ty: &str, val: Value(Slice(..)) } |
136023e0 XL |
55 | _3 = &(*_7); // scope 1 at $DIR/uninhabited_enum_branching2.rs:24:21: 24:24 |
56 | StorageDead(_7); // scope 1 at $DIR/uninhabited_enum_branching2.rs:24:23: 24:24 | |
94222f64 | 57 | goto -> bb3; // scope 1 at $DIR/uninhabited_enum_branching2.rs:24:23: 24:24 |
136023e0 XL |
58 | } |
59 | ||
60 | bb3: { | |
61 | StorageDead(_4); // scope 1 at $DIR/uninhabited_enum_branching2.rs:26:6: 26:7 | |
62 | StorageDead(_3); // scope 1 at $DIR/uninhabited_enum_branching2.rs:26:6: 26:7 | |
63 | StorageLive(_9); // scope 1 at $DIR/uninhabited_enum_branching2.rs:28:5: 33:6 | |
94222f64 XL |
64 | _10 = discriminant((_1.1: Test1)); // scope 1 at $DIR/uninhabited_enum_branching2.rs:28:11: 28:21 |
65 | switchInt(move _10) -> [2_isize: bb5, otherwise: bb4]; // scope 1 at $DIR/uninhabited_enum_branching2.rs:28:5: 28:21 | |
136023e0 XL |
66 | } |
67 | ||
68 | bb4: { | |
69 | StorageLive(_13); // scope 1 at $DIR/uninhabited_enum_branching2.rs:32:21: 32:24 | |
70 | _13 = const "D"; // scope 1 at $DIR/uninhabited_enum_branching2.rs:32:21: 32:24 | |
136023e0 XL |
71 | // mir::Constant |
72 | // + span: $DIR/uninhabited_enum_branching2.rs:32:21: 32:24 | |
04454e1e | 73 | // + literal: Const { ty: &str, val: Value(Slice(..)) } |
136023e0 XL |
74 | _9 = &(*_13); // scope 1 at $DIR/uninhabited_enum_branching2.rs:32:21: 32:24 |
75 | StorageDead(_13); // scope 1 at $DIR/uninhabited_enum_branching2.rs:32:23: 32:24 | |
94222f64 | 76 | goto -> bb6; // scope 1 at $DIR/uninhabited_enum_branching2.rs:32:23: 32:24 |
136023e0 XL |
77 | } |
78 | ||
79 | bb5: { | |
80 | StorageLive(_12); // scope 1 at $DIR/uninhabited_enum_branching2.rs:31:21: 31:24 | |
81 | _12 = const "C"; // scope 1 at $DIR/uninhabited_enum_branching2.rs:31:21: 31:24 | |
136023e0 XL |
82 | // mir::Constant |
83 | // + span: $DIR/uninhabited_enum_branching2.rs:31:21: 31:24 | |
04454e1e | 84 | // + literal: Const { ty: &str, val: Value(Slice(..)) } |
136023e0 XL |
85 | _9 = &(*_12); // scope 1 at $DIR/uninhabited_enum_branching2.rs:31:21: 31:24 |
86 | StorageDead(_12); // scope 1 at $DIR/uninhabited_enum_branching2.rs:31:23: 31:24 | |
94222f64 | 87 | goto -> bb6; // scope 1 at $DIR/uninhabited_enum_branching2.rs:31:23: 31:24 |
136023e0 XL |
88 | } |
89 | ||
90 | bb6: { | |
91 | StorageDead(_9); // scope 1 at $DIR/uninhabited_enum_branching2.rs:33:6: 33:7 | |
92 | _0 = const (); // scope 0 at $DIR/uninhabited_enum_branching2.rs:18:11: 34:2 | |
93 | StorageDead(_1); // scope 0 at $DIR/uninhabited_enum_branching2.rs:34:1: 34:2 | |
94 | return; // scope 0 at $DIR/uninhabited_enum_branching2.rs:34:2: 34:2 | |
95 | } | |
96 | } |