]>
Commit | Line | Data |
---|---|---|
04454e1e FG |
1 | - // MIR for `main` before Derefer |
2 | + // MIR for `main` after Derefer | |
3 | ||
4 | fn main() -> () { | |
064997fb FG |
5 | let mut _0: (); // return place in scope 0 at $DIR/derefer_test_multiple.rs:+0:12: +0:12 |
6 | let mut _1: (i32, i32); // in scope 0 at $DIR/derefer_test_multiple.rs:+1:9: +1:14 | |
7 | let mut _3: &mut (i32, i32); // in scope 0 at $DIR/derefer_test_multiple.rs:+2:22: +2:28 | |
8 | let mut _5: &mut (i32, &mut (i32, i32)); // in scope 0 at $DIR/derefer_test_multiple.rs:+3:22: +3:28 | |
9 | let mut _7: &mut (i32, &mut (i32, &mut (i32, i32))); // in scope 0 at $DIR/derefer_test_multiple.rs:+4:22: +4:28 | |
10 | + let mut _10: &mut (i32, &mut (i32, &mut (i32, i32))); // in scope 0 at $DIR/derefer_test_multiple.rs:+4:9: +4:14 | |
11 | + let mut _11: &mut (i32, &mut (i32, i32)); // in scope 0 at $DIR/derefer_test_multiple.rs:+4:9: +4:14 | |
12 | + let mut _12: &mut (i32, i32); // in scope 0 at $DIR/derefer_test_multiple.rs:+4:9: +4:14 | |
13 | + let mut _13: &mut (i32, &mut (i32, &mut (i32, i32))); // in scope 0 at $DIR/derefer_test_multiple.rs:+4:9: +4:14 | |
14 | + let mut _14: &mut (i32, &mut (i32, i32)); // in scope 0 at $DIR/derefer_test_multiple.rs:+4:9: +4:14 | |
15 | + let mut _15: &mut (i32, i32); // in scope 0 at $DIR/derefer_test_multiple.rs:+4:9: +4:14 | |
04454e1e | 16 | scope 1 { |
064997fb FG |
17 | debug a => _1; // in scope 1 at $DIR/derefer_test_multiple.rs:+1:9: +1:14 |
18 | let mut _2: (i32, &mut (i32, i32)); // in scope 1 at $DIR/derefer_test_multiple.rs:+2:9: +2:14 | |
04454e1e | 19 | scope 2 { |
064997fb FG |
20 | debug b => _2; // in scope 2 at $DIR/derefer_test_multiple.rs:+2:9: +2:14 |
21 | let mut _4: (i32, &mut (i32, &mut (i32, i32))); // in scope 2 at $DIR/derefer_test_multiple.rs:+3:9: +3:14 | |
04454e1e | 22 | scope 3 { |
064997fb FG |
23 | debug c => _4; // in scope 3 at $DIR/derefer_test_multiple.rs:+3:9: +3:14 |
24 | let mut _6: (i32, &mut (i32, &mut (i32, &mut (i32, i32)))); // in scope 3 at $DIR/derefer_test_multiple.rs:+4:9: +4:14 | |
04454e1e | 25 | scope 4 { |
064997fb FG |
26 | debug d => _6; // in scope 4 at $DIR/derefer_test_multiple.rs:+4:9: +4:14 |
27 | let _8: &mut i32; // in scope 4 at $DIR/derefer_test_multiple.rs:+5:9: +5:10 | |
04454e1e | 28 | scope 5 { |
064997fb FG |
29 | debug x => _8; // in scope 5 at $DIR/derefer_test_multiple.rs:+5:9: +5:10 |
30 | let _9: &mut i32; // in scope 5 at $DIR/derefer_test_multiple.rs:+6:9: +6:10 | |
04454e1e | 31 | scope 6 { |
064997fb | 32 | debug y => _9; // in scope 6 at $DIR/derefer_test_multiple.rs:+6:9: +6:10 |
04454e1e FG |
33 | } |
34 | } | |
35 | } | |
36 | } | |
37 | } | |
38 | } | |
39 | ||
40 | bb0: { | |
064997fb FG |
41 | StorageLive(_1); // scope 0 at $DIR/derefer_test_multiple.rs:+1:9: +1:14 |
42 | _1 = (const 42_i32, const 43_i32); // scope 0 at $DIR/derefer_test_multiple.rs:+1:17: +1:25 | |
43 | StorageLive(_2); // scope 1 at $DIR/derefer_test_multiple.rs:+2:9: +2:14 | |
44 | StorageLive(_3); // scope 1 at $DIR/derefer_test_multiple.rs:+2:22: +2:28 | |
45 | _3 = &mut _1; // scope 1 at $DIR/derefer_test_multiple.rs:+2:22: +2:28 | |
46 | _2 = (const 99_i32, move _3); // scope 1 at $DIR/derefer_test_multiple.rs:+2:17: +2:29 | |
47 | StorageDead(_3); // scope 1 at $DIR/derefer_test_multiple.rs:+2:28: +2:29 | |
48 | StorageLive(_4); // scope 2 at $DIR/derefer_test_multiple.rs:+3:9: +3:14 | |
49 | StorageLive(_5); // scope 2 at $DIR/derefer_test_multiple.rs:+3:22: +3:28 | |
50 | _5 = &mut _2; // scope 2 at $DIR/derefer_test_multiple.rs:+3:22: +3:28 | |
51 | _4 = (const 11_i32, move _5); // scope 2 at $DIR/derefer_test_multiple.rs:+3:17: +3:29 | |
52 | StorageDead(_5); // scope 2 at $DIR/derefer_test_multiple.rs:+3:28: +3:29 | |
53 | StorageLive(_6); // scope 3 at $DIR/derefer_test_multiple.rs:+4:9: +4:14 | |
54 | StorageLive(_7); // scope 3 at $DIR/derefer_test_multiple.rs:+4:22: +4:28 | |
55 | _7 = &mut _4; // scope 3 at $DIR/derefer_test_multiple.rs:+4:22: +4:28 | |
56 | _6 = (const 13_i32, move _7); // scope 3 at $DIR/derefer_test_multiple.rs:+4:17: +4:29 | |
57 | StorageDead(_7); // scope 3 at $DIR/derefer_test_multiple.rs:+4:28: +4:29 | |
58 | StorageLive(_8); // scope 4 at $DIR/derefer_test_multiple.rs:+5:9: +5:10 | |
59 | - _8 = &mut ((*((*((*(_6.1: &mut (i32, &mut (i32, &mut (i32, i32))))).1: &mut (i32, &mut (i32, i32)))).1: &mut (i32, i32))).1: i32); // scope 4 at $DIR/derefer_test_multiple.rs:+5:13: +5:30 | |
60 | + StorageLive(_10); // scope 4 at $DIR/derefer_test_multiple.rs:+5:13: +5:30 | |
61 | + _10 = deref_copy (_6.1: &mut (i32, &mut (i32, &mut (i32, i32)))); // scope 4 at $DIR/derefer_test_multiple.rs:+5:13: +5:30 | |
62 | + StorageLive(_11); // scope 4 at $DIR/derefer_test_multiple.rs:+5:13: +5:30 | |
63 | + _11 = deref_copy ((*_10).1: &mut (i32, &mut (i32, i32))); // scope 4 at $DIR/derefer_test_multiple.rs:+5:13: +5:30 | |
64 | + StorageDead(_10); // scope 4 at $DIR/derefer_test_multiple.rs:+5:13: +5:30 | |
65 | + StorageLive(_12); // scope 4 at $DIR/derefer_test_multiple.rs:+5:13: +5:30 | |
66 | + _12 = deref_copy ((*_11).1: &mut (i32, i32)); // scope 4 at $DIR/derefer_test_multiple.rs:+5:13: +5:30 | |
67 | + StorageDead(_11); // scope 4 at $DIR/derefer_test_multiple.rs:+5:13: +5:30 | |
68 | + _8 = &mut ((*_12).1: i32); // scope 4 at $DIR/derefer_test_multiple.rs:+5:13: +5:30 | |
69 | + StorageDead(_12); // scope 5 at $DIR/derefer_test_multiple.rs:+6:9: +6:10 | |
70 | StorageLive(_9); // scope 5 at $DIR/derefer_test_multiple.rs:+6:9: +6:10 | |
71 | - _9 = &mut ((*((*((*(_6.1: &mut (i32, &mut (i32, &mut (i32, i32))))).1: &mut (i32, &mut (i32, i32)))).1: &mut (i32, i32))).1: i32); // scope 5 at $DIR/derefer_test_multiple.rs:+6:13: +6:30 | |
72 | + StorageLive(_13); // scope 5 at $DIR/derefer_test_multiple.rs:+6:13: +6:30 | |
73 | + _13 = deref_copy (_6.1: &mut (i32, &mut (i32, &mut (i32, i32)))); // scope 5 at $DIR/derefer_test_multiple.rs:+6:13: +6:30 | |
74 | + StorageLive(_14); // scope 5 at $DIR/derefer_test_multiple.rs:+6:13: +6:30 | |
75 | + _14 = deref_copy ((*_13).1: &mut (i32, &mut (i32, i32))); // scope 5 at $DIR/derefer_test_multiple.rs:+6:13: +6:30 | |
76 | + StorageDead(_13); // scope 5 at $DIR/derefer_test_multiple.rs:+6:13: +6:30 | |
77 | + StorageLive(_15); // scope 5 at $DIR/derefer_test_multiple.rs:+6:13: +6:30 | |
78 | + _15 = deref_copy ((*_14).1: &mut (i32, i32)); // scope 5 at $DIR/derefer_test_multiple.rs:+6:13: +6:30 | |
79 | + StorageDead(_14); // scope 5 at $DIR/derefer_test_multiple.rs:+6:13: +6:30 | |
80 | + _9 = &mut ((*_15).1: i32); // scope 5 at $DIR/derefer_test_multiple.rs:+6:13: +6:30 | |
81 | + StorageDead(_15); // scope 0 at $DIR/derefer_test_multiple.rs:+0:12: +7:2 | |
82 | _0 = const (); // scope 0 at $DIR/derefer_test_multiple.rs:+0:12: +7:2 | |
83 | StorageDead(_9); // scope 5 at $DIR/derefer_test_multiple.rs:+7:1: +7:2 | |
84 | StorageDead(_8); // scope 4 at $DIR/derefer_test_multiple.rs:+7:1: +7:2 | |
85 | StorageDead(_6); // scope 3 at $DIR/derefer_test_multiple.rs:+7:1: +7:2 | |
86 | StorageDead(_4); // scope 2 at $DIR/derefer_test_multiple.rs:+7:1: +7:2 | |
87 | StorageDead(_2); // scope 1 at $DIR/derefer_test_multiple.rs:+7:1: +7:2 | |
88 | StorageDead(_1); // scope 0 at $DIR/derefer_test_multiple.rs:+7:1: +7:2 | |
89 | return; // scope 0 at $DIR/derefer_test_multiple.rs:+7:2: +7:2 | |
04454e1e FG |
90 | } |
91 | } | |
92 |