Update the tests after the change to copy_prop in #143624

Author: ohadravid

tests/mir-opt/copy-prop/borrowed_local.borrow_in_loop.CopyProp.panic-abort.diff

@@ -43,12 +43,12 @@
       }
 
       bb1: {
--         StorageLive(_6);
+          StorageLive(_6);
           StorageLive(_7);
           _7 = copy (*_2);
           _6 = Not(move _7);
           StorageDead(_7);
--         StorageLive(_8);
+          StorageLive(_8);
           StorageLive(_9);
           _9 = copy (*_2);
           _8 = Not(move _9);
@@ -80,8 +80,8 @@
 -         StorageDead(_14);
           _0 = const ();
           StorageDead(_13);
--         StorageDead(_8);
--         StorageDead(_6);
+          StorageDead(_8);
+          StorageDead(_6);
 -         StorageDead(_4);
           StorageDead(_2);
           StorageDead(_1);
@@ -93,8 +93,8 @@
 -         StorageDead(_14);
 -         _5 = const ();
           StorageDead(_13);
--         StorageDead(_8);
--         StorageDead(_6);
+          StorageDead(_8);
+          StorageDead(_6);
           goto -> bb1;
       }
   }

tests/mir-opt/copy-prop/borrowed_local.borrow_in_loop.CopyProp.panic-unwind.diff

@@ -43,12 +43,12 @@
       }
 
       bb1: {
--         StorageLive(_6);
+          StorageLive(_6);
           StorageLive(_7);
           _7 = copy (*_2);
           _6 = Not(move _7);
           StorageDead(_7);
--         StorageLive(_8);
+          StorageLive(_8);
           StorageLive(_9);
           _9 = copy (*_2);
           _8 = Not(move _9);
@@ -80,8 +80,8 @@
 -         StorageDead(_14);
           _0 = const ();
           StorageDead(_13);
--         StorageDead(_8);
--         StorageDead(_6);
+          StorageDead(_8);
+          StorageDead(_6);
 -         StorageDead(_4);
           StorageDead(_2);
           StorageDead(_1);
@@ -93,8 +93,8 @@
 -         StorageDead(_14);
 -         _5 = const ();
           StorageDead(_13);
--         StorageDead(_8);
--         StorageDead(_6);
+          StorageDead(_8);
+          StorageDead(_6);
           goto -> bb1;
       }
   }

tests/mir-opt/copy-prop/copy_prop_storage_removed_when_local_borrowed.f.CopyProp.diff

@@ -8,12 +8,11 @@
       let mut _4: &T;
 
       bb0: {
--         StorageLive(_2);
+          StorageLive(_2);
           _2 = copy (_1.0: T);
--         _3 = copy _2;
--         _4 = &_3;
--         StorageDead(_2);
-+         _4 = &_2;
+          _3 = copy _2;
+          _4 = &_3;
+          StorageDead(_2);
           _0 = copy (*_4);
           return;
       }

tests/mir-opt/copy-prop/copy_prop_storage_removed_when_local_borrowed.rs

@@ -18,9 +18,12 @@ pub fn f<T: Copy + Freeze>(_1: (T, T)) -> T {
         let _4: &T;
         // CHECK: bb0: {
         {
-            // CHECK-NOT: StorageLive(_2);
-            // CHECK: _4 = &_2;
-            // CHECK-NOT: StorageDead(_2);
+            // FIXME: Currently, copy propagation will not unify borrowed locals.
+            // If it does, the storage statements for `_2` should be remove
+            // so these checks will need to be updated.
+            // CHECK: StorageLive(_2);
+            // CHECK: _4 = &_3;
+            // CHECK: StorageDead(_2);
             StorageLive(_2);
             _2 = _1.0;
             _3 = _2;

tests/mir-opt/pre-codegen/slice_filter.variant_a-{closure#0}.PreCodegen.after.mir

@@ -68,10 +68,14 @@ fn variant_a::{closure#0}(_1: &mut {closure@$DIR/slice_filter.rs:7:25: 7:39}, _2
     }
 
     bb0: {
+        StorageLive(_4);
         _3 = copy (*_2);
         _4 = &((*_3).0: usize);
+        StorageLive(_5);
         _5 = &((*_3).1: usize);
+        StorageLive(_6);
         _6 = &((*_3).2: usize);
+        StorageLive(_7);
         _7 = &((*_3).3: usize);
         StorageLive(_13);
         StorageLive(_8);
@@ -180,6 +184,10 @@ fn variant_a::{closure#0}(_1: &mut {closure@$DIR/slice_filter.rs:7:25: 7:39}, _2
     bb9: {
         StorageDead(_19);
         StorageDead(_13);
+        StorageDead(_7);
+        StorageDead(_6);
+        StorageDead(_5);
+        StorageDead(_4);
         return;
     }
 }