From 98daac5a86136cf0f1018b292baf8a676f6fd579 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 12 Sep 2017 16:33:09 -0400
Subject: Update register allocation more

Switch over to intel syntax, because I can't figure out how to name
registers in AT&T / GAS.
---
 extract-function.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'extract-function.sh')

diff --git a/extract-function.sh b/extract-function.sh
index b19adcd76..8653c4b32 100755
--- a/extract-function.sh
+++ b/extract-function.sh
@@ -38,7 +38,9 @@ lines=0
 show=false
 brace='{ '
 close_brace='}'
+function_open_brace=''
 if [ ! -z "${FIAT_CRYPTO_EXTRACT_FUNCTION_IS_ASM}" ]; then
+  function_open_brace=' {'
   brace=''
   close_brace=''
 fi
@@ -51,7 +53,8 @@ while IFS= read -r line; do
         while IFS= read -r arg; do
           echo -n ", uint64_t $arg"
         done
-        echo ')'
+        echo -n ')'
+        echo "${function_open_brace}"
       show=true
       ;;
     *"Return "*|*"return "*)
-- 
cgit v1.2.3