mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Bless mir-opt for excluded alloc bytes

Browse Source
This commit is contained in:
Josh Stone 2024-06-14 16:05:22 -07:00
parent 1a05cb2d93
commit 7c3673ff6f
52 changed files with 202 additions and 402 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tests/mir-opt/const_debuginfo.main.SingleUseConsts.diff
View File

@ -119,11 +119,7 @@
} }
} }
ALLOC0 (size: 8, align: 4) { ALLOC0 (size: 8, align: 4) { .. }
20 00 00 00 20 00 00 00 │ ... ...
}
ALLOC1 (size: 4, align: 2) { ALLOC1 (size: 4, align: 2) { .. }
01 00 63 00 │ ..c.
}

6
tests/mir-opt/const_prop/address_of_pair.fn0.GVN.diff
View File

@ -44,9 +44,7 @@
StorageDead(_2); StorageDead(_2);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 01 00 00 00 00 __ __ __ │ .....░░░
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/const_prop/checked_add.main.GVN.panic-abort.diff
View File

@ -24,9 +24,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 02 00 00 00 00 __ __ __ │ .....░░░
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/const_prop/checked_add.main.GVN.panic-unwind.diff
View File

@ -24,9 +24,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 02 00 00 00 00 __ __ __ │ .....░░░
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/const_prop/mutable_variable_aggregate.main.GVN.diff
View File

@ -24,9 +24,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 2a 00 00 00 2b 00 00 00 │ *...+...
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/const_prop/mutable_variable_aggregate_mut_ref.main.GVN.diff
View File

@ -31,9 +31,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 2a 00 00 00 2b 00 00 00 │ *...+...
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/const_prop/mutable_variable_unprop_assign.main.GVN.panic-abort.diff
View File

@ -48,9 +48,7 @@
+ nop; + nop;
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 01 00 00 00 02 00 00 00 │ ........
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/const_prop/mutable_variable_unprop_assign.main.GVN.panic-unwind.diff
View File

@ -48,9 +48,7 @@
+ nop; + nop;
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 01 00 00 00 02 00 00 00 │ ........
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/const_prop/return_place.add.GVN.panic-abort.diff
View File

@ -17,9 +17,7 @@
+ _0 = const 4_u32; + _0 = const 4_u32;
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 04 00 00 00 00 __ __ __ │ .....░░░
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/const_prop/return_place.add.GVN.panic-unwind.diff
View File

@ -17,9 +17,7 @@
+ _0 = const 4_u32; + _0 = const 4_u32;
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 04 00 00 00 00 __ __ __ │ .....░░░
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

4
tests/mir-opt/const_prop/return_place.add.PreCodegen.before.panic-abort.mir
View File

@ -15,6 +15,4 @@ fn add() -> u32 {
} }
} }
ALLOC0 (size: 8, align: 4) { ALLOC0 (size: 8, align: 4) { .. }
04 00 00 00 00 __ __ __ │ .....░░░
}

4
tests/mir-opt/const_prop/return_place.add.PreCodegen.before.panic-unwind.mir
View File

@ -15,6 +15,4 @@ fn add() -> u32 {
} }
} }
ALLOC0 (size: 8, align: 4) { ALLOC0 (size: 8, align: 4) { .. }
04 00 00 00 00 __ __ __ │ .....░░░
}

6
tests/mir-opt/const_prop/slice_len.main.GVN.32bit.panic-abort.diff
View File

@ -49,9 +49,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 12, align: 4) {
+ 01 00 00 00 02 00 00 00 03 00 00 00 │ ............
} }
+
+ ALLOC0 (size: 12, align: 4) { .. }

6
tests/mir-opt/const_prop/slice_len.main.GVN.32bit.panic-unwind.diff
View File

@ -49,9 +49,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 12, align: 4) {
+ 01 00 00 00 02 00 00 00 03 00 00 00 │ ............
} }
+
+ ALLOC0 (size: 12, align: 4) { .. }

6
tests/mir-opt/const_prop/slice_len.main.GVN.64bit.panic-abort.diff
View File

@ -49,9 +49,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 12, align: 4) {
+ 01 00 00 00 02 00 00 00 03 00 00 00 │ ............
} }
+
+ ALLOC0 (size: 12, align: 4) { .. }

6
tests/mir-opt/const_prop/slice_len.main.GVN.64bit.panic-unwind.diff
View File

@ -49,9 +49,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 12, align: 4) {
+ 01 00 00 00 02 00 00 00 03 00 00 00 │ ............
} }
+
+ ALLOC0 (size: 12, align: 4) { .. }

6
tests/mir-opt/const_prop/tuple_literal_propagation.main.GVN.panic-abort.diff
View File

@ -31,9 +31,7 @@
+ nop; + nop;
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 01 00 00 00 02 00 00 00 │ ........
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/const_prop/tuple_literal_propagation.main.GVN.panic-unwind.diff
View File

@ -31,9 +31,7 @@
+ nop; + nop;
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 01 00 00 00 02 00 00 00 │ ........
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

12
tests/mir-opt/dataflow-const-prop/checked.main.DataflowConstProp.panic-abort.diff
View File

@ -76,13 +76,9 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 00 00 00 80 01 __ __ __ │ .....░░░
+ }
+
+ ALLOC1 (size: 8, align: 4) {
+ 03 00 00 00 00 __ __ __ │ .....░░░
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }
+
+ ALLOC1 (size: 8, align: 4) { .. }

12
tests/mir-opt/dataflow-const-prop/checked.main.DataflowConstProp.panic-unwind.diff
View File

@ -76,13 +76,9 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 00 00 00 80 01 __ __ __ │ .....░░░
+ }
+
+ ALLOC1 (size: 8, align: 4) {
+ 03 00 00 00 00 __ __ __ │ .....░░░
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }
+
+ ALLOC1 (size: 8, align: 4) { .. }

12
tests/mir-opt/dataflow-const-prop/default_boxed_slice.main.DataflowConstProp.32bit.panic-abort.diff
View File

@ -94,15 +94,9 @@
} }
} }
ALLOC2 (size: 8, align: 4) { ALLOC2 (size: 8, align: 4) { .. }
01 00 00 00 00 00 00 00 │ ........
}
ALLOC1 (size: 8, align: 4) { ALLOC1 (size: 8, align: 4) { .. }
01 00 00 00 00 00 00 00 │ ........
}
ALLOC0 (size: 8, align: 4) { ALLOC0 (size: 8, align: 4) { .. }
01 00 00 00 00 00 00 00 │ ........
}

12
tests/mir-opt/dataflow-const-prop/default_boxed_slice.main.DataflowConstProp.32bit.panic-unwind.diff
View File

@ -98,15 +98,9 @@
} }
} }
ALLOC2 (size: 8, align: 4) { ALLOC2 (size: 8, align: 4) { .. }
01 00 00 00 00 00 00 00 │ ........
}
ALLOC1 (size: 8, align: 4) { ALLOC1 (size: 8, align: 4) { .. }
01 00 00 00 00 00 00 00 │ ........
}
ALLOC0 (size: 8, align: 4) { ALLOC0 (size: 8, align: 4) { .. }
01 00 00 00 00 00 00 00 │ ........
}

12
tests/mir-opt/dataflow-const-prop/default_boxed_slice.main.DataflowConstProp.64bit.panic-abort.diff
View File

@ -94,15 +94,9 @@
} }
} }
ALLOC2 (size: 16, align: 8) { ALLOC2 (size: 16, align: 8) { .. }
01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
}
ALLOC1 (size: 16, align: 8) { ALLOC1 (size: 16, align: 8) { .. }
01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
}
ALLOC0 (size: 16, align: 8) { ALLOC0 (size: 16, align: 8) { .. }
01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
}

12
tests/mir-opt/dataflow-const-prop/default_boxed_slice.main.DataflowConstProp.64bit.panic-unwind.diff
View File

@ -98,15 +98,9 @@
} }
} }
ALLOC2 (size: 16, align: 8) { ALLOC2 (size: 16, align: 8) { .. }
01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
}
ALLOC1 (size: 16, align: 8) { ALLOC1 (size: 16, align: 8) { .. }
01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
}
ALLOC0 (size: 16, align: 8) { ALLOC0 (size: 16, align: 8) { .. }
01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
}

18
tests/mir-opt/dataflow-const-prop/default_boxed_slice.main.GVN.32bit.panic-abort.diff
View File

@ -102,17 +102,11 @@
_0 = const (); _0 = const ();
drop(_1) -> [return: bb1, unwind unreachable]; drop(_1) -> [return: bb1, unwind unreachable];
} }
+ }
+
+ ALLOC2 (size: 8, align: 4) {
+ 01 00 00 00 00 00 00 00 │ ........
+ }
+
+ ALLOC1 (size: 8, align: 4) {
+ 01 00 00 00 00 00 00 00 │ ........
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 01 00 00 00 00 00 00 00 │ ........
} }
+
+ ALLOC2 (size: 8, align: 4) { .. }
+
+ ALLOC1 (size: 8, align: 4) { .. }
+
+ ALLOC0 (size: 8, align: 4) { .. }

18
tests/mir-opt/dataflow-const-prop/default_boxed_slice.main.GVN.32bit.panic-unwind.diff
View File

@ -106,17 +106,11 @@
_0 = const (); _0 = const ();
drop(_1) -> [return: bb1, unwind: bb2]; drop(_1) -> [return: bb1, unwind: bb2];
} }
+ }
+
+ ALLOC2 (size: 8, align: 4) {
+ 01 00 00 00 00 00 00 00 │ ........
+ }
+
+ ALLOC1 (size: 8, align: 4) {
+ 01 00 00 00 00 00 00 00 │ ........
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 01 00 00 00 00 00 00 00 │ ........
} }
+
+ ALLOC2 (size: 8, align: 4) { .. }
+
+ ALLOC1 (size: 8, align: 4) { .. }
+
+ ALLOC0 (size: 8, align: 4) { .. }

18
tests/mir-opt/dataflow-const-prop/default_boxed_slice.main.GVN.64bit.panic-abort.diff
View File

@ -102,17 +102,11 @@
_0 = const (); _0 = const ();
drop(_1) -> [return: bb1, unwind unreachable]; drop(_1) -> [return: bb1, unwind unreachable];
} }
+ }
+
+ ALLOC2 (size: 16, align: 8) {
+ 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
+ }
+
+ ALLOC1 (size: 16, align: 8) {
+ 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
+ }
+
+ ALLOC0 (size: 16, align: 8) {
+ 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
} }
+
+ ALLOC2 (size: 16, align: 8) { .. }
+
+ ALLOC1 (size: 16, align: 8) { .. }
+
+ ALLOC0 (size: 16, align: 8) { .. }

18
tests/mir-opt/dataflow-const-prop/default_boxed_slice.main.GVN.64bit.panic-unwind.diff
View File

@ -106,17 +106,11 @@
_0 = const (); _0 = const ();
drop(_1) -> [return: bb1, unwind: bb2]; drop(_1) -> [return: bb1, unwind: bb2];
} }
+ }
+
+ ALLOC2 (size: 16, align: 8) {
+ 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
+ }
+
+ ALLOC1 (size: 16, align: 8) {
+ 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
+ }
+
+ ALLOC0 (size: 16, align: 8) {
+ 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
} }
+
+ ALLOC2 (size: 16, align: 8) { .. }
+
+ ALLOC1 (size: 16, align: 8) { .. }
+
+ ALLOC0 (size: 16, align: 8) { .. }

6
tests/mir-opt/dataflow-const-prop/enum.simple.DataflowConstProp.32bit.diff
View File

@ -60,9 +60,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 00 00 00 00 00 00 00 00 │ ........
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/dataflow-const-prop/enum.simple.DataflowConstProp.64bit.diff
View File

@ -60,9 +60,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 00 00 00 00 00 00 00 00 │ ........
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

25
tests/mir-opt/dataflow-const-prop/enum.statics.DataflowConstProp.32bit.diff
View File

@ -43,7 +43,7 @@
bb0: { bb0: {
StorageLive(_1); StorageLive(_1);
StorageLive(_2); StorageLive(_2);
_2 = const {ALLOC1: &E}; _2 = const {ALLOC0: &E};
- _1 = (*_2); - _1 = (*_2);
+ _1 = const E::V1(0_i32); + _1 = const E::V1(0_i32);
StorageDead(_2); StorageDead(_2);
@ -79,7 +79,7 @@
bb4: { bb4: {
StorageLive(_7); StorageLive(_7);
StorageLive(_8); StorageLive(_8);
_8 = const {ALLOC2: &&E}; _8 = const {ALLOC1: &&E};
_7 = (*_8); _7 = (*_8);
StorageDead(_8); StorageDead(_8);
StorageLive(_9); StorageLive(_9);
@ -111,21 +111,14 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ } }
+ ALLOC2 (size: 8, align: 4) { .. }
+ +
+ ALLOC3 (size: 8, align: 4) { ALLOC1 (static: RC, size: 4, align: 4) { .. }
+ 00 00 00 00 00 00 00 00 │ ........
}
ALLOC2 (static: RC, size: 4, align: 4) { - ALLOC2 (size: 8, align: 4) { .. }
╾ALLOC0<imm>╼ │ ╾──╼ + ALLOC3 (size: 8, align: 4) { .. }
}
ALLOC0 (size: 8, align: 4) { ALLOC0 (static: statics::C, size: 8, align: 4) { .. }
01 00 00 00 04 00 00 00 │ ........
}
ALLOC1 (static: statics::C, size: 8, align: 4) {
00 00 00 00 00 00 00 00 │ ........
}

25
tests/mir-opt/dataflow-const-prop/enum.statics.DataflowConstProp.64bit.diff
View File

@ -43,7 +43,7 @@
bb0: { bb0: {
StorageLive(_1); StorageLive(_1);
StorageLive(_2); StorageLive(_2);
_2 = const {ALLOC1: &E}; _2 = const {ALLOC0: &E};
- _1 = (*_2); - _1 = (*_2);
+ _1 = const E::V1(0_i32); + _1 = const E::V1(0_i32);
StorageDead(_2); StorageDead(_2);
@ -79,7 +79,7 @@
bb4: { bb4: {
StorageLive(_7); StorageLive(_7);
StorageLive(_8); StorageLive(_8);
_8 = const {ALLOC2: &&E}; _8 = const {ALLOC1: &&E};
_7 = (*_8); _7 = (*_8);
StorageDead(_8); StorageDead(_8);
StorageLive(_9); StorageLive(_9);
@ -111,21 +111,14 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ } }
+ ALLOC2 (size: 8, align: 4) { .. }
+ +
+ ALLOC3 (size: 8, align: 4) { ALLOC1 (static: RC, size: 8, align: 8) { .. }
+ 00 00 00 00 00 00 00 00 │ ........
}
ALLOC2 (static: RC, size: 8, align: 8) { - ALLOC2 (size: 8, align: 4) { .. }
╾ALLOC0<imm>╼ │ ╾──────╼ + ALLOC3 (size: 8, align: 4) { .. }
}
ALLOC0 (size: 8, align: 4) { ALLOC0 (static: statics::C, size: 8, align: 4) { .. }
01 00 00 00 04 00 00 00 │ ........
}
ALLOC1 (static: statics::C, size: 8, align: 4) {
00 00 00 00 00 00 00 00 │ ........
}

58
tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.32bit.diff
View File

@ -112,7 +112,7 @@
_9 = (_10.2: &[f32]); _9 = (_10.2: &[f32]);
StorageDead(_10); StorageDead(_10);
StorageLive(_14); StorageLive(_14);
_14 = const {ALLOC4: &&SmallStruct}; _14 = const {ALLOC0: &&SmallStruct};
_31 = deref_copy (*_14); _31 = deref_copy (*_14);
StorageLive(_11); StorageLive(_11);
_32 = deref_copy (*_14); _32 = deref_copy (*_14);
@ -149,7 +149,7 @@
_21 = (_22.2: &[f32]); _21 = (_22.2: &[f32]);
StorageDead(_22); StorageDead(_22);
StorageLive(_26); StorageLive(_26);
_26 = const {ALLOC5: &&BigStruct}; _26 = const {ALLOC1: &&BigStruct};
_35 = deref_copy (*_26); _35 = deref_copy (*_26);
StorageLive(_23); StorageLive(_23);
_36 = deref_copy (*_26); _36 = deref_copy (*_26);
@ -197,51 +197,31 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ } }
+ ALLOC2 (size: 8, align: 4) { .. }
+ +
+ ALLOC6 (size: 8, align: 4) { + ALLOC3 (size: 8, align: 4) { .. }
+ 01 00 00 00 23 00 00 00 │ ....#...
+ }
+ +
+ ALLOC7 (size: 8, align: 4) { + ALLOC4 (size: 8, align: 4) { .. }
+ 01 00 00 00 23 00 00 00 │ ....#...
+ }
+ +
+ ALLOC8 (size: 8, align: 4) { + ALLOC5 (size: 8, align: 4) { .. }
+ 01 00 00 00 23 00 00 00 │ ....#...
+ }
+ +
+ ALLOC9 (size: 8, align: 4) { + ALLOC6 (size: 4, align: 4) { .. }
+ 01 00 00 00 01 00 00 00 │ ........
+ }
+ +
+ ALLOC10 (size: 4, align: 4) { ALLOC1 (static: BIG_STAT, size: 4, align: 4) { .. }
+ 01 00 00 00 │ ....
}
ALLOC5 (static: BIG_STAT, size: 4, align: 4) { - ALLOC2 (size: 20, align: 4) { .. }
╾ALLOC0<imm>╼ │ ╾──╼ + ALLOC7 (size: 20, align: 4) { .. }
}
ALLOC0 (size: 20, align: 4) { - ALLOC3 (size: 8, align: 4) { .. }
0x00 │ 01 00 00 00 23 00 00 00 ╾ALLOC1<imm>╼ 02 00 00 00 │ ....#...╾──╼.... + ALLOC8 (size: 8, align: 4) { .. }
0x10 │ 00 00 a4 42 │ ...B
}
ALLOC1 (size: 8, align: 4) { ALLOC0 (static: SMALL_STAT, size: 4, align: 4) { .. }
00 00 34 42 00 00 90 42 │ ..4B...B
}
ALLOC4 (static: SMALL_STAT, size: 4, align: 4) { - ALLOC4 (size: 20, align: 4) { .. }
╾ALLOC2<imm>╼ │ ╾──╼ + ALLOC9 (size: 20, align: 4) { .. }
}
ALLOC2 (size: 20, align: 4) { - ALLOC5 (size: 4, align: 4) { .. }
0x00 │ 00 00 00 00 __ __ __ __ ╾ALLOC3<imm>╼ 01 00 00 00 │ ....░░░░╾──╼.... + ALLOC10 (size: 4, align: 4) { .. }
0x10 │ 00 00 10 41 │ ...A
}
ALLOC3 (size: 4, align: 4) {
00 00 50 41 │ ..PA
}

58
tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.64bit.diff
View File

@ -112,7 +112,7 @@
_9 = (_10.2: &[f32]); _9 = (_10.2: &[f32]);
StorageDead(_10); StorageDead(_10);
StorageLive(_14); StorageLive(_14);
_14 = const {ALLOC4: &&SmallStruct}; _14 = const {ALLOC0: &&SmallStruct};
_31 = deref_copy (*_14); _31 = deref_copy (*_14);
StorageLive(_11); StorageLive(_11);
_32 = deref_copy (*_14); _32 = deref_copy (*_14);
@ -149,7 +149,7 @@
_21 = (_22.2: &[f32]); _21 = (_22.2: &[f32]);
StorageDead(_22); StorageDead(_22);
StorageLive(_26); StorageLive(_26);
_26 = const {ALLOC5: &&BigStruct}; _26 = const {ALLOC1: &&BigStruct};
_35 = deref_copy (*_26); _35 = deref_copy (*_26);
StorageLive(_23); StorageLive(_23);
_36 = deref_copy (*_26); _36 = deref_copy (*_26);
@ -197,51 +197,31 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ } }
+ ALLOC2 (size: 8, align: 4) { .. }
+ +
+ ALLOC6 (size: 8, align: 4) { + ALLOC3 (size: 8, align: 4) { .. }
+ 01 00 00 00 23 00 00 00 │ ....#...
+ }
+ +
+ ALLOC7 (size: 8, align: 4) { + ALLOC4 (size: 8, align: 4) { .. }
+ 01 00 00 00 23 00 00 00 │ ....#...
+ }
+ +
+ ALLOC8 (size: 8, align: 4) { + ALLOC5 (size: 8, align: 4) { .. }
+ 01 00 00 00 23 00 00 00 │ ....#...
+ }
+ +
+ ALLOC9 (size: 8, align: 4) { + ALLOC6 (size: 4, align: 4) { .. }
+ 01 00 00 00 01 00 00 00 │ ........
+ }
+ +
+ ALLOC10 (size: 4, align: 4) { ALLOC1 (static: BIG_STAT, size: 8, align: 8) { .. }
+ 01 00 00 00 │ ....
}
ALLOC5 (static: BIG_STAT, size: 8, align: 8) { - ALLOC2 (size: 32, align: 8) { .. }
╾ALLOC0<imm>╼ │ ╾──────╼ + ALLOC7 (size: 32, align: 8) { .. }
}
ALLOC0 (size: 32, align: 8) { - ALLOC3 (size: 8, align: 4) { .. }
0x00 │ 01 00 00 00 23 00 00 00 ╾ALLOC1<imm>╼ │ ....#...╾──────╼ + ALLOC8 (size: 8, align: 4) { .. }
0x10 │ 02 00 00 00 00 00 00 00 00 00 a4 42 __ __ __ __ │ ...........B░░░░
}
ALLOC1 (size: 8, align: 4) { ALLOC0 (static: SMALL_STAT, size: 8, align: 8) { .. }
00 00 34 42 00 00 90 42 │ ..4B...B
}
ALLOC4 (static: SMALL_STAT, size: 8, align: 8) { - ALLOC4 (size: 32, align: 8) { .. }
╾ALLOC2<imm>╼ │ ╾──────╼ + ALLOC9 (size: 32, align: 8) { .. }
}
ALLOC2 (size: 32, align: 8) { - ALLOC5 (size: 4, align: 4) { .. }
0x00 │ 00 00 00 00 __ __ __ __ ╾ALLOC3<imm>╼ │ ....░░░░╾──────╼ + ALLOC10 (size: 4, align: 4) { .. }
0x10 │ 01 00 00 00 00 00 00 00 00 00 10 41 __ __ __ __ │ ...........A░░░░
}
ALLOC3 (size: 4, align: 4) {
00 00 50 41 │ ..PA
}

24
tests/mir-opt/dataflow-const-prop/tuple.main.DataflowConstProp.32bit.diff
View File

@ -92,21 +92,13 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 02 00 00 00 03 00 00 00 │ ........
+ }
+
+ ALLOC1 (size: 8, align: 4) {
+ 02 00 00 00 03 00 00 00 │ ........
+ }
+
+ ALLOC2 (size: 8, align: 4) {
+ 02 00 00 00 03 00 00 00 │ ........
+ }
+
+ ALLOC3 (size: 8, align: 4) {
+ 01 00 00 00 02 00 00 00 │ ........
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }
+
+ ALLOC1 (size: 8, align: 4) { .. }
+
+ ALLOC2 (size: 8, align: 4) { .. }
+
+ ALLOC3 (size: 8, align: 4) { .. }

24
tests/mir-opt/dataflow-const-prop/tuple.main.DataflowConstProp.64bit.diff
View File

@ -92,21 +92,13 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 02 00 00 00 03 00 00 00 │ ........
+ }
+
+ ALLOC1 (size: 8, align: 4) {
+ 02 00 00 00 03 00 00 00 │ ........
+ }
+
+ ALLOC2 (size: 8, align: 4) {
+ 02 00 00 00 03 00 00 00 │ ........
+ }
+
+ ALLOC3 (size: 8, align: 4) {
+ 01 00 00 00 02 00 00 00 │ ........
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }
+
+ ALLOC1 (size: 8, align: 4) { .. }
+
+ ALLOC2 (size: 8, align: 4) { .. }
+
+ ALLOC3 (size: 8, align: 4) { .. }

6
tests/mir-opt/enum_opt.cand.EnumSizeOpt.32bit.diff
View File

@ -64,9 +64,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 02 00 00 00 05 20 00 00 │ ..... ..
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/enum_opt.cand.EnumSizeOpt.64bit.diff
View File

@ -64,9 +64,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 16, align: 8) {
+ 02 00 00 00 00 00 00 00 05 20 00 00 00 00 00 00 │ ......... ......
} }
+
+ ALLOC0 (size: 16, align: 8) { .. }

6
tests/mir-opt/enum_opt.unin.EnumSizeOpt.32bit.diff
View File

@ -64,9 +64,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 05 20 00 00 01 00 00 00 │ . ......
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/enum_opt.unin.EnumSizeOpt.64bit.diff
View File

@ -64,9 +64,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 16, align: 8) {
+ 05 20 00 00 00 00 00 00 01 00 00 00 00 00 00 00 │ . ..............
} }
+
+ ALLOC0 (size: 16, align: 8) { .. }

6
tests/mir-opt/gvn.arithmetic_checked.GVN.panic-abort.diff
View File

@ -140,9 +140,7 @@
_0 = const (); _0 = const ();
return; return;
} }
+ }
+
+ ALLOC0 (size: 16, align: 8) {
+ 00 00 00 00 00 00 00 00 00 __ __ __ __ __ __ __ │ .........░░░░░░░
} }
+
+ ALLOC0 (size: 16, align: 8) { .. }

6
tests/mir-opt/gvn.arithmetic_checked.GVN.panic-unwind.diff
View File

@ -140,9 +140,7 @@
_0 = const (); _0 = const ();
return; return;
} }
+ }
+
+ ALLOC0 (size: 16, align: 8) {
+ 00 00 00 00 00 00 00 00 00 __ __ __ __ __ __ __ │ .........░░░░░░░
} }
+
+ ALLOC0 (size: 16, align: 8) { .. }

18
tests/mir-opt/gvn.fn_pointers.GVN.panic-abort.diff
View File

@ -8,10 +8,10 @@
let mut _3: fn(u8) -> u8; let mut _3: fn(u8) -> u8;
let _5: (); let _5: ();
let mut _6: fn(u8) -> u8; let mut _6: fn(u8) -> u8;
let mut _9: {closure@$DIR/gvn.rs:614:19: 614:21}; let mut _9: {closure@$DIR/gvn.rs:615:19: 615:21};
let _10: (); let _10: ();
let mut _11: fn(); let mut _11: fn();
let mut _13: {closure@$DIR/gvn.rs:614:19: 614:21}; let mut _13: {closure@$DIR/gvn.rs:615:19: 615:21};
let _14: (); let _14: ();
let mut _15: fn(); let mut _15: fn();
scope 1 { scope 1 {
@ -19,7 +19,7 @@
let _4: fn(u8) -> u8; let _4: fn(u8) -> u8;
scope 2 { scope 2 {
debug g => _4; debug g => _4;
let _7: {closure@$DIR/gvn.rs:614:19: 614:21}; let _7: {closure@$DIR/gvn.rs:615:19: 615:21};
scope 3 { scope 3 {
debug closure => _7; debug closure => _7;
let _8: fn(); let _8: fn();
@ -62,16 +62,16 @@
StorageDead(_6); StorageDead(_6);
StorageDead(_5); StorageDead(_5);
- StorageLive(_7); - StorageLive(_7);
- _7 = {closure@$DIR/gvn.rs:614:19: 614:21}; - _7 = {closure@$DIR/gvn.rs:615:19: 615:21};
- StorageLive(_8); - StorageLive(_8);
+ nop; + nop;
+ _7 = const ZeroSized: {closure@$DIR/gvn.rs:614:19: 614:21}; + _7 = const ZeroSized: {closure@$DIR/gvn.rs:615:19: 615:21};
+ nop; + nop;
StorageLive(_9); StorageLive(_9);
- _9 = _7; - _9 = _7;
- _8 = move _9 as fn() (PointerCoercion(ClosureFnPointer(Safe))); - _8 = move _9 as fn() (PointerCoercion(ClosureFnPointer(Safe)));
+ _9 = const ZeroSized: {closure@$DIR/gvn.rs:614:19: 614:21}; + _9 = const ZeroSized: {closure@$DIR/gvn.rs:615:19: 615:21};
+ _8 = const ZeroSized: {closure@$DIR/gvn.rs:614:19: 614:21} as fn() (PointerCoercion(ClosureFnPointer(Safe))); + _8 = const ZeroSized: {closure@$DIR/gvn.rs:615:19: 615:21} as fn() (PointerCoercion(ClosureFnPointer(Safe)));
StorageDead(_9); StorageDead(_9);
StorageLive(_10); StorageLive(_10);
StorageLive(_11); StorageLive(_11);
@ -88,8 +88,8 @@
StorageLive(_13); StorageLive(_13);
- _13 = _7; - _13 = _7;
- _12 = move _13 as fn() (PointerCoercion(ClosureFnPointer(Safe))); - _12 = move _13 as fn() (PointerCoercion(ClosureFnPointer(Safe)));
+ _13 = const ZeroSized: {closure@$DIR/gvn.rs:614:19: 614:21}; + _13 = const ZeroSized: {closure@$DIR/gvn.rs:615:19: 615:21};
+ _12 = const ZeroSized: {closure@$DIR/gvn.rs:614:19: 614:21} as fn() (PointerCoercion(ClosureFnPointer(Safe))); + _12 = const ZeroSized: {closure@$DIR/gvn.rs:615:19: 615:21} as fn() (PointerCoercion(ClosureFnPointer(Safe)));
StorageDead(_13); StorageDead(_13);
StorageLive(_14); StorageLive(_14);
StorageLive(_15); StorageLive(_15);

18
tests/mir-opt/gvn.fn_pointers.GVN.panic-unwind.diff
View File

@ -8,10 +8,10 @@
let mut _3: fn(u8) -> u8; let mut _3: fn(u8) -> u8;
let _5: (); let _5: ();
let mut _6: fn(u8) -> u8; let mut _6: fn(u8) -> u8;
let mut _9: {closure@$DIR/gvn.rs:614:19: 614:21}; let mut _9: {closure@$DIR/gvn.rs:615:19: 615:21};
let _10: (); let _10: ();
let mut _11: fn(); let mut _11: fn();
let mut _13: {closure@$DIR/gvn.rs:614:19: 614:21}; let mut _13: {closure@$DIR/gvn.rs:615:19: 615:21};
let _14: (); let _14: ();
let mut _15: fn(); let mut _15: fn();
scope 1 { scope 1 {
@ -19,7 +19,7 @@
let _4: fn(u8) -> u8; let _4: fn(u8) -> u8;
scope 2 { scope 2 {
debug g => _4; debug g => _4;
let _7: {closure@$DIR/gvn.rs:614:19: 614:21}; let _7: {closure@$DIR/gvn.rs:615:19: 615:21};
scope 3 { scope 3 {
debug closure => _7; debug closure => _7;
let _8: fn(); let _8: fn();
@ -62,16 +62,16 @@
StorageDead(_6); StorageDead(_6);
StorageDead(_5); StorageDead(_5);
- StorageLive(_7); - StorageLive(_7);
- _7 = {closure@$DIR/gvn.rs:614:19: 614:21}; - _7 = {closure@$DIR/gvn.rs:615:19: 615:21};
- StorageLive(_8); - StorageLive(_8);
+ nop; + nop;
+ _7 = const ZeroSized: {closure@$DIR/gvn.rs:614:19: 614:21}; + _7 = const ZeroSized: {closure@$DIR/gvn.rs:615:19: 615:21};
+ nop; + nop;
StorageLive(_9); StorageLive(_9);
- _9 = _7; - _9 = _7;
- _8 = move _9 as fn() (PointerCoercion(ClosureFnPointer(Safe))); - _8 = move _9 as fn() (PointerCoercion(ClosureFnPointer(Safe)));
+ _9 = const ZeroSized: {closure@$DIR/gvn.rs:614:19: 614:21}; + _9 = const ZeroSized: {closure@$DIR/gvn.rs:615:19: 615:21};
+ _8 = const ZeroSized: {closure@$DIR/gvn.rs:614:19: 614:21} as fn() (PointerCoercion(ClosureFnPointer(Safe))); + _8 = const ZeroSized: {closure@$DIR/gvn.rs:615:19: 615:21} as fn() (PointerCoercion(ClosureFnPointer(Safe)));
StorageDead(_9); StorageDead(_9);
StorageLive(_10); StorageLive(_10);
StorageLive(_11); StorageLive(_11);
@ -88,8 +88,8 @@
StorageLive(_13); StorageLive(_13);
- _13 = _7; - _13 = _7;
- _12 = move _13 as fn() (PointerCoercion(ClosureFnPointer(Safe))); - _12 = move _13 as fn() (PointerCoercion(ClosureFnPointer(Safe)));
+ _13 = const ZeroSized: {closure@$DIR/gvn.rs:614:19: 614:21}; + _13 = const ZeroSized: {closure@$DIR/gvn.rs:615:19: 615:21};
+ _12 = const ZeroSized: {closure@$DIR/gvn.rs:614:19: 614:21} as fn() (PointerCoercion(ClosureFnPointer(Safe))); + _12 = const ZeroSized: {closure@$DIR/gvn.rs:615:19: 615:21} as fn() (PointerCoercion(ClosureFnPointer(Safe)));
StorageDead(_13); StorageDead(_13);
StorageLive(_14); StorageLive(_14);
StorageLive(_15); StorageLive(_15);

4
tests/mir-opt/gvn.indirect_static.GVN.panic-abort.diff
View File

@ -13,7 +13,5 @@
} }
} }
ALLOC0 (static: A, size: 2, align: 1) { ALLOC0 (static: A, size: 2, align: 1) { .. }
00 __ │ .░
}

4
tests/mir-opt/gvn.indirect_static.GVN.panic-unwind.diff
View File

@ -13,7 +13,5 @@
} }
} }
ALLOC0 (static: A, size: 2, align: 1) { ALLOC0 (static: A, size: 2, align: 1) { .. }
00 __ │ .░
}

12
tests/mir-opt/gvn.wide_ptr_integer.GVN.panic-abort.diff
View File

@ -176,13 +176,9 @@
+ nop; + nop;
return; return;
} }
+ }
+
+ ALLOC1 (size: 16, align: 8) {
+ 01 00 00 00 00 00 00 00 02 00 00 00 00 00 00 00 │ ................
+ }
+
+ ALLOC0 (size: 16, align: 8) {
+ 01 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 │ ................
} }
+
+ ALLOC1 (size: 16, align: 8) { .. }
+
+ ALLOC0 (size: 16, align: 8) { .. }

12
tests/mir-opt/gvn.wide_ptr_integer.GVN.panic-unwind.diff
View File

@ -176,13 +176,9 @@
+ nop; + nop;
return; return;
} }
+ }
+
+ ALLOC1 (size: 16, align: 8) {
+ 01 00 00 00 00 00 00 00 02 00 00 00 00 00 00 00 │ ................
+ }
+
+ ALLOC0 (size: 16, align: 8) {
+ 01 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 │ ................
} }
+
+ ALLOC1 (size: 16, align: 8) { .. }
+
+ ALLOC0 (size: 16, align: 8) { .. }

6
tests/mir-opt/pre-codegen/optimizes_into_variable.main.GVN.32bit.panic-abort.diff
View File

@ -61,9 +61,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 04 00 00 00 00 __ __ __ │ .....░░░
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/pre-codegen/optimizes_into_variable.main.GVN.32bit.panic-unwind.diff
View File

@ -61,9 +61,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 04 00 00 00 00 __ __ __ │ .....░░░
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/pre-codegen/optimizes_into_variable.main.GVN.64bit.panic-abort.diff
View File

@ -61,9 +61,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 04 00 00 00 00 __ __ __ │ .....░░░
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }

6
tests/mir-opt/pre-codegen/optimizes_into_variable.main.GVN.64bit.panic-unwind.diff
View File

@ -61,9 +61,7 @@
StorageDead(_1); StorageDead(_1);
return; return;
} }
+ }
+
+ ALLOC0 (size: 8, align: 4) {
+ 04 00 00 00 00 __ __ __ │ .....░░░
} }
+
+ ALLOC0 (size: 8, align: 4) { .. }