Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions .github/workflows/integration-opentitan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -79,6 +79,11 @@ jobs:
echo "=== Patched extensions.bzl ==="
cat third_party/mlkem_native/extensions.bzl

- name: Patch expo BUILD to include backends.h
run: |
cd "$EXPO_DIR"
git apply "$GITHUB_WORKSPACE/integration/opentitan/build-bazel-backends.patch"

- name: Patch functest to only test deterministic API
run: |
cd "$EXPO_DIR"
Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_clean/src/aarch64_zetas.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
* Do not modify it directly.
*/

#include "../../../backends.h"
#include "../../../common.h"

#if defined(MLK_ARITH_BACKEND_AARCH64) && \
Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_clean/src/intt_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_clean/src/ntt_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_clean/src/poly_reduce_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_clean/src/poly_tobytes_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_clean/src/poly_tomont_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,7 @@
/* Re-implementation of asymmetric base multiplication following @[NeonNTT] */

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED) && \
(defined(MLK_CONFIG_MULTILEVEL_WITH_SHARED) || MLKEM_K == 2)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,7 @@
/* Re-implementation of asymmetric base multiplication following @[NeonNTT] */

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED) && \
(defined(MLK_CONFIG_MULTILEVEL_WITH_SHARED) || MLKEM_K == 3)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,7 @@
/* Re-implementation of asymmetric base multiplication following @[NeonNTT] */

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED) && \
(defined(MLK_CONFIG_MULTILEVEL_WITH_SHARED) || MLKEM_K == 4)
Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_clean/src/rej_uniform_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_clean/src/rej_uniform_table.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
* Do not modify it directly.
*/

#include "../../../backends.h"
#include "../../../common.h"

#if defined(MLK_ARITH_BACKEND_AARCH64) && \
Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_opt/src/aarch64_zetas.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
* Do not modify it directly.
*/

#include "../../../backends.h"
#include "../../../common.h"

#if defined(MLK_ARITH_BACKEND_AARCH64) && \
Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_opt/src/intt_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && !defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */

Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_opt/src/ntt_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && !defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */

Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_opt/src/poly_mulcache_compute_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && !defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */

Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_opt/src/poly_reduce_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && !defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */

Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_opt/src/poly_tobytes_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && !defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */

Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_opt/src/poly_tomont_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && !defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,7 @@
/* Re-implementation of asymmetric base multiplication following @[NeonNTT] */

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && !defined(MLK_CONFIG_MULTILEVEL_NO_SHARED) && (defined(MLK_CONFIG_MULTILEVEL_WITH_SHARED) || MLKEM_K == 2)
/* simpasm: header-end */

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,7 @@
/* Re-implementation of asymmetric base multiplication following @[NeonNTT] */

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && !defined(MLK_CONFIG_MULTILEVEL_NO_SHARED) && (defined(MLK_CONFIG_MULTILEVEL_WITH_SHARED) || MLKEM_K == 3)
/* simpasm: header-end */

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,7 @@
/* Re-implementation of asymmetric base multiplication following @[NeonNTT] */

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && !defined(MLK_CONFIG_MULTILEVEL_NO_SHARED) && (defined(MLK_CONFIG_MULTILEVEL_WITH_SHARED) || MLKEM_K == 4)
/* simpasm: header-end */

Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_opt/src/rej_uniform_aarch64_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_AARCH64) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
1 change: 1 addition & 0 deletions dev/aarch64_opt/src/rej_uniform_table.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
* Do not modify it directly.
*/

#include "../../../backends.h"
#include "../../../common.h"

#if defined(MLK_ARITH_BACKEND_AARCH64) && \
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@
*/

#include "../../../../common.h"
#include "../../../../backends.h"
#if defined(MLK_FIPS202_AARCH64_NEED_X1_SCALAR) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,7 @@
//

#include "../../../../common.h"
#include "../../../../backends.h"
#if defined(MLK_FIPS202_AARCH64_NEED_X1_V84A) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,7 @@
//

#include "../../../../common.h"
#include "../../../../backends.h"
#if defined(MLK_FIPS202_AARCH64_NEED_X2_V84A) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@
*/

#include "../../../../common.h"
#include "../../../../backends.h"
#if defined(MLK_FIPS202_AARCH64_NEED_X4_V8A_SCALAR_HYBRID) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@
*/

#include "../../../../common.h"
#include "../../../../backends.h"
#if defined(MLK_FIPS202_AARCH64_NEED_X4_V8A_V84A_SCALAR_HYBRID) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)

Expand Down
1 change: 1 addition & 0 deletions dev/fips202/aarch64/src/keccakf1600_round_constants.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
* Do not modify it directly.
*/

#include "../../../../backends.h"
#include "../../../../common.h"

#if (defined(MLK_FIPS202_AARCH64_NEED_X1_SCALAR) || \
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,7 @@
*/

#include "../../../../common.h"
#include "../../../../backends.h"
#if defined(MLK_FIPS202_AARCH64_NEED_X1_SCALAR) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@
*/

#include "../../../../common.h"
#include "../../../../backends.h"
#if defined(MLK_FIPS202_AARCH64_NEED_X4_V8A_SCALAR_HYBRID) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@
*/

#include "../../../../common.h"
#include "../../../../backends.h"
#if defined(MLK_FIPS202_AARCH64_NEED_X4_V8A_V84A_SCALAR_HYBRID) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)

Expand Down
1 change: 1 addition & 0 deletions dev/fips202/armv81m/src/keccak_f1600_x4_mve.S
Original file line number Diff line number Diff line change
Expand Up @@ -63,6 +63,7 @@
// 784 S[0][24]_odd, S[1][24]_odd, S[2][24]_odd, S[3][24]_odd

#include "../../../../common.h"
#include "../../../../backends.h"
#if defined(MLK_FIPS202_ARMV81M_NEED_X4) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
1 change: 1 addition & 0 deletions dev/fips202/armv81m/src/keccak_f1600_x4_mve.c
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@
* SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
*/

#include "../../../../backends.h"
#include "../../../../common.h"
#include "../../../../verify.h"

Expand Down
1 change: 1 addition & 0 deletions dev/fips202/armv81m/src/keccakf1600_round_constants.c
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@
* SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
*/

#include "../../../../backends.h"
#include "../../../../common.h"

#if defined(MLK_FIPS202_ARMV81M_NEED_X4) && \
Expand Down
1 change: 1 addition & 0 deletions dev/fips202/armv81m/src/state_extract_bytes_x4_mve.S
Original file line number Diff line number Diff line change
Expand Up @@ -57,6 +57,7 @@
// Tail -- extract remaining <8 bytes via predicated byte stores.

#include "../../../../common.h"
#include "../../../../backends.h"
#if defined(MLK_FIPS202_ARMV81M_NEED_X4) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
1 change: 1 addition & 0 deletions dev/fips202/armv81m/src/state_xor_bytes_x4_mve.S
Original file line number Diff line number Diff line change
Expand Up @@ -56,6 +56,7 @@
// Tail -- absorb remaining <8 bytes via predicated byte loads.

#include "../../../../common.h"
#include "../../../../backends.h"
#if defined(MLK_FIPS202_ARMV81M_NEED_X4) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
1 change: 1 addition & 0 deletions dev/fips202/x86_64/src/keccak_f1600_x4_avx2_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@
* SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
*/
#include "../../../../common.h"
#include "../../../../backends.h"

#if defined(MLK_FIPS202_X86_64_NEED_X4_AVX2) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
Expand Down
1 change: 1 addition & 0 deletions dev/fips202/x86_64/src/keccakf1600_constants.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
* Do not modify it directly.
*/

#include "../../../../backends.h"
#include "../../../../common.h"
#if defined(MLK_FIPS202_X86_64_NEED_X4_AVX2) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
Expand Down
1 change: 1 addition & 0 deletions dev/x86_64/src/compress_consts.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
* Do not modify it directly.
*/

#include "../../../backends.h"
#include "../../../common.h"

#if defined(MLK_ARITH_BACKEND_X86_64_DEFAULT)
Expand Down
1 change: 1 addition & 0 deletions dev/x86_64/src/consts.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
* Do not modify it directly.
*/

#include "../../../backends.h"
#include "../../../common.h"

#if defined(MLK_ARITH_BACKEND_X86_64_DEFAULT) && \
Expand Down
1 change: 1 addition & 0 deletions dev/x86_64/src/intt_avx2_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_X86_64_DEFAULT) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
1 change: 1 addition & 0 deletions dev/x86_64/src/ntt_avx2_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_X86_64_DEFAULT) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
/* simpasm: header-end */
Expand Down
1 change: 1 addition & 0 deletions dev/x86_64/src/nttfrombytes_avx2_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"

#if defined(MLK_ARITH_BACKEND_X86_64_DEFAULT) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
Expand Down
1 change: 1 addition & 0 deletions dev/x86_64/src/ntttobytes_avx2_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"

#if defined(MLK_ARITH_BACKEND_X86_64_DEFAULT) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
Expand Down
1 change: 1 addition & 0 deletions dev/x86_64/src/nttunpack_avx2_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@
*/

#include "../../../common.h"
#include "../../../backends.h"

#if defined(MLK_ARITH_BACKEND_X86_64_DEFAULT) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED)
Expand Down
1 change: 1 addition & 0 deletions dev/x86_64/src/poly_compress_d10_avx2_asm.S
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,7 @@
**************************************************/

#include "../../../common.h"
#include "../../../backends.h"
#if defined(MLK_ARITH_BACKEND_X86_64_DEFAULT) && \
!defined(MLK_CONFIG_MULTILEVEL_NO_SHARED) && \
(defined(MLK_CONFIG_MULTILEVEL_WITH_SHARED) || MLKEM_K == 2 || MLKEM_K == 3)
Expand Down
Loading
Loading