update arm64 hax intrinsics

cryspen · Jan 30, 2025 · 77fed3a · 77fed3a
1 parent f3eb1e6
commit 77fed3a
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/libcrux-intrinsics/src/arm64_extract.rs b/libcrux-intrinsics/src/arm64_extract.rs
@@ -37,6 +37,16 @@ pub fn _vst1q_s16(out: &mut [i16], v: _int16x8_t) {
     unimplemented!()
 }
 
+#[inline(always)]
+pub fn _vst1q_bytes(out: &mut [u8], v: _int16x8_t) {
+    unimplemented!()
+}
+
+#[inline(always)]
+pub fn _vld1q_bytes(bytes: &[u8]) -> _int16x8_t {
+    unimplemented!()
+}
+
 #[inline(always)]
 pub fn _vld1q_s16(array: &[i16]) -> _int16x8_t {
     unimplemented!()