]>
Commit | Line | Data |
---|---|---|
f9f354fc XL |
1 | - // MIR for `nrvo` before RenameReturnPlace |
2 | + // MIR for `nrvo` after RenameReturnPlace | |
3 | ||
2b03887a | 4 | fn nrvo(_1: for<'a> fn(&'a mut [u8; 1024])) -> [u8; 1024] { |
064997fb FG |
5 | debug init => _1; // in scope 0 at $DIR/nrvo-simple.rs:+0:9: +0:13 |
6 | - let mut _0: [u8; 1024]; // return place in scope 0 at $DIR/nrvo-simple.rs:+0:39: +0:49 | |
7 | + let mut _0: [u8; 1024]; // return place in scope 0 at $DIR/nrvo-simple.rs:+1:9: +1:16 | |
8 | let mut _2: [u8; 1024]; // in scope 0 at $DIR/nrvo-simple.rs:+1:9: +1:16 | |
9 | let _3: (); // in scope 0 at $DIR/nrvo-simple.rs:+2:5: +2:19 | |
2b03887a | 10 | let mut _4: for<'a> fn(&'a mut [u8; 1024]); // in scope 0 at $DIR/nrvo-simple.rs:+2:5: +2:9 |
064997fb FG |
11 | let mut _5: &mut [u8; 1024]; // in scope 0 at $DIR/nrvo-simple.rs:+2:10: +2:18 |
12 | let mut _6: &mut [u8; 1024]; // in scope 0 at $DIR/nrvo-simple.rs:+2:10: +2:18 | |
f9f354fc | 13 | scope 1 { |
064997fb FG |
14 | - debug buf => _2; // in scope 1 at $DIR/nrvo-simple.rs:+1:9: +1:16 |
15 | + debug buf => _0; // in scope 1 at $DIR/nrvo-simple.rs:+1:9: +1:16 | |
f9f354fc XL |
16 | } |
17 | ||
18 | bb0: { | |
064997fb FG |
19 | - StorageLive(_2); // scope 0 at $DIR/nrvo-simple.rs:+1:9: +1:16 |
20 | - _2 = [const 0_u8; 1024]; // scope 0 at $DIR/nrvo-simple.rs:+1:19: +1:28 | |
21 | + _0 = [const 0_u8; 1024]; // scope 0 at $DIR/nrvo-simple.rs:+1:19: +1:28 | |
22 | StorageLive(_3); // scope 1 at $DIR/nrvo-simple.rs:+2:5: +2:19 | |
23 | StorageLive(_4); // scope 1 at $DIR/nrvo-simple.rs:+2:5: +2:9 | |
24 | _4 = _1; // scope 1 at $DIR/nrvo-simple.rs:+2:5: +2:9 | |
25 | StorageLive(_5); // scope 1 at $DIR/nrvo-simple.rs:+2:10: +2:18 | |
26 | StorageLive(_6); // scope 1 at $DIR/nrvo-simple.rs:+2:10: +2:18 | |
27 | - _6 = &mut _2; // scope 1 at $DIR/nrvo-simple.rs:+2:10: +2:18 | |
28 | + _6 = &mut _0; // scope 1 at $DIR/nrvo-simple.rs:+2:10: +2:18 | |
29 | _5 = &mut (*_6); // scope 1 at $DIR/nrvo-simple.rs:+2:10: +2:18 | |
30 | _3 = move _4(move _5) -> bb1; // scope 1 at $DIR/nrvo-simple.rs:+2:5: +2:19 | |
f9f354fc XL |
31 | } |
32 | ||
33 | bb1: { | |
064997fb FG |
34 | StorageDead(_5); // scope 1 at $DIR/nrvo-simple.rs:+2:18: +2:19 |
35 | StorageDead(_4); // scope 1 at $DIR/nrvo-simple.rs:+2:18: +2:19 | |
36 | StorageDead(_6); // scope 1 at $DIR/nrvo-simple.rs:+2:19: +2:20 | |
37 | StorageDead(_3); // scope 1 at $DIR/nrvo-simple.rs:+2:19: +2:20 | |
38 | - _0 = _2; // scope 1 at $DIR/nrvo-simple.rs:+3:5: +3:8 | |
39 | - StorageDead(_2); // scope 0 at $DIR/nrvo-simple.rs:+4:1: +4:2 | |
40 | return; // scope 0 at $DIR/nrvo-simple.rs:+4:2: +4:2 | |
f9f354fc XL |
41 | } |
42 | } | |
43 |