MachineFunction.cpp revision 6c2cf8b1fbcf70fd9db6fe44032c1ceaa2299760
16b9445389a226b4ac97ceb89a34ee1a5bf921714Chris Lattner//===-- MachineFunction.cpp -----------------------------------------------===// 276d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos// 3b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// The LLVM Compiler Infrastructure 4b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// 54ee451de366474b9c228b4e5fa573795a715216dChris Lattner// This file is distributed under the University of Illinois Open Source 64ee451de366474b9c228b4e5fa573795a715216dChris Lattner// License. See LICENSE.TXT for details. 776d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos// 8b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell//===----------------------------------------------------------------------===// 976d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos// 106b9445389a226b4ac97ceb89a34ee1a5bf921714Chris Lattner// Collect native machine code information for a function. This allows 116b9445389a226b4ac97ceb89a34ee1a5bf921714Chris Lattner// target-specific information about the generated code to be stored with each 126b9445389a226b4ac97ceb89a34ee1a5bf921714Chris Lattner// function. 136b9445389a226b4ac97ceb89a34ee1a5bf921714Chris Lattner// 146b9445389a226b4ac97ceb89a34ee1a5bf921714Chris Lattner//===----------------------------------------------------------------------===// 15f2868ce228ca20f72d1c6fbe241de01975cfe609Chris Lattner 166b2760759b23b8b96beb43966b9b8088e832efc7Chris Lattner#include "llvm/CodeGen/MachineFunction.h" 1720c568f366be211323eeaf0e45ef053278ec9ddcBill Wendling#include "llvm/Function.h" 1884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include "llvm/CodeGen/MachineConstantPool.h" 1916c45e9de896ea37d48d093dbe02fc9a4c1b9f8fChris Lattner#include "llvm/CodeGen/MachineFunctionPass.h" 20eb24db9727a7babe863d5afe70c7bda3a460da18Chris Lattner#include "llvm/CodeGen/MachineFrameInfo.h" 2184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include "llvm/CodeGen/MachineInstr.h" 2237efe6764568a3829fee26aba532283131d1a104Nate Begeman#include "llvm/CodeGen/MachineJumpTableInfo.h" 23820e55e9ad3cb3b17780e84863648e431b571d25Chris Lattner#include "llvm/CodeGen/MachineModuleInfo.h" 2484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include "llvm/CodeGen/MachineRegisterInfo.h" 2516c45e9de896ea37d48d093dbe02fc9a4c1b9f8fChris Lattner#include "llvm/CodeGen/Passes.h" 26beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner#include "llvm/MC/MCAsmInfo.h" 27beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner#include "llvm/MC/MCContext.h" 2873858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner#include "llvm/Analysis/ConstantFolding.h" 29c99fd879c0f4bbc56c29d508fec7935e6cbd7ed0Devang Patel#include "llvm/Analysis/DebugInfo.h" 30dc55481841d5ac060c279a61c944f192ad9bb23eDavid Greene#include "llvm/Support/Debug.h" 3107000c6f01d8f57170f2d4c77a86d934bdc5c696Owen Anderson#include "llvm/Target/TargetData.h" 3220c568f366be211323eeaf0e45ef053278ec9ddcBill Wendling#include "llvm/Target/TargetLowering.h" 33f2868ce228ca20f72d1c6fbe241de01975cfe609Chris Lattner#include "llvm/Target/TargetMachine.h" 3416c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikov#include "llvm/Target/TargetFrameLowering.h" 35beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner#include "llvm/ADT/SmallString.h" 36beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner#include "llvm/ADT/STLExtras.h" 37f28bbda2c6c965dbd28e73e06c9e09231a77b0dcChris Lattner#include "llvm/Support/GraphWriter.h" 38944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner#include "llvm/Support/raw_ostream.h" 3907f32d48f1e16bcdc621985549548a5849215238Chris Lattnerusing namespace llvm; 40f2868ce228ca20f72d1c6fbe241de01975cfe609Chris Lattner 41b84822fb7b64977c16e97b870891da1d6c9736feChris Lattner//===----------------------------------------------------------------------===// 42227c3d355b017393963a690f9f27d1de7fa359bcChris Lattner// MachineFunction implementation 43b84822fb7b64977c16e97b870891da1d6c9736feChris Lattner//===----------------------------------------------------------------------===// 449d5d7598db72c00a0fb89dc77198e4f6ebc5294dChris Lattner 45a70e2e3d4831b8a39ea6bae5c62df29fa82a86f3Chris Lattner// Out of line virtual method. 46a70e2e3d4831b8a39ea6bae5c62df29fa82a86f3Chris LattnerMachineFunctionInfo::~MachineFunctionInfo() {} 47a70e2e3d4831b8a39ea6bae5c62df29fa82a86f3Chris Lattner 48fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanvoid ilist_traits<MachineBasicBlock>::deleteNode(MachineBasicBlock *MBB) { 498e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman MBB->getParent()->DeleteMachineBasicBlock(MBB); 50792699c46ef9bfc47dd459bbfa7e71bcb2cee29aTanya Lattner} 51227c3d355b017393963a690f9f27d1de7fa359bcChris Lattner 52ae541aad5c36cb3e4256514447d1f81e253079c7Dan GohmanMachineFunction::MachineFunction(const Function *F, const TargetMachine &TM, 537a5a3f75eb6751c35682f506887c34bf57d6ea3eNicolas Geoffray unsigned FunctionNum, MachineModuleInfo &mmi, 547a5a3f75eb6751c35682f506887c34bf57d6ea3eNicolas Geoffray GCModuleInfo* gmi) 557a5a3f75eb6751c35682f506887c34bf57d6ea3eNicolas Geoffray : Fn(F), Target(TM), Ctx(mmi.getContext()), MMI(mmi), GMI(gmi) { 56e2b997b7b5360b4793c524a801e988fd37b80b93Matthijs Kooijman if (TM.getRegisterInfo()) 579553188fccbf0ae9c5b6bef26d0d2bd5feff8b59Dan Gohman RegInfo = new (Allocator) MachineRegisterInfo(*TM.getRegisterInfo()); 58e2b997b7b5360b4793c524a801e988fd37b80b93Matthijs Kooijman else 59e2b997b7b5360b4793c524a801e988fd37b80b93Matthijs Kooijman RegInfo = 0; 60ad8281607f066c2cce5c3625009d8ee0761dbf35Chris Lattner MFInfo = 0; 6116c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikov FrameInfo = new (Allocator) MachineFrameInfo(*TM.getFrameLowering()); 625dfa26795da9c521babd598ef911e6d95bd20d37Charles Davis if (Fn->hasFnAttr(Attribute::StackAlignment)) 635dfa26795da9c521babd598ef911e6d95bd20d37Charles Davis FrameInfo->setMaxAlignment(Attribute::getStackAlignmentFromAttrs( 645dfa26795da9c521babd598ef911e6d95bd20d37Charles Davis Fn->getAttributes().getFnAttributes())); 659553188fccbf0ae9c5b6bef26d0d2bd5feff8b59Dan Gohman ConstantPool = new (Allocator) MachineConstantPool(TM.getTargetData()); 66fc5d305597ea6336d75bd7f3b741e8d57d6a5105Eli Friedman Alignment = TM.getTargetLowering()->getMinFunctionAlignment(); 67fc5d305597ea6336d75bd7f3b741e8d57d6a5105Eli Friedman // FIXME: Shouldn't use pref alignment if explicit alignment is set on Fn. 68fc5d305597ea6336d75bd7f3b741e8d57d6a5105Eli Friedman if (!Fn->hasFnAttr(Attribute::OptimizeForSize)) 69fc5d305597ea6336d75bd7f3b741e8d57d6a5105Eli Friedman Alignment = std::max(Alignment, 70fc5d305597ea6336d75bd7f3b741e8d57d6a5105Eli Friedman TM.getTargetLowering()->getPrefFunctionAlignment()); 71b84822fb7b64977c16e97b870891da1d6c9736feChris Lattner FunctionNumber = FunctionNum; 72071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner JumpTableInfo = 0; 73831fdcf0177a4eef66129cd6fb4138922c492bf0Chris Lattner} 74831fdcf0177a4eef66129cd6fb4138922c492bf0Chris Lattner 7576d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis EvlogimenosMachineFunction::~MachineFunction() { 764b9a4006748b8d72a04504a5fc1f5daa73bf69f9Chris Lattner BasicBlocks.clear(); 778e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman InstructionRecycler.clear(Allocator); 788e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman BasicBlockRecycler.clear(Allocator); 79dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling if (RegInfo) { 80dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling RegInfo->~MachineRegisterInfo(); 81dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling Allocator.Deallocate(RegInfo); 82dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling } 838e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman if (MFInfo) { 84dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling MFInfo->~MachineFunctionInfo(); 85dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling Allocator.Deallocate(MFInfo); 868e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman } 878e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman FrameInfo->~MachineFrameInfo(); Allocator.Deallocate(FrameInfo); 888e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman ConstantPool->~MachineConstantPool(); Allocator.Deallocate(ConstantPool); 89071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner 90071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner if (JumpTableInfo) { 91071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner JumpTableInfo->~MachineJumpTableInfo(); 92071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner Allocator.Deallocate(JumpTableInfo); 93071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner } 941049164aa6b06d91d9b3b557a9a213eaf3f6319aChris Lattner} 951049164aa6b06d91d9b3b557a9a213eaf3f6319aChris Lattner 96071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner/// getOrCreateJumpTableInfo - Get the JumpTableInfo for this function, if it 97071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner/// does already exist, allocate one. 98071c62fad0b25ad4131e7f984173a796c1e63f61Chris LattnerMachineJumpTableInfo *MachineFunction:: 99071c62fad0b25ad4131e7f984173a796c1e63f61Chris LattnergetOrCreateJumpTableInfo(unsigned EntryKind) { 100071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner if (JumpTableInfo) return JumpTableInfo; 101071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner 1029553188fccbf0ae9c5b6bef26d0d2bd5feff8b59Dan Gohman JumpTableInfo = new (Allocator) 103071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner MachineJumpTableInfo((MachineJumpTableInfo::JTEntryKind)EntryKind); 104071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner return JumpTableInfo; 105071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner} 106e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 107e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner/// RenumberBlocks - This discards all of the MachineBasicBlock numbers and 108e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner/// recomputes them. This guarantees that the MBB numbers are sequential, 109e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner/// dense, and match the ordering of the blocks within the function. If a 110e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner/// specific MachineBasicBlock is specified, only that block and those after 111e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner/// it are renumbered. 112e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattnervoid MachineFunction::RenumberBlocks(MachineBasicBlock *MBB) { 113e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner if (empty()) { MBBNumbering.clear(); return; } 114e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MachineFunction::iterator MBBI, E = end(); 115e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner if (MBB == 0) 116e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBI = begin(); 117e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner else 118e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBI = MBB; 119e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 120e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner // Figure out the block number this should have. 121e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner unsigned BlockNo = 0; 122f28bbda2c6c965dbd28e73e06c9e09231a77b0dcChris Lattner if (MBBI != begin()) 123f28bbda2c6c965dbd28e73e06c9e09231a77b0dcChris Lattner BlockNo = prior(MBBI)->getNumber()+1; 124e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 125e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner for (; MBBI != E; ++MBBI, ++BlockNo) { 126e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner if (MBBI->getNumber() != (int)BlockNo) { 127e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner // Remove use of the old number. 128e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner if (MBBI->getNumber() != -1) { 129e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner assert(MBBNumbering[MBBI->getNumber()] == &*MBBI && 130e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner "MBB number mismatch!"); 131e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBNumbering[MBBI->getNumber()] = 0; 132e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner } 133e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 134e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner // If BlockNo is already taken, set that block's number to -1. 135e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner if (MBBNumbering[BlockNo]) 136e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBNumbering[BlockNo]->setNumber(-1); 137e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 138e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBNumbering[BlockNo] = MBBI; 139e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBI->setNumber(BlockNo); 140e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner } 141e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner } 142e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 143e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner // Okay, all the blocks are renumbered. If we have compactified the block 144e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner // numbering, shrink MBBNumbering now. 145e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner assert(BlockNo <= MBBNumbering.size() && "Mismatch!"); 146e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBNumbering.resize(BlockNo); 147e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner} 148e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 1498e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// CreateMachineInstr - Allocate a new MachineInstr. Use this instead 1508e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// of `new MachineInstr'. 1518e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// 1528e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineInstr * 153e837dead3c8dc3445ef6a0e2322179c57e264a13Evan ChengMachineFunction::CreateMachineInstr(const MCInstrDesc &MCID, 1549bc96a57206cbebaa9b0ba9979f949eb10c1592cBill Wendling DebugLoc DL, bool NoImp) { 1558e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman return new (InstructionRecycler.Allocate<MachineInstr>(Allocator)) 156e837dead3c8dc3445ef6a0e2322179c57e264a13Evan Cheng MachineInstr(MCID, DL, NoImp); 1578e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 1588e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman 1598e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// CloneMachineInstr - Create a new MachineInstr which is a copy of the 160f451cb870efcf9e0302d25ed05f4cac6bb494e42Dan Gohman/// 'Orig' instruction, identical in all ways except the instruction 1618e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// has no parent, prev, or next. 1628e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// 1638e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineInstr * 1648e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineFunction::CloneMachineInstr(const MachineInstr *Orig) { 1658e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman return new (InstructionRecycler.Allocate<MachineInstr>(Allocator)) 1668e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman MachineInstr(*this, *Orig); 1678e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 1688e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman 1698e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// DeleteMachineInstr - Delete the given MachineInstr. 1708e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// 1718e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohmanvoid 1728e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineFunction::DeleteMachineInstr(MachineInstr *MI) { 1738e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman MI->~MachineInstr(); 1748e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman InstructionRecycler.Deallocate(Allocator, MI); 1758e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 1768e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman 1778e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// CreateMachineBasicBlock - Allocate a new MachineBasicBlock. Use this 1788e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// instead of `new MachineBasicBlock'. 1798e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// 1808e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineBasicBlock * 1818e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineFunction::CreateMachineBasicBlock(const BasicBlock *bb) { 1828e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman return new (BasicBlockRecycler.Allocate<MachineBasicBlock>(Allocator)) 1838e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman MachineBasicBlock(*this, bb); 1848e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 185e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 1868e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// DeleteMachineBasicBlock - Delete the given MachineBasicBlock. 1878e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// 1888e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohmanvoid 1898e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineFunction::DeleteMachineBasicBlock(MachineBasicBlock *MBB) { 1908e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman assert(MBB->getParent() == this && "MBB parent mismatch!"); 1918e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman MBB->~MachineBasicBlock(); 1928e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman BasicBlockRecycler.Deallocate(Allocator, MBB); 1938e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 1948e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman 195c76909abfec876c6b751d693ebd3df07df686aa0Dan GohmanMachineMemOperand * 196da39c3964423744b4d79aebef8bece3e9141d5fcChris LattnerMachineFunction::getMachineMemOperand(MachinePointerInfo PtrInfo, unsigned f, 197f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman uint64_t s, unsigned base_alignment, 198f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman const MDNode *TBAAInfo) { 199f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman return new (Allocator) MachineMemOperand(PtrInfo, f, s, base_alignment, 200f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman TBAAInfo); 201c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman} 202c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman 203c76909abfec876c6b751d693ebd3df07df686aa0Dan GohmanMachineMemOperand * 204c76909abfec876c6b751d693ebd3df07df686aa0Dan GohmanMachineFunction::getMachineMemOperand(const MachineMemOperand *MMO, 205c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman int64_t Offset, uint64_t Size) { 2069553188fccbf0ae9c5b6bef26d0d2bd5feff8b59Dan Gohman return new (Allocator) 207da39c3964423744b4d79aebef8bece3e9141d5fcChris Lattner MachineMemOperand(MachinePointerInfo(MMO->getValue(), 208da39c3964423744b4d79aebef8bece3e9141d5fcChris Lattner MMO->getOffset()+Offset), 209f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman MMO->getFlags(), Size, 210f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman MMO->getBaseAlignment(), 0); 211c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman} 212c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman 213c76909abfec876c6b751d693ebd3df07df686aa0Dan GohmanMachineInstr::mmo_iterator 214c76909abfec876c6b751d693ebd3df07df686aa0Dan GohmanMachineFunction::allocateMemRefsArray(unsigned long Num) { 215c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman return Allocator.Allocate<MachineMemOperand *>(Num); 216c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman} 217c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman 21891e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohmanstd::pair<MachineInstr::mmo_iterator, MachineInstr::mmo_iterator> 21991e69c37153eb7d8cd149d9c2484c3115027b90fDan GohmanMachineFunction::extractLoadMemRefs(MachineInstr::mmo_iterator Begin, 22091e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineInstr::mmo_iterator End) { 22191e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Count the number of load mem refs. 22291e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman unsigned Num = 0; 22391e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman for (MachineInstr::mmo_iterator I = Begin; I != End; ++I) 22491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if ((*I)->isLoad()) 22591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman ++Num; 22691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman 22791e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Allocate a new array and populate it with the load information. 22891e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineInstr::mmo_iterator Result = allocateMemRefsArray(Num); 22991e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman unsigned Index = 0; 23091e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman for (MachineInstr::mmo_iterator I = Begin; I != End; ++I) { 23191e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if ((*I)->isLoad()) { 23291e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if (!(*I)->isStore()) 23391e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Reuse the MMO. 23491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman Result[Index] = *I; 23591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman else { 23691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Clone the MMO and unset the store flag. 23791e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineMemOperand *JustLoad = 23893a95ae8a9d8eb19dc0d90281473be2fb1c05a17Chris Lattner getMachineMemOperand((*I)->getPointerInfo(), 23991e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman (*I)->getFlags() & ~MachineMemOperand::MOStore, 240f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman (*I)->getSize(), (*I)->getBaseAlignment(), 241f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman (*I)->getTBAAInfo()); 24291e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman Result[Index] = JustLoad; 24391e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 24491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman ++Index; 24591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 24691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 24791e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman return std::make_pair(Result, Result + Num); 24891e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman} 24991e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman 25091e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohmanstd::pair<MachineInstr::mmo_iterator, MachineInstr::mmo_iterator> 25191e69c37153eb7d8cd149d9c2484c3115027b90fDan GohmanMachineFunction::extractStoreMemRefs(MachineInstr::mmo_iterator Begin, 25291e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineInstr::mmo_iterator End) { 25391e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Count the number of load mem refs. 25491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman unsigned Num = 0; 25591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman for (MachineInstr::mmo_iterator I = Begin; I != End; ++I) 25691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if ((*I)->isStore()) 25791e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman ++Num; 25891e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman 25991e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Allocate a new array and populate it with the store information. 26091e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineInstr::mmo_iterator Result = allocateMemRefsArray(Num); 26191e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman unsigned Index = 0; 26291e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman for (MachineInstr::mmo_iterator I = Begin; I != End; ++I) { 26391e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if ((*I)->isStore()) { 26491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if (!(*I)->isLoad()) 26591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Reuse the MMO. 26691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman Result[Index] = *I; 26791e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman else { 26891e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Clone the MMO and unset the load flag. 26991e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineMemOperand *JustStore = 27093a95ae8a9d8eb19dc0d90281473be2fb1c05a17Chris Lattner getMachineMemOperand((*I)->getPointerInfo(), 27191e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman (*I)->getFlags() & ~MachineMemOperand::MOLoad, 272f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman (*I)->getSize(), (*I)->getBaseAlignment(), 273f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman (*I)->getTBAAInfo()); 27491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman Result[Index] = JustStore; 27591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 27691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman ++Index; 27791e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 27891e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 27991e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman return std::make_pair(Result, Result + Num); 28091e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman} 28191e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman 2828e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohmanvoid MachineFunction::dump() const { 283dc55481841d5ac060c279a61c944f192ad9bb23eDavid Greene print(dbgs()); 2848e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 2851049164aa6b06d91d9b3b557a9a213eaf3f6319aChris Lattner 286f4a1e1a69f0727762a73ef0d551e3bbd16b7c04eJakob Stoklund Olesenvoid MachineFunction::print(raw_ostream &OS, SlotIndexes *Indexes) const { 2870ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "# Machine code for function " << Fn->getName() << ":\n"; 288955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner 289955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner // Print Frame Information 2908e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman FrameInfo->print(*this, OS); 29137efe6764568a3829fee26aba532283131d1a104Nate Begeman 29237efe6764568a3829fee26aba532283131d1a104Nate Begeman // Print JumpTable Information 293071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner if (JumpTableInfo) 294071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner JumpTableInfo->print(OS); 2954d149cdae1553426f49623fdae215d481d56d955Chris Lattner 2964d149cdae1553426f49623fdae215d481d56d955Chris Lattner // Print Constant Pool 297d74c556e9aaad81a188158b7ba12d7ccffb30936Chris Lattner ConstantPool->print(OS); 298a1f68ca94e763945f9accc75768a55a84bae6cfbChris Lattner 2996f0d024a534af18d9e60b3ea757376cd8a3a980eDan Gohman const TargetRegisterInfo *TRI = getTarget().getRegisterInfo(); 300a1f68ca94e763945f9accc75768a55a84bae6cfbChris Lattner 301e2b997b7b5360b4793c524a801e988fd37b80b93Matthijs Kooijman if (RegInfo && !RegInfo->livein_empty()) { 3020ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "Function Live Ins: "; 30384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner for (MachineRegisterInfo::livein_iterator 30484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner I = RegInfo->livein_begin(), E = RegInfo->livein_end(); I != E; ++I) { 305e2f669fb3fa7a6bee4196999b119a98f31c072a3Jakob Stoklund Olesen OS << PrintReg(I->first, TRI); 3064e92027837136233db0fc1c1a4fa2bc456d74de3Chris Lattner if (I->second) 307e2f669fb3fa7a6bee4196999b119a98f31c072a3Jakob Stoklund Olesen OS << " in " << PrintReg(I->second, TRI); 3087896c9f436a4eda5ec15e882a7505ba482a2fcd0Chris Lattner if (llvm::next(I) != E) 3090ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << ", "; 310a1f68ca94e763945f9accc75768a55a84bae6cfbChris Lattner } 311d74c556e9aaad81a188158b7ba12d7ccffb30936Chris Lattner OS << '\n'; 312a1f68ca94e763945f9accc75768a55a84bae6cfbChris Lattner } 313e2b997b7b5360b4793c524a801e988fd37b80b93Matthijs Kooijman if (RegInfo && !RegInfo->liveout_empty()) { 314e2f669fb3fa7a6bee4196999b119a98f31c072a3Jakob Stoklund Olesen OS << "Function Live Outs:"; 31584bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner for (MachineRegisterInfo::liveout_iterator 316e2f669fb3fa7a6bee4196999b119a98f31c072a3Jakob Stoklund Olesen I = RegInfo->liveout_begin(), E = RegInfo->liveout_end(); I != E; ++I) 317e2f669fb3fa7a6bee4196999b119a98f31c072a3Jakob Stoklund Olesen OS << ' ' << PrintReg(*I, TRI); 318d74c556e9aaad81a188158b7ba12d7ccffb30936Chris Lattner OS << '\n'; 319a1f68ca94e763945f9accc75768a55a84bae6cfbChris Lattner } 320a1f68ca94e763945f9accc75768a55a84bae6cfbChris Lattner 3210ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman for (const_iterator BB = begin(), E = end(); BB != E; ++BB) { 3220ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << '\n'; 323f4a1e1a69f0727762a73ef0d551e3bbd16b7c04eJakob Stoklund Olesen BB->print(OS, Indexes); 3240ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman } 32547b716483ef2d057c8a0015af20685755e606d0dBrian Gaeke 3260ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "\n# End machine code for function " << Fn->getName() << ".\n\n"; 3271049164aa6b06d91d9b3b557a9a213eaf3f6319aChris Lattner} 3281049164aa6b06d91d9b3b557a9a213eaf3f6319aChris Lattner 32971bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenosnamespace llvm { 33076d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos template<> 33176d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos struct DOTGraphTraits<const MachineFunction*> : public DefaultDOTGraphTraits { 332a10d598602308549d87d2c5d9848f5a72fda2b43Tobias Grosser 333a10d598602308549d87d2c5d9848f5a72fda2b43Tobias Grosser DOTGraphTraits (bool isSimple=false) : DefaultDOTGraphTraits(isSimple) {} 334a10d598602308549d87d2c5d9848f5a72fda2b43Tobias Grosser 33576d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos static std::string getGraphName(const MachineFunction *F) { 336a7b0cb759433c715065440ee2a963a04db7f2b0bBenjamin Kramer return "CFG for '" + F->getFunction()->getName().str() + "' function"; 33776d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos } 33871bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 33956f4ef3232850e29c4635d0923910acce8887bd0Tobias Grosser std::string getNodeLabel(const MachineBasicBlock *Node, 34056f4ef3232850e29c4635d0923910acce8887bd0Tobias Grosser const MachineFunction *Graph) { 341cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner std::string OutStr; 342cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner { 343cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner raw_string_ostream OSS(OutStr); 344e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen 345e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen if (isSimple()) { 346e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen OSS << "BB#" << Node->getNumber(); 347e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen if (const BasicBlock *BB = Node->getBasicBlock()) 348e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen OSS << ": " << BB->getName(); 349e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen } else 350cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner Node->print(OSS); 35176d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos } 35271bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 35376d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos if (OutStr[0] == '\n') OutStr.erase(OutStr.begin()); 35471bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 35576d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos // Process string output to make it nicer... 35676d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos for (unsigned i = 0; i != OutStr.length(); ++i) 35776d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos if (OutStr[i] == '\n') { // Left justify 35876d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos OutStr[i] = '\\'; 35976d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos OutStr.insert(OutStr.begin()+i+1, 'l'); 36076d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos } 36176d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos return OutStr; 36276d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos } 36376d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos }; 36471bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos} 36571bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 36671bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenosvoid MachineFunction::viewCFG() const 36771bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos{ 368851a22db2bdbcab1768a87c4f02b5972e48db5edJim Laskey#ifndef NDEBUG 36925ad1cc32af8d526eb72893a513a486bc28c5106Benjamin Kramer ViewGraph(this, "mf" + getFunction()->getName()); 3709d5b532de9bdca37810a59a93a69128441b02c55Reid Spencer#else 371643fffe429cc467584c795f6177741944729e0a5Dan Gohman errs() << "MachineFunction::viewCFG is only available in debug builds on " 37243ed267db3512823a9698f810be4e64bee227270Daniel Dunbar << "systems with Graphviz or gv!\n"; 3739d5b532de9bdca37810a59a93a69128441b02c55Reid Spencer#endif // NDEBUG 37471bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos} 37571bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 37671bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenosvoid MachineFunction::viewCFGOnly() const 37771bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos{ 3788cbc94afb71fd2da72d8f1284f7f53e39019fdecOwen Anderson#ifndef NDEBUG 37925ad1cc32af8d526eb72893a513a486bc28c5106Benjamin Kramer ViewGraph(this, "mf" + getFunction()->getName(), true); 3808cbc94afb71fd2da72d8f1284f7f53e39019fdecOwen Anderson#else 381643fffe429cc467584c795f6177741944729e0a5Dan Gohman errs() << "MachineFunction::viewCFGOnly is only available in debug builds on " 38243ed267db3512823a9698f810be4e64bee227270Daniel Dunbar << "systems with Graphviz or gv!\n"; 3838cbc94afb71fd2da72d8f1284f7f53e39019fdecOwen Anderson#endif // NDEBUG 38471bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos} 38571bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 386998e125a87d49f28c714d8223a37746850401057Bob Wilson/// addLiveIn - Add the specified physical register as a live-in value and 387998e125a87d49f28c714d8223a37746850401057Bob Wilson/// create a corresponding virtual register for it. 388998e125a87d49f28c714d8223a37746850401057Bob Wilsonunsigned MachineFunction::addLiveIn(unsigned PReg, 38968e6beeccc0b9ac2e8d3687a8a5b7d4b172edca1Devang Patel const TargetRegisterClass *RC) { 3903946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng MachineRegisterInfo &MRI = getRegInfo(); 3913946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng unsigned VReg = MRI.getLiveInVirtReg(PReg); 3923946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng if (VReg) { 3933946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng assert(MRI.getRegClass(VReg) == RC && "Register class mismatch!"); 3943946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng return VReg; 3953946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng } 3963946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng VReg = MRI.createVirtualRegister(RC); 3973946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng MRI.addLiveIn(PReg, VReg); 398998e125a87d49f28c714d8223a37746850401057Bob Wilson return VReg; 399998e125a87d49f28c714d8223a37746850401057Bob Wilson} 400998e125a87d49f28c714d8223a37746850401057Bob Wilson 401589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner/// getJTISymbol - Return the MCSymbol for the specified non-empty jump table. 40207d317711781d8c9268f7d6afcf1ba7eadf1d127Bill Wendling/// If isLinkerPrivate is specified, an 'l' label is returned, otherwise a 40307d317711781d8c9268f7d6afcf1ba7eadf1d127Bill Wendling/// normal 'L' label is returned. 40407d317711781d8c9268f7d6afcf1ba7eadf1d127Bill WendlingMCSymbol *MachineFunction::getJTISymbol(unsigned JTI, MCContext &Ctx, 40507d317711781d8c9268f7d6afcf1ba7eadf1d127Bill Wendling bool isLinkerPrivate) const { 406589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner assert(JumpTableInfo && "No jump tables"); 407589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner 408de4c08008a10aba59171c56086d96c760990a4cbChandler Carruth assert(JTI < JumpTableInfo->getJumpTables().size() && "Invalid JTI!"); 409589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner const MCAsmInfo &MAI = *getTarget().getMCAsmInfo(); 410589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner 41107d317711781d8c9268f7d6afcf1ba7eadf1d127Bill Wendling const char *Prefix = isLinkerPrivate ? MAI.getLinkerPrivateGlobalPrefix() : 41207d317711781d8c9268f7d6afcf1ba7eadf1d127Bill Wendling MAI.getPrivateGlobalPrefix(); 413589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner SmallString<60> Name; 414589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner raw_svector_ostream(Name) 415589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner << Prefix << "JTI" << getFunctionNumber() << '_' << JTI; 4169b97a73dedf736e14b04a3d1a153f10d25b2507bChris Lattner return Ctx.GetOrCreateSymbol(Name.str()); 417589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner} 418589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner 419142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner/// getPICBaseSymbol - Return a function-local symbol to represent the PIC 420142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner/// base. 421142b531e024c7b814df74951b378b9e3e11d0d42Chris LattnerMCSymbol *MachineFunction::getPICBaseSymbol() const { 422142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner const MCAsmInfo &MAI = *Target.getMCAsmInfo(); 423142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner return Ctx.GetOrCreateSymbol(Twine(MAI.getPrivateGlobalPrefix())+ 424142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner Twine(getFunctionNumber())+"$pb"); 425142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner} 426589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner 427955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner//===----------------------------------------------------------------------===// 428eb24db9727a7babe863d5afe70c7bda3a460da18Chris Lattner// MachineFrameInfo implementation 429955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner//===----------------------------------------------------------------------===// 430955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner 4311612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner/// CreateFixedObject - Create a new object at a fixed location on the stack. 4321612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner/// All fixed objects should be created before other objects are created for 4331612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner/// efficiency. By default, fixed objects are immutable. This returns an 4341612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner/// index with a negative value. 4351612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner/// 4361612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattnerint MachineFrameInfo::CreateFixedObject(uint64_t Size, int64_t SPOffset, 437ed2ae136d29dd36122d2476801e7d7a86e8301e3Evan Cheng bool Immutable) { 4381612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner assert(Size != 0 && "Cannot allocate zero size fixed stack objects!"); 439f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng // The alignment of the frame index can be determined from its offset from 440f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng // the incoming frame position. If the frame object is at offset 32 and 441f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng // the stack is guaranteed to be 16-byte aligned, then we know that the 442f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng // object is 16-byte aligned. 443f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng unsigned StackAlign = TFI.getStackAlignment(); 444f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng unsigned Align = MinAlign(SPOffset, StackAlign); 445f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng Objects.insert(Objects.begin(), StackObject(Size, Align, SPOffset, Immutable, 446dfc2c51d12fd53822279b6e564cdd5cef5c00b46Bill Wendling /*isSS*/false, false)); 4471612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner return -++NumFixedObjects; 4481612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner} 4491612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner 4501612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner 4514a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund OlesenBitVector 4524a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund OlesenMachineFrameInfo::getPristineRegs(const MachineBasicBlock *MBB) const { 4534a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen assert(MBB && "MBB must be valid"); 4544a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen const MachineFunction *MF = MBB->getParent(); 4554a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen assert(MF && "MBB must be part of a MachineFunction"); 4564a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen const TargetMachine &TM = MF->getTarget(); 4574a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen const TargetRegisterInfo *TRI = TM.getRegisterInfo(); 4584a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen BitVector BV(TRI->getNumRegs()); 4594a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 4604a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen // Before CSI is calculated, no registers are considered pristine. They can be 4614a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen // freely used and PEI will make sure they are saved. 4624a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen if (!isCalleeSavedInfoValid()) 4634a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen return BV; 4644a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 4654a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen for (const unsigned *CSR = TRI->getCalleeSavedRegs(MF); CSR && *CSR; ++CSR) 4664a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen BV.set(*CSR); 4674a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 4684a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen // The entry MBB always has all CSRs pristine. 4694a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen if (MBB == &MF->front()) 4704a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen return BV; 4714a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 4724a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen // On other MBBs the saved CSRs are not pristine. 4734a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen const std::vector<CalleeSavedInfo> &CSI = getCalleeSavedInfo(); 4744a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(), 4754a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen E = CSI.end(); I != E; ++I) 4764a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen BV.reset(I->getReg()); 4774a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 4784a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen return BV; 4794a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen} 4804a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 4814a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 482d74c556e9aaad81a188158b7ba12d7ccffb30936Chris Lattnervoid MachineFrameInfo::print(const MachineFunction &MF, raw_ostream &OS) const{ 4830ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman if (Objects.empty()) return; 4840ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 48516c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikov const TargetFrameLowering *FI = MF.getTarget().getFrameLowering(); 48606140888b1fed24910031f23c302c6a3221f3c42Matthijs Kooijman int ValOffset = (FI ? FI->getOffsetOfLocalArea() : 0); 4879085d8a9a9000eeaa7cf337ccbdca41d528c99c2Chris Lattner 4880ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "Frame Objects:\n"; 4890ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 490955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner for (unsigned i = 0, e = Objects.size(); i != e; ++i) { 491955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner const StackObject &SO = Objects[i]; 4920ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << " fi#" << (int)(i-NumFixedObjects) << ": "; 493d36531249a9a9500e516148e7e72d4c0a7a4d0eeEvan Cheng if (SO.Size == ~0ULL) { 494d36531249a9a9500e516148e7e72d4c0a7a4d0eeEvan Cheng OS << "dead\n"; 495d36531249a9a9500e516148e7e72d4c0a7a4d0eeEvan Cheng continue; 496d36531249a9a9500e516148e7e72d4c0a7a4d0eeEvan Cheng } 497955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner if (SO.Size == 0) 498955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner OS << "variable sized"; 499955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner else 5000ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "size=" << SO.Size; 5010ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << ", align=" << SO.Alignment; 50276d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos 503955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner if (i < NumFixedObjects) 5040ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << ", fixed"; 505955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner if (i < NumFixedObjects || SO.SPOffset != -1) { 506a401b1e1c5eb9563617db8a2477b4c5f8b239521Chris Lattner int64_t Off = SO.SPOffset - ValOffset; 5070ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << ", at location [SP"; 5089085d8a9a9000eeaa7cf337ccbdca41d528c99c2Chris Lattner if (Off > 0) 50976d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos OS << "+" << Off; 5109085d8a9a9000eeaa7cf337ccbdca41d528c99c2Chris Lattner else if (Off < 0) 51176d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos OS << Off; 512955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner OS << "]"; 513955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner } 514955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner OS << "\n"; 515955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner } 516955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner} 517955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner 5189085d8a9a9000eeaa7cf337ccbdca41d528c99c2Chris Lattnervoid MachineFrameInfo::dump(const MachineFunction &MF) const { 519dc55481841d5ac060c279a61c944f192ad9bb23eDavid Greene print(MF, dbgs()); 5209085d8a9a9000eeaa7cf337ccbdca41d528c99c2Chris Lattner} 521955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner 522955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner//===----------------------------------------------------------------------===// 52337efe6764568a3829fee26aba532283131d1a104Nate Begeman// MachineJumpTableInfo implementation 52437efe6764568a3829fee26aba532283131d1a104Nate Begeman//===----------------------------------------------------------------------===// 52537efe6764568a3829fee26aba532283131d1a104Nate Begeman 526071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner/// getEntrySize - Return the size of each entry in the jump table. 527071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattnerunsigned MachineJumpTableInfo::getEntrySize(const TargetData &TD) const { 528071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner // The size of a jump table entry is 4 bytes unless the entry is just the 529071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner // address of a block, in which case it is the pointer size. 530071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner switch (getEntryKind()) { 531071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_BlockAddress: 532071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner return TD.getPointerSize(); 5336c2cf8b1fbcf70fd9db6fe44032c1ceaa2299760Akira Hatanaka case MachineJumpTableInfo::EK_GPRel64BlockAddress: 5346c2cf8b1fbcf70fd9db6fe44032c1ceaa2299760Akira Hatanaka return 8; 535071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_GPRel32BlockAddress: 536071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_LabelDifference32: 53785fe07866a3b240d9facef3b2f2ea81a0a8db018Chris Lattner case MachineJumpTableInfo::EK_Custom32: 538071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner return 4; 53995da605e15a6f108b551ecc6772823ea53de3007Richard Osborne case MachineJumpTableInfo::EK_Inline: 54095da605e15a6f108b551ecc6772823ea53de3007Richard Osborne return 0; 541071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner } 542071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner assert(0 && "Unknown jump table encoding!"); 543071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner return ~0; 544071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner} 545071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner 546071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner/// getEntryAlignment - Return the alignment of each entry in the jump table. 547071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattnerunsigned MachineJumpTableInfo::getEntryAlignment(const TargetData &TD) const { 548071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner // The alignment of a jump table entry is the alignment of int32 unless the 549071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner // entry is just the address of a block, in which case it is the pointer 550071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner // alignment. 551071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner switch (getEntryKind()) { 552071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_BlockAddress: 553071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner return TD.getPointerABIAlignment(); 5546c2cf8b1fbcf70fd9db6fe44032c1ceaa2299760Akira Hatanaka case MachineJumpTableInfo::EK_GPRel64BlockAddress: 5556c2cf8b1fbcf70fd9db6fe44032c1ceaa2299760Akira Hatanaka return TD.getABIIntegerTypeAlignment(64); 556071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_GPRel32BlockAddress: 557071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_LabelDifference32: 55885fe07866a3b240d9facef3b2f2ea81a0a8db018Chris Lattner case MachineJumpTableInfo::EK_Custom32: 559071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner return TD.getABIIntegerTypeAlignment(32); 56095da605e15a6f108b551ecc6772823ea53de3007Richard Osborne case MachineJumpTableInfo::EK_Inline: 56195da605e15a6f108b551ecc6772823ea53de3007Richard Osborne return 1; 562071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner } 563071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner assert(0 && "Unknown jump table encoding!"); 564071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner return ~0; 565071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner} 566071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner 567d1ec31dca534a8816d7f2fcbfdc7ed4476b471d3Bob Wilson/// createJumpTableIndex - Create a new jump table entry in the jump table info. 56837efe6764568a3829fee26aba532283131d1a104Nate Begeman/// 569d1ec31dca534a8816d7f2fcbfdc7ed4476b471d3Bob Wilsonunsigned MachineJumpTableInfo::createJumpTableIndex( 570a4eb44a285984ec999de632beb5145b099f5416dChris Lattner const std::vector<MachineBasicBlock*> &DestBBs) { 571e7251a0377334bdb57bd188828bf89c9e3980fadChris Lattner assert(!DestBBs.empty() && "Cannot create an empty jump table!"); 57237efe6764568a3829fee26aba532283131d1a104Nate Begeman JumpTables.push_back(MachineJumpTableEntry(DestBBs)); 57337efe6764568a3829fee26aba532283131d1a104Nate Begeman return JumpTables.size()-1; 57437efe6764568a3829fee26aba532283131d1a104Nate Begeman} 57537efe6764568a3829fee26aba532283131d1a104Nate Begeman 576593ea05957b98472a916278d64229ceda223c50bDan Gohman/// ReplaceMBBInJumpTables - If Old is the target of any jump tables, update 577593ea05957b98472a916278d64229ceda223c50bDan Gohman/// the jump tables to branch to New instead. 578beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattnerbool MachineJumpTableInfo::ReplaceMBBInJumpTables(MachineBasicBlock *Old, 579beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner MachineBasicBlock *New) { 580593ea05957b98472a916278d64229ceda223c50bDan Gohman assert(Old != New && "Not making a change?"); 581593ea05957b98472a916278d64229ceda223c50bDan Gohman bool MadeChange = false; 58268bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach for (size_t i = 0, e = JumpTables.size(); i != e; ++i) 58368bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach ReplaceMBBInJumpTable(i, Old, New); 58468bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach return MadeChange; 58568bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach} 58668bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach 58768bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach/// ReplaceMBBInJumpTable - If Old is a target of the jump tables, update 58868bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach/// the jump table to branch to New instead. 589beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattnerbool MachineJumpTableInfo::ReplaceMBBInJumpTable(unsigned Idx, 590beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner MachineBasicBlock *Old, 591beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner MachineBasicBlock *New) { 59268bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach assert(Old != New && "Not making a change?"); 59368bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach bool MadeChange = false; 59468bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach MachineJumpTableEntry &JTE = JumpTables[Idx]; 59568bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach for (size_t j = 0, e = JTE.MBBs.size(); j != e; ++j) 59668bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach if (JTE.MBBs[j] == Old) { 59768bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach JTE.MBBs[j] = New; 59868bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach MadeChange = true; 59968bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach } 600593ea05957b98472a916278d64229ceda223c50bDan Gohman return MadeChange; 601593ea05957b98472a916278d64229ceda223c50bDan Gohman} 60237efe6764568a3829fee26aba532283131d1a104Nate Begeman 603d74c556e9aaad81a188158b7ba12d7ccffb30936Chris Lattnervoid MachineJumpTableInfo::print(raw_ostream &OS) const { 6040ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman if (JumpTables.empty()) return; 6050ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 6060ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "Jump Tables:\n"; 6070ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 60837efe6764568a3829fee26aba532283131d1a104Nate Begeman for (unsigned i = 0, e = JumpTables.size(); i != e; ++i) { 6090ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << " jt#" << i << ": "; 6100ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman for (unsigned j = 0, f = JumpTables[i].MBBs.size(); j != f; ++j) 6110ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << " BB#" << JumpTables[i].MBBs[j]->getNumber(); 61237efe6764568a3829fee26aba532283131d1a104Nate Begeman } 6130ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 6140ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << '\n'; 61537efe6764568a3829fee26aba532283131d1a104Nate Begeman} 61637efe6764568a3829fee26aba532283131d1a104Nate Begeman 617dc55481841d5ac060c279a61c944f192ad9bb23eDavid Greenevoid MachineJumpTableInfo::dump() const { print(dbgs()); } 61837efe6764568a3829fee26aba532283131d1a104Nate Begeman 61937efe6764568a3829fee26aba532283131d1a104Nate Begeman 62037efe6764568a3829fee26aba532283131d1a104Nate Begeman//===----------------------------------------------------------------------===// 6214d149cdae1553426f49623fdae215d481d56d955Chris Lattner// MachineConstantPool implementation 6224d149cdae1553426f49623fdae215d481d56d955Chris Lattner//===----------------------------------------------------------------------===// 6234d149cdae1553426f49623fdae215d481d56d955Chris Lattner 6242d24e2a396a1d211baaeedf32148a3b657240170David Blaikievoid MachineConstantPoolValue::anchor() { } 6252d24e2a396a1d211baaeedf32148a3b657240170David Blaikie 626db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris LattnerType *MachineConstantPoolEntry::getType() const { 6279abd7c38675ad305c733b7e90578255271afc6bdEvan Cheng if (isMachineConstantPoolEntry()) 628cb4596364369ea36ff5675eb12fc62d0c6f1f0ddChris Lattner return Val.MachineCPVal->getType(); 6299abd7c38675ad305c733b7e90578255271afc6bdEvan Cheng return Val.ConstVal->getType(); 6309abd7c38675ad305c733b7e90578255271afc6bdEvan Cheng} 6319abd7c38675ad305c733b7e90578255271afc6bdEvan Cheng 632cb4596364369ea36ff5675eb12fc62d0c6f1f0ddChris Lattner 633354c0165e755fd857bc89792243b82387ee3936dChris Lattnerunsigned MachineConstantPoolEntry::getRelocationInfo() const { 634cb4596364369ea36ff5675eb12fc62d0c6f1f0ddChris Lattner if (isMachineConstantPoolEntry()) 635354c0165e755fd857bc89792243b82387ee3936dChris Lattner return Val.MachineCPVal->getRelocationInfo(); 6367cf12c7efd37dc12c3ed536a3f4c373dddac2b85Chris Lattner return Val.ConstVal->getRelocationInfo(); 637cb4596364369ea36ff5675eb12fc62d0c6f1f0ddChris Lattner} 638cb4596364369ea36ff5675eb12fc62d0c6f1f0ddChris Lattner 639d6594ae54cfde4db4d30272192645c0a45fb9902Evan ChengMachineConstantPool::~MachineConstantPool() { 640d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng for (unsigned i = 0, e = Constants.size(); i != e; ++i) 641d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng if (Constants[i].isMachineConstantPoolEntry()) 642d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng delete Constants[i].Val.MachineCPVal; 6435567869637383969dced0b84dbd19da12682df6bCameron Zwarich for (DenseSet<MachineConstantPoolValue*>::iterator I = 6445567869637383969dced0b84dbd19da12682df6bCameron Zwarich MachineCPVsSharingEntries.begin(), E = MachineCPVsSharingEntries.end(); 6455567869637383969dced0b84dbd19da12682df6bCameron Zwarich I != E; ++I) 6465567869637383969dced0b84dbd19da12682df6bCameron Zwarich delete *I; 647d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng} 648d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng 64983f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman/// CanShareConstantPoolEntry - Test whether the given two constants 65083f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman/// can be allocated the same constant pool entry. 65146510a73e977273ec67747eb34cbdb43f815e451Dan Gohmanstatic bool CanShareConstantPoolEntry(const Constant *A, const Constant *B, 65283f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman const TargetData *TD) { 65383f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman // Handle the trivial case quickly. 65483f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman if (A == B) return true; 65583f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman 65683f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman // If they have the same type but weren't the same constant, quickly 65783f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman // reject them. 65883f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman if (A->getType() == B->getType()) return false; 65983f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman 66073858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner // We can't handle structs or arrays. 66173858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner if (isa<StructType>(A->getType()) || isa<ArrayType>(A->getType()) || 66273858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner isa<StructType>(B->getType()) || isa<ArrayType>(B->getType())) 66373858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner return false; 66473858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner 66583f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman // For now, only support constants with the same size. 6666b0dc92043ab1f63d78b8796098575e1d777b701Chris Lattner uint64_t StoreSize = TD->getTypeStoreSize(A->getType()); 6676b0dc92043ab1f63d78b8796098575e1d777b701Chris Lattner if (StoreSize != TD->getTypeStoreSize(B->getType()) || 6686b0dc92043ab1f63d78b8796098575e1d777b701Chris Lattner StoreSize > 128) 66983f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman return false; 67083f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman 67173858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner Type *IntTy = IntegerType::get(A->getContext(), StoreSize*8); 67273858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner 67373858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner // Try constant folding a bitcast of both instructions to an integer. If we 67473858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner // get two identical ConstantInt's, then we are good to share them. We use 67573858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner // the constant folding APIs to do this so that we get the benefit of 67673858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner // TargetData. 67773858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner if (isa<PointerType>(A->getType())) 67873858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner A = ConstantFoldInstOperands(Instruction::PtrToInt, IntTy, 67973858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner const_cast<Constant*>(A), TD); 68073858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner else if (A->getType() != IntTy) 68173858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner A = ConstantFoldInstOperands(Instruction::BitCast, IntTy, 68273858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner const_cast<Constant*>(A), TD); 68373858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner if (isa<PointerType>(B->getType())) 68473858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner B = ConstantFoldInstOperands(Instruction::PtrToInt, IntTy, 68573858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner const_cast<Constant*>(B), TD); 68673858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner else if (B->getType() != IntTy) 68773858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner B = ConstantFoldInstOperands(Instruction::BitCast, IntTy, 68873858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner const_cast<Constant*>(B), TD); 68973858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner 69073858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner return A == B; 69183f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman} 69283f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman 6933029f920519e0871a5aad5d7c592281093953733Chris Lattner/// getConstantPoolIndex - Create a new entry in the constant pool or return 69405ae98346a190d74c2c8799c3af2f8ca23e47c27Dan Gohman/// an existing one. User must specify the log2 of the minimum required 69505ae98346a190d74c2c8799c3af2f8ca23e47c27Dan Gohman/// alignment for the object. 6963029f920519e0871a5aad5d7c592281093953733Chris Lattner/// 69746510a73e977273ec67747eb34cbdb43f815e451Dan Gohmanunsigned MachineConstantPool::getConstantPoolIndex(const Constant *C, 6983029f920519e0871a5aad5d7c592281093953733Chris Lattner unsigned Alignment) { 6993029f920519e0871a5aad5d7c592281093953733Chris Lattner assert(Alignment && "Alignment must be specified!"); 7003029f920519e0871a5aad5d7c592281093953733Chris Lattner if (Alignment > PoolAlignment) PoolAlignment = Alignment; 70183f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman 7023029f920519e0871a5aad5d7c592281093953733Chris Lattner // Check to see if we already have this constant. 7033029f920519e0871a5aad5d7c592281093953733Chris Lattner // 7043029f920519e0871a5aad5d7c592281093953733Chris Lattner // FIXME, this could be made much more efficient for large constant pools. 7053029f920519e0871a5aad5d7c592281093953733Chris Lattner for (unsigned i = 0, e = Constants.size(); i != e; ++i) 70683f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman if (!Constants[i].isMachineConstantPoolEntry() && 70783f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman CanShareConstantPoolEntry(Constants[i].Val.ConstVal, C, TD)) { 70883f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman if ((unsigned)Constants[i].getAlignment() < Alignment) 70983f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman Constants[i].Alignment = Alignment; 7103029f920519e0871a5aad5d7c592281093953733Chris Lattner return i; 71183f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman } 7123029f920519e0871a5aad5d7c592281093953733Chris Lattner 7131606e8e4cd937e6de6681f686c266cf61722d972Evan Cheng Constants.push_back(MachineConstantPoolEntry(C, Alignment)); 7143029f920519e0871a5aad5d7c592281093953733Chris Lattner return Constants.size()-1; 7153029f920519e0871a5aad5d7c592281093953733Chris Lattner} 7163029f920519e0871a5aad5d7c592281093953733Chris Lattner 717d6594ae54cfde4db4d30272192645c0a45fb9902Evan Chengunsigned MachineConstantPool::getConstantPoolIndex(MachineConstantPoolValue *V, 718d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng unsigned Alignment) { 719d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng assert(Alignment && "Alignment must be specified!"); 720d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng if (Alignment > PoolAlignment) PoolAlignment = Alignment; 721d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng 722d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng // Check to see if we already have this constant. 723d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng // 724d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng // FIXME, this could be made much more efficient for large constant pools. 725d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng int Idx = V->getExistingMachineCPValue(this, Alignment); 7265567869637383969dced0b84dbd19da12682df6bCameron Zwarich if (Idx != -1) { 7275567869637383969dced0b84dbd19da12682df6bCameron Zwarich MachineCPVsSharingEntries.insert(V); 728d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng return (unsigned)Idx; 7295567869637383969dced0b84dbd19da12682df6bCameron Zwarich } 7301606e8e4cd937e6de6681f686c266cf61722d972Evan Cheng 7311606e8e4cd937e6de6681f686c266cf61722d972Evan Cheng Constants.push_back(MachineConstantPoolEntry(V, Alignment)); 732d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng return Constants.size()-1; 733d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng} 734d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng 73562ca32540f950d500227f1863b95cd08ad28099eChris Lattnervoid MachineConstantPool::print(raw_ostream &OS) const { 7360ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman if (Constants.empty()) return; 7370ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 7380ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "Constant Pool:\n"; 739b8973bd8f50d7321635e1e07b81a880a0828d185Evan Cheng for (unsigned i = 0, e = Constants.size(); i != e; ++i) { 7400ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << " cp#" << i << ": "; 741d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng if (Constants[i].isMachineConstantPoolEntry()) 742d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng Constants[i].Val.MachineCPVal->print(OS); 743d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng else 744d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng OS << *(Value*)Constants[i].Val.ConstVal; 7450ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << ", align=" << Constants[i].getAlignment(); 746b8973bd8f50d7321635e1e07b81a880a0828d185Evan Cheng OS << "\n"; 747b8973bd8f50d7321635e1e07b81a880a0828d185Evan Cheng } 7484d149cdae1553426f49623fdae215d481d56d955Chris Lattner} 7494d149cdae1553426f49623fdae215d481d56d955Chris Lattner 750dc55481841d5ac060c279a61c944f192ad9bb23eDavid Greenevoid MachineConstantPool::dump() const { print(dbgs()); } 751