Skip to content

Commit

Permalink
Bless MIR tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@nbdd0121
nbdd0121 committed Nov 24, 2023
1 parent 500e3d3 commit 5732e4f
Show file tree
Hide file tree
Showing 6 changed files with 230 additions and 236 deletions.
109 changes: 55 additions & 54 deletions tests/mir-opt/inline/inline_into_box_place.main.Inline.panic-abort.diff
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,38 +31,38 @@
+ let mut _13: &std::alloc::Global;
+ scope 8 {
+ debug ptr => _11;
+ scope 18 (inlined NonNull::<[u8]>::as_mut_ptr) {
+ scope 17 (inlined NonNull::<[u8]>::as_mut_ptr) {
+ debug self => _11;
+ let mut _15: std::ptr::NonNull<u8>;
+ scope 19 (inlined NonNull::<[u8]>::as_non_null_ptr) {
+ let mut _16: std::ptr::NonNull<u8>;
+ scope 18 (inlined NonNull::<[u8]>::as_non_null_ptr) {
+ debug self => _11;
+ let mut _16: *mut u8;
+ let mut _17: *mut [u8];
+ scope 20 {
+ scope 21 (inlined NonNull::<[u8]>::as_ptr) {
+ let mut _17: *mut u8;
+ let mut _18: *mut [u8];
+ scope 19 {
+ scope 20 (inlined NonNull::<[u8]>::as_ptr) {
+ debug self => _11;
+ let mut _18: *const [u8];
+ let mut _19: *const [u8];
+ }
+ scope 22 (inlined ptr::mut_ptr::<impl *mut [u8]>::as_mut_ptr) {
+ debug self => _17;
+ scope 21 (inlined ptr::mut_ptr::<impl *mut [u8]>::as_mut_ptr) {
+ debug self => _18;
+ }
+ scope 23 (inlined NonNull::<u8>::new_unchecked) {
+ debug ptr => _16;
+ let mut _19: *const u8;
+ scope 24 {
+ scope 25 (inlined NonNull::<T>::new_unchecked::runtime::<u8>) {
+ debug ptr => _16;
+ scope 26 (inlined ptr::mut_ptr::<impl *mut u8>::is_null) {
+ debug self => _16;
+ let mut _20: *mut u8;
+ scope 27 {
+ scope 28 (inlined ptr::mut_ptr::<impl *mut T>::is_null::runtime_impl) {
+ debug ptr => _20;
+ scope 29 (inlined ptr::mut_ptr::<impl *mut u8>::addr) {
+ debug self => _20;
+ scope 30 {
+ scope 31 (inlined ptr::mut_ptr::<impl *mut u8>::cast::<()>) {
+ debug self => _20;
+ scope 22 (inlined NonNull::<u8>::new_unchecked) {
+ debug ptr => _17;
+ let mut _20: *const u8;
+ scope 23 {
+ scope 24 (inlined NonNull::<T>::new_unchecked::runtime::<u8>) {
+ debug ptr => _17;
+ scope 25 (inlined ptr::mut_ptr::<impl *mut u8>::is_null) {
+ debug self => _17;
+ let mut _21: *mut u8;
+ scope 26 {
+ scope 27 (inlined ptr::mut_ptr::<impl *mut T>::is_null::runtime_impl) {
+ debug ptr => _21;
+ scope 28 (inlined ptr::mut_ptr::<impl *mut u8>::addr) {
+ debug self => _21;
+ scope 29 {
+ scope 30 (inlined ptr::mut_ptr::<impl *mut u8>::cast::<()>) {
+ debug self => _21;
+ }
+ }
+ }
Expand All @@ -74,13 +74,13 @@
+ }
+ }
+ }
+ scope 32 (inlined NonNull::<u8>::as_ptr) {
+ debug self => _15;
+ let mut _21: *const u8;
+ scope 31 (inlined NonNull::<u8>::as_ptr) {
+ debug self => _16;
+ let mut _22: *const u8;
+ }
+ }
+ }
+ scope 17 (inlined <std::alloc::Global as Allocator>::allocate) {
+ scope 16 (inlined <std::alloc::Global as Allocator>::allocate) {
+ debug self => const _;
+ debug layout => _8;
+ }
Expand All @@ -93,18 +93,17 @@
+ scope 10 {
+ scope 11 (inlined std::ptr::Alignment::new_unchecked) {
+ debug align => _5;
+ let mut _15: &[&str];
+ scope 12 {
+ scope 14 (inlined std::ptr::Alignment::new_unchecked::runtime) {
+ debug align => _5;
+ scope 15 (inlined core::num::<impl usize>::is_power_of_two) {
+ debug self => _5;
+ scope 16 (inlined core::num::<impl usize>::count_ones) {
+ debug self => _5;
+ }
+ }
+ }
+ scope 13 (inlined core::num::<impl usize>::is_power_of_two) {
+ debug self => _5;
+ scope 14 (inlined core::num::<impl usize>::count_ones) {
+ debug self => _5;
+ }
+ }
+ scope 13 {
+ scope 15 (inlined Arguments::<'_>::new_const) {
+ debug pieces => _15;
+ }
+ }
+ }
Expand Down Expand Up @@ -134,7 +133,9 @@
+ StorageLive(_12);
+ StorageLive(_13);
+ StorageLive(_14);
+ StorageLive(_15);
+ _14 = _5 as std::ptr::Alignment (Transmute);
+ StorageDead(_15);
+ _8 = Layout { size: _4, align: move _14 };
+ StorageDead(_14);
+ StorageLive(_9);
Expand All @@ -158,27 +159,27 @@
+
+ bb4: {
+ _11 = ((_9 as Ok).0: std::ptr::NonNull<[u8]>);
+ StorageLive(_15);
+ StorageLive(_16);
+ StorageLive(_17);
+ StorageLive(_18);
+ _18 = (_11.0: *const [u8]);
+ _17 = move _18 as *mut [u8] (PtrToPtr);
+ StorageDead(_18);
+ _16 = _17 as *mut u8 (PtrToPtr);
+ StorageDead(_17);
+ StorageLive(_19);
+ StorageLive(_20);
+ _19 = _16 as *const u8 (PointerCoercion(MutToConstPointer));
+ _15 = NonNull::<u8> { pointer: _19 };
+ StorageDead(_20);
+ _19 = (_11.0: *const [u8]);
+ _18 = move _19 as *mut [u8] (PtrToPtr);
+ StorageDead(_19);
+ StorageDead(_16);
+ _17 = _18 as *mut u8 (PtrToPtr);
+ StorageDead(_18);
+ StorageLive(_20);
+ StorageLive(_21);
+ _21 = (_15.0: *const u8);
+ _6 = move _21 as *mut u8 (PtrToPtr);
+ _20 = _17 as *const u8 (PointerCoercion(MutToConstPointer));
+ _16 = NonNull::<u8> { pointer: _20 };
+ StorageDead(_21);
+ StorageDead(_15);
+ StorageDead(_20);
+ StorageDead(_17);
+ StorageLive(_22);
+ _22 = (_16.0: *const u8);
+ _6 = move _22 as *mut u8 (PtrToPtr);
+ StorageDead(_22);
+ StorageDead(_16);
+ StorageDead(_9);
+ StorageDead(_13);
+ StorageDead(_12);
Expand Down
109 changes: 55 additions & 54 deletions tests/mir-opt/inline/inline_into_box_place.main.Inline.panic-unwind.diff
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,38 +31,38 @@
+ let mut _13: &std::alloc::Global;
+ scope 8 {
+ debug ptr => _11;
+ scope 18 (inlined NonNull::<[u8]>::as_mut_ptr) {
+ scope 17 (inlined NonNull::<[u8]>::as_mut_ptr) {
+ debug self => _11;
+ let mut _15: std::ptr::NonNull<u8>;
+ scope 19 (inlined NonNull::<[u8]>::as_non_null_ptr) {
+ let mut _16: std::ptr::NonNull<u8>;
+ scope 18 (inlined NonNull::<[u8]>::as_non_null_ptr) {
+ debug self => _11;
+ let mut _16: *mut u8;
+ let mut _17: *mut [u8];
+ scope 20 {
+ scope 21 (inlined NonNull::<[u8]>::as_ptr) {
+ let mut _17: *mut u8;
+ let mut _18: *mut [u8];
+ scope 19 {
+ scope 20 (inlined NonNull::<[u8]>::as_ptr) {
+ debug self => _11;
+ let mut _18: *const [u8];
+ let mut _19: *const [u8];
+ }
+ scope 22 (inlined ptr::mut_ptr::<impl *mut [u8]>::as_mut_ptr) {
+ debug self => _17;
+ scope 21 (inlined ptr::mut_ptr::<impl *mut [u8]>::as_mut_ptr) {
+ debug self => _18;
+ }
+ scope 23 (inlined NonNull::<u8>::new_unchecked) {
+ debug ptr => _16;
+ let mut _19: *const u8;
+ scope 24 {
+ scope 25 (inlined NonNull::<T>::new_unchecked::runtime::<u8>) {
+ debug ptr => _16;
+ scope 26 (inlined ptr::mut_ptr::<impl *mut u8>::is_null) {
+ debug self => _16;
+ let mut _20: *mut u8;
+ scope 27 {
+ scope 28 (inlined ptr::mut_ptr::<impl *mut T>::is_null::runtime_impl) {
+ debug ptr => _20;
+ scope 29 (inlined ptr::mut_ptr::<impl *mut u8>::addr) {
+ debug self => _20;
+ scope 30 {
+ scope 31 (inlined ptr::mut_ptr::<impl *mut u8>::cast::<()>) {
+ debug self => _20;
+ scope 22 (inlined NonNull::<u8>::new_unchecked) {
+ debug ptr => _17;
+ let mut _20: *const u8;
+ scope 23 {
+ scope 24 (inlined NonNull::<T>::new_unchecked::runtime::<u8>) {
+ debug ptr => _17;
+ scope 25 (inlined ptr::mut_ptr::<impl *mut u8>::is_null) {
+ debug self => _17;
+ let mut _21: *mut u8;
+ scope 26 {
+ scope 27 (inlined ptr::mut_ptr::<impl *mut T>::is_null::runtime_impl) {
+ debug ptr => _21;
+ scope 28 (inlined ptr::mut_ptr::<impl *mut u8>::addr) {
+ debug self => _21;
+ scope 29 {
+ scope 30 (inlined ptr::mut_ptr::<impl *mut u8>::cast::<()>) {
+ debug self => _21;
+ }
+ }
+ }
Expand All @@ -74,13 +74,13 @@
+ }
+ }
+ }
+ scope 32 (inlined NonNull::<u8>::as_ptr) {
+ debug self => _15;
+ let mut _21: *const u8;
+ scope 31 (inlined NonNull::<u8>::as_ptr) {
+ debug self => _16;
+ let mut _22: *const u8;
+ }
+ }
+ }
+ scope 17 (inlined <std::alloc::Global as Allocator>::allocate) {
+ scope 16 (inlined <std::alloc::Global as Allocator>::allocate) {
+ debug self => const _;
+ debug layout => _8;
+ }
Expand All @@ -93,18 +93,17 @@
+ scope 10 {
+ scope 11 (inlined std::ptr::Alignment::new_unchecked) {
+ debug align => _5;
+ let mut _15: &[&str];
+ scope 12 {
+ scope 14 (inlined std::ptr::Alignment::new_unchecked::runtime) {
+ debug align => _5;
+ scope 15 (inlined core::num::<impl usize>::is_power_of_two) {
+ debug self => _5;
+ scope 16 (inlined core::num::<impl usize>::count_ones) {
+ debug self => _5;
+ }
+ }
+ }
+ scope 13 (inlined core::num::<impl usize>::is_power_of_two) {
+ debug self => _5;
+ scope 14 (inlined core::num::<impl usize>::count_ones) {
+ debug self => _5;
+ }
+ }
+ scope 13 {
+ scope 15 (inlined Arguments::<'_>::new_const) {
+ debug pieces => _15;
+ }
+ }
+ }
Expand Down Expand Up @@ -134,7 +133,9 @@
+ StorageLive(_12);
+ StorageLive(_13);
+ StorageLive(_14);
+ StorageLive(_15);
+ _14 = _5 as std::ptr::Alignment (Transmute);
+ StorageDead(_15);
+ _8 = Layout { size: _4, align: move _14 };
+ StorageDead(_14);
+ StorageLive(_9);
Expand Down Expand Up @@ -175,27 +176,27 @@
+
+ bb6: {
+ _11 = ((_9 as Ok).0: std::ptr::NonNull<[u8]>);
+ StorageLive(_15);
+ StorageLive(_16);
+ StorageLive(_17);
+ StorageLive(_18);
+ _18 = (_11.0: *const [u8]);
+ _17 = move _18 as *mut [u8] (PtrToPtr);
+ StorageDead(_18);
+ _16 = _17 as *mut u8 (PtrToPtr);
+ StorageDead(_17);
+ StorageLive(_19);
+ StorageLive(_20);
+ _19 = _16 as *const u8 (PointerCoercion(MutToConstPointer));
+ _15 = NonNull::<u8> { pointer: _19 };
+ StorageDead(_20);
+ _19 = (_11.0: *const [u8]);
+ _18 = move _19 as *mut [u8] (PtrToPtr);
+ StorageDead(_19);
+ StorageDead(_16);
+ _17 = _18 as *mut u8 (PtrToPtr);
+ StorageDead(_18);
+ StorageLive(_20);
+ StorageLive(_21);
+ _21 = (_15.0: *const u8);
+ _6 = move _21 as *mut u8 (PtrToPtr);
+ _20 = _17 as *const u8 (PointerCoercion(MutToConstPointer));
+ _16 = NonNull::<u8> { pointer: _20 };
+ StorageDead(_21);
+ StorageDead(_15);
+ StorageDead(_20);
+ StorageDead(_17);
+ StorageLive(_22);
+ _22 = (_16.0: *const u8);
+ _6 = move _22 as *mut u8 (PtrToPtr);
+ StorageDead(_22);
+ StorageDead(_16);
+ StorageDead(_9);
+ StorageDead(_13);
+ StorageDead(_12);
Expand Down
Loading

0 comments on commit 5732e4f

Please sign in to comment.