]>
Commit | Line | Data |
---|---|---|
fe692bf9 FG |
1 | - // MIR for `main` before ConstProp |
2 | + // MIR for `main` after ConstProp | |
3 | ||
4 | fn main() -> () { | |
5 | let mut _0: (); | |
6 | let _1: (u32, u32); | |
7 | let _2: (); | |
8 | let mut _3: (u32, u32); | |
9 | scope 1 { | |
10 | debug x => _1; | |
11 | } | |
12 | ||
13 | bb0: { | |
14 | StorageLive(_1); | |
15 | - _1 = (const 1_u32, const 2_u32); | |
16 | + _1 = const (1_u32, 2_u32); | |
17 | StorageLive(_2); | |
18 | StorageLive(_3); | |
19 | - _3 = _1; | |
add651ee | 20 | - _2 = consume(move _3) -> [return: bb1, unwind continue]; |
fe692bf9 | 21 | + _3 = const (1_u32, 2_u32); |
add651ee | 22 | + _2 = consume(const (1_u32, 2_u32)) -> [return: bb1, unwind continue]; |
fe692bf9 FG |
23 | } |
24 | ||
25 | bb1: { | |
26 | StorageDead(_3); | |
27 | StorageDead(_2); | |
28 | _0 = const (); | |
29 | StorageDead(_1); | |
30 | return; | |
31 | } | |
32 | } | |
33 |