Convert SSE 4.2 intrinsics to const generics (#1023)

1 files changed, 9 insertions, 0 deletions

diff --git a/library/stdarch/crates/stdarch-verify/src/lib.rs b/library/stdarch/crates/stdarch-verify/src/lib.rs
index ce8bb0e9ed1..48b402737ff 100644
--- a/library/stdarch/crates/stdarch-verify/src/lib.rs
+++ b/library/stdarch/crates/stdarch-verify/src/lib.rs
@@ -119,6 +119,15 @@ fn functions(input: TokenStream, dirs: &[&str]) -> TokenStream {
                      #[rustc_legacy_const_generics]"
                 );
             }
+
+            // The list of required consts, used to verify the arguments, comes from either the
+            // `rustc_args_required_const` or the `rustc_legacy_const_generics` attribute.
+            let required_const = if required_const.is_empty() {
+                legacy_const_generics.clone()
+            } else {
+                required_const
+            };
+
             legacy_const_generics.sort();
             for (idx, ty) in legacy_const_generics
                 .into_iter()