blob: 18c7fdc9048fa3bc6a8131b775e58c2f6615222c [file] [log] [blame]
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001//===-- PowerPCTargetMachine.cpp - Define TargetMachine for PowerPC -------===//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00002//
Misha Brukman5dfe3a92004-06-21 16:55:25 +00003// 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 Brukmanb5f662f2005-04-21 23:30:14 +00007//
Misha Brukman5dfe3a92004-06-21 16:55:25 +00008//===----------------------------------------------------------------------===//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00009//
Chris Lattnerb0096bd2005-08-15 23:47:04 +000010// Top-level implementation for the PowerPC target.
Misha Brukman5dfe3a92004-06-21 16:55:25 +000011//
12//===----------------------------------------------------------------------===//
13
Misha Brukman5dfe3a92004-06-21 16:55:25 +000014#include "PowerPC.h"
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000015#include "PowerPCTargetMachine.h"
Nate Begemanca068e82004-08-14 22:16:36 +000016#include "PowerPCFrameInfo.h"
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000017#include "PPC32TargetMachine.h"
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000018#include "PPC32JITInfo.h"
Misha Brukman5dfe3a92004-06-21 16:55:25 +000019#include "llvm/Module.h"
20#include "llvm/PassManager.h"
Nate Begeman3d72d142005-08-04 20:49:48 +000021#include "llvm/Analysis/Verifier.h"
Misha Brukman8c9f5202004-06-21 18:30:31 +000022#include "llvm/CodeGen/IntrinsicLowering.h"
Misha Brukman5dfe3a92004-06-21 16:55:25 +000023#include "llvm/CodeGen/MachineFunction.h"
24#include "llvm/CodeGen/Passes.h"
Chris Lattner68905bb2004-07-11 04:17:58 +000025#include "llvm/Target/TargetOptions.h"
Chris Lattnerd36c9702004-07-11 02:48:49 +000026#include "llvm/Target/TargetMachineRegistry.h"
Misha Brukman5dfe3a92004-06-21 16:55:25 +000027#include "llvm/Transforms/Scalar.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000028#include "llvm/Support/CommandLine.h"
Chris Lattnerd36c9702004-07-11 02:48:49 +000029#include <iostream>
Misha Brukman5dfe3a92004-06-21 16:55:25 +000030using namespace llvm;
31
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000032namespace {
Chris Lattner8482dd82005-08-17 19:33:30 +000033 const char *PPC32ID = "PowerPC/32bit";
Misha Brukmanb5f662f2005-04-21 23:30:14 +000034
Chris Lattner8482dd82005-08-17 19:33:30 +000035 static cl::opt<bool> EnablePPCDAGDAG("enable-ppc-dag-isel", cl::Hidden,
36 cl::desc("Enable DAG-to-DAG isel for PPC (beta)"));
37
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000038 // Register the targets
Misha Brukmanb5f662f2005-04-21 23:30:14 +000039 RegisterTarget<PPC32TargetMachine>
Chris Lattnercbb98122004-10-10 16:26:13 +000040 X("ppc32", " PowerPC 32-bit");
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000041}
42
Misha Brukman01458812004-08-11 00:11:25 +000043PowerPCTargetMachine::PowerPCTargetMachine(const std::string &name,
44 IntrinsicLowering *IL,
Nate Begeman8c00f8c2005-08-04 07:12:09 +000045 const Module &M,
Misha Brukman01458812004-08-11 00:11:25 +000046 const TargetData &TD,
Chris Lattnere4fce6f2004-11-23 05:56:40 +000047 const PowerPCFrameInfo &TFI)
Nate Begeman3d72d142005-08-04 20:49:48 +000048: TargetMachine(name, IL, TD), FrameInfo(TFI), Subtarget(M) {
49 if (TargetDefault == PPCTarget) {
Chris Lattner3c304a32005-08-05 22:05:03 +000050 if (Subtarget.isAIX()) PPCTarget = TargetAIX;
51 if (Subtarget.isDarwin()) PPCTarget = TargetDarwin;
Nate Begeman3d72d142005-08-04 20:49:48 +000052 }
53}
Chris Lattnerd36c9702004-07-11 02:48:49 +000054
Chris Lattnere4fce6f2004-11-23 05:56:40 +000055unsigned PPC32TargetMachine::getJITMatchQuality() {
Misha Brukman01eca8d2004-07-12 23:36:12 +000056#if defined(__POWERPC__) || defined (__ppc__) || defined(_POWER)
57 return 10;
58#else
59 return 0;
60#endif
61}
Misha Brukman01eca8d2004-07-12 23:36:12 +000062
Chris Lattner0431c962005-06-25 02:48:37 +000063/// addPassesToEmitFile - Add passes to the specified pass manager to implement
64/// a static compiler for this target.
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000065///
Chris Lattner0431c962005-06-25 02:48:37 +000066bool PowerPCTargetMachine::addPassesToEmitFile(PassManager &PM,
67 std::ostream &Out,
68 CodeGenFileType FileType) {
69 if (FileType != TargetMachine::AssemblyFile) return true;
70
Chris Lattnerb0096bd2005-08-15 23:47:04 +000071 // Run loop strength reduction before anything else.
72 PM.add(createLoopStrengthReducePass());
73 PM.add(createCFGSimplificationPass());
Misha Brukmanb5f662f2005-04-21 23:30:14 +000074
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000075 // FIXME: Implement efficient support for garbage collection intrinsics.
76 PM.add(createLowerGCPass());
77
78 // FIXME: Implement the invoke/unwind instructions!
79 PM.add(createLowerInvokePass());
80
81 // FIXME: Implement the switch instruction in the instruction selector!
82 PM.add(createLowerSwitchPass());
83
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000084 // Make sure that no unreachable blocks are instruction selected.
85 PM.add(createUnreachableBlockEliminationPass());
86
Chris Lattner8482dd82005-08-17 19:33:30 +000087 // Install an instruction selector.
88 if (EnablePPCDAGDAG) {
89 PM.add(createPPC32ISelDag(*this));
90
91 } else if (PatternISelTriState == 0) {
Chris Lattnerb0096bd2005-08-15 23:47:04 +000092 PM.add(createLowerConstantExpressionsPass());
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000093 PM.add(createPPC32ISelSimple(*this));
Chris Lattnerb0096bd2005-08-15 23:47:04 +000094 } else
Nate Begemanf8b02942005-04-15 22:12:16 +000095 PM.add(createPPC32ISelPattern(*this));
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000096
97 if (PrintMachineCode)
98 PM.add(createMachineFunctionPrinterPass(&std::cerr));
99
100 PM.add(createRegisterAllocator());
101
102 if (PrintMachineCode)
103 PM.add(createMachineFunctionPrinterPass(&std::cerr));
104
Nate Begemanca068e82004-08-14 22:16:36 +0000105 PM.add(createPrologEpilogCodeInserter());
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000106
Nate Begemanca068e82004-08-14 22:16:36 +0000107 // Must run branch selection immediately preceding the asm printer
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000108 PM.add(createPPCBranchSelectionPass());
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000109
Nate Begeman3d72d142005-08-04 20:49:48 +0000110 // Decide which asm printer to use. If the user has not specified one on
111 // the command line, choose whichever one matches the default (current host).
112 switch (PPCTarget) {
Nate Begeman3d72d142005-08-04 20:49:48 +0000113 case TargetAIX:
Nate Begemaned428532004-09-04 05:00:00 +0000114 PM.add(createAIXAsmPrinter(Out, *this));
Nate Begeman3d72d142005-08-04 20:49:48 +0000115 break;
Chris Lattner4e624ec2005-08-05 16:17:22 +0000116 case TargetDefault:
Nate Begeman3d72d142005-08-04 20:49:48 +0000117 case TargetDarwin:
Nate Begemaned428532004-09-04 05:00:00 +0000118 PM.add(createDarwinAsmPrinter(Out, *this));
Nate Begeman3d72d142005-08-04 20:49:48 +0000119 break;
120 }
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000121
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000122 PM.add(createMachineCodeDeleter());
123 return false;
124}
125
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000126void PowerPCJITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Nate Begeman2497e632005-07-21 20:44:43 +0000127 // The JIT does not support or need PIC.
128 PICEnabled = false;
Nate Begemanf8b02942005-04-15 22:12:16 +0000129
Chris Lattnerb0096bd2005-08-15 23:47:04 +0000130 // Run loop strength reduction before anything else.
131 PM.add(createLoopStrengthReducePass());
132 PM.add(createCFGSimplificationPass());
Chris Lattner0c749062005-03-02 06:19:22 +0000133
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000134 // FIXME: Implement efficient support for garbage collection intrinsics.
135 PM.add(createLowerGCPass());
136
137 // FIXME: Implement the invoke/unwind instructions!
138 PM.add(createLowerInvokePass());
139
140 // FIXME: Implement the switch instruction in the instruction selector!
141 PM.add(createLowerSwitchPass());
142
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000143 // Make sure that no unreachable blocks are instruction selected.
144 PM.add(createUnreachableBlockEliminationPass());
145
Nate Begemanf8b02942005-04-15 22:12:16 +0000146 // Default to pattern ISel
Chris Lattnerb0096bd2005-08-15 23:47:04 +0000147 if (PatternISelTriState == 0) {
148 PM.add(createLowerConstantExpressionsPass());
Nate Begemanf8b02942005-04-15 22:12:16 +0000149 PM.add(createPPC32ISelSimple(TM));
Chris Lattnerb0096bd2005-08-15 23:47:04 +0000150 } else {
Nate Begemanf8b02942005-04-15 22:12:16 +0000151 PM.add(createPPC32ISelPattern(TM));
Chris Lattnerb0096bd2005-08-15 23:47:04 +0000152 }
Nate Begemanf8b02942005-04-15 22:12:16 +0000153
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000154 PM.add(createRegisterAllocator());
155 PM.add(createPrologEpilogCodeInserter());
Chris Lattnere4fce6f2004-11-23 05:56:40 +0000156
157 // Must run branch selection immediately preceding the asm printer
158 PM.add(createPPCBranchSelectionPass());
159
160 if (PrintMachineCode)
161 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Misha Brukman01458812004-08-11 00:11:25 +0000162}
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000163
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000164/// PowerPCTargetMachine ctor - Create an ILP32 architecture model
165///
Misha Brukman66aa3e02004-08-17 05:06:47 +0000166PPC32TargetMachine::PPC32TargetMachine(const Module &M, IntrinsicLowering *IL)
Nate Begeman8c00f8c2005-08-04 07:12:09 +0000167 : PowerPCTargetMachine(PPC32ID, IL, M,
Nate Begeman2497e632005-07-21 20:44:43 +0000168 TargetData(PPC32ID,false,4,4,4,4,4,4,2,1,1),
Chris Lattnere4fce6f2004-11-23 05:56:40 +0000169 PowerPCFrameInfo(*this, false)), JITInfo(*this) {}
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000170
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000171unsigned PPC32TargetMachine::getModuleMatchQuality(const Module &M) {
Chris Lattner3ea78c42004-12-12 17:40:28 +0000172 // We strongly match "powerpc-*".
173 std::string TT = M.getTargetTriple();
174 if (TT.size() >= 8 && std::string(TT.begin(), TT.begin()+8) == "powerpc-")
175 return 20;
176
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000177 if (M.getEndianness() == Module::BigEndian &&
178 M.getPointerSize() == Module::Pointer32)
Chris Lattner3ea78c42004-12-12 17:40:28 +0000179 return 10; // Weak match
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000180 else if (M.getEndianness() != Module::AnyEndianness ||
181 M.getPointerSize() != Module::AnyPointerSize)
182 return 0; // Match for some other target
183
184 return getJITMatchQuality()/2;
185}