]>
Commit | Line | Data |
---|---|---|
fe692bf9 FG |
1 | - // MIR for `cycle` before DeadStoreElimination |
2 | + // MIR for `cycle` after DeadStoreElimination | |
3 | ||
4 | fn cycle(_1: i32, _2: i32, _3: i32) -> () { | |
5 | debug x => _1; | |
6 | debug y => _2; | |
7 | debug z => _3; | |
8 | let mut _0: (); | |
9 | - let mut _4: (); | |
10 | - let mut _5: bool; | |
11 | - let _6: i32; | |
12 | - let mut _7: i32; | |
13 | - let mut _8: i32; | |
14 | - let mut _9: i32; | |
15 | - let mut _10: !; | |
16 | - let _11: (); | |
17 | - let mut _12: !; | |
18 | + let mut _4: bool; | |
19 | + let _5: i32; | |
20 | scope 1 { | |
21 | - debug temp => _6; | |
22 | + debug temp => _5; | |
23 | } | |
24 | ||
25 | bb0: { | |
26 | goto -> bb1; | |
27 | } | |
28 | ||
29 | bb1: { | |
30 | - StorageLive(_5); | |
31 | - _5 = cond() -> [return: bb2, unwind unreachable]; | |
32 | + StorageLive(_4); | |
33 | + _4 = cond() -> [return: bb2, unwind unreachable]; | |
34 | } | |
35 | ||
36 | bb2: { | |
37 | - switchInt(move _5) -> [0: bb4, otherwise: bb3]; | |
38 | + switchInt(move _4) -> [0: bb4, otherwise: bb3]; | |
39 | } | |
40 | ||
41 | bb3: { | |
42 | - StorageLive(_6); | |
43 | - _6 = _3; | |
44 | - StorageLive(_7); | |
45 | - _7 = _2; | |
46 | - _3 = move _7; | |
47 | - StorageDead(_7); | |
48 | - StorageLive(_8); | |
49 | - _8 = _1; | |
50 | - _2 = move _8; | |
51 | - StorageDead(_8); | |
52 | - StorageLive(_9); | |
53 | - _9 = _6; | |
54 | - _1 = move _9; | |
55 | - StorageDead(_9); | |
56 | - _4 = const (); | |
57 | - StorageDead(_6); | |
58 | + StorageLive(_5); | |
59 | StorageDead(_5); | |
60 | + StorageDead(_4); | |
61 | goto -> bb1; | |
62 | } | |
63 | ||
64 | bb4: { | |
65 | - StorageLive(_11); | |
66 | _0 = const (); | |
67 | - StorageDead(_11); | |
68 | - StorageDead(_5); | |
69 | + StorageDead(_4); | |
70 | return; | |
71 | } | |
72 | } | |
73 |