Merge pull request #1109 from Parrot7483/safe-simd

franziskuskiefer · web-flow · commit 1576029c934d · 2025-09-10T06:28:53.000Z
Remove unsafe expression on safe AVX2 instructions
diff --git a/libcrux-intrinsics/src/avx2.rs b/libcrux-intrinsics/src/avx2.rs
@@ -1,3 +1,5 @@
+#![cfg_attr(hax, allow(unused_unsafe))]
+
 #[cfg(all(target_arch = "x86", not(hax)))]
 pub use core::arch::x86::*;
 #[cfg(all(target_arch = "x86_64", not(hax)))]

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+#![cfg_attr(hax, allow(unused_unsafe))]`
	`2`	`+`
`1`	`3`	`#[cfg(all(target_arch = "x86", not(hax)))]`
`2`	`4`	`pub use core::arch::x86::*;`
`3`	`5`	`#[cfg(all(target_arch = "x86_64", not(hax)))]`