blob: 1105bcc0437f28ad629da733aaecfb0d27050bab [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"
29#include "llvm/Target/TargetFrameInfo.h"
30#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();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000046 stackGrowthDirection = TM.getFrameInfo()->getStackGrowthDirection();
47 RI = TM.getRegisterInfo();
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000048 JCE = &jce;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000049
50 unsigned char* ExceptionTable = EmitExceptionTable(&F, StartFunction,
51 EndFunction);
52
53 unsigned char* Result = 0;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000054
Dan Gohman46510a72010-04-15 01:51:59 +000055 const std::vector<const Function *> Personalities = MMI->getPersonalities();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000056 EHFramePtr = EmitCommonEHFrame(Personalities[MMI->getPersonalityIndex()]);
57
58 Result = EmitEHFrame(Personalities[MMI->getPersonalityIndex()], EHFramePtr,
59 StartFunction, EndFunction, ExceptionTable);
Bill Wendling9d48b552009-09-09 00:11:02 +000060
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000061 return Result;
62}
63
64
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +000065void
66JITDwarfEmitter::EmitFrameMoves(intptr_t BaseLabelPtr,
67 const std::vector<MachineMove> &Moves) const {
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000068 unsigned PointerSize = TD->getPointerSize();
69 int stackGrowth = stackGrowthDirection == TargetFrameInfo::StackGrowsUp ?
70 PointerSize : -PointerSize;
Chris Lattner2e9919a2010-03-14 08:12:40 +000071 MCSymbol *BaseLabel = 0;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000072
73 for (unsigned i = 0, N = Moves.size(); i < N; ++i) {
74 const MachineMove &Move = Moves[i];
Chris Lattner2e9919a2010-03-14 08:12:40 +000075 MCSymbol *Label = Move.getLabel();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000076
Chris Lattner16112732010-03-14 01:41:15 +000077 // Throw out move if the label is invalid.
Bill Wendling091fc4b2010-04-18 00:56:05 +000078 if (Label && (*JCE->getLabelLocations())[Label] == 0)
Chris Lattner16112732010-03-14 01:41:15 +000079 continue;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000080
81 intptr_t LabelPtr = 0;
Chris Lattner2e9919a2010-03-14 08:12:40 +000082 if (Label) LabelPtr = JCE->getLabelAddress(Label);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000083
84 const MachineLocation &Dst = Move.getDestination();
85 const MachineLocation &Src = Move.getSource();
86
87 // Advance row if new location.
Chris Lattner2e9919a2010-03-14 08:12:40 +000088 if (BaseLabelPtr && Label && BaseLabel != Label) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000089 JCE->emitByte(dwarf::DW_CFA_advance_loc4);
90 JCE->emitInt32(LabelPtr - BaseLabelPtr);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000091
Chris Lattner2e9919a2010-03-14 08:12:40 +000092 BaseLabel = Label;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000093 BaseLabelPtr = LabelPtr;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +000094 }
95
96 // If advancing cfa.
Daniel Dunbar489032a2008-10-03 17:11:57 +000097 if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
98 if (!Src.isReg()) {
99 if (Src.getReg() == MachineLocation::VirtualFP) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000100 JCE->emitByte(dwarf::DW_CFA_def_cfa_offset);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000101 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000102 JCE->emitByte(dwarf::DW_CFA_def_cfa);
103 JCE->emitULEB128Bytes(RI->getDwarfRegNum(Src.getReg(), true));
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000104 }
105
Bill Wendling9d48b552009-09-09 00:11:02 +0000106 JCE->emitULEB128Bytes(-Src.getOffset());
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000107 } else {
Bill Wendling9d48b552009-09-09 00:11:02 +0000108 llvm_unreachable("Machine move not supported yet.");
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000109 }
Daniel Dunbar489032a2008-10-03 17:11:57 +0000110 } else if (Src.isReg() &&
111 Src.getReg() == MachineLocation::VirtualFP) {
112 if (Dst.isReg()) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000113 JCE->emitByte(dwarf::DW_CFA_def_cfa_register);
114 JCE->emitULEB128Bytes(RI->getDwarfRegNum(Dst.getReg(), true));
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000115 } else {
Bill Wendling9d48b552009-09-09 00:11:02 +0000116 llvm_unreachable("Machine move not supported yet.");
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000117 }
118 } else {
Daniel Dunbar489032a2008-10-03 17:11:57 +0000119 unsigned Reg = RI->getDwarfRegNum(Src.getReg(), true);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000120 int Offset = Dst.getOffset() / stackGrowth;
121
122 if (Offset < 0) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000123 JCE->emitByte(dwarf::DW_CFA_offset_extended_sf);
124 JCE->emitULEB128Bytes(Reg);
125 JCE->emitSLEB128Bytes(Offset);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000126 } else if (Reg < 64) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000127 JCE->emitByte(dwarf::DW_CFA_offset + Reg);
128 JCE->emitULEB128Bytes(Offset);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000129 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000130 JCE->emitByte(dwarf::DW_CFA_offset_extended);
131 JCE->emitULEB128Bytes(Reg);
132 JCE->emitULEB128Bytes(Offset);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000133 }
134 }
135 }
136}
137
138/// SharedTypeIds - How many leading type ids two landing pads have in common.
139static unsigned SharedTypeIds(const LandingPadInfo *L,
140 const LandingPadInfo *R) {
141 const std::vector<int> &LIds = L->TypeIds, &RIds = R->TypeIds;
142 unsigned LSize = LIds.size(), RSize = RIds.size();
143 unsigned MinSize = LSize < RSize ? LSize : RSize;
144 unsigned Count = 0;
145
146 for (; Count != MinSize; ++Count)
147 if (LIds[Count] != RIds[Count])
148 return Count;
149
150 return Count;
151}
152
153
154/// PadLT - Order landing pads lexicographically by type id.
155static bool PadLT(const LandingPadInfo *L, const LandingPadInfo *R) {
156 const std::vector<int> &LIds = L->TypeIds, &RIds = R->TypeIds;
157 unsigned LSize = LIds.size(), RSize = RIds.size();
158 unsigned MinSize = LSize < RSize ? LSize : RSize;
159
160 for (unsigned i = 0; i != MinSize; ++i)
161 if (LIds[i] != RIds[i])
162 return LIds[i] < RIds[i];
163
164 return LSize < RSize;
165}
166
Dan Gohman844731a2008-05-13 00:00:25 +0000167namespace {
168
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000169/// ActionEntry - Structure describing an entry in the actions table.
170struct ActionEntry {
171 int ValueForTypeID; // The value to write - may not be equal to the type id.
172 int NextAction;
173 struct ActionEntry *Previous;
174};
175
176/// PadRange - Structure holding a try-range and the associated landing pad.
177struct PadRange {
178 // The index of the landing pad.
179 unsigned PadIndex;
180 // The index of the begin and end labels in the landing pad's label lists.
181 unsigned RangeIndex;
182};
183
Chris Lattner16112732010-03-14 01:41:15 +0000184typedef DenseMap<MCSymbol*, PadRange> RangeMapType;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000185
186/// CallSiteEntry - Structure describing an entry in the call-site table.
187struct CallSiteEntry {
Chris Lattner16112732010-03-14 01:41:15 +0000188 MCSymbol *BeginLabel; // zero indicates the start of the function.
189 MCSymbol *EndLabel; // zero indicates the end of the function.
190 MCSymbol *PadLabel; // zero indicates that there is no landing pad.
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000191 unsigned Action;
192};
193
Dan Gohman844731a2008-05-13 00:00:25 +0000194}
195
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000196unsigned char* JITDwarfEmitter::EmitExceptionTable(MachineFunction* MF,
197 unsigned char* StartFunction,
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +0000198 unsigned char* EndFunction) const {
Daniel Dunbar003de662009-09-21 05:58:35 +0000199 assert(MMI && "MachineModuleInfo not registered!");
200
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000201 // Map all labels and get rid of any dead landing pads.
Bill Wendling47639fc2010-04-16 08:46:10 +0000202 MMI->TidyLandingPads(JCE->getLabelLocations());
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000203
Dan Gohman46510a72010-04-15 01:51:59 +0000204 const std::vector<const GlobalVariable *> &TypeInfos = MMI->getTypeInfos();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000205 const std::vector<unsigned> &FilterIds = MMI->getFilterIds();
206 const std::vector<LandingPadInfo> &PadInfos = MMI->getLandingPads();
207 if (PadInfos.empty()) return 0;
208
209 // Sort the landing pads in order of their type ids. This is used to fold
210 // duplicate actions.
211 SmallVector<const LandingPadInfo *, 64> LandingPads;
212 LandingPads.reserve(PadInfos.size());
213 for (unsigned i = 0, N = PadInfos.size(); i != N; ++i)
214 LandingPads.push_back(&PadInfos[i]);
215 std::sort(LandingPads.begin(), LandingPads.end(), PadLT);
216
217 // Negative type ids index into FilterIds, positive type ids index into
218 // TypeInfos. The value written for a positive type id is just the type
219 // id itself. For a negative type id, however, the value written is the
220 // (negative) byte offset of the corresponding FilterIds entry. The byte
221 // offset is usually equal to the type id, because the FilterIds entries
222 // are written using a variable width encoding which outputs one byte per
223 // entry as long as the value written is not too large, but can differ.
224 // This kind of complication does not occur for positive type ids because
225 // type infos are output using a fixed width encoding.
226 // FilterOffsets[i] holds the byte offset corresponding to FilterIds[i].
227 SmallVector<int, 16> FilterOffsets;
228 FilterOffsets.reserve(FilterIds.size());
229 int Offset = -1;
230 for(std::vector<unsigned>::const_iterator I = FilterIds.begin(),
231 E = FilterIds.end(); I != E; ++I) {
232 FilterOffsets.push_back(Offset);
Chris Lattneraf76e592009-08-22 20:48:53 +0000233 Offset -= MCAsmInfo::getULEB128Size(*I);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000234 }
235
236 // Compute the actions table and gather the first action index for each
237 // landing pad site.
238 SmallVector<ActionEntry, 32> Actions;
239 SmallVector<unsigned, 64> FirstActions;
240 FirstActions.reserve(LandingPads.size());
241
242 int FirstAction = 0;
243 unsigned SizeActions = 0;
244 for (unsigned i = 0, N = LandingPads.size(); i != N; ++i) {
245 const LandingPadInfo *LP = LandingPads[i];
246 const std::vector<int> &TypeIds = LP->TypeIds;
247 const unsigned NumShared = i ? SharedTypeIds(LP, LandingPads[i-1]) : 0;
248 unsigned SizeSiteActions = 0;
249
250 if (NumShared < TypeIds.size()) {
251 unsigned SizeAction = 0;
252 ActionEntry *PrevAction = 0;
253
254 if (NumShared) {
255 const unsigned SizePrevIds = LandingPads[i-1]->TypeIds.size();
256 assert(Actions.size());
257 PrevAction = &Actions.back();
Chris Lattneraf76e592009-08-22 20:48:53 +0000258 SizeAction = MCAsmInfo::getSLEB128Size(PrevAction->NextAction) +
259 MCAsmInfo::getSLEB128Size(PrevAction->ValueForTypeID);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000260 for (unsigned j = NumShared; j != SizePrevIds; ++j) {
Chris Lattneraf76e592009-08-22 20:48:53 +0000261 SizeAction -= MCAsmInfo::getSLEB128Size(PrevAction->ValueForTypeID);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000262 SizeAction += -PrevAction->NextAction;
263 PrevAction = PrevAction->Previous;
264 }
265 }
266
267 // Compute the actions.
268 for (unsigned I = NumShared, M = TypeIds.size(); I != M; ++I) {
269 int TypeID = TypeIds[I];
270 assert(-1-TypeID < (int)FilterOffsets.size() && "Unknown filter id!");
271 int ValueForTypeID = TypeID < 0 ? FilterOffsets[-1 - TypeID] : TypeID;
Chris Lattneraf76e592009-08-22 20:48:53 +0000272 unsigned SizeTypeID = MCAsmInfo::getSLEB128Size(ValueForTypeID);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000273
274 int NextAction = SizeAction ? -(SizeAction + SizeTypeID) : 0;
Chris Lattneraf76e592009-08-22 20:48:53 +0000275 SizeAction = SizeTypeID + MCAsmInfo::getSLEB128Size(NextAction);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000276 SizeSiteActions += SizeAction;
277
278 ActionEntry Action = {ValueForTypeID, NextAction, PrevAction};
279 Actions.push_back(Action);
280
281 PrevAction = &Actions.back();
282 }
283
284 // Record the first action of the landing pad site.
285 FirstAction = SizeActions + SizeSiteActions - SizeAction + 1;
286 } // else identical - re-use previous FirstAction
287
288 FirstActions.push_back(FirstAction);
289
290 // Compute this sites contribution to size.
291 SizeActions += SizeSiteActions;
292 }
293
294 // Compute the call-site table. Entries must be ordered by address.
295 SmallVector<CallSiteEntry, 64> CallSites;
296
297 RangeMapType PadMap;
298 for (unsigned i = 0, N = LandingPads.size(); i != N; ++i) {
299 const LandingPadInfo *LandingPad = LandingPads[i];
300 for (unsigned j=0, E = LandingPad->BeginLabels.size(); j != E; ++j) {
Chris Lattner16112732010-03-14 01:41:15 +0000301 MCSymbol *BeginLabel = LandingPad->BeginLabels[j];
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000302 assert(!PadMap.count(BeginLabel) && "Duplicate landing pad labels!");
303 PadRange P = { i, j };
304 PadMap[BeginLabel] = P;
305 }
306 }
307
308 bool MayThrow = false;
Chris Lattner16112732010-03-14 01:41:15 +0000309 MCSymbol *LastLabel = 0;
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000310 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
311 I != E; ++I) {
312 for (MachineBasicBlock::const_iterator MI = I->begin(), E = I->end();
313 MI != E; ++MI) {
Dan Gohman44066042008-07-01 00:05:16 +0000314 if (!MI->isLabel()) {
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000315 MayThrow |= MI->getDesc().isCall();
316 continue;
317 }
318
Chris Lattner6b4205a2010-03-14 08:28:48 +0000319 MCSymbol *BeginLabel = MI->getOperand(0).getMCSymbol();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000320 assert(BeginLabel && "Invalid label!");
321
322 if (BeginLabel == LastLabel)
323 MayThrow = false;
324
325 RangeMapType::iterator L = PadMap.find(BeginLabel);
326
327 if (L == PadMap.end())
328 continue;
329
330 PadRange P = L->second;
331 const LandingPadInfo *LandingPad = LandingPads[P.PadIndex];
332
333 assert(BeginLabel == LandingPad->BeginLabels[P.RangeIndex] &&
334 "Inconsistent landing pad map!");
335
336 // If some instruction between the previous try-range and this one may
337 // throw, create a call-site entry with no landing pad for the region
338 // between the try-ranges.
339 if (MayThrow) {
340 CallSiteEntry Site = {LastLabel, BeginLabel, 0, 0};
341 CallSites.push_back(Site);
342 }
343
344 LastLabel = LandingPad->EndLabels[P.RangeIndex];
345 CallSiteEntry Site = {BeginLabel, LastLabel,
346 LandingPad->LandingPadLabel, FirstActions[P.PadIndex]};
347
348 assert(Site.BeginLabel && Site.EndLabel && Site.PadLabel &&
349 "Invalid landing pad!");
350
351 // Try to merge with the previous call-site.
352 if (CallSites.size()) {
Dan Gohman719de532008-06-21 22:00:54 +0000353 CallSiteEntry &Prev = CallSites.back();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000354 if (Site.PadLabel == Prev.PadLabel && Site.Action == Prev.Action) {
355 // Extend the range of the previous entry.
356 Prev.EndLabel = Site.EndLabel;
357 continue;
358 }
359 }
360
361 // Otherwise, create a new call-site.
362 CallSites.push_back(Site);
363 }
364 }
365 // If some instruction between the previous try-range and the end of the
366 // function may throw, create a call-site entry with no landing pad for the
367 // region following the try-range.
368 if (MayThrow) {
369 CallSiteEntry Site = {LastLabel, 0, 0, 0};
370 CallSites.push_back(Site);
371 }
372
373 // Final tallies.
374 unsigned SizeSites = CallSites.size() * (sizeof(int32_t) + // Site start.
375 sizeof(int32_t) + // Site length.
376 sizeof(int32_t)); // Landing pad.
377 for (unsigned i = 0, e = CallSites.size(); i < e; ++i)
Chris Lattneraf76e592009-08-22 20:48:53 +0000378 SizeSites += MCAsmInfo::getULEB128Size(CallSites[i].Action);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000379
380 unsigned SizeTypes = TypeInfos.size() * TD->getPointerSize();
381
382 unsigned TypeOffset = sizeof(int8_t) + // Call site format
383 // Call-site table length
Chris Lattneraf76e592009-08-22 20:48:53 +0000384 MCAsmInfo::getULEB128Size(SizeSites) +
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000385 SizeSites + SizeActions + SizeTypes;
386
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000387 // Begin the exception table.
Reid Kleckner01248e62009-08-21 21:03:57 +0000388 JCE->emitAlignmentWithFill(4, 0);
389 // Asm->EOL("Padding");
390
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000391 unsigned char* DwarfExceptionTable = (unsigned char*)JCE->getCurrentPCValue();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000392
393 // Emit the header.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000394 JCE->emitByte(dwarf::DW_EH_PE_omit);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000395 // Asm->EOL("LPStart format (DW_EH_PE_omit)");
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000396 JCE->emitByte(dwarf::DW_EH_PE_absptr);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000397 // Asm->EOL("TType format (DW_EH_PE_absptr)");
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000398 JCE->emitULEB128Bytes(TypeOffset);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000399 // Asm->EOL("TType base offset");
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000400 JCE->emitByte(dwarf::DW_EH_PE_udata4);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000401 // Asm->EOL("Call site format (DW_EH_PE_udata4)");
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000402 JCE->emitULEB128Bytes(SizeSites);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000403 // Asm->EOL("Call-site table length");
404
405 // Emit the landing pad site information.
406 for (unsigned i = 0; i < CallSites.size(); ++i) {
407 CallSiteEntry &S = CallSites[i];
408 intptr_t BeginLabelPtr = 0;
409 intptr_t EndLabelPtr = 0;
410
411 if (!S.BeginLabel) {
412 BeginLabelPtr = (intptr_t)StartFunction;
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000413 JCE->emitInt32(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000414 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000415 BeginLabelPtr = JCE->getLabelAddress(S.BeginLabel);
416 JCE->emitInt32(BeginLabelPtr - (intptr_t)StartFunction);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000417 }
418
419 // Asm->EOL("Region start");
420
Bill Wendlingabeca442009-12-28 01:53:00 +0000421 if (!S.EndLabel)
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000422 EndLabelPtr = (intptr_t)EndFunction;
Bill Wendlingabeca442009-12-28 01:53:00 +0000423 else
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000424 EndLabelPtr = JCE->getLabelAddress(S.EndLabel);
Bill Wendlingabeca442009-12-28 01:53:00 +0000425
426 JCE->emitInt32(EndLabelPtr - BeginLabelPtr);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000427 //Asm->EOL("Region length");
428
429 if (!S.PadLabel) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000430 JCE->emitInt32(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000431 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000432 unsigned PadLabelPtr = JCE->getLabelAddress(S.PadLabel);
433 JCE->emitInt32(PadLabelPtr - (intptr_t)StartFunction);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000434 }
435 // Asm->EOL("Landing pad");
436
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000437 JCE->emitULEB128Bytes(S.Action);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000438 // Asm->EOL("Action");
439 }
440
441 // Emit the actions.
442 for (unsigned I = 0, N = Actions.size(); I != N; ++I) {
443 ActionEntry &Action = Actions[I];
444
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000445 JCE->emitSLEB128Bytes(Action.ValueForTypeID);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000446 //Asm->EOL("TypeInfo index");
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000447 JCE->emitSLEB128Bytes(Action.NextAction);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000448 //Asm->EOL("Next action");
449 }
450
451 // Emit the type ids.
452 for (unsigned M = TypeInfos.size(); M; --M) {
Dan Gohman46510a72010-04-15 01:51:59 +0000453 const GlobalVariable *GV = TypeInfos[M - 1];
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000454
455 if (GV) {
Bill Wendling9d48b552009-09-09 00:11:02 +0000456 if (TD->getPointerSize() == sizeof(int32_t))
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000457 JCE->emitInt32((intptr_t)Jit.getOrEmitGlobalVariable(GV));
Bill Wendling9d48b552009-09-09 00:11:02 +0000458 else
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000459 JCE->emitInt64((intptr_t)Jit.getOrEmitGlobalVariable(GV));
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000460 } else {
461 if (TD->getPointerSize() == sizeof(int32_t))
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000462 JCE->emitInt32(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000463 else
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000464 JCE->emitInt64(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000465 }
466 // Asm->EOL("TypeInfo");
467 }
468
469 // Emit the filter typeids.
470 for (unsigned j = 0, M = FilterIds.size(); j < M; ++j) {
471 unsigned TypeID = FilterIds[j];
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000472 JCE->emitULEB128Bytes(TypeID);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000473 //Asm->EOL("Filter TypeInfo index");
474 }
Reid Kleckner01248e62009-08-21 21:03:57 +0000475
476 JCE->emitAlignmentWithFill(4, 0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000477
478 return DwarfExceptionTable;
479}
480
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +0000481unsigned char*
482JITDwarfEmitter::EmitCommonEHFrame(const Function* Personality) const {
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000483 unsigned PointerSize = TD->getPointerSize();
484 int stackGrowth = stackGrowthDirection == TargetFrameInfo::StackGrowsUp ?
485 PointerSize : -PointerSize;
486
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000487 unsigned char* StartCommonPtr = (unsigned char*)JCE->getCurrentPCValue();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000488 // EH Common Frame header
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000489 JCE->allocateSpace(4, 0);
490 unsigned char* FrameCommonBeginPtr = (unsigned char*)JCE->getCurrentPCValue();
491 JCE->emitInt32((int)0);
492 JCE->emitByte(dwarf::DW_CIE_VERSION);
493 JCE->emitString(Personality ? "zPLR" : "zR");
494 JCE->emitULEB128Bytes(1);
495 JCE->emitSLEB128Bytes(stackGrowth);
496 JCE->emitByte(RI->getDwarfRegNum(RI->getRARegister(), true));
Bill Wendling9d48b552009-09-09 00:11:02 +0000497
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000498 if (Personality) {
Nicolas Geoffray42cc8f12009-02-15 20:49:23 +0000499 // Augmentation Size: 3 small ULEBs of one byte each, and the personality
500 // function which size is PointerSize.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000501 JCE->emitULEB128Bytes(3 + PointerSize);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000502
Nicolas Geoffray42cc8f12009-02-15 20:49:23 +0000503 // We set the encoding of the personality as direct encoding because we use
504 // the function pointer. The encoding is not relative because the current
505 // PC value may be bigger than the personality function pointer.
506 if (PointerSize == 4) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000507 JCE->emitByte(dwarf::DW_EH_PE_sdata4);
508 JCE->emitInt32(((intptr_t)Jit.getPointerToGlobal(Personality)));
Nicolas Geoffray42cc8f12009-02-15 20:49:23 +0000509 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000510 JCE->emitByte(dwarf::DW_EH_PE_sdata8);
511 JCE->emitInt64(((intptr_t)Jit.getPointerToGlobal(Personality)));
Nicolas Geoffray42cc8f12009-02-15 20:49:23 +0000512 }
Bill Wendling9d48b552009-09-09 00:11:02 +0000513
Bill Wendling89ee7062010-02-16 00:58:02 +0000514 // LSDA encoding: This must match the encoding used in EmitEHFrame ()
515 if (PointerSize == 4)
516 JCE->emitULEB128Bytes(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4);
517 else
518 JCE->emitULEB128Bytes(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8);
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000519 JCE->emitULEB128Bytes(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000520 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000521 JCE->emitULEB128Bytes(1);
522 JCE->emitULEB128Bytes(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000523 }
524
525 std::vector<MachineMove> Moves;
526 RI->getInitialFrameState(Moves);
527 EmitFrameMoves(0, Moves);
Reid Kleckner01248e62009-08-21 21:03:57 +0000528
529 JCE->emitAlignmentWithFill(PointerSize, dwarf::DW_CFA_nop);
530
531 JCE->emitInt32At((uintptr_t*)StartCommonPtr,
532 (uintptr_t)((unsigned char*)JCE->getCurrentPCValue() -
533 FrameCommonBeginPtr));
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000534
535 return StartCommonPtr;
536}
537
538
Nicolas Geoffray5913e6c2008-04-20 17:44:19 +0000539unsigned char*
540JITDwarfEmitter::EmitEHFrame(const Function* Personality,
541 unsigned char* StartCommonPtr,
542 unsigned char* StartFunction,
543 unsigned char* EndFunction,
544 unsigned char* ExceptionTable) const {
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000545 unsigned PointerSize = TD->getPointerSize();
546
547 // EH frame header.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000548 unsigned char* StartEHPtr = (unsigned char*)JCE->getCurrentPCValue();
549 JCE->allocateSpace(4, 0);
550 unsigned char* FrameBeginPtr = (unsigned char*)JCE->getCurrentPCValue();
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000551 // FDE CIE Offset
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000552 JCE->emitInt32(FrameBeginPtr - StartCommonPtr);
553 JCE->emitInt32(StartFunction - (unsigned char*)JCE->getCurrentPCValue());
554 JCE->emitInt32(EndFunction - StartFunction);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000555
556 // If there is a personality and landing pads then point to the language
557 // specific data area in the exception table.
Bill Wendling9d48b552009-09-09 00:11:02 +0000558 if (Personality) {
559 JCE->emitULEB128Bytes(PointerSize == 4 ? 4 : 8);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000560
Bill Wendling9d48b552009-09-09 00:11:02 +0000561 if (PointerSize == 4) {
562 if (!MMI->getLandingPads().empty())
563 JCE->emitInt32(ExceptionTable-(unsigned char*)JCE->getCurrentPCValue());
564 else
565 JCE->emitInt32((int)0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000566 } else {
Bill Wendling9d48b552009-09-09 00:11:02 +0000567 if (!MMI->getLandingPads().empty())
568 JCE->emitInt64(ExceptionTable-(unsigned char*)JCE->getCurrentPCValue());
569 else
570 JCE->emitInt64((int)0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000571 }
572 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000573 JCE->emitULEB128Bytes(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000574 }
575
576 // Indicate locations of function specific callee saved registers in
577 // frame.
578 EmitFrameMoves((intptr_t)StartFunction, MMI->getFrameMoves());
Reid Kleckner01248e62009-08-21 21:03:57 +0000579
580 JCE->emitAlignmentWithFill(PointerSize, dwarf::DW_CFA_nop);
581
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000582 // Indicate the size of the table
Reid Kleckner01248e62009-08-21 21:03:57 +0000583 JCE->emitInt32At((uintptr_t*)StartEHPtr,
584 (uintptr_t)((unsigned char*)JCE->getCurrentPCValue() -
585 StartEHPtr));
586
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000587 // Double zeroes for the unwind runtime
588 if (PointerSize == 8) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000589 JCE->emitInt64(0);
590 JCE->emitInt64(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000591 } else {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000592 JCE->emitInt32(0);
593 JCE->emitInt32(0);
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000594 }
Nicolas Geoffrayafe6c2b2008-02-13 18:39:37 +0000595
596 return StartEHPtr;
597}