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