]>
Commit | Line | Data |
---|---|---|
1b1a35ee XL |
1 | - // MIR for `main` before DestinationPropagation |
2 | + // MIR for `main` after DestinationPropagation | |
3 | ||
4 | fn main() -> () { | |
064997fb FG |
5 | let mut _0: (); // return place in scope 0 at $DIR/cycle.rs:+0:11: +0:11 |
6 | let mut _1: i32; // in scope 0 at $DIR/cycle.rs:+1:9: +1:14 | |
7 | let mut _4: i32; // in scope 0 at $DIR/cycle.rs:+4:9: +4:10 | |
8 | let _5: (); // in scope 0 at $DIR/cycle.rs:+6:5: +6:12 | |
9 | let mut _6: i32; // in scope 0 at $DIR/cycle.rs:+6:10: +6:11 | |
1b1a35ee | 10 | scope 1 { |
487cf647 FG |
11 | - debug x => _1; // in scope 1 at $DIR/cycle.rs:+1:9: +1:14 |
12 | + debug x => _6; // in scope 1 at $DIR/cycle.rs:+1:9: +1:14 | |
064997fb | 13 | let _2: i32; // in scope 1 at $DIR/cycle.rs:+2:9: +2:10 |
1b1a35ee | 14 | scope 2 { |
487cf647 FG |
15 | - debug y => _2; // in scope 2 at $DIR/cycle.rs:+2:9: +2:10 |
16 | + debug y => _6; // in scope 2 at $DIR/cycle.rs:+2:9: +2:10 | |
064997fb | 17 | let _3: i32; // in scope 2 at $DIR/cycle.rs:+3:9: +3:10 |
1b1a35ee | 18 | scope 3 { |
487cf647 FG |
19 | - debug z => _3; // in scope 3 at $DIR/cycle.rs:+3:9: +3:10 |
20 | + debug z => _6; // in scope 3 at $DIR/cycle.rs:+3:9: +3:10 | |
1b1a35ee XL |
21 | } |
22 | } | |
23 | } | |
24 | ||
25 | bb0: { | |
487cf647 FG |
26 | - StorageLive(_1); // scope 0 at $DIR/cycle.rs:+1:9: +1:14 |
27 | - _1 = val() -> bb1; // scope 0 at $DIR/cycle.rs:+1:17: +1:22 | |
28 | + nop; // scope 0 at $DIR/cycle.rs:+1:9: +1:14 | |
29 | + _6 = val() -> bb1; // scope 0 at $DIR/cycle.rs:+1:17: +1:22 | |
1b1a35ee XL |
30 | // mir::Constant |
31 | // + span: $DIR/cycle.rs:9:17: 9:20 | |
064997fb | 32 | // + literal: Const { ty: fn() -> i32 {val}, val: Value(<ZST>) } |
1b1a35ee XL |
33 | } |
34 | ||
35 | bb1: { | |
487cf647 FG |
36 | - StorageLive(_2); // scope 1 at $DIR/cycle.rs:+2:9: +2:10 |
37 | - _2 = _1; // scope 1 at $DIR/cycle.rs:+2:13: +2:14 | |
38 | - StorageLive(_3); // scope 2 at $DIR/cycle.rs:+3:9: +3:10 | |
39 | - _3 = _2; // scope 2 at $DIR/cycle.rs:+3:13: +3:14 | |
40 | - StorageLive(_4); // scope 3 at $DIR/cycle.rs:+4:9: +4:10 | |
41 | - _4 = _3; // scope 3 at $DIR/cycle.rs:+4:9: +4:10 | |
42 | - _1 = move _4; // scope 3 at $DIR/cycle.rs:+4:5: +4:10 | |
43 | - StorageDead(_4); // scope 3 at $DIR/cycle.rs:+4:9: +4:10 | |
44 | + nop; // scope 1 at $DIR/cycle.rs:+2:9: +2:10 | |
45 | + nop; // scope 1 at $DIR/cycle.rs:+2:13: +2:14 | |
46 | + nop; // scope 2 at $DIR/cycle.rs:+3:9: +3:10 | |
47 | + nop; // scope 2 at $DIR/cycle.rs:+3:13: +3:14 | |
48 | + nop; // scope 3 at $DIR/cycle.rs:+4:9: +4:10 | |
49 | + nop; // scope 3 at $DIR/cycle.rs:+4:9: +4:10 | |
50 | + nop; // scope 3 at $DIR/cycle.rs:+4:5: +4:10 | |
51 | + nop; // scope 3 at $DIR/cycle.rs:+4:9: +4:10 | |
064997fb | 52 | StorageLive(_5); // scope 3 at $DIR/cycle.rs:+6:5: +6:12 |
487cf647 FG |
53 | - StorageLive(_6); // scope 3 at $DIR/cycle.rs:+6:10: +6:11 |
54 | - _6 = _1; // scope 3 at $DIR/cycle.rs:+6:10: +6:11 | |
55 | + nop; // scope 3 at $DIR/cycle.rs:+6:10: +6:11 | |
56 | + nop; // scope 3 at $DIR/cycle.rs:+6:10: +6:11 | |
57 | _5 = std::mem::drop::<i32>(move _6) -> bb2; // scope 3 at $DIR/cycle.rs:+6:5: +6:12 | |
58 | // mir::Constant | |
59 | // + span: $DIR/cycle.rs:14:5: 14:9 | |
60 | // + literal: Const { ty: fn(i32) {std::mem::drop::<i32>}, val: Value(<ZST>) } | |
61 | } | |
62 | ||
63 | bb2: { | |
64 | - StorageDead(_6); // scope 3 at $DIR/cycle.rs:+6:11: +6:12 | |
65 | + nop; // scope 3 at $DIR/cycle.rs:+6:11: +6:12 | |
064997fb | 66 | StorageDead(_5); // scope 3 at $DIR/cycle.rs:+6:12: +6:13 |
487cf647 FG |
67 | _0 = const (); // scope 0 at $DIR/cycle.rs:+0:11: +7:2 |
68 | - StorageDead(_3); // scope 2 at $DIR/cycle.rs:+7:1: +7:2 | |
69 | - StorageDead(_2); // scope 1 at $DIR/cycle.rs:+7:1: +7:2 | |
70 | - StorageDead(_1); // scope 0 at $DIR/cycle.rs:+7:1: +7:2 | |
71 | + nop; // scope 2 at $DIR/cycle.rs:+7:1: +7:2 | |
72 | + nop; // scope 1 at $DIR/cycle.rs:+7:1: +7:2 | |
73 | + nop; // scope 0 at $DIR/cycle.rs:+7:1: +7:2 | |
064997fb | 74 | return; // scope 0 at $DIR/cycle.rs:+7:2: +7:2 |
1b1a35ee XL |
75 | } |
76 | } | |
77 |