Bless mir-opt tests

saethlin · saethlin · commit 128ccc3c26a8 · 2024-10-07T11:18:37.000-04:00
diff --git a/tests/mir-opt/pre-codegen/ptr_offset.demo_byte_add_fat.PreCodegen.after.panic-abort.mir b/tests/mir-opt/pre-codegen/ptr_offset.demo_byte_add_fat.PreCodegen.after.panic-abort.mir
@@ -10,18 +10,12 @@ fn demo_byte_add_fat(_1: *const [u32], _2: usize) -> *const [u32] {
         scope 2 (inlined std::ptr::const_ptr::<impl *const [u32]>::cast::<u8>) {
         }
         scope 3 (inlined std::ptr::const_ptr::<impl *const u8>::add) {
-            scope 4 (inlined core::ub_checks::check_language_ub) {
-                scope 5 (inlined core::ub_checks::check_language_ub::runtime) {
-                }
-            }
-            scope 6 (inlined std::mem::size_of::<u8>) {
-            }
         }
-        scope 7 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<[u32]>) {
+        scope 4 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<[u32]>) {
             let mut _5: usize;
-            scope 8 (inlined std::ptr::metadata::<[u32]>) {
+            scope 5 (inlined std::ptr::metadata::<[u32]>) {
             }
-            scope 9 (inlined std::ptr::from_raw_parts::<[u32], ()>) {
+            scope 6 (inlined std::ptr::from_raw_parts::<[u32], ()>) {
             }
         }
     }
diff --git a/tests/mir-opt/pre-codegen/ptr_offset.demo_byte_add_fat.PreCodegen.after.panic-unwind.mir b/tests/mir-opt/pre-codegen/ptr_offset.demo_byte_add_fat.PreCodegen.after.panic-unwind.mir
@@ -10,18 +10,12 @@ fn demo_byte_add_fat(_1: *const [u32], _2: usize) -> *const [u32] {
         scope 2 (inlined std::ptr::const_ptr::<impl *const [u32]>::cast::<u8>) {
         }
         scope 3 (inlined std::ptr::const_ptr::<impl *const u8>::add) {
-            scope 4 (inlined core::ub_checks::check_language_ub) {
-                scope 5 (inlined core::ub_checks::check_language_ub::runtime) {
-                }
-            }
-            scope 6 (inlined std::mem::size_of::<u8>) {
-            }
         }
-        scope 7 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<[u32]>) {
+        scope 4 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<[u32]>) {
             let mut _5: usize;
-            scope 8 (inlined std::ptr::metadata::<[u32]>) {
+            scope 5 (inlined std::ptr::metadata::<[u32]>) {
             }
-            scope 9 (inlined std::ptr::from_raw_parts::<[u32], ()>) {
+            scope 6 (inlined std::ptr::from_raw_parts::<[u32], ()>) {
             }
         }
     }
diff --git a/tests/mir-opt/pre-codegen/ptr_offset.demo_byte_add_thin.PreCodegen.after.panic-abort.mir b/tests/mir-opt/pre-codegen/ptr_offset.demo_byte_add_thin.PreCodegen.after.panic-abort.mir
@@ -10,17 +10,11 @@ fn demo_byte_add_thin(_1: *const u32, _2: usize) -> *const u32 {
         scope 2 (inlined std::ptr::const_ptr::<impl *const u32>::cast::<u8>) {
         }
         scope 3 (inlined std::ptr::const_ptr::<impl *const u8>::add) {
-            scope 4 (inlined core::ub_checks::check_language_ub) {
-                scope 5 (inlined core::ub_checks::check_language_ub::runtime) {
-                }
-            }
-            scope 6 (inlined std::mem::size_of::<u8>) {
-            }
         }
-        scope 7 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<u32>) {
-            scope 8 (inlined std::ptr::metadata::<u32>) {
+        scope 4 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<u32>) {
+            scope 5 (inlined std::ptr::metadata::<u32>) {
             }
-            scope 9 (inlined std::ptr::from_raw_parts::<u32, ()>) {
+            scope 6 (inlined std::ptr::from_raw_parts::<u32, ()>) {
             }
         }
     }
diff --git a/tests/mir-opt/pre-codegen/ptr_offset.demo_byte_add_thin.PreCodegen.after.panic-unwind.mir b/tests/mir-opt/pre-codegen/ptr_offset.demo_byte_add_thin.PreCodegen.after.panic-unwind.mir
@@ -10,17 +10,11 @@ fn demo_byte_add_thin(_1: *const u32, _2: usize) -> *const u32 {
         scope 2 (inlined std::ptr::const_ptr::<impl *const u32>::cast::<u8>) {
         }
         scope 3 (inlined std::ptr::const_ptr::<impl *const u8>::add) {
-            scope 4 (inlined core::ub_checks::check_language_ub) {
-                scope 5 (inlined core::ub_checks::check_language_ub::runtime) {
-                }
-            }
-            scope 6 (inlined std::mem::size_of::<u8>) {
-            }
         }
-        scope 7 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<u32>) {
-            scope 8 (inlined std::ptr::metadata::<u32>) {
+        scope 4 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<u32>) {
+            scope 5 (inlined std::ptr::metadata::<u32>) {
             }
-            scope 9 (inlined std::ptr::from_raw_parts::<u32, ()>) {
+            scope 6 (inlined std::ptr::from_raw_parts::<u32, ()>) {
             }
         }
     }
diff --git a/tests/mir-opt/pre-codegen/slice_iter.enumerated_loop.PreCodegen.after.panic-abort.mir b/tests/mir-opt/pre-codegen/slice_iter.enumerated_loop.PreCodegen.after.panic-abort.mir
@@ -19,30 +19,30 @@ fn enumerated_loop(_1: &[T], _2: impl Fn(usize, &T)) -> () {
             debug i => _22;
             debug x => _23;
         }
-        scope 20 (inlined <Enumerate<std::slice::Iter<'_, T>> as Iterator>::next) {
+        scope 17 (inlined <Enumerate<std::slice::Iter<'_, T>> as Iterator>::next) {
             let mut _14: &mut std::slice::Iter<'_, T>;
             let mut _15: std::option::Option<&T>;
             let mut _19: (usize, bool);
             let mut _20: (usize, &T);
-            scope 21 {
+            scope 18 {
                 let _18: usize;
-                scope 26 {
+                scope 23 {
                 }
             }
-            scope 22 {
-                scope 23 {
-                    scope 29 (inlined <Option<(usize, &T)> as FromResidual<Option<Infallible>>>::from_residual) {
+            scope 19 {
+                scope 20 {
+                    scope 26 (inlined <Option<(usize, &T)> as FromResidual<Option<Infallible>>>::from_residual) {
                     }
                 }
             }
-            scope 24 {
-                scope 25 {
+            scope 21 {
+                scope 22 {
                 }
             }
-            scope 27 (inlined <Option<&T> as Try>::branch) {
+            scope 24 (inlined <Option<&T> as Try>::branch) {
                 let mut _16: isize;
                 let _17: &T;
-                scope 28 {
+                scope 25 {
                 }
             }
         }
@@ -64,12 +64,6 @@ fn enumerated_loop(_1: &[T], _2: impl Fn(usize, &T)) -> () {
                     scope 12 (inlined NonNull::<T>::as_ptr) {
                     }
                     scope 13 (inlined std::ptr::mut_ptr::<impl *mut T>::add) {
-                        scope 14 (inlined core::ub_checks::check_language_ub) {
-                            scope 15 (inlined core::ub_checks::check_language_ub::runtime) {
-                            }
-                        }
-                        scope 16 (inlined std::mem::size_of::<T>) {
-                        }
                     }
                 }
                 scope 8 (inlined <NonNull<[T]> as From<&[T]>>::from) {
@@ -83,11 +77,11 @@ fn enumerated_loop(_1: &[T], _2: impl Fn(usize, &T)) -> () {
             }
         }
     }
-    scope 17 (inlined <std::slice::Iter<'_, T> as Iterator>::enumerate) {
-        scope 18 (inlined Enumerate::<std::slice::Iter<'_, T>>::new) {
+    scope 14 (inlined <std::slice::Iter<'_, T> as Iterator>::enumerate) {
+        scope 15 (inlined Enumerate::<std::slice::Iter<'_, T>>::new) {
         }
     }
-    scope 19 (inlined <Enumerate<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {
+    scope 16 (inlined <Enumerate<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {
     }
 
     bb0: {
diff --git a/tests/mir-opt/pre-codegen/slice_iter.enumerated_loop.PreCodegen.after.panic-unwind.mir b/tests/mir-opt/pre-codegen/slice_iter.enumerated_loop.PreCodegen.after.panic-unwind.mir
@@ -39,12 +39,6 @@ fn enumerated_loop(_1: &[T], _2: impl Fn(usize, &T)) -> () {
                     scope 12 (inlined NonNull::<T>::as_ptr) {
                     }
                     scope 13 (inlined std::ptr::mut_ptr::<impl *mut T>::add) {
-                        scope 14 (inlined core::ub_checks::check_language_ub) {
-                            scope 15 (inlined core::ub_checks::check_language_ub::runtime) {
-                            }
-                        }
-                        scope 16 (inlined std::mem::size_of::<T>) {
-                        }
                     }
                 }
                 scope 8 (inlined <NonNull<[T]> as From<&[T]>>::from) {
@@ -58,11 +52,11 @@ fn enumerated_loop(_1: &[T], _2: impl Fn(usize, &T)) -> () {
             }
         }
     }
-    scope 17 (inlined <std::slice::Iter<'_, T> as Iterator>::enumerate) {
-        scope 18 (inlined Enumerate::<std::slice::Iter<'_, T>>::new) {
+    scope 14 (inlined <std::slice::Iter<'_, T> as Iterator>::enumerate) {
+        scope 15 (inlined Enumerate::<std::slice::Iter<'_, T>>::new) {
         }
     }
-    scope 19 (inlined <Enumerate<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {
+    scope 16 (inlined <Enumerate<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {
     }
 
     bb0: {
diff --git a/tests/mir-opt/pre-codegen/slice_iter.forward_loop.PreCodegen.after.panic-abort.mir b/tests/mir-opt/pre-codegen/slice_iter.forward_loop.PreCodegen.after.panic-abort.mir
@@ -36,12 +36,6 @@ fn forward_loop(_1: &[T], _2: impl Fn(&T)) -> () {
                     scope 12 (inlined NonNull::<T>::as_ptr) {
                     }
                     scope 13 (inlined std::ptr::mut_ptr::<impl *mut T>::add) {
-                        scope 14 (inlined core::ub_checks::check_language_ub) {
-                            scope 15 (inlined core::ub_checks::check_language_ub::runtime) {
-                            }
-                        }
-                        scope 16 (inlined std::mem::size_of::<T>) {
-                        }
                     }
                 }
                 scope 8 (inlined <NonNull<[T]> as From<&[T]>>::from) {
@@ -55,7 +49,7 @@ fn forward_loop(_1: &[T], _2: impl Fn(&T)) -> () {
             }
         }
     }
-    scope 17 (inlined <std::slice::Iter<'_, T> as IntoIterator>::into_iter) {
+    scope 14 (inlined <std::slice::Iter<'_, T> as IntoIterator>::into_iter) {
     }
 
     bb0: {
diff --git a/tests/mir-opt/pre-codegen/slice_iter.forward_loop.PreCodegen.after.panic-unwind.mir b/tests/mir-opt/pre-codegen/slice_iter.forward_loop.PreCodegen.after.panic-unwind.mir
@@ -36,12 +36,6 @@ fn forward_loop(_1: &[T], _2: impl Fn(&T)) -> () {
                     scope 12 (inlined NonNull::<T>::as_ptr) {
                     }
                     scope 13 (inlined std::ptr::mut_ptr::<impl *mut T>::add) {
-                        scope 14 (inlined core::ub_checks::check_language_ub) {
-                            scope 15 (inlined core::ub_checks::check_language_ub::runtime) {
-                            }
-                        }
-                        scope 16 (inlined std::mem::size_of::<T>) {
-                        }
                     }
                 }
                 scope 8 (inlined <NonNull<[T]> as From<&[T]>>::from) {
@@ -55,7 +49,7 @@ fn forward_loop(_1: &[T], _2: impl Fn(&T)) -> () {
             }
         }
     }
-    scope 17 (inlined <std::slice::Iter<'_, T> as IntoIterator>::into_iter) {
+    scope 14 (inlined <std::slice::Iter<'_, T> as IntoIterator>::into_iter) {
     }
 
     bb0: {
diff --git a/tests/mir-opt/pre-codegen/slice_iter.reverse_loop.PreCodegen.after.panic-abort.mir b/tests/mir-opt/pre-codegen/slice_iter.reverse_loop.PreCodegen.after.panic-abort.mir
@@ -18,7 +18,7 @@ fn reverse_loop(_1: &[T], _2: impl Fn(&T)) -> () {
         scope 2 {
             debug x => _17;
         }
-        scope 20 (inlined <Rev<std::slice::Iter<'_, T>> as Iterator>::next) {
+        scope 17 (inlined <Rev<std::slice::Iter<'_, T>> as Iterator>::next) {
             let mut _14: &mut std::slice::Iter<'_, T>;
         }
     }
@@ -39,12 +39,6 @@ fn reverse_loop(_1: &[T], _2: impl Fn(&T)) -> () {
                     scope 12 (inlined NonNull::<T>::as_ptr) {
                     }
                     scope 13 (inlined std::ptr::mut_ptr::<impl *mut T>::add) {
-                        scope 14 (inlined core::ub_checks::check_language_ub) {
-                            scope 15 (inlined core::ub_checks::check_language_ub::runtime) {
-                            }
-                        }
-                        scope 16 (inlined std::mem::size_of::<T>) {
-                        }
                     }
                 }
                 scope 8 (inlined <NonNull<[T]> as From<&[T]>>::from) {
@@ -58,11 +52,11 @@ fn reverse_loop(_1: &[T], _2: impl Fn(&T)) -> () {
             }
         }
     }
-    scope 17 (inlined <std::slice::Iter<'_, T> as Iterator>::rev) {
-        scope 18 (inlined Rev::<std::slice::Iter<'_, T>>::new) {
+    scope 14 (inlined <std::slice::Iter<'_, T> as Iterator>::rev) {
+        scope 15 (inlined Rev::<std::slice::Iter<'_, T>>::new) {
         }
     }
-    scope 19 (inlined <Rev<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {
+    scope 16 (inlined <Rev<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {
     }
 
     bb0: {
diff --git a/tests/mir-opt/pre-codegen/slice_iter.reverse_loop.PreCodegen.after.panic-unwind.mir b/tests/mir-opt/pre-codegen/slice_iter.reverse_loop.PreCodegen.after.panic-unwind.mir
@@ -18,7 +18,7 @@ fn reverse_loop(_1: &[T], _2: impl Fn(&T)) -> () {
         scope 2 {
             debug x => _17;
         }
-        scope 20 (inlined <Rev<std::slice::Iter<'_, T>> as Iterator>::next) {
+        scope 17 (inlined <Rev<std::slice::Iter<'_, T>> as Iterator>::next) {
             let mut _14: &mut std::slice::Iter<'_, T>;
         }
     }
@@ -39,12 +39,6 @@ fn reverse_loop(_1: &[T], _2: impl Fn(&T)) -> () {
                     scope 12 (inlined NonNull::<T>::as_ptr) {
                     }
                     scope 13 (inlined std::ptr::mut_ptr::<impl *mut T>::add) {
-                        scope 14 (inlined core::ub_checks::check_language_ub) {
-                            scope 15 (inlined core::ub_checks::check_language_ub::runtime) {
-                            }
-                        }
-                        scope 16 (inlined std::mem::size_of::<T>) {
-                        }
                     }
                 }
                 scope 8 (inlined <NonNull<[T]> as From<&[T]>>::from) {
@@ -58,11 +52,11 @@ fn reverse_loop(_1: &[T], _2: impl Fn(&T)) -> () {
             }
         }
     }
-    scope 17 (inlined <std::slice::Iter<'_, T> as Iterator>::rev) {
-        scope 18 (inlined Rev::<std::slice::Iter<'_, T>>::new) {
+    scope 14 (inlined <std::slice::Iter<'_, T> as Iterator>::rev) {
+        scope 15 (inlined Rev::<std::slice::Iter<'_, T>>::new) {
         }
     }
-    scope 19 (inlined <Rev<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {
+    scope 16 (inlined <Rev<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {
     }
 
     bb0: {

Original file line number	Diff line number	Diff line change
`@@ -10,18 +10,12 @@ fn demo_byte_add_fat(_1: const [u32], _2: usize) -> const [u32] {`
`10`	`10`	`scope 2 (inlined std::ptr::const_ptr::<impl *const [u32]>::cast::<u8>) {`
`11`	`11`	`}`
`12`	`12`	`scope 3 (inlined std::ptr::const_ptr::<impl *const u8>::add) {`
`13`		`- scope 4 (inlined core::ub_checks::check_language_ub) {`
`14`		`- scope 5 (inlined core::ub_checks::check_language_ub::runtime) {`
`15`		`- }`
`16`		`- }`
`17`		`- scope 6 (inlined std::mem::size_of::<u8>) {`
`18`		`- }`
`19`	`13`	`}`
`20`		`- scope 7 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<[u32]>) {`
	`14`	`+ scope 4 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<[u32]>) {`
`21`	`15`	`let mut _5: usize;`
`22`		`- scope 8 (inlined std::ptr::metadata::<[u32]>) {`
	`16`	`+ scope 5 (inlined std::ptr::metadata::<[u32]>) {`
`23`	`17`	`}`
`24`		`- scope 9 (inlined std::ptr::from_raw_parts::<[u32], ()>) {`
	`18`	`+ scope 6 (inlined std::ptr::from_raw_parts::<[u32], ()>) {`
`25`	`19`	`}`
`26`	`20`	`}`
`27`	`21`	`}`
Original file line number	Diff line number	Diff line change
`@@ -10,17 +10,11 @@ fn demo_byte_add_thin(_1: const u32, _2: usize) -> const u32 {`
`10`	`10`	`scope 2 (inlined std::ptr::const_ptr::<impl *const u32>::cast::<u8>) {`
`11`	`11`	`}`
`12`	`12`	`scope 3 (inlined std::ptr::const_ptr::<impl *const u8>::add) {`
`13`		`- scope 4 (inlined core::ub_checks::check_language_ub) {`
`14`		`- scope 5 (inlined core::ub_checks::check_language_ub::runtime) {`
`15`		`- }`
`16`		`- }`
`17`		`- scope 6 (inlined std::mem::size_of::<u8>) {`
`18`		`- }`
`19`	`13`	`}`
`20`		`- scope 7 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<u32>) {`
`21`		`- scope 8 (inlined std::ptr::metadata::<u32>) {`
	`14`	`+ scope 4 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<u32>) {`
	`15`	`+ scope 5 (inlined std::ptr::metadata::<u32>) {`
`22`	`16`	`}`
`23`		`- scope 9 (inlined std::ptr::from_raw_parts::<u32, ()>) {`
	`17`	`+ scope 6 (inlined std::ptr::from_raw_parts::<u32, ()>) {`
`24`	`18`	`}`
`25`	`19`	`}`
`26`	`20`	`}`
Original file line number	Diff line number	Diff line change
`@@ -19,30 +19,30 @@ fn enumerated_loop(_1: &[T], _2: impl Fn(usize, &T)) -> () {`
`19`	`19`	`debug i => _22;`
`20`	`20`	`debug x => _23;`
`21`	`21`	`}`
`22`		`- scope 20 (inlined <Enumerate<std::slice::Iter<'_, T>> as Iterator>::next) {`
	`22`	`+ scope 17 (inlined <Enumerate<std::slice::Iter<'_, T>> as Iterator>::next) {`
`23`	`23`	`let mut _14: &mut std::slice::Iter<'_, T>;`
`24`	`24`	`let mut _15: std::option::Option<&T>;`
`25`	`25`	`let mut _19: (usize, bool);`
`26`	`26`	`let mut _20: (usize, &T);`
`27`		`- scope 21 {`
	`27`	`+ scope 18 {`
`28`	`28`	`let _18: usize;`
`29`		`- scope 26 {`
	`29`	`+ scope 23 {`
`30`	`30`	`}`
`31`	`31`	`}`
`32`		`- scope 22 {`
`33`		`- scope 23 {`
`34`		`- scope 29 (inlined <Option<(usize, &T)> as FromResidual<Option<Infallible>>>::from_residual) {`
	`32`	`+ scope 19 {`
	`33`	`+ scope 20 {`
	`34`	`+ scope 26 (inlined <Option<(usize, &T)> as FromResidual<Option<Infallible>>>::from_residual) {`
`35`	`35`	`}`
`36`	`36`	`}`
`37`	`37`	`}`
`38`		`- scope 24 {`
`39`		`- scope 25 {`
	`38`	`+ scope 21 {`
	`39`	`+ scope 22 {`
`40`	`40`	`}`
`41`	`41`	`}`
`42`		`- scope 27 (inlined <Option<&T> as Try>::branch) {`
	`42`	`+ scope 24 (inlined <Option<&T> as Try>::branch) {`
`43`	`43`	`let mut _16: isize;`
`44`	`44`	`let _17: &T;`
`45`		`- scope 28 {`
	`45`	`+ scope 25 {`
`46`	`46`	`}`
`47`	`47`	`}`
`48`	`48`	`}`
`@@ -64,12 +64,6 @@ fn enumerated_loop(_1: &[T], _2: impl Fn(usize, &T)) -> () {`
`64`	`64`	`scope 12 (inlined NonNull::<T>::as_ptr) {`
`65`	`65`	`}`
`66`	`66`	`scope 13 (inlined std::ptr::mut_ptr::<impl *mut T>::add) {`
`67`		`- scope 14 (inlined core::ub_checks::check_language_ub) {`
`68`		`- scope 15 (inlined core::ub_checks::check_language_ub::runtime) {`
`69`		`- }`
`70`		`- }`
`71`		`- scope 16 (inlined std::mem::size_of::<T>) {`
`72`		`- }`
`73`	`67`	`}`
`74`	`68`	`}`
`75`	`69`	`scope 8 (inlined <NonNull<[T]> as From<&[T]>>::from) {`
`@@ -83,11 +77,11 @@ fn enumerated_loop(_1: &[T], _2: impl Fn(usize, &T)) -> () {`
`83`	`77`	`}`
`84`	`78`	`}`
`85`	`79`	`}`
`86`		`- scope 17 (inlined <std::slice::Iter<'_, T> as Iterator>::enumerate) {`
`87`		`- scope 18 (inlined Enumerate::<std::slice::Iter<'_, T>>::new) {`
	`80`	`+ scope 14 (inlined <std::slice::Iter<'_, T> as Iterator>::enumerate) {`
	`81`	`+ scope 15 (inlined Enumerate::<std::slice::Iter<'_, T>>::new) {`
`88`	`82`	`}`
`89`	`83`	`}`
`90`		`- scope 19 (inlined <Enumerate<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {`
	`84`	`+ scope 16 (inlined <Enumerate<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {`
`91`	`85`	`}`
`92`	`86`
`93`	`87`	`bb0: {`
Original file line number	Diff line number	Diff line change
`@@ -39,12 +39,6 @@ fn enumerated_loop(_1: &[T], _2: impl Fn(usize, &T)) -> () {`
`39`	`39`	`scope 12 (inlined NonNull::<T>::as_ptr) {`
`40`	`40`	`}`
`41`	`41`	`scope 13 (inlined std::ptr::mut_ptr::<impl *mut T>::add) {`
`42`		`- scope 14 (inlined core::ub_checks::check_language_ub) {`
`43`		`- scope 15 (inlined core::ub_checks::check_language_ub::runtime) {`
`44`		`- }`
`45`		`- }`
`46`		`- scope 16 (inlined std::mem::size_of::<T>) {`
`47`		`- }`
`48`	`42`	`}`
`49`	`43`	`}`
`50`	`44`	`scope 8 (inlined <NonNull<[T]> as From<&[T]>>::from) {`
`@@ -58,11 +52,11 @@ fn enumerated_loop(_1: &[T], _2: impl Fn(usize, &T)) -> () {`
`58`	`52`	`}`
`59`	`53`	`}`
`60`	`54`	`}`
`61`		`- scope 17 (inlined <std::slice::Iter<'_, T> as Iterator>::enumerate) {`
`62`		`- scope 18 (inlined Enumerate::<std::slice::Iter<'_, T>>::new) {`
	`55`	`+ scope 14 (inlined <std::slice::Iter<'_, T> as Iterator>::enumerate) {`
	`56`	`+ scope 15 (inlined Enumerate::<std::slice::Iter<'_, T>>::new) {`
`63`	`57`	`}`
`64`	`58`	`}`
`65`		`- scope 19 (inlined <Enumerate<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {`
	`59`	`+ scope 16 (inlined <Enumerate<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {`
`66`	`60`	`}`
`67`	`61`
`68`	`62`	`bb0: {`
Original file line number	Diff line number	Diff line change
`@@ -36,12 +36,6 @@ fn forward_loop(_1: &[T], _2: impl Fn(&T)) -> () {`
`36`	`36`	`scope 12 (inlined NonNull::<T>::as_ptr) {`
`37`	`37`	`}`
`38`	`38`	`scope 13 (inlined std::ptr::mut_ptr::<impl *mut T>::add) {`
`39`		`- scope 14 (inlined core::ub_checks::check_language_ub) {`
`40`		`- scope 15 (inlined core::ub_checks::check_language_ub::runtime) {`
`41`		`- }`
`42`		`- }`
`43`		`- scope 16 (inlined std::mem::size_of::<T>) {`
`44`		`- }`
`45`	`39`	`}`
`46`	`40`	`}`
`47`	`41`	`scope 8 (inlined <NonNull<[T]> as From<&[T]>>::from) {`
`@@ -55,7 +49,7 @@ fn forward_loop(_1: &[T], _2: impl Fn(&T)) -> () {`
`55`	`49`	`}`
`56`	`50`	`}`
`57`	`51`	`}`
`58`		`- scope 17 (inlined <std::slice::Iter<'_, T> as IntoIterator>::into_iter) {`
	`52`	`+ scope 14 (inlined <std::slice::Iter<'_, T> as IntoIterator>::into_iter) {`
`59`	`53`	`}`
`60`	`54`
`61`	`55`	`bb0: {`
Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,7 @@ fn reverse_loop(_1: &[T], _2: impl Fn(&T)) -> () {`
`18`	`18`	`scope 2 {`
`19`	`19`	`debug x => _17;`
`20`	`20`	`}`
`21`		`- scope 20 (inlined <Rev<std::slice::Iter<'_, T>> as Iterator>::next) {`
	`21`	`+ scope 17 (inlined <Rev<std::slice::Iter<'_, T>> as Iterator>::next) {`
`22`	`22`	`let mut _14: &mut std::slice::Iter<'_, T>;`
`23`	`23`	`}`
`24`	`24`	`}`
`@@ -39,12 +39,6 @@ fn reverse_loop(_1: &[T], _2: impl Fn(&T)) -> () {`
`39`	`39`	`scope 12 (inlined NonNull::<T>::as_ptr) {`
`40`	`40`	`}`
`41`	`41`	`scope 13 (inlined std::ptr::mut_ptr::<impl *mut T>::add) {`
`42`		`- scope 14 (inlined core::ub_checks::check_language_ub) {`
`43`		`- scope 15 (inlined core::ub_checks::check_language_ub::runtime) {`
`44`		`- }`
`45`		`- }`
`46`		`- scope 16 (inlined std::mem::size_of::<T>) {`
`47`		`- }`
`48`	`42`	`}`
`49`	`43`	`}`
`50`	`44`	`scope 8 (inlined <NonNull<[T]> as From<&[T]>>::from) {`
`@@ -58,11 +52,11 @@ fn reverse_loop(_1: &[T], _2: impl Fn(&T)) -> () {`
`58`	`52`	`}`
`59`	`53`	`}`
`60`	`54`	`}`
`61`		`- scope 17 (inlined <std::slice::Iter<'_, T> as Iterator>::rev) {`
`62`		`- scope 18 (inlined Rev::<std::slice::Iter<'_, T>>::new) {`
	`55`	`+ scope 14 (inlined <std::slice::Iter<'_, T> as Iterator>::rev) {`
	`56`	`+ scope 15 (inlined Rev::<std::slice::Iter<'_, T>>::new) {`
`63`	`57`	`}`
`64`	`58`	`}`
`65`		`- scope 19 (inlined <Rev<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {`
	`59`	`+ scope 16 (inlined <Rev<std::slice::Iter<'_, T>> as IntoIterator>::into_iter) {`
`66`	`60`	`}`
`67`	`61`
`68`	`62`	`bb0: {`