multirepo: formosa-25519: add preprocessed .jazz files from formosa-2…

…5519; adjust xwing; update src/Makefile.common to slice by the expected exported function (when compiling xwing; x25519 code is not exported by default)
formosa-crypto · Aug 5, 2024 · afbf4be · afbf4be
1 parent 0b26c91
commit afbf4be
Show file tree

Hide file tree

Showing 5 changed files with 4,085 additions and 8 deletions.
diff --git a/src/Makefile.common b/src/Makefile.common
@@ -38,7 +38,7 @@ JINCLUDE = -I Jade:$(SRC)
 
 JASMIN  ?= jasminc
 JASMINC := $(JASMIN) $(JFLAGS) $(JINCLUDE)
-COMPILE  = ($(JASMINC) -o $@ $<) $(CIT)
+COMPILE  = ($(JASMINC) $(addprefix -slice ,$(FUNCTIONS)) -o $@ $<) $(CIT)
 
 # --------------------------------------------------------------------
 include $(SRC)/$(OPERATION)/EcFlags.mk

diff --git a/src/crypto_kem/xwing/amd64/ref/scalarmult.jinc b/src/crypto_kem/xwing/amd64/ref/scalarmult.jinc
@@ -1,4 +1,4 @@
-from Jade require "crypto_scalarmult/curve25519/amd64/ref4/curve25519.jinc"
+from Jade require "crypto_scalarmult/curve25519/amd64/ref4/scalarmult.jazz"
 
 fn xwing_x25519_base_p_rp(#spill_to_mmx reg u64 qp, reg ptr u8[32] _n)
 {