]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | // MIR for `main` after ConstProp |
2 | ||
3 | fn main() -> () { | |
4 | let mut _0: (); // return place in scope 0 at $DIR/const_allocation2.rs:4:11: 4:11 | |
5 | let _1: &[(std::option::Option<i32>, &[&u8])]; // in scope 0 at $DIR/const_allocation2.rs:5:5: 5:8 | |
6 | let mut _2: &&[(std::option::Option<i32>, &[&u8])]; // in scope 0 at $DIR/const_allocation2.rs:5:5: 5:8 | |
7 | ||
8 | bb0: { | |
f9f354fc XL |
9 | StorageLive(_1); // scope 0 at $DIR/const_allocation2.rs:5:5: 5:8 |
10 | StorageLive(_2); // scope 0 at $DIR/const_allocation2.rs:5:5: 5:8 | |
136023e0 | 11 | _2 = const {alloc1: &&[(Option<i32>, &[&u8])]}; // scope 0 at $DIR/const_allocation2.rs:5:5: 5:8 |
ba9703b0 XL |
12 | // mir::Constant |
13 | // + span: $DIR/const_allocation2.rs:5:5: 5:8 | |
5099ac24 | 14 | // + literal: Const { ty: &&[(Option<i32>, &[&u8])], val: Value(Scalar(alloc1)) } |
f9f354fc XL |
15 | _1 = (*_2); // scope 0 at $DIR/const_allocation2.rs:5:5: 5:8 |
16 | StorageDead(_2); // scope 0 at $DIR/const_allocation2.rs:5:8: 5:9 | |
17 | StorageDead(_1); // scope 0 at $DIR/const_allocation2.rs:5:8: 5:9 | |
cdc7bbd5 | 18 | nop; // scope 0 at $DIR/const_allocation2.rs:4:11: 6:2 |
f9f354fc | 19 | return; // scope 0 at $DIR/const_allocation2.rs:6:2: 6:2 |
ba9703b0 XL |
20 | } |
21 | } | |
22 | ||
136023e0 | 23 | alloc1 (static: FOO, size: 16, align: 8) { |
923072b8 | 24 | ╾───────alloc22───────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........ |
ba9703b0 XL |
25 | } |
26 | ||
923072b8 FG |
27 | alloc22 (size: 72, align: 8) { |
28 | 0x00 │ 00 00 00 00 __ __ __ __ ╾───────alloc9────────╼ │ ....░░░░╾──────╼ | |
ba9703b0 | 29 | 0x10 │ 00 00 00 00 00 00 00 00 00 00 00 00 __ __ __ __ │ ............░░░░ |
923072b8 FG |
30 | 0x20 │ ╾───────alloc14───────╼ 02 00 00 00 00 00 00 00 │ ╾──────╼........ |
31 | 0x30 │ 01 00 00 00 2a 00 00 00 ╾───────alloc20───────╼ │ ....*...╾──────╼ | |
ba9703b0 XL |
32 | 0x40 │ 03 00 00 00 00 00 00 00 │ ........ |
33 | } | |
34 | ||
923072b8 | 35 | alloc9 (size: 0, align: 8) {} |
ba9703b0 | 36 | |
923072b8 FG |
37 | alloc14 (size: 16, align: 8) { |
38 | ╾───────alloc12───────╼ ╾───────alloc13───────╼ │ ╾──────╼╾──────╼ | |
ba9703b0 XL |
39 | } |
40 | ||
923072b8 | 41 | alloc12 (size: 1, align: 1) { |
ba9703b0 XL |
42 | 05 │ . |
43 | } | |
44 | ||
923072b8 | 45 | alloc13 (size: 1, align: 1) { |
ba9703b0 XL |
46 | 06 │ . |
47 | } | |
48 | ||
923072b8 FG |
49 | alloc20 (size: 24, align: 8) { |
50 | 0x00 │ ╾─────alloc17+0x3─────╼ ╾───────alloc18───────╼ │ ╾──────╼╾──────╼ | |
51 | 0x10 │ ╾─────alloc19+0x2─────╼ │ ╾──────╼ | |
ba9703b0 XL |
52 | } |
53 | ||
923072b8 | 54 | alloc17 (size: 4, align: 1) { |
ba9703b0 XL |
55 | 2a 45 15 6f │ *E.o |
56 | } | |
57 | ||
923072b8 | 58 | alloc18 (size: 1, align: 1) { |
ba9703b0 XL |
59 | 2a │ * |
60 | } | |
61 | ||
923072b8 | 62 | alloc19 (size: 4, align: 1) { |
ba9703b0 XL |
63 | 2a 45 15 6f │ *E.o |
64 | } |