diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-02-24 19:59:43 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-03-02 10:30:15 +0100 |
| commit | e66be6e05b190c51b38d628884ef3e015ebf73fd (patch) | |
| tree | 4a2e85c65530596418981238e5672998d5ad0857 /powerpc/extractionMachdep.v | |
| parent | 5003b8d93c2a20821b776f7f74f5096a308a03cf (diff) | |
| download | compcert-e66be6e05b190c51b38d628884ef3e015ebf73fd.tar.gz compcert-e66be6e05b190c51b38d628884ef3e015ebf73fd.zip | |
Make single arg alignment depend on toolchain.
GCC does passes single arguments as singles on the stack but diab
and the eabi say single arguments should be passed as double on
the stack.
This commit changes the alignment of single arguments to 4 for
gcc based backends.
Diffstat (limited to 'powerpc/extractionMachdep.v')
| -rw-r--r-- | powerpc/extractionMachdep.v | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/powerpc/extractionMachdep.v b/powerpc/extractionMachdep.v index 7482435f..a3e945bf 100644 --- a/powerpc/extractionMachdep.v +++ b/powerpc/extractionMachdep.v @@ -34,3 +34,6 @@ Extract Constant Archi.ppc64 => | ""e5500"" -> true | _ -> false end". + +(* Choice of passing of single *) +Extract Constant Archi.single_passed_as_single => "Configuration.gnu_toolchain". |