]>
Commit | Line | Data |
---|---|---|
487cf647 | 1 | // MIR for `main` after built |
ba9703b0 XL |
2 | |
3 | fn main() -> () { | |
fe692bf9 FG |
4 | let mut _0: (); |
5 | let mut _1: (); | |
6 | let _2: i32; | |
7 | let mut _3: bool; | |
8 | let mut _4: !; | |
9 | let _5: (); | |
10 | let mut _6: &i32; | |
ba9703b0 | 11 | scope 1 { |
fe692bf9 | 12 | debug beacon => _2; |
ba9703b0 XL |
13 | } |
14 | ||
15 | bb0: { | |
fe692bf9 | 16 | goto -> bb1; |
ba9703b0 XL |
17 | } |
18 | ||
19 | bb1: { | |
fe692bf9 | 20 | falseUnwind -> [real: bb2, unwind: bb11]; |
ba9703b0 XL |
21 | } |
22 | ||
23 | bb2: { | |
fe692bf9 FG |
24 | StorageLive(_2); |
25 | StorageLive(_3); | |
26 | _3 = const true; | |
ed00b5ec | 27 | PlaceMention(_3); |
fe692bf9 | 28 | switchInt(_3) -> [0: bb3, otherwise: bb4]; |
ba9703b0 XL |
29 | } |
30 | ||
29967ef6 | 31 | bb3: { |
fe692bf9 | 32 | falseEdge -> [real: bb5, imaginary: bb4]; |
ba9703b0 XL |
33 | } |
34 | ||
29967ef6 | 35 | bb4: { |
fe692bf9 FG |
36 | _0 = const (); |
37 | goto -> bb10; | |
ba9703b0 XL |
38 | } |
39 | ||
29967ef6 | 40 | bb5: { |
fe692bf9 FG |
41 | _2 = const 4_i32; |
42 | goto -> bb8; | |
ba9703b0 XL |
43 | } |
44 | ||
29967ef6 | 45 | bb6: { |
fe692bf9 | 46 | unreachable; |
ba9703b0 XL |
47 | } |
48 | ||
29967ef6 | 49 | bb7: { |
fe692bf9 | 50 | goto -> bb8; |
ba9703b0 XL |
51 | } |
52 | ||
29967ef6 | 53 | bb8: { |
fe692bf9 FG |
54 | FakeRead(ForLet(None), _2); |
55 | StorageDead(_3); | |
56 | StorageLive(_5); | |
57 | StorageLive(_6); | |
58 | _6 = &_2; | |
59 | _5 = std::mem::drop::<&i32>(move _6) -> [return: bb9, unwind: bb11]; | |
ba9703b0 XL |
60 | } |
61 | ||
29967ef6 | 62 | bb9: { |
fe692bf9 FG |
63 | StorageDead(_6); |
64 | StorageDead(_5); | |
65 | _1 = const (); | |
66 | StorageDead(_2); | |
67 | goto -> bb1; | |
ba9703b0 XL |
68 | } |
69 | ||
29967ef6 | 70 | bb10: { |
fe692bf9 FG |
71 | StorageDead(_3); |
72 | StorageDead(_2); | |
73 | return; | |
ba9703b0 | 74 | } |
29967ef6 XL |
75 | |
76 | bb11 (cleanup): { | |
fe692bf9 | 77 | resume; |
29967ef6 | 78 | } |
ba9703b0 | 79 | } |