aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2015-03-14 10:31:02 +0100
committerXavier Leroy <xavier.leroy@inria.fr>2015-03-14 10:31:02 +0100
commit67e8b783c7e794d995675a332f118533e6a9b14a (patch)
treed9e86638612cacd929580f280e71a070f1f71a00 /configure
parent6f3ac9e1cef476ef0c5eaf7875af24543f66128a (diff)
downloadcompcert-67e8b783c7e794d995675a332f118533e6a9b14a.tar.gz
compcert-67e8b783c7e794d995675a332f118533e6a9b14a.zip
Improve performance and configurability for the StructReturn pass.
configure: special ABI value for IA32/MacOSX and PowerPC/Linux cparser/Machine: special config for PowerPC/Linux cparser/StructReturn: generate better code for return-as-int driver/Clflags, driver/Driver: add options -fstruct-return=<convention> and -fstruct-passing=<convention> to simplify testing
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure7
1 files changed, 5 insertions, 2 deletions
diff --git a/configure b/configure
index 447bc0a2..2d500d57 100755
--- a/configure
+++ b/configure
@@ -84,7 +84,10 @@ case "$target" in
powerpc-linux|ppc-linux|powerpc-eabi|ppc-eabi)
arch="powerpc"
model="standard"
- abi="eabi"
+ case "$target" in
+ *-linux) abi="linux";;
+ *-eabi) abi="eabi";;
+ esac
system="linux"
cc="${toolprefix}gcc"
cprepro="${toolprefix}gcc -U__GNUC__ -E"
@@ -154,7 +157,7 @@ case "$target" in
ia32-macosx)
arch="ia32"
model="sse2"
- abi="standard"
+ abi="macosx"
system="macosx"
cc="${toolprefix}gcc -arch i386"
cprepro="${toolprefix}gcc -arch i386 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' -E"