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

1 files changed, 6 insertions, 3 deletions

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
-