]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | - // MIR for `main` before Inline |
2 | + // MIR for `main` after Inline | |
3 | ||
4 | fn main() -> () { | |
5 | let mut _0: (); // return place in scope 0 at $DIR/inline-into-box-place.rs:7:11: 7:11 | |
f9f354fc | 6 | let _1: std::boxed::Box<std::vec::Vec<u32>>; // in scope 0 at $DIR/inline-into-box-place.rs:8:9: 8:11 |
ba9703b0 XL |
7 | let mut _2: std::boxed::Box<std::vec::Vec<u32>>; // in scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43 |
8 | let mut _3: (); // in scope 0 at $DIR/inline-into-box-place.rs:8:42: 8:43 | |
9 | + let mut _4: &mut std::vec::Vec<u32>; // in scope 0 at $DIR/inline-into-box-place.rs:8:33: 8:43 | |
10 | scope 1 { | |
11 | debug _x => _1; // in scope 1 at $DIR/inline-into-box-place.rs:8:9: 8:11 | |
12 | } | |
13 | + scope 2 { | |
14 | + } | |
15 | ||
16 | bb0: { | |
f9f354fc XL |
17 | StorageLive(_1); // scope 0 at $DIR/inline-into-box-place.rs:8:9: 8:11 |
18 | StorageLive(_2); // scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43 | |
19 | _2 = Box(std::vec::Vec<u32>); // scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43 | |
3dfed10e | 20 | - (*_2) = std::vec::Vec::<u32>::new() -> [return: bb2, unwind: bb4]; // scope 0 at $DIR/inline-into-box-place.rs:8:33: 8:43 |
f9f354fc | 21 | + _4 = &mut (*_2); // scope 0 at $DIR/inline-into-box-place.rs:8:33: 8:43 |
3dfed10e XL |
22 | + ((*_4).0: alloc::raw_vec::RawVec<u32>) = const alloc::raw_vec::RawVec::<u32> { ptr: std::ptr::Unique::<u32> { pointer: {0x4 as *const u32}, _marker: std::marker::PhantomData::<u32> }, cap: 0_usize, alloc: std::alloc::Global }; // scope 2 at $SRC_DIR/alloc/src/vec.rs:LL:COL |
23 | + // ty::Const | |
ba9703b0 | 24 | + // + ty: alloc::raw_vec::RawVec<u32> |
f9f354fc | 25 | + // + val: Value(ByRef { alloc: Allocation { bytes: [4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], relocations: Relocations(SortedMap { data: [] }), init_mask: InitMask { blocks: [65535], len: Size { raw: 16 } }, size: Size { raw: 16 }, align: Align { pow2: 3 }, mutability: Not, extra: () }, offset: Size { raw: 0 } }) |
ba9703b0 XL |
26 | // mir::Constant |
27 | - // + span: $DIR/inline-into-box-place.rs:8:33: 8:41 | |
28 | - // + user_ty: UserType(1) | |
29 | - // + literal: Const { ty: fn() -> std::vec::Vec<u32> {std::vec::Vec::<u32>::new}, val: Value(Scalar(<ZST>)) } | |
3dfed10e | 30 | + // + span: $SRC_DIR/alloc/src/vec.rs:LL:COL |
ba9703b0 | 31 | + // + user_ty: UserType(0) |
f9f354fc | 32 | + // + literal: Const { ty: alloc::raw_vec::RawVec<u32>, val: Value(ByRef { alloc: Allocation { bytes: [4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], relocations: Relocations(SortedMap { data: [] }), init_mask: InitMask { blocks: [65535], len: Size { raw: 16 } }, size: Size { raw: 16 }, align: Align { pow2: 3 }, mutability: Not, extra: () }, offset: Size { raw: 0 } }) } |
3dfed10e XL |
33 | + ((*_4).1: usize) = const 0_usize; // scope 2 at $SRC_DIR/alloc/src/vec.rs:LL:COL |
34 | + _1 = move _2; // scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43 | |
35 | + StorageDead(_2); // scope 0 at $DIR/inline-into-box-place.rs:8:42: 8:43 | |
36 | + _0 = const (); // scope 0 at $DIR/inline-into-box-place.rs:7:11: 9:2 | |
f9f354fc | 37 | + drop(_1) -> [return: bb2, unwind: bb1]; // scope 0 at $DIR/inline-into-box-place.rs:9:1: 9:2 |
ba9703b0 XL |
38 | } |
39 | ||
3dfed10e XL |
40 | bb1 (cleanup): { |
41 | resume; // scope 0 at $DIR/inline-into-box-place.rs:7:1: 9:2 | |
ba9703b0 XL |
42 | } |
43 | ||
3dfed10e XL |
44 | bb2: { |
45 | - _1 = move _2; // scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43 | |
46 | - StorageDead(_2); // scope 0 at $DIR/inline-into-box-place.rs:8:42: 8:43 | |
47 | - _0 = const (); // scope 0 at $DIR/inline-into-box-place.rs:7:11: 9:2 | |
48 | - drop(_1) -> [return: bb3, unwind: bb1]; // scope 0 at $DIR/inline-into-box-place.rs:9:1: 9:2 | |
49 | - } | |
50 | - | |
51 | - bb3: { | |
52 | StorageDead(_1); // scope 0 at $DIR/inline-into-box-place.rs:9:1: 9:2 | |
53 | return; // scope 0 at $DIR/inline-into-box-place.rs:9:2: 9:2 | |
54 | - } | |
55 | - | |
ba9703b0 | 56 | - bb4 (cleanup): { |
3dfed10e | 57 | - _3 = alloc::alloc::box_free::<std::vec::Vec<u32>>(move (_2.0: std::ptr::Unique<std::vec::Vec<u32>>)) -> bb1; // scope 0 at $DIR/inline-into-box-place.rs:8:42: 8:43 |
ba9703b0 XL |
58 | - // mir::Constant |
59 | - // + span: $DIR/inline-into-box-place.rs:8:42: 8:43 | |
60 | - // + literal: Const { ty: unsafe fn(std::ptr::Unique<std::vec::Vec<u32>>) {alloc::alloc::box_free::<std::vec::Vec<u32>>}, val: Value(Scalar(<ZST>)) } | |
ba9703b0 XL |
61 | } |
62 | } | |
63 |