From 284a3d5aa23aa17f9fcdcccc378c350ea3a88a24 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 12 Sep 2017 15:28:20 -0400
Subject: Update extract-function.sh for inline asm

It needs to use printf rather than echo to not interpret \n, \t, and it
needs to not insert { and } everywhere.
---
 extract-function.sh | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

(limited to 'extract-function.sh')

diff --git a/extract-function.sh b/extract-function.sh
index b99862405..b19adcd76 100755
--- a/extract-function.sh
+++ b/extract-function.sh
@@ -36,6 +36,12 @@ EOF
 
 lines=0
 show=false
+brace='{ '
+close_brace='}'
+if [ ! -z "${FIAT_CRYPTO_EXTRACT_FUNCTION_IS_ASM}" ]; then
+  brace=''
+  close_brace=''
+fi
 while IFS= read -r line; do
   case "$line" in
     *"λ '"*)
@@ -57,7 +63,7 @@ while IFS= read -r line; do
             i=$((i+1))
           done;
           seq 2 "$lines" | while IFS= read -r _; do
-            echo -n "}"
+            echo -n "${close_brace}"
           done
           echo "}"
           echo "// caller: uint64_t out[$i];" )
@@ -68,14 +74,13 @@ while IFS= read -r line; do
       case "$show" in
         true)
           lines=$((lines+1))
-          line="$(echo "$line" | \
+          line="$(printf "%s" "$line" | \
             sed s':^\([^,]*\),\(\s*\)\([^ ]*\) \([^ ]*\)\(.*\)\(mulx.*\))\([; ]*\)$: \3 \4;\2\1\5_\6, \&\4)\7:' | \
             sed s':^\([^,]*\) \([^, ]*\)\(\s*\),\(.*\)\(addcarryx.*\))\([; ]*\)$:\1 \2\3;\4_\5, \&\2)\6:' | \
             sed s':^\([^,]*\) \([^, ]*\)\(\s*\),\(.*\)\(subborrow.*\))\([; ]*\)$:\1 \2\3;\4_\5, \&\2)\6:')"
-          echo "{ $line"
+          printf "%s%s\n" "${brace}" "${line}"
           ;;
       esac
       ;;
   esac
 done
-
-- 
cgit v1.2.3