diff --git a/library/stdarch/crates/core_arch/src/x86/avx.rs b/library/stdarch/crates/core_arch/src/x86/avx.rs
index 5b13d02be6a0..643cfe141fbb 100644
--- a/library/stdarch/crates/core_arch/src/x86/avx.rs
+++ b/library/stdarch/crates/core_arch/src/x86/avx.rs
@@ -1354,19 +1354,12 @@ pub unsafe fn _mm256_permute2f128_pd<const IMM8: i32>(a: __m256d, b: __m256d) ->
 /// [Intel's documentation](https://software.intel.com/sites/landingpage/IntrinsicsGuide/#text=_mm256_permute2f128_si256)
 #[inline]
 #[target_feature(enable = "avx")]
-#[cfg_attr(test, assert_instr(vperm2f128, imm8 = 0x31))]
-#[rustc_args_required_const(2)]
+#[cfg_attr(test, assert_instr(vperm2f128, IMM8 = 0x31))]
+#[rustc_legacy_const_generics(2)]
 #[stable(feature = "simd_x86", since = "1.27.0")]
-pub unsafe fn _mm256_permute2f128_si256(a: __m256i, b: __m256i, imm8: i32) -> __m256i {
-    let a = a.as_i32x8();
-    let b = b.as_i32x8();
-    macro_rules! call {
-        ($imm8:expr) => {
-            vperm2f128si256(a, b, $imm8)
-        };
-    }
-    let r = constify_imm8!(imm8, call);
-    transmute(r)
+pub unsafe fn _mm256_permute2f128_si256<const IMM8: i32>(a: __m256i, b: __m256i) -> __m256i {
+    static_assert_imm8!(IMM8);
+    transmute(vperm2f128si256(a.as_i32x8(), b.as_i32x8(), IMM8 as i8))
 }
 
 /// Broadcasts a single-precision (32-bit) floating-point element from memory
@@ -3894,7 +3887,7 @@ mod tests {
     unsafe fn test_mm256_permute2f128_si256() {
         let a = _mm256_setr_epi32(1, 2, 3, 4, 1, 2, 3, 4);
         let b = _mm256_setr_epi32(5, 6, 7, 8, 5, 6, 7, 8);
-        let r = _mm256_permute2f128_si256(a, b, 0x20);
+        let r = _mm256_permute2f128_si256::<0x20>(a, b);
         let e = _mm256_setr_epi32(1, 2, 3, 4, 5, 6, 7, 8);
         assert_eq_m256i(r, e);
     }