blob: f54cccadea65a0f1f09cf9d4affc2b40f8029b99 [file] [log] [blame]
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +00001//===----- JITDwarfEmitter.cpp - Write dwarf tables into memory -----------===//
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 file defines a JITDwarfEmitter object that is used by the JIT to
11// write dwarf tables to memory.
12//
13//===----------------------------------------------------------------------===//
14
15#include "JIT.h"
16#include "JITDwarfEmitter.h"
17#include "llvm/Function.h"
18#include "llvm/ADT/DenseMap.h"
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000019#include "llvm/CodeGen/JITCodeEmitter.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000020#include "llvm/CodeGen/MachineFunction.h"
21#include "llvm/CodeGen/MachineLocation.h"
22#include "llvm/CodeGen/MachineModuleInfo.h"
23#include "llvm/ExecutionEngine/JITMemoryManager.h"
Torok Edwinc25e7582009-07-11 20:10:48 +000024#include "llvm/Support/ErrorHandling.h"
Chris Lattneraf76e592009-08-22 20:48:53 +000025#include "llvm/MC/MCAsmInfo.h"
Chris Lattner16112732010-03-14 01:41:15 +000026#include "llvm/MC/MCSymbol.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000027#include "llvm/Target/TargetData.h"
28#include "llvm/Target/TargetInstrInfo.h"
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000029#include "llvm/Target/TargetFrameLowering.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000030#include "llvm/Target/TargetMachine.h"
31#include "llvm/Target/TargetRegisterInfo.h"
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000032using namespace llvm;
33
Daniel Dunbar003de662009-09-21 05:58:35 +000034JITDwarfEmitter::JITDwarfEmitter(JIT& theJit) : MMI(0), Jit(theJit) {}
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000035
36
37unsigned char* JITDwarfEmitter::EmitDwarfTable(MachineFunction& F,
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000038 JITCodeEmitter& jce,
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000039 unsigned char* StartFunction,
Reid Kleckner27632172009-09-20 23:52:43 +000040 unsigned char* EndFunction,
41 unsigned char* &EHFramePtr) {
Daniel Dunbar003de662009-09-21 05:58:35 +000042 assert(MMI && "MachineModuleInfo not registered!");
43
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000044 const TargetMachine& TM = F.getTarget();
45 TD = TM.getTargetData();
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000046 stackGrowthDirection = TM.getFrameLowering()->getStackGrowthDirection();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000047 RI = TM.getRegisterInfo();
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000048 TFI = TM.getFrameLowering();
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000049 JCE = &jce;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000050
51 unsigned char* ExceptionTable = EmitExceptionTable(&F, StartFunction,
52 EndFunction);
53
54 unsigned char* Result = 0;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000055
Dan Gohman46510a72010-04-15 01:51:59 +000056 const std::vector<const Function *> Personalities = MMI->getPersonalities();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000057 EHFramePtr = EmitCommonEHFrame(Personalities[MMI->getPersonalityIndex()]);
58
59 Result = EmitEHFrame(Personalities[MMI->getPersonalityIndex()], EHFramePtr,
60 StartFunction, EndFunction, ExceptionTable);
Bill Wendling9d48b552009-09-09 00:11:02 +000061
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000062 return Result;
63}
64
65
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +000066void
67JITDwarfEmitter::EmitFrameMoves(intptr_t BaseLabelPtr,
68 const std::vector<MachineMove> &Moves) const {
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000069 unsigned PointerSize = TD->getPointerSize();
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000070 int stackGrowth = stackGrowthDirection == TargetFrameLowering::StackGrowsUp ?
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000071 PointerSize : -PointerSize;
Chris Lattner2e9919a2010-03-14 08:12:40 +000072 MCSymbol *BaseLabel = 0;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000073
74 for (unsigned i = 0, N = Moves.size(); i < N; ++i) {
75 const MachineMove &Move = Moves[i];
Chris Lattner2e9919a2010-03-14 08:12:40 +000076 MCSymbol *Label = Move.getLabel();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000077
Chris Lattner16112732010-03-14 01:41:15 +000078 // Throw out move if the label is invalid.
Bill Wendling091fc4b2010-04-18 00:56:05 +000079 if (Label && (*JCE->getLabelLocations())[Label] == 0)
Chris Lattner16112732010-03-14 01:41:15 +000080 continue;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000081
82 intptr_t LabelPtr = 0;
Chris Lattner2e9919a2010-03-14 08:12:40 +000083 if (Label) LabelPtr = JCE->getLabelAddress(Label);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000084
85 const MachineLocation &Dst = Move.getDestination();
86 const MachineLocation &Src = Move.getSource();
87
88 // Advance row if new location.
Chris Lattner2e9919a2010-03-14 08:12:40 +000089 if (BaseLabelPtr && Label && BaseLabel != Label) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000090 JCE->emitByte(dwarf::DW_CFA_advance_loc4);
91 JCE->emitInt32(LabelPtr - BaseLabelPtr);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000092
Chris Lattner2e9919a2010-03-14 08:12:40 +000093 BaseLabel = Label;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000094 BaseLabelPtr = LabelPtr;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000095 }
96
97 // If advancing cfa.
Daniel Dunbar489032a2008-10-03 17:11:57 +000098 if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
99 if (!Src.isReg()) {
100 if (Src.getReg() == MachineLocation::VirtualFP) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000101 JCE->emitByte(dwarf::DW_CFA_def_cfa_offset);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000102 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000103 JCE->emitByte(dwarf::DW_CFA_def_cfa);
104 JCE->emitULEB128Bytes(RI->getDwarfRegNum(Src.getReg(), true));
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000105 }
106
Bill Wendling9d48b552009-09-09 00:11:02 +0000107 JCE->emitULEB128Bytes(-Src.getOffset());
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000108 } else {
Bill Wendling9d48b552009-09-09 00:11:02 +0000109 llvm_unreachable("Machine move not supported yet.");
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000110 }
Daniel Dunbar489032a2008-10-03 17:11:57 +0000111 } else if (Src.isReg() &&
112 Src.getReg() == MachineLocation::VirtualFP) {
113 if (Dst.isReg()) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000114 JCE->emitByte(dwarf::DW_CFA_def_cfa_register);
115 JCE->emitULEB128Bytes(RI->getDwarfRegNum(Dst.getReg(), true));
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000116 } else {
Bill Wendling9d48b552009-09-09 00:11:02 +0000117 llvm_unreachable("Machine move not supported yet.");
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000118 }
119 } else {
Daniel Dunbar489032a2008-10-03 17:11:57 +0000120 unsigned Reg = RI->getDwarfRegNum(Src.getReg(), true);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000121 int Offset = Dst.getOffset() / stackGrowth;
122
123 if (Offset < 0) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000124 JCE->emitByte(dwarf::DW_CFA_offset_extended_sf);
125 JCE->emitULEB128Bytes(Reg);
126 JCE->emitSLEB128Bytes(Offset);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000127 } else if (Reg < 64) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000128 JCE->emitByte(dwarf::DW_CFA_offset + Reg);
129 JCE->emitULEB128Bytes(Offset);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000130 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000131 JCE->emitByte(dwarf::DW_CFA_offset_extended);
132 JCE->emitULEB128Bytes(Reg);
133 JCE->emitULEB128Bytes(Offset);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000134 }
135 }
136 }
137}
138
139/// SharedTypeIds - How many leading type ids two landing pads have in common.
140static unsigned SharedTypeIds(const LandingPadInfo *L,
141 const LandingPadInfo *R) {
142 const std::vector<int> &LIds = L->TypeIds, &RIds = R->TypeIds;
143 unsigned LSize = LIds.size(), RSize = RIds.size();
144 unsigned MinSize = LSize < RSize ? LSize : RSize;
145 unsigned Count = 0;
146
147 for (; Count != MinSize; ++Count)
148 if (LIds[Count] != RIds[Count])
149 return Count;
150
151 return Count;
152}
153
154
155/// PadLT - Order landing pads lexicographically by type id.
156static bool PadLT(const LandingPadInfo *L, const LandingPadInfo *R) {
157 const std::vector<int> &LIds = L->TypeIds, &RIds = R->TypeIds;
158 unsigned LSize = LIds.size(), RSize = RIds.size();
159 unsigned MinSize = LSize < RSize ? LSize : RSize;
160
161 for (unsigned i = 0; i != MinSize; ++i)
162 if (LIds[i] != RIds[i])
163 return LIds[i] < RIds[i];
164
165 return LSize < RSize;
166}
167
Dan Gohman844731a2008-05-13 00:00:25 +0000168namespace {
169
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000170/// ActionEntry - Structure describing an entry in the actions table.
171struct ActionEntry {
172 int ValueForTypeID; // The value to write - may not be equal to the type id.
173 int NextAction;
174 struct ActionEntry *Previous;
175};
176
177/// PadRange - Structure holding a try-range and the associated landing pad.
178struct PadRange {
179 // The index of the landing pad.
180 unsigned PadIndex;
181 // The index of the begin and end labels in the landing pad's label lists.
182 unsigned RangeIndex;
183};
184
Chris Lattner16112732010-03-14 01:41:15 +0000185typedef DenseMap<MCSymbol*, PadRange> RangeMapType;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000186
187/// CallSiteEntry - Structure describing an entry in the call-site table.
188struct CallSiteEntry {
Chris Lattner16112732010-03-14 01:41:15 +0000189 MCSymbol *BeginLabel; // zero indicates the start of the function.
190 MCSymbol *EndLabel; // zero indicates the end of the function.
191 MCSymbol *PadLabel; // zero indicates that there is no landing pad.
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000192 unsigned Action;
193};
194
Dan Gohman844731a2008-05-13 00:00:25 +0000195}
196
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000197unsigned char* JITDwarfEmitter::EmitExceptionTable(MachineFunction* MF,
198 unsigned char* StartFunction,
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +0000199 unsigned char* EndFunction) const {
Daniel Dunbar003de662009-09-21 05:58:35 +0000200 assert(MMI && "MachineModuleInfo not registered!");
201
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000202 // Map all labels and get rid of any dead landing pads.
Bill Wendling47639fc2010-04-16 08:46:10 +0000203 MMI->TidyLandingPads(JCE->getLabelLocations());
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000204
Dan Gohman46510a72010-04-15 01:51:59 +0000205 const std::vector<const GlobalVariable *> &TypeInfos = MMI->getTypeInfos();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000206 const std::vector<unsigned> &FilterIds = MMI->getFilterIds();
207 const std::vector<LandingPadInfo> &PadInfos = MMI->getLandingPads();
208 if (PadInfos.empty()) return 0;
209
210 // Sort the landing pads in order of their type ids. This is used to fold
211 // duplicate actions.
212 SmallVector<const LandingPadInfo *, 64> LandingPads;
213 LandingPads.reserve(PadInfos.size());
214 for (unsigned i = 0, N = PadInfos.size(); i != N; ++i)
215 LandingPads.push_back(&PadInfos[i]);
216 std::sort(LandingPads.begin(), LandingPads.end(), PadLT);
217
218 // Negative type ids index into FilterIds, positive type ids index into
219 // TypeInfos. The value written for a positive type id is just the type
220 // id itself. For a negative type id, however, the value written is the
221 // (negative) byte offset of the corresponding FilterIds entry. The byte
222 // offset is usually equal to the type id, because the FilterIds entries
223 // are written using a variable width encoding which outputs one byte per
224 // entry as long as the value written is not too large, but can differ.
225 // This kind of complication does not occur for positive type ids because
226 // type infos are output using a fixed width encoding.
227 // FilterOffsets[i] holds the byte offset corresponding to FilterIds[i].
228 SmallVector<int, 16> FilterOffsets;
229 FilterOffsets.reserve(FilterIds.size());
230 int Offset = -1;
231 for(std::vector<unsigned>::const_iterator I = FilterIds.begin(),
232 E = FilterIds.end(); I != E; ++I) {
233 FilterOffsets.push_back(Offset);
Chris Lattneraf76e592009-08-22 20:48:53 +0000234 Offset -= MCAsmInfo::getULEB128Size(*I);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000235 }
236
237 // Compute the actions table and gather the first action index for each
238 // landing pad site.
239 SmallVector<ActionEntry, 32> Actions;
240 SmallVector<unsigned, 64> FirstActions;
241 FirstActions.reserve(LandingPads.size());
242
243 int FirstAction = 0;
244 unsigned SizeActions = 0;
245 for (unsigned i = 0, N = LandingPads.size(); i != N; ++i) {
246 const LandingPadInfo *LP = LandingPads[i];
247 const std::vector<int> &TypeIds = LP->TypeIds;
248 const unsigned NumShared = i ? SharedTypeIds(LP, LandingPads[i-1]) : 0;
249 unsigned SizeSiteActions = 0;
250
251 if (NumShared < TypeIds.size()) {
252 unsigned SizeAction = 0;
253 ActionEntry *PrevAction = 0;
254
255 if (NumShared) {
256 const unsigned SizePrevIds = LandingPads[i-1]->TypeIds.size();
257 assert(Actions.size());
258 PrevAction = &Actions.back();
Chris Lattneraf76e592009-08-22 20:48:53 +0000259 SizeAction = MCAsmInfo::getSLEB128Size(PrevAction->NextAction) +
260 MCAsmInfo::getSLEB128Size(PrevAction->ValueForTypeID);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000261 for (unsigned j = NumShared; j != SizePrevIds; ++j) {
Chris Lattneraf76e592009-08-22 20:48:53 +0000262 SizeAction -= MCAsmInfo::getSLEB128Size(PrevAction->ValueForTypeID);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000263 SizeAction += -PrevAction->NextAction;
264 PrevAction = PrevAction->Previous;
265 }
266 }
267
268 // Compute the actions.
269 for (unsigned I = NumShared, M = TypeIds.size(); I != M; ++I) {
270 int TypeID = TypeIds[I];
271 assert(-1-TypeID < (int)FilterOffsets.size() && "Unknown filter id!");
272 int ValueForTypeID = TypeID < 0 ? FilterOffsets[-1 - TypeID] : TypeID;
Chris Lattneraf76e592009-08-22 20:48:53 +0000273 unsigned SizeTypeID = MCAsmInfo::getSLEB128Size(ValueForTypeID);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000274
275 int NextAction = SizeAction ? -(SizeAction + SizeTypeID) : 0;
Chris Lattneraf76e592009-08-22 20:48:53 +0000276 SizeAction = SizeTypeID + MCAsmInfo::getSLEB128Size(NextAction);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000277 SizeSiteActions += SizeAction;
278
279 ActionEntry Action = {ValueForTypeID, NextAction, PrevAction};
280 Actions.push_back(Action);
281
282 PrevAction = &Actions.back();
283 }
284
285 // Record the first action of the landing pad site.
286 FirstAction = SizeActions + SizeSiteActions - SizeAction + 1;
287 } // else identical - re-use previous FirstAction
288
289 FirstActions.push_back(FirstAction);
290
291 // Compute this sites contribution to size.
292 SizeActions += SizeSiteActions;
293 }
294
295 // Compute the call-site table. Entries must be ordered by address.
296 SmallVector<CallSiteEntry, 64> CallSites;
297
298 RangeMapType PadMap;
299 for (unsigned i = 0, N = LandingPads.size(); i != N; ++i) {
300 const LandingPadInfo *LandingPad = LandingPads[i];
301 for (unsigned j=0, E = LandingPad->BeginLabels.size(); j != E; ++j) {
Chris Lattner16112732010-03-14 01:41:15 +0000302 MCSymbol *BeginLabel = LandingPad->BeginLabels[j];
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000303 assert(!PadMap.count(BeginLabel) && "Duplicate landing pad labels!");
304 PadRange P = { i, j };
305 PadMap[BeginLabel] = P;
306 }
307 }
308
309 bool MayThrow = false;
Chris Lattner16112732010-03-14 01:41:15 +0000310 MCSymbol *LastLabel = 0;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000311 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
312 I != E; ++I) {
313 for (MachineBasicBlock::const_iterator MI = I->begin(), E = I->end();
314 MI != E; ++MI) {
Dan Gohman44066042008-07-01 00:05:16 +0000315 if (!MI->isLabel()) {
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000316 MayThrow |= MI->getDesc().isCall();
317 continue;
318 }
319
Chris Lattner6b4205a2010-03-14 08:28:48 +0000320 MCSymbol *BeginLabel = MI->getOperand(0).getMCSymbol();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000321 assert(BeginLabel && "Invalid label!");
322
323 if (BeginLabel == LastLabel)
324 MayThrow = false;
325
326 RangeMapType::iterator L = PadMap.find(BeginLabel);
327
328 if (L == PadMap.end())
329 continue;
330
331 PadRange P = L->second;
332 const LandingPadInfo *LandingPad = LandingPads[P.PadIndex];
333
334 assert(BeginLabel == LandingPad->BeginLabels[P.RangeIndex] &&
335 "Inconsistent landing pad map!");
336
337 // If some instruction between the previous try-range and this one may
338 // throw, create a call-site entry with no landing pad for the region
339 // between the try-ranges.
340 if (MayThrow) {
341 CallSiteEntry Site = {LastLabel, BeginLabel, 0, 0};
342 CallSites.push_back(Site);
343 }
344
345 LastLabel = LandingPad->EndLabels[P.RangeIndex];
346 CallSiteEntry Site = {BeginLabel, LastLabel,
347 LandingPad->LandingPadLabel, FirstActions[P.PadIndex]};
348
349 assert(Site.BeginLabel && Site.EndLabel && Site.PadLabel &&
350 "Invalid landing pad!");
351
352 // Try to merge with the previous call-site.
353 if (CallSites.size()) {
Dan Gohman719de532008-06-21 22:00:54 +0000354 CallSiteEntry &Prev = CallSites.back();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000355 if (Site.PadLabel == Prev.PadLabel && Site.Action == Prev.Action) {
356 // Extend the range of the previous entry.
357 Prev.EndLabel = Site.EndLabel;
358 continue;
359 }
360 }
361
362 // Otherwise, create a new call-site.
363 CallSites.push_back(Site);
364 }
365 }
366 // If some instruction between the previous try-range and the end of the
367 // function may throw, create a call-site entry with no landing pad for the
368 // region following the try-range.
369 if (MayThrow) {
370 CallSiteEntry Site = {LastLabel, 0, 0, 0};
371 CallSites.push_back(Site);
372 }
373
374 // Final tallies.
375 unsigned SizeSites = CallSites.size() * (sizeof(int32_t) + // Site start.
376 sizeof(int32_t) + // Site length.
377 sizeof(int32_t)); // Landing pad.
378 for (unsigned i = 0, e = CallSites.size(); i < e; ++i)
Chris Lattneraf76e592009-08-22 20:48:53 +0000379 SizeSites += MCAsmInfo::getULEB128Size(CallSites[i].Action);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000380
381 unsigned SizeTypes = TypeInfos.size() * TD->getPointerSize();
382
383 unsigned TypeOffset = sizeof(int8_t) + // Call site format
384 // Call-site table length
Chris Lattneraf76e592009-08-22 20:48:53 +0000385 MCAsmInfo::getULEB128Size(SizeSites) +
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000386 SizeSites + SizeActions + SizeTypes;
387
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000388 // Begin the exception table.
Reid Kleckner01248e62009-08-21 21:03:57 +0000389 JCE->emitAlignmentWithFill(4, 0);
390 // Asm->EOL("Padding");
391
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000392 unsigned char* DwarfExceptionTable = (unsigned char*)JCE->getCurrentPCValue();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000393
394 // Emit the header.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000395 JCE->emitByte(dwarf::DW_EH_PE_omit);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000396 // Asm->EOL("LPStart format (DW_EH_PE_omit)");
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000397 JCE->emitByte(dwarf::DW_EH_PE_absptr);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000398 // Asm->EOL("TType format (DW_EH_PE_absptr)");
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000399 JCE->emitULEB128Bytes(TypeOffset);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000400 // Asm->EOL("TType base offset");
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000401 JCE->emitByte(dwarf::DW_EH_PE_udata4);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000402 // Asm->EOL("Call site format (DW_EH_PE_udata4)");
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000403 JCE->emitULEB128Bytes(SizeSites);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000404 // Asm->EOL("Call-site table length");
405
406 // Emit the landing pad site information.
407 for (unsigned i = 0; i < CallSites.size(); ++i) {
408 CallSiteEntry &S = CallSites[i];
409 intptr_t BeginLabelPtr = 0;
410 intptr_t EndLabelPtr = 0;
411
412 if (!S.BeginLabel) {
413 BeginLabelPtr = (intptr_t)StartFunction;
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000414 JCE->emitInt32(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000415 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000416 BeginLabelPtr = JCE->getLabelAddress(S.BeginLabel);
417 JCE->emitInt32(BeginLabelPtr - (intptr_t)StartFunction);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000418 }
419
420 // Asm->EOL("Region start");
421
Bill Wendlingabeca442009-12-28 01:53:00 +0000422 if (!S.EndLabel)
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000423 EndLabelPtr = (intptr_t)EndFunction;
Bill Wendlingabeca442009-12-28 01:53:00 +0000424 else
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000425 EndLabelPtr = JCE->getLabelAddress(S.EndLabel);
Bill Wendlingabeca442009-12-28 01:53:00 +0000426
427 JCE->emitInt32(EndLabelPtr - BeginLabelPtr);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000428 //Asm->EOL("Region length");
429
430 if (!S.PadLabel) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000431 JCE->emitInt32(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000432 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000433 unsigned PadLabelPtr = JCE->getLabelAddress(S.PadLabel);
434 JCE->emitInt32(PadLabelPtr - (intptr_t)StartFunction);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000435 }
436 // Asm->EOL("Landing pad");
437
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000438 JCE->emitULEB128Bytes(S.Action);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000439 // Asm->EOL("Action");
440 }
441
442 // Emit the actions.
443 for (unsigned I = 0, N = Actions.size(); I != N; ++I) {
444 ActionEntry &Action = Actions[I];
445
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000446 JCE->emitSLEB128Bytes(Action.ValueForTypeID);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000447 //Asm->EOL("TypeInfo index");
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000448 JCE->emitSLEB128Bytes(Action.NextAction);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000449 //Asm->EOL("Next action");
450 }
451
452 // Emit the type ids.
453 for (unsigned M = TypeInfos.size(); M; --M) {
Dan Gohman46510a72010-04-15 01:51:59 +0000454 const GlobalVariable *GV = TypeInfos[M - 1];
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000455
456 if (GV) {
Bill Wendling9d48b552009-09-09 00:11:02 +0000457 if (TD->getPointerSize() == sizeof(int32_t))
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000458 JCE->emitInt32((intptr_t)Jit.getOrEmitGlobalVariable(GV));
Bill Wendling9d48b552009-09-09 00:11:02 +0000459 else
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000460 JCE->emitInt64((intptr_t)Jit.getOrEmitGlobalVariable(GV));
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000461 } else {
462 if (TD->getPointerSize() == sizeof(int32_t))
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000463 JCE->emitInt32(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000464 else
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000465 JCE->emitInt64(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000466 }
467 // Asm->EOL("TypeInfo");
468 }
469
470 // Emit the filter typeids.
471 for (unsigned j = 0, M = FilterIds.size(); j < M; ++j) {
472 unsigned TypeID = FilterIds[j];
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000473 JCE->emitULEB128Bytes(TypeID);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000474 //Asm->EOL("Filter TypeInfo index");
475 }
Reid Kleckner01248e62009-08-21 21:03:57 +0000476
477 JCE->emitAlignmentWithFill(4, 0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000478
479 return DwarfExceptionTable;
480}
481
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +0000482unsigned char*
483JITDwarfEmitter::EmitCommonEHFrame(const Function* Personality) const {
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000484 unsigned PointerSize = TD->getPointerSize();
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000485 int stackGrowth = stackGrowthDirection == TargetFrameLowering::StackGrowsUp ?
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000486 PointerSize : -PointerSize;
487
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000488 unsigned char* StartCommonPtr = (unsigned char*)JCE->getCurrentPCValue();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000489 // EH Common Frame header
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000490 JCE->allocateSpace(4, 0);
491 unsigned char* FrameCommonBeginPtr = (unsigned char*)JCE->getCurrentPCValue();
492 JCE->emitInt32((int)0);
493 JCE->emitByte(dwarf::DW_CIE_VERSION);
494 JCE->emitString(Personality ? "zPLR" : "zR");
495 JCE->emitULEB128Bytes(1);
496 JCE->emitSLEB128Bytes(stackGrowth);
497 JCE->emitByte(RI->getDwarfRegNum(RI->getRARegister(), true));
Bill Wendling9d48b552009-09-09 00:11:02 +0000498
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000499 if (Personality) {
Nicolas Geoffray42cc8f12009-02-15 20:49:23 +0000500 // Augmentation Size: 3 small ULEBs of one byte each, and the personality
501 // function which size is PointerSize.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000502 JCE->emitULEB128Bytes(3 + PointerSize);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000503
Nicolas Geoffray42cc8f12009-02-15 20:49:23 +0000504 // We set the encoding of the personality as direct encoding because we use
505 // the function pointer. The encoding is not relative because the current
506 // PC value may be bigger than the personality function pointer.
507 if (PointerSize == 4) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000508 JCE->emitByte(dwarf::DW_EH_PE_sdata4);
509 JCE->emitInt32(((intptr_t)Jit.getPointerToGlobal(Personality)));
Nicolas Geoffray42cc8f12009-02-15 20:49:23 +0000510 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000511 JCE->emitByte(dwarf::DW_EH_PE_sdata8);
512 JCE->emitInt64(((intptr_t)Jit.getPointerToGlobal(Personality)));
Nicolas Geoffray42cc8f12009-02-15 20:49:23 +0000513 }
Bill Wendling9d48b552009-09-09 00:11:02 +0000514
Bill Wendling89ee7062010-02-16 00:58:02 +0000515 // LSDA encoding: This must match the encoding used in EmitEHFrame ()
516 if (PointerSize == 4)
517 JCE->emitULEB128Bytes(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4);
518 else
519 JCE->emitULEB128Bytes(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8);
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000520 JCE->emitULEB128Bytes(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000521 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000522 JCE->emitULEB128Bytes(1);
523 JCE->emitULEB128Bytes(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000524 }
525
526 std::vector<MachineMove> Moves;
Anton Korobeynikovd9e33852010-11-18 23:25:52 +0000527 TFI->getInitialFrameState(Moves);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000528 EmitFrameMoves(0, Moves);
Reid Kleckner01248e62009-08-21 21:03:57 +0000529
530 JCE->emitAlignmentWithFill(PointerSize, dwarf::DW_CFA_nop);
531
532 JCE->emitInt32At((uintptr_t*)StartCommonPtr,
533 (uintptr_t)((unsigned char*)JCE->getCurrentPCValue() -
534 FrameCommonBeginPtr));
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000535
536 return StartCommonPtr;
537}
538
539
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +0000540unsigned char*
541JITDwarfEmitter::EmitEHFrame(const Function* Personality,
542 unsigned char* StartCommonPtr,
543 unsigned char* StartFunction,
544 unsigned char* EndFunction,
545 unsigned char* ExceptionTable) const {
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000546 unsigned PointerSize = TD->getPointerSize();
547
548 // EH frame header.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000549 unsigned char* StartEHPtr = (unsigned char*)JCE->getCurrentPCValue();
550 JCE->allocateSpace(4, 0);
551 unsigned char* FrameBeginPtr = (unsigned char*)JCE->getCurrentPCValue();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000552 // FDE CIE Offset
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000553 JCE->emitInt32(FrameBeginPtr - StartCommonPtr);
554 JCE->emitInt32(StartFunction - (unsigned char*)JCE->getCurrentPCValue());
555 JCE->emitInt32(EndFunction - StartFunction);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000556
557 // If there is a personality and landing pads then point to the language
558 // specific data area in the exception table.
Bill Wendling9d48b552009-09-09 00:11:02 +0000559 if (Personality) {
560 JCE->emitULEB128Bytes(PointerSize == 4 ? 4 : 8);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000561
Bill Wendling9d48b552009-09-09 00:11:02 +0000562 if (PointerSize == 4) {
563 if (!MMI->getLandingPads().empty())
564 JCE->emitInt32(ExceptionTable-(unsigned char*)JCE->getCurrentPCValue());
565 else
566 JCE->emitInt32((int)0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000567 } else {
Bill Wendling9d48b552009-09-09 00:11:02 +0000568 if (!MMI->getLandingPads().empty())
569 JCE->emitInt64(ExceptionTable-(unsigned char*)JCE->getCurrentPCValue());
570 else
571 JCE->emitInt64((int)0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000572 }
573 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000574 JCE->emitULEB128Bytes(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000575 }
576
577 // Indicate locations of function specific callee saved registers in
578 // frame.
579 EmitFrameMoves((intptr_t)StartFunction, MMI->getFrameMoves());
Reid Kleckner01248e62009-08-21 21:03:57 +0000580
581 JCE->emitAlignmentWithFill(PointerSize, dwarf::DW_CFA_nop);
582
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000583 // Indicate the size of the table
Reid Kleckner01248e62009-08-21 21:03:57 +0000584 JCE->emitInt32At((uintptr_t*)StartEHPtr,
585 (uintptr_t)((unsigned char*)JCE->getCurrentPCValue() -
586 StartEHPtr));
587
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000588 // Double zeroes for the unwind runtime
589 if (PointerSize == 8) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000590 JCE->emitInt64(0);
591 JCE->emitInt64(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000592 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000593 JCE->emitInt32(0);
594 JCE->emitInt32(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000595 }
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000596
597 return StartEHPtr;
598}