diff --git a/cmake/tests/avx512f.cpp b/cmake/tests/avx512f.cpp
new file mode 100644
index 000000000000..9189e25c71be
--- /dev/null
+++ b/cmake/tests/avx512f.cpp
@@ -0,0 +1,8 @@
+#include <cinttypes>
+
+int main()
+{
+#ifndef __AVX512F__
+    static_assert(false);
+#endif
+}