LLVMTargetMachine.cpp revision 8b818d7e98309125c6058c4ea72a7dc73b031db2
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"
231532f3ddd77c362dd5f613af06b4de636e3c5b0eDale Johannesen#include "llvm/Target/TargetAsmInfo.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"));
4248872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesenstatic cl::opt<bool> VerifyMachineCode("verify-machineinstrs", cl::Hidden,
4348872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    cl::desc("Verify generated machine code"),
4448872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    cl::init(getenv("LLVM_VERIFY_MACHINEINSTRS")!=NULL));
4585ef2546303fabe32de3f2519a978fa2a7fd5958Chris Lattner
46459525df1e003597077197b5f802bd5d9cd7d94cChris Lattner// When this works it will be on by default.
47459525df1e003597077197b5f802bd5d9cd7d94cChris Lattnerstatic cl::opt<bool>
48459525df1e003597077197b5f802bd5d9cd7d94cChris LattnerDisablePostRAScheduler("disable-post-RA-scheduler",
49459525df1e003597077197b5f802bd5d9cd7d94cChris Lattner                       cl::desc("Disable scheduling after register allocation"),
50459525df1e003597077197b5f802bd5d9cd7d94cChris Lattner                       cl::init(true));
51459525df1e003597077197b5f802bd5d9cd7d94cChris Lattner
52dc756858f92a397ed30362ba8251fec56479735fDan Gohman// Enable or disable FastISel. Both options are needed, because
53dc756858f92a397ed30362ba8251fec56479735fDan Gohman// FastISel is enabled by default with -fast, and we wish to be
54dc756858f92a397ed30362ba8251fec56479735fDan Gohman// able to enable or disable fast-isel independently from -fast.
55eb0d6abee36c274cf081948795f4675d8f33fc6fDan Gohmanstatic cl::opt<cl::boolOrDefault>
56dc756858f92a397ed30362ba8251fec56479735fDan GohmanEnableFastISelOption("fast-isel", cl::Hidden,
57dc756858f92a397ed30362ba8251fec56479735fDan Gohman  cl::desc("Enable the experimental \"fast\" instruction selector"));
582c4bf119be8aa05cdc3dc88c57006353f07f0d2cDan Gohman
59a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner
60a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris LattnerLLVMTargetMachine::LLVMTargetMachine(const Target &T,
61a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner                                     const std::string &TargetTriple)
62a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner  : TargetMachine(T) {
63a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner  AsmInfo = T.createAsmInfo(TargetTriple);
64a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner}
65a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner
66a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner
67a7ac47cee1a0b3f4c798ecaa22ecf9d1be9c07e6Chris Lattner
6804523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill WendlingFileModel::Model
69bfae83139dcb4fffd50b939e1b1224b0126f04d4Dan GohmanLLVMTargetMachine::addPassesToEmitFile(PassManagerBase &PM,
7071847813bc419f7a0667468136a07429c6d9f164David Greene                                       formatted_raw_ostream &Out,
7104523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling                                       CodeGenFileType FileType,
7298a366d547772010e94609e4584489b3e5ce0043Bill Wendling                                       CodeGenOpt::Level OptLevel) {
7302dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  // Add common CodeGen passes.
74be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  if (addCommonCodeGenPasses(PM, OptLevel))
7504523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    return FileModel::Error;
7604523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
779d4209fb82cab74bae76511e3f21ef1c24ec948aJim Laskey  // Fold redundant debug labels.
789d4209fb82cab74bae76511e3f21ef1c24ec948aJim Laskey  PM.add(createDebugLabelFoldingPass());
7902dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
8002dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  if (PrintMachineCode)
8104523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    PM.add(createMachineFunctionPrinterPass(cerr));
8204523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
83be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  if (addPreEmitPass(PM, OptLevel) && PrintMachineCode)
8404523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    PM.add(createMachineFunctionPrinterPass(cerr));
8504523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
8698a366d547772010e94609e4584489b3e5ce0043Bill Wendling  if (OptLevel != CodeGenOpt::None)
87bbf1db72133e9cf986e4da6260736335533067dbEvan Cheng    PM.add(createCodePlacementOptPass());
88d703ed6aed98c8156829399efbafb13a3cca0b69Evan Cheng
8947877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  switch (FileType) {
9004523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling  default:
9104523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    break;
9204523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling  case TargetMachine::AssemblyFile:
93be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling    if (addAssemblyEmitter(PM, OptLevel, getAsmVerbosityDefault(), Out))
9404523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling      return FileModel::Error;
9504523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    return FileModel::AsmFile;
9604523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling  case TargetMachine::ObjectFile:
9704523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    if (getMachOWriterInfo())
9804523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling      return FileModel::MachOFile;
9904523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling    else if (getELFWriterInfo())
10004523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling      return FileModel::ElfFile;
10147877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  }
10204523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
10304523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling  return FileModel::Error;
10404523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling}
10502dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
1065d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbarbool LLVMTargetMachine::addAssemblyEmitter(PassManagerBase &PM,
1075d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar                                           CodeGenOpt::Level OptLevel,
1085d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar                                           bool Verbose,
1095d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar                                           formatted_raw_ostream &Out) {
11067d894ea64bc52245abf3f2ba89122a749d99c53Daniel Dunbar  FunctionPass *Printer =
11167d894ea64bc52245abf3f2ba89122a749d99c53Daniel Dunbar    getTarget().createAsmPrinter(Out, *this, getTargetAsmInfo(), Verbose);
1125d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar  if (!Printer)
11336129dba4f4134bc9cc83e3ea830e215754b1bafDaniel Dunbar    return true;
11436129dba4f4134bc9cc83e3ea830e215754b1bafDaniel Dunbar
1155d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar  PM.add(Printer);
1165d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar  return false;
1175d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar}
1185d77cad60bd82dfa2d00f78e26443d667922efbfDaniel Dunbar
11904523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling/// addPassesToEmitFileFinish - If the passes to emit the specified file had to
12004523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling/// be split up (e.g., to add an object writer pass), this method can be used to
12104523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling/// finish up adding passes to emit the file, if necessary.
122bfae83139dcb4fffd50b939e1b1224b0126f04d4Dan Gohmanbool LLVMTargetMachine::addPassesToEmitFileFinish(PassManagerBase &PM,
12304523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling                                                  MachineCodeEmitter *MCE,
12498a366d547772010e94609e4584489b3e5ce0043Bill Wendling                                                  CodeGenOpt::Level OptLevel) {
12504523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling  if (MCE)
126cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addSimpleCodeEmitter(PM, OptLevel, *MCE);
127cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  if (PrintEmittedAsm)
128cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addAssemblyEmitter(PM, OptLevel, true, ferrs());
12902dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
1305eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen  PM.add(createGCInfoDeleter());
13104523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
13247877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  return false; // success!
13347877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner}
13447877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner
135a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// addPassesToEmitFileFinish - If the passes to emit the specified file had to
136a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// be split up (e.g., to add an object writer pass), this method can be used to
137a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// finish up adding passes to emit the file, if necessary.
138a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopesbool LLVMTargetMachine::addPassesToEmitFileFinish(PassManagerBase &PM,
139a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes                                                  JITCodeEmitter *JCE,
140a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes                                                  CodeGenOpt::Level OptLevel) {
141a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  if (JCE)
142cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addSimpleCodeEmitter(PM, OptLevel, *JCE);
143cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  if (PrintEmittedAsm)
144cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addAssemblyEmitter(PM, OptLevel, true, ferrs());
145a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
146a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  PM.add(createGCInfoDeleter());
147a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
148a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  return false; // success!
149a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes}
150a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
151ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes/// addPassesToEmitFileFinish - If the passes to emit the specified file had to
152ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes/// be split up (e.g., to add an object writer pass), this method can be used to
153ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes/// finish up adding passes to emit the file, if necessary.
154ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopesbool LLVMTargetMachine::addPassesToEmitFileFinish(PassManagerBase &PM,
155ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes                                                  ObjectCodeEmitter *OCE,
156ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes                                                  CodeGenOpt::Level OptLevel) {
157ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes  if (OCE)
158cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addSimpleCodeEmitter(PM, OptLevel, *OCE);
159cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  if (PrintEmittedAsm)
160cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addAssemblyEmitter(PM, OptLevel, true, ferrs());
161ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes
162ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes  PM.add(createGCInfoDeleter());
163ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes
164ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes  return false; // success!
165ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes}
166ac57e6e498abccb117e0d61c2fa0f733845e50cbBruno Cardoso Lopes
16747877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner/// addPassesToEmitMachineCode - Add passes to the specified pass manager to
16847877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner/// get machine code emitted.  This uses a MachineCodeEmitter object to handle
16947877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner/// actually outputting the machine code and resolving things like the address
17047877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner/// of functions.  This method should returns true if machine code emission is
17147877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner/// not supported.
17247877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner///
173bfae83139dcb4fffd50b939e1b1224b0126f04d4Dan Gohmanbool LLVMTargetMachine::addPassesToEmitMachineCode(PassManagerBase &PM,
17447877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner                                                   MachineCodeEmitter &MCE,
17598a366d547772010e94609e4584489b3e5ce0043Bill Wendling                                                   CodeGenOpt::Level OptLevel) {
17602dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  // Add common CodeGen passes.
177be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  if (addCommonCodeGenPasses(PM, OptLevel))
17802dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman    return true;
17902dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
180be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  if (addPreEmitPass(PM, OptLevel) && PrintMachineCode)
18102dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman    PM.add(createMachineFunctionPrinterPass(cerr));
18202dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
183cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  addCodeEmitter(PM, OptLevel, MCE);
184cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  if (PrintEmittedAsm)
185cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addAssemblyEmitter(PM, OptLevel, true, ferrs());
18602dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
18702dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  PM.add(createGCInfoDeleter());
18802dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
18902dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  return false; // success!
19002dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman}
19102dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
192a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// addPassesToEmitMachineCode - Add passes to the specified pass manager to
193a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// get machine code emitted.  This uses a MachineCodeEmitter object to handle
194a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// actually outputting the machine code and resolving things like the address
195a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// of functions.  This method should returns true if machine code emission is
196a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes/// not supported.
197a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes///
198a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopesbool LLVMTargetMachine::addPassesToEmitMachineCode(PassManagerBase &PM,
199a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes                                                   JITCodeEmitter &JCE,
200a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes                                                   CodeGenOpt::Level OptLevel) {
201a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  // Add common CodeGen passes.
202a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  if (addCommonCodeGenPasses(PM, OptLevel))
203a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes    return true;
204a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
205a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  if (addPreEmitPass(PM, OptLevel) && PrintMachineCode)
206a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes    PM.add(createMachineFunctionPrinterPass(cerr));
207a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
208cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  addCodeEmitter(PM, OptLevel, JCE);
209cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar  if (PrintEmittedAsm)
210cfe9a605eea542d91e3db74289b69b7e317d90a6Daniel Dunbar    addAssemblyEmitter(PM, OptLevel, true, ferrs());
211a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
212a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  PM.add(createGCInfoDeleter());
213a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
214a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes  return false; // success!
215a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes}
216a3f99f90338d89354384ca25f53ca4450a1a9d18Bruno Cardoso Lopes
21748872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesenstatic void printAndVerify(PassManagerBase &PM,
21848872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen                           bool allowDoubleDefs = false) {
21948872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  if (PrintMachineCode)
22048872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    PM.add(createMachineFunctionPrinterPass(cerr));
22148872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen
22248872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  if (VerifyMachineCode)
22348872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    PM.add(createMachineVerifierPass(allowDoubleDefs));
22448872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen}
22548872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen
22698a366d547772010e94609e4584489b3e5ce0043Bill Wendling/// addCommonCodeGenPasses - Add standard LLVM codegen passes used for both
22798a366d547772010e94609e4584489b3e5ce0043Bill Wendling/// emitting to assembly files or machine code output.
22802dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman///
229be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendlingbool LLVMTargetMachine::addCommonCodeGenPasses(PassManagerBase &PM,
23098a366d547772010e94609e4584489b3e5ce0043Bill Wendling                                               CodeGenOpt::Level OptLevel) {
23147877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Standard LLVM-Level Passes.
23202dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
23347877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Run loop strength reduction before anything else.
23498a366d547772010e94609e4584489b3e5ce0043Bill Wendling  if (OptLevel != CodeGenOpt::None) {
235c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner    PM.add(createLoopStrengthReducePass(getTargetLowering()));
236c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner    if (PrintLSR)
2373b0da26e202cbbeb22508231f4278bda8e995391Daniel Dunbar      PM.add(createPrintFunctionPass("\n\n*** Code after LSR ***\n", &errs()));
238c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner  }
23902dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
240b0f1e1780c736c62fb99e5824825d2a60a53b53bDuncan Sands  // Turn exception handling constructs into something the code generators can
241b0f1e1780c736c62fb99e5824825d2a60a53b53bDuncan Sands  // handle.
2421b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach  switch (getTargetAsmInfo()->getExceptionHandlingType())
2431b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach  {
2441b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach  case ExceptionHandling::SjLj:
2458b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach    // SjLj piggy-backs on dwarf for this bit. The cleanups done apply to both
2468b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach    PM.add(createDwarfEHPass(getTargetLowering(), OptLevel==CodeGenOpt::None));
2478b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach    PM.add(createSjLjEHPass(getTargetLowering()));
2488b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach    break;
2491b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach  case ExceptionHandling::Dwarf:
250b0f1e1780c736c62fb99e5824825d2a60a53b53bDuncan Sands    PM.add(createDwarfEHPass(getTargetLowering(), OptLevel==CodeGenOpt::None));
2511b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach    break;
2521b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach  case ExceptionHandling::None:
2531b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach    PM.add(createLowerInvokePass(getTargetLowering()));
2541b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach    break;
2551b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach  }
256b0f1e1780c736c62fb99e5824825d2a60a53b53bDuncan Sands
257b0f1e1780c736c62fb99e5824825d2a60a53b53bDuncan Sands  PM.add(createGCLoweringPass());
25802dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
25947877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Make sure that no unreachable blocks are instruction selected.
26047877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  PM.add(createUnreachableBlockEliminationPass());
26104523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
26298a366d547772010e94609e4584489b3e5ce0043Bill Wendling  if (OptLevel != CodeGenOpt::None)
263c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner    PM.add(createCodeGenPreparePass(getTargetLowering()));
264c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner
265e9e6bdf27fca46dc9eca2ebdf73e03747d1859abBill Wendling  PM.add(createStackProtectorPass(getTargetLowering()));
2662b58ce5ab4e22e796303d68fb246d4031cb5d4caBill Wendling
267c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner  if (PrintISelInput)
268f4db3a51c7d806f7dcef5d9625e7cdf7f122dca9Daniel Dunbar    PM.add(createPrintFunctionPass("\n\n"
269f4db3a51c7d806f7dcef5d9625e7cdf7f122dca9Daniel Dunbar                                   "*** Final LLVM Code input to ISel ***\n",
2703b0da26e202cbbeb22508231f4278bda8e995391Daniel Dunbar                                   &errs()));
271c8d288f8fa9e46199a29e1954550c980f184bd1cChris Lattner
27202dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  // Standard Lower-Level Passes.
27302dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
274ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman  // Set up a MachineFunction for the rest of CodeGen to work on.
275ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman  PM.add(new MachineFunctionAnalysis(*this, OptLevel));
276ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman
277dc756858f92a397ed30362ba8251fec56479735fDan Gohman  // Enable FastISel with -fast, but allow that to be overridden.
278eb0d6abee36c274cf081948795f4675d8f33fc6fDan Gohman  if (EnableFastISelOption == cl::BOU_TRUE ||
27998a366d547772010e94609e4584489b3e5ce0043Bill Wendling      (OptLevel == CodeGenOpt::None && EnableFastISelOption != cl::BOU_FALSE))
280dc756858f92a397ed30362ba8251fec56479735fDan Gohman    EnableFastISel = true;
281dc756858f92a397ed30362ba8251fec56479735fDan Gohman
28247877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Ask the target for an isel.
283be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  if (addInstSelector(PM, OptLevel))
28447877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner    return true;
28504523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
28647877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Print the instruction selected machine code...
28748872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  printAndVerify(PM, /* allowDoubleDefs= */ true);
2880f940c95d4506f8d04fa2aeda8a79cadb3105fe3Bill Wendling
28998a366d547772010e94609e4584489b3e5ce0043Bill Wendling  if (OptLevel != CodeGenOpt::None) {
290cc8f603f531c906782e4966107ae29667eb6632cBill Wendling    PM.add(createMachineLICMPass());
2913c42f1211874665e8ea6eea55a45024b557afa61Chris Lattner    PM.add(createMachineSinkingPass());
2928799dbe5b7be2e959047caf88ce97a04a3526856Evan Cheng    printAndVerify(PM, /* allowDoubleDefs= */ true);
2938f0d99e463a2dcb5a40d14f0481a0e322bcf79e4Evan Cheng  }
2940f940c95d4506f8d04fa2aeda8a79cadb3105fe3Bill Wendling
295b013f5094c3bdb36472da996d63d5c0f75b6d4d3Anton Korobeynikov  // Run pre-ra passes.
29648872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  if (addPreRegAlloc(PM, OptLevel))
2974af85b2328d432960371efeb092a70a8d9c25227Jakob Stoklund Olesen    printAndVerify(PM, /* allowDoubleDefs= */ true);
298b013f5094c3bdb36472da996d63d5c0f75b6d4d3Anton Korobeynikov
2993f32d65912b4da23793dab618d981be2ce11c331Evan Cheng  // Perform register allocation.
30047877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  PM.add(createRegisterAllocator());
3013f32d65912b4da23793dab618d981be2ce11c331Evan Cheng
3023f32d65912b4da23793dab618d981be2ce11c331Evan Cheng  // Perform stack slot coloring.
30398a366d547772010e94609e4584489b3e5ce0043Bill Wendling  if (OptLevel != CodeGenOpt::None)
3046248fa45299a9e54aac84b3296c02c44ddec84e8Evan Cheng    // FIXME: Re-enable coloring with register when it's capable of adding
3056248fa45299a9e54aac84b3296c02c44ddec84e8Evan Cheng    // kill markers.
3066248fa45299a9e54aac84b3296c02c44ddec84e8Evan Cheng    PM.add(createStackSlotColoringPass(false));
3073f32d65912b4da23793dab618d981be2ce11c331Evan Cheng
30848872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  printAndVerify(PM);           // Print the register-allocated code
30902dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
3103f32d65912b4da23793dab618d981be2ce11c331Evan Cheng  // Run post-ra passes.
31148872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  if (addPostRegAlloc(PM, OptLevel))
31248872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    printAndVerify(PM);
31302dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
314ada779fb11eb411536aa8219a176ca0ce4d58fd1Christopher Lamb  PM.add(createLowerSubregsPass());
31548872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  printAndVerify(PM);
31604523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
31747877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  // Insert prolog/epilog code.  Eliminate abstract frame index references...
31847877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner  PM.add(createPrologEpilogCodeInserter());
31948872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  printAndVerify(PM);
32002dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
321e7e7d0d7e39d0c7c659d26b97e8081fce0fcd749Dale Johannesen  // Second pass scheduler.
32298a366d547772010e94609e4584489b3e5ce0043Bill Wendling  if (OptLevel != CodeGenOpt::None && !DisablePostRAScheduler) {
32372f159640382a16e036b63dcb9c0b427e6d5dc0aDale Johannesen    PM.add(createPostRAScheduler());
32448872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    printAndVerify(PM);
3255ce0973f7f4d149f986d16d1a1f79b131fd70423Dan Gohman  }
3265ce0973f7f4d149f986d16d1a1f79b131fd70423Dan Gohman
32723b0d490cdf27b2cba7b497aceeb5c79b0d0c9feDan Gohman  // Branch folding must be run after regalloc and prolog/epilog insertion.
32848872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  if (OptLevel != CodeGenOpt::None) {
32923b0d490cdf27b2cba7b497aceeb5c79b0d0c9feDan Gohman    PM.add(createBranchFoldingPass(getEnableTailMergeDefault()));
33048872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen    printAndVerify(PM);
33148872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  }
33223b0d490cdf27b2cba7b497aceeb5c79b0d0c9feDan Gohman
33393f96d00bf10299246ea726956ce84dcb4b9a59eGordon Henriksen  PM.add(createGCMachineCodeAnalysisPass());
33448872e0d84b47769be6c13ae98bf88468b59d921Jakob Stoklund Olesen  printAndVerify(PM);
33502dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman
33693f96d00bf10299246ea726956ce84dcb4b9a59eGordon Henriksen  if (PrintGCInfo)
3375eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen    PM.add(createGCInfoPrinter(*cerr));
33804523eab6bbc5d55a6e3f3296ddd583c8ad5ebb1Bill Wendling
33902dae4ba06a05d28b24b3c1b39d54de751271c95Dan Gohman  return false;
34047877050e7ea02c3514497aba54eef1d4cee8452Chris Lattner}
341