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-header.sh | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'extract-function-header.sh')

diff --git a/extract-function-header.sh b/extract-function-header.sh
index 3535e3c37..36676db06 100755
--- a/extract-function-header.sh
+++ b/extract-function-header.sh
@@ -21,18 +21,21 @@ cat <<"EOF"
 
 EOF
 
+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 ');'
       break
       ;;
   esac
 done
-
-- 
cgit v1.2.3