]>
Commit | Line | Data |
---|---|---|
6a06907d | 1 | // MIR for `std::ptr::drop_in_place` before AddMovesForPackedDrops |
3dfed10e | 2 | |
6a06907d | 3 | fn std::ptr::drop_in_place(_1: *mut [String]) -> () { |
fe692bf9 FG |
4 | let mut _0: (); |
5 | let mut _2: usize; | |
6 | let mut _3: usize; | |
7 | let mut _4: *mut std::string::String; | |
8 | let mut _5: bool; | |
9 | let mut _6: *mut std::string::String; | |
10 | let mut _7: bool; | |
3dfed10e XL |
11 | |
12 | bb0: { | |
fe692bf9 | 13 | goto -> bb8; |
3dfed10e XL |
14 | } |
15 | ||
16 | bb1: { | |
fe692bf9 | 17 | return; |
3dfed10e XL |
18 | } |
19 | ||
20 | bb2 (cleanup): { | |
fe692bf9 | 21 | resume; |
3dfed10e XL |
22 | } |
23 | ||
24 | bb3 (cleanup): { | |
fe692bf9 FG |
25 | _4 = &raw mut (*_1)[_3]; |
26 | _3 = Add(move _3, const 1_usize); | |
781aab86 | 27 | drop((*_4)) -> [return: bb4, unwind terminate(cleanup)]; |
3dfed10e XL |
28 | } |
29 | ||
30 | bb4 (cleanup): { | |
fe692bf9 FG |
31 | _5 = Eq(_3, _2); |
32 | switchInt(move _5) -> [0: bb3, otherwise: bb2]; | |
3dfed10e XL |
33 | } |
34 | ||
35 | bb5: { | |
fe692bf9 FG |
36 | _6 = &raw mut (*_1)[_3]; |
37 | _3 = Add(move _3, const 1_usize); | |
38 | drop((*_6)) -> [return: bb6, unwind: bb4]; | |
3dfed10e XL |
39 | } |
40 | ||
41 | bb6: { | |
fe692bf9 FG |
42 | _7 = Eq(_3, _2); |
43 | switchInt(move _7) -> [0: bb5, otherwise: bb1]; | |
3dfed10e XL |
44 | } |
45 | ||
46 | bb7: { | |
fe692bf9 FG |
47 | _2 = Len((*_1)); |
48 | _3 = const 0_usize; | |
49 | goto -> bb6; | |
3dfed10e XL |
50 | } |
51 | ||
52 | bb8: { | |
fe692bf9 | 53 | goto -> bb7; |
3dfed10e | 54 | } |
3dfed10e | 55 | } |