Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 1 | //===-- FunctionLoweringInfo.cpp ------------------------------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This implements routines for translating functions from LLVM IR into |
| 11 | // Machine IR. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #define DEBUG_TYPE "function-lowering-info" |
Dan Gohman | 4c3fd9f | 2010-07-07 16:01:37 +0000 | [diff] [blame] | 16 | #include "llvm/CodeGen/FunctionLoweringInfo.h" |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 17 | #include "llvm/DerivedTypes.h" |
| 18 | #include "llvm/Function.h" |
| 19 | #include "llvm/Instructions.h" |
Dan Gohman | 5fca8b1 | 2009-11-23 18:12:11 +0000 | [diff] [blame] | 20 | #include "llvm/IntrinsicInst.h" |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 21 | #include "llvm/LLVMContext.h" |
| 22 | #include "llvm/Module.h" |
Dan Gohman | 9c3d5e4 | 2010-07-16 17:54:27 +0000 | [diff] [blame] | 23 | #include "llvm/Analysis/DebugInfo.h" |
Dan Gohman | 5eb6d65 | 2010-04-21 01:22:34 +0000 | [diff] [blame] | 24 | #include "llvm/CodeGen/Analysis.h" |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 25 | #include "llvm/CodeGen/MachineFunction.h" |
| 26 | #include "llvm/CodeGen/MachineFrameInfo.h" |
| 27 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| 28 | #include "llvm/CodeGen/MachineModuleInfo.h" |
| 29 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 30 | #include "llvm/Target/TargetRegisterInfo.h" |
| 31 | #include "llvm/Target/TargetData.h" |
| 32 | #include "llvm/Target/TargetFrameInfo.h" |
| 33 | #include "llvm/Target/TargetInstrInfo.h" |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 34 | #include "llvm/Target/TargetLowering.h" |
| 35 | #include "llvm/Target/TargetOptions.h" |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 36 | #include "llvm/Support/Debug.h" |
| 37 | #include "llvm/Support/ErrorHandling.h" |
| 38 | #include "llvm/Support/MathExtras.h" |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 39 | #include <algorithm> |
| 40 | using namespace llvm; |
| 41 | |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 42 | /// isUsedOutsideOfDefiningBlock - Return true if this instruction is used by |
| 43 | /// PHI nodes or outside of the basic block that defines it, or used by a |
| 44 | /// switch or atomic instruction, which may expand to multiple basic blocks. |
Dan Gohman | ae541aa | 2010-04-15 04:33:49 +0000 | [diff] [blame] | 45 | static bool isUsedOutsideOfDefiningBlock(const Instruction *I) { |
Dan Gohman | d84e806 | 2010-04-20 14:50:13 +0000 | [diff] [blame] | 46 | if (I->use_empty()) return false; |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 47 | if (isa<PHINode>(I)) return true; |
Dan Gohman | ae541aa | 2010-04-15 04:33:49 +0000 | [diff] [blame] | 48 | const BasicBlock *BB = I->getParent(); |
| 49 | for (Value::const_use_iterator UI = I->use_begin(), E = I->use_end(); |
Gabor Greif | 03f09a3 | 2010-07-09 16:08:33 +0000 | [diff] [blame] | 50 | UI != E; ++UI) { |
| 51 | const User *U = *UI; |
| 52 | if (cast<Instruction>(U)->getParent() != BB || isa<PHINode>(U)) |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 53 | return true; |
Gabor Greif | 03f09a3 | 2010-07-09 16:08:33 +0000 | [diff] [blame] | 54 | } |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 55 | return false; |
| 56 | } |
| 57 | |
| 58 | /// isOnlyUsedInEntryBlock - If the specified argument is only used in the |
| 59 | /// entry block, return true. This includes arguments used by switches, since |
| 60 | /// the switch may expand into multiple basic blocks. |
Dan Gohman | ae541aa | 2010-04-15 04:33:49 +0000 | [diff] [blame] | 61 | static bool isOnlyUsedInEntryBlock(const Argument *A, bool EnableFastISel) { |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 62 | // With FastISel active, we may be splitting blocks, so force creation |
| 63 | // of virtual registers for all non-dead arguments. |
Dan Gohman | d725f04 | 2010-05-01 02:44:23 +0000 | [diff] [blame] | 64 | if (EnableFastISel) |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 65 | return A->use_empty(); |
| 66 | |
Dan Gohman | ae541aa | 2010-04-15 04:33:49 +0000 | [diff] [blame] | 67 | const BasicBlock *Entry = A->getParent()->begin(); |
| 68 | for (Value::const_use_iterator UI = A->use_begin(), E = A->use_end(); |
Gabor Greif | 03f09a3 | 2010-07-09 16:08:33 +0000 | [diff] [blame] | 69 | UI != E; ++UI) { |
| 70 | const User *U = *UI; |
| 71 | if (cast<Instruction>(U)->getParent() != Entry || isa<SwitchInst>(U)) |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 72 | return false; // Use not in entry block. |
Gabor Greif | 03f09a3 | 2010-07-09 16:08:33 +0000 | [diff] [blame] | 73 | } |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 74 | return true; |
| 75 | } |
| 76 | |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 77 | FunctionLoweringInfo::FunctionLoweringInfo(const TargetLowering &tli) |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 78 | : TLI(tli) { |
| 79 | } |
| 80 | |
Dan Gohman | 7451d3e | 2010-05-29 17:03:36 +0000 | [diff] [blame] | 81 | void FunctionLoweringInfo::set(const Function &fn, MachineFunction &mf) { |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 82 | Fn = &fn; |
| 83 | MF = &mf; |
| 84 | RegInfo = &MF->getRegInfo(); |
| 85 | |
Dan Gohman | 84023e0 | 2010-07-10 09:00:22 +0000 | [diff] [blame] | 86 | // Check whether the function can return without sret-demotion. |
| 87 | SmallVector<ISD::OutputArg, 4> Outs; |
| 88 | GetReturnInfo(Fn->getReturnType(), |
| 89 | Fn->getAttributes().getRetAttributes(), Outs, TLI); |
| 90 | CanLowerReturn = TLI.CanLowerReturn(Fn->getCallingConv(), Fn->isVarArg(), |
| 91 | Outs, Fn->getContext()); |
| 92 | |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 93 | // Create a vreg for each argument register that is not dead and is used |
| 94 | // outside of the entry block for the function. |
Dan Gohman | ae541aa | 2010-04-15 04:33:49 +0000 | [diff] [blame] | 95 | for (Function::const_arg_iterator AI = Fn->arg_begin(), E = Fn->arg_end(); |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 96 | AI != E; ++AI) |
| 97 | if (!isOnlyUsedInEntryBlock(AI, EnableFastISel)) |
| 98 | InitializeRegForValue(AI); |
| 99 | |
| 100 | // Initialize the mapping of values to registers. This is only set up for |
| 101 | // instruction values that are used outside of the block that defines |
| 102 | // them. |
Dan Gohman | ae541aa | 2010-04-15 04:33:49 +0000 | [diff] [blame] | 103 | Function::const_iterator BB = Fn->begin(), EB = Fn->end(); |
| 104 | for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) |
| 105 | if (const AllocaInst *AI = dyn_cast<AllocaInst>(I)) |
| 106 | if (const ConstantInt *CUI = dyn_cast<ConstantInt>(AI->getArraySize())) { |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 107 | const Type *Ty = AI->getAllocatedType(); |
| 108 | uint64_t TySize = TLI.getTargetData()->getTypeAllocSize(Ty); |
| 109 | unsigned Align = |
| 110 | std::max((unsigned)TLI.getTargetData()->getPrefTypeAlignment(Ty), |
| 111 | AI->getAlignment()); |
| 112 | |
| 113 | TySize *= CUI->getZExtValue(); // Get total allocated size. |
| 114 | if (TySize == 0) TySize = 1; // Don't create zero-sized stack objects. |
Bill Wendling | dfc2c51 | 2010-07-27 01:55:19 +0000 | [diff] [blame^] | 115 | |
| 116 | // The object may need to be placed onto the stack near the stack |
| 117 | // protector if one exists. Determine here if this object is a suitable |
| 118 | // candidate. I.e., it would trigger the creation of a stack protector. |
| 119 | bool MayNeedSP = |
| 120 | (AI->isArrayAllocation() || |
| 121 | (TySize > 8 && isa<ArrayType>(Ty) && |
| 122 | cast<ArrayType>(Ty)->getElementType()->isIntegerTy(8))); |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 123 | StaticAllocaMap[AI] = |
Bill Wendling | dfc2c51 | 2010-07-27 01:55:19 +0000 | [diff] [blame^] | 124 | MF->getFrameInfo()->CreateStackObject(TySize, Align, false, MayNeedSP); |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 125 | } |
| 126 | |
| 127 | for (; BB != EB; ++BB) |
Dan Gohman | 9c3d5e4 | 2010-07-16 17:54:27 +0000 | [diff] [blame] | 128 | for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) { |
| 129 | // Mark values used outside their block as exported, by allocating |
| 130 | // a virtual register for them. |
Dan Gohman | d84e806 | 2010-04-20 14:50:13 +0000 | [diff] [blame] | 131 | if (isUsedOutsideOfDefiningBlock(I)) |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 132 | if (!isa<AllocaInst>(I) || |
| 133 | !StaticAllocaMap.count(cast<AllocaInst>(I))) |
| 134 | InitializeRegForValue(I); |
| 135 | |
Dan Gohman | 9c3d5e4 | 2010-07-16 17:54:27 +0000 | [diff] [blame] | 136 | // Collect llvm.dbg.declare information. This is done now instead of |
| 137 | // during the initial isel pass through the IR so that it is done |
| 138 | // in a predictable order. |
| 139 | if (const DbgDeclareInst *DI = dyn_cast<DbgDeclareInst>(I)) { |
| 140 | MachineModuleInfo &MMI = MF->getMMI(); |
| 141 | if (MMI.hasDebugInfo() && |
| 142 | DIVariable(DI->getVariable()).Verify() && |
| 143 | !DI->getDebugLoc().isUnknown()) { |
| 144 | // Don't handle byval struct arguments or VLAs, for example. |
| 145 | // Non-byval arguments are handled here (they refer to the stack |
| 146 | // temporary alloca at this point). |
| 147 | const Value *Address = DI->getAddress(); |
| 148 | if (Address) { |
| 149 | if (const BitCastInst *BCI = dyn_cast<BitCastInst>(Address)) |
| 150 | Address = BCI->getOperand(0); |
| 151 | if (const AllocaInst *AI = dyn_cast<AllocaInst>(Address)) { |
| 152 | DenseMap<const AllocaInst *, int>::iterator SI = |
| 153 | StaticAllocaMap.find(AI); |
| 154 | if (SI != StaticAllocaMap.end()) { // Check for VLAs. |
| 155 | int FI = SI->second; |
| 156 | MMI.setVariableDbgInfo(DI->getVariable(), |
| 157 | FI, DI->getDebugLoc()); |
| 158 | } |
| 159 | } |
| 160 | } |
| 161 | } |
| 162 | } |
| 163 | } |
| 164 | |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 165 | // Create an initial MachineBasicBlock for each LLVM BasicBlock in F. This |
| 166 | // also creates the initial PHI MachineInstrs, though none of the input |
| 167 | // operands are populated. |
Dan Gohman | d0d8275 | 2010-04-14 16:30:40 +0000 | [diff] [blame] | 168 | for (BB = Fn->begin(); BB != EB; ++BB) { |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 169 | MachineBasicBlock *MBB = mf.CreateMachineBasicBlock(BB); |
| 170 | MBBMap[BB] = MBB; |
| 171 | MF->push_back(MBB); |
| 172 | |
| 173 | // Transfer the address-taken flag. This is necessary because there could |
| 174 | // be multiple MachineBasicBlocks corresponding to one BasicBlock, and only |
| 175 | // the first one should be marked. |
| 176 | if (BB->hasAddressTaken()) |
| 177 | MBB->setHasAddressTaken(); |
| 178 | |
| 179 | // Create Machine PHI nodes for LLVM PHI nodes, lowering them as |
| 180 | // appropriate. |
Dan Gohman | 3f1403f | 2010-04-20 14:46:25 +0000 | [diff] [blame] | 181 | for (BasicBlock::const_iterator I = BB->begin(); |
| 182 | const PHINode *PN = dyn_cast<PHINode>(I); ++I) { |
| 183 | if (PN->use_empty()) continue; |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 184 | |
Dan Gohman | c025c85 | 2010-04-20 14:48:02 +0000 | [diff] [blame] | 185 | DebugLoc DL = PN->getDebugLoc(); |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 186 | unsigned PHIReg = ValueMap[PN]; |
| 187 | assert(PHIReg && "PHI node does not have an assigned virtual register!"); |
| 188 | |
| 189 | SmallVector<EVT, 4> ValueVTs; |
| 190 | ComputeValueVTs(TLI, PN->getType(), ValueVTs); |
| 191 | for (unsigned vti = 0, vte = ValueVTs.size(); vti != vte; ++vti) { |
| 192 | EVT VT = ValueVTs[vti]; |
| 193 | unsigned NumRegisters = TLI.getNumRegisters(Fn->getContext(), VT); |
| 194 | const TargetInstrInfo *TII = MF->getTarget().getInstrInfo(); |
| 195 | for (unsigned i = 0; i != NumRegisters; ++i) |
Chris Lattner | 518bb53 | 2010-02-09 19:54:29 +0000 | [diff] [blame] | 196 | BuildMI(MBB, DL, TII->get(TargetOpcode::PHI), PHIReg + i); |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 197 | PHIReg += NumRegisters; |
| 198 | } |
| 199 | } |
| 200 | } |
Dan Gohman | de4c0a7 | 2010-04-14 16:32:56 +0000 | [diff] [blame] | 201 | |
| 202 | // Mark landing pad blocks. |
| 203 | for (BB = Fn->begin(); BB != EB; ++BB) |
Dan Gohman | ae541aa | 2010-04-15 04:33:49 +0000 | [diff] [blame] | 204 | if (const InvokeInst *Invoke = dyn_cast<InvokeInst>(BB->getTerminator())) |
Dan Gohman | de4c0a7 | 2010-04-14 16:32:56 +0000 | [diff] [blame] | 205 | MBBMap[Invoke->getSuccessor(1)]->setIsLandingPad(); |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 206 | } |
| 207 | |
| 208 | /// clear - Clear out all the function-specific state. This returns this |
| 209 | /// FunctionLoweringInfo to an empty state, ready to be used for a |
| 210 | /// different function. |
| 211 | void FunctionLoweringInfo::clear() { |
Dan Gohman | 0e02672 | 2010-04-14 17:11:23 +0000 | [diff] [blame] | 212 | assert(CatchInfoFound.size() == CatchInfoLost.size() && |
| 213 | "Not all catch info was assigned to a landing pad!"); |
| 214 | |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 215 | MBBMap.clear(); |
| 216 | ValueMap.clear(); |
| 217 | StaticAllocaMap.clear(); |
| 218 | #ifndef NDEBUG |
| 219 | CatchInfoLost.clear(); |
| 220 | CatchInfoFound.clear(); |
| 221 | #endif |
| 222 | LiveOutRegInfo.clear(); |
Evan Cheng | 2ad0fcf | 2010-04-28 23:08:54 +0000 | [diff] [blame] | 223 | ArgDbgValues.clear(); |
Dan Gohman | 84023e0 | 2010-07-10 09:00:22 +0000 | [diff] [blame] | 224 | RegFixups.clear(); |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 225 | } |
| 226 | |
Dan Gohman | 89496d0 | 2010-07-02 00:10:16 +0000 | [diff] [blame] | 227 | /// CreateReg - Allocate a single virtual register for the given type. |
| 228 | unsigned FunctionLoweringInfo::CreateReg(EVT VT) { |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 229 | return RegInfo->createVirtualRegister(TLI.getRegClassFor(VT)); |
| 230 | } |
| 231 | |
Dan Gohman | 89496d0 | 2010-07-02 00:10:16 +0000 | [diff] [blame] | 232 | /// CreateRegs - Allocate the appropriate number of virtual registers of |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 233 | /// the correctly promoted or expanded types. Assign these registers |
| 234 | /// consecutive vreg numbers and return the first assigned number. |
| 235 | /// |
| 236 | /// In the case that the given value has struct or array type, this function |
| 237 | /// will assign registers for each member or element. |
| 238 | /// |
Dan Gohman | 89496d0 | 2010-07-02 00:10:16 +0000 | [diff] [blame] | 239 | unsigned FunctionLoweringInfo::CreateRegs(const Type *Ty) { |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 240 | SmallVector<EVT, 4> ValueVTs; |
Dan Gohman | ffda6ba | 2010-07-01 03:55:39 +0000 | [diff] [blame] | 241 | ComputeValueVTs(TLI, Ty, ValueVTs); |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 242 | |
| 243 | unsigned FirstReg = 0; |
| 244 | for (unsigned Value = 0, e = ValueVTs.size(); Value != e; ++Value) { |
| 245 | EVT ValueVT = ValueVTs[Value]; |
Dan Gohman | ffda6ba | 2010-07-01 03:55:39 +0000 | [diff] [blame] | 246 | EVT RegisterVT = TLI.getRegisterType(Ty->getContext(), ValueVT); |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 247 | |
Dan Gohman | ffda6ba | 2010-07-01 03:55:39 +0000 | [diff] [blame] | 248 | unsigned NumRegs = TLI.getNumRegisters(Ty->getContext(), ValueVT); |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 249 | for (unsigned i = 0; i != NumRegs; ++i) { |
Dan Gohman | 89496d0 | 2010-07-02 00:10:16 +0000 | [diff] [blame] | 250 | unsigned R = CreateReg(RegisterVT); |
Dan Gohman | 6277eb2 | 2009-11-23 17:16:22 +0000 | [diff] [blame] | 251 | if (!FirstReg) FirstReg = R; |
| 252 | } |
| 253 | } |
| 254 | return FirstReg; |
| 255 | } |
Dan Gohman | 66336ed | 2009-11-23 17:42:46 +0000 | [diff] [blame] | 256 | |
Dan Gohman | 66336ed | 2009-11-23 17:42:46 +0000 | [diff] [blame] | 257 | /// AddCatchInfo - Extract the personality and type infos from an eh.selector |
| 258 | /// call, and add them to the specified machine basic block. |
Dan Gohman | 2520864 | 2010-04-14 19:53:31 +0000 | [diff] [blame] | 259 | void llvm::AddCatchInfo(const CallInst &I, MachineModuleInfo *MMI, |
Dan Gohman | 66336ed | 2009-11-23 17:42:46 +0000 | [diff] [blame] | 260 | MachineBasicBlock *MBB) { |
| 261 | // Inform the MachineModuleInfo of the personality for this landing pad. |
Gabor Greif | 1518444 | 2010-06-25 08:24:59 +0000 | [diff] [blame] | 262 | const ConstantExpr *CE = cast<ConstantExpr>(I.getArgOperand(1)); |
Dan Gohman | 66336ed | 2009-11-23 17:42:46 +0000 | [diff] [blame] | 263 | assert(CE->getOpcode() == Instruction::BitCast && |
| 264 | isa<Function>(CE->getOperand(0)) && |
| 265 | "Personality should be a function"); |
| 266 | MMI->addPersonality(MBB, cast<Function>(CE->getOperand(0))); |
| 267 | |
| 268 | // Gather all the type infos for this landing pad and pass them along to |
| 269 | // MachineModuleInfo. |
Dan Gohman | 46510a7 | 2010-04-15 01:51:59 +0000 | [diff] [blame] | 270 | std::vector<const GlobalVariable *> TyInfo; |
Gabor Greif | e767e6b | 2010-06-30 13:45:50 +0000 | [diff] [blame] | 271 | unsigned N = I.getNumArgOperands(); |
Dan Gohman | 66336ed | 2009-11-23 17:42:46 +0000 | [diff] [blame] | 272 | |
Gabor Greif | e767e6b | 2010-06-30 13:45:50 +0000 | [diff] [blame] | 273 | for (unsigned i = N - 1; i > 1; --i) { |
| 274 | if (const ConstantInt *CI = dyn_cast<ConstantInt>(I.getArgOperand(i))) { |
Dan Gohman | 66336ed | 2009-11-23 17:42:46 +0000 | [diff] [blame] | 275 | unsigned FilterLength = CI->getZExtValue(); |
| 276 | unsigned FirstCatch = i + FilterLength + !FilterLength; |
Gabor Greif | e767e6b | 2010-06-30 13:45:50 +0000 | [diff] [blame] | 277 | assert(FirstCatch <= N && "Invalid filter length"); |
Dan Gohman | 66336ed | 2009-11-23 17:42:46 +0000 | [diff] [blame] | 278 | |
| 279 | if (FirstCatch < N) { |
| 280 | TyInfo.reserve(N - FirstCatch); |
| 281 | for (unsigned j = FirstCatch; j < N; ++j) |
Gabor Greif | e767e6b | 2010-06-30 13:45:50 +0000 | [diff] [blame] | 282 | TyInfo.push_back(ExtractTypeInfo(I.getArgOperand(j))); |
Dan Gohman | 66336ed | 2009-11-23 17:42:46 +0000 | [diff] [blame] | 283 | MMI->addCatchTypeInfo(MBB, TyInfo); |
| 284 | TyInfo.clear(); |
| 285 | } |
| 286 | |
| 287 | if (!FilterLength) { |
| 288 | // Cleanup. |
| 289 | MMI->addCleanup(MBB); |
| 290 | } else { |
| 291 | // Filter. |
| 292 | TyInfo.reserve(FilterLength - 1); |
| 293 | for (unsigned j = i + 1; j < FirstCatch; ++j) |
Gabor Greif | e767e6b | 2010-06-30 13:45:50 +0000 | [diff] [blame] | 294 | TyInfo.push_back(ExtractTypeInfo(I.getArgOperand(j))); |
Dan Gohman | 66336ed | 2009-11-23 17:42:46 +0000 | [diff] [blame] | 295 | MMI->addFilterTypeInfo(MBB, TyInfo); |
| 296 | TyInfo.clear(); |
| 297 | } |
| 298 | |
| 299 | N = i; |
| 300 | } |
| 301 | } |
| 302 | |
Gabor Greif | e767e6b | 2010-06-30 13:45:50 +0000 | [diff] [blame] | 303 | if (N > 2) { |
| 304 | TyInfo.reserve(N - 2); |
| 305 | for (unsigned j = 2; j < N; ++j) |
| 306 | TyInfo.push_back(ExtractTypeInfo(I.getArgOperand(j))); |
Dan Gohman | 66336ed | 2009-11-23 17:42:46 +0000 | [diff] [blame] | 307 | MMI->addCatchTypeInfo(MBB, TyInfo); |
| 308 | } |
| 309 | } |
| 310 | |
Dan Gohman | 2520864 | 2010-04-14 19:53:31 +0000 | [diff] [blame] | 311 | void llvm::CopyCatchInfo(const BasicBlock *SrcBB, const BasicBlock *DestBB, |
Dan Gohman | 5fca8b1 | 2009-11-23 18:12:11 +0000 | [diff] [blame] | 312 | MachineModuleInfo *MMI, FunctionLoweringInfo &FLI) { |
Dan Gohman | 2520864 | 2010-04-14 19:53:31 +0000 | [diff] [blame] | 313 | for (BasicBlock::const_iterator I = SrcBB->begin(), E = --SrcBB->end(); |
| 314 | I != E; ++I) |
| 315 | if (const EHSelectorInst *EHSel = dyn_cast<EHSelectorInst>(I)) { |
Dan Gohman | 5fca8b1 | 2009-11-23 18:12:11 +0000 | [diff] [blame] | 316 | // Apply the catch info to DestBB. |
| 317 | AddCatchInfo(*EHSel, MMI, FLI.MBBMap[DestBB]); |
| 318 | #ifndef NDEBUG |
| 319 | if (!FLI.MBBMap[SrcBB]->isLandingPad()) |
| 320 | FLI.CatchInfoFound.insert(EHSel); |
| 321 | #endif |
| 322 | } |
| 323 | } |