blob: 113321fa26f28c1fe548c84cc3bc52caf0501673 [file] [log] [blame]
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +00001//==- Deserialize.cpp - Generic Object Serialization to Bitcode --*- C++ -*-==//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file defines the internal methods used for object serialization.
11//
12//===----------------------------------------------------------------------===//
13
Ted Kremenek6e9b4962007-10-24 19:06:40 +000014#include "llvm/Bitcode/Deserialize.h"
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000015
Ted Kremenek26e25b32007-11-06 19:49:16 +000016#ifdef DEBUG_BACKPATCH
17#include "llvm/Support/Streams.h"
18#endif
19
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000020using namespace llvm;
21
22Deserializer::Deserializer(BitstreamReader& stream)
Ted Kremenek48a39692007-11-09 00:43:51 +000023 : Stream(stream), RecIdx(0), FreeList(NULL), AbbrevNo(0), RecordCode(0) {
Ted Kremenekf64903b2007-11-30 22:45:05 +000024
25 StreamStart = Stream.GetCurrentBitNo();
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000026}
27
28Deserializer::~Deserializer() {
29 assert (RecIdx >= Record.size() &&
30 "Still scanning bitcode record when deserialization completed.");
Ted Kremenekadc9b9c2007-10-28 23:38:38 +000031
Ted Kremenek48a39692007-11-09 00:43:51 +000032#ifdef DEBUG_BACKPATCH
Ted Kremenekadc9b9c2007-10-28 23:38:38 +000033 for (MapTy::iterator I=BPatchMap.begin(), E=BPatchMap.end(); I!=E; ++I)
Ted Kremenek066ff5b2007-11-01 00:57:37 +000034 assert (I->first.hasFinalPtr() &&
Ted Kremenekadc9b9c2007-10-28 23:38:38 +000035 "Some pointers were not backpatched.");
36#endif
Ted Kremenekfe2a0122007-10-25 00:10:21 +000037}
38
39
40bool Deserializer::inRecord() {
41 if (Record.size() > 0) {
42 if (RecIdx >= Record.size()) {
43 RecIdx = 0;
44 Record.clear();
Ted Kremenek48a39692007-11-09 00:43:51 +000045 AbbrevNo = 0;
Ted Kremenekfe2a0122007-10-25 00:10:21 +000046 return false;
47 }
Ted Kremenek48a39692007-11-09 00:43:51 +000048 else
49 return true;
Ted Kremenekfe2a0122007-10-25 00:10:21 +000050 }
Ted Kremenek48a39692007-11-09 00:43:51 +000051
52 return false;
53}
54
55bool Deserializer::AdvanceStream() {
56 assert (!inRecord() &&
57 "Cannot advance stream. Still processing a record.");
58
59 if (AbbrevNo == bitc::ENTER_SUBBLOCK ||
60 AbbrevNo >= bitc::UNABBREV_RECORD)
61 return true;
62
63 while (!Stream.AtEndOfStream()) {
64
Ted Kremenek1a8a08a2007-11-10 02:02:34 +000065 uint64_t Pos = Stream.GetCurrentBitNo();
Ted Kremenek48a39692007-11-09 00:43:51 +000066 AbbrevNo = Stream.ReadCode();
67
68 switch (AbbrevNo) {
69 case bitc::ENTER_SUBBLOCK: {
70 unsigned id = Stream.ReadSubBlockID();
Ted Kremenek1a8a08a2007-11-10 02:02:34 +000071
72 // Determine the extent of the block. This is useful for jumping around
73 // the stream. This is hack: we read the header of the block, save
74 // the length, and then revert the bitstream to a location just before
75 // the block is entered.
76 uint64_t BPos = Stream.GetCurrentBitNo();
77 Stream.ReadVBR(bitc::CodeLenWidth); // Skip the code size.
78 Stream.SkipToWord();
79 unsigned NumWords = Stream.Read(bitc::BlockSizeWidth);
80 Stream.JumpToBit(BPos);
81
82 BlockStack.push_back(Location(Pos,id,NumWords));
Ted Kremenek48a39692007-11-09 00:43:51 +000083 break;
84 }
85
86 case bitc::END_BLOCK: {
87 bool x = Stream.ReadBlockEnd();
88 assert (!x && "Error at block end.");
89 BlockStack.pop_back();
90 continue;
91 }
92
93 case bitc::DEFINE_ABBREV:
94 Stream.ReadAbbrevRecord();
95 continue;
96
97 default:
98 break;
99 }
100
101 return true;
102 }
103
104 return false;
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000105}
106
107void Deserializer::ReadRecord() {
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000108
Ted Kremenek48a39692007-11-09 00:43:51 +0000109 while (AdvanceStream() && AbbrevNo == bitc::ENTER_SUBBLOCK) {
110 assert (!BlockStack.empty());
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000111 Stream.EnterSubBlock(BlockStack.back().BlockID);
Ted Kremenek48a39692007-11-09 00:43:51 +0000112 AbbrevNo = 0;
Ted Kremenek14ac17e2007-11-05 20:47:27 +0000113 }
Ted Kremenek48a39692007-11-09 00:43:51 +0000114
115 if (Stream.AtEndOfStream())
116 return;
Ted Kremenek14ac17e2007-11-05 20:47:27 +0000117
Dan Gohman30359592008-01-29 13:02:09 +0000118 assert (Record.empty());
Ted Kremenek48a39692007-11-09 00:43:51 +0000119 assert (AbbrevNo >= bitc::UNABBREV_RECORD);
120 RecordCode = Stream.ReadRecord(AbbrevNo,Record);
121 assert (Record.size() > 0);
Ted Kremenek0a6d98e2007-11-05 21:36:35 +0000122}
123
Ted Kremenek48a39692007-11-09 00:43:51 +0000124void Deserializer::SkipBlock() {
125 assert (!inRecord());
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000126
127 if (AtEnd())
128 return;
129
130 AdvanceStream();
131
132 assert (AbbrevNo == bitc::ENTER_SUBBLOCK);
133 BlockStack.pop_back();
Ted Kremenek48a39692007-11-09 00:43:51 +0000134 Stream.SkipBlock();
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000135
Ted Kremenek48a39692007-11-09 00:43:51 +0000136 AbbrevNo = 0;
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000137 AdvanceStream();
138}
139
140bool Deserializer::SkipToBlock(unsigned BlockID) {
141 assert (!inRecord());
142
143 AdvanceStream();
144 assert (AbbrevNo == bitc::ENTER_SUBBLOCK);
145
146 unsigned BlockLevel = BlockStack.size();
147
148 while (!AtEnd() &&
149 BlockLevel == BlockStack.size() &&
150 getCurrentBlockID() != BlockID)
151 SkipBlock();
152
153 return !(AtEnd() || BlockLevel != BlockStack.size());
Ted Kremenek48a39692007-11-09 00:43:51 +0000154}
155
156Deserializer::Location Deserializer::getCurrentBlockLocation() {
Ted Kremenekec8cd062007-11-08 19:50:46 +0000157 if (!inRecord())
Ted Kremenek48a39692007-11-09 00:43:51 +0000158 AdvanceStream();
Ted Kremenekec8cd062007-11-08 19:50:46 +0000159
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000160 return BlockStack.back();
161}
162
163bool Deserializer::JumpTo(const Location& Loc) {
164
165 assert (!inRecord());
166
Ted Kremenekf64903b2007-11-30 22:45:05 +0000167 AdvanceStream();
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000168
Ted Kremenek233b60e2007-11-14 17:42:09 +0000169 assert (!BlockStack.empty() || AtEnd());
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000170
Ted Kremenekf64903b2007-11-30 22:45:05 +0000171 uint64_t LastBPos = StreamStart;
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000172
173 while (!BlockStack.empty()) {
174
175 LastBPos = BlockStack.back().BitNo;
176
177 // Determine of the current block contains the location of the block
178 // we are looking for.
179 if (BlockStack.back().contains(Loc)) {
180 // We found the enclosing block. We must first POP it off to
181 // destroy any accumulated context within the block scope. We then
182 // jump to the position of the block and enter it.
183 Stream.JumpToBit(LastBPos);
Ted Kremenekf64903b2007-11-30 22:45:05 +0000184
185 if (BlockStack.size() == Stream.BlockScope.size())
186 Stream.PopBlockScope();
187
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000188 BlockStack.pop_back();
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000189
190 AbbrevNo = 0;
191 AdvanceStream();
192 assert (AbbrevNo == bitc::ENTER_SUBBLOCK);
193
194 Stream.EnterSubBlock(BlockStack.back().BlockID);
195 break;
196 }
197
198 // This block does not contain the block we are looking for. Pop it.
Ted Kremenekf64903b2007-11-30 22:45:05 +0000199 if (BlockStack.size() == Stream.BlockScope.size())
200 Stream.PopBlockScope();
201
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000202 BlockStack.pop_back();
Ted Kremenekf64903b2007-11-30 22:45:05 +0000203
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000204 }
205
206 // Check if we have popped our way to the outermost scope. If so,
207 // we need to adjust our position.
208 if (BlockStack.empty()) {
Ted Kremenekf64903b2007-11-30 22:45:05 +0000209 assert (Stream.BlockScope.empty());
210
211 Stream.JumpToBit(Loc.BitNo < LastBPos ? StreamStart : LastBPos);
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000212 AbbrevNo = 0;
213 AdvanceStream();
214 }
215
216 assert (AbbrevNo == bitc::ENTER_SUBBLOCK);
217 assert (!BlockStack.empty());
218
219 while (!AtEnd() && BlockStack.back() != Loc) {
220 if (BlockStack.back().contains(Loc)) {
221 Stream.EnterSubBlock(BlockStack.back().BlockID);
222 AbbrevNo = 0;
223 AdvanceStream();
224 continue;
225 }
226 else
227 SkipBlock();
228 }
229
230 if (AtEnd())
231 return false;
232
233 assert (BlockStack.back() == Loc);
234
235 return true;
Ted Kremenek48a39692007-11-09 00:43:51 +0000236}
237
Ted Kremenekf64903b2007-11-30 22:45:05 +0000238void Deserializer::Rewind() {
239 while (!Stream.BlockScope.empty())
240 Stream.PopBlockScope();
241
242 while (!BlockStack.empty())
243 BlockStack.pop_back();
244
245 Stream.JumpToBit(StreamStart);
246 AbbrevNo = 0;
247}
248
249
Ted Kremenek48a39692007-11-09 00:43:51 +0000250unsigned Deserializer::getCurrentBlockID() {
251 if (!inRecord())
252 AdvanceStream();
253
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000254 return BlockStack.back().BlockID;
Ted Kremenek48a39692007-11-09 00:43:51 +0000255}
256
257unsigned Deserializer::getRecordCode() {
258 if (!inRecord()) {
259 AdvanceStream();
260 assert (AbbrevNo >= bitc::UNABBREV_RECORD);
261 ReadRecord();
262 }
263
264 return RecordCode;
Ted Kremenekec8cd062007-11-08 19:50:46 +0000265}
266
267bool Deserializer::FinishedBlock(Location BlockLoc) {
268 if (!inRecord())
Ted Kremenek48a39692007-11-09 00:43:51 +0000269 AdvanceStream();
270
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000271 for (llvm::SmallVector<Location,8>::reverse_iterator
Ted Kremenek48a39692007-11-09 00:43:51 +0000272 I=BlockStack.rbegin(), E=BlockStack.rend(); I!=E; ++I)
Ted Kremenek1a8a08a2007-11-10 02:02:34 +0000273 if (*I == BlockLoc)
Ted Kremenek48a39692007-11-09 00:43:51 +0000274 return false;
Ted Kremenekec8cd062007-11-08 19:50:46 +0000275
276 return true;
277}
278
Ted Kremenek48a39692007-11-09 00:43:51 +0000279unsigned Deserializer::getAbbrevNo() {
280 if (!inRecord())
281 AdvanceStream();
282
283 return AbbrevNo;
284}
285
Ted Kremenek0a6d98e2007-11-05 21:36:35 +0000286bool Deserializer::AtEnd() {
287 if (inRecord())
288 return false;
289
Ted Kremenek48a39692007-11-09 00:43:51 +0000290 if (!AdvanceStream())
291 return true;
Ted Kremenek0a6d98e2007-11-05 21:36:35 +0000292
Ted Kremenek48a39692007-11-09 00:43:51 +0000293 return false;
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000294}
295
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000296uint64_t Deserializer::ReadInt() {
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000297 // FIXME: Any error recovery/handling with incomplete or bad files?
298 if (!inRecord())
299 ReadRecord();
300
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000301 return Record[RecIdx++];
302}
303
Ted Kremenek2e6452c2007-11-07 18:24:34 +0000304int64_t Deserializer::ReadSInt() {
305 uint64_t x = ReadInt();
306 int64_t magnitude = x >> 1;
307 return x & 0x1 ? -magnitude : magnitude;
308}
309
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000310char* Deserializer::ReadCStr(char* cstr, unsigned MaxLen, bool isNullTerm) {
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000311 if (cstr == NULL)
312 MaxLen = 0; // Zero this just in case someone does something funny.
313
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000314 unsigned len = ReadInt();
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000315
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000316 assert (MaxLen == 0 || (len + (isNullTerm ? 1 : 0)) <= MaxLen);
317
318 if (!cstr)
319 cstr = new char[len + (isNullTerm ? 1 : 0)];
320
321 assert (cstr != NULL);
322
323 for (unsigned i = 0; i < len; ++i)
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000324 cstr[i] = (char) ReadInt();
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000325
326 if (isNullTerm)
Ted Kremenek57daefa2008-02-23 01:11:40 +0000327 cstr[len] = '\0';
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000328
329 return cstr;
330}
331
Ted Kremenek8f559ef2007-12-17 22:25:12 +0000332void Deserializer::ReadCStr(std::vector<char>& buff, bool isNullTerm,
333 unsigned Idx) {
334
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000335 unsigned len = ReadInt();
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000336
Ted Kremenek8f559ef2007-12-17 22:25:12 +0000337 // If Idx is beyond the current before size, reduce Idx to refer to the
338 // element after the last element.
339 if (Idx > buff.size())
340 Idx = buff.size();
341
342 buff.reserve(len+Idx);
343 buff.resize(Idx);
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000344
345 for (unsigned i = 0; i < len; ++i)
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000346 buff.push_back((char) ReadInt());
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +0000347
348 if (isNullTerm)
349 buff.push_back('\0');
350}
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000351
Ted Kremenek62724da2007-11-12 19:11:15 +0000352void Deserializer::RegisterPtr(const SerializedPtrID& PtrId,
353 const void* Ptr) {
354
Ted Kremenek066ff5b2007-11-01 00:57:37 +0000355 MapTy::value_type& E = BPatchMap.FindAndConstruct(BPKey(PtrId));
356
357 assert (!HasFinalPtr(E) && "Pointer already registered.");
358
Ted Kremenek26e25b32007-11-06 19:49:16 +0000359#ifdef DEBUG_BACKPATCH
360 llvm::cerr << "RegisterPtr: " << PtrId << " => " << Ptr << "\n";
361#endif
362
Ted Kremenek066ff5b2007-11-01 00:57:37 +0000363 SetPtr(E,Ptr);
Ted Kremenekfe2a0122007-10-25 00:10:21 +0000364}
365
Ted Kremenek62724da2007-11-12 19:11:15 +0000366void Deserializer::ReadUIntPtr(uintptr_t& PtrRef,
367 const SerializedPtrID& PtrId,
368 bool AllowBackpatch) {
Ted Kremenek2423e032007-10-25 18:42:52 +0000369 if (PtrId == 0) {
Ted Kremenek8308a482007-10-29 18:43:39 +0000370 PtrRef = 0;
Ted Kremenek2423e032007-10-25 18:42:52 +0000371 return;
Ted Kremenek26e25b32007-11-06 19:49:16 +0000372 }
373
Ted Kremenek066ff5b2007-11-01 00:57:37 +0000374 MapTy::value_type& E = BPatchMap.FindAndConstruct(BPKey(PtrId));
Ted Kremenek2423e032007-10-25 18:42:52 +0000375
Ted Kremenek38afd9e2007-11-14 08:05:03 +0000376 if (HasFinalPtr(E)) {
Ted Kremenek066ff5b2007-11-01 00:57:37 +0000377 PtrRef = GetFinalPtr(E);
Ted Kremenek38afd9e2007-11-14 08:05:03 +0000378
379#ifdef DEBUG_BACKPATCH
380 llvm::cerr << "ReadUintPtr: " << PtrId
381 << " <-- " << (void*) GetFinalPtr(E) << '\n';
382#endif
383 }
Ted Kremenek5973ef42007-10-28 21:17:59 +0000384 else {
Ted Kremenekb12a82d2007-11-06 22:21:14 +0000385 assert (AllowBackpatch &&
386 "Client forbids backpatching for this pointer.");
387
Ted Kremenek38afd9e2007-11-14 08:05:03 +0000388#ifdef DEBUG_BACKPATCH
389 llvm::cerr << "ReadUintPtr: " << PtrId << " (NO PTR YET)\n";
390#endif
391
Ted Kremenek5973ef42007-10-28 21:17:59 +0000392 // Register backpatch. Check the freelist for a BPNode.
393 BPNode* N;
394
395 if (FreeList) {
396 N = FreeList;
397 FreeList = FreeList->Next;
398 }
399 else // No available BPNode. Allocate one.
400 N = (BPNode*) Allocator.Allocate<BPNode>();
401
Ted Kremenek066ff5b2007-11-01 00:57:37 +0000402 new (N) BPNode(GetBPNode(E),PtrRef);
403 SetBPNode(E,N);
Ted Kremenekfe2a0122007-10-25 00:10:21 +0000404 }
Ted Kremenekfe2a0122007-10-25 00:10:21 +0000405}
406
Ted Kremenekeb9409d2007-10-31 19:58:32 +0000407uintptr_t Deserializer::ReadInternalRefPtr() {
Ted Kremenekec8cd062007-11-08 19:50:46 +0000408 SerializedPtrID PtrId = ReadPtrID();
Ted Kremenekeb9409d2007-10-31 19:58:32 +0000409
410 assert (PtrId != 0 && "References cannot refer the NULL address.");
411
Ted Kremenek066ff5b2007-11-01 00:57:37 +0000412 MapTy::value_type& E = BPatchMap.FindAndConstruct(BPKey(PtrId));
Ted Kremenekeb9409d2007-10-31 19:58:32 +0000413
Ted Kremenek14ac17e2007-11-05 20:47:27 +0000414 assert (HasFinalPtr(E) &&
Ted Kremenekeb9409d2007-10-31 19:58:32 +0000415 "Cannot backpatch references. Object must be already deserialized.");
416
Ted Kremenek066ff5b2007-11-01 00:57:37 +0000417 return GetFinalPtr(E);
Ted Kremenekeb9409d2007-10-31 19:58:32 +0000418}
Ted Kremenek5973ef42007-10-28 21:17:59 +0000419
Ted Kremenek066ff5b2007-11-01 00:57:37 +0000420void Deserializer::BPEntry::SetPtr(BPNode*& FreeList, void* P) {
Ted Kremenek5973ef42007-10-28 21:17:59 +0000421 BPNode* Last = NULL;
422
Ted Kremenek066ff5b2007-11-01 00:57:37 +0000423 for (BPNode* N = Head; N != NULL; N=N->Next) {
Ted Kremenek5973ef42007-10-28 21:17:59 +0000424 Last = N;
425 N->PtrRef |= reinterpret_cast<uintptr_t>(P);
Ted Kremenekfe2a0122007-10-25 00:10:21 +0000426 }
427
Ted Kremenek5973ef42007-10-28 21:17:59 +0000428 if (Last) {
429 Last->Next = FreeList;
Ted Kremenek066ff5b2007-11-01 00:57:37 +0000430 FreeList = Head;
Ted Kremenek5973ef42007-10-28 21:17:59 +0000431 }
432
Ted Kremenek066ff5b2007-11-01 00:57:37 +0000433 Ptr = const_cast<void*>(P);
Ted Kremenekfe2a0122007-10-25 00:10:21 +0000434}
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000435
Ted Kremenek5973ef42007-10-28 21:17:59 +0000436
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000437#define INT_READ(TYPE)\
438void SerializeTrait<TYPE>::Read(Deserializer& D, TYPE& X) {\
Ted Kremenekff37ccc2007-11-01 22:23:34 +0000439 X = (TYPE) D.ReadInt(); }
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000440
441INT_READ(bool)
442INT_READ(unsigned char)
443INT_READ(unsigned short)
444INT_READ(unsigned int)
445INT_READ(unsigned long)
Ted Kremenek2e6452c2007-11-07 18:24:34 +0000446
447#define SINT_READ(TYPE)\
448void SerializeTrait<TYPE>::Read(Deserializer& D, TYPE& X) {\
449 X = (TYPE) D.ReadSInt(); }
450
451INT_READ(signed char)
452INT_READ(signed short)
453INT_READ(signed int)
454INT_READ(signed long)