|
3 | 3 |
|
4 | 4 | fn main() -> () {
|
5 | 5 | let mut _0: ();
|
6 |
| - let _1: [i32; 32]; |
7 |
| - let mut _4: [i32; 12]; |
8 |
| - let mut _5: [i32; 12]; |
9 |
| - let mut _7: &[i32; 32]; |
10 |
| - let _8: [i32; 32]; |
| 6 | + let _1: [i32; 5]; |
| 7 | + let mut _4: [i32; 5]; |
| 8 | + let mut _5: [i32; 5]; |
| 9 | + let mut _7: &[i32; 5]; |
| 10 | + let _8: [i32; 5]; |
11 | 11 | let _9: ();
|
12 |
| - let mut _10: [u16; 32]; |
| 12 | + let mut _10: [u32; 5]; |
13 | 13 | let mut _12: [f32; 8];
|
14 | 14 | let _13: [[i32; 3]; 3];
|
15 | 15 | let mut _14: [i32; 3];
|
16 | 16 | let mut _15: [i32; 3];
|
17 | 17 | let mut _16: [i32; 3];
|
18 | 18 | scope 1 {
|
19 | 19 | debug _arr => _1;
|
20 |
| - let _2: [i32; 32]; |
| 20 | + let _2: [i32; 5]; |
21 | 21 | scope 2 {
|
22 |
| - debug _barr => _2; |
23 |
| - let _3: [[i32; 12]; 2]; |
| 22 | + debug _duplicated_arr => _2; |
| 23 | + let _3: [[i32; 5]; 2]; |
24 | 24 | scope 3 {
|
25 | 25 | debug _foo => _3;
|
26 |
| - let _6: [i32; 32]; |
27 |
| - let mut _17: &[i32; 32]; |
| 26 | + let _6: [i32; 5]; |
| 27 | + let mut _17: &[i32; 5]; |
28 | 28 | scope 4 {
|
29 | 29 | debug _darr => _6;
|
30 | 30 | let _11: F32x8;
|
|
38 | 38 |
|
39 | 39 | bb0: {
|
40 | 40 | StorageLive(_1);
|
41 |
| -- _1 = [const 255_i32, const 105_i32, const 15_i32, const 39_i32, const 62_i32, const 251_i32, const 191_i32, const 178_i32, const 9_i32, const 4_i32, const 56_i32, const 221_i32, const 193_i32, const 164_i32, const 194_i32, const 197_i32, const 6_i32, const 243_i32, const 218_i32, const 171_i32, const 87_i32, const 247_i32, const 104_i32, const 159_i32, const 22_i32, const 157_i32, const 105_i32, const 31_i32, const 96_i32, const 173_i32, const 50_i32, const 1_i32]; |
42 |
| -+ _1 = const [255_i32, 105_i32, 15_i32, 39_i32, 62_i32, 251_i32, 191_i32, 178_i32, 9_i32, 4_i32, 56_i32, 221_i32, 193_i32, 164_i32, 194_i32, 197_i32, 6_i32, 243_i32, 218_i32, 171_i32, 87_i32, 247_i32, 104_i32, 159_i32, 22_i32, 157_i32, 105_i32, 31_i32, 96_i32, 173_i32, 50_i32, 1_i32]; |
| 41 | +- _1 = [const 255_i32, const 105_i32, const 15_i32, const 39_i32, const 62_i32]; |
| 42 | ++ _1 = const [255_i32, 105_i32, 15_i32, 39_i32, 62_i32]; |
43 | 43 | StorageLive(_2);
|
44 |
| -- _2 = [const 255_i32, const 105_i32, const 15_i32, const 39_i32, const 62_i32, const 251_i32, const 191_i32, const 178_i32, const 9_i32, const 4_i32, const 56_i32, const 221_i32, const 193_i32, const 164_i32, const 194_i32, const 197_i32, const 6_i32, const 243_i32, const 218_i32, const 171_i32, const 87_i32, const 247_i32, const 104_i32, const 159_i32, const 22_i32, const 157_i32, const 105_i32, const 31_i32, const 96_i32, const 173_i32, const 50_i32, const 1_i32]; |
45 |
| -+ _2 = const [255_i32, 105_i32, 15_i32, 39_i32, 62_i32, 251_i32, 191_i32, 178_i32, 9_i32, 4_i32, 56_i32, 221_i32, 193_i32, 164_i32, 194_i32, 197_i32, 6_i32, 243_i32, 218_i32, 171_i32, 87_i32, 247_i32, 104_i32, 159_i32, 22_i32, 157_i32, 105_i32, 31_i32, 96_i32, 173_i32, 50_i32, 1_i32]; |
| 44 | +- _2 = [const 255_i32, const 105_i32, const 15_i32, const 39_i32, const 62_i32]; |
| 45 | ++ _2 = const [255_i32, 105_i32, 15_i32, 39_i32, 62_i32]; |
46 | 46 | StorageLive(_3);
|
47 | 47 | StorageLive(_4);
|
48 |
| -- _4 = [const 255_i32, const 105_i32, const 15_i32, const 39_i32, const 62_i32, const 251_i32, const 191_i32, const 178_i32, const 9_i32, const 4_i32, const 56_i32, const 221_i32]; |
49 |
| -+ _4 = const [255_i32, 105_i32, 15_i32, 39_i32, 62_i32, 251_i32, 191_i32, 178_i32, 9_i32, 4_i32, 56_i32, 221_i32]; |
| 48 | +- _4 = [const 178_i32, const 9_i32, const 4_i32, const 56_i32, const 221_i32]; |
| 49 | ++ _4 = const [178_i32, 9_i32, 4_i32, 56_i32, 221_i32]; |
50 | 50 | StorageLive(_5);
|
51 |
| -- _5 = [const 193_i32, const 164_i32, const 194_i32, const 197_i32, const 6_i32, const 243_i32, const 218_i32, const 171_i32, const 87_i32, const 247_i32, const 104_i32, const 42_i32]; |
52 |
| -+ _5 = const [193_i32, 164_i32, 194_i32, 197_i32, 6_i32, 243_i32, 218_i32, 171_i32, 87_i32, 247_i32, 104_i32, 42_i32]; |
| 51 | +- _5 = [const 193_i32, const 164_i32, const 194_i32, const 197_i32, const 6_i32]; |
| 52 | ++ _5 = const [193_i32, 164_i32, 194_i32, 197_i32, 6_i32]; |
53 | 53 | _3 = [move _4, move _5];
|
54 | 54 | StorageDead(_5);
|
55 | 55 | StorageDead(_4);
|
|
62 | 62 | StorageDead(_7);
|
63 | 63 | StorageLive(_9);
|
64 | 64 | StorageLive(_10);
|
65 |
| -- _10 = [const 255_u16, const 105_u16, const 15_u16, const 39_u16, const 62_u16, const 251_u16, const 191_u16, const 178_u16, const 9_u16, const 4_u16, const 56_u16, const 221_u16, const 193_u16, const 164_u16, const 194_u16, const 197_u16, const 6_u16, const 243_u16, const 218_u16, const 171_u16, const 87_u16, const 247_u16, const 104_u16, const 159_u16, const 22_u16, const 157_u16, const 105_u16, const 31_u16, const 96_u16, const 173_u16, const 50_u16, const 1_u16]; |
| 65 | +- _10 = [const 31_u32, const 96_u32, const 173_u32, const 50_u32, const 1_u32]; |
66 | 66 | - _9 = consume(move _10) -> [return: bb1, unwind continue];
|
67 |
| -+ _10 = const [255_u16, 105_u16, 15_u16, 39_u16, 62_u16, 251_u16, 191_u16, 178_u16, 9_u16, 4_u16, 56_u16, 221_u16, 193_u16, 164_u16, 194_u16, 197_u16, 6_u16, 243_u16, 218_u16, 171_u16, 87_u16, 247_u16, 104_u16, 159_u16, 22_u16, 157_u16, 105_u16, 31_u16, 96_u16, 173_u16, 50_u16, 1_u16]; |
68 |
| -+ _9 = consume(const [255_u16, 105_u16, 15_u16, 39_u16, 62_u16, 251_u16, 191_u16, 178_u16, 9_u16, 4_u16, 56_u16, 221_u16, 193_u16, 164_u16, 194_u16, 197_u16, 6_u16, 243_u16, 218_u16, 171_u16, 87_u16, 247_u16, 104_u16, 159_u16, 22_u16, 157_u16, 105_u16, 31_u16, 96_u16, 173_u16, 50_u16, 1_u16]) -> [return: bb1, unwind continue]; |
| 67 | ++ _10 = const [31_u32, 96_u32, 173_u32, 50_u32, 1_u32]; |
| 68 | ++ _9 = consume(const [31_u32, 96_u32, 173_u32, 50_u32, 1_u32]) -> [return: bb1, unwind continue]; |
69 | 69 | }
|
70 | 70 |
|
71 | 71 | bb1: {
|
|
105 | 105 | + 0x10 │ 00 00 80 3f 00 00 80 3f 00 00 80 3f 00 00 28 42 │ ...?...?...?..(B
|
106 | 106 | + }
|
107 | 107 | +
|
108 |
| -+ ALLOC1 (size: 64, align: 2) { |
109 |
| -+ 0x00 │ ff 00 69 00 0f 00 27 00 3e 00 fb 00 bf 00 b2 00 │ ..i...'.>....... |
110 |
| -+ 0x10 │ 09 00 04 00 38 00 dd 00 c1 00 a4 00 c2 00 c5 00 │ ....8........... |
111 |
| -+ 0x20 │ 06 00 f3 00 da 00 ab 00 57 00 f7 00 68 00 9f 00 │ ........W...h... |
112 |
| -+ 0x30 │ 16 00 9d 00 69 00 1f 00 60 00 ad 00 32 00 01 00 │ ....i...`...2... |
| 108 | ++ ALLOC1 (size: 20, align: 4) { |
| 109 | ++ 0x00 │ 1f 00 00 00 60 00 00 00 ad 00 00 00 32 00 00 00 │ ....`.......2... |
| 110 | ++ 0x10 │ 01 00 00 00 │ .... |
113 | 111 | + }
|
114 | 112 | +
|
115 |
| -+ ALLOC2 (size: 48, align: 4) { |
| 113 | ++ ALLOC2 (size: 20, align: 4) { |
116 | 114 | + 0x00 │ c1 00 00 00 a4 00 00 00 c2 00 00 00 c5 00 00 00 │ ................
|
117 |
| -+ 0x10 │ 06 00 00 00 f3 00 00 00 da 00 00 00 ab 00 00 00 │ ................ |
118 |
| -+ 0x20 │ 57 00 00 00 f7 00 00 00 68 00 00 00 2a 00 00 00 │ W.......h...*... |
| 115 | ++ 0x10 │ 06 00 00 00 │ .... |
119 | 116 | + }
|
120 | 117 | +
|
121 |
| -+ ALLOC3 (size: 48, align: 4) { |
122 |
| -+ 0x00 │ ff 00 00 00 69 00 00 00 0f 00 00 00 27 00 00 00 │ ....i.......'... |
123 |
| -+ 0x10 │ 3e 00 00 00 fb 00 00 00 bf 00 00 00 b2 00 00 00 │ >............... |
124 |
| -+ 0x20 │ 09 00 00 00 04 00 00 00 38 00 00 00 dd 00 00 00 │ ........8....... |
| 118 | ++ ALLOC3 (size: 20, align: 4) { |
| 119 | ++ 0x00 │ b2 00 00 00 09 00 00 00 04 00 00 00 38 00 00 00 │ ............8... |
| 120 | ++ 0x10 │ dd 00 00 00 │ .... |
125 | 121 | + }
|
126 | 122 | +
|
127 |
| -+ ALLOC4 (size: 128, align: 4) { |
| 123 | ++ ALLOC4 (size: 20, align: 4) { |
128 | 124 | + 0x00 │ ff 00 00 00 69 00 00 00 0f 00 00 00 27 00 00 00 │ ....i.......'...
|
129 |
| -+ 0x10 │ 3e 00 00 00 fb 00 00 00 bf 00 00 00 b2 00 00 00 │ >............... |
130 |
| -+ 0x20 │ 09 00 00 00 04 00 00 00 38 00 00 00 dd 00 00 00 │ ........8....... |
131 |
| -+ 0x30 │ c1 00 00 00 a4 00 00 00 c2 00 00 00 c5 00 00 00 │ ................ |
132 |
| -+ 0x40 │ 06 00 00 00 f3 00 00 00 da 00 00 00 ab 00 00 00 │ ................ |
133 |
| -+ 0x50 │ 57 00 00 00 f7 00 00 00 68 00 00 00 9f 00 00 00 │ W.......h....... |
134 |
| -+ 0x60 │ 16 00 00 00 9d 00 00 00 69 00 00 00 1f 00 00 00 │ ........i....... |
135 |
| -+ 0x70 │ 60 00 00 00 ad 00 00 00 32 00 00 00 01 00 00 00 │ `.......2....... |
| 125 | ++ 0x10 │ 3e 00 00 00 │ >... |
136 | 126 | }
|
137 | 127 |
|
0 commit comments