Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 1 | //===-- PPCTargetMachine.cpp - Define TargetMachine for PowerPC -----------===// |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 2 | // |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the LLVM research group and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 7 | // |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | b0096bd | 2005-08-15 23:47:04 +0000 | [diff] [blame] | 10 | // Top-level implementation for the PowerPC target. |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Chris Lattner | 2668959 | 2005-10-14 23:51:18 +0000 | [diff] [blame] | 14 | #include "PPC.h" |
| 15 | #include "PPCFrameInfo.h" |
Chris Lattner | 16e71f2 | 2005-10-14 23:59:06 +0000 | [diff] [blame] | 16 | #include "PPCTargetMachine.h" |
Chris Lattner | b9459b7 | 2005-10-14 23:53:41 +0000 | [diff] [blame] | 17 | #include "PPCJITInfo.h" |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 18 | #include "llvm/Module.h" |
| 19 | #include "llvm/PassManager.h" |
Nate Begeman | 3d72d14 | 2005-08-04 20:49:48 +0000 | [diff] [blame] | 20 | #include "llvm/Analysis/Verifier.h" |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/MachineFunction.h" |
| 22 | #include "llvm/CodeGen/Passes.h" |
Chris Lattner | 68905bb | 2004-07-11 04:17:58 +0000 | [diff] [blame] | 23 | #include "llvm/Target/TargetOptions.h" |
Chris Lattner | d36c970 | 2004-07-11 02:48:49 +0000 | [diff] [blame] | 24 | #include "llvm/Target/TargetMachineRegistry.h" |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 25 | #include "llvm/Transforms/Scalar.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 26 | #include "llvm/Support/CommandLine.h" |
Chris Lattner | d36c970 | 2004-07-11 02:48:49 +0000 | [diff] [blame] | 27 | #include <iostream> |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 28 | using namespace llvm; |
| 29 | |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 30 | namespace { |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 31 | // Register the targets |
Chris Lattner | 94de9a8 | 2006-06-16 01:37:27 +0000 | [diff] [blame] | 32 | RegisterTarget<PPC32TargetMachine> |
| 33 | X("ppc32", " PowerPC 32"); |
| 34 | RegisterTarget<PPC64TargetMachine> |
| 35 | Y("ppc64", " PowerPC 64"); |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 36 | } |
| 37 | |
Chris Lattner | 94de9a8 | 2006-06-16 01:37:27 +0000 | [diff] [blame] | 38 | unsigned PPC32TargetMachine::getJITMatchQuality() { |
Misha Brukman | 01eca8d | 2004-07-12 23:36:12 +0000 | [diff] [blame] | 39 | #if defined(__POWERPC__) || defined (__ppc__) || defined(_POWER) |
Chris Lattner | 94de9a8 | 2006-06-16 01:37:27 +0000 | [diff] [blame] | 40 | if (sizeof(void*) == 4) |
| 41 | return 10; |
Misha Brukman | 01eca8d | 2004-07-12 23:36:12 +0000 | [diff] [blame] | 42 | #endif |
Chris Lattner | 3d6721a | 2006-07-12 20:42:10 +0000 | [diff] [blame] | 43 | return 0; |
Misha Brukman | 01eca8d | 2004-07-12 23:36:12 +0000 | [diff] [blame] | 44 | } |
Chris Lattner | 94de9a8 | 2006-06-16 01:37:27 +0000 | [diff] [blame] | 45 | unsigned PPC64TargetMachine::getJITMatchQuality() { |
| 46 | #if defined(__POWERPC__) || defined (__ppc__) || defined(_POWER) |
| 47 | if (sizeof(void*) == 8) |
Chris Lattner | 90ac1c0 | 2006-07-06 17:10:42 +0000 | [diff] [blame] | 48 | return 10; |
Chris Lattner | 94de9a8 | 2006-06-16 01:37:27 +0000 | [diff] [blame] | 49 | #endif |
| 50 | return 0; |
| 51 | } |
Misha Brukman | 01eca8d | 2004-07-12 23:36:12 +0000 | [diff] [blame] | 52 | |
Chris Lattner | 94de9a8 | 2006-06-16 01:37:27 +0000 | [diff] [blame] | 53 | unsigned PPC32TargetMachine::getModuleMatchQuality(const Module &M) { |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 54 | // We strongly match "powerpc-*". |
| 55 | std::string TT = M.getTargetTriple(); |
| 56 | if (TT.size() >= 8 && std::string(TT.begin(), TT.begin()+8) == "powerpc-") |
| 57 | return 20; |
| 58 | |
| 59 | if (M.getEndianness() == Module::BigEndian && |
| 60 | M.getPointerSize() == Module::Pointer32) |
| 61 | return 10; // Weak match |
| 62 | else if (M.getEndianness() != Module::AnyEndianness || |
| 63 | M.getPointerSize() != Module::AnyPointerSize) |
| 64 | return 0; // Match for some other target |
| 65 | |
| 66 | return getJITMatchQuality()/2; |
| 67 | } |
| 68 | |
Chris Lattner | 94de9a8 | 2006-06-16 01:37:27 +0000 | [diff] [blame] | 69 | unsigned PPC64TargetMachine::getModuleMatchQuality(const Module &M) { |
| 70 | // We strongly match "powerpc64-*". |
| 71 | std::string TT = M.getTargetTriple(); |
| 72 | if (TT.size() >= 10 && std::string(TT.begin(), TT.begin()+10) == "powerpc64-") |
| 73 | return 20; |
| 74 | |
| 75 | if (M.getEndianness() == Module::BigEndian && |
| 76 | M.getPointerSize() == Module::Pointer64) |
| 77 | return 10; // Weak match |
| 78 | else if (M.getEndianness() != Module::AnyEndianness || |
| 79 | M.getPointerSize() != Module::AnyPointerSize) |
| 80 | return 0; // Match for some other target |
| 81 | |
| 82 | return getJITMatchQuality()/2; |
| 83 | } |
| 84 | |
| 85 | |
| 86 | PPCTargetMachine::PPCTargetMachine(const Module &M, const std::string &FS, |
| 87 | bool is64Bit) |
| 88 | : TargetMachine("PowerPC"), Subtarget(M, FS, is64Bit), |
Chris Lattner | b1d26f6 | 2006-06-17 00:01:04 +0000 | [diff] [blame] | 89 | DataLayout(Subtarget.getTargetDataString()), InstrInfo(*this), |
Chris Lattner | 94de9a8 | 2006-06-16 01:37:27 +0000 | [diff] [blame] | 90 | FrameInfo(*this, false), JITInfo(*this), TLInfo(*this), |
| 91 | InstrItins(Subtarget.getInstrItineraryData()) { |
| 92 | |
Evan Cheng | 4c1aa86 | 2006-02-22 20:19:42 +0000 | [diff] [blame] | 93 | if (getRelocationModel() == Reloc::Default) |
| 94 | if (Subtarget.isDarwin()) |
| 95 | setRelocationModel(Reloc::DynamicNoPIC); |
| 96 | else |
Chris Lattner | 35d86fe | 2006-07-26 21:12:04 +0000 | [diff] [blame] | 97 | setRelocationModel(Reloc::PIC_); |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 98 | } |
| 99 | |
Chris Lattner | 94de9a8 | 2006-06-16 01:37:27 +0000 | [diff] [blame] | 100 | PPC32TargetMachine::PPC32TargetMachine(const Module &M, const std::string &FS) |
| 101 | : PPCTargetMachine(M, FS, false) { |
| 102 | } |
| 103 | |
| 104 | |
| 105 | PPC64TargetMachine::PPC64TargetMachine(const Module &M, const std::string &FS) |
| 106 | : PPCTargetMachine(M, FS, true) { |
| 107 | } |
| 108 | |
Chris Lattner | 0431c96 | 2005-06-25 02:48:37 +0000 | [diff] [blame] | 109 | /// addPassesToEmitFile - Add passes to the specified pass manager to implement |
| 110 | /// a static compiler for this target. |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 111 | /// |
Nate Begeman | eb883af | 2006-08-23 21:08:52 +0000 | [diff] [blame^] | 112 | bool PPCTargetMachine::addPassesToEmitFile(PassManager &PM, std::ostream &Out, |
Chris Lattner | df2e425 | 2005-11-08 02:12:47 +0000 | [diff] [blame] | 113 | CodeGenFileType FileType, |
| 114 | bool Fast) { |
Nate Begeman | eb883af | 2006-08-23 21:08:52 +0000 | [diff] [blame^] | 115 | if (FileType != TargetMachine::AssemblyFile && |
| 116 | FileType != TargetMachine::ObjectFile) return true; |
Jim Laskey | a7cea6f | 2006-01-04 13:52:30 +0000 | [diff] [blame] | 117 | |
Chris Lattner | b0096bd | 2005-08-15 23:47:04 +0000 | [diff] [blame] | 118 | // Run loop strength reduction before anything else. |
Evan Cheng | 714554d | 2006-03-16 21:47:42 +0000 | [diff] [blame] | 119 | if (!Fast) PM.add(createLoopStrengthReducePass(&TLInfo)); |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 120 | |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 121 | // FIXME: Implement efficient support for garbage collection intrinsics. |
| 122 | PM.add(createLowerGCPass()); |
| 123 | |
| 124 | // FIXME: Implement the invoke/unwind instructions! |
| 125 | PM.add(createLowerInvokePass()); |
Chris Lattner | 5e8d2dc | 2005-09-27 00:14:41 +0000 | [diff] [blame] | 126 | |
| 127 | // Clean up after other passes, e.g. merging critical edges. |
Chris Lattner | df2e425 | 2005-11-08 02:12:47 +0000 | [diff] [blame] | 128 | if (!Fast) PM.add(createCFGSimplificationPass()); |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 129 | |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 130 | // Make sure that no unreachable blocks are instruction selected. |
| 131 | PM.add(createUnreachableBlockEliminationPass()); |
| 132 | |
Chris Lattner | 8482dd8 | 2005-08-17 19:33:30 +0000 | [diff] [blame] | 133 | // Install an instruction selector. |
Chris Lattner | 05f1fe8 | 2006-01-12 01:46:07 +0000 | [diff] [blame] | 134 | PM.add(createPPCISelDag(*this)); |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 135 | |
| 136 | if (PrintMachineCode) |
| 137 | PM.add(createMachineFunctionPrinterPass(&std::cerr)); |
| 138 | |
| 139 | PM.add(createRegisterAllocator()); |
| 140 | |
| 141 | if (PrintMachineCode) |
| 142 | PM.add(createMachineFunctionPrinterPass(&std::cerr)); |
| 143 | |
Nate Begeman | ca068e8 | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 144 | PM.add(createPrologEpilogCodeInserter()); |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 145 | |
Nate Begeman | ca068e8 | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 146 | // Must run branch selection immediately preceding the asm printer |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 147 | PM.add(createPPCBranchSelectionPass()); |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 148 | |
Nate Begeman | eb883af | 2006-08-23 21:08:52 +0000 | [diff] [blame^] | 149 | if (FileType == TargetMachine::AssemblyFile) |
| 150 | PM.add(createDarwinAsmPrinter(Out, *this)); |
| 151 | else |
| 152 | // FIXME: support PPC ELF files at some point |
| 153 | addPPCMachOObjectWriterPass(PM, Out, *this); |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 154 | |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 155 | PM.add(createMachineCodeDeleter()); |
| 156 | return false; |
| 157 | } |
| 158 | |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 159 | void PPCJITInfo::addPassesToJITCompile(FunctionPassManager &PM) { |
Nate Begeman | d9993b0 | 2006-04-21 22:11:27 +0000 | [diff] [blame] | 160 | // The JIT should use the static relocation model. |
Nate Begeman | 6fcbd69 | 2006-04-21 22:04:15 +0000 | [diff] [blame] | 161 | TM.setRelocationModel(Reloc::Static); |
Nate Begeman | f8b0294 | 2005-04-15 22:12:16 +0000 | [diff] [blame] | 162 | |
Chris Lattner | b0096bd | 2005-08-15 23:47:04 +0000 | [diff] [blame] | 163 | // Run loop strength reduction before anything else. |
Evan Cheng | 714554d | 2006-03-16 21:47:42 +0000 | [diff] [blame] | 164 | PM.add(createLoopStrengthReducePass(TM.getTargetLowering())); |
Chris Lattner | 0c74906 | 2005-03-02 06:19:22 +0000 | [diff] [blame] | 165 | |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 166 | // FIXME: Implement efficient support for garbage collection intrinsics. |
| 167 | PM.add(createLowerGCPass()); |
| 168 | |
| 169 | // FIXME: Implement the invoke/unwind instructions! |
| 170 | PM.add(createLowerInvokePass()); |
| 171 | |
Chris Lattner | 5e8d2dc | 2005-09-27 00:14:41 +0000 | [diff] [blame] | 172 | // Clean up after other passes, e.g. merging critical edges. |
| 173 | PM.add(createCFGSimplificationPass()); |
| 174 | |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 175 | // Make sure that no unreachable blocks are instruction selected. |
| 176 | PM.add(createUnreachableBlockEliminationPass()); |
| 177 | |
Nate Begeman | 73bfa71 | 2005-08-18 23:53:15 +0000 | [diff] [blame] | 178 | // Install an instruction selector. |
Chris Lattner | 05f1fe8 | 2006-01-12 01:46:07 +0000 | [diff] [blame] | 179 | PM.add(createPPCISelDag(TM)); |
Nate Begeman | f8b0294 | 2005-04-15 22:12:16 +0000 | [diff] [blame] | 180 | |
Nate Begeman | 7a4fe9b | 2004-08-11 07:40:04 +0000 | [diff] [blame] | 181 | PM.add(createRegisterAllocator()); |
| 182 | PM.add(createPrologEpilogCodeInserter()); |
Chris Lattner | e4fce6f | 2004-11-23 05:56:40 +0000 | [diff] [blame] | 183 | |
| 184 | // Must run branch selection immediately preceding the asm printer |
| 185 | PM.add(createPPCBranchSelectionPass()); |
| 186 | |
| 187 | if (PrintMachineCode) |
| 188 | PM.add(createMachineFunctionPrinterPass(&std::cerr)); |
Misha Brukman | 0145881 | 2004-08-11 00:11:25 +0000 | [diff] [blame] | 189 | } |
Misha Brukman | 5dfe3a9 | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 190 | |
Nate Begeman | eb883af | 2006-08-23 21:08:52 +0000 | [diff] [blame^] | 191 | /// addPassesToEmitMachineCode - Add passes to the specified pass manager to get |
| 192 | /// machine code emitted. This uses a MachineCodeEmitter object to handle |
| 193 | /// actually outputting the machine code and resolving things like the address |
| 194 | /// of functions. This method should returns true if machine code emission is |
| 195 | /// not supported. |
| 196 | /// |
| 197 | bool PPCTargetMachine::addPassesToEmitMachineCode(FunctionPassManager &PM, |
| 198 | MachineCodeEmitter &MCE) { |
| 199 | // Machine code emitter pass for PowerPC |
| 200 | PM.add(createPPCCodeEmitterPass(*this, MCE)); |
| 201 | // Delete machine code for this function after emitting it |
| 202 | PM.add(createMachineCodeDeleter()); |
| 203 | return false; |
| 204 | } |