From 57b57b8b56e5d709dd749ecea0129147801f74e1 Mon Sep 17 00:00:00 2001
From: bjorn3 <17426603+bjorn3@users.noreply.github.com>
Date: Thu, 27 Nov 2025 19:30:17 +0000
Subject: [PATCH] Improve test

---
 .../tests/pass/target-cpu-implies-target-feature.rs  | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/tools/miri/tests/pass/target-cpu-implies-target-feature.rs b/src/tools/miri/tests/pass/target-cpu-implies-target-feature.rs
index a55517c02e0c..1acbd51ae81f 100644
--- a/src/tools/miri/tests/pass/target-cpu-implies-target-feature.rs
+++ b/src/tools/miri/tests/pass/target-cpu-implies-target-feature.rs
@@ -3,10 +3,14 @@
 //@compile-flags: -C target-cpu=x86-64-v4
 
 fn main() {
+    assert!(cfg!(target_feature = "avx2"));
+    assert!(cfg!(target_feature = "avx512bw"));
+    assert!(cfg!(target_feature = "avx512cd"));
+    assert!(cfg!(target_feature = "avx512dq"));
+    assert!(cfg!(target_feature = "avx512f"));
+    assert!(cfg!(target_feature = "avx512vl"));
     assert!(is_x86_feature_detected!("avx512bw"));
-    assert!(is_x86_feature_detected!("avx512cd"));
-    assert!(is_x86_feature_detected!("avx512dq"));
-    assert!(is_x86_feature_detected!("avx512f"));
-    assert!(is_x86_feature_detected!("avx512vl"));
+
+    assert!(cfg!(not(target_feature = "avx512vpopcntdq")));
     assert!(!is_x86_feature_detected!("avx512vpopcntdq"));
 }