Update C generated files

dist/gcc-compatible/Hacl_Gf128_NI.h

@@ -0,0 +1,65 @@
+/* MIT License
+ *
+ * Copyright (c) 2016-2022 INRIA, CMU and Microsoft Corporation
+ * Copyright (c) 2022-2023 HACL* Contributors
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in all
+ * copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE.
+ */
+
+
+#ifndef __Hacl_Gf128_NI_H
+#define __Hacl_Gf128_NI_H
+
+#if defined(__cplusplus)
+extern "C" {
+#endif
+
+#include <string.h>
+#include "krml/internal/types.h"
+#include "krml/lowstar_endianness.h"
+#include "krml/internal/target.h"
+
+#include "libintvector.h"
+
+void Hacl_Gf128_NI_gcm_init(Lib_IntVector_Intrinsics_vec128 *ctx, uint8_t *key);
+
+void
+Hacl_Gf128_NI_gcm_update_blocks(
+  Lib_IntVector_Intrinsics_vec128 *ctx,
+  uint32_t len,
+  uint8_t *text
+);
+
+extern void
+(*Hacl_Gf128_NI_gcm_update_padded)(
+  Lib_IntVector_Intrinsics_vec128 *x0,
+  uint32_t x1,
+  uint8_t *x2
+);
+
+void Hacl_Gf128_NI_gcm_emit(uint8_t *tag, Lib_IntVector_Intrinsics_vec128 *ctx);
+
+void Hacl_Gf128_NI_ghash(uint8_t *tag, uint32_t len, uint8_t *text, uint8_t *key);
+
+#if defined(__cplusplus)
+}
+#endif
+
+#define __Hacl_Gf128_NI_H_DEFINED
+#endif

dist/gcc-compatible/INFO.txt

@@ -1,4 +1,4 @@
 This code was generated with the following toolchain.
-F* version: b5cb71b8100ee5c8100bd671b77867aeba5384e7
-KaRaMeL version: 1282f04f16a4e193f329708b22e0a4577d5dd092
+F* version: 2fd9303b78e9161bc7cc487ab1b99e5b516138ad
+KaRaMeL version: 35bdfce9a97bb2b727a02b1d151c05eb0f3d03e6
 Vale version: 0.3.19

dist/gcc-compatible/Makefile

@@ -49,6 +49,9 @@ include Makefile.basic
 
 CFLAGS		+= -Wno-parentheses -Wno-deprecated-declarations -Wno-\#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3
 
+CFLAGS_GHASH_NI = -mpclmul -msse4.1
+Hacl_Gf128_NI.o Hacl_Impl_Gf128_FieldNI.o: CFLAGS += $(CFLAGS_GHASH_NI)
+
 Hacl_MAC_Poly1305_Simd128.o Hacl_Chacha20_Vec128.o Hacl_AEAD_Chacha20Poly1305_Simd128.o Hacl_Hash_Blake2s_Simd128.o Hacl_HMAC_Blake2s_128.o Hacl_HKDF_Blake2s_128.o Hacl_SHA2_Vec128.o: CFLAGS += $(CFLAGS_128)
 Hacl_MAC_Poly1305_Simd256.o Hacl_Chacha20_Vec256.o Hacl_AEAD_Chacha20Poly1305_Simd256.o Hacl_Hash_Blake2b_Simd256.o Hacl_HMAC_Blake2b_256.o Hacl_HKDF_Blake2b_256.o Hacl_SHA2_Vec256.o Hacl_Hash_SHA3_Simd256.o: CFLAGS += $(CFLAGS_256)
 

dist/gcc-compatible/Makefile.include

@@ -1,5 +1,5 @@
 USER_TARGET=libevercrypt.a
 USER_CFLAGS=-Wno-unused
 USER_C_FILES=Lib_Memzero0.c Lib_PrintBuffer.c Lib_RandomBuffer_System.c
-ALL_C_FILES=EverCrypt_AEAD.c EverCrypt_AutoConfig2.c EverCrypt_Chacha20Poly1305.c EverCrypt_Cipher.c EverCrypt_Curve25519.c EverCrypt_DRBG.c EverCrypt_Ed25519.c EverCrypt_HKDF.c EverCrypt_HMAC.c EverCrypt_Hash.c EverCrypt_Poly1305.c Hacl_AEAD_Chacha20Poly1305.c Hacl_AEAD_Chacha20Poly1305_Simd128.c Hacl_AEAD_Chacha20Poly1305_Simd256.c Hacl_Bignum.c Hacl_Bignum256.c Hacl_Bignum256_32.c Hacl_Bignum32.c Hacl_Bignum4096.c Hacl_Bignum4096_32.c Hacl_Bignum64.c Hacl_Chacha20.c Hacl_Chacha20_Vec128.c Hacl_Chacha20_Vec256.c Hacl_Chacha20_Vec32.c Hacl_Curve25519_51.c Hacl_Curve25519_64.c Hacl_EC_Ed25519.c Hacl_EC_K256.c Hacl_Ed25519.c Hacl_FFDHE.c Hacl_Frodo1344.c Hacl_Frodo64.c Hacl_Frodo640.c Hacl_Frodo976.c Hacl_Frodo_KEM.c Hacl_GenericField32.c Hacl_GenericField64.c Hacl_HKDF.c Hacl_HKDF_Blake2b_256.c Hacl_HKDF_Blake2s_128.c Hacl_HMAC.c Hacl_HMAC_Blake2b_256.c Hacl_HMAC_Blake2s_128.c Hacl_HMAC_DRBG.c Hacl_HPKE_Curve51_CP128_SHA256.c Hacl_HPKE_Curve51_CP128_SHA512.c Hacl_HPKE_Curve51_CP256_SHA256.c Hacl_HPKE_Curve51_CP256_SHA512.c Hacl_HPKE_Curve51_CP32_SHA256.c Hacl_HPKE_Curve51_CP32_SHA512.c Hacl_HPKE_Curve64_CP128_SHA256.c Hacl_HPKE_Curve64_CP128_SHA512.c Hacl_HPKE_Curve64_CP256_SHA256.c Hacl_HPKE_Curve64_CP256_SHA512.c Hacl_HPKE_Curve64_CP32_SHA256.c Hacl_HPKE_Curve64_CP32_SHA512.c Hacl_HPKE_P256_CP128_SHA256.c Hacl_HPKE_P256_CP256_SHA256.c Hacl_HPKE_P256_CP32_SHA256.c Hacl_Hash_Base.c Hacl_Hash_Blake2b.c Hacl_Hash_Blake2b_Simd256.c Hacl_Hash_Blake2s.c Hacl_Hash_Blake2s_Simd128.c Hacl_Hash_MD5.c Hacl_Hash_SHA1.c Hacl_Hash_SHA2.c Hacl_Hash_SHA3.c Hacl_Hash_SHA3_Simd256.c Hacl_K256_ECDSA.c Hacl_MAC_Poly1305.c Hacl_MAC_Poly1305_Simd128.c Hacl_MAC_Poly1305_Simd256.c Hacl_NaCl.c Hacl_P256.c Hacl_RSAPSS.c Hacl_SHA2_Vec128.c Hacl_SHA2_Vec256.c Hacl_Salsa20.c Vale.c
-ALL_H_FILES=EverCrypt_AEAD.h EverCrypt_AutoConfig2.h EverCrypt_Chacha20Poly1305.h EverCrypt_Cipher.h EverCrypt_Curve25519.h EverCrypt_DRBG.h EverCrypt_Ed25519.h EverCrypt_Error.h EverCrypt_HKDF.h EverCrypt_HMAC.h EverCrypt_Hash.h EverCrypt_Poly1305.h Hacl_AEAD_Chacha20Poly1305.h Hacl_AEAD_Chacha20Poly1305_Simd128.h Hacl_AEAD_Chacha20Poly1305_Simd256.h Hacl_AES128.h Hacl_Bignum.h Hacl_Bignum256.h Hacl_Bignum256_32.h Hacl_Bignum32.h Hacl_Bignum4096.h Hacl_Bignum4096_32.h Hacl_Bignum64.h Hacl_Chacha20.h Hacl_Chacha20_Vec128.h Hacl_Chacha20_Vec256.h Hacl_Chacha20_Vec32.h Hacl_Curve25519_51.h Hacl_Curve25519_64.h Hacl_EC_Ed25519.h Hacl_EC_K256.h Hacl_Ed25519.h Hacl_FFDHE.h Hacl_Frodo1344.h Hacl_Frodo64.h Hacl_Frodo640.h Hacl_Frodo976.h Hacl_GenericField32.h Hacl_GenericField64.h Hacl_HKDF.h Hacl_HKDF_Blake2b_256.h Hacl_HKDF_Blake2s_128.h Hacl_HMAC.h Hacl_HMAC_Blake2b_256.h Hacl_HMAC_Blake2s_128.h Hacl_HMAC_DRBG.h Hacl_HPKE_Curve51_CP128_SHA256.h Hacl_HPKE_Curve51_CP128_SHA512.h Hacl_HPKE_Curve51_CP256_SHA256.h Hacl_HPKE_Curve51_CP256_SHA512.h Hacl_HPKE_Curve51_CP32_SHA256.h Hacl_HPKE_Curve51_CP32_SHA512.h Hacl_HPKE_Curve64_CP128_SHA256.h Hacl_HPKE_Curve64_CP128_SHA512.h Hacl_HPKE_Curve64_CP256_SHA256.h Hacl_HPKE_Curve64_CP256_SHA512.h Hacl_HPKE_Curve64_CP32_SHA256.h Hacl_HPKE_Curve64_CP32_SHA512.h Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE.h Hacl_HPKE_P256_CP128_SHA256.h Hacl_HPKE_P256_CP256_SHA256.h Hacl_HPKE_P256_CP32_SHA256.h Hacl_Hash_Base.h Hacl_Hash_Blake2b.h Hacl_Hash_Blake2b_Simd256.h Hacl_Hash_Blake2s.h Hacl_Hash_Blake2s_Simd128.h Hacl_Hash_MD5.h Hacl_Hash_SHA1.h Hacl_Hash_SHA2.h Hacl_Hash_SHA3.h Hacl_Hash_SHA3_Simd256.h Hacl_IntTypes_Intrinsics.h Hacl_IntTypes_Intrinsics_128.h Hacl_K256_ECDSA.h Hacl_Krmllib.h Hacl_MAC_Poly1305.h Hacl_MAC_Poly1305_Simd128.h Hacl_MAC_Poly1305_Simd256.h Hacl_NaCl.h Hacl_P256.h Hacl_RSAPSS.h Hacl_SHA2_Types.h Hacl_SHA2_Vec128.h Hacl_SHA2_Vec256.h Hacl_Salsa20.h Hacl_Spec.h Hacl_Streaming_Types.h Lib_PrintBuffer.h Lib_RandomBuffer_System.h TestLib.h internal/EverCrypt_HMAC.h internal/EverCrypt_Hash.h internal/Hacl_Bignum.h internal/Hacl_Bignum25519_51.h internal/Hacl_Bignum_Base.h internal/Hacl_Bignum_K256.h internal/Hacl_Chacha20.h internal/Hacl_Curve25519_51.h internal/Hacl_Ed25519.h internal/Hacl_Ed25519_PrecompTable.h internal/Hacl_Frodo_KEM.h internal/Hacl_HMAC.h internal/Hacl_Hash_Blake2b.h internal/Hacl_Hash_Blake2b_Simd256.h internal/Hacl_Hash_Blake2s.h internal/Hacl_Hash_Blake2s_Simd128.h internal/Hacl_Hash_MD5.h internal/Hacl_Hash_SHA1.h internal/Hacl_Hash_SHA2.h internal/Hacl_Hash_SHA3.h internal/Hacl_Impl_Blake2_Constants.h internal/Hacl_Impl_FFDHE_Constants.h internal/Hacl_K256_ECDSA.h internal/Hacl_K256_PrecompTable.h internal/Hacl_Krmllib.h internal/Hacl_MAC_Poly1305.h internal/Hacl_MAC_Poly1305_Simd128.h internal/Hacl_MAC_Poly1305_Simd256.h internal/Hacl_P256.h internal/Hacl_P256_PrecompTable.h internal/Hacl_SHA2_Types.h internal/Hacl_Spec.h internal/Vale.h
+ALL_C_FILES=EverCrypt_AEAD.c EverCrypt_AutoConfig2.c EverCrypt_Chacha20Poly1305.c EverCrypt_Cipher.c EverCrypt_Curve25519.c EverCrypt_DRBG.c EverCrypt_Ed25519.c EverCrypt_HKDF.c EverCrypt_HMAC.c EverCrypt_Hash.c EverCrypt_Poly1305.c Hacl_AEAD_Chacha20Poly1305.c Hacl_AEAD_Chacha20Poly1305_Simd128.c Hacl_AEAD_Chacha20Poly1305_Simd256.c Hacl_Bignum.c Hacl_Bignum256.c Hacl_Bignum256_32.c Hacl_Bignum32.c Hacl_Bignum4096.c Hacl_Bignum4096_32.c Hacl_Bignum64.c Hacl_Chacha20.c Hacl_Chacha20_Vec128.c Hacl_Chacha20_Vec256.c Hacl_Chacha20_Vec32.c Hacl_Curve25519_51.c Hacl_Curve25519_64.c Hacl_EC_Ed25519.c Hacl_EC_K256.c Hacl_Ed25519.c Hacl_FFDHE.c Hacl_Frodo1344.c Hacl_Frodo64.c Hacl_Frodo640.c Hacl_Frodo976.c Hacl_Frodo_KEM.c Hacl_GenericField32.c Hacl_GenericField64.c Hacl_Gf128_NI.c Hacl_HKDF.c Hacl_HKDF_Blake2b_256.c Hacl_HKDF_Blake2s_128.c Hacl_HMAC.c Hacl_HMAC_Blake2b_256.c Hacl_HMAC_Blake2s_128.c Hacl_HMAC_DRBG.c Hacl_HPKE_Curve51_CP128_SHA256.c Hacl_HPKE_Curve51_CP128_SHA512.c Hacl_HPKE_Curve51_CP256_SHA256.c Hacl_HPKE_Curve51_CP256_SHA512.c Hacl_HPKE_Curve51_CP32_SHA256.c Hacl_HPKE_Curve51_CP32_SHA512.c Hacl_HPKE_Curve64_CP128_SHA256.c Hacl_HPKE_Curve64_CP128_SHA512.c Hacl_HPKE_Curve64_CP256_SHA256.c Hacl_HPKE_Curve64_CP256_SHA512.c Hacl_HPKE_Curve64_CP32_SHA256.c Hacl_HPKE_Curve64_CP32_SHA512.c Hacl_HPKE_P256_CP128_SHA256.c Hacl_HPKE_P256_CP256_SHA256.c Hacl_HPKE_P256_CP32_SHA256.c Hacl_Hash_Base.c Hacl_Hash_Blake2b.c Hacl_Hash_Blake2b_Simd256.c Hacl_Hash_Blake2s.c Hacl_Hash_Blake2s_Simd128.c Hacl_Hash_MD5.c Hacl_Hash_SHA1.c Hacl_Hash_SHA2.c Hacl_Hash_SHA3.c Hacl_Hash_SHA3_Simd256.c Hacl_K256_ECDSA.c Hacl_MAC_Poly1305.c Hacl_MAC_Poly1305_Simd128.c Hacl_MAC_Poly1305_Simd256.c Hacl_NaCl.c Hacl_P256.c Hacl_RSAPSS.c Hacl_SHA2_Vec128.c Hacl_SHA2_Vec256.c Hacl_Salsa20.c Vale.c
+ALL_H_FILES=EverCrypt_AEAD.h EverCrypt_AutoConfig2.h EverCrypt_Chacha20Poly1305.h EverCrypt_Cipher.h EverCrypt_Curve25519.h EverCrypt_DRBG.h EverCrypt_Ed25519.h EverCrypt_Error.h EverCrypt_HKDF.h EverCrypt_HMAC.h EverCrypt_Hash.h EverCrypt_Poly1305.h Hacl_AEAD_Chacha20Poly1305.h Hacl_AEAD_Chacha20Poly1305_Simd128.h Hacl_AEAD_Chacha20Poly1305_Simd256.h Hacl_AES128.h Hacl_Bignum.h Hacl_Bignum256.h Hacl_Bignum256_32.h Hacl_Bignum32.h Hacl_Bignum4096.h Hacl_Bignum4096_32.h Hacl_Bignum64.h Hacl_Chacha20.h Hacl_Chacha20_Vec128.h Hacl_Chacha20_Vec256.h Hacl_Chacha20_Vec32.h Hacl_Curve25519_51.h Hacl_Curve25519_64.h Hacl_EC_Ed25519.h Hacl_EC_K256.h Hacl_Ed25519.h Hacl_FFDHE.h Hacl_Frodo1344.h Hacl_Frodo64.h Hacl_Frodo640.h Hacl_Frodo976.h Hacl_GenericField32.h Hacl_GenericField64.h Hacl_Gf128_NI.h Hacl_HKDF.h Hacl_HKDF_Blake2b_256.h Hacl_HKDF_Blake2s_128.h Hacl_HMAC.h Hacl_HMAC_Blake2b_256.h Hacl_HMAC_Blake2s_128.h Hacl_HMAC_DRBG.h Hacl_HPKE_Curve51_CP128_SHA256.h Hacl_HPKE_Curve51_CP128_SHA512.h Hacl_HPKE_Curve51_CP256_SHA256.h Hacl_HPKE_Curve51_CP256_SHA512.h Hacl_HPKE_Curve51_CP32_SHA256.h Hacl_HPKE_Curve51_CP32_SHA512.h Hacl_HPKE_Curve64_CP128_SHA256.h Hacl_HPKE_Curve64_CP128_SHA512.h Hacl_HPKE_Curve64_CP256_SHA256.h Hacl_HPKE_Curve64_CP256_SHA512.h Hacl_HPKE_Curve64_CP32_SHA256.h Hacl_HPKE_Curve64_CP32_SHA512.h Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE.h Hacl_HPKE_P256_CP128_SHA256.h Hacl_HPKE_P256_CP256_SHA256.h Hacl_HPKE_P256_CP32_SHA256.h Hacl_Hash_Base.h Hacl_Hash_Blake2b.h Hacl_Hash_Blake2b_Simd256.h Hacl_Hash_Blake2s.h Hacl_Hash_Blake2s_Simd128.h Hacl_Hash_MD5.h Hacl_Hash_SHA1.h Hacl_Hash_SHA2.h Hacl_Hash_SHA3.h Hacl_Hash_SHA3_Simd256.h Hacl_IntTypes_Intrinsics.h Hacl_IntTypes_Intrinsics_128.h Hacl_K256_ECDSA.h Hacl_Krmllib.h Hacl_MAC_Poly1305.h Hacl_MAC_Poly1305_Simd128.h Hacl_MAC_Poly1305_Simd256.h Hacl_NaCl.h Hacl_P256.h Hacl_RSAPSS.h Hacl_SHA2_Types.h Hacl_SHA2_Vec128.h Hacl_SHA2_Vec256.h Hacl_Salsa20.h Hacl_Spec.h Hacl_Streaming_Types.h Lib_PrintBuffer.h Lib_RandomBuffer_System.h TestLib.h internal/EverCrypt_HMAC.h internal/EverCrypt_Hash.h internal/Hacl_Bignum.h internal/Hacl_Bignum25519_51.h internal/Hacl_Bignum_Base.h internal/Hacl_Bignum_K256.h internal/Hacl_Chacha20.h internal/Hacl_Curve25519_51.h internal/Hacl_Ed25519.h internal/Hacl_Ed25519_PrecompTable.h internal/Hacl_Frodo_KEM.h internal/Hacl_HMAC.h internal/Hacl_Hash_Blake2b.h internal/Hacl_Hash_Blake2b_Simd256.h internal/Hacl_Hash_Blake2s.h internal/Hacl_Hash_Blake2s_Simd128.h internal/Hacl_Hash_MD5.h internal/Hacl_Hash_SHA1.h internal/Hacl_Hash_SHA2.h internal/Hacl_Hash_SHA3.h internal/Hacl_Impl_Blake2_Constants.h internal/Hacl_Impl_FFDHE_Constants.h internal/Hacl_K256_ECDSA.h internal/Hacl_K256_PrecompTable.h internal/Hacl_Krmllib.h internal/Hacl_MAC_Poly1305.h internal/Hacl_MAC_Poly1305_Simd128.h internal/Hacl_MAC_Poly1305_Simd256.h internal/Hacl_P256.h internal/Hacl_P256_PrecompTable.h internal/Hacl_SHA2_Types.h internal/Hacl_Spec.h internal/Vale.h