Auto merge of rust-lang#3084 - RalfJung:deadcode, r=RalfJung

bors · bors · commit efd04b6267f2 · 2023-09-25T06:59:01.000Z
remove some dead code

and add a comment in the AVX test
diff --git a/src/tools/miri/src/helpers.rs b/src/tools/miri/src/helpers.rs
@@ -1,5 +1,3 @@
-pub mod convert;
-
 use std::cmp;
 use std::iter;
 use std::num::NonZeroUsize;
diff --git a/src/tools/miri/src/helpers/convert.rs b/src/tools/miri/src/helpers/convert.rs
diff --git a/src/tools/miri/tests/pass/intrinsics-x86-avx512.rs b/src/tools/miri/tests/pass/intrinsics-x86-avx512.rs
@@ -1,5 +1,6 @@
 // Ignore everything except x86 and x86_64
 // Any additional target are added to CI should be ignored here
+// (We cannot use `cfg`-based tricks here since the `target-feature` flags below only work on x86.)
 //@ignore-target-aarch64
 //@ignore-target-arm
 //@ignore-target-avr
