MachineFunction.cpp revision 6948897e478cbd66626159776a8017b3c18579b9
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" 17d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/STLExtras.h" 18d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/SmallString.h" 19d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/Analysis/ConstantFolding.h" 2084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include "llvm/CodeGen/MachineConstantPool.h" 21eb24db9727a7babe863d5afe70c7bda3a460da18Chris Lattner#include "llvm/CodeGen/MachineFrameInfo.h" 226948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar#include "llvm/CodeGen/MachineFunctionInitializer.h" 23d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/CodeGen/MachineFunctionPass.h" 2484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include "llvm/CodeGen/MachineInstr.h" 2537efe6764568a3829fee26aba532283131d1a104Nate Begeman#include "llvm/CodeGen/MachineJumpTableInfo.h" 26820e55e9ad3cb3b17780e84863648e431b571d25Chris Lattner#include "llvm/CodeGen/MachineModuleInfo.h" 2784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include "llvm/CodeGen/MachineRegisterInfo.h" 2816c45e9de896ea37d48d093dbe02fc9a4c1b9f8fChris Lattner#include "llvm/CodeGen/Passes.h" 290b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/DataLayout.h" 3036b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/IR/DebugInfo.h" 310b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/Function.h" 32beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner#include "llvm/MC/MCAsmInfo.h" 33beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner#include "llvm/MC/MCContext.h" 34dc55481841d5ac060c279a61c944f192ad9bb23eDavid Greene#include "llvm/Support/Debug.h" 35f28bbda2c6c965dbd28e73e06c9e09231a77b0dcChris Lattner#include "llvm/Support/GraphWriter.h" 36944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner#include "llvm/Support/raw_ostream.h" 37d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/Target/TargetFrameLowering.h" 38d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/Target/TargetLowering.h" 39d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/Target/TargetMachine.h" 4037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines#include "llvm/Target/TargetSubtargetInfo.h" 4107f32d48f1e16bcdc621985549548a5849215238Chris Lattnerusing namespace llvm; 42f2868ce228ca20f72d1c6fbe241de01975cfe609Chris Lattner 43dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines#define DEBUG_TYPE "codegen" 44dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines 456948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainarvoid MachineFunctionInitializer::anchor() {} 466948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar 47b84822fb7b64977c16e97b870891da1d6c9736feChris Lattner//===----------------------------------------------------------------------===// 48227c3d355b017393963a690f9f27d1de7fa359bcChris Lattner// MachineFunction implementation 49b84822fb7b64977c16e97b870891da1d6c9736feChris Lattner//===----------------------------------------------------------------------===// 509d5d7598db72c00a0fb89dc77198e4f6ebc5294dChris Lattner 516948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar// Out-of-line virtual method. 52a70e2e3d4831b8a39ea6bae5c62df29fa82a86f3Chris LattnerMachineFunctionInfo::~MachineFunctionInfo() {} 53a70e2e3d4831b8a39ea6bae5c62df29fa82a86f3Chris Lattner 54fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanvoid ilist_traits<MachineBasicBlock>::deleteNode(MachineBasicBlock *MBB) { 558e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman MBB->getParent()->DeleteMachineBasicBlock(MBB); 56792699c46ef9bfc47dd459bbfa7e71bcb2cee29aTanya Lattner} 57227c3d355b017393963a690f9f27d1de7fa359bcChris Lattner 58ae541aad5c36cb3e4256514447d1f81e253079c7Dan GohmanMachineFunction::MachineFunction(const Function *F, const TargetMachine &TM, 5937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines unsigned FunctionNum, MachineModuleInfo &mmi) 604c5e43da7792f75567b693105cc53e3f1992ad98Pirama Arumuga Nainar : Fn(F), Target(TM), STI(TM.getSubtargetImpl(*F)), Ctx(mmi.getContext()), 6137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines MMI(mmi) { 6237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines if (STI->getRegisterInfo()) 6337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines RegInfo = new (Allocator) MachineRegisterInfo(this); 64e2b997b7b5360b4793c524a801e988fd37b80b93Matthijs Kooijman else 65dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines RegInfo = nullptr; 66d10fa8b1caf010fe4943ae5526c2c3b921339f72Bill Wendling 67dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines MFInfo = nullptr; 6837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines FrameInfo = new (Allocator) 6937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines MachineFrameInfo(STI->getFrameLowering()->getStackAlignment(), 7037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines STI->getFrameLowering()->isStackRealignable(), 7137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines !F->hasFnAttribute("no-realign-stack")); 72d10fa8b1caf010fe4943ae5526c2c3b921339f72Bill Wendling 73ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines if (Fn->hasFnAttribute(Attribute::StackAlignment)) 74ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines FrameInfo->ensureMaxAlignment(Fn->getFnStackAlignment()); 75d10fa8b1caf010fe4943ae5526c2c3b921339f72Bill Wendling 76d10fa8b1caf010fe4943ae5526c2c3b921339f72Bill Wendling ConstantPool = new (Allocator) MachineConstantPool(TM); 7737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Alignment = STI->getTargetLowering()->getMinFunctionAlignment(); 78d10fa8b1caf010fe4943ae5526c2c3b921339f72Bill Wendling 79fc5d305597ea6336d75bd7f3b741e8d57d6a5105Eli Friedman // FIXME: Shouldn't use pref alignment if explicit alignment is set on Fn. 80ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines if (!Fn->hasFnAttribute(Attribute::OptimizeForSize)) 81fc5d305597ea6336d75bd7f3b741e8d57d6a5105Eli Friedman Alignment = std::max(Alignment, 8237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines STI->getTargetLowering()->getPrefFunctionAlignment()); 83d10fa8b1caf010fe4943ae5526c2c3b921339f72Bill Wendling 84b84822fb7b64977c16e97b870891da1d6c9736feChris Lattner FunctionNumber = FunctionNum; 85dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines JumpTableInfo = nullptr; 86831fdcf0177a4eef66129cd6fb4138922c492bf0Chris Lattner} 87831fdcf0177a4eef66129cd6fb4138922c492bf0Chris Lattner 8876d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis EvlogimenosMachineFunction::~MachineFunction() { 8984be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen // Don't call destructors on MachineInstr and MachineOperand. All of their 9084be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen // memory comes from the BumpPtrAllocator which is about to be purged. 9184be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen // 9284be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen // Do call MachineBasicBlock destructors, it contains std::vectors. 9384be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen for (iterator I = begin(), E = end(); I != E; I = BasicBlocks.erase(I)) 9484be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen I->Insts.clearAndLeakNodesUnsafely(); 9584be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen 968e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman InstructionRecycler.clear(Allocator); 97f1d015f3429f611c423f943c75f86e6823810dc3Jakob Stoklund Olesen OperandRecycler.clear(Allocator); 988e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman BasicBlockRecycler.clear(Allocator); 99dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling if (RegInfo) { 100dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling RegInfo->~MachineRegisterInfo(); 101dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling Allocator.Deallocate(RegInfo); 102dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling } 1038e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman if (MFInfo) { 104dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling MFInfo->~MachineFunctionInfo(); 105dd37b360d7ecc95b4a077bb64cca22b764788751Bill Wendling Allocator.Deallocate(MFInfo); 1068e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman } 1070c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 1080c1eac8129f7e4e637074a482a085448e1680199Chad Rosier FrameInfo->~MachineFrameInfo(); 1090c1eac8129f7e4e637074a482a085448e1680199Chad Rosier Allocator.Deallocate(FrameInfo); 1100c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 1110c1eac8129f7e4e637074a482a085448e1680199Chad Rosier ConstantPool->~MachineConstantPool(); 1120c1eac8129f7e4e637074a482a085448e1680199Chad Rosier Allocator.Deallocate(ConstantPool); 1130c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 114071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner if (JumpTableInfo) { 115071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner JumpTableInfo->~MachineJumpTableInfo(); 116071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner Allocator.Deallocate(JumpTableInfo); 117071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner } 1181049164aa6b06d91d9b3b557a9a213eaf3f6319aChris Lattner} 1191049164aa6b06d91d9b3b557a9a213eaf3f6319aChris Lattner 1206948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Get the JumpTableInfo for this function. 1216948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// If it does not already exist, allocate one. 122071c62fad0b25ad4131e7f984173a796c1e63f61Chris LattnerMachineJumpTableInfo *MachineFunction:: 123071c62fad0b25ad4131e7f984173a796c1e63f61Chris LattnergetOrCreateJumpTableInfo(unsigned EntryKind) { 124071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner if (JumpTableInfo) return JumpTableInfo; 1250c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 1269553188fccbf0ae9c5b6bef26d0d2bd5feff8b59Dan Gohman JumpTableInfo = new (Allocator) 127071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner MachineJumpTableInfo((MachineJumpTableInfo::JTEntryKind)EntryKind); 128071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner return JumpTableInfo; 129071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner} 130e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 131dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines/// Should we be emitting segmented stack stuff for the function 132dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hinesbool MachineFunction::shouldSplitStack() { 133dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines return getFunction()->hasFnAttribute("split-stack"); 134dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines} 135dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines 1366948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// This discards all of the MachineBasicBlock numbers and recomputes them. 1376948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// This guarantees that the MBB numbers are sequential, dense, and match the 1386948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// ordering of the blocks within the function. If a specific MachineBasicBlock 1396948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// is specified, only that block and those after it are renumbered. 140e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattnervoid MachineFunction::RenumberBlocks(MachineBasicBlock *MBB) { 141e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner if (empty()) { MBBNumbering.clear(); return; } 142e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MachineFunction::iterator MBBI, E = end(); 143dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines if (MBB == nullptr) 144e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBI = begin(); 145e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner else 146e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBI = MBB; 1470c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 148e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner // Figure out the block number this should have. 149e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner unsigned BlockNo = 0; 150f28bbda2c6c965dbd28e73e06c9e09231a77b0dcChris Lattner if (MBBI != begin()) 15136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines BlockNo = std::prev(MBBI)->getNumber() + 1; 1520c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 153e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner for (; MBBI != E; ++MBBI, ++BlockNo) { 154e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner if (MBBI->getNumber() != (int)BlockNo) { 155e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner // Remove use of the old number. 156e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner if (MBBI->getNumber() != -1) { 157e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner assert(MBBNumbering[MBBI->getNumber()] == &*MBBI && 158e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner "MBB number mismatch!"); 159dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines MBBNumbering[MBBI->getNumber()] = nullptr; 160e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner } 1610c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 162e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner // If BlockNo is already taken, set that block's number to -1. 163e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner if (MBBNumbering[BlockNo]) 164e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBNumbering[BlockNo]->setNumber(-1); 165e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 166e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBNumbering[BlockNo] = MBBI; 167e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBI->setNumber(BlockNo); 168e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner } 1690c1eac8129f7e4e637074a482a085448e1680199Chad Rosier } 170e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 171e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner // Okay, all the blocks are renumbered. If we have compactified the block 172e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner // numbering, shrink MBBNumbering now. 173e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner assert(BlockNo <= MBBNumbering.size() && "Mismatch!"); 174e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner MBBNumbering.resize(BlockNo); 175e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner} 176e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 1776948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Allocate a new MachineInstr. Use this instead of `new MachineInstr'. 1788e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineInstr * 179e837dead3c8dc3445ef6a0e2322179c57e264a13Evan ChengMachineFunction::CreateMachineInstr(const MCInstrDesc &MCID, 1809bc96a57206cbebaa9b0ba9979f949eb10c1592cBill Wendling DebugLoc DL, bool NoImp) { 1818e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman return new (InstructionRecycler.Allocate<MachineInstr>(Allocator)) 1829500e5d07ac9b94c8fed74150e444778a0dcb036Jakob Stoklund Olesen MachineInstr(*this, MCID, DL, NoImp); 1838e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 1848e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman 1856948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Create a new MachineInstr which is a copy of the 'Orig' instruction, 1866948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// identical in all ways except the instruction has no parent, prev, or next. 1878e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineInstr * 1888e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineFunction::CloneMachineInstr(const MachineInstr *Orig) { 1898e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman return new (InstructionRecycler.Allocate<MachineInstr>(Allocator)) 1908e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman MachineInstr(*this, *Orig); 1918e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 1928e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman 1936948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Delete the given MachineInstr. 1948e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman/// 19584be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen/// This function also serves as the MachineInstr destructor - the real 19684be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen/// ~MachineInstr() destructor must be empty. 1978e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohmanvoid 1988e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineFunction::DeleteMachineInstr(MachineInstr *MI) { 199f1d015f3429f611c423f943c75f86e6823810dc3Jakob Stoklund Olesen // Strip it for parts. The operand array and the MI object itself are 200f1d015f3429f611c423f943c75f86e6823810dc3Jakob Stoklund Olesen // independently recyclable. 201f1d015f3429f611c423f943c75f86e6823810dc3Jakob Stoklund Olesen if (MI->Operands) 202f1d015f3429f611c423f943c75f86e6823810dc3Jakob Stoklund Olesen deallocateOperandArray(MI->CapOperands, MI->Operands); 20384be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen // Don't call ~MachineInstr() which must be trivial anyway because 20484be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen // ~MachineFunction drops whole lists of MachineInstrs wihout calling their 20584be3d5a73313eb19f2f9e0512153cd2e6f46c54Jakob Stoklund Olesen // destructors. 2068e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman InstructionRecycler.Deallocate(Allocator, MI); 2078e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 2088e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman 2096948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Allocate a new MachineBasicBlock. Use this instead of 2106948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// `new MachineBasicBlock'. 2118e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineBasicBlock * 2128e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineFunction::CreateMachineBasicBlock(const BasicBlock *bb) { 2138e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman return new (BasicBlockRecycler.Allocate<MachineBasicBlock>(Allocator)) 2148e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman MachineBasicBlock(*this, bb); 2158e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 216e70cab0ca4d7835c8e1e0ee6a125be8f2790a136Chris Lattner 2176948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Delete the given MachineBasicBlock. 2188e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohmanvoid 2198e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanMachineFunction::DeleteMachineBasicBlock(MachineBasicBlock *MBB) { 2208e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman assert(MBB->getParent() == this && "MBB parent mismatch!"); 2218e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman MBB->~MachineBasicBlock(); 2228e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman BasicBlockRecycler.Deallocate(Allocator, MBB); 2238e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 2248e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman 225c76909abfec876c6b751d693ebd3df07df686aa0Dan GohmanMachineMemOperand * 226da39c3964423744b4d79aebef8bece3e9141d5fcChris LattnerMachineFunction::getMachineMemOperand(MachinePointerInfo PtrInfo, unsigned f, 227f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman uint64_t s, unsigned base_alignment, 22837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines const AAMDNodes &AAInfo, 22995d594cac3737ae1594a391276942a443cac426bRafael Espindola const MDNode *Ranges) { 230f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman return new (Allocator) MachineMemOperand(PtrInfo, f, s, base_alignment, 23137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines AAInfo, Ranges); 232c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman} 233c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman 234c76909abfec876c6b751d693ebd3df07df686aa0Dan GohmanMachineMemOperand * 235c76909abfec876c6b751d693ebd3df07df686aa0Dan GohmanMachineFunction::getMachineMemOperand(const MachineMemOperand *MMO, 236c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman int64_t Offset, uint64_t Size) { 237dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines if (MMO->getValue()) 238dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines return new (Allocator) 239dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines MachineMemOperand(MachinePointerInfo(MMO->getValue(), 240dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines MMO->getOffset()+Offset), 241dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines MMO->getFlags(), Size, 24237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines MMO->getBaseAlignment()); 2439553188fccbf0ae9c5b6bef26d0d2bd5feff8b59Dan Gohman return new (Allocator) 244dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines MachineMemOperand(MachinePointerInfo(MMO->getPseudoValue(), 245da39c3964423744b4d79aebef8bece3e9141d5fcChris Lattner MMO->getOffset()+Offset), 246f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman MMO->getFlags(), Size, 24737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines MMO->getBaseAlignment()); 248c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman} 249c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman 250c76909abfec876c6b751d693ebd3df07df686aa0Dan GohmanMachineInstr::mmo_iterator 251c76909abfec876c6b751d693ebd3df07df686aa0Dan GohmanMachineFunction::allocateMemRefsArray(unsigned long Num) { 252c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman return Allocator.Allocate<MachineMemOperand *>(Num); 253c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman} 254c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman 25591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohmanstd::pair<MachineInstr::mmo_iterator, MachineInstr::mmo_iterator> 25691e69c37153eb7d8cd149d9c2484c3115027b90fDan GohmanMachineFunction::extractLoadMemRefs(MachineInstr::mmo_iterator Begin, 25791e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineInstr::mmo_iterator End) { 25891e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Count the number of load mem refs. 25991e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman unsigned Num = 0; 26091e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman for (MachineInstr::mmo_iterator I = Begin; I != End; ++I) 26191e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if ((*I)->isLoad()) 26291e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman ++Num; 26391e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman 26491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Allocate a new array and populate it with the load information. 26591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineInstr::mmo_iterator Result = allocateMemRefsArray(Num); 26691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman unsigned Index = 0; 26791e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman for (MachineInstr::mmo_iterator I = Begin; I != End; ++I) { 26891e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if ((*I)->isLoad()) { 26991e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if (!(*I)->isStore()) 27091e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Reuse the MMO. 27191e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman Result[Index] = *I; 27291e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman else { 27391e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Clone the MMO and unset the store flag. 27491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineMemOperand *JustLoad = 27593a95ae8a9d8eb19dc0d90281473be2fb1c05a17Chris Lattner getMachineMemOperand((*I)->getPointerInfo(), 27691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman (*I)->getFlags() & ~MachineMemOperand::MOStore, 277f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman (*I)->getSize(), (*I)->getBaseAlignment(), 27837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines (*I)->getAAInfo()); 27991e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman Result[Index] = JustLoad; 28091e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 28191e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman ++Index; 28291e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 28391e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 28491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman return std::make_pair(Result, Result + Num); 28591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman} 28691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman 28791e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohmanstd::pair<MachineInstr::mmo_iterator, MachineInstr::mmo_iterator> 28891e69c37153eb7d8cd149d9c2484c3115027b90fDan GohmanMachineFunction::extractStoreMemRefs(MachineInstr::mmo_iterator Begin, 28991e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineInstr::mmo_iterator End) { 29091e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Count the number of load mem refs. 29191e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman unsigned Num = 0; 29291e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman for (MachineInstr::mmo_iterator I = Begin; I != End; ++I) 29391e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if ((*I)->isStore()) 29491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman ++Num; 29591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman 29691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Allocate a new array and populate it with the store information. 29791e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineInstr::mmo_iterator Result = allocateMemRefsArray(Num); 29891e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman unsigned Index = 0; 29991e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman for (MachineInstr::mmo_iterator I = Begin; I != End; ++I) { 30091e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if ((*I)->isStore()) { 30191e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman if (!(*I)->isLoad()) 30291e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Reuse the MMO. 30391e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman Result[Index] = *I; 30491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman else { 30591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman // Clone the MMO and unset the load flag. 30691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman MachineMemOperand *JustStore = 30793a95ae8a9d8eb19dc0d90281473be2fb1c05a17Chris Lattner getMachineMemOperand((*I)->getPointerInfo(), 30891e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman (*I)->getFlags() & ~MachineMemOperand::MOLoad, 309f96e4bd2a3b11928af75fb7472288930d16fec0bDan Gohman (*I)->getSize(), (*I)->getBaseAlignment(), 31037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines (*I)->getAAInfo()); 31191e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman Result[Index] = JustStore; 31291e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 31391e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman ++Index; 31491e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 31591e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman } 31691e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman return std::make_pair(Result, Result + Num); 31791e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman} 31891e69c37153eb7d8cd149d9c2484c3115027b90fDan Gohman 319b720be6a50f4e1b3280d2b029ee38dda14577525Manman Ren#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 3208e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohmanvoid MachineFunction::dump() const { 321dc55481841d5ac060c279a61c944f192ad9bb23eDavid Greene print(dbgs()); 3228e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman} 32377e300e8f0b8db8eec448cae9c87d7c5bfad9757Manman Ren#endif 3241049164aa6b06d91d9b3b557a9a213eaf3f6319aChris Lattner 32596601ca332ab388754ca4673be8973396fea2dddCraig TopperStringRef MachineFunction::getName() const { 32696601ca332ab388754ca4673be8973396fea2dddCraig Topper assert(getFunction() && "No function!"); 32796601ca332ab388754ca4673be8973396fea2dddCraig Topper return getFunction()->getName(); 32896601ca332ab388754ca4673be8973396fea2dddCraig Topper} 32996601ca332ab388754ca4673be8973396fea2dddCraig Topper 330f4a1e1a69f0727762a73ef0d551e3bbd16b7c04eJakob Stoklund Olesenvoid MachineFunction::print(raw_ostream &OS, SlotIndexes *Indexes) const { 331986d76d7b3844b9a2f3d01a48975952749267a93David Blaikie OS << "# Machine code for function " << getName() << ": "; 3321f141684cfe382b47db55b6ef1fb4fd62886b3c6Jakob Stoklund Olesen if (RegInfo) { 3331f141684cfe382b47db55b6ef1fb4fd62886b3c6Jakob Stoklund Olesen OS << (RegInfo->isSSA() ? "SSA" : "Post SSA"); 3341f141684cfe382b47db55b6ef1fb4fd62886b3c6Jakob Stoklund Olesen if (!RegInfo->tracksLiveness()) 3351f141684cfe382b47db55b6ef1fb4fd62886b3c6Jakob Stoklund Olesen OS << ", not tracking liveness"; 3361f141684cfe382b47db55b6ef1fb4fd62886b3c6Jakob Stoklund Olesen } 3371f141684cfe382b47db55b6ef1fb4fd62886b3c6Jakob Stoklund Olesen OS << '\n'; 338955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner 339955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner // Print Frame Information 3408e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman FrameInfo->print(*this, OS); 3410c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 34237efe6764568a3829fee26aba532283131d1a104Nate Begeman // Print JumpTable Information 343071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner if (JumpTableInfo) 344071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner JumpTableInfo->print(OS); 3454d149cdae1553426f49623fdae215d481d56d955Chris Lattner 3464d149cdae1553426f49623fdae215d481d56d955Chris Lattner // Print Constant Pool 347d74c556e9aaad81a188158b7ba12d7ccffb30936Chris Lattner ConstantPool->print(OS); 3480c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 34937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines const TargetRegisterInfo *TRI = getSubtarget().getRegisterInfo(); 3500c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 351e2b997b7b5360b4793c524a801e988fd37b80b93Matthijs Kooijman if (RegInfo && !RegInfo->livein_empty()) { 3520ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "Function Live Ins: "; 35384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner for (MachineRegisterInfo::livein_iterator 35484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner I = RegInfo->livein_begin(), E = RegInfo->livein_end(); I != E; ++I) { 355e2f669fb3fa7a6bee4196999b119a98f31c072a3Jakob Stoklund Olesen OS << PrintReg(I->first, TRI); 3564e92027837136233db0fc1c1a4fa2bc456d74de3Chris Lattner if (I->second) 357e2f669fb3fa7a6bee4196999b119a98f31c072a3Jakob Stoklund Olesen OS << " in " << PrintReg(I->second, TRI); 35836b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines if (std::next(I) != E) 3590ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << ", "; 360a1f68ca94e763945f9accc75768a55a84bae6cfbChris Lattner } 361d74c556e9aaad81a188158b7ba12d7ccffb30936Chris Lattner OS << '\n'; 362a1f68ca94e763945f9accc75768a55a84bae6cfbChris Lattner } 3630c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 364dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines for (const auto &BB : *this) { 3650ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << '\n'; 366dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines BB.print(OS, Indexes); 3670ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman } 36847b716483ef2d057c8a0015af20685755e606d0dBrian Gaeke 369986d76d7b3844b9a2f3d01a48975952749267a93David Blaikie OS << "\n# End machine code for function " << getName() << ".\n\n"; 3701049164aa6b06d91d9b3b557a9a213eaf3f6319aChris Lattner} 3711049164aa6b06d91d9b3b557a9a213eaf3f6319aChris Lattner 37271bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenosnamespace llvm { 37376d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos template<> 37476d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos struct DOTGraphTraits<const MachineFunction*> : public DefaultDOTGraphTraits { 375a10d598602308549d87d2c5d9848f5a72fda2b43Tobias Grosser 376a10d598602308549d87d2c5d9848f5a72fda2b43Tobias Grosser DOTGraphTraits (bool isSimple=false) : DefaultDOTGraphTraits(isSimple) {} 377a10d598602308549d87d2c5d9848f5a72fda2b43Tobias Grosser 37876d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos static std::string getGraphName(const MachineFunction *F) { 3790c7f116bb6950ef819323d855415b2f2b0aad987Pirama Arumuga Nainar return ("CFG for '" + F->getName() + "' function").str(); 38076d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos } 38171bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 38256f4ef3232850e29c4635d0923910acce8887bd0Tobias Grosser std::string getNodeLabel(const MachineBasicBlock *Node, 38356f4ef3232850e29c4635d0923910acce8887bd0Tobias Grosser const MachineFunction *Graph) { 384cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner std::string OutStr; 385cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner { 386cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner raw_string_ostream OSS(OutStr); 387e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen 388e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen if (isSimple()) { 389e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen OSS << "BB#" << Node->getNumber(); 390e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen if (const BasicBlock *BB = Node->getBasicBlock()) 391e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen OSS << ": " << BB->getName(); 392e5f4e9fb2be8525a8ca16bd4719665ed7402b55bJakob Stoklund Olesen } else 393cf143a4d917699f8f4202f331fa9e184070471fbChris Lattner Node->print(OSS); 39476d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos } 39571bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 39676d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos if (OutStr[0] == '\n') OutStr.erase(OutStr.begin()); 39771bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 39876d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos // Process string output to make it nicer... 39976d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos for (unsigned i = 0; i != OutStr.length(); ++i) 40076d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos if (OutStr[i] == '\n') { // Left justify 40176d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos OutStr[i] = '\\'; 40276d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos OutStr.insert(OutStr.begin()+i+1, 'l'); 40376d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos } 40476d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos return OutStr; 40576d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos } 40676d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos }; 40771bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos} 40871bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 40971bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenosvoid MachineFunction::viewCFG() const 41071bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos{ 411851a22db2bdbcab1768a87c4f02b5972e48db5edJim Laskey#ifndef NDEBUG 412986d76d7b3844b9a2f3d01a48975952749267a93David Blaikie ViewGraph(this, "mf" + getName()); 4139d5b532de9bdca37810a59a93a69128441b02c55Reid Spencer#else 414643fffe429cc467584c795f6177741944729e0a5Dan Gohman errs() << "MachineFunction::viewCFG is only available in debug builds on " 41543ed267db3512823a9698f810be4e64bee227270Daniel Dunbar << "systems with Graphviz or gv!\n"; 4169d5b532de9bdca37810a59a93a69128441b02c55Reid Spencer#endif // NDEBUG 41771bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos} 41871bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 41971bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenosvoid MachineFunction::viewCFGOnly() const 42071bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos{ 4218cbc94afb71fd2da72d8f1284f7f53e39019fdecOwen Anderson#ifndef NDEBUG 422986d76d7b3844b9a2f3d01a48975952749267a93David Blaikie ViewGraph(this, "mf" + getName(), true); 4238cbc94afb71fd2da72d8f1284f7f53e39019fdecOwen Anderson#else 424643fffe429cc467584c795f6177741944729e0a5Dan Gohman errs() << "MachineFunction::viewCFGOnly is only available in debug builds on " 42543ed267db3512823a9698f810be4e64bee227270Daniel Dunbar << "systems with Graphviz or gv!\n"; 4268cbc94afb71fd2da72d8f1284f7f53e39019fdecOwen Anderson#endif // NDEBUG 42771bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos} 42871bf404e9b69122c276ad7ce66f38bf1e57cafebAlkis Evlogimenos 4296948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Add the specified physical register as a live-in value and 430998e125a87d49f28c714d8223a37746850401057Bob Wilson/// create a corresponding virtual register for it. 431998e125a87d49f28c714d8223a37746850401057Bob Wilsonunsigned MachineFunction::addLiveIn(unsigned PReg, 43268e6beeccc0b9ac2e8d3687a8a5b7d4b172edca1Devang Patel const TargetRegisterClass *RC) { 4333946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng MachineRegisterInfo &MRI = getRegInfo(); 4343946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng unsigned VReg = MRI.getLiveInVirtReg(PReg); 4353946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng if (VReg) { 43636b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines const TargetRegisterClass *VRegRC = MRI.getRegClass(VReg); 43736b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines (void)VRegRC; 43836b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines // A physical register can be added several times. 43936b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines // Between two calls, the register class of the related virtual register 44036b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines // may have been constrained to match some operation constraints. 44136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines // In that case, check that the current register class includes the 44236b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines // physical register and is a sub class of the specified RC. 44336b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines assert((VRegRC == RC || (VRegRC->contains(PReg) && 44436b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines RC->hasSubClassEq(VRegRC))) && 44536b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines "Register class mismatch!"); 4463946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng return VReg; 4473946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng } 4483946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng VReg = MRI.createVirtualRegister(RC); 4493946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng MRI.addLiveIn(PReg, VReg); 450998e125a87d49f28c714d8223a37746850401057Bob Wilson return VReg; 451998e125a87d49f28c714d8223a37746850401057Bob Wilson} 452998e125a87d49f28c714d8223a37746850401057Bob Wilson 4536948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Return the MCSymbol for the specified non-empty jump table. 45407d317711781d8c9268f7d6afcf1ba7eadf1d127Bill Wendling/// If isLinkerPrivate is specified, an 'l' label is returned, otherwise a 45507d317711781d8c9268f7d6afcf1ba7eadf1d127Bill Wendling/// normal 'L' label is returned. 456c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen HinesMCSymbol *MachineFunction::getJTISymbol(unsigned JTI, MCContext &Ctx, 45707d317711781d8c9268f7d6afcf1ba7eadf1d127Bill Wendling bool isLinkerPrivate) const { 458ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines const DataLayout *DL = getTarget().getDataLayout(); 459589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner assert(JumpTableInfo && "No jump tables"); 460de4c08008a10aba59171c56086d96c760990a4cbChandler Carruth assert(JTI < JumpTableInfo->getJumpTables().size() && "Invalid JTI!"); 4610c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 46236b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines const char *Prefix = isLinkerPrivate ? DL->getLinkerPrivateGlobalPrefix() : 46336b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines DL->getPrivateGlobalPrefix(); 464589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner SmallString<60> Name; 465589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner raw_svector_ostream(Name) 466589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner << Prefix << "JTI" << getFunctionNumber() << '_' << JTI; 4676948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar return Ctx.getOrCreateSymbol(Name); 468589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner} 469589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner 4706948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Return a function-local symbol to represent the PIC base. 471142b531e024c7b814df74951b378b9e3e11d0d42Chris LattnerMCSymbol *MachineFunction::getPICBaseSymbol() const { 472ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines const DataLayout *DL = getTarget().getDataLayout(); 4736948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar return Ctx.getOrCreateSymbol(Twine(DL->getPrivateGlobalPrefix())+ 474142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner Twine(getFunctionNumber())+"$pb"); 475142b531e024c7b814df74951b378b9e3e11d0d42Chris Lattner} 476589c6f620e8dcf3d59af1ae0e15372c934647c82Chris Lattner 477955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner//===----------------------------------------------------------------------===// 478eb24db9727a7babe863d5afe70c7bda3a460da18Chris Lattner// MachineFrameInfo implementation 479955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner//===----------------------------------------------------------------------===// 480955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner 4816948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Make sure the function is at least Align bytes aligned. 482dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Renvoid MachineFrameInfo::ensureMaxAlignment(unsigned Align) { 48337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines if (!StackRealignable || !RealignOption) 48437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines assert(Align <= StackAlignment && 48569261a644298bff1497d46c8cd38d688670f307bManman Ren "For targets without stack realignment, Align is out of limit!"); 486dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren if (MaxAlignment < Align) MaxAlignment = Align; 487dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren} 488dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren 4896948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Clamp the alignment if requested and emit a warning. 4908f637adbd383afc2defb5d3f75433b6f2c25d527Bob Wilsonstatic inline unsigned clampStackAlignment(bool ShouldClamp, unsigned Align, 4918f637adbd383afc2defb5d3f75433b6f2c25d527Bob Wilson unsigned StackAlign) { 4928f637adbd383afc2defb5d3f75433b6f2c25d527Bob Wilson if (!ShouldClamp || Align <= StackAlign) 4938f637adbd383afc2defb5d3f75433b6f2c25d527Bob Wilson return Align; 4948f637adbd383afc2defb5d3f75433b6f2c25d527Bob Wilson DEBUG(dbgs() << "Warning: requested alignment " << Align 4958f637adbd383afc2defb5d3f75433b6f2c25d527Bob Wilson << " exceeds the stack alignment " << StackAlign 4968f637adbd383afc2defb5d3f75433b6f2c25d527Bob Wilson << " when stack realignment is off" << '\n'); 49769261a644298bff1497d46c8cd38d688670f307bManman Ren return StackAlign; 49869261a644298bff1497d46c8cd38d688670f307bManman Ren} 49969261a644298bff1497d46c8cd38d688670f307bManman Ren 5006948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Create a new statically sized stack object, returning a nonnegative 5016948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// identifier to represent it. 5028f637adbd383afc2defb5d3f75433b6f2c25d527Bob Wilsonint MachineFrameInfo::CreateStackObject(uint64_t Size, unsigned Alignment, 50336b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines bool isSS, const AllocaInst *Alloca) { 504dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren assert(Size != 0 && "Cannot allocate zero size stack objects!"); 50537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Alignment = clampStackAlignment(!StackRealignable || !RealignOption, 50637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Alignment, StackAlignment); 50737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Objects.push_back(StackObject(Size, Alignment, 0, false, isSS, Alloca, 50837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines !isSS)); 509dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren int Index = (int)Objects.size() - NumFixedObjects - 1; 510dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren assert(Index >= 0 && "Bad frame index!"); 511dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren ensureMaxAlignment(Alignment); 512dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren return Index; 513dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren} 514dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren 5156948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Create a new statically sized stack object that represents a spill slot, 5166948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// returning a nonnegative identifier to represent it. 517dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Renint MachineFrameInfo::CreateSpillStackObject(uint64_t Size, 518dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren unsigned Alignment) { 51937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Alignment = clampStackAlignment(!StackRealignable || !RealignOption, 52037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Alignment, StackAlignment); 52136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines CreateStackObject(Size, Alignment, true); 522dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren int Index = (int)Objects.size() - NumFixedObjects - 1; 523dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren ensureMaxAlignment(Alignment); 524dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren return Index; 525dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren} 526dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren 5276948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Notify the MachineFrameInfo object that a variable sized object has been 5286948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// created. This must be created whenever a variable sized object is created, 5296948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// whether or not the index returned is actually used. 53036b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hinesint MachineFrameInfo::CreateVariableSizedObject(unsigned Alignment, 53136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines const AllocaInst *Alloca) { 532dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren HasVarSizedObjects = true; 53337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Alignment = clampStackAlignment(!StackRealignable || !RealignOption, 53437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Alignment, StackAlignment); 53537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Objects.push_back(StackObject(0, Alignment, 0, false, false, Alloca, true)); 536dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren ensureMaxAlignment(Alignment); 537dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren return (int)Objects.size()-NumFixedObjects-1; 538dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren} 539dc8126bbb89cda8c87bf324e3495ceb3164ae7cbManman Ren 5406948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Create a new object at a fixed location on the stack. 5411612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner/// All fixed objects should be created before other objects are created for 5421612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner/// efficiency. By default, fixed objects are immutable. This returns an 5431612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner/// index with a negative value. 5441612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattnerint MachineFrameInfo::CreateFixedObject(uint64_t Size, int64_t SPOffset, 54537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines bool Immutable, bool isAliased) { 5461612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner assert(Size != 0 && "Cannot allocate zero size fixed stack objects!"); 547f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng // The alignment of the frame index can be determined from its offset from 548f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng // the incoming frame position. If the frame object is at offset 32 and 549f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng // the stack is guaranteed to be 16-byte aligned, then we know that the 550f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng // object is 16-byte aligned. 55137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines unsigned Align = MinAlign(SPOffset, StackAlignment); 55237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Align = clampStackAlignment(!StackRealignable || !RealignOption, Align, 55337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines StackAlignment); 554f2f490368797fff899e8025133f10c37e3a2ebe5Evan Cheng Objects.insert(Objects.begin(), StackObject(Size, Align, SPOffset, Immutable, 555c05d30601ced172b55be81bb529df6be91d6ae15Nadav Rotem /*isSS*/ false, 55637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines /*Alloca*/ nullptr, isAliased)); 5571612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner return -++NumFixedObjects; 5581612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner} 5591612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner 5606948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Create a spill slot at a fixed location on the stack. 5616948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Returns an index with a negative value. 562c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hinesint MachineFrameInfo::CreateFixedSpillStackObject(uint64_t Size, 563c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines int64_t SPOffset) { 56437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines unsigned Align = MinAlign(SPOffset, StackAlignment); 56537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Align = clampStackAlignment(!StackRealignable || !RealignOption, Align, 56637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines StackAlignment); 567c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines Objects.insert(Objects.begin(), StackObject(Size, Align, SPOffset, 568c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines /*Immutable*/ true, 569c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines /*isSS*/ true, 57037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines /*Alloca*/ nullptr, 57137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines /*isAliased*/ false)); 572c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines return -++NumFixedObjects; 573c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines} 5741612faae3cf7ecfaddba64f7064f0ce4b32dd471Chris Lattner 5756948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga NainarBitVector MachineFrameInfo::getPristineRegs(const MachineFunction &MF) const { 5766948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo(); 5774a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen BitVector BV(TRI->getNumRegs()); 5784a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 5794a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen // Before CSI is calculated, no registers are considered pristine. They can be 5804a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen // freely used and PEI will make sure they are saved. 5814a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen if (!isCalleeSavedInfoValid()) 5824a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen return BV; 5834a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 5846948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar for (const MCPhysReg *CSR = TRI->getCalleeSavedRegs(&MF); CSR && *CSR; ++CSR) 5854a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen BV.set(*CSR); 5864a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 5876948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar // Saved CSRs are not pristine. 5884a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen const std::vector<CalleeSavedInfo> &CSI = getCalleeSavedInfo(); 5894a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(), 5904a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen E = CSI.end(); I != E; ++I) 5914a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen BV.reset(I->getReg()); 5924a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 5934a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen return BV; 5944a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen} 5954a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 5960cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkelunsigned MachineFrameInfo::estimateStackSize(const MachineFunction &MF) const { 59737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering(); 59837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo(); 5990cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel unsigned MaxAlign = getMaxAlignment(); 6000cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel int Offset = 0; 6010cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel 6020cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel // This code is very, very similar to PEI::calculateFrameObjectOffsets(). 6030cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel // It really should be refactored to share code. Until then, changes 6040cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel // should keep in mind that there's tight coupling between the two. 6050cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel 6060cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel for (int i = getObjectIndexBegin(); i != 0; ++i) { 6070cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel int FixedOff = -getObjectOffset(i); 6080cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel if (FixedOff > Offset) Offset = FixedOff; 6090cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel } 6100cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel for (unsigned i = 0, e = getObjectIndexEnd(); i != e; ++i) { 6110cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel if (isDeadObjectIndex(i)) 6120cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel continue; 6130cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel Offset += getObjectSize(i); 6140cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel unsigned Align = getObjectAlignment(i); 6150cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel // Adjust to alignment boundary 6160cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel Offset = (Offset+Align-1)/Align*Align; 6170cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel 6180cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel MaxAlign = std::max(Align, MaxAlign); 6190cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel } 6200cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel 6210cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel if (adjustsStack() && TFI->hasReservedCallFrame(MF)) 6220cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel Offset += getMaxCallFrameSize(); 6230cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel 6240cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel // Round up the size to a multiple of the alignment. If the function has 6250cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel // any calls or alloca's, align to the target's StackAlignment value to 6260cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel // ensure that the callee's frame or the alloca data is suitably aligned; 6270cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel // otherwise, for leaf functions, align to the TransientStackAlignment 6280cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel // value. 6290cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel unsigned StackAlign; 6300cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel if (adjustsStack() || hasVarSizedObjects() || 6310cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel (RegInfo->needsStackRealignment(MF) && getObjectIndexEnd() != 0)) 6320cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel StackAlign = TFI->getStackAlignment(); 6330cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel else 6340cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel StackAlign = TFI->getTransientStackAlignment(); 6350cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel 6360cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel // If the frame pointer is eliminated, all frame offsets will be relative to 6370cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel // SP not FP. Align to MaxAlign so this works. 6380cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel StackAlign = std::max(StackAlign, MaxAlign); 6390cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel unsigned AlignMask = StackAlign - 1; 6400cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel Offset = (Offset + AlignMask) & ~uint64_t(AlignMask); 6410cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel 6420cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel return (unsigned)Offset; 6430cc52c67dbc2e073e3f7f34e05e3e7cd17ba9745Hal Finkel} 6444a0f08c5fc14d840e4e411fade036f1cd815b795Jakob Stoklund Olesen 645d74c556e9aaad81a188158b7ba12d7ccffb30936Chris Lattnervoid MachineFrameInfo::print(const MachineFunction &MF, raw_ostream &OS) const{ 6460ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman if (Objects.empty()) return; 6470ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 64837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines const TargetFrameLowering *FI = MF.getSubtarget().getFrameLowering(); 64906140888b1fed24910031f23c302c6a3221f3c42Matthijs Kooijman int ValOffset = (FI ? FI->getOffsetOfLocalArea() : 0); 6509085d8a9a9000eeaa7cf337ccbdca41d528c99c2Chris Lattner 6510ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "Frame Objects:\n"; 6520ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 653955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner for (unsigned i = 0, e = Objects.size(); i != e; ++i) { 654955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner const StackObject &SO = Objects[i]; 6550ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << " fi#" << (int)(i-NumFixedObjects) << ": "; 656d36531249a9a9500e516148e7e72d4c0a7a4d0eeEvan Cheng if (SO.Size == ~0ULL) { 657d36531249a9a9500e516148e7e72d4c0a7a4d0eeEvan Cheng OS << "dead\n"; 658d36531249a9a9500e516148e7e72d4c0a7a4d0eeEvan Cheng continue; 659d36531249a9a9500e516148e7e72d4c0a7a4d0eeEvan Cheng } 660955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner if (SO.Size == 0) 661955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner OS << "variable sized"; 662955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner else 6630ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "size=" << SO.Size; 6640ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << ", align=" << SO.Alignment; 66576d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos 666955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner if (i < NumFixedObjects) 6670ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << ", fixed"; 668955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner if (i < NumFixedObjects || SO.SPOffset != -1) { 669a401b1e1c5eb9563617db8a2477b4c5f8b239521Chris Lattner int64_t Off = SO.SPOffset - ValOffset; 6700ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << ", at location [SP"; 6719085d8a9a9000eeaa7cf337ccbdca41d528c99c2Chris Lattner if (Off > 0) 67276d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos OS << "+" << Off; 6739085d8a9a9000eeaa7cf337ccbdca41d528c99c2Chris Lattner else if (Off < 0) 67476d9daccebc589dbf0f9cbb23326c7d50a26f17dAlkis Evlogimenos OS << Off; 675955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner OS << "]"; 676955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner } 677955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner OS << "\n"; 678955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner } 679955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner} 680955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner 681b720be6a50f4e1b3280d2b029ee38dda14577525Manman Ren#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 6829085d8a9a9000eeaa7cf337ccbdca41d528c99c2Chris Lattnervoid MachineFrameInfo::dump(const MachineFunction &MF) const { 683dc55481841d5ac060c279a61c944f192ad9bb23eDavid Greene print(MF, dbgs()); 6849085d8a9a9000eeaa7cf337ccbdca41d528c99c2Chris Lattner} 68577e300e8f0b8db8eec448cae9c87d7c5bfad9757Manman Ren#endif 686955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner 687955fad1f99dd174023a1b2e6a1795958147b077dChris Lattner//===----------------------------------------------------------------------===// 68837efe6764568a3829fee26aba532283131d1a104Nate Begeman// MachineJumpTableInfo implementation 68937efe6764568a3829fee26aba532283131d1a104Nate Begeman//===----------------------------------------------------------------------===// 69037efe6764568a3829fee26aba532283131d1a104Nate Begeman 6916948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Return the size of each entry in the jump table. 6923574eca1b02600bac4e625297f4ecf745f4c4f32Micah Villmowunsigned MachineJumpTableInfo::getEntrySize(const DataLayout &TD) const { 693071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner // The size of a jump table entry is 4 bytes unless the entry is just the 694071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner // address of a block, in which case it is the pointer size. 695071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner switch (getEntryKind()) { 696071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_BlockAddress: 697426c2bf5cdd2173e4a33aea8cb92cf684a724f4bChandler Carruth return TD.getPointerSize(); 6986c2cf8b1fbcf70fd9db6fe44032c1ceaa2299760Akira Hatanaka case MachineJumpTableInfo::EK_GPRel64BlockAddress: 6996c2cf8b1fbcf70fd9db6fe44032c1ceaa2299760Akira Hatanaka return 8; 700071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_GPRel32BlockAddress: 701071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_LabelDifference32: 70285fe07866a3b240d9facef3b2f2ea81a0a8db018Chris Lattner case MachineJumpTableInfo::EK_Custom32: 703071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner return 4; 70495da605e15a6f108b551ecc6772823ea53de3007Richard Osborne case MachineJumpTableInfo::EK_Inline: 70595da605e15a6f108b551ecc6772823ea53de3007Richard Osborne return 0; 706071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner } 707aae875c27ce59e1c98dbc4a2358a006f2edef433Craig Topper llvm_unreachable("Unknown jump table encoding!"); 708071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner} 709071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner 7106948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Return the alignment of each entry in the jump table. 7113574eca1b02600bac4e625297f4ecf745f4c4f32Micah Villmowunsigned MachineJumpTableInfo::getEntryAlignment(const DataLayout &TD) const { 712071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner // The alignment of a jump table entry is the alignment of int32 unless the 713071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner // entry is just the address of a block, in which case it is the pointer 714071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner // alignment. 715071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner switch (getEntryKind()) { 716071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_BlockAddress: 717426c2bf5cdd2173e4a33aea8cb92cf684a724f4bChandler Carruth return TD.getPointerABIAlignment(); 7186c2cf8b1fbcf70fd9db6fe44032c1ceaa2299760Akira Hatanaka case MachineJumpTableInfo::EK_GPRel64BlockAddress: 7196c2cf8b1fbcf70fd9db6fe44032c1ceaa2299760Akira Hatanaka return TD.getABIIntegerTypeAlignment(64); 720071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_GPRel32BlockAddress: 721071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner case MachineJumpTableInfo::EK_LabelDifference32: 72285fe07866a3b240d9facef3b2f2ea81a0a8db018Chris Lattner case MachineJumpTableInfo::EK_Custom32: 723071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner return TD.getABIIntegerTypeAlignment(32); 72495da605e15a6f108b551ecc6772823ea53de3007Richard Osborne case MachineJumpTableInfo::EK_Inline: 72595da605e15a6f108b551ecc6772823ea53de3007Richard Osborne return 1; 726071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner } 727aae875c27ce59e1c98dbc4a2358a006f2edef433Craig Topper llvm_unreachable("Unknown jump table encoding!"); 728071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner} 729071c62fad0b25ad4131e7f984173a796c1e63f61Chris Lattner 7306948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Create a new jump table entry in the jump table info. 731d1ec31dca534a8816d7f2fcbfdc7ed4476b471d3Bob Wilsonunsigned MachineJumpTableInfo::createJumpTableIndex( 732a4eb44a285984ec999de632beb5145b099f5416dChris Lattner const std::vector<MachineBasicBlock*> &DestBBs) { 733e7251a0377334bdb57bd188828bf89c9e3980fadChris Lattner assert(!DestBBs.empty() && "Cannot create an empty jump table!"); 73437efe6764568a3829fee26aba532283131d1a104Nate Begeman JumpTables.push_back(MachineJumpTableEntry(DestBBs)); 73537efe6764568a3829fee26aba532283131d1a104Nate Begeman return JumpTables.size()-1; 73637efe6764568a3829fee26aba532283131d1a104Nate Begeman} 73737efe6764568a3829fee26aba532283131d1a104Nate Begeman 7386948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// If Old is the target of any jump tables, update the jump tables to branch 7396948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// to New instead. 740beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattnerbool MachineJumpTableInfo::ReplaceMBBInJumpTables(MachineBasicBlock *Old, 741beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner MachineBasicBlock *New) { 742593ea05957b98472a916278d64229ceda223c50bDan Gohman assert(Old != New && "Not making a change?"); 743593ea05957b98472a916278d64229ceda223c50bDan Gohman bool MadeChange = false; 74468bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach for (size_t i = 0, e = JumpTables.size(); i != e; ++i) 74568bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach ReplaceMBBInJumpTable(i, Old, New); 74668bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach return MadeChange; 74768bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach} 74868bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach 7496948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// If Old is a target of the jump tables, update the jump table to branch to 7506948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// New instead. 751beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattnerbool MachineJumpTableInfo::ReplaceMBBInJumpTable(unsigned Idx, 752beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner MachineBasicBlock *Old, 753beeb93e6ba48af2661eabc4872d8b159fb43e5dbChris Lattner MachineBasicBlock *New) { 75468bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach assert(Old != New && "Not making a change?"); 75568bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach bool MadeChange = false; 75668bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach MachineJumpTableEntry &JTE = JumpTables[Idx]; 75768bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach for (size_t j = 0, e = JTE.MBBs.size(); j != e; ++j) 75868bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach if (JTE.MBBs[j] == Old) { 75968bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach JTE.MBBs[j] = New; 76068bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach MadeChange = true; 76168bb60f6a4e0902769f72d1badda4e37cd873ffbJim Grosbach } 762593ea05957b98472a916278d64229ceda223c50bDan Gohman return MadeChange; 763593ea05957b98472a916278d64229ceda223c50bDan Gohman} 76437efe6764568a3829fee26aba532283131d1a104Nate Begeman 765d74c556e9aaad81a188158b7ba12d7ccffb30936Chris Lattnervoid MachineJumpTableInfo::print(raw_ostream &OS) const { 7660ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman if (JumpTables.empty()) return; 7670ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 7680ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "Jump Tables:\n"; 7690ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 77037efe6764568a3829fee26aba532283131d1a104Nate Begeman for (unsigned i = 0, e = JumpTables.size(); i != e; ++i) { 7710ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << " jt#" << i << ": "; 7720ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman for (unsigned j = 0, f = JumpTables[i].MBBs.size(); j != f; ++j) 7730ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << " BB#" << JumpTables[i].MBBs[j]->getNumber(); 77437efe6764568a3829fee26aba532283131d1a104Nate Begeman } 7750ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 7760ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << '\n'; 77737efe6764568a3829fee26aba532283131d1a104Nate Begeman} 77837efe6764568a3829fee26aba532283131d1a104Nate Begeman 779b720be6a50f4e1b3280d2b029ee38dda14577525Manman Ren#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 780dc55481841d5ac060c279a61c944f192ad9bb23eDavid Greenevoid MachineJumpTableInfo::dump() const { print(dbgs()); } 78177e300e8f0b8db8eec448cae9c87d7c5bfad9757Manman Ren#endif 78237efe6764568a3829fee26aba532283131d1a104Nate Begeman 78337efe6764568a3829fee26aba532283131d1a104Nate Begeman 78437efe6764568a3829fee26aba532283131d1a104Nate Begeman//===----------------------------------------------------------------------===// 7854d149cdae1553426f49623fdae215d481d56d955Chris Lattner// MachineConstantPool implementation 7864d149cdae1553426f49623fdae215d481d56d955Chris Lattner//===----------------------------------------------------------------------===// 7874d149cdae1553426f49623fdae215d481d56d955Chris Lattner 7882d24e2a396a1d211baaeedf32148a3b657240170David Blaikievoid MachineConstantPoolValue::anchor() { } 7892d24e2a396a1d211baaeedf32148a3b657240170David Blaikie 790d10fa8b1caf010fe4943ae5526c2c3b921339f72Bill Wendlingconst DataLayout *MachineConstantPool::getDataLayout() const { 791ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines return TM.getDataLayout(); 792d10fa8b1caf010fe4943ae5526c2c3b921339f72Bill Wendling} 793d10fa8b1caf010fe4943ae5526c2c3b921339f72Bill Wendling 794db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris LattnerType *MachineConstantPoolEntry::getType() const { 7959abd7c38675ad305c733b7e90578255271afc6bdEvan Cheng if (isMachineConstantPoolEntry()) 796cb4596364369ea36ff5675eb12fc62d0c6f1f0ddChris Lattner return Val.MachineCPVal->getType(); 7979abd7c38675ad305c733b7e90578255271afc6bdEvan Cheng return Val.ConstVal->getType(); 7989abd7c38675ad305c733b7e90578255271afc6bdEvan Cheng} 7999abd7c38675ad305c733b7e90578255271afc6bdEvan Cheng 800cb4596364369ea36ff5675eb12fc62d0c6f1f0ddChris Lattner 801354c0165e755fd857bc89792243b82387ee3936dChris Lattnerunsigned MachineConstantPoolEntry::getRelocationInfo() const { 802cb4596364369ea36ff5675eb12fc62d0c6f1f0ddChris Lattner if (isMachineConstantPoolEntry()) 803354c0165e755fd857bc89792243b82387ee3936dChris Lattner return Val.MachineCPVal->getRelocationInfo(); 8047cf12c7efd37dc12c3ed536a3f4c373dddac2b85Chris Lattner return Val.ConstVal->getRelocationInfo(); 805cb4596364369ea36ff5675eb12fc62d0c6f1f0ddChris Lattner} 806cb4596364369ea36ff5675eb12fc62d0c6f1f0ddChris Lattner 80737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen HinesSectionKind 80837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen HinesMachineConstantPoolEntry::getSectionKind(const DataLayout *DL) const { 80937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines SectionKind Kind; 81037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines switch (getRelocationInfo()) { 81137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines default: 81237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines llvm_unreachable("Unknown section kind"); 813ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines case Constant::GlobalRelocations: 81437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Kind = SectionKind::getReadOnlyWithRel(); 81537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines break; 816ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines case Constant::LocalRelocation: 81737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Kind = SectionKind::getReadOnlyWithRelLocal(); 81837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines break; 819ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines case Constant::NoRelocation: 82037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines switch (DL->getTypeAllocSize(getType())) { 82137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines case 4: 82237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Kind = SectionKind::getMergeableConst4(); 82337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines break; 82437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines case 8: 82537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Kind = SectionKind::getMergeableConst8(); 82637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines break; 82737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines case 16: 82837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines Kind = SectionKind::getMergeableConst16(); 82937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines break; 83037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines default: 831ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines Kind = SectionKind::getReadOnly(); 83237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines break; 83337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines } 83437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines } 83537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines return Kind; 83637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines} 83737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines 838d6594ae54cfde4db4d30272192645c0a45fb9902Evan ChengMachineConstantPool::~MachineConstantPool() { 839d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng for (unsigned i = 0, e = Constants.size(); i != e; ++i) 840d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng if (Constants[i].isMachineConstantPoolEntry()) 841d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng delete Constants[i].Val.MachineCPVal; 8425567869637383969dced0b84dbd19da12682df6bCameron Zwarich for (DenseSet<MachineConstantPoolValue*>::iterator I = 8435567869637383969dced0b84dbd19da12682df6bCameron Zwarich MachineCPVsSharingEntries.begin(), E = MachineCPVsSharingEntries.end(); 8445567869637383969dced0b84dbd19da12682df6bCameron Zwarich I != E; ++I) 8455567869637383969dced0b84dbd19da12682df6bCameron Zwarich delete *I; 846d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng} 847d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng 8486948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Test whether the given two constants can be allocated the same constant pool 8496948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// entry. 85046510a73e977273ec67747eb34cbdb43f815e451Dan Gohmanstatic bool CanShareConstantPoolEntry(const Constant *A, const Constant *B, 8513574eca1b02600bac4e625297f4ecf745f4c4f32Micah Villmow const DataLayout *TD) { 85283f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman // Handle the trivial case quickly. 85383f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman if (A == B) return true; 85483f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman 85583f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman // If they have the same type but weren't the same constant, quickly 85683f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman // reject them. 85783f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman if (A->getType() == B->getType()) return false; 85883f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman 85973858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner // We can't handle structs or arrays. 86073858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner if (isa<StructType>(A->getType()) || isa<ArrayType>(A->getType()) || 86173858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner isa<StructType>(B->getType()) || isa<ArrayType>(B->getType())) 86273858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner return false; 863c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines 86483f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman // For now, only support constants with the same size. 8656b0dc92043ab1f63d78b8796098575e1d777b701Chris Lattner uint64_t StoreSize = TD->getTypeStoreSize(A->getType()); 866c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines if (StoreSize != TD->getTypeStoreSize(B->getType()) || StoreSize > 128) 86783f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman return false; 86883f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman 86973858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner Type *IntTy = IntegerType::get(A->getContext(), StoreSize*8); 87073858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner 87173858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner // Try constant folding a bitcast of both instructions to an integer. If we 87273858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner // get two identical ConstantInt's, then we are good to share them. We use 87373858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner // the constant folding APIs to do this so that we get the benefit of 8743574eca1b02600bac4e625297f4ecf745f4c4f32Micah Villmow // DataLayout. 87573858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner if (isa<PointerType>(A->getType())) 87673858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner A = ConstantFoldInstOperands(Instruction::PtrToInt, IntTy, 8774c5e43da7792f75567b693105cc53e3f1992ad98Pirama Arumuga Nainar const_cast<Constant *>(A), *TD); 87873858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner else if (A->getType() != IntTy) 87973858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner A = ConstantFoldInstOperands(Instruction::BitCast, IntTy, 8804c5e43da7792f75567b693105cc53e3f1992ad98Pirama Arumuga Nainar const_cast<Constant *>(A), *TD); 88173858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner if (isa<PointerType>(B->getType())) 88273858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner B = ConstantFoldInstOperands(Instruction::PtrToInt, IntTy, 8834c5e43da7792f75567b693105cc53e3f1992ad98Pirama Arumuga Nainar const_cast<Constant *>(B), *TD); 88473858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner else if (B->getType() != IntTy) 88573858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner B = ConstantFoldInstOperands(Instruction::BitCast, IntTy, 8864c5e43da7792f75567b693105cc53e3f1992ad98Pirama Arumuga Nainar const_cast<Constant *>(B), *TD); 8870c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 88873858d16893e4cddd97f358a19b48bd4bc57ee97Chris Lattner return A == B; 88983f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman} 89083f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman 8916948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// Create a new entry in the constant pool or return an existing one. 8926948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar/// User must specify the log2 of the minimum required alignment for the object. 893c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hinesunsigned MachineConstantPool::getConstantPoolIndex(const Constant *C, 8943029f920519e0871a5aad5d7c592281093953733Chris Lattner unsigned Alignment) { 8953029f920519e0871a5aad5d7c592281093953733Chris Lattner assert(Alignment && "Alignment must be specified!"); 8963029f920519e0871a5aad5d7c592281093953733Chris Lattner if (Alignment > PoolAlignment) PoolAlignment = Alignment; 89783f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman 8983029f920519e0871a5aad5d7c592281093953733Chris Lattner // Check to see if we already have this constant. 8993029f920519e0871a5aad5d7c592281093953733Chris Lattner // 9003029f920519e0871a5aad5d7c592281093953733Chris Lattner // FIXME, this could be made much more efficient for large constant pools. 9013029f920519e0871a5aad5d7c592281093953733Chris Lattner for (unsigned i = 0, e = Constants.size(); i != e; ++i) 90283f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman if (!Constants[i].isMachineConstantPoolEntry() && 903d10fa8b1caf010fe4943ae5526c2c3b921339f72Bill Wendling CanShareConstantPoolEntry(Constants[i].Val.ConstVal, C, 904d10fa8b1caf010fe4943ae5526c2c3b921339f72Bill Wendling getDataLayout())) { 90583f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman if ((unsigned)Constants[i].getAlignment() < Alignment) 90683f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman Constants[i].Alignment = Alignment; 9073029f920519e0871a5aad5d7c592281093953733Chris Lattner return i; 90883f6120c9a1fe758b2502b060cd7ae9a981ecc39Dan Gohman } 9090c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 9101606e8e4cd937e6de6681f686c266cf61722d972Evan Cheng Constants.push_back(MachineConstantPoolEntry(C, Alignment)); 9113029f920519e0871a5aad5d7c592281093953733Chris Lattner return Constants.size()-1; 9123029f920519e0871a5aad5d7c592281093953733Chris Lattner} 9133029f920519e0871a5aad5d7c592281093953733Chris Lattner 914d6594ae54cfde4db4d30272192645c0a45fb9902Evan Chengunsigned MachineConstantPool::getConstantPoolIndex(MachineConstantPoolValue *V, 915d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng unsigned Alignment) { 916d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng assert(Alignment && "Alignment must be specified!"); 917d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng if (Alignment > PoolAlignment) PoolAlignment = Alignment; 9180c1eac8129f7e4e637074a482a085448e1680199Chad Rosier 919d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng // Check to see if we already have this constant. 920d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng // 921d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng // FIXME, this could be made much more efficient for large constant pools. 922d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng int Idx = V->getExistingMachineCPValue(this, Alignment); 9235567869637383969dced0b84dbd19da12682df6bCameron Zwarich if (Idx != -1) { 9245567869637383969dced0b84dbd19da12682df6bCameron Zwarich MachineCPVsSharingEntries.insert(V); 925d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng return (unsigned)Idx; 9265567869637383969dced0b84dbd19da12682df6bCameron Zwarich } 9271606e8e4cd937e6de6681f686c266cf61722d972Evan Cheng 9281606e8e4cd937e6de6681f686c266cf61722d972Evan Cheng Constants.push_back(MachineConstantPoolEntry(V, Alignment)); 929d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng return Constants.size()-1; 930d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng} 931d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng 93262ca32540f950d500227f1863b95cd08ad28099eChris Lattnervoid MachineConstantPool::print(raw_ostream &OS) const { 9330ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman if (Constants.empty()) return; 9340ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman 9350ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << "Constant Pool:\n"; 936b8973bd8f50d7321635e1e07b81a880a0828d185Evan Cheng for (unsigned i = 0, e = Constants.size(); i != e; ++i) { 9370ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << " cp#" << i << ": "; 938d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng if (Constants[i].isMachineConstantPoolEntry()) 939d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng Constants[i].Val.MachineCPVal->print(OS); 940d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng else 94136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines Constants[i].Val.ConstVal->printAsOperand(OS, /*PrintType=*/false); 9420ba90f3e34b826b039bdfece1415ef032c4ad3f5Dan Gohman OS << ", align=" << Constants[i].getAlignment(); 943b8973bd8f50d7321635e1e07b81a880a0828d185Evan Cheng OS << "\n"; 944b8973bd8f50d7321635e1e07b81a880a0828d185Evan Cheng } 9454d149cdae1553426f49623fdae215d481d56d955Chris Lattner} 9464d149cdae1553426f49623fdae215d481d56d955Chris Lattner 947b720be6a50f4e1b3280d2b029ee38dda14577525Manman Ren#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 948dc55481841d5ac060c279a61c944f192ad9bb23eDavid Greenevoid MachineConstantPool::dump() const { print(dbgs()); } 94977e300e8f0b8db8eec448cae9c87d7c5bfad9757Manman Ren#endif 950