From d3c1dda60d0ec07fc7f593bfd83ec9457dfa7984 Mon Sep 17 00:00:00 2001 From: Peter Trommler Date: Fri, 3 Jul 2015 19:09:06 +0200 Subject: Implement PowerPC 64-bit native code backend for Linux Extend the PowerPC 32-bit native code generator for "64-bit PowerPC ELF Application Binary Interface Supplement 1.9" by Ian Lance Taylor and "Power Architecture 64-Bit ELF V2 ABI Specification -- OpenPOWER ABI for Linux Supplement" by IBM. The latter ABI is mainly used on POWER7/7+ and POWER8 Linux systems running in little-endian mode. The code generator supports both static and dynamic linking. PowerPC 64-bit code for ELF ABI 1.9 and 2 is mostly position independent anyway, and thus so is all the code emitted by the code generator. In other words, -fPIC does not make a difference. rts/stg/SMP.h support is implemented. Following the spirit of the introductory comment in PPC/CodeGen.hs, the rest of the code is a straightforward extension of the 32-bit implementation. Limitations: * Code is generated only in the medium code model, which is also gcc's default * Local symbols are not accessed directly, which seems to also be the case for 32-bit * LLVM does not work, but this does not work on 32-bit either * Must use the system runtime linker in GHCi, because the GHC linker for "static" object files (rts/Linker.c) for PPC 64-bit is not implemented. The system runtime (dynamic) linker works. * The handling of the system stack (register 1) is not ELF- compliant so stack traces break. Instead of allocating a new stack frame, spill code should use the "official" spill area in the current stack frame and deallocation code should restore the back chain * DWARF support is missing Fixes #9863 Test Plan: validate (on powerpc, too) Reviewers: simonmar, trofi, erikd, austin Reviewed By: trofi Subscribers: bgamari, arnons1, kgardas, thomie Differential Revision: https://phabricator.haskell.org/D629 GHC Trac Issues: #9863 --- compiler/codeGen/CodeGen/Platform.hs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'compiler/codeGen/CodeGen') diff --git a/compiler/codeGen/CodeGen/Platform.hs b/compiler/codeGen/CodeGen/Platform.hs index e44eed67cb..9af4712c29 100644 --- a/compiler/codeGen/CodeGen/Platform.hs +++ b/compiler/codeGen/CodeGen/Platform.hs @@ -31,7 +31,7 @@ callerSaves platform ArchARM {} -> ARM.callerSaves ArchARM64 -> ARM64.callerSaves arch - | arch `elem` [ArchPPC, ArchPPC_64] -> + | arch `elem` [ArchPPC, ArchPPC_64 ELF_V1, ArchPPC_64 ELF_V2] -> case platformOS platform of OSDarwin -> PPC_Darwin.callerSaves _ -> PPC.callerSaves @@ -54,7 +54,7 @@ activeStgRegs platform ArchARM {} -> ARM.activeStgRegs ArchARM64 -> ARM64.activeStgRegs arch - | arch `elem` [ArchPPC, ArchPPC_64] -> + | arch `elem` [ArchPPC, ArchPPC_64 ELF_V1, ArchPPC_64 ELF_V2] -> case platformOS platform of OSDarwin -> PPC_Darwin.activeStgRegs _ -> PPC.activeStgRegs @@ -72,7 +72,7 @@ haveRegBase platform ArchARM {} -> ARM.haveRegBase ArchARM64 -> ARM64.haveRegBase arch - | arch `elem` [ArchPPC, ArchPPC_64] -> + | arch `elem` [ArchPPC, ArchPPC_64 ELF_V1, ArchPPC_64 ELF_V2] -> case platformOS platform of OSDarwin -> PPC_Darwin.haveRegBase _ -> PPC.haveRegBase @@ -90,7 +90,7 @@ globalRegMaybe platform ArchARM {} -> ARM.globalRegMaybe ArchARM64 -> ARM64.globalRegMaybe arch - | arch `elem` [ArchPPC, ArchPPC_64] -> + | arch `elem` [ArchPPC, ArchPPC_64 ELF_V1, ArchPPC_64 ELF_V2] -> case platformOS platform of OSDarwin -> PPC_Darwin.globalRegMaybe _ -> PPC.globalRegMaybe @@ -108,7 +108,7 @@ freeReg platform ArchARM {} -> ARM.freeReg ArchARM64 -> ARM64.freeReg arch - | arch `elem` [ArchPPC, ArchPPC_64] -> + | arch `elem` [ArchPPC, ArchPPC_64 ELF_V1, ArchPPC_64 ELF_V2] -> case platformOS platform of OSDarwin -> PPC_Darwin.freeReg _ -> PPC.freeReg -- cgit v1.2.1