LLVMTargetMachine.cpp revision 629adde69953fa53362d20ddb7b4e67ed78b8ae3
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) { 32672f159640382a16e036b63dcb9c0b427e6d5dc0aDale Johannesen PM.add(createPostRAScheduler()); 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