File tree Expand file tree Collapse file tree 3 files changed +43
-0
lines changed Expand file tree Collapse file tree 3 files changed +43
-0
lines changed Original file line number Diff line number Diff line change 11// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. 
22// SPDX-License-Identifier: Apache-2.0 OR ISC 
3+ // Thu Oct 16 21:12:52 UTC 2025 
34
45pub ( super )  const  CRYPTO_LIBRARY :  & [ & str ]  = & [ 
56    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/intt.S" , 
Original file line number Diff line number Diff line change @@ -45,3 +45,18 @@ function s2n_bignum_aarch64() {
4545      |  rg --pcre2 -v ' /arm/p521/(bignum_(.*mont.*|cmul|double|half|optneg|triple)_p521(_alt)?\.S|bignum_mod_[np]521_9\.S|p521_j(mix)?add(_alt)?\.S)' 
4646      |  sort -f
4747}
48+ 
49+ function  s2n_bignum_x86_64()  {
50+   find third_party/s2n-bignum/s2n-bignum-imported/x86_att -name " *.S" 
51+       |  rg --pcre2 -v ' /x86_att/(fastmul|generic|mlkem|sm2|tutorial|secp256k1)' 
52+       |  rg --pcre2 -v ' /x86_att/curve25519/bignum_(?!(madd_n|mod_n25519.S|neg_p))' 
53+       |  rg --pcre2 -v ' /x86_att/curve25519/curve25519_(?!x25519(base)?(_alt)?)' 
54+       |  rg --pcre2 -v ' /x86_att/curve25519/edwards25519_(?!(decode|encode.S|scalarmul))' 
55+       |  rg --pcre2 -v ' /x86_att/fastmul/(?!(bignum_k..._16_32|bignum_k..._32_64|bignum_emontredc_8n.S))' 
56+       |  rg --pcre2 -v ' /x86_att/generic/(word|bignum_(?!(copy_row_from_table|ge.S|mul.S|optsub.S|sqr.S)))' 
57+       |  rg --pcre2 -v ' /x86_att/p256/(?!(bignum_montinv_|p256_montjscalarmul))' 
58+       |  rg --pcre2 -v ' /x86_att/.*/unopt/' 
59+       |  rg --pcre2 -v ' /x86_att/p384/(p384_montj(mix)?add|bignum_(?!add|deamont|littleendian|mont|neg|nonzero|sub|tomont))' 
60+       |  rg --pcre2 -v ' /x86_att/p521/(bignum_(.*mont.*|cmul|double|half|optneg|triple)_p521(_alt)?\.S|bignum_mod_[np]521_9(_alt)?\.S|p521_j(mix)?add(_alt)?\.S)' 
61+       |  sort -f
62+ }
Original file line number Diff line number Diff line change 1+ #! /usr/bin/env bash
2+ #  Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
3+ #  SPDX-License-Identifier: Apache-2.0 OR ISC
4+ set  -ex
5+ set  -o pipefail
6+ 
7+ SCRIPT_DIR=$( cd -- " $(  dirname -- " ${BASH_SOURCE[0]} " ) " & >  /dev/null &&  pwd) 
8+ SCRIPT_NAME=" $( basename -s .sh -- " ${BASH_SOURCE[0]} " ) " 
9+ 
10+ source  " ${SCRIPT_DIR} /_common.sh" 
11+ 
12+ pushd  " ${AWS_LC_DIR} " 
13+ declare  -a SOURCE_FILES
14+ SOURCE_FILES=()
15+ mapfile -O 0 -t SOURCE_FILES <  <( find crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src -name " *.S" |  sort -f) 
16+ echo  " ${SOURCE_FILES[@]} " 
17+ mapfile -O ${# SOURCE_FILES[@]}  -t SOURCE_FILES <  <( find generated-src/mac-x86_64/crypto -name " *.S" |  sort -f) 
18+ echo  " ${SOURCE_FILES[@]} " 
19+ mapfile -O ${# SOURCE_FILES[@]}  -t SOURCE_FILES <  <( s2n_bignum_x86_64) 
20+ echo  " ${SOURCE_FILES[@]} " 
21+ 
22+ popd 
23+ 
24+ #  Sort SOURCE_FILES array
25+ mapfile -t SOURCE_FILES <  <( printf ' %s\n' " ${SOURCE_FILES[@]} " |  sort -f) 
26+ 
27+ generate_output " ${SOURCE_FILES[@]} " >  " ${BUILD_CFG_FILE} " 
 
 
   
 
     
   
   
          
    
    
     
    
      
     
     
    You can’t perform that action at this time.
  
 
    
  
    
      
        
     
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments