blob: febb2d7cafc93819d1637f34745055ef29186132 [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//
5// This file was developed by Ted Kremenek and is distributed under the
6// University of Illinois Open Source License. See LICENSE.TXT for details.
7//
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
16using namespace llvm;
17
18Deserializer::Deserializer(BitstreamReader& stream)
19 : Stream(stream), RecIdx(0) {
20}
21
22Deserializer::~Deserializer() {
23 assert (RecIdx >= Record.size() &&
24 "Still scanning bitcode record when deserialization completed.");
Ted Kremenekfe2a0122007-10-25 00:10:21 +000025
26 BackpatchPointers();
27}
28
29
30bool Deserializer::inRecord() {
31 if (Record.size() > 0) {
32 if (RecIdx >= Record.size()) {
33 RecIdx = 0;
34 Record.clear();
35 return false;
36 }
37 else return true;
38 }
39 else return false;
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000040}
41
42void Deserializer::ReadRecord() {
43 // FIXME: Check if we haven't run off the edge of the stream.
44 // FIXME: Handle abbreviations.
Ted Kremenek6e9b4962007-10-24 19:06:40 +000045
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000046 // FIXME: Check for the correct code.
Ted Kremenek6e9b4962007-10-24 19:06:40 +000047 unsigned Code = Stream.ReadCode();
48
49 assert (Record.size() == 0);
50 Stream.ReadRecord(Code,Record);
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000051 assert (Record.size() > 0);
52}
53
Ted Kremenek6e9b4962007-10-24 19:06:40 +000054uint64_t Deserializer::ReadInt() {
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000055 // FIXME: Any error recovery/handling with incomplete or bad files?
56 if (!inRecord())
57 ReadRecord();
58
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000059 return Record[RecIdx++];
60}
61
Ted Kremenek6e9b4962007-10-24 19:06:40 +000062char* Deserializer::ReadCStr(char* cstr, unsigned MaxLen, bool isNullTerm) {
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000063 if (cstr == NULL)
64 MaxLen = 0; // Zero this just in case someone does something funny.
65
Ted Kremenek6e9b4962007-10-24 19:06:40 +000066 unsigned len = ReadInt();
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000067
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000068 assert (MaxLen == 0 || (len + (isNullTerm ? 1 : 0)) <= MaxLen);
69
70 if (!cstr)
71 cstr = new char[len + (isNullTerm ? 1 : 0)];
72
73 assert (cstr != NULL);
74
75 for (unsigned i = 0; i < len; ++i)
Ted Kremenek6e9b4962007-10-24 19:06:40 +000076 cstr[i] = (char) ReadInt();
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000077
78 if (isNullTerm)
79 cstr[len+1] = '\0';
80
81 return cstr;
82}
83
Ted Kremenek6e9b4962007-10-24 19:06:40 +000084void Deserializer::ReadCStr(std::vector<char>& buff, bool isNullTerm) {
85 unsigned len = ReadInt();
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000086
Ted Kremenek6e9b4962007-10-24 19:06:40 +000087 buff.clear();
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000088 buff.reserve(len);
89
90 for (unsigned i = 0; i < len; ++i)
Ted Kremenek6e9b4962007-10-24 19:06:40 +000091 buff.push_back((char) ReadInt());
Ted Kremenek0b2d7aa2007-10-23 21:29:33 +000092
93 if (isNullTerm)
94 buff.push_back('\0');
95}
Ted Kremenek6e9b4962007-10-24 19:06:40 +000096
Ted Kremenekfe2a0122007-10-25 00:10:21 +000097void Deserializer::RegisterPtr(unsigned PtrId,void* Ptr) {
98 BPatchEntry& E = BPatchMap[PtrId];
99 assert (E.Ptr == NULL && "Pointer already registered.");
100 E.Ptr = Ptr;
101}
102
103void Deserializer::ReadPtr(void*& PtrRef) {
104 unsigned PtrId = ReadInt();
105
106 BPatchEntry& E = BPatchMap[PtrId];
107
108 if (E.Ptr == NULL) {
109 // Register backpatch.
110 void* P = Allocator.Allocate<BPatchNode>();
111 E.Head = new (P) BPatchNode(E.Head,PtrRef);
112 }
113 else
114 PtrRef = E.Ptr;
115}
116
117void Deserializer::BackpatchPointers() {
118 for (MapTy::iterator I=BPatchMap.begin(),E=BPatchMap.end(); I!=E; ++I) {
119
120 BPatchEntry& E = I->second;
121 assert (E.Ptr && "No pointer found for backpatch.");
122
123 for (BPatchNode* N = E.Head; N != NULL; N = N->Next)
124 N->PtrRef = E.Ptr;
125
126 E.Head = NULL;
127 }
128
129 Allocator.Reset();
130}
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000131
132#define INT_READ(TYPE)\
133void SerializeTrait<TYPE>::Read(Deserializer& D, TYPE& X) {\
Ted Kremenekfe2a0122007-10-25 00:10:21 +0000134 X = (TYPE) D.ReadInt(); }\
135TYPE SerializeTrait<TYPE>::ReadVal(Deserializer& D) {\
136 return (TYPE) D.ReadInt(); }
Ted Kremenek6e9b4962007-10-24 19:06:40 +0000137
138INT_READ(bool)
139INT_READ(unsigned char)
140INT_READ(unsigned short)
141INT_READ(unsigned int)
142INT_READ(unsigned long)