diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-03-14 10:31:02 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-03-14 10:31:02 +0100 |
commit | 67e8b783c7e794d995675a332f118533e6a9b14a (patch) | |
tree | d9e86638612cacd929580f280e71a070f1f71a00 /configure | |
parent | 6f3ac9e1cef476ef0c5eaf7875af24543f66128a (diff) | |
download | compcert-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-x | configure | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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" |