]>
Commit | Line | Data |
---|---|---|
353b0b11 FG |
1 | - // MIR for `main` before RemoveZsts |
2 | + // MIR for `main` after RemoveZsts | |
3 | ||
4 | fn main() -> () { | |
fe692bf9 FG |
5 | let mut _0: (); |
6 | let _1: char; | |
7 | let mut _2: main::InvalidChar; | |
8 | let mut _4: E; | |
9 | let mut _5: main::InvalidTag; | |
10 | let mut _7: Empty; | |
11 | let mut _8: main::NoVariants; | |
353b0b11 | 12 | scope 1 { |
fe692bf9 FG |
13 | debug _invalid_char => _1; |
14 | let _3: [E; 1]; | |
353b0b11 | 15 | scope 3 { |
fe692bf9 FG |
16 | debug _invalid_tag => _3; |
17 | let _6: [Empty; 1]; | |
353b0b11 | 18 | scope 5 { |
fe692bf9 FG |
19 | - debug _enum_without_variants => _6; |
20 | + debug _enum_without_variants => const [ZeroSized: Empty]; | |
21 | let _9: main::Str<"���">; | |
353b0b11 | 22 | scope 7 { |
fe692bf9 FG |
23 | - debug _non_utf8_str => _9; |
24 | + debug _non_utf8_str => const Str::<"���">; | |
353b0b11 FG |
25 | } |
26 | } | |
27 | scope 6 { | |
28 | } | |
29 | } | |
30 | scope 4 { | |
31 | } | |
32 | } | |
33 | scope 2 { | |
34 | } | |
35 | ||
36 | bb0: { | |
fe692bf9 FG |
37 | StorageLive(_1); |
38 | StorageLive(_2); | |
39 | _2 = InvalidChar { int: const 1114113_u32 }; | |
40 | _1 = (_2.1: char); | |
41 | StorageDead(_2); | |
42 | StorageLive(_3); | |
43 | StorageLive(_4); | |
44 | StorageLive(_5); | |
45 | _5 = InvalidTag { int: const 4_u32 }; | |
46 | _4 = (_5.1: E); | |
47 | _3 = [move _4]; | |
48 | StorageDead(_4); | |
49 | StorageDead(_5); | |
50 | - StorageLive(_6); | |
51 | - StorageLive(_7); | |
52 | + nop; | |
53 | + nop; | |
54 | StorageLive(_8); | |
55 | _8 = NoVariants { int: const 0_u32 }; | |
56 | - _7 = (_8.1: Empty); | |
57 | - _6 = [move _7]; | |
58 | - StorageDead(_7); | |
59 | + nop; | |
60 | + nop; | |
61 | + nop; | |
62 | StorageDead(_8); | |
63 | - StorageLive(_9); | |
64 | - _0 = const (); | |
65 | - StorageDead(_9); | |
66 | - StorageDead(_6); | |
67 | + nop; | |
68 | + nop; | |
69 | + nop; | |
70 | + nop; | |
71 | StorageDead(_3); | |
72 | StorageDead(_1); | |
73 | return; | |
353b0b11 FG |
74 | } |
75 | } | |
76 |