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

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

diff --git a/tests/mir-opt/copy-prop/custom_move_arg.rs b/tests/mir-opt/copy-prop/custom_move_arg.rs
index 3dce7807b347..54490b07f32f 100644
--- a/tests/mir-opt/copy-prop/custom_move_arg.rs
+++ b/tests/mir-opt/copy-prop/custom_move_arg.rs
@@ -1,4 +1,3 @@
-// skip-filecheck
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 //@ test-mir-pass: CopyProp
 
@@ -12,6 +11,13 @@
 // EMIT_MIR custom_move_arg.f.CopyProp.diff
 #[custom_mir(dialect = "runtime")]
 fn f(_1: NotCopy) {
+    // CHECK-LABEL: fn f(
+    // CHECK: bb0: {
+    // CHECK-NOT: _2 = copy _1;
+    // CHECK: _0 = opaque::<NotCopy>(copy _1)
+    // CHECK: bb1: {
+    // CHECK-NOT: _3 = move _2;
+    // CHECK: _0 = opaque::<NotCopy>(copy _1)
     mir! {
         {
             let _2 = _1;