From 109870df2c9cde6e342cd85b8d6a0d08fb3cf1df Mon Sep 17 00:00:00 2001
From: Shunpoco <tkngsnsk313320@gmail.com>
Date: Sat, 4 Jan 2025 11:19:48 +0000
Subject: [PATCH] Add FileCheck to dead_stores_79191.rs

---
 tests/mir-opt/copy-prop/dead_stores_79191.rs | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/tests/mir-opt/copy-prop/dead_stores_79191.rs b/tests/mir-opt/copy-prop/dead_stores_79191.rs
index 24420e19fa80..016680b9530a 100644
--- a/tests/mir-opt/copy-prop/dead_stores_79191.rs
+++ b/tests/mir-opt/copy-prop/dead_stores_79191.rs
@@ -1,4 +1,3 @@
-// skip-filecheck
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 //@ test-mir-pass: CopyProp
 
@@ -8,6 +7,14 @@ fn id<T>(x: T) -> T {
 
 // EMIT_MIR dead_stores_79191.f.CopyProp.after.mir
 fn f(mut a: usize) -> usize {
+    // CHECK-LABEL: fn f(
+    // CHECK: debug a => [[a:_.*]];
+    // CHECK: debug b => [[b:_.*]];
+    // CHECK: [[b]] = copy [[a]];
+    // CHECK: [[a]] = const 5_usize;
+    // CHECK: [[a]] = copy [[b]];
+    // CHECK: [[c:_.*]] = copy [[a]]
+    // CHECK: id::<usize>(move [[c]])
     let b = a;
     a = 5;
     a = b;