From 3f87426dc1d3ed69f3cb327e41c4947b80b4c42c Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 21 Sep 2017 14:03:21 -0400
Subject: Add femul,fesqure for C32

32-bit ladderstep takes way too long (at least on Coq 8.6), so we don't
add it yet
---
 extract-function.sh | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'extract-function.sh')

diff --git a/extract-function.sh b/extract-function.sh
index 8653c4b32..024dda40f 100755
--- a/extract-function.sh
+++ b/extract-function.sh
@@ -44,14 +44,17 @@ if [ ! -z "${FIAT_CRYPTO_EXTRACT_FUNCTION_IS_ASM}" ]; then
   brace=''
   close_brace=''
 fi
+if [ -z "${BITWIDTH}" ]; then
+  BITWIDTH=64
+fi
 while IFS= read -r line; do
   case "$line" in
     *"λ '"*)
       echo -n "void force_inline $funcname("
-      echo -n "uint64_t* out"
+      echo -n "uint${BITWIDTH}_t* out"
       echo "$line" | grep -owP -- '\w+\d+' | \
         while IFS= read -r arg; do
-          echo -n ", uint64_t $arg"
+          echo -n ", uint${BITWIDTH}_t $arg"
         done
         echo -n ')'
         echo "${function_open_brace}"
@@ -69,7 +72,7 @@ while IFS= read -r line; do
             echo -n "${close_brace}"
           done
           echo "}"
-          echo "// caller: uint64_t out[$i];" )
+          echo "// caller: uint${BITWIDTH}_t out[$i];" )
       show=false
       break
       ;;
-- 
cgit v1.2.3