blob: 936629a5abccfba403a6ddb45e66408f4a080fba [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.
Nate Begeman73bfa712005-08-18 23:53:15 +000088 if (EnablePPCDAGDAG)
Chris Lattner8482dd82005-08-17 19:33:30 +000089 PM.add(createPPC32ISelDag(*this));
Nate Begeman73bfa712005-08-18 23:53:15 +000090 else
Nate Begemanf8b02942005-04-15 22:12:16 +000091 PM.add(createPPC32ISelPattern(*this));
Nate Begeman7a4fe9b2004-08-11 07:40:04 +000092
93 if (PrintMachineCode)
94 PM.add(createMachineFunctionPrinterPass(&std::cerr));
95
96 PM.add(createRegisterAllocator());
97
98 if (PrintMachineCode)
99 PM.add(createMachineFunctionPrinterPass(&std::cerr));
100
Nate Begemanca068e82004-08-14 22:16:36 +0000101 PM.add(createPrologEpilogCodeInserter());
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000102
Nate Begemanca068e82004-08-14 22:16:36 +0000103 // Must run branch selection immediately preceding the asm printer
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000104 PM.add(createPPCBranchSelectionPass());
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000105
Nate Begeman3d72d142005-08-04 20:49:48 +0000106 // Decide which asm printer to use. If the user has not specified one on
107 // the command line, choose whichever one matches the default (current host).
108 switch (PPCTarget) {
Nate Begeman3d72d142005-08-04 20:49:48 +0000109 case TargetAIX:
Nate Begemaned428532004-09-04 05:00:00 +0000110 PM.add(createAIXAsmPrinter(Out, *this));
Nate Begeman3d72d142005-08-04 20:49:48 +0000111 break;
Chris Lattner4e624ec2005-08-05 16:17:22 +0000112 case TargetDefault:
Nate Begeman3d72d142005-08-04 20:49:48 +0000113 case TargetDarwin:
Nate Begemaned428532004-09-04 05:00:00 +0000114 PM.add(createDarwinAsmPrinter(Out, *this));
Nate Begeman3d72d142005-08-04 20:49:48 +0000115 break;
116 }
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000117
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000118 PM.add(createMachineCodeDeleter());
119 return false;
120}
121
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000122void PowerPCJITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Nate Begeman2497e632005-07-21 20:44:43 +0000123 // The JIT does not support or need PIC.
124 PICEnabled = false;
Nate Begemanf8b02942005-04-15 22:12:16 +0000125
Chris Lattnerb0096bd2005-08-15 23:47:04 +0000126 // Run loop strength reduction before anything else.
127 PM.add(createLoopStrengthReducePass());
128 PM.add(createCFGSimplificationPass());
Chris Lattner0c749062005-03-02 06:19:22 +0000129
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000130 // FIXME: Implement efficient support for garbage collection intrinsics.
131 PM.add(createLowerGCPass());
132
133 // FIXME: Implement the invoke/unwind instructions!
134 PM.add(createLowerInvokePass());
135
136 // FIXME: Implement the switch instruction in the instruction selector!
137 PM.add(createLowerSwitchPass());
138
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000139 // Make sure that no unreachable blocks are instruction selected.
140 PM.add(createUnreachableBlockEliminationPass());
141
Nate Begeman73bfa712005-08-18 23:53:15 +0000142 // Install an instruction selector.
143 PM.add(createPPC32ISelPattern(TM));
Nate Begemanf8b02942005-04-15 22:12:16 +0000144
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000145 PM.add(createRegisterAllocator());
146 PM.add(createPrologEpilogCodeInserter());
Chris Lattnere4fce6f2004-11-23 05:56:40 +0000147
148 // Must run branch selection immediately preceding the asm printer
149 PM.add(createPPCBranchSelectionPass());
150
151 if (PrintMachineCode)
152 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Misha Brukman01458812004-08-11 00:11:25 +0000153}
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000154
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000155/// PowerPCTargetMachine ctor - Create an ILP32 architecture model
156///
Misha Brukman66aa3e02004-08-17 05:06:47 +0000157PPC32TargetMachine::PPC32TargetMachine(const Module &M, IntrinsicLowering *IL)
Nate Begeman8c00f8c2005-08-04 07:12:09 +0000158 : PowerPCTargetMachine(PPC32ID, IL, M,
Nate Begeman2497e632005-07-21 20:44:43 +0000159 TargetData(PPC32ID,false,4,4,4,4,4,4,2,1,1),
Chris Lattnere4fce6f2004-11-23 05:56:40 +0000160 PowerPCFrameInfo(*this, false)), JITInfo(*this) {}
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000161
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000162unsigned PPC32TargetMachine::getModuleMatchQuality(const Module &M) {
Chris Lattner3ea78c42004-12-12 17:40:28 +0000163 // We strongly match "powerpc-*".
164 std::string TT = M.getTargetTriple();
165 if (TT.size() >= 8 && std::string(TT.begin(), TT.begin()+8) == "powerpc-")
166 return 20;
167
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000168 if (M.getEndianness() == Module::BigEndian &&
169 M.getPointerSize() == Module::Pointer32)
Chris Lattner3ea78c42004-12-12 17:40:28 +0000170 return 10; // Weak match
Nate Begeman7a4fe9b2004-08-11 07:40:04 +0000171 else if (M.getEndianness() != Module::AnyEndianness ||
172 M.getPointerSize() != Module::AnyPointerSize)
173 return 0; // Match for some other target
174
175 return getJITMatchQuality()/2;
176}