]>
Commit | Line | Data |
---|---|---|
9ffffee4 FG |
1 | - // MIR for `simple` before DataflowConstProp |
2 | + // MIR for `simple` after DataflowConstProp | |
487cf647 | 3 | |
9ffffee4 | 4 | fn simple() -> () { |
fe692bf9 FG |
5 | let mut _0: (); |
6 | let _1: E; | |
7 | let mut _3: isize; | |
487cf647 | 8 | scope 1 { |
fe692bf9 FG |
9 | debug e => _1; |
10 | let _2: i32; | |
11 | let _4: i32; | |
12 | let _5: i32; | |
487cf647 | 13 | scope 2 { |
fe692bf9 | 14 | debug x => _2; |
487cf647 FG |
15 | } |
16 | scope 3 { | |
fe692bf9 | 17 | debug x => _4; |
487cf647 FG |
18 | } |
19 | scope 4 { | |
fe692bf9 | 20 | debug x => _5; |
487cf647 FG |
21 | } |
22 | } | |
23 | ||
24 | bb0: { | |
fe692bf9 | 25 | StorageLive(_1); |
ed00b5ec FG |
26 | - _1 = E::V1(const 0_i32); |
27 | + _1 = const E::V1(0_i32); | |
fe692bf9 FG |
28 | StorageLive(_2); |
29 | - _3 = discriminant(_1); | |
30 | - switchInt(move _3) -> [0: bb3, 1: bb1, otherwise: bb2]; | |
31 | + _3 = const 0_isize; | |
32 | + switchInt(const 0_isize) -> [0: bb3, 1: bb1, otherwise: bb2]; | |
487cf647 FG |
33 | } |
34 | ||
35 | bb1: { | |
fe692bf9 FG |
36 | StorageLive(_5); |
37 | _5 = ((_1 as V2).0: i32); | |
38 | _2 = _5; | |
39 | StorageDead(_5); | |
40 | goto -> bb4; | |
487cf647 FG |
41 | } |
42 | ||
43 | bb2: { | |
fe692bf9 | 44 | unreachable; |
487cf647 FG |
45 | } |
46 | ||
47 | bb3: { | |
fe692bf9 FG |
48 | StorageLive(_4); |
49 | - _4 = ((_1 as V1).0: i32); | |
50 | - _2 = _4; | |
51 | + _4 = const 0_i32; | |
52 | + _2 = const 0_i32; | |
53 | StorageDead(_4); | |
54 | goto -> bb4; | |
487cf647 FG |
55 | } |
56 | ||
57 | bb4: { | |
fe692bf9 FG |
58 | _0 = const (); |
59 | StorageDead(_2); | |
60 | StorageDead(_1); | |
61 | return; | |
487cf647 | 62 | } |
ed00b5ec FG |
63 | + } |
64 | + | |
65 | + ALLOC0 (size: 8, align: 4) { | |
66 | + 00 00 00 00 00 00 00 00 │ ........ | |
487cf647 FG |
67 | } |
68 |