diff options
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". |