]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | - // MIR for `main` before ConstProp |
2 | + // MIR for `main` after ConstProp | |
3 | ||
4 | fn main() -> () { | |
5 | let mut _0: (); // return place in scope 0 at $DIR/boxes.rs:11:11: 11:11 | |
6 | let _1: i32; // in scope 0 at $DIR/boxes.rs:12:9: 12:10 | |
7 | let mut _2: i32; // in scope 0 at $DIR/boxes.rs:12:13: 12:22 | |
8 | let mut _3: std::boxed::Box<i32>; // in scope 0 at $DIR/boxes.rs:12:14: 12:22 | |
c295e0f8 XL |
9 | let mut _4: usize; // in scope 0 at $DIR/boxes.rs:12:14: 12:22 |
10 | let mut _5: usize; // in scope 0 at $DIR/boxes.rs:12:14: 12:22 | |
11 | let mut _6: *mut u8; // in scope 0 at $DIR/boxes.rs:12:14: 12:22 | |
12 | let mut _7: std::boxed::Box<i32>; // in scope 0 at $DIR/boxes.rs:12:14: 12:22 | |
923072b8 FG |
13 | let mut _8: *const i32; // in scope 0 at $DIR/boxes.rs:12:14: 12:22 |
14 | let mut _9: *const i32; // in scope 0 at $DIR/boxes.rs:12:14: 12:22 | |
15 | let mut _10: *const i32; // in scope 0 at $DIR/boxes.rs:12:14: 12:22 | |
16 | let mut _11: *const i32; // in scope 0 at $DIR/boxes.rs:12:14: 12:22 | |
ba9703b0 XL |
17 | scope 1 { |
18 | debug x => _1; // in scope 1 at $DIR/boxes.rs:12:9: 12:10 | |
19 | } | |
c295e0f8 XL |
20 | scope 2 { |
21 | } | |
ba9703b0 XL |
22 | |
23 | bb0: { | |
f9f354fc XL |
24 | StorageLive(_1); // scope 0 at $DIR/boxes.rs:12:9: 12:10 |
25 | StorageLive(_2); // scope 0 at $DIR/boxes.rs:12:13: 12:22 | |
26 | StorageLive(_3); // scope 0 at $DIR/boxes.rs:12:14: 12:22 | |
c295e0f8 XL |
27 | - _4 = SizeOf(i32); // scope 2 at $DIR/boxes.rs:12:14: 12:22 |
28 | - _5 = AlignOf(i32); // scope 2 at $DIR/boxes.rs:12:14: 12:22 | |
29 | - _6 = alloc::alloc::exchange_malloc(move _4, move _5) -> bb1; // scope 2 at $DIR/boxes.rs:12:14: 12:22 | |
30 | + _4 = const 4_usize; // scope 2 at $DIR/boxes.rs:12:14: 12:22 | |
31 | + _5 = const 4_usize; // scope 2 at $DIR/boxes.rs:12:14: 12:22 | |
32 | + _6 = alloc::alloc::exchange_malloc(const 4_usize, const 4_usize) -> bb1; // scope 2 at $DIR/boxes.rs:12:14: 12:22 | |
33 | // mir::Constant | |
34 | // + span: $DIR/boxes.rs:12:14: 12:22 | |
35 | // + literal: Const { ty: unsafe fn(usize, usize) -> *mut u8 {alloc::alloc::exchange_malloc}, val: Value(Scalar(<ZST>)) } | |
36 | } | |
37 | ||
38 | bb1: { | |
39 | StorageLive(_7); // scope 0 at $DIR/boxes.rs:12:14: 12:22 | |
40 | _7 = ShallowInitBox(move _6, i32); // scope 0 at $DIR/boxes.rs:12:14: 12:22 | |
923072b8 FG |
41 | StorageLive(_8); // scope 0 at $DIR/boxes.rs:12:19: 12:21 |
42 | _8 = (((_7.0: std::ptr::Unique<i32>).0: std::ptr::NonNull<i32>).0: *const i32); // scope 0 at $DIR/boxes.rs:12:19: 12:21 | |
43 | (*_8) = const 42_i32; // scope 0 at $DIR/boxes.rs:12:19: 12:21 | |
44 | StorageDead(_8); // scope 0 at $DIR/boxes.rs:12:14: 12:22 | |
c295e0f8 XL |
45 | _3 = move _7; // scope 0 at $DIR/boxes.rs:12:14: 12:22 |
46 | StorageDead(_7); // scope 0 at $DIR/boxes.rs:12:21: 12:22 | |
923072b8 FG |
47 | StorageLive(_9); // scope 0 at $DIR/boxes.rs:12:13: 12:22 |
48 | _9 = (((_3.0: std::ptr::Unique<i32>).0: std::ptr::NonNull<i32>).0: *const i32); // scope 0 at $DIR/boxes.rs:12:13: 12:22 | |
49 | _2 = (*_9); // scope 0 at $DIR/boxes.rs:12:13: 12:22 | |
50 | StorageDead(_9); // scope 0 at $DIR/boxes.rs:12:13: 12:26 | |
f035d41b | 51 | _1 = Add(move _2, const 0_i32); // scope 0 at $DIR/boxes.rs:12:13: 12:26 |
f9f354fc | 52 | StorageDead(_2); // scope 0 at $DIR/boxes.rs:12:25: 12:26 |
c295e0f8 | 53 | drop(_3) -> [return: bb2, unwind: bb3]; // scope 0 at $DIR/boxes.rs:12:26: 12:27 |
ba9703b0 XL |
54 | } |
55 | ||
c295e0f8 | 56 | bb2: { |
f9f354fc | 57 | StorageDead(_3); // scope 0 at $DIR/boxes.rs:12:26: 12:27 |
cdc7bbd5 | 58 | nop; // scope 0 at $DIR/boxes.rs:11:11: 13:2 |
f9f354fc XL |
59 | StorageDead(_1); // scope 0 at $DIR/boxes.rs:13:1: 13:2 |
60 | return; // scope 0 at $DIR/boxes.rs:13:2: 13:2 | |
ba9703b0 | 61 | } |
29967ef6 | 62 | |
c295e0f8 | 63 | bb3 (cleanup): { |
29967ef6 XL |
64 | resume; // scope 0 at $DIR/boxes.rs:11:1: 13:2 |
65 | } | |
ba9703b0 XL |
66 | } |
67 |