]>
Commit | Line | Data |
---|---|---|
1b1a35ee XL |
1 | - // MIR for `main` before DestinationPropagation |
2 | + // MIR for `main` after DestinationPropagation | |
3 | ||
4 | fn main() -> () { | |
5 | let mut _0: (); // return place in scope 0 at $DIR/cycle.rs:8:11: 8:11 | |
6 | let mut _1: i32; // in scope 0 at $DIR/cycle.rs:9:9: 9:14 | |
7 | let mut _4: i32; // in scope 0 at $DIR/cycle.rs:12:9: 12:10 | |
8 | let _5: (); // in scope 0 at $DIR/cycle.rs:14:5: 14:12 | |
9 | let mut _6: i32; // in scope 0 at $DIR/cycle.rs:14:10: 14:11 | |
10 | scope 1 { | |
923072b8 | 11 | debug x => _1; // in scope 1 at $DIR/cycle.rs:9:9: 9:14 |
1b1a35ee XL |
12 | let _2: i32; // in scope 1 at $DIR/cycle.rs:10:9: 10:10 |
13 | scope 2 { | |
923072b8 | 14 | debug y => _2; // in scope 2 at $DIR/cycle.rs:10:9: 10:10 |
1b1a35ee XL |
15 | let _3: i32; // in scope 2 at $DIR/cycle.rs:11:9: 11:10 |
16 | scope 3 { | |
923072b8 | 17 | debug z => _3; // in scope 3 at $DIR/cycle.rs:11:9: 11:10 |
29967ef6 | 18 | scope 4 (inlined std::mem::drop::<i32>) { // at $DIR/cycle.rs:14:5: 14:12 |
5e7ed085 | 19 | debug _x => _6; // in scope 4 at $SRC_DIR/core/src/mem/mod.rs:LL:COL |
1b1a35ee XL |
20 | } |
21 | } | |
22 | } | |
23 | } | |
24 | ||
25 | bb0: { | |
923072b8 FG |
26 | StorageLive(_1); // scope 0 at $DIR/cycle.rs:9:9: 9:14 |
27 | _1 = val() -> bb1; // scope 0 at $DIR/cycle.rs:9:17: 9:22 | |
1b1a35ee XL |
28 | // mir::Constant |
29 | // + span: $DIR/cycle.rs:9:17: 9:20 | |
30 | // + literal: Const { ty: fn() -> i32 {val}, val: Value(Scalar(<ZST>)) } | |
31 | } | |
32 | ||
33 | bb1: { | |
923072b8 FG |
34 | StorageLive(_2); // scope 1 at $DIR/cycle.rs:10:9: 10:10 |
35 | nop; // scope 1 at $DIR/cycle.rs:10:13: 10:14 | |
36 | StorageLive(_3); // scope 2 at $DIR/cycle.rs:11:9: 11:10 | |
37 | nop; // scope 2 at $DIR/cycle.rs:11:13: 11:14 | |
38 | StorageLive(_4); // scope 3 at $DIR/cycle.rs:12:9: 12:10 | |
39 | nop; // scope 3 at $DIR/cycle.rs:12:9: 12:10 | |
40 | nop; // scope 3 at $DIR/cycle.rs:12:5: 12:10 | |
41 | StorageDead(_4); // scope 3 at $DIR/cycle.rs:12:9: 12:10 | |
1b1a35ee XL |
42 | StorageLive(_5); // scope 3 at $DIR/cycle.rs:14:5: 14:12 |
43 | StorageLive(_6); // scope 3 at $DIR/cycle.rs:14:10: 14:11 | |
923072b8 | 44 | nop; // scope 3 at $DIR/cycle.rs:14:10: 14:11 |
1b1a35ee XL |
45 | StorageDead(_6); // scope 3 at $DIR/cycle.rs:14:11: 14:12 |
46 | StorageDead(_5); // scope 3 at $DIR/cycle.rs:14:12: 14:13 | |
923072b8 FG |
47 | StorageDead(_3); // scope 2 at $DIR/cycle.rs:15:1: 15:2 |
48 | StorageDead(_2); // scope 1 at $DIR/cycle.rs:15:1: 15:2 | |
49 | StorageDead(_1); // scope 0 at $DIR/cycle.rs:15:1: 15:2 | |
1b1a35ee XL |
50 | return; // scope 0 at $DIR/cycle.rs:15:2: 15:2 |
51 | } | |
52 | } | |
53 |