Skip to content

Commit fa3bb5c

Browse files
tautschnigtautschnig
committed
Update expected MIR in tests
Updated via `./x.py test mir-opt --bless --stage 1`.
1 parent b3cc281 commit fa3bb5c

20 files changed

+509
-273
lines changed

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

Lines changed: 17 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -18,21 +18,29 @@
1818
scope 5 (inlined NonNull::<[bool; 0]>::dangling) {
1919
let mut _6: std::num::NonZero<usize>;
2020
scope 6 {
21-
scope 8 (inlined std::ptr::Alignment::as_nonzero) {
22-
}
23-
scope 9 (inlined NonNull::<[bool; 0]>::without_provenance) {
24-
let _7: *const [bool; 0];
25-
scope 10 {
21+
scope 7 {
22+
scope 9 {
2623
}
27-
scope 11 (inlined NonZero::<usize>::get) {
24+
}
25+
scope 8 {
26+
scope 12 (inlined std::ptr::Alignment::as_nonzero) {
2827
}
29-
scope 12 (inlined std::ptr::without_provenance::<[bool; 0]>) {
30-
scope 13 (inlined without_provenance_mut::<[bool; 0]>) {
28+
scope 13 (inlined NonNull::<[bool; 0]>::without_provenance) {
29+
let _7: *const [bool; 0];
30+
scope 14 {
31+
}
32+
scope 15 (inlined NonZero::<usize>::get) {
33+
}
34+
scope 16 (inlined std::ptr::without_provenance::<[bool; 0]>) {
35+
scope 17 (inlined without_provenance_mut::<[bool; 0]>) {
36+
}
3137
}
3238
}
3339
}
40+
scope 11 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
41+
}
3442
}
35-
scope 7 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
43+
scope 10 (inlined core::contracts::build_check_ensures::<NonNull<[bool; 0]>, {closure@NonNull<[bool; 0]>::dangling::{closure#0}}>) {
3644
}
3745
}
3846
}

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

Lines changed: 17 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -18,21 +18,29 @@
1818
scope 5 (inlined NonNull::<[bool; 0]>::dangling) {
1919
let mut _6: std::num::NonZero<usize>;
2020
scope 6 {
21-
scope 8 (inlined std::ptr::Alignment::as_nonzero) {
22-
}
23-
scope 9 (inlined NonNull::<[bool; 0]>::without_provenance) {
24-
let _7: *const [bool; 0];
25-
scope 10 {
21+
scope 7 {
22+
scope 9 {
2623
}
27-
scope 11 (inlined NonZero::<usize>::get) {
24+
}
25+
scope 8 {
26+
scope 12 (inlined std::ptr::Alignment::as_nonzero) {
2827
}
29-
scope 12 (inlined std::ptr::without_provenance::<[bool; 0]>) {
30-
scope 13 (inlined without_provenance_mut::<[bool; 0]>) {
28+
scope 13 (inlined NonNull::<[bool; 0]>::without_provenance) {
29+
let _7: *const [bool; 0];
30+
scope 14 {
31+
}
32+
scope 15 (inlined NonZero::<usize>::get) {
33+
}
34+
scope 16 (inlined std::ptr::without_provenance::<[bool; 0]>) {
35+
scope 17 (inlined without_provenance_mut::<[bool; 0]>) {
36+
}
3137
}
3238
}
3339
}
40+
scope 11 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
41+
}
3442
}
35-
scope 7 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
43+
scope 10 (inlined core::contracts::build_check_ensures::<NonNull<[bool; 0]>, {closure@NonNull<[bool; 0]>::dangling::{closure#0}}>) {
3644
}
3745
}
3846
}

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

Lines changed: 17 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -18,21 +18,29 @@
1818
scope 5 (inlined NonNull::<[bool; 0]>::dangling) {
1919
let mut _6: std::num::NonZero<usize>;
2020
scope 6 {
21-
scope 8 (inlined std::ptr::Alignment::as_nonzero) {
22-
}
23-
scope 9 (inlined NonNull::<[bool; 0]>::without_provenance) {
24-
let _7: *const [bool; 0];
25-
scope 10 {
21+
scope 7 {
22+
scope 9 {
2623
}
27-
scope 11 (inlined NonZero::<usize>::get) {
24+
}
25+
scope 8 {
26+
scope 12 (inlined std::ptr::Alignment::as_nonzero) {
2827
}
29-
scope 12 (inlined std::ptr::without_provenance::<[bool; 0]>) {
30-
scope 13 (inlined without_provenance_mut::<[bool; 0]>) {
28+
scope 13 (inlined NonNull::<[bool; 0]>::without_provenance) {
29+
let _7: *const [bool; 0];
30+
scope 14 {
31+
}
32+
scope 15 (inlined NonZero::<usize>::get) {
33+
}
34+
scope 16 (inlined std::ptr::without_provenance::<[bool; 0]>) {
35+
scope 17 (inlined without_provenance_mut::<[bool; 0]>) {
36+
}
3137
}
3238
}
3339
}
40+
scope 11 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
41+
}
3442
}
35-
scope 7 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
43+
scope 10 (inlined core::contracts::build_check_ensures::<NonNull<[bool; 0]>, {closure@NonNull<[bool; 0]>::dangling::{closure#0}}>) {
3644
}
3745
}
3846
}

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

Lines changed: 17 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -18,21 +18,29 @@
1818
scope 5 (inlined NonNull::<[bool; 0]>::dangling) {
1919
let mut _6: std::num::NonZero<usize>;
2020
scope 6 {
21-
scope 8 (inlined std::ptr::Alignment::as_nonzero) {
22-
}
23-
scope 9 (inlined NonNull::<[bool; 0]>::without_provenance) {
24-
let _7: *const [bool; 0];
25-
scope 10 {
21+
scope 7 {
22+
scope 9 {
2623
}
27-
scope 11 (inlined NonZero::<usize>::get) {
24+
}
25+
scope 8 {
26+
scope 12 (inlined std::ptr::Alignment::as_nonzero) {
2827
}
29-
scope 12 (inlined std::ptr::without_provenance::<[bool; 0]>) {
30-
scope 13 (inlined without_provenance_mut::<[bool; 0]>) {
28+
scope 13 (inlined NonNull::<[bool; 0]>::without_provenance) {
29+
let _7: *const [bool; 0];
30+
scope 14 {
31+
}
32+
scope 15 (inlined NonZero::<usize>::get) {
33+
}
34+
scope 16 (inlined std::ptr::without_provenance::<[bool; 0]>) {
35+
scope 17 (inlined without_provenance_mut::<[bool; 0]>) {
36+
}
3137
}
3238
}
3339
}
40+
scope 11 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
41+
}
3442
}
35-
scope 7 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
43+
scope 10 (inlined core::contracts::build_check_ensures::<NonNull<[bool; 0]>, {closure@NonNull<[bool; 0]>::dangling::{closure#0}}>) {
3644
}
3745
}
3846
}

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

Lines changed: 17 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -18,21 +18,29 @@
1818
scope 5 (inlined NonNull::<[bool; 0]>::dangling) {
1919
let mut _6: std::num::NonZero<usize>;
2020
scope 6 {
21-
scope 8 (inlined std::ptr::Alignment::as_nonzero) {
22-
}
23-
scope 9 (inlined NonNull::<[bool; 0]>::without_provenance) {
24-
let _7: *const [bool; 0];
25-
scope 10 {
21+
scope 7 {
22+
scope 9 {
2623
}
27-
scope 11 (inlined NonZero::<usize>::get) {
24+
}
25+
scope 8 {
26+
scope 12 (inlined std::ptr::Alignment::as_nonzero) {
2827
}
29-
scope 12 (inlined std::ptr::without_provenance::<[bool; 0]>) {
30-
scope 13 (inlined without_provenance_mut::<[bool; 0]>) {
28+
scope 13 (inlined NonNull::<[bool; 0]>::without_provenance) {
29+
let _7: *const [bool; 0];
30+
scope 14 {
31+
}
32+
scope 15 (inlined NonZero::<usize>::get) {
33+
}
34+
scope 16 (inlined std::ptr::without_provenance::<[bool; 0]>) {
35+
scope 17 (inlined without_provenance_mut::<[bool; 0]>) {
36+
}
3137
}
3238
}
3339
}
40+
scope 11 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
41+
}
3442
}
35-
scope 7 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
43+
scope 10 (inlined core::contracts::build_check_ensures::<NonNull<[bool; 0]>, {closure@NonNull<[bool; 0]>::dangling::{closure#0}}>) {
3644
}
3745
}
3846
}

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

Lines changed: 17 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -18,21 +18,29 @@
1818
scope 5 (inlined NonNull::<[bool; 0]>::dangling) {
1919
let mut _6: std::num::NonZero<usize>;
2020
scope 6 {
21-
scope 8 (inlined std::ptr::Alignment::as_nonzero) {
22-
}
23-
scope 9 (inlined NonNull::<[bool; 0]>::without_provenance) {
24-
let _7: *const [bool; 0];
25-
scope 10 {
21+
scope 7 {
22+
scope 9 {
2623
}
27-
scope 11 (inlined NonZero::<usize>::get) {
24+
}
25+
scope 8 {
26+
scope 12 (inlined std::ptr::Alignment::as_nonzero) {
2827
}
29-
scope 12 (inlined std::ptr::without_provenance::<[bool; 0]>) {
30-
scope 13 (inlined without_provenance_mut::<[bool; 0]>) {
28+
scope 13 (inlined NonNull::<[bool; 0]>::without_provenance) {
29+
let _7: *const [bool; 0];
30+
scope 14 {
31+
}
32+
scope 15 (inlined NonZero::<usize>::get) {
33+
}
34+
scope 16 (inlined std::ptr::without_provenance::<[bool; 0]>) {
35+
scope 17 (inlined without_provenance_mut::<[bool; 0]>) {
36+
}
3137
}
3238
}
3339
}
40+
scope 11 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
41+
}
3442
}
35-
scope 7 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
43+
scope 10 (inlined core::contracts::build_check_ensures::<NonNull<[bool; 0]>, {closure@NonNull<[bool; 0]>::dangling::{closure#0}}>) {
3644
}
3745
}
3846
}

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

Lines changed: 17 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -18,21 +18,29 @@
1818
scope 5 (inlined NonNull::<[bool; 0]>::dangling) {
1919
let mut _6: std::num::NonZero<usize>;
2020
scope 6 {
21-
scope 8 (inlined std::ptr::Alignment::as_nonzero) {
22-
}
23-
scope 9 (inlined NonNull::<[bool; 0]>::without_provenance) {
24-
let _7: *const [bool; 0];
25-
scope 10 {
21+
scope 7 {
22+
scope 9 {
2623
}
27-
scope 11 (inlined NonZero::<usize>::get) {
24+
}
25+
scope 8 {
26+
scope 12 (inlined std::ptr::Alignment::as_nonzero) {
2827
}
29-
scope 12 (inlined std::ptr::without_provenance::<[bool; 0]>) {
30-
scope 13 (inlined without_provenance_mut::<[bool; 0]>) {
28+
scope 13 (inlined NonNull::<[bool; 0]>::without_provenance) {
29+
let _7: *const [bool; 0];
30+
scope 14 {
31+
}
32+
scope 15 (inlined NonZero::<usize>::get) {
33+
}
34+
scope 16 (inlined std::ptr::without_provenance::<[bool; 0]>) {
35+
scope 17 (inlined without_provenance_mut::<[bool; 0]>) {
36+
}
3137
}
3238
}
3339
}
40+
scope 11 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
41+
}
3442
}
35-
scope 7 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
43+
scope 10 (inlined core::contracts::build_check_ensures::<NonNull<[bool; 0]>, {closure@NonNull<[bool; 0]>::dangling::{closure#0}}>) {
3644
}
3745
}
3846
}

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

Lines changed: 17 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -18,21 +18,29 @@
1818
scope 5 (inlined NonNull::<[bool; 0]>::dangling) {
1919
let mut _6: std::num::NonZero<usize>;
2020
scope 6 {
21-
scope 8 (inlined std::ptr::Alignment::as_nonzero) {
22-
}
23-
scope 9 (inlined NonNull::<[bool; 0]>::without_provenance) {
24-
let _7: *const [bool; 0];
25-
scope 10 {
21+
scope 7 {
22+
scope 9 {
2623
}
27-
scope 11 (inlined NonZero::<usize>::get) {
24+
}
25+
scope 8 {
26+
scope 12 (inlined std::ptr::Alignment::as_nonzero) {
2827
}
29-
scope 12 (inlined std::ptr::without_provenance::<[bool; 0]>) {
30-
scope 13 (inlined without_provenance_mut::<[bool; 0]>) {
28+
scope 13 (inlined NonNull::<[bool; 0]>::without_provenance) {
29+
let _7: *const [bool; 0];
30+
scope 14 {
31+
}
32+
scope 15 (inlined NonZero::<usize>::get) {
33+
}
34+
scope 16 (inlined std::ptr::without_provenance::<[bool; 0]>) {
35+
scope 17 (inlined without_provenance_mut::<[bool; 0]>) {
36+
}
3137
}
3238
}
3339
}
40+
scope 11 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
41+
}
3442
}
35-
scope 7 (inlined std::ptr::Alignment::of::<[bool; 0]>) {
43+
scope 10 (inlined core::contracts::build_check_ensures::<NonNull<[bool; 0]>, {closure@NonNull<[bool; 0]>::dangling::{closure#0}}>) {
3644
}
3745
}
3846
}

0 commit comments

Comments
 (0)