diff options
Diffstat (limited to 'tests/mir-opt/pre-codegen')
2 files changed, 36 insertions, 52 deletions
diff --git a/tests/mir-opt/pre-codegen/slice_iter.slice_iter_generic_is_empty.PreCodegen.after.panic-abort.mir b/tests/mir-opt/pre-codegen/slice_iter.slice_iter_generic_is_empty.PreCodegen.after.panic-abort.mir index 5988a0a03ef..19548beaf2a 100644 --- a/tests/mir-opt/pre-codegen/slice_iter.slice_iter_generic_is_empty.PreCodegen.after.panic-abort.mir +++ b/tests/mir-opt/pre-codegen/slice_iter.slice_iter_generic_is_empty.PreCodegen.after.panic-abort.mir @@ -6,27 +6,25 @@ fn slice_iter_generic_is_empty(_1: &std::slice::Iter<'_, T>) -> bool { scope 1 (inlined <std::slice::Iter<'_, T> as ExactSizeIterator>::is_empty) { let mut _2: *const *const T; let mut _3: *const std::ptr::NonNull<T>; - let mut _10: *const T; + let mut _8: *const T; scope 2 { let _4: std::ptr::NonNull<T>; - let _12: usize; + let _10: usize; scope 3 { } scope 4 { scope 8 (inlined <NonNull<T> as PartialEq>::eq) { let mut _5: std::ptr::NonNull<T>; - let mut _7: *mut T; - let mut _9: *mut T; scope 9 (inlined NonNull::<T>::as_ptr) { let mut _6: *const T; } scope 10 (inlined NonNull::<T>::as_ptr) { - let mut _8: *const T; + let mut _7: *const T; } } } scope 5 (inlined std::ptr::const_ptr::<impl *const T>::addr) { - let mut _11: *const (); + let mut _9: *const (); scope 6 (inlined std::ptr::const_ptr::<impl *const T>::cast::<()>) { } } @@ -36,7 +34,7 @@ fn slice_iter_generic_is_empty(_1: &std::slice::Iter<'_, T>) -> bool { } bb0: { - StorageLive(_12); + StorageLive(_10); StorageLive(_4); switchInt(const <T as std::mem::SizedTypeProperties>::IS_ZST) -> [0: bb1, otherwise: bb2]; } @@ -49,40 +47,34 @@ fn slice_iter_generic_is_empty(_1: &std::slice::Iter<'_, T>) -> bool { StorageDead(_2); _4 = (*_3); StorageDead(_3); + StorageLive(_6); StorageLive(_7); StorageLive(_5); _5 = ((*_1).0: std::ptr::NonNull<T>); - StorageLive(_6); _6 = (_5.0: *const T); - _7 = move _6 as *mut T (PtrToPtr); - StorageDead(_6); StorageDead(_5); - StorageLive(_9); - StorageLive(_8); - _8 = (_4.0: *const T); - _9 = move _8 as *mut T (PtrToPtr); - StorageDead(_8); - _0 = Eq(move _7, move _9); - StorageDead(_9); + _7 = (_4.0: *const T); + _0 = Eq(_6, _7); StorageDead(_7); + StorageDead(_6); goto -> bb3; } bb2: { - StorageLive(_10); - _10 = ((*_1).1: *const T); - StorageLive(_11); - _11 = _10 as *const () (PtrToPtr); - _12 = move _11 as usize (Transmute); - StorageDead(_11); - StorageDead(_10); - _0 = Eq(_12, const 0_usize); + StorageLive(_8); + _8 = ((*_1).1: *const T); + StorageLive(_9); + _9 = _8 as *const () (PtrToPtr); + _10 = move _9 as usize (Transmute); + StorageDead(_9); + StorageDead(_8); + _0 = Eq(_10, const 0_usize); goto -> bb3; } bb3: { StorageDead(_4); - StorageDead(_12); + StorageDead(_10); return; } } diff --git a/tests/mir-opt/pre-codegen/slice_iter.slice_iter_generic_is_empty.PreCodegen.after.panic-unwind.mir b/tests/mir-opt/pre-codegen/slice_iter.slice_iter_generic_is_empty.PreCodegen.after.panic-unwind.mir index 5988a0a03ef..19548beaf2a 100644 --- a/tests/mir-opt/pre-codegen/slice_iter.slice_iter_generic_is_empty.PreCodegen.after.panic-unwind.mir +++ b/tests/mir-opt/pre-codegen/slice_iter.slice_iter_generic_is_empty.PreCodegen.after.panic-unwind.mir @@ -6,27 +6,25 @@ fn slice_iter_generic_is_empty(_1: &std::slice::Iter<'_, T>) -> bool { scope 1 (inlined <std::slice::Iter<'_, T> as ExactSizeIterator>::is_empty) { let mut _2: *const *const T; let mut _3: *const std::ptr::NonNull<T>; - let mut _10: *const T; + let mut _8: *const T; scope 2 { let _4: std::ptr::NonNull<T>; - let _12: usize; + let _10: usize; scope 3 { } scope 4 { scope 8 (inlined <NonNull<T> as PartialEq>::eq) { let mut _5: std::ptr::NonNull<T>; - let mut _7: *mut T; - let mut _9: *mut T; scope 9 (inlined NonNull::<T>::as_ptr) { let mut _6: *const T; } scope 10 (inlined NonNull::<T>::as_ptr) { - let mut _8: *const T; + let mut _7: *const T; } } } scope 5 (inlined std::ptr::const_ptr::<impl *const T>::addr) { - let mut _11: *const (); + let mut _9: *const (); scope 6 (inlined std::ptr::const_ptr::<impl *const T>::cast::<()>) { } } @@ -36,7 +34,7 @@ fn slice_iter_generic_is_empty(_1: &std::slice::Iter<'_, T>) -> bool { } bb0: { - StorageLive(_12); + StorageLive(_10); StorageLive(_4); switchInt(const <T as std::mem::SizedTypeProperties>::IS_ZST) -> [0: bb1, otherwise: bb2]; } @@ -49,40 +47,34 @@ fn slice_iter_generic_is_empty(_1: &std::slice::Iter<'_, T>) -> bool { StorageDead(_2); _4 = (*_3); StorageDead(_3); + StorageLive(_6); StorageLive(_7); StorageLive(_5); _5 = ((*_1).0: std::ptr::NonNull<T>); - StorageLive(_6); _6 = (_5.0: *const T); - _7 = move _6 as *mut T (PtrToPtr); - StorageDead(_6); StorageDead(_5); - StorageLive(_9); - StorageLive(_8); - _8 = (_4.0: *const T); - _9 = move _8 as *mut T (PtrToPtr); - StorageDead(_8); - _0 = Eq(move _7, move _9); - StorageDead(_9); + _7 = (_4.0: *const T); + _0 = Eq(_6, _7); StorageDead(_7); + StorageDead(_6); goto -> bb3; } bb2: { - StorageLive(_10); - _10 = ((*_1).1: *const T); - StorageLive(_11); - _11 = _10 as *const () (PtrToPtr); - _12 = move _11 as usize (Transmute); - StorageDead(_11); - StorageDead(_10); - _0 = Eq(_12, const 0_usize); + StorageLive(_8); + _8 = ((*_1).1: *const T); + StorageLive(_9); + _9 = _8 as *const () (PtrToPtr); + _10 = move _9 as usize (Transmute); + StorageDead(_9); + StorageDead(_8); + _0 = Eq(_10, const 0_usize); goto -> bb3; } bb3: { StorageDead(_4); - StorageDead(_12); + StorageDead(_10); return; } } |