diff options
author | Jason Gross <jgross@mit.edu> | 2017-09-12 16:33:09 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-09-12 16:33:09 -0400 |
commit | 98daac5a86136cf0f1018b292baf8a676f6fd579 (patch) | |
tree | 51b0f170062345236e568f9c4667bb5625bf527d /extract-function.sh | |
parent | 3c10ad879925d3d6410e090c3b0606be8a9c4a2d (diff) |
Update register allocation more
Switch over to intel syntax, because I can't figure out how to name
registers in AT&T / GAS.
Diffstat (limited to 'extract-function.sh')
-rwxr-xr-x | extract-function.sh | 5 |
1 files changed, 4 insertions, 1 deletions
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 "*) |