From aa83f1799b486beca16cc21c72af906d6cee5097 Mon Sep 17 00:00:00 2001
From: Shunpoco <tkngsnsk313320@gmail.com>
Date: Sat, 4 Jan 2025 12:40:50 +0000
Subject: [PATCH] Add FileCheck to non_dominate.rs

---
 tests/mir-opt/copy-prop/non_dominate.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tests/mir-opt/copy-prop/non_dominate.rs b/tests/mir-opt/copy-prop/non_dominate.rs
index c01275370ea7..a6db10c461f5 100644
--- a/tests/mir-opt/copy-prop/non_dominate.rs
+++ b/tests/mir-opt/copy-prop/non_dominate.rs
@@ -1,4 +1,3 @@
-// skip-filecheck
 //@ test-mir-pass: CopyProp
 
 #![feature(custom_mir, core_intrinsics)]
@@ -8,6 +7,11 @@ use core::intrinsics::mir::*;
 
 #[custom_mir(dialect = "analysis", phase = "post-cleanup")]
 fn f(c: bool) -> bool {
+    // CHECK-LABEL: fn f(
+    // CHECK: bb2: {
+    // CHECK: _2 = copy _3;
+    // CHECK: bb3: {
+    // CHECK: _0 = copy _2;
     mir! {
         let a: bool;
         let b: bool;