]>
Commit | Line | Data |
---|---|---|
f9f354fc 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/mutable_variable_aggregate_partial_read.rs:+0:11: +0:11 |
6 | let mut _1: (i32, i32); // in scope 0 at $DIR/mutable_variable_aggregate_partial_read.rs:+1:9: +1:14 | |
f9f354fc | 7 | scope 1 { |
064997fb FG |
8 | debug x => _1; // in scope 1 at $DIR/mutable_variable_aggregate_partial_read.rs:+1:9: +1:14 |
9 | let _2: i32; // in scope 1 at $DIR/mutable_variable_aggregate_partial_read.rs:+4:9: +4:10 | |
f9f354fc | 10 | scope 2 { |
064997fb | 11 | debug y => _2; // in scope 2 at $DIR/mutable_variable_aggregate_partial_read.rs:+4:9: +4:10 |
f9f354fc XL |
12 | } |
13 | } | |
14 | ||
15 | bb0: { | |
064997fb FG |
16 | StorageLive(_1); // scope 0 at $DIR/mutable_variable_aggregate_partial_read.rs:+1:9: +1:14 |
17 | _1 = foo() -> bb1; // scope 0 at $DIR/mutable_variable_aggregate_partial_read.rs:+1:29: +1:34 | |
f9f354fc | 18 | // mir::Constant |
f2b60f7d | 19 | // + span: $DIR/mutable_variable_aggregate_partial_read.rs:6:29: 6:32 |
064997fb | 20 | // + literal: Const { ty: fn() -> (i32, i32) {foo}, val: Value(<ZST>) } |
f9f354fc XL |
21 | } |
22 | ||
23 | bb1: { | |
064997fb FG |
24 | (_1.1: i32) = const 99_i32; // scope 1 at $DIR/mutable_variable_aggregate_partial_read.rs:+2:5: +2:13 |
25 | (_1.0: i32) = const 42_i32; // scope 1 at $DIR/mutable_variable_aggregate_partial_read.rs:+3:5: +3:13 | |
26 | StorageLive(_2); // scope 1 at $DIR/mutable_variable_aggregate_partial_read.rs:+4:9: +4:10 | |
27 | - _2 = (_1.1: i32); // scope 1 at $DIR/mutable_variable_aggregate_partial_read.rs:+4:13: +4:16 | |
28 | + _2 = const 99_i32; // scope 1 at $DIR/mutable_variable_aggregate_partial_read.rs:+4:13: +4:16 | |
29 | nop; // scope 0 at $DIR/mutable_variable_aggregate_partial_read.rs:+0:11: +5:2 | |
30 | StorageDead(_2); // scope 1 at $DIR/mutable_variable_aggregate_partial_read.rs:+5:1: +5:2 | |
31 | StorageDead(_1); // scope 0 at $DIR/mutable_variable_aggregate_partial_read.rs:+5:1: +5:2 | |
32 | return; // scope 0 at $DIR/mutable_variable_aggregate_partial_read.rs:+5:2: +5:2 | |
f9f354fc XL |
33 | } |
34 | } | |
35 |