From efcae3ac11f497a719a368359a6b275a7161a6d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Olivier=20Ch=C3=A9ron?= <olivier.cheron@gmail.com>
Date: Sun, 8 Jan 2017 15:02:55 +0100
Subject: [PATCH] Added generation tools

This generates all decaf files from the original repo.
---
 cbits/decaf/tools/clean.sh    |  24 +++++++
 cbits/decaf/tools/generate.sh | 116 ++++++++++++++++++++++++++++++++++
 2 files changed, 140 insertions(+)
 create mode 100755 cbits/decaf/tools/clean.sh
 create mode 100755 cbits/decaf/tools/generate.sh

diff --git a/cbits/decaf/tools/clean.sh b/cbits/decaf/tools/clean.sh
new file mode 100755
index 0000000..4d35952
--- /dev/null
+++ b/cbits/decaf/tools/clean.sh
@@ -0,0 +1,24 @@
+#!/bin/sh
+
+# Usage: ./clean.sh
+#
+# Remove all files created by 'generate.sh'.
+
+DEST_DIR="`dirname "$0"`"/..
+
+rm    "$DEST_DIR"/*.c
+rm    "$DEST_DIR"/include/constant_time.h
+rm    "$DEST_DIR"/include/field.h
+rm    "$DEST_DIR"/include/keccak_internal.h
+rm    "$DEST_DIR"/include/portable_endian.h
+rm    "$DEST_DIR"/include/word.h
+rm    "$DEST_DIR"/include/decaf.h
+rm    "$DEST_DIR"/include/decaf/common.h
+rm    "$DEST_DIR"/include/decaf/ed448.h
+rm    "$DEST_DIR"/include/decaf/point_255.h
+rm    "$DEST_DIR"/include/decaf/point_448.h
+rm    "$DEST_DIR"/include/decaf/sha512.h
+rm    "$DEST_DIR"/include/decaf/shake.h
+rm -r "$DEST_DIR"/include/arch_*
+rm -r "$DEST_DIR"/ed448goldilocks
+rm -r "$DEST_DIR"/p448
diff --git a/cbits/decaf/tools/generate.sh b/cbits/decaf/tools/generate.sh
new file mode 100755
index 0000000..e3177b0
--- /dev/null
+++ b/cbits/decaf/tools/generate.sh
@@ -0,0 +1,116 @@
+#!/bin/sh
+
+# Usage: ./generate.sh /path/to/ed448goldilocks-code
+#
+# Generate all files from ed448goldilocks branch 'master'
+# (available at <git://git.code.sf.net/p/ed448goldilocks/code>).
+#
+# Project is synced with upstream commit
+# '0a6e96827595fa1a5a62d12ac83c3cc5dda6dd67', i.e. tag 'v0.9.2'.
+#
+# Notes about transformations applied:
+#
+# * only a subset of library files are used, cryptonite needing only x448
+#   and ed448.  Some headers like point_255.h are still included but copied
+#   empty, as the definitions are not necessary.  Only the simplest
+#   architectures arch_32 and arch_ref64 are used to get the best
+#   compatibility and generality over performance.
+#
+# * substitutions are performed in order to add a cryptonite_ prefix
+#   to all external symbols
+
+SRC_DIR="$1/src"
+DEST_DIR="`dirname "$0"`"/..
+
+ARCHITECTURES="arch_32 arch_ref64"
+
+if [ ! -d "$SRC_DIR" ]; then
+  echo "$0: invalid source directory: $1" && exit 1
+fi
+
+convert() {
+  local FILE_NAME="`basename "$1"`"
+  sed <"$1" >"$2/$FILE_NAME" \
+    -e 's/decaf_/cryptonite_decaf_/g' \
+    -e 's/DECAF_/CRYPTONITE_DECAF_/g' \
+    -e 's/gf_/cryptonite_gf_/g' \
+    -e 's/keccakf/cryptonite_keccakf/g' \
+    -e 's/NO_CONTEXT_POINTS_HERE/CRYPTONITE_NO_CONTEXT_POINTS_HERE/g' \
+    -e 's/P25519_SQRT_MINUS_ONE/CRYPTONITE_P25519_SQRT_MINUS_ONE/g'
+}
+
+convert "$SRC_DIR"/shake.c  "$DEST_DIR"
+convert "$SRC_DIR"/utils.c  "$DEST_DIR"
+
+mkdir -p "$DEST_DIR"/include
+convert "$SRC_DIR"/include/constant_time.h   "$DEST_DIR"/include
+convert "$SRC_DIR"/include/field.h           "$DEST_DIR"/include
+convert "$SRC_DIR"/include/keccak_internal.h "$DEST_DIR"/include
+convert "$SRC_DIR"/include/portable_endian.h "$DEST_DIR"/include
+convert "$SRC_DIR"/include/word.h            "$DEST_DIR"/include
+
+for ARCH in $ARCHITECTURES; do
+  mkdir -p "$DEST_DIR"/include/$ARCH
+  convert "$SRC_DIR"/include/$ARCH/arch_intrinsics.h "$DEST_DIR"/include/$ARCH
+done
+
+mkdir -p "$DEST_DIR"/include/decaf
+convert "$SRC_DIR"/GENERATED/include/decaf.h           "$DEST_DIR"/include
+convert "$SRC_DIR"/GENERATED/include/decaf/common.h    "$DEST_DIR"/include/decaf
+convert "$SRC_DIR"/GENERATED/include/decaf/ed448.h     "$DEST_DIR"/include/decaf
+convert "$SRC_DIR"/GENERATED/include/decaf/point_448.h "$DEST_DIR"/include/decaf
+convert "$SRC_DIR"/GENERATED/include/decaf/shake.h     "$DEST_DIR"/include/decaf
+
+for CURVE in ed448goldilocks; do
+  mkdir -p "$DEST_DIR"/$CURVE
+  convert "$SRC_DIR"/GENERATED/c/$CURVE/decaf.c        "$DEST_DIR"/$CURVE
+  convert "$SRC_DIR"/GENERATED/c/$CURVE/decaf_tables.c "$DEST_DIR"/$CURVE
+  convert "$SRC_DIR"/GENERATED/c/$CURVE/eddsa.c        "$DEST_DIR"/$CURVE
+  convert "$SRC_DIR"/GENERATED/c/$CURVE/scalar.c       "$DEST_DIR"/$CURVE
+done
+
+for FIELD in p448; do
+  if [ $FIELD = p25519 ]; then
+    CURVE=curve25519
+  elif [ $FIELD = p448 ]; then
+    CURVE=ed448goldilocks
+  else
+    echo "Invalid field: $FIELD" && exit 1
+  fi
+
+  mkdir -p "$DEST_DIR"/$FIELD
+  convert "$SRC_DIR"/$FIELD/f_arithmetic.c          "$DEST_DIR"/$FIELD
+  convert "$SRC_DIR"/GENERATED/c/$FIELD/f_generic.c "$DEST_DIR"/$FIELD
+
+  for ARCH in $ARCHITECTURES; do
+    mkdir -p "$DEST_DIR"/$FIELD/$ARCH
+    convert "$SRC_DIR"/include/field.h              "$DEST_DIR"/$FIELD/$ARCH
+    convert "$SRC_DIR"/GENERATED/c/$FIELD/f_field.h "$DEST_DIR"/$FIELD/$ARCH
+    convert "$SRC_DIR"/$FIELD/$ARCH/f_impl.h        "$DEST_DIR"/$FIELD/$ARCH
+    convert "$SRC_DIR"/$FIELD/$ARCH/f_impl.c        "$DEST_DIR"/$FIELD/$ARCH
+
+    cat > "$DEST_DIR"/cryptonite_$FIELD\_$ARCH.c <<EOF
+/*
+  The Makefile in the original project uses variable include directories
+  for each field, but Cabal does not support this.  The following trick
+  preloads the field-dependent headers "f_field.h" and "f_impl.h" so that
+  further includes of "field.h" have nothing to do later.
+*/
+#include "$FIELD/$ARCH/field.h"
+#include "$FIELD/$ARCH/f_impl.c"
+
+#include "$CURVE/decaf.c"
+#include "$CURVE/decaf_tables.c"
+#include "$CURVE/eddsa.c"
+#include "$CURVE/scalar.c"
+#include "$FIELD/f_arithmetic.c"
+#include "$FIELD/f_generic.c"
+EOF
+  done
+done
+
+for FILE in point_255.h sha512.h; do
+  cat > "$DEST_DIR"/include/decaf/$FILE <<EOF
+/* Not needed if 448-only */
+EOF
+done