lib/Target/X86/X86TargetMachine.cpp

   1 //===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===//
   2 //
   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.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file defines the X86 specific subclass of TargetMachine.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "X86TargetMachine.h"
  15 #include "X86.h"
  16 #include "llvm/Module.h"
  17 #include "llvm/PassManager.h"
  18 #include "llvm/CodeGen/MachineFunction.h"
  19 #include "llvm/CodeGen/Passes.h"
  20 #include "llvm/Target/TargetOptions.h"
  21 #include "llvm/Target/TargetMachineRegistry.h"
  22 #include "llvm/Transforms/Scalar.h"
  23 #include "llvm/Support/CommandLine.h"
  24 #include "llvm/ADT/Statistic.h"
  25 #include <iostream>
  26 using namespace llvm;
  27
  28 /// X86TargetMachineModule - Note that this is used on hosts that cannot link
  29 /// in a library unless there are references into the library.  In particular,
  30 /// it seems that it is not possible to get things to work on Win32 without
  31 /// this.  Though it is unused, do not remove it.
  32 extern "C" int X86TargetMachineModule;
  33 int X86TargetMachineModule = 0;
  34
  35 namespace {
  36   cl::opt<bool> DisableOutput("disable-x86-llc-output", cl::Hidden,
  37                               cl::desc("Disable the X86 asm printer, for use "
  38                                        "when profiling the code generator."));
  39   // Register the target.
  40   RegisterTarget<X86TargetMachine> X("x86", "  IA-32 (Pentium and above)");
  41 }
  42
  43 unsigned X86TargetMachine::getJITMatchQuality() {
  44 #if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
  45   return 10;
  46 #else
  47   return 0;
  48 #endif
  49 }
  50
  51 unsigned X86TargetMachine::getModuleMatchQuality(const Module &M) {
  52   // We strongly match "i[3-9]86-*".
  53   std::string TT = M.getTargetTriple();
  54   if (TT.size() >= 5 && TT[0] == 'i' && TT[2] == '8' && TT[3] == '6' &&
  55       TT[4] == '-' && TT[1] - '3' < 6)
  56     return 20;
  57
  58   if (M.getEndianness()  == Module::LittleEndian &&
  59       M.getPointerSize() == Module::Pointer32)
  60     return 10;                                   // Weak match
  61   else if (M.getEndianness() != Module::AnyEndianness ||
  62            M.getPointerSize() != Module::AnyPointerSize)
  63     return 0;                                    // Match for some other target
  64
  65   return getJITMatchQuality()/2;
  66 }
  67
  68 /// X86TargetMachine ctor - Create an ILP32 architecture model
  69 ///
  70 X86TargetMachine::X86TargetMachine(const Module &M, const std::string &FS)
  71   : TargetMachine("X86"),
  72     Subtarget(M, FS),
  73     DataLayout("e-p:32:32-d:32-l:32"),
  74     FrameInfo(TargetFrameInfo::StackGrowsDown,
  75               Subtarget.getStackAlignment(), -4),
  76     InstrInfo(*this), JITInfo(*this), TLInfo(*this) {
  77   if (getRelocationModel() == Reloc::Default)
  78     if (Subtarget.isTargetDarwin())
  79       setRelocationModel(Reloc::DynamicNoPIC);
  80     else
  81       setRelocationModel(Reloc::PIC_);
  82 }
  83
  84
  85 // addPassesToEmitFile - We currently use all of the same passes as the JIT
  86 // does to emit statically compiled machine code.
  87 bool X86TargetMachine::addPassesToEmitFile(PassManager &PM, std::ostream &Out,
  88                                            CodeGenFileType FileType,
  89                                            bool Fast) {
  90   if (FileType != TargetMachine::AssemblyFile &&
  91       FileType != TargetMachine::ObjectFile) return true;
  92
  93   // Run loop strength reduction before anything else.
  94   if (!Fast) PM.add(createLoopStrengthReducePass(&TLInfo));
  95
  96   // FIXME: Implement efficient support for garbage collection intrinsics.
  97   PM.add(createLowerGCPass());
  98
  99   // FIXME: Implement the invoke/unwind instructions!
 100   PM.add(createLowerInvokePass());
 101
 102   // Make sure that no unreachable blocks are instruction selected.
 103   PM.add(createUnreachableBlockEliminationPass());
 104
 105   // Install an instruction selector.
 106   PM.add(createX86ISelDag(*this, Fast));
 107
 108   // Print the instruction selected machine code...
 109   if (PrintMachineCode)
 110     PM.add(createMachineFunctionPrinterPass(&std::cerr));
 111
 112   // Perform register allocation to convert to a concrete x86 representation
 113   PM.add(createRegisterAllocator());
 114
 115   if (PrintMachineCode)
 116     PM.add(createMachineFunctionPrinterPass(&std::cerr));
 117
 118   PM.add(createX86FloatingPointStackifierPass());
 119
 120   if (PrintMachineCode)
 121     PM.add(createMachineFunctionPrinterPass(&std::cerr));
 122
 123   // Insert prolog/epilog code.  Eliminate abstract frame index references...
 124   PM.add(createPrologEpilogCodeInserter());
 125
 126   if (PrintMachineCode)  // Print the register-allocated code
 127     PM.add(createX86CodePrinterPass(std::cerr, *this));
 128
 129   if (!DisableOutput)
 130     switch (FileType) {
 131     default:
 132       assert(0 && "Unexpected filetype here!");
 133     case TargetMachine::AssemblyFile:
 134       PM.add(createX86CodePrinterPass(Out, *this));
 135       break;
 136     case TargetMachine::ObjectFile:
 137       // FIXME: We only support emission of ELF files for now, this should check
 138       // the target triple and decide on the format to write (e.g. COFF on
 139       // win32 or Mach-O on darwin).
 140       addX86ELFObjectWriterPass(PM, Out, *this);
 141       break;
 142     }
 143
 144   // Delete machine code for this function
 145   PM.add(createMachineCodeDeleter());
 146
 147   return false; // success!
 148 }
 149
 150 /// addPassesToJITCompile - Add passes to the specified pass manager to
 151 /// implement a fast dynamic compiler for this target.  Return true if this is
 152 /// not supported for this target.
 153 ///
 154 void X86JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
 155   // The JIT should use static relocation model.
 156   TM.setRelocationModel(Reloc::Static);
 157
 158   // Run loop strength reduction before anything else.
 159   PM.add(createLoopStrengthReducePass(TM.getTargetLowering()));
 160
 161   // FIXME: Implement efficient support for garbage collection intrinsics.
 162   PM.add(createLowerGCPass());
 163
 164   // FIXME: Implement the invoke/unwind instructions!
 165   PM.add(createLowerInvokePass());
 166
 167   // Make sure that no unreachable blocks are instruction selected.
 168   PM.add(createUnreachableBlockEliminationPass());
 169
 170   // Install an instruction selector.
 171   PM.add(createX86ISelDag(TM, false));
 172
 173   // Print the instruction selected machine code...
 174   if (PrintMachineCode)
 175     PM.add(createMachineFunctionPrinterPass(&std::cerr));
 176
 177   // Perform register allocation to convert to a concrete x86 representation
 178   PM.add(createRegisterAllocator());
 179
 180   if (PrintMachineCode)
 181     PM.add(createMachineFunctionPrinterPass(&std::cerr));
 182
 183   PM.add(createX86FloatingPointStackifierPass());
 184
 185   if (PrintMachineCode)
 186     PM.add(createMachineFunctionPrinterPass(&std::cerr));
 187
 188   // Insert prolog/epilog code.  Eliminate abstract frame index references...
 189   PM.add(createPrologEpilogCodeInserter());
 190
 191   if (PrintMachineCode)  // Print the register-allocated code
 192     PM.add(createX86CodePrinterPass(std::cerr, TM));
 193 }
 194
 195 bool X86TargetMachine::addPassesToEmitMachineCode(FunctionPassManager &PM,
 196                                                   MachineCodeEmitter &MCE) {
 197   PM.add(createX86CodeEmitterPass(*this, MCE));
 198   // Delete machine code for this function
 199   PM.add(createMachineCodeDeleter());
 200   return false;
 201 }