]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | - // MIR for `main` before ConstProp |
2 | + // MIR for `main` after ConstProp | |
3 | ||
4 | fn main() -> () { | |
064997fb FG |
5 | let mut _0: (); // return place in scope 0 at $DIR/ref_deref.rs:+0:11: +0:11 |
6 | let _1: i32; // in scope 0 at $DIR/ref_deref.rs:+1:5: +1:10 | |
7 | let mut _2: &i32; // in scope 0 at $DIR/ref_deref.rs:+1:6: +1:10 | |
8 | let _3: i32; // in scope 0 at $DIR/ref_deref.rs:+1:8: +1:9 | |
9 | let mut _4: &i32; // in scope 0 at $DIR/ref_deref.rs:+1:6: +1:10 | |
ba9703b0 XL |
10 | |
11 | bb0: { | |
064997fb FG |
12 | StorageLive(_1); // scope 0 at $DIR/ref_deref.rs:+1:5: +1:10 |
13 | StorageLive(_2); // scope 0 at $DIR/ref_deref.rs:+1:6: +1:10 | |
14 | _4 = const main::promoted[0]; // scope 0 at $DIR/ref_deref.rs:+1:6: +1:10 | |
ba9703b0 XL |
15 | // mir::Constant |
16 | // + span: $DIR/ref_deref.rs:5:6: 5:10 | |
5e7ed085 | 17 | // + literal: Const { ty: &i32, val: Unevaluated(main, [], Some(promoted[0])) } |
064997fb FG |
18 | _2 = _4; // scope 0 at $DIR/ref_deref.rs:+1:6: +1:10 |
19 | - _1 = (*_2); // scope 0 at $DIR/ref_deref.rs:+1:5: +1:10 | |
20 | + _1 = const 4_i32; // scope 0 at $DIR/ref_deref.rs:+1:5: +1:10 | |
21 | StorageDead(_2); // scope 0 at $DIR/ref_deref.rs:+1:10: +1:11 | |
22 | StorageDead(_1); // scope 0 at $DIR/ref_deref.rs:+1:10: +1:11 | |
23 | nop; // scope 0 at $DIR/ref_deref.rs:+0:11: +2:2 | |
24 | return; // scope 0 at $DIR/ref_deref.rs:+2:2: +2:2 | |
ba9703b0 XL |
25 | } |
26 | } | |
27 |