dse: Eliminate dead assignment statements when debuginfo is not set to full

Author: dianqk

compiler/rustc_mir_transform/src/dead_store_elimination.rs

@@ -21,6 +21,7 @@ use rustc_mir_dataflow::impls::{
     borrowed_locals, LivenessTransferFunction, MaybeTransitiveLiveLocals,
 };
 use rustc_mir_dataflow::Analysis;
+use rustc_session::config::DebugInfo;
 
 use crate::util::is_within_packed;
 
@@ -31,10 +32,15 @@ use crate::util::is_within_packed;
 pub fn eliminate<'tcx>(tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {
     let borrowed_locals = borrowed_locals(body);
 
-    // If the user requests complete debuginfo, mark the locals that appear in it as live, so
-    // we don't remove assignements to them.
-    let mut always_live = debuginfo_locals(body);
-    always_live.union(&borrowed_locals);
+    let always_live = if tcx.sess.opts.debuginfo == DebugInfo::Full {
+        // If the user requests complete debuginfo, mark the locals that appear in it as live, so
+        // we don't remove assignements to them.
+        let mut always_live = debuginfo_locals(body);
+        always_live.union(&borrowed_locals);
+        always_live
+    } else {
+        borrowed_locals.clone()
+    };
 
     let mut live = MaybeTransitiveLiveLocals::new(&always_live)
         .into_engine(tcx, body)

tests/mir-opt/issue_101973.inner.GVN.panic-abort.diff

@@ -30,7 +30,6 @@
           StorageLive(_4);
           StorageLive(_5);
           _5 = copy _1;
-          nop;
 -         StorageLive(_14);
 -         _14 = BitAnd(copy _5, const 255_u32);
 -         _4 = BitOr(const 0_u32, move _14);

tests/mir-opt/issue_101973.inner.GVN.panic-unwind.diff

@@ -30,7 +30,6 @@
           StorageLive(_4);
           StorageLive(_5);
           _5 = copy _1;
-          nop;
 -         StorageLive(_14);
 -         _14 = BitAnd(copy _5, const 255_u32);
 -         _4 = BitOr(const 0_u32, move _14);

tests/mir-opt/issue_76432.test.SimplifyComparisonIntegral.panic-abort.diff

@@ -38,11 +38,8 @@
 
       bb2: {
           StorageLive(_7);
-          _7 = &(*_2)[0 of 3];
           StorageLive(_8);
-          _8 = &(*_2)[1 of 3];
           StorageLive(_9);
-          _9 = &(*_2)[2 of 3];
           StorageDead(_9);
           StorageDead(_8);
           StorageDead(_7);

tests/mir-opt/issue_76432.test.SimplifyComparisonIntegral.panic-unwind.diff

@@ -38,11 +38,8 @@
 
       bb2: {
           StorageLive(_7);
-          _7 = &(*_2)[0 of 3];
           StorageLive(_8);
-          _8 = &(*_2)[1 of 3];
           StorageLive(_9);
-          _9 = &(*_2)[2 of 3];
           StorageDead(_9);
           StorageDead(_8);
           StorageDead(_7);

tests/mir-opt/pre-codegen/issue_117368_print_invalid_constant.main.GVN.32bit.panic-abort.diff

@@ -98,20 +98,16 @@
       }
 
       bb6: {
-          _5 = move ((_6 as Ok).0: std::ptr::NonNull<[u8]>);
+          nop;
           StorageDead(_16);
           StorageDead(_12);
           StorageDead(_6);
--         StorageLive(_17);
-+         nop;
-          _17 = copy (_5.0: *const [u8]);
--         _4 = move _17 as *mut [u8] (PtrToPtr);
--         StorageDead(_17);
-+         _4 = copy _17 as *mut [u8] (PtrToPtr);
-+         nop;
+          StorageLive(_17);
+          nop;
+          nop;
+          StorageDead(_17);
           StorageDead(_5);
--         _3 = move _4 as *mut u8 (PtrToPtr);
-+         _3 = copy _17 as *mut u8 (PtrToPtr);
+          nop;
           StorageDead(_4);
           StorageDead(_3);
 -         StorageDead(_1);

tests/mir-opt/pre-codegen/issue_117368_print_invalid_constant.main.GVN.32bit.panic-unwind.diff

@@ -45,16 +45,12 @@
 
       bb1: {
           StorageDead(_6);
--         StorageLive(_12);
-+         nop;
-          _12 = copy (_5.0: *const [u8]);
--         _4 = move _12 as *mut [u8] (PtrToPtr);
--         StorageDead(_12);
-+         _4 = copy _12 as *mut [u8] (PtrToPtr);
-+         nop;
+          StorageLive(_12);
+          nop;
+          nop;
+          StorageDead(_12);
           StorageDead(_5);
--         _3 = move _4 as *mut u8 (PtrToPtr);
-+         _3 = copy _12 as *mut u8 (PtrToPtr);
+          nop;
           StorageDead(_4);
           StorageDead(_3);
 -         StorageDead(_1);

tests/mir-opt/pre-codegen/issue_117368_print_invalid_constant.main.GVN.64bit.panic-abort.diff

@@ -98,20 +98,16 @@
       }
 
       bb6: {
-          _5 = move ((_6 as Ok).0: std::ptr::NonNull<[u8]>);
+          nop;
           StorageDead(_16);
           StorageDead(_12);
           StorageDead(_6);
--         StorageLive(_17);
-+         nop;
-          _17 = copy (_5.0: *const [u8]);
--         _4 = move _17 as *mut [u8] (PtrToPtr);
--         StorageDead(_17);
-+         _4 = copy _17 as *mut [u8] (PtrToPtr);
-+         nop;
+          StorageLive(_17);
+          nop;
+          nop;
+          StorageDead(_17);
           StorageDead(_5);
--         _3 = move _4 as *mut u8 (PtrToPtr);
-+         _3 = copy _17 as *mut u8 (PtrToPtr);
+          nop;
           StorageDead(_4);
           StorageDead(_3);
 -         StorageDead(_1);

tests/mir-opt/pre-codegen/issue_117368_print_invalid_constant.main.GVN.64bit.panic-unwind.diff

@@ -45,16 +45,12 @@
 
       bb1: {
           StorageDead(_6);
--         StorageLive(_12);
-+         nop;
-          _12 = copy (_5.0: *const [u8]);
--         _4 = move _12 as *mut [u8] (PtrToPtr);
--         StorageDead(_12);
-+         _4 = copy _12 as *mut [u8] (PtrToPtr);
-+         nop;
+          StorageLive(_12);
+          nop;
+          nop;
+          StorageDead(_12);
           StorageDead(_5);
--         _3 = move _4 as *mut u8 (PtrToPtr);
-+         _3 = copy _12 as *mut u8 (PtrToPtr);
+          nop;
           StorageDead(_4);
           StorageDead(_3);
 -         StorageDead(_1);