LLVMTargetMachine.cpp revision fa16354e0370fe884830286923352268b036737d
147877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner//===-- LLVMTargetMachine.cpp - Implement the LLVMTargetMachine class -----===//
247877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner//
347877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner//                     The LLVM Compiler Infrastructure
447877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner//
54ee451de366474b9c228b4e5fa573795a715216dChris Lattner// This file is distributed under the University of Illinois Open Source
64ee451de366474b9c228b4e5fa573795a715216dChris Lattner// License. See LICENSE.TXT for details.
747877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner//
847877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner//===----------------------------------------------------------------------===//
947877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner//
1047877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner// This file implements the LLVMTargetMachine class.
1147877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner//
1247877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner//===----------------------------------------------------------------------===//
1347877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner
1447877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner#include "llvm/Target/TargetMachine.h"
1547877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner#include "llvm/PassManager.h"
1647877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner#include "llvm/Pass.h"
1731442f9dc5512b6a29cdb332b12ae09a1c9e8176Chris Lattner#include "llvm/Assembly/PrintModulePass.h"
18789457847002f5289dbbc5cfce9d68c72e00bed1Daniel Dunbar#include "llvm/CodeGen/AsmPrinter.h"
1947877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner#include "llvm/CodeGen/Passes.h"
205a29c9eed157af51a8d338b5a225b146881819e8Gordon Henriksen#include "llvm/CodeGen/GCStrategy.h"
21ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman#include "llvm/CodeGen/MachineFunctionAnalysis.h"
2247877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner#include "llvm/Target/TargetOptions.h"
23af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner#include "llvm/MC/MCAsmInfo.h"
246d823cd39d8d16571682cd1bb4cbf2ecb4815d8eDaniel Dunbar#include "llvm/Target/TargetRegistry.h"
2547877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner#include "llvm/Transforms/Scalar.h"
2631442f9dc5512b6a29cdb332b12ae09a1c9e8176Chris Lattner#include "llvm/Support/CommandLine.h"
2771847813bc419f7a0667468136a07429c6d9f164David Greene#include "llvm/Support/FormattedStream.h"
2847877050e7ea02c3514497aba54eef1d4cee8452Chris Lattnerusing namespace llvm;
2947877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner
302c4bf119be8aa05cdc3dc88c57006353f07f0d2cDan Gohmannamespace llvm {
312c4bf119be8aa05cdc3dc88c57006353f07f0d2cDan Gohman  bool EnableFastISel;
322c4bf119be8aa05cdc3dc88c57006353f07f0d2cDan Gohman}
332c4bf119be8aa05cdc3dc88c57006353f07f0d2cDan Gohman
3485ef2546303fabe32de3f2519a978fa2a7fd5958Chris Lattnerstatic cl::opt<bool> PrintLSR("print-lsr-output", cl::Hidden,
3585ef2546303fabe32de3f2519a978fa2a7fd5958Chris Lattner    cl::desc("Print LLVM IR produced by the loop-reduce pass"));
3685ef2546303fabe32de3f2519a978fa2a7fd5958Chris Lattnerstatic cl::opt<bool> PrintISelInput("print-isel-input", cl::Hidden,
3785ef2546303fabe32de3f2519a978fa2a7fd5958Chris Lattner    cl::desc("Print LLVM IR input to isel pass"));
388bd6035750f1b290832a3b1c90766d9b45ed8d6bEvan Chengstatic cl::opt<bool> PrintEmittedAsm("print-emitted-asm", cl::Hidden,
398bd6035750f1b290832a3b1c90766d9b45ed8d6bEvan Cheng    cl::desc("Dump emitter generated instructions as assembly"));
4093f96d00bf10299246ea726956ce84dcb4b9a59eGordon Henriksenstatic cl::opt<bool> PrintGCInfo("print-gc", cl::Hidden,
4193f96d00bf10299246ea726956ce84dcb4b9a59eGordon Henriksen    cl::desc("Dump garbage collector data"));
426f65d79750154c92c3e184c8cf3233a66c411c87Dan Gohmanstatic cl::opt<bool> HoistConstants("hoist-constants", cl::Hidden,
436f65d79750154c92c3e184c8cf3233a66c411c87Dan Gohman    cl::desc("Hoist constants out of loops"));
4448872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesenstatic cl::opt<bool> VerifyMachineCode("verify-machineinstrs", cl::Hidden,
4548872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    cl::desc("Verify generated machine code"),
4648872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    cl::init(getenv("LLVM_VERIFY_MACHINEINSTRS")!=NULL));
4785ef2546303fabe32de3f2519a978fa2a7fd5958Chris Lattner
48dc756858f92a397ed30362ba8251fec56479735fDan Gohman// Enable or disable FastISel. Both options are needed, because
49dc756858f92a397ed30362ba8251fec56479735fDan Gohman// FastISel is enabled by default with -fast, and we wish to be
50e29fea4434b784bd8d908088c0ee4d4788080088Dan Gohman// able to enable or disable fast-isel independently from -O0.
51eb0d6abee36c274cf081948795f4675d8f33fc6fDan Gohmanstatic cl::opt<cl::boolOrDefault>
52dc756858f92a397ed30362ba8251fec56479735fDan GohmanEnableFastISelOption("fast-isel", cl::Hidden,
53e29fea4434b784bd8d908088c0ee4d4788080088Dan Gohman  cl::desc("Enable the \"fast\" instruction selector"));
542c4bf119be8aa05cdc3dc88c57006353f07f0d2cDan Gohman
55a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner
56a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris LattnerLLVMTargetMachine::LLVMTargetMachine(const Target &T,
57a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner                                     const std::string &TargetTriple)
58a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner  : TargetMachine(T) {
59a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner  AsmInfo = T.createAsmInfo(TargetTriple);
60a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner}
61a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner
62a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner
63a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner
6404523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill WendlingFileModel::Model
65bfae83139dcb4fffd50b939e1b1224b0126f04d4Dan GohmanLLVMTargetMachine::addPassesToEmitFile(PassManagerBase &PM,
6671847813bc419f7a0667468136a07429c6d9f164David Greene                                       formatted_raw_ostream &Out,
6704523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling                                       CodeGenFileType FileType,
6898a366d547772010e94609e4584489b3e5ce0043Bill Wendling                                       CodeGenOpt::Level OptLevel) {
6902dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  // Add common CodeGen passes.
70be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  if (addCommonCodeGenPasses(PM, OptLevel))
7104523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    return FileModel::Error;
7204523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
739d4209fb82cab74bae76511e3f21ef1c24ec948aJim Laskey  // Fold redundant debug labels.
749d4209fb82cab74bae76511e3f21ef1c24ec948aJim Laskey  PM.add(createDebugLabelFoldingPass());
7502dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
7602dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  if (PrintMachineCode)
77cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner    PM.add(createMachineFunctionPrinterPass(errs()));
7804523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
79be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  if (addPreEmitPass(PM, OptLevel) && PrintMachineCode)
80cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner    PM.add(createMachineFunctionPrinterPass(errs()));
8104523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
8298a366d547772010e94609e4584489b3e5ce0043Bill Wendling  if (OptLevel != CodeGenOpt::None)
83bbf1db72133e9cf986e4da6260736335533067dbEvan Cheng    PM.add(createCodePlacementOptPass());
84d703ed6aed98c8156829399efbafb13a3cca0b69Evan Cheng
8547877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  switch (FileType) {
8604523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling  default:
8704523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    break;
8804523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling  case TargetMachine::AssemblyFile:
89be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling    if (addAssemblyEmitter(PM, OptLevel, getAsmVerbosityDefault(), Out))
9004523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling      return FileModel::Error;
9104523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    return FileModel::AsmFile;
9204523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling  case TargetMachine::ObjectFile:
9304523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    if (getMachOWriterInfo())
9404523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling      return FileModel::MachOFile;
9504523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    else if (getELFWriterInfo())
9604523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling      return FileModel::ElfFile;
9747877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  }
9804523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
9904523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling  return FileModel::Error;
10004523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling}
10102dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
1025d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbarbool LLVMTargetMachine::addAssemblyEmitter(PassManagerBase &PM,
1035d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar                                           CodeGenOpt::Level OptLevel,
1045d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar                                           bool Verbose,
1055d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar                                           formatted_raw_ostream &Out) {
10667d894ea64bc52245abf3f2ba89122a749d99c53Daniel Dunbar  FunctionPass *Printer =
107af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner    getTarget().createAsmPrinter(Out, *this, getMCAsmInfo(), Verbose);
1085d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar  if (!Printer)
10936129dba4f4134bc9cc83e3ea830e215754b1bafDaniel Dunbar    return true;
11036129dba4f4134bc9cc83e3ea830e215754b1bafDaniel Dunbar
1115d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar  PM.add(Printer);
1125d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar  return false;
1135d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar}
1145d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar
11504523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling/// addPassesToEmitFileFinish - If the passes to emit the specified file had to
11604523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling/// be split up (e.g., to add an object writer pass), this method can be used to
11704523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling/// finish up adding passes to emit the file, if necessary.
118bfae83139dcb4fffd50b939e1b1224b0126f04d4Dan Gohmanbool LLVMTargetMachine::addPassesToEmitFileFinish(PassManagerBase &PM,
11904523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling                                                  MachineCodeEmitter *MCE,
12098a366d547772010e94609e4584489b3e5ce0043Bill Wendling                                                  CodeGenOpt::Level OptLevel) {
12104523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling  if (MCE)
122cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addSimpleCodeEmitter(PM, OptLevel, *MCE);
123cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  if (PrintEmittedAsm)
124cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addAssemblyEmitter(PM, OptLevel, true, ferrs());
12502dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
1265eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen  PM.add(createGCInfoDeleter());
12704523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
12847877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  return false; // success!
12947877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner}
13047877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner
131a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// addPassesToEmitFileFinish - If the passes to emit the specified file had to
132a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// be split up (e.g., to add an object writer pass), this method can be used to
133a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// finish up adding passes to emit the file, if necessary.
134a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopesbool LLVMTargetMachine::addPassesToEmitFileFinish(PassManagerBase &PM,
135a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes                                                  JITCodeEmitter *JCE,
136a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes                                                  CodeGenOpt::Level OptLevel) {
137a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  if (JCE)
138cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addSimpleCodeEmitter(PM, OptLevel, *JCE);
139cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  if (PrintEmittedAsm)
140cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addAssemblyEmitter(PM, OptLevel, true, ferrs());
141a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
142a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  PM.add(createGCInfoDeleter());
143a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
144a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  return false; // success!
145a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes}
146a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
147ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes/// addPassesToEmitFileFinish - If the passes to emit the specified file had to
148ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes/// be split up (e.g., to add an object writer pass), this method can be used to
149ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes/// finish up adding passes to emit the file, if necessary.
150ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopesbool LLVMTargetMachine::addPassesToEmitFileFinish(PassManagerBase &PM,
151ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes                                                  ObjectCodeEmitter *OCE,
152ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes                                                  CodeGenOpt::Level OptLevel) {
153ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes  if (OCE)
154cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addSimpleCodeEmitter(PM, OptLevel, *OCE);
155cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  if (PrintEmittedAsm)
156cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addAssemblyEmitter(PM, OptLevel, true, ferrs());
157ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes
158ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes  PM.add(createGCInfoDeleter());
159ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes
160ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes  return false; // success!
161ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes}
162ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes
16347877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner/// addPassesToEmitMachineCode - Add passes to the specified pass manager to
16447877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner/// get machine code emitted.  This uses a MachineCodeEmitter object to handle
16547877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner/// actually outputting the machine code and resolving things like the address
16647877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner/// of functions.  This method should returns true if machine code emission is
16747877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner/// not supported.
16847877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner///
169bfae83139dcb4fffd50b939e1b1224b0126f04d4Dan Gohmanbool LLVMTargetMachine::addPassesToEmitMachineCode(PassManagerBase &PM,
17047877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner                                                   MachineCodeEmitter &MCE,
17198a366d547772010e94609e4584489b3e5ce0043Bill Wendling                                                   CodeGenOpt::Level OptLevel) {
17202dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  // Add common CodeGen passes.
173be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  if (addCommonCodeGenPasses(PM, OptLevel))
17402dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman    return true;
17502dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
176be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  if (addPreEmitPass(PM, OptLevel) && PrintMachineCode)
177cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner    PM.add(createMachineFunctionPrinterPass(errs()));
17802dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
179cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  addCodeEmitter(PM, OptLevel, MCE);
180cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  if (PrintEmittedAsm)
181cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addAssemblyEmitter(PM, OptLevel, true, ferrs());
18202dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
18302dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  PM.add(createGCInfoDeleter());
18402dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
18502dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  return false; // success!
18602dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman}
18702dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
188a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// addPassesToEmitMachineCode - Add passes to the specified pass manager to
189a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// get machine code emitted.  This uses a MachineCodeEmitter object to handle
190a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// actually outputting the machine code and resolving things like the address
191a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// of functions.  This method should returns true if machine code emission is
192a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// not supported.
193a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes///
194a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopesbool LLVMTargetMachine::addPassesToEmitMachineCode(PassManagerBase &PM,
195a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes                                                   JITCodeEmitter &JCE,
196a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes                                                   CodeGenOpt::Level OptLevel) {
197a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  // Add common CodeGen passes.
198a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  if (addCommonCodeGenPasses(PM, OptLevel))
199a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes    return true;
200a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
201a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  if (addPreEmitPass(PM, OptLevel) && PrintMachineCode)
202cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner    PM.add(createMachineFunctionPrinterPass(errs()));
203a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
204cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  addCodeEmitter(PM, OptLevel, JCE);
205cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  if (PrintEmittedAsm)
206cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addAssemblyEmitter(PM, OptLevel, true, ferrs());
207a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
208a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  PM.add(createGCInfoDeleter());
209a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
210a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  return false; // success!
211a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes}
212a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
21348872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesenstatic void printAndVerify(PassManagerBase &PM,
21448872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen                           bool allowDoubleDefs = false) {
21548872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  if (PrintMachineCode)
216cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner    PM.add(createMachineFunctionPrinterPass(errs()));
21748872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen
21848872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  if (VerifyMachineCode)
21948872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    PM.add(createMachineVerifierPass(allowDoubleDefs));
22048872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen}
22148872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen
22298a366d547772010e94609e4584489b3e5ce0043Bill Wendling/// addCommonCodeGenPasses - Add standard LLVM codegen passes used for both
22398a366d547772010e94609e4584489b3e5ce0043Bill Wendling/// emitting to assembly files or machine code output.
22402dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman///
225be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendlingbool LLVMTargetMachine::addCommonCodeGenPasses(PassManagerBase &PM,
22698a366d547772010e94609e4584489b3e5ce0043Bill Wendling                                               CodeGenOpt::Level OptLevel) {
22747877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Standard LLVM-Level Passes.
22802dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
22947877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Run loop strength reduction before anything else.
23098a366d547772010e94609e4584489b3e5ce0043Bill Wendling  if (OptLevel != CodeGenOpt::None) {
231c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner    PM.add(createLoopStrengthReducePass(getTargetLowering()));
232c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner    if (PrintLSR)
2333b0da26e202cbbeb22508231f4278bda8e995391Daniel Dunbar      PM.add(createPrintFunctionPass("\n\n*** Code after LSR ***\n", &errs()));
234c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner  }
23502dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
236b0f1e1780c736c62fb99e5824825d2a60a53b53bDuncan Sands  // Turn exception handling constructs into something the code generators can
237b0f1e1780c736c62fb99e5824825d2a60a53b53bDuncan Sands  // handle.
238af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner  switch (getMCAsmInfo()->getExceptionHandlingType())
2391b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach  {
2401b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach  case ExceptionHandling::SjLj:
2418b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach    // SjLj piggy-backs on dwarf for this bit. The cleanups done apply to both
2428b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach    PM.add(createDwarfEHPass(getTargetLowering(), OptLevel==CodeGenOpt::None));
2438b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach    PM.add(createSjLjEHPass(getTargetLowering()));
2448b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach    break;
2451b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach  case ExceptionHandling::Dwarf:
246b0f1e1780c736c62fb99e5824825d2a60a53b53bDuncan Sands    PM.add(createDwarfEHPass(getTargetLowering(), OptLevel==CodeGenOpt::None));
2471b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach    break;
2481b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach  case ExceptionHandling::None:
2491b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach    PM.add(createLowerInvokePass(getTargetLowering()));
2501b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach    break;
2511b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach  }
252b0f1e1780c736c62fb99e5824825d2a60a53b53bDuncan Sands
253b0f1e1780c736c62fb99e5824825d2a60a53b53bDuncan Sands  PM.add(createGCLoweringPass());
25402dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
25547877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Make sure that no unreachable blocks are instruction selected.
25647877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  PM.add(createUnreachableBlockEliminationPass());
25704523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
2586f65d79750154c92c3e184c8cf3233a66c411c87Dan Gohman  if (OptLevel != CodeGenOpt::None) {
2596f65d79750154c92c3e184c8cf3233a66c411c87Dan Gohman    if (HoistConstants)
2606f65d79750154c92c3e184c8cf3233a66c411c87Dan Gohman      PM.add(createCodeGenLICMPass());
261c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner    PM.add(createCodeGenPreparePass(getTargetLowering()));
2626f65d79750154c92c3e184c8cf3233a66c411c87Dan Gohman  }
263c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner
264e9e6bdf27fca46dc9eca2ebdf73e03747d1859abBill Wendling  PM.add(createStackProtectorPass(getTargetLowering()));
2652b58ce5ab4e22e796303d68fb246d4031cb5d4caBill Wendling
266c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner  if (PrintISelInput)
267f4db3a51c7d806f7dcef5d9625e7cdf7f122dca9Daniel Dunbar    PM.add(createPrintFunctionPass("\n\n"
268f4db3a51c7d806f7dcef5d9625e7cdf7f122dca9Daniel Dunbar                                   "*** Final LLVM Code input to ISel ***\n",
2693b0da26e202cbbeb22508231f4278bda8e995391Daniel Dunbar                                   &errs()));
270c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner
27102dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  // Standard Lower-Level Passes.
27202dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
273ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman  // Set up a MachineFunction for the rest of CodeGen to work on.
274ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman  PM.add(new MachineFunctionAnalysis(*this, OptLevel));
275ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman
276dc756858f92a397ed30362ba8251fec56479735fDan Gohman  // Enable FastISel with -fast, but allow that to be overridden.
277eb0d6abee36c274cf081948795f4675d8f33fc6fDan Gohman  if (EnableFastISelOption == cl::BOU_TRUE ||
27898a366d547772010e94609e4584489b3e5ce0043Bill Wendling      (OptLevel == CodeGenOpt::None && EnableFastISelOption != cl::BOU_FALSE))
279dc756858f92a397ed30362ba8251fec56479735fDan Gohman    EnableFastISel = true;
280dc756858f92a397ed30362ba8251fec56479735fDan Gohman
28147877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Ask the target for an isel.
282be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  if (addInstSelector(PM, OptLevel))
28347877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner    return true;
28404523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
28547877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Print the instruction selected machine code...
28648872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  printAndVerify(PM, /* allowDoubleDefs= */ true);
2870f940c95d4506f8d04fa2aeda8a79cadb3105fe3Bill Wendling
28898a366d547772010e94609e4584489b3e5ce0043Bill Wendling  if (OptLevel != CodeGenOpt::None) {
289cc8f603f531c906782e4966107ae29667eb6632cBill Wendling    PM.add(createMachineLICMPass());
2903c42f1211874665e8ea6eea55a45024b557afa61Chris Lattner    PM.add(createMachineSinkingPass());
2918799dbe5b7be2e959047caf88ce97a04a3526856Evan Cheng    printAndVerify(PM, /* allowDoubleDefs= */ true);
2928f0d99e463a2dcb5a40d14f0481a0e322bcf79e4Evan Cheng  }
2930f940c95d4506f8d04fa2aeda8a79cadb3105fe3Bill Wendling
294b013f5094c3bdb36472da996d63d5c0f75b6d4d3Anton Korobeynikov  // Run pre-ra passes.
29548872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  if (addPreRegAlloc(PM, OptLevel))
2964af85b2328d432960371efeb092a70a8d9c25227Jakob Stoklund Olesen    printAndVerify(PM, /* allowDoubleDefs= */ true);
297b013f5094c3bdb36472da996d63d5c0f75b6d4d3Anton Korobeynikov
2983f32d65912b4da23793dab618d981be2ce11c331Evan Cheng  // Perform register allocation.
29947877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  PM.add(createRegisterAllocator());
3003f32d65912b4da23793dab618d981be2ce11c331Evan Cheng
3013f32d65912b4da23793dab618d981be2ce11c331Evan Cheng  // Perform stack slot coloring.
30298a366d547772010e94609e4584489b3e5ce0043Bill Wendling  if (OptLevel != CodeGenOpt::None)
3036248fa45299a9e54aac84b3296c02c44ddec84e8Evan Cheng    // FIXME: Re-enable coloring with register when it's capable of adding
3046248fa45299a9e54aac84b3296c02c44ddec84e8Evan Cheng    // kill markers.
3056248fa45299a9e54aac84b3296c02c44ddec84e8Evan Cheng    PM.add(createStackSlotColoringPass(false));
3063f32d65912b4da23793dab618d981be2ce11c331Evan Cheng
30748872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  printAndVerify(PM);           // Print the register-allocated code
30802dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
3093f32d65912b4da23793dab618d981be2ce11c331Evan Cheng  // Run post-ra passes.
31048872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  if (addPostRegAlloc(PM, OptLevel))
31148872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    printAndVerify(PM);
31202dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
313ada779fb11eb411536aa8219a176ca0ce4d58fd1Christopher Lamb  PM.add(createLowerSubregsPass());
31448872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  printAndVerify(PM);
31504523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
31647877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Insert prolog/epilog code.  Eliminate abstract frame index references...
31747877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  PM.add(createPrologEpilogCodeInserter());
31848872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  printAndVerify(PM);
31902dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
320629adde69953fa53362d20ddb7b4e67ed78b8ae3Evan Cheng  // Run pre-sched2 passes.
321629adde69953fa53362d20ddb7b4e67ed78b8ae3Evan Cheng  if (addPreSched2(PM, OptLevel))
322629adde69953fa53362d20ddb7b4e67ed78b8ae3Evan Cheng    printAndVerify(PM);
323629adde69953fa53362d20ddb7b4e67ed78b8ae3Evan Cheng
324e7e7d0d7e39d0c7c659d26b97e8081fce0fcd749Dale Johannesen  // Second pass scheduler.
3250dad89fa94536284d51f60868326294b725a0c61David Goodwin  if (OptLevel != CodeGenOpt::None) {
326fa16354e0370fe884830286923352268b036737dEvan Cheng    PM.add(createPostRAScheduler(OptLevel));
32748872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    printAndVerify(PM);
3285ce0973f7f4d149f986d16d1a1f79b131fd70423Dan Gohman  }
3295ce0973f7f4d149f986d16d1a1f79b131fd70423Dan Gohman
33023b0d490cdf27b2cba7b497aceeb5c79b0d0c9feDan Gohman  // Branch folding must be run after regalloc and prolog/epilog insertion.
33148872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  if (OptLevel != CodeGenOpt::None) {
33223b0d490cdf27b2cba7b497aceeb5c79b0d0c9feDan Gohman    PM.add(createBranchFoldingPass(getEnableTailMergeDefault()));
33348872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    printAndVerify(PM);
33448872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  }
33523b0d490cdf27b2cba7b497aceeb5c79b0d0c9feDan Gohman
33693f96d00bf10299246ea726956ce84dcb4b9a59eGordon Henriksen  PM.add(createGCMachineCodeAnalysisPass());
33748872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  printAndVerify(PM);
33802dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
33993f96d00bf10299246ea726956ce84dcb4b9a59eGordon Henriksen  if (PrintGCInfo)
340cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner    PM.add(createGCInfoPrinter(errs()));
34104523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
34202dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  return false;
34347877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner}
344