blob: a417c684dec4f9787fe5d2654720efc03294d986 [file] [log] [blame]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001//===- BitcodeReader.cpp - Internal BitcodeReader implementation ----------===//
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.
Chris Lattnercaee0dc2007-04-22 06:23:29 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This header defines the BitcodeReader class.
11//
12//===----------------------------------------------------------------------===//
13
Chris Lattnerc453f762007-04-29 07:54:31 +000014#include "llvm/Bitcode/ReaderWriter.h"
Chris Lattnercaee0dc2007-04-22 06:23:29 +000015#include "BitcodeReader.h"
Chris Lattnere16504e2007-04-24 03:30:34 +000016#include "llvm/Constants.h"
Chris Lattnercaee0dc2007-04-22 06:23:29 +000017#include "llvm/DerivedTypes.h"
Chris Lattner2bce93a2007-05-06 01:58:20 +000018#include "llvm/InlineAsm.h"
Devang Patele4b27562009-08-28 23:24:31 +000019#include "llvm/IntrinsicInst.h"
Chris Lattnercaee0dc2007-04-22 06:23:29 +000020#include "llvm/Module.h"
Dan Gohman1224c382009-07-20 21:19:07 +000021#include "llvm/Operator.h"
Chandler Carruth69940402007-08-04 01:51:18 +000022#include "llvm/AutoUpgrade.h"
Chris Lattner0b2482a2007-04-23 21:26:05 +000023#include "llvm/ADT/SmallString.h"
Devang Patelf4511cd2008-02-26 19:38:17 +000024#include "llvm/ADT/SmallVector.h"
Chris Lattner0eef0802007-04-24 04:04:35 +000025#include "llvm/Support/MathExtras.h"
Chris Lattnerc453f762007-04-29 07:54:31 +000026#include "llvm/Support/MemoryBuffer.h"
Gabor Greifefe65362008-05-10 08:32:32 +000027#include "llvm/OperandTraits.h"
Chris Lattnercaee0dc2007-04-22 06:23:29 +000028using namespace llvm;
29
Chris Lattnerb348bb82007-05-18 04:02:46 +000030void BitcodeReader::FreeState() {
Chris Lattnerc453f762007-04-29 07:54:31 +000031 delete Buffer;
Chris Lattnerb348bb82007-05-18 04:02:46 +000032 Buffer = 0;
33 std::vector<PATypeHolder>().swap(TypeList);
34 ValueList.clear();
Devang Pateld5ac4042009-08-04 06:00:18 +000035 MDValueList.clear();
Daniel Dunbara279bc32009-09-20 02:20:51 +000036
Devang Patel19c87462008-09-26 22:53:05 +000037 std::vector<AttrListPtr>().swap(MAttributes);
Chris Lattnerb348bb82007-05-18 04:02:46 +000038 std::vector<BasicBlock*>().swap(FunctionBBs);
39 std::vector<Function*>().swap(FunctionsWithBodies);
40 DeferredFunctionInfo.clear();
Chris Lattnerc453f762007-04-29 07:54:31 +000041}
42
Chris Lattner48c85b82007-05-04 03:30:17 +000043//===----------------------------------------------------------------------===//
44// Helper functions to implement forward reference resolution, etc.
45//===----------------------------------------------------------------------===//
Chris Lattnerc453f762007-04-29 07:54:31 +000046
Chris Lattnercaee0dc2007-04-22 06:23:29 +000047/// ConvertToString - Convert a string from a record into an std::string, return
48/// true on failure.
Chris Lattner0b2482a2007-04-23 21:26:05 +000049template<typename StrTy>
Chris Lattnercaee0dc2007-04-22 06:23:29 +000050static bool ConvertToString(SmallVector<uint64_t, 64> &Record, unsigned Idx,
Chris Lattner0b2482a2007-04-23 21:26:05 +000051 StrTy &Result) {
Chris Lattner15e6d172007-05-04 19:11:41 +000052 if (Idx > Record.size())
Chris Lattnercaee0dc2007-04-22 06:23:29 +000053 return true;
Daniel Dunbara279bc32009-09-20 02:20:51 +000054
Chris Lattner15e6d172007-05-04 19:11:41 +000055 for (unsigned i = Idx, e = Record.size(); i != e; ++i)
56 Result += (char)Record[i];
Chris Lattnercaee0dc2007-04-22 06:23:29 +000057 return false;
58}
59
60static GlobalValue::LinkageTypes GetDecodedLinkage(unsigned Val) {
61 switch (Val) {
62 default: // Map unknown/new linkages to external
Bill Wendling3d10a5a2009-07-20 01:03:30 +000063 case 0: return GlobalValue::ExternalLinkage;
64 case 1: return GlobalValue::WeakAnyLinkage;
65 case 2: return GlobalValue::AppendingLinkage;
66 case 3: return GlobalValue::InternalLinkage;
67 case 4: return GlobalValue::LinkOnceAnyLinkage;
68 case 5: return GlobalValue::DLLImportLinkage;
69 case 6: return GlobalValue::DLLExportLinkage;
70 case 7: return GlobalValue::ExternalWeakLinkage;
71 case 8: return GlobalValue::CommonLinkage;
72 case 9: return GlobalValue::PrivateLinkage;
Duncan Sands667d4b82009-03-07 15:45:40 +000073 case 10: return GlobalValue::WeakODRLinkage;
74 case 11: return GlobalValue::LinkOnceODRLinkage;
Chris Lattner266c7bb2009-04-13 05:44:34 +000075 case 12: return GlobalValue::AvailableExternallyLinkage;
Bill Wendling3d10a5a2009-07-20 01:03:30 +000076 case 13: return GlobalValue::LinkerPrivateLinkage;
Chris Lattnercaee0dc2007-04-22 06:23:29 +000077 }
78}
79
80static GlobalValue::VisibilityTypes GetDecodedVisibility(unsigned Val) {
81 switch (Val) {
82 default: // Map unknown visibilities to default.
83 case 0: return GlobalValue::DefaultVisibility;
84 case 1: return GlobalValue::HiddenVisibility;
Anton Korobeynikov9cd3ccf2007-04-29 20:56:48 +000085 case 2: return GlobalValue::ProtectedVisibility;
Chris Lattnercaee0dc2007-04-22 06:23:29 +000086 }
87}
88
Chris Lattnerf581c3b2007-04-24 07:07:11 +000089static int GetDecodedCastOpcode(unsigned Val) {
90 switch (Val) {
91 default: return -1;
92 case bitc::CAST_TRUNC : return Instruction::Trunc;
93 case bitc::CAST_ZEXT : return Instruction::ZExt;
94 case bitc::CAST_SEXT : return Instruction::SExt;
95 case bitc::CAST_FPTOUI : return Instruction::FPToUI;
96 case bitc::CAST_FPTOSI : return Instruction::FPToSI;
97 case bitc::CAST_UITOFP : return Instruction::UIToFP;
98 case bitc::CAST_SITOFP : return Instruction::SIToFP;
99 case bitc::CAST_FPTRUNC : return Instruction::FPTrunc;
100 case bitc::CAST_FPEXT : return Instruction::FPExt;
101 case bitc::CAST_PTRTOINT: return Instruction::PtrToInt;
102 case bitc::CAST_INTTOPTR: return Instruction::IntToPtr;
103 case bitc::CAST_BITCAST : return Instruction::BitCast;
104 }
105}
106static int GetDecodedBinaryOpcode(unsigned Val, const Type *Ty) {
107 switch (Val) {
108 default: return -1;
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000109 case bitc::BINOP_ADD:
110 return Ty->isFPOrFPVector() ? Instruction::FAdd : Instruction::Add;
111 case bitc::BINOP_SUB:
112 return Ty->isFPOrFPVector() ? Instruction::FSub : Instruction::Sub;
113 case bitc::BINOP_MUL:
114 return Ty->isFPOrFPVector() ? Instruction::FMul : Instruction::Mul;
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000115 case bitc::BINOP_UDIV: return Instruction::UDiv;
116 case bitc::BINOP_SDIV:
117 return Ty->isFPOrFPVector() ? Instruction::FDiv : Instruction::SDiv;
118 case bitc::BINOP_UREM: return Instruction::URem;
119 case bitc::BINOP_SREM:
120 return Ty->isFPOrFPVector() ? Instruction::FRem : Instruction::SRem;
121 case bitc::BINOP_SHL: return Instruction::Shl;
122 case bitc::BINOP_LSHR: return Instruction::LShr;
123 case bitc::BINOP_ASHR: return Instruction::AShr;
124 case bitc::BINOP_AND: return Instruction::And;
125 case bitc::BINOP_OR: return Instruction::Or;
126 case bitc::BINOP_XOR: return Instruction::Xor;
127 }
128}
129
Gabor Greifefe65362008-05-10 08:32:32 +0000130namespace llvm {
Chris Lattner522b7b12007-04-24 05:48:56 +0000131namespace {
132 /// @brief A class for maintaining the slot number definition
133 /// as a placeholder for the actual definition for forward constants defs.
134 class ConstantPlaceHolder : public ConstantExpr {
135 ConstantPlaceHolder(); // DO NOT IMPLEMENT
136 void operator=(const ConstantPlaceHolder &); // DO NOT IMPLEMENT
Gabor Greif051a9502008-04-06 20:25:17 +0000137 public:
138 // allocate space for exactly one operand
139 void *operator new(size_t s) {
140 return User::operator new(s, 1);
141 }
Owen Anderson74a77812009-07-07 20:18:58 +0000142 explicit ConstantPlaceHolder(const Type *Ty, LLVMContext& Context)
Gabor Greifefe65362008-05-10 08:32:32 +0000143 : ConstantExpr(Ty, Instruction::UserOp1, &Op<0>(), 1) {
Owen Anderson1d0be152009-08-13 21:58:54 +0000144 Op<0>() = UndefValue::get(Type::getInt32Ty(Context));
Chris Lattner522b7b12007-04-24 05:48:56 +0000145 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000146
Chris Lattnerea693df2008-08-21 02:34:16 +0000147 /// @brief Methods to support type inquiry through isa, cast, and dyn_cast.
148 static inline bool classof(const ConstantPlaceHolder *) { return true; }
149 static bool classof(const Value *V) {
Daniel Dunbara279bc32009-09-20 02:20:51 +0000150 return isa<ConstantExpr>(V) &&
Chris Lattnerea693df2008-08-21 02:34:16 +0000151 cast<ConstantExpr>(V)->getOpcode() == Instruction::UserOp1;
152 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000153
154
Gabor Greifefe65362008-05-10 08:32:32 +0000155 /// Provide fast operand accessors
Chris Lattner46e77402009-03-31 22:55:09 +0000156 //DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
Chris Lattner522b7b12007-04-24 05:48:56 +0000157 };
158}
159
Chris Lattner46e77402009-03-31 22:55:09 +0000160// FIXME: can we inherit this from ConstantExpr?
Gabor Greifefe65362008-05-10 08:32:32 +0000161template <>
Duncan Sands59bf4fc2009-09-06 08:55:57 +0000162struct OperandTraits<ConstantPlaceHolder> : public FixedNumOperandTraits<1> {
Gabor Greifefe65362008-05-10 08:32:32 +0000163};
Gabor Greifefe65362008-05-10 08:32:32 +0000164}
165
Chris Lattner46e77402009-03-31 22:55:09 +0000166
167void BitcodeReaderValueList::AssignValue(Value *V, unsigned Idx) {
168 if (Idx == size()) {
169 push_back(V);
170 return;
171 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000172
Chris Lattner46e77402009-03-31 22:55:09 +0000173 if (Idx >= size())
174 resize(Idx+1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000175
Chris Lattner46e77402009-03-31 22:55:09 +0000176 WeakVH &OldV = ValuePtrs[Idx];
177 if (OldV == 0) {
178 OldV = V;
179 return;
180 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000181
Chris Lattner46e77402009-03-31 22:55:09 +0000182 // Handle constants and non-constants (e.g. instrs) differently for
183 // efficiency.
184 if (Constant *PHC = dyn_cast<Constant>(&*OldV)) {
185 ResolveConstants.push_back(std::make_pair(PHC, Idx));
186 OldV = V;
187 } else {
188 // If there was a forward reference to this value, replace it.
189 Value *PrevVal = OldV;
190 OldV->replaceAllUsesWith(V);
191 delete PrevVal;
Gabor Greifefe65362008-05-10 08:32:32 +0000192 }
193}
Daniel Dunbara279bc32009-09-20 02:20:51 +0000194
Gabor Greifefe65362008-05-10 08:32:32 +0000195
Chris Lattner522b7b12007-04-24 05:48:56 +0000196Constant *BitcodeReaderValueList::getConstantFwdRef(unsigned Idx,
197 const Type *Ty) {
Chris Lattner46e77402009-03-31 22:55:09 +0000198 if (Idx >= size())
Gabor Greifefe65362008-05-10 08:32:32 +0000199 resize(Idx + 1);
Chris Lattner522b7b12007-04-24 05:48:56 +0000200
Chris Lattner46e77402009-03-31 22:55:09 +0000201 if (Value *V = ValuePtrs[Idx]) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000202 assert(Ty == V->getType() && "Type mismatch in constant table!");
203 return cast<Constant>(V);
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000204 }
Chris Lattner522b7b12007-04-24 05:48:56 +0000205
206 // Create and return a placeholder, which will later be RAUW'd.
Owen Anderson74a77812009-07-07 20:18:58 +0000207 Constant *C = new ConstantPlaceHolder(Ty, Context);
Chris Lattner46e77402009-03-31 22:55:09 +0000208 ValuePtrs[Idx] = C;
Chris Lattner522b7b12007-04-24 05:48:56 +0000209 return C;
210}
211
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000212Value *BitcodeReaderValueList::getValueFwdRef(unsigned Idx, const Type *Ty) {
Chris Lattner46e77402009-03-31 22:55:09 +0000213 if (Idx >= size())
Gabor Greifefe65362008-05-10 08:32:32 +0000214 resize(Idx + 1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000215
Chris Lattner46e77402009-03-31 22:55:09 +0000216 if (Value *V = ValuePtrs[Idx]) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000217 assert((Ty == 0 || Ty == V->getType()) && "Type mismatch in value table!");
218 return V;
219 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000220
Chris Lattner01ff65f2007-05-02 05:16:49 +0000221 // No type specified, must be invalid reference.
222 if (Ty == 0) return 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000223
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000224 // Create and return a placeholder, which will later be RAUW'd.
225 Value *V = new Argument(Ty);
Chris Lattner46e77402009-03-31 22:55:09 +0000226 ValuePtrs[Idx] = V;
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000227 return V;
228}
229
Chris Lattnerea693df2008-08-21 02:34:16 +0000230/// ResolveConstantForwardRefs - Once all constants are read, this method bulk
231/// resolves any forward references. The idea behind this is that we sometimes
232/// get constants (such as large arrays) which reference *many* forward ref
233/// constants. Replacing each of these causes a lot of thrashing when
234/// building/reuniquing the constant. Instead of doing this, we look at all the
235/// uses and rewrite all the place holders at once for any constant that uses
236/// a placeholder.
237void BitcodeReaderValueList::ResolveConstantForwardRefs() {
Daniel Dunbara279bc32009-09-20 02:20:51 +0000238 // Sort the values by-pointer so that they are efficient to look up with a
Chris Lattnerea693df2008-08-21 02:34:16 +0000239 // binary search.
240 std::sort(ResolveConstants.begin(), ResolveConstants.end());
Daniel Dunbara279bc32009-09-20 02:20:51 +0000241
Chris Lattnerea693df2008-08-21 02:34:16 +0000242 SmallVector<Constant*, 64> NewOps;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000243
Chris Lattnerea693df2008-08-21 02:34:16 +0000244 while (!ResolveConstants.empty()) {
Chris Lattner46e77402009-03-31 22:55:09 +0000245 Value *RealVal = operator[](ResolveConstants.back().second);
Chris Lattnerea693df2008-08-21 02:34:16 +0000246 Constant *Placeholder = ResolveConstants.back().first;
247 ResolveConstants.pop_back();
Daniel Dunbara279bc32009-09-20 02:20:51 +0000248
Chris Lattnerea693df2008-08-21 02:34:16 +0000249 // Loop over all users of the placeholder, updating them to reference the
250 // new value. If they reference more than one placeholder, update them all
251 // at once.
252 while (!Placeholder->use_empty()) {
Chris Lattnerb6135a02008-08-21 17:31:45 +0000253 Value::use_iterator UI = Placeholder->use_begin();
Daniel Dunbara279bc32009-09-20 02:20:51 +0000254
Chris Lattnerea693df2008-08-21 02:34:16 +0000255 // If the using object isn't uniqued, just update the operands. This
256 // handles instructions and initializers for global variables.
Chris Lattnerb6135a02008-08-21 17:31:45 +0000257 if (!isa<Constant>(*UI) || isa<GlobalValue>(*UI)) {
258 UI.getUse().set(RealVal);
Chris Lattnerea693df2008-08-21 02:34:16 +0000259 continue;
260 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000261
Chris Lattnerea693df2008-08-21 02:34:16 +0000262 // Otherwise, we have a constant that uses the placeholder. Replace that
263 // constant with a new constant that has *all* placeholder uses updated.
Chris Lattnerb6135a02008-08-21 17:31:45 +0000264 Constant *UserC = cast<Constant>(*UI);
Chris Lattnerea693df2008-08-21 02:34:16 +0000265 for (User::op_iterator I = UserC->op_begin(), E = UserC->op_end();
266 I != E; ++I) {
267 Value *NewOp;
268 if (!isa<ConstantPlaceHolder>(*I)) {
269 // Not a placeholder reference.
270 NewOp = *I;
271 } else if (*I == Placeholder) {
272 // Common case is that it just references this one placeholder.
273 NewOp = RealVal;
274 } else {
275 // Otherwise, look up the placeholder in ResolveConstants.
Daniel Dunbara279bc32009-09-20 02:20:51 +0000276 ResolveConstantsTy::iterator It =
277 std::lower_bound(ResolveConstants.begin(), ResolveConstants.end(),
Chris Lattnerea693df2008-08-21 02:34:16 +0000278 std::pair<Constant*, unsigned>(cast<Constant>(*I),
279 0));
280 assert(It != ResolveConstants.end() && It->first == *I);
Chris Lattner46e77402009-03-31 22:55:09 +0000281 NewOp = operator[](It->second);
Chris Lattnerea693df2008-08-21 02:34:16 +0000282 }
283
284 NewOps.push_back(cast<Constant>(NewOp));
285 }
286
287 // Make the new constant.
288 Constant *NewC;
289 if (ConstantArray *UserCA = dyn_cast<ConstantArray>(UserC)) {
Owen Anderson1fd70962009-07-28 18:32:17 +0000290 NewC = ConstantArray::get(UserCA->getType(), &NewOps[0],
Owen Anderson74a77812009-07-07 20:18:58 +0000291 NewOps.size());
Chris Lattnerea693df2008-08-21 02:34:16 +0000292 } else if (ConstantStruct *UserCS = dyn_cast<ConstantStruct>(UserC)) {
Owen Andersond7f2a6c2009-08-05 23:16:16 +0000293 NewC = ConstantStruct::get(Context, &NewOps[0], NewOps.size(),
Owen Anderson74a77812009-07-07 20:18:58 +0000294 UserCS->getType()->isPacked());
Chris Lattnerea693df2008-08-21 02:34:16 +0000295 } else if (isa<ConstantVector>(UserC)) {
Owen Andersonaf7ec972009-07-28 21:19:26 +0000296 NewC = ConstantVector::get(&NewOps[0], NewOps.size());
Nick Lewyckycb337992009-05-10 20:57:05 +0000297 } else {
298 assert(isa<ConstantExpr>(UserC) && "Must be a ConstantExpr.");
Chris Lattnerea693df2008-08-21 02:34:16 +0000299 NewC = cast<ConstantExpr>(UserC)->getWithOperands(&NewOps[0],
300 NewOps.size());
301 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000302
Chris Lattnerea693df2008-08-21 02:34:16 +0000303 UserC->replaceAllUsesWith(NewC);
304 UserC->destroyConstant();
305 NewOps.clear();
306 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000307
Nick Lewyckycb337992009-05-10 20:57:05 +0000308 // Update all ValueHandles, they should be the only users at this point.
309 Placeholder->replaceAllUsesWith(RealVal);
Chris Lattnerea693df2008-08-21 02:34:16 +0000310 delete Placeholder;
311 }
312}
313
Devang Pateld5ac4042009-08-04 06:00:18 +0000314void BitcodeReaderMDValueList::AssignValue(Value *V, unsigned Idx) {
315 if (Idx == size()) {
316 push_back(V);
317 return;
318 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000319
Devang Pateld5ac4042009-08-04 06:00:18 +0000320 if (Idx >= size())
321 resize(Idx+1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000322
Devang Pateld5ac4042009-08-04 06:00:18 +0000323 WeakVH &OldV = MDValuePtrs[Idx];
324 if (OldV == 0) {
325 OldV = V;
326 return;
327 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000328
Devang Pateld5ac4042009-08-04 06:00:18 +0000329 // If there was a forward reference to this value, replace it.
330 Value *PrevVal = OldV;
331 OldV->replaceAllUsesWith(V);
332 delete PrevVal;
Devang Patelc0ff8c82009-09-03 01:38:02 +0000333 // Deleting PrevVal sets Idx value in MDValuePtrs to null. Set new
334 // value for Idx.
335 MDValuePtrs[Idx] = V;
Devang Pateld5ac4042009-08-04 06:00:18 +0000336}
337
338Value *BitcodeReaderMDValueList::getValueFwdRef(unsigned Idx) {
339 if (Idx >= size())
340 resize(Idx + 1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000341
Devang Pateld5ac4042009-08-04 06:00:18 +0000342 if (Value *V = MDValuePtrs[Idx]) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000343 assert(V->getType()->isMetadataTy() && "Type mismatch in value table!");
Devang Pateld5ac4042009-08-04 06:00:18 +0000344 return V;
345 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000346
Devang Pateld5ac4042009-08-04 06:00:18 +0000347 // Create and return a placeholder, which will later be RAUW'd.
Owen Anderson1d0be152009-08-13 21:58:54 +0000348 Value *V = new Argument(Type::getMetadataTy(Context));
Devang Pateld5ac4042009-08-04 06:00:18 +0000349 MDValuePtrs[Idx] = V;
350 return V;
351}
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000352
353const Type *BitcodeReader::getTypeByID(unsigned ID, bool isTypeTable) {
354 // If the TypeID is in range, return it.
355 if (ID < TypeList.size())
356 return TypeList[ID].get();
357 if (!isTypeTable) return 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000358
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000359 // The type table allows forward references. Push as many Opaque types as
360 // needed to get up to ID.
361 while (TypeList.size() <= ID)
Owen Anderson0e275dc2009-08-13 23:27:32 +0000362 TypeList.push_back(OpaqueType::get(Context));
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000363 return TypeList.back().get();
364}
365
Chris Lattner48c85b82007-05-04 03:30:17 +0000366//===----------------------------------------------------------------------===//
367// Functions for parsing blocks from the bitcode file
368//===----------------------------------------------------------------------===//
369
Devang Patel05988662008-09-25 21:00:45 +0000370bool BitcodeReader::ParseAttributeBlock() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000371 if (Stream.EnterSubBlock(bitc::PARAMATTR_BLOCK_ID))
Chris Lattner48c85b82007-05-04 03:30:17 +0000372 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000373
Devang Patel19c87462008-09-26 22:53:05 +0000374 if (!MAttributes.empty())
Chris Lattner48c85b82007-05-04 03:30:17 +0000375 return Error("Multiple PARAMATTR blocks found!");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000376
Chris Lattner48c85b82007-05-04 03:30:17 +0000377 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000378
Devang Patel05988662008-09-25 21:00:45 +0000379 SmallVector<AttributeWithIndex, 8> Attrs;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000380
Chris Lattner48c85b82007-05-04 03:30:17 +0000381 // Read all the records.
382 while (1) {
383 unsigned Code = Stream.ReadCode();
384 if (Code == bitc::END_BLOCK) {
385 if (Stream.ReadBlockEnd())
386 return Error("Error at end of PARAMATTR block");
387 return false;
388 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000389
Chris Lattner48c85b82007-05-04 03:30:17 +0000390 if (Code == bitc::ENTER_SUBBLOCK) {
391 // No known subblocks, always skip them.
392 Stream.ReadSubBlockID();
393 if (Stream.SkipBlock())
394 return Error("Malformed block record");
395 continue;
396 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000397
Chris Lattner48c85b82007-05-04 03:30:17 +0000398 if (Code == bitc::DEFINE_ABBREV) {
399 Stream.ReadAbbrevRecord();
400 continue;
401 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000402
Chris Lattner48c85b82007-05-04 03:30:17 +0000403 // Read a record.
404 Record.clear();
405 switch (Stream.ReadRecord(Code, Record)) {
406 default: // Default behavior: ignore.
407 break;
408 case bitc::PARAMATTR_CODE_ENTRY: { // ENTRY: [paramidx0, attr0, ...]
409 if (Record.size() & 1)
410 return Error("Invalid ENTRY record");
411
Chris Lattner9a6cb152008-10-05 18:22:09 +0000412 // FIXME : Remove this autoupgrade code in LLVM 3.0.
Devang Patel19c87462008-09-26 22:53:05 +0000413 // If Function attributes are using index 0 then transfer them
Chris Lattner9a6cb152008-10-05 18:22:09 +0000414 // to index ~0. Index 0 is used for return value attributes but used to be
415 // used for function attributes.
Devang Patel19c87462008-09-26 22:53:05 +0000416 Attributes RetAttribute = Attribute::None;
417 Attributes FnAttribute = Attribute::None;
Chris Lattner48c85b82007-05-04 03:30:17 +0000418 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Nick Lewycky73ddd4f2008-12-19 09:38:31 +0000419 // FIXME: remove in LLVM 3.0
420 // The alignment is stored as a 16-bit raw value from bits 31--16.
421 // We shift the bits above 31 down by 11 bits.
422
423 unsigned Alignment = (Record[i+1] & (0xffffull << 16)) >> 16;
424 if (Alignment && !isPowerOf2_32(Alignment))
425 return Error("Alignment is not a power of two.");
426
427 Attributes ReconstitutedAttr = Record[i+1] & 0xffff;
428 if (Alignment)
429 ReconstitutedAttr |= Attribute::constructAlignmentFromInt(Alignment);
430 ReconstitutedAttr |= (Record[i+1] & (0xffffull << 32)) >> 11;
431 Record[i+1] = ReconstitutedAttr;
432
Devang Patel19c87462008-09-26 22:53:05 +0000433 if (Record[i] == 0)
434 RetAttribute = Record[i+1];
435 else if (Record[i] == ~0U)
436 FnAttribute = Record[i+1];
437 }
Chris Lattner9a6cb152008-10-05 18:22:09 +0000438
439 unsigned OldRetAttrs = (Attribute::NoUnwind|Attribute::NoReturn|
440 Attribute::ReadOnly|Attribute::ReadNone);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000441
Chris Lattner9a6cb152008-10-05 18:22:09 +0000442 if (FnAttribute == Attribute::None && RetAttribute != Attribute::None &&
443 (RetAttribute & OldRetAttrs) != 0) {
444 if (FnAttribute == Attribute::None) { // add a slot so they get added.
445 Record.push_back(~0U);
446 Record.push_back(0);
Devang Patel19c87462008-09-26 22:53:05 +0000447 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000448
Chris Lattner9a6cb152008-10-05 18:22:09 +0000449 FnAttribute |= RetAttribute & OldRetAttrs;
450 RetAttribute &= ~OldRetAttrs;
Chris Lattner48c85b82007-05-04 03:30:17 +0000451 }
Chris Lattner461edd92008-03-12 02:25:52 +0000452
Devang Patel19c87462008-09-26 22:53:05 +0000453 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Chris Lattner9a6cb152008-10-05 18:22:09 +0000454 if (Record[i] == 0) {
455 if (RetAttribute != Attribute::None)
456 Attrs.push_back(AttributeWithIndex::get(0, RetAttribute));
457 } else if (Record[i] == ~0U) {
458 if (FnAttribute != Attribute::None)
459 Attrs.push_back(AttributeWithIndex::get(~0U, FnAttribute));
460 } else if (Record[i+1] != Attribute::None)
Devang Patel19c87462008-09-26 22:53:05 +0000461 Attrs.push_back(AttributeWithIndex::get(Record[i], Record[i+1]));
462 }
Devang Patel19c87462008-09-26 22:53:05 +0000463
464 MAttributes.push_back(AttrListPtr::get(Attrs.begin(), Attrs.end()));
Chris Lattner48c85b82007-05-04 03:30:17 +0000465 Attrs.clear();
466 break;
467 }
Duncan Sands5e41f652007-11-20 14:09:29 +0000468 }
Chris Lattner48c85b82007-05-04 03:30:17 +0000469 }
470}
471
472
Chris Lattner86697142007-05-01 05:01:34 +0000473bool BitcodeReader::ParseTypeTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000474 if (Stream.EnterSubBlock(bitc::TYPE_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000475 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000476
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000477 if (!TypeList.empty())
478 return Error("Multiple TYPE_BLOCKs found!");
479
480 SmallVector<uint64_t, 64> Record;
481 unsigned NumRecords = 0;
482
483 // Read all the records for this type table.
484 while (1) {
485 unsigned Code = Stream.ReadCode();
486 if (Code == bitc::END_BLOCK) {
487 if (NumRecords != TypeList.size())
488 return Error("Invalid type forward reference in TYPE_BLOCK");
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000489 if (Stream.ReadBlockEnd())
490 return Error("Error at end of type table block");
491 return false;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000492 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000493
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000494 if (Code == bitc::ENTER_SUBBLOCK) {
495 // No known subblocks, always skip them.
496 Stream.ReadSubBlockID();
497 if (Stream.SkipBlock())
498 return Error("Malformed block record");
499 continue;
500 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000501
Chris Lattner36d5e7d2007-04-23 16:04:05 +0000502 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +0000503 Stream.ReadAbbrevRecord();
504 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000505 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000506
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000507 // Read a record.
508 Record.clear();
509 const Type *ResultTy = 0;
510 switch (Stream.ReadRecord(Code, Record)) {
511 default: // Default behavior: unknown type.
512 ResultTy = 0;
513 break;
514 case bitc::TYPE_CODE_NUMENTRY: // TYPE_CODE_NUMENTRY: [numentries]
515 // TYPE_CODE_NUMENTRY contains a count of the number of types in the
516 // type list. This allows us to reserve space.
517 if (Record.size() < 1)
518 return Error("Invalid TYPE_CODE_NUMENTRY record");
519 TypeList.reserve(Record[0]);
520 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000521 case bitc::TYPE_CODE_VOID: // VOID
Owen Anderson1d0be152009-08-13 21:58:54 +0000522 ResultTy = Type::getVoidTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000523 break;
524 case bitc::TYPE_CODE_FLOAT: // FLOAT
Owen Anderson1d0be152009-08-13 21:58:54 +0000525 ResultTy = Type::getFloatTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000526 break;
527 case bitc::TYPE_CODE_DOUBLE: // DOUBLE
Owen Anderson1d0be152009-08-13 21:58:54 +0000528 ResultTy = Type::getDoubleTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000529 break;
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000530 case bitc::TYPE_CODE_X86_FP80: // X86_FP80
Owen Anderson1d0be152009-08-13 21:58:54 +0000531 ResultTy = Type::getX86_FP80Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000532 break;
533 case bitc::TYPE_CODE_FP128: // FP128
Owen Anderson1d0be152009-08-13 21:58:54 +0000534 ResultTy = Type::getFP128Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000535 break;
536 case bitc::TYPE_CODE_PPC_FP128: // PPC_FP128
Owen Anderson1d0be152009-08-13 21:58:54 +0000537 ResultTy = Type::getPPC_FP128Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000538 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000539 case bitc::TYPE_CODE_LABEL: // LABEL
Owen Anderson1d0be152009-08-13 21:58:54 +0000540 ResultTy = Type::getLabelTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000541 break;
542 case bitc::TYPE_CODE_OPAQUE: // OPAQUE
543 ResultTy = 0;
544 break;
Nick Lewycky7a0370f2009-05-30 05:06:04 +0000545 case bitc::TYPE_CODE_METADATA: // METADATA
Owen Anderson1d0be152009-08-13 21:58:54 +0000546 ResultTy = Type::getMetadataTy(Context);
Nick Lewycky7a0370f2009-05-30 05:06:04 +0000547 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000548 case bitc::TYPE_CODE_INTEGER: // INTEGER: [width]
549 if (Record.size() < 1)
550 return Error("Invalid Integer type record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000551
Owen Anderson1d0be152009-08-13 21:58:54 +0000552 ResultTy = IntegerType::get(Context, Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000553 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000554 case bitc::TYPE_CODE_POINTER: { // POINTER: [pointee type] or
Christopher Lambfe63fb92007-12-11 08:59:05 +0000555 // [pointee type, address space]
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000556 if (Record.size() < 1)
557 return Error("Invalid POINTER type record");
Christopher Lambfe63fb92007-12-11 08:59:05 +0000558 unsigned AddressSpace = 0;
559 if (Record.size() == 2)
560 AddressSpace = Record[1];
Owen Andersondebcb012009-07-29 22:17:13 +0000561 ResultTy = PointerType::get(getTypeByID(Record[0], true),
Owen Anderson74a77812009-07-07 20:18:58 +0000562 AddressSpace);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000563 break;
Christopher Lambfe63fb92007-12-11 08:59:05 +0000564 }
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000565 case bitc::TYPE_CODE_FUNCTION: {
Chris Lattnera1afde72007-11-27 17:48:06 +0000566 // FIXME: attrid is dead, remove it in LLVM 3.0
567 // FUNCTION: [vararg, attrid, retty, paramty x N]
568 if (Record.size() < 3)
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000569 return Error("Invalid FUNCTION type record");
570 std::vector<const Type*> ArgTys;
Chris Lattnera1afde72007-11-27 17:48:06 +0000571 for (unsigned i = 3, e = Record.size(); i != e; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +0000572 ArgTys.push_back(getTypeByID(Record[i], true));
Daniel Dunbara279bc32009-09-20 02:20:51 +0000573
Owen Andersondebcb012009-07-29 22:17:13 +0000574 ResultTy = FunctionType::get(getTypeByID(Record[2], true), ArgTys,
Duncan Sandsdc024672007-11-27 13:23:08 +0000575 Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000576 break;
577 }
Chris Lattner15e6d172007-05-04 19:11:41 +0000578 case bitc::TYPE_CODE_STRUCT: { // STRUCT: [ispacked, eltty x N]
Chris Lattner7108dce2007-05-06 08:21:50 +0000579 if (Record.size() < 1)
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000580 return Error("Invalid STRUCT type record");
581 std::vector<const Type*> EltTys;
Chris Lattner15e6d172007-05-04 19:11:41 +0000582 for (unsigned i = 1, e = Record.size(); i != e; ++i)
583 EltTys.push_back(getTypeByID(Record[i], true));
Owen Andersond7f2a6c2009-08-05 23:16:16 +0000584 ResultTy = StructType::get(Context, EltTys, Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000585 break;
586 }
587 case bitc::TYPE_CODE_ARRAY: // ARRAY: [numelts, eltty]
588 if (Record.size() < 2)
589 return Error("Invalid ARRAY type record");
Owen Andersondebcb012009-07-29 22:17:13 +0000590 ResultTy = ArrayType::get(getTypeByID(Record[1], true), Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000591 break;
592 case bitc::TYPE_CODE_VECTOR: // VECTOR: [numelts, eltty]
593 if (Record.size() < 2)
594 return Error("Invalid VECTOR type record");
Owen Andersondebcb012009-07-29 22:17:13 +0000595 ResultTy = VectorType::get(getTypeByID(Record[1], true), Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000596 break;
597 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000598
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000599 if (NumRecords == TypeList.size()) {
600 // If this is a new type slot, just append it.
Owen Anderson0e275dc2009-08-13 23:27:32 +0000601 TypeList.push_back(ResultTy ? ResultTy : OpaqueType::get(Context));
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000602 ++NumRecords;
603 } else if (ResultTy == 0) {
604 // Otherwise, this was forward referenced, so an opaque type was created,
605 // but the result type is actually just an opaque. Leave the one we
606 // created previously.
607 ++NumRecords;
608 } else {
609 // Otherwise, this was forward referenced, so an opaque type was created.
610 // Resolve the opaque type to the real type now.
611 assert(NumRecords < TypeList.size() && "Typelist imbalance");
612 const OpaqueType *OldTy = cast<OpaqueType>(TypeList[NumRecords++].get());
Daniel Dunbara279bc32009-09-20 02:20:51 +0000613
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000614 // Don't directly push the new type on the Tab. Instead we want to replace
615 // the opaque type we previously inserted with the new concrete value. The
616 // refinement from the abstract (opaque) type to the new type causes all
617 // uses of the abstract type to use the concrete type (NewTy). This will
618 // also cause the opaque type to be deleted.
619 const_cast<OpaqueType*>(OldTy)->refineAbstractTypeTo(ResultTy);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000620
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000621 // This should have replaced the old opaque type with the new type in the
Chris Lattner0eef0802007-04-24 04:04:35 +0000622 // value table... or with a preexisting type that was already in the
623 // system. Let's just make sure it did.
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000624 assert(TypeList[NumRecords-1].get() != OldTy &&
625 "refineAbstractType didn't work!");
626 }
627 }
628}
629
630
Chris Lattner86697142007-05-01 05:01:34 +0000631bool BitcodeReader::ParseTypeSymbolTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000632 if (Stream.EnterSubBlock(bitc::TYPE_SYMTAB_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000633 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000634
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000635 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000636
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000637 // Read all the records for this type table.
638 std::string TypeName;
639 while (1) {
640 unsigned Code = Stream.ReadCode();
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000641 if (Code == bitc::END_BLOCK) {
642 if (Stream.ReadBlockEnd())
643 return Error("Error at end of type symbol table block");
644 return false;
645 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000646
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000647 if (Code == bitc::ENTER_SUBBLOCK) {
648 // No known subblocks, always skip them.
649 Stream.ReadSubBlockID();
650 if (Stream.SkipBlock())
651 return Error("Malformed block record");
652 continue;
653 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000654
Chris Lattner36d5e7d2007-04-23 16:04:05 +0000655 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +0000656 Stream.ReadAbbrevRecord();
657 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000658 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000659
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000660 // Read a record.
661 Record.clear();
662 switch (Stream.ReadRecord(Code, Record)) {
663 default: // Default behavior: unknown type.
664 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000665 case bitc::TST_CODE_ENTRY: // TST_ENTRY: [typeid, namechar x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000666 if (ConvertToString(Record, 1, TypeName))
667 return Error("Invalid TST_ENTRY record");
668 unsigned TypeID = Record[0];
669 if (TypeID >= TypeList.size())
670 return Error("Invalid Type ID in TST_ENTRY record");
671
672 TheModule->addTypeName(TypeName, TypeList[TypeID].get());
673 TypeName.clear();
674 break;
675 }
676 }
677}
678
Chris Lattner86697142007-05-01 05:01:34 +0000679bool BitcodeReader::ParseValueSymbolTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000680 if (Stream.EnterSubBlock(bitc::VALUE_SYMTAB_BLOCK_ID))
Chris Lattner0b2482a2007-04-23 21:26:05 +0000681 return Error("Malformed block record");
682
683 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000684
Chris Lattner0b2482a2007-04-23 21:26:05 +0000685 // Read all the records for this value table.
686 SmallString<128> ValueName;
687 while (1) {
688 unsigned Code = Stream.ReadCode();
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000689 if (Code == bitc::END_BLOCK) {
690 if (Stream.ReadBlockEnd())
691 return Error("Error at end of value symbol table block");
692 return false;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000693 }
Chris Lattner0b2482a2007-04-23 21:26:05 +0000694 if (Code == bitc::ENTER_SUBBLOCK) {
695 // No known subblocks, always skip them.
696 Stream.ReadSubBlockID();
697 if (Stream.SkipBlock())
698 return Error("Malformed block record");
699 continue;
700 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000701
Chris Lattner0b2482a2007-04-23 21:26:05 +0000702 if (Code == bitc::DEFINE_ABBREV) {
703 Stream.ReadAbbrevRecord();
704 continue;
705 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000706
Chris Lattner0b2482a2007-04-23 21:26:05 +0000707 // Read a record.
708 Record.clear();
709 switch (Stream.ReadRecord(Code, Record)) {
710 default: // Default behavior: unknown type.
711 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000712 case bitc::VST_CODE_ENTRY: { // VST_ENTRY: [valueid, namechar x N]
Chris Lattner0b2482a2007-04-23 21:26:05 +0000713 if (ConvertToString(Record, 1, ValueName))
Nick Lewycky88b72932009-05-31 06:07:28 +0000714 return Error("Invalid VST_ENTRY record");
Chris Lattner0b2482a2007-04-23 21:26:05 +0000715 unsigned ValueID = Record[0];
716 if (ValueID >= ValueList.size())
717 return Error("Invalid Value ID in VST_ENTRY record");
718 Value *V = ValueList[ValueID];
Daniel Dunbara279bc32009-09-20 02:20:51 +0000719
Daniel Dunbar3f53fa92009-07-26 00:34:27 +0000720 V->setName(StringRef(ValueName.data(), ValueName.size()));
Chris Lattner0b2482a2007-04-23 21:26:05 +0000721 ValueName.clear();
722 break;
Reid Spencerc8f8a242007-05-04 01:43:33 +0000723 }
724 case bitc::VST_CODE_BBENTRY: {
Chris Lattnere825ed52007-05-03 22:18:21 +0000725 if (ConvertToString(Record, 1, ValueName))
726 return Error("Invalid VST_BBENTRY record");
727 BasicBlock *BB = getBasicBlock(Record[0]);
728 if (BB == 0)
729 return Error("Invalid BB ID in VST_BBENTRY record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000730
Daniel Dunbar3f53fa92009-07-26 00:34:27 +0000731 BB->setName(StringRef(ValueName.data(), ValueName.size()));
Chris Lattnere825ed52007-05-03 22:18:21 +0000732 ValueName.clear();
733 break;
Chris Lattner0b2482a2007-04-23 21:26:05 +0000734 }
Reid Spencerc8f8a242007-05-04 01:43:33 +0000735 }
Chris Lattner0b2482a2007-04-23 21:26:05 +0000736 }
737}
738
Devang Patele54abc92009-07-22 17:43:22 +0000739bool BitcodeReader::ParseMetadata() {
Devang Pateld5ac4042009-08-04 06:00:18 +0000740 unsigned NextValueNo = MDValueList.size();
Devang Patele54abc92009-07-22 17:43:22 +0000741
742 if (Stream.EnterSubBlock(bitc::METADATA_BLOCK_ID))
743 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000744
Devang Patele54abc92009-07-22 17:43:22 +0000745 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000746
Devang Patele54abc92009-07-22 17:43:22 +0000747 // Read all the records.
748 while (1) {
749 unsigned Code = Stream.ReadCode();
750 if (Code == bitc::END_BLOCK) {
751 if (Stream.ReadBlockEnd())
752 return Error("Error at end of PARAMATTR block");
753 return false;
754 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000755
Devang Patele54abc92009-07-22 17:43:22 +0000756 if (Code == bitc::ENTER_SUBBLOCK) {
757 // No known subblocks, always skip them.
758 Stream.ReadSubBlockID();
759 if (Stream.SkipBlock())
760 return Error("Malformed block record");
761 continue;
762 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000763
Devang Patele54abc92009-07-22 17:43:22 +0000764 if (Code == bitc::DEFINE_ABBREV) {
765 Stream.ReadAbbrevRecord();
766 continue;
767 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000768
Victor Hernandez24e64df2010-01-10 07:14:18 +0000769 bool IsFunctionLocal = false;
Devang Patele54abc92009-07-22 17:43:22 +0000770 // Read a record.
771 Record.clear();
772 switch (Stream.ReadRecord(Code, Record)) {
773 default: // Default behavior: ignore.
774 break;
Devang Patelaa993142009-07-29 22:34:41 +0000775 case bitc::METADATA_NAME: {
776 // Read named of the named metadata.
777 unsigned NameLength = Record.size();
778 SmallString<8> Name;
779 Name.resize(NameLength);
780 for (unsigned i = 0; i != NameLength; ++i)
781 Name[i] = Record[i];
782 Record.clear();
783 Code = Stream.ReadCode();
784
785 // METADATA_NAME is always followed by METADATA_NAMED_NODE.
786 if (Stream.ReadRecord(Code, Record) != bitc::METADATA_NAMED_NODE)
787 assert ( 0 && "Inavlid Named Metadata record");
788
789 // Read named metadata elements.
790 unsigned Size = Record.size();
Devang Patel3e30c2a2010-01-05 20:41:31 +0000791 SmallVector<MDNode *, 8> Elts;
Devang Patelaa993142009-07-29 22:34:41 +0000792 for (unsigned i = 0; i != Size; ++i) {
Chris Lattner70644e92010-01-09 02:02:37 +0000793 if (Record[i] == ~0U) {
Devang Patel69d02e02010-01-05 21:47:32 +0000794 Elts.push_back(NULL);
Chris Lattner70644e92010-01-09 02:02:37 +0000795 continue;
Devang Patel69d02e02010-01-05 21:47:32 +0000796 }
Chris Lattner70644e92010-01-09 02:02:37 +0000797 MDNode *MD = dyn_cast<MDNode>(MDValueList.getValueFwdRef(Record[i]));
798 if (MD == 0)
799 return Error("Malformed metadata record");
800 Elts.push_back(MD);
Devang Patelaa993142009-07-29 22:34:41 +0000801 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000802 Value *V = NamedMDNode::Create(Context, Name.str(), Elts.data(),
Owen Anderson1d0be152009-08-13 21:58:54 +0000803 Elts.size(), TheModule);
Chris Lattner70644e92010-01-09 02:02:37 +0000804 // FIXME: This shouldn't poke NextValueNo?
Devang Pateld5ac4042009-08-04 06:00:18 +0000805 MDValueList.AssignValue(V, NextValueNo++);
Devang Patelaa993142009-07-29 22:34:41 +0000806 break;
807 }
Victor Hernandez24e64df2010-01-10 07:14:18 +0000808 case bitc::METADATA_FN_NODE:
809 IsFunctionLocal = true;
810 // fall-through
Devang Patel104cf9e2009-07-23 01:07:34 +0000811 case bitc::METADATA_NODE: {
812 if (Record.empty() || Record.size() % 2 == 1)
813 return Error("Invalid METADATA_NODE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000814
Devang Patel104cf9e2009-07-23 01:07:34 +0000815 unsigned Size = Record.size();
816 SmallVector<Value*, 8> Elts;
817 for (unsigned i = 0; i != Size; i += 2) {
818 const Type *Ty = getTypeByID(Record[i], false);
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000819 if (Ty->isMetadataTy())
Devang Pateld5ac4042009-08-04 06:00:18 +0000820 Elts.push_back(MDValueList.getValueFwdRef(Record[i+1]));
Benjamin Kramerf0127052010-01-05 13:12:22 +0000821 else if (!Ty->isVoidTy())
Devang Patel104cf9e2009-07-23 01:07:34 +0000822 Elts.push_back(ValueList.getValueFwdRef(Record[i+1], Ty));
823 else
824 Elts.push_back(NULL);
825 }
Victor Hernandez24e64df2010-01-10 07:14:18 +0000826 Value *V = MDNode::getWhenValsUnresolved(Context, &Elts[0], Elts.size(),
827 IsFunctionLocal);
828 IsFunctionLocal = false;
Devang Pateld5ac4042009-08-04 06:00:18 +0000829 MDValueList.AssignValue(V, NextValueNo++);
Devang Patel104cf9e2009-07-23 01:07:34 +0000830 break;
831 }
Devang Patele54abc92009-07-22 17:43:22 +0000832 case bitc::METADATA_STRING: {
833 unsigned MDStringLength = Record.size();
834 SmallString<8> String;
835 String.resize(MDStringLength);
836 for (unsigned i = 0; i != MDStringLength; ++i)
837 String[i] = Record[i];
Daniel Dunbara279bc32009-09-20 02:20:51 +0000838 Value *V = MDString::get(Context,
Owen Anderson647e3012009-07-31 21:35:40 +0000839 StringRef(String.data(), String.size()));
Devang Pateld5ac4042009-08-04 06:00:18 +0000840 MDValueList.AssignValue(V, NextValueNo++);
Devang Patele54abc92009-07-22 17:43:22 +0000841 break;
842 }
Devang Patele8e02132009-09-18 19:26:43 +0000843 case bitc::METADATA_KIND: {
844 unsigned RecordLength = Record.size();
845 if (Record.empty() || RecordLength < 2)
Daniel Dunbara279bc32009-09-20 02:20:51 +0000846 return Error("Invalid METADATA_KIND record");
Devang Patele8e02132009-09-18 19:26:43 +0000847 SmallString<8> Name;
848 Name.resize(RecordLength-1);
Devang Patela2148402009-09-28 21:14:55 +0000849 unsigned Kind = Record[0];
Daniel Dunbar22bbd9b2009-10-25 23:11:06 +0000850 (void) Kind;
Devang Patele8e02132009-09-18 19:26:43 +0000851 for (unsigned i = 1; i != RecordLength; ++i)
Daniel Dunbara279bc32009-09-20 02:20:51 +0000852 Name[i-1] = Record[i];
Chris Lattner0eb41982009-12-28 20:45:51 +0000853
Chris Lattner08113472009-12-29 09:01:33 +0000854 unsigned NewKind = TheModule->getMDKindID(Name.str());
Chris Lattner0eb41982009-12-28 20:45:51 +0000855 assert(Kind == NewKind &&
856 "FIXME: Unable to handle custom metadata mismatch!");(void)NewKind;
Devang Patele8e02132009-09-18 19:26:43 +0000857 break;
858 }
Devang Patele54abc92009-07-22 17:43:22 +0000859 }
860 }
861}
862
Chris Lattner0eef0802007-04-24 04:04:35 +0000863/// DecodeSignRotatedValue - Decode a signed value stored with the sign bit in
864/// the LSB for dense VBR encoding.
865static uint64_t DecodeSignRotatedValue(uint64_t V) {
866 if ((V & 1) == 0)
867 return V >> 1;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000868 if (V != 1)
Chris Lattner0eef0802007-04-24 04:04:35 +0000869 return -(V >> 1);
870 // There is no such thing as -0 with integers. "-0" really means MININT.
871 return 1ULL << 63;
872}
873
Chris Lattner07d98b42007-04-26 02:46:40 +0000874/// ResolveGlobalAndAliasInits - Resolve all of the initializers for global
875/// values and aliases that we can.
876bool BitcodeReader::ResolveGlobalAndAliasInits() {
877 std::vector<std::pair<GlobalVariable*, unsigned> > GlobalInitWorklist;
878 std::vector<std::pair<GlobalAlias*, unsigned> > AliasInitWorklist;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000879
Chris Lattner07d98b42007-04-26 02:46:40 +0000880 GlobalInitWorklist.swap(GlobalInits);
881 AliasInitWorklist.swap(AliasInits);
882
883 while (!GlobalInitWorklist.empty()) {
Chris Lattner198f34a2007-04-26 03:27:58 +0000884 unsigned ValID = GlobalInitWorklist.back().second;
Chris Lattner07d98b42007-04-26 02:46:40 +0000885 if (ValID >= ValueList.size()) {
886 // Not ready to resolve this yet, it requires something later in the file.
Chris Lattner198f34a2007-04-26 03:27:58 +0000887 GlobalInits.push_back(GlobalInitWorklist.back());
Chris Lattner07d98b42007-04-26 02:46:40 +0000888 } else {
889 if (Constant *C = dyn_cast<Constant>(ValueList[ValID]))
890 GlobalInitWorklist.back().first->setInitializer(C);
891 else
892 return Error("Global variable initializer is not a constant!");
893 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000894 GlobalInitWorklist.pop_back();
Chris Lattner07d98b42007-04-26 02:46:40 +0000895 }
896
897 while (!AliasInitWorklist.empty()) {
898 unsigned ValID = AliasInitWorklist.back().second;
899 if (ValID >= ValueList.size()) {
900 AliasInits.push_back(AliasInitWorklist.back());
901 } else {
902 if (Constant *C = dyn_cast<Constant>(ValueList[ValID]))
Anton Korobeynikov7dde0ff2007-04-28 14:57:59 +0000903 AliasInitWorklist.back().first->setAliasee(C);
Chris Lattner07d98b42007-04-26 02:46:40 +0000904 else
905 return Error("Alias initializer is not a constant!");
906 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000907 AliasInitWorklist.pop_back();
Chris Lattner07d98b42007-04-26 02:46:40 +0000908 }
909 return false;
910}
911
Chris Lattner86697142007-05-01 05:01:34 +0000912bool BitcodeReader::ParseConstants() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000913 if (Stream.EnterSubBlock(bitc::CONSTANTS_BLOCK_ID))
Chris Lattnere16504e2007-04-24 03:30:34 +0000914 return Error("Malformed block record");
915
916 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000917
Chris Lattnere16504e2007-04-24 03:30:34 +0000918 // Read all the records for this value table.
Owen Anderson1d0be152009-08-13 21:58:54 +0000919 const Type *CurTy = Type::getInt32Ty(Context);
Chris Lattner522b7b12007-04-24 05:48:56 +0000920 unsigned NextCstNo = ValueList.size();
Chris Lattnere16504e2007-04-24 03:30:34 +0000921 while (1) {
922 unsigned Code = Stream.ReadCode();
Chris Lattnerea693df2008-08-21 02:34:16 +0000923 if (Code == bitc::END_BLOCK)
924 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000925
Chris Lattnere16504e2007-04-24 03:30:34 +0000926 if (Code == bitc::ENTER_SUBBLOCK) {
927 // No known subblocks, always skip them.
928 Stream.ReadSubBlockID();
929 if (Stream.SkipBlock())
930 return Error("Malformed block record");
931 continue;
932 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000933
Chris Lattnere16504e2007-04-24 03:30:34 +0000934 if (Code == bitc::DEFINE_ABBREV) {
935 Stream.ReadAbbrevRecord();
936 continue;
937 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000938
Chris Lattnere16504e2007-04-24 03:30:34 +0000939 // Read a record.
940 Record.clear();
941 Value *V = 0;
Dan Gohman1224c382009-07-20 21:19:07 +0000942 unsigned BitCode = Stream.ReadRecord(Code, Record);
943 switch (BitCode) {
Chris Lattnere16504e2007-04-24 03:30:34 +0000944 default: // Default behavior: unknown constant
945 case bitc::CST_CODE_UNDEF: // UNDEF
Owen Anderson9e9a0d52009-07-30 23:03:37 +0000946 V = UndefValue::get(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +0000947 break;
948 case bitc::CST_CODE_SETTYPE: // SETTYPE: [typeid]
949 if (Record.empty())
950 return Error("Malformed CST_SETTYPE record");
951 if (Record[0] >= TypeList.size())
952 return Error("Invalid Type ID in CST_SETTYPE record");
953 CurTy = TypeList[Record[0]];
Chris Lattner0eef0802007-04-24 04:04:35 +0000954 continue; // Skip the ValueList manipulation.
Chris Lattnere16504e2007-04-24 03:30:34 +0000955 case bitc::CST_CODE_NULL: // NULL
Owen Andersona7235ea2009-07-31 20:28:14 +0000956 V = Constant::getNullValue(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +0000957 break;
958 case bitc::CST_CODE_INTEGER: // INTEGER: [intval]
Chris Lattner0eef0802007-04-24 04:04:35 +0000959 if (!isa<IntegerType>(CurTy) || Record.empty())
960 return Error("Invalid CST_INTEGER record");
Owen Andersoneed707b2009-07-24 23:12:02 +0000961 V = ConstantInt::get(CurTy, DecodeSignRotatedValue(Record[0]));
Chris Lattner0eef0802007-04-24 04:04:35 +0000962 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000963 case bitc::CST_CODE_WIDE_INTEGER: {// WIDE_INTEGER: [n x intval]
964 if (!isa<IntegerType>(CurTy) || Record.empty())
Chris Lattner0eef0802007-04-24 04:04:35 +0000965 return Error("Invalid WIDE_INTEGER record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000966
Chris Lattner15e6d172007-05-04 19:11:41 +0000967 unsigned NumWords = Record.size();
Chris Lattner084a8442007-04-24 17:22:05 +0000968 SmallVector<uint64_t, 8> Words;
969 Words.resize(NumWords);
Chris Lattner0eef0802007-04-24 04:04:35 +0000970 for (unsigned i = 0; i != NumWords; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +0000971 Words[i] = DecodeSignRotatedValue(Record[i]);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000972 V = ConstantInt::get(Context,
Owen Andersoneed707b2009-07-24 23:12:02 +0000973 APInt(cast<IntegerType>(CurTy)->getBitWidth(),
974 NumWords, &Words[0]));
Chris Lattner0eef0802007-04-24 04:04:35 +0000975 break;
976 }
Dale Johannesen3f6eb742007-09-11 18:32:33 +0000977 case bitc::CST_CODE_FLOAT: { // FLOAT: [fpval]
Chris Lattner0eef0802007-04-24 04:04:35 +0000978 if (Record.empty())
979 return Error("Invalid FLOAT record");
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000980 if (CurTy->isFloatTy())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000981 V = ConstantFP::get(Context, APFloat(APInt(32, (uint32_t)Record[0])));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000982 else if (CurTy->isDoubleTy())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000983 V = ConstantFP::get(Context, APFloat(APInt(64, Record[0])));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000984 else if (CurTy->isX86_FP80Ty()) {
Dale Johannesen1b25cb22009-03-23 21:16:53 +0000985 // Bits are not stored the same way as a normal i80 APInt, compensate.
986 uint64_t Rearrange[2];
987 Rearrange[0] = (Record[1] & 0xffffLL) | (Record[0] << 16);
988 Rearrange[1] = Record[0] >> 48;
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000989 V = ConstantFP::get(Context, APFloat(APInt(80, 2, Rearrange)));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000990 } else if (CurTy->isFP128Ty())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000991 V = ConstantFP::get(Context, APFloat(APInt(128, 2, &Record[0]), true));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000992 else if (CurTy->isPPC_FP128Ty())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000993 V = ConstantFP::get(Context, APFloat(APInt(128, 2, &Record[0])));
Chris Lattnere16504e2007-04-24 03:30:34 +0000994 else
Owen Anderson9e9a0d52009-07-30 23:03:37 +0000995 V = UndefValue::get(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +0000996 break;
Dale Johannesen3f6eb742007-09-11 18:32:33 +0000997 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000998
Chris Lattner15e6d172007-05-04 19:11:41 +0000999 case bitc::CST_CODE_AGGREGATE: {// AGGREGATE: [n x value number]
1000 if (Record.empty())
Chris Lattner522b7b12007-04-24 05:48:56 +00001001 return Error("Invalid CST_AGGREGATE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001002
Chris Lattner15e6d172007-05-04 19:11:41 +00001003 unsigned Size = Record.size();
Chris Lattner522b7b12007-04-24 05:48:56 +00001004 std::vector<Constant*> Elts;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001005
Chris Lattner522b7b12007-04-24 05:48:56 +00001006 if (const StructType *STy = dyn_cast<StructType>(CurTy)) {
1007 for (unsigned i = 0; i != Size; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +00001008 Elts.push_back(ValueList.getConstantFwdRef(Record[i],
Chris Lattner522b7b12007-04-24 05:48:56 +00001009 STy->getElementType(i)));
Owen Anderson8fa33382009-07-27 22:29:26 +00001010 V = ConstantStruct::get(STy, Elts);
Chris Lattner522b7b12007-04-24 05:48:56 +00001011 } else if (const ArrayType *ATy = dyn_cast<ArrayType>(CurTy)) {
1012 const Type *EltTy = ATy->getElementType();
1013 for (unsigned i = 0; i != Size; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +00001014 Elts.push_back(ValueList.getConstantFwdRef(Record[i], EltTy));
Owen Anderson1fd70962009-07-28 18:32:17 +00001015 V = ConstantArray::get(ATy, Elts);
Chris Lattner522b7b12007-04-24 05:48:56 +00001016 } else if (const VectorType *VTy = dyn_cast<VectorType>(CurTy)) {
1017 const Type *EltTy = VTy->getElementType();
1018 for (unsigned i = 0; i != Size; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +00001019 Elts.push_back(ValueList.getConstantFwdRef(Record[i], EltTy));
Owen Andersonaf7ec972009-07-28 21:19:26 +00001020 V = ConstantVector::get(Elts);
Chris Lattner522b7b12007-04-24 05:48:56 +00001021 } else {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001022 V = UndefValue::get(CurTy);
Chris Lattner522b7b12007-04-24 05:48:56 +00001023 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001024 break;
1025 }
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001026 case bitc::CST_CODE_STRING: { // STRING: [values]
1027 if (Record.empty())
1028 return Error("Invalid CST_AGGREGATE record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001029
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001030 const ArrayType *ATy = cast<ArrayType>(CurTy);
1031 const Type *EltTy = ATy->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001032
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001033 unsigned Size = Record.size();
1034 std::vector<Constant*> Elts;
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001035 for (unsigned i = 0; i != Size; ++i)
Owen Andersoneed707b2009-07-24 23:12:02 +00001036 Elts.push_back(ConstantInt::get(EltTy, Record[i]));
Owen Anderson1fd70962009-07-28 18:32:17 +00001037 V = ConstantArray::get(ATy, Elts);
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001038 break;
1039 }
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001040 case bitc::CST_CODE_CSTRING: { // CSTRING: [values]
1041 if (Record.empty())
1042 return Error("Invalid CST_AGGREGATE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001043
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001044 const ArrayType *ATy = cast<ArrayType>(CurTy);
1045 const Type *EltTy = ATy->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001046
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001047 unsigned Size = Record.size();
1048 std::vector<Constant*> Elts;
1049 for (unsigned i = 0; i != Size; ++i)
Owen Andersoneed707b2009-07-24 23:12:02 +00001050 Elts.push_back(ConstantInt::get(EltTy, Record[i]));
Owen Andersona7235ea2009-07-31 20:28:14 +00001051 Elts.push_back(Constant::getNullValue(EltTy));
Owen Anderson1fd70962009-07-28 18:32:17 +00001052 V = ConstantArray::get(ATy, Elts);
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001053 break;
1054 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001055 case bitc::CST_CODE_CE_BINOP: { // CE_BINOP: [opcode, opval, opval]
1056 if (Record.size() < 3) return Error("Invalid CE_BINOP record");
1057 int Opc = GetDecodedBinaryOpcode(Record[0], CurTy);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001058 if (Opc < 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001059 V = UndefValue::get(CurTy); // Unknown binop.
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001060 } else {
1061 Constant *LHS = ValueList.getConstantFwdRef(Record[1], CurTy);
1062 Constant *RHS = ValueList.getConstantFwdRef(Record[2], CurTy);
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001063 unsigned Flags = 0;
1064 if (Record.size() >= 4) {
1065 if (Opc == Instruction::Add ||
1066 Opc == Instruction::Sub ||
1067 Opc == Instruction::Mul) {
1068 if (Record[3] & (1 << bitc::OBO_NO_SIGNED_WRAP))
1069 Flags |= OverflowingBinaryOperator::NoSignedWrap;
1070 if (Record[3] & (1 << bitc::OBO_NO_UNSIGNED_WRAP))
1071 Flags |= OverflowingBinaryOperator::NoUnsignedWrap;
1072 } else if (Opc == Instruction::SDiv) {
1073 if (Record[3] & (1 << bitc::SDIV_EXACT))
1074 Flags |= SDivOperator::IsExact;
1075 }
1076 }
1077 V = ConstantExpr::get(Opc, LHS, RHS, Flags);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001078 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001079 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001080 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001081 case bitc::CST_CODE_CE_CAST: { // CE_CAST: [opcode, opty, opval]
1082 if (Record.size() < 3) return Error("Invalid CE_CAST record");
1083 int Opc = GetDecodedCastOpcode(Record[0]);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001084 if (Opc < 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001085 V = UndefValue::get(CurTy); // Unknown cast.
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001086 } else {
1087 const Type *OpTy = getTypeByID(Record[1]);
Chris Lattnerbfcc3802007-05-06 07:33:01 +00001088 if (!OpTy) return Error("Invalid CE_CAST record");
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001089 Constant *Op = ValueList.getConstantFwdRef(Record[2], OpTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001090 V = ConstantExpr::getCast(Opc, Op, CurTy);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001091 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001092 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001093 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001094 case bitc::CST_CODE_CE_INBOUNDS_GEP:
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001095 case bitc::CST_CODE_CE_GEP: { // CE_GEP: [n x operands]
Chris Lattner15e6d172007-05-04 19:11:41 +00001096 if (Record.size() & 1) return Error("Invalid CE_GEP record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001097 SmallVector<Constant*, 16> Elts;
Chris Lattner15e6d172007-05-04 19:11:41 +00001098 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001099 const Type *ElTy = getTypeByID(Record[i]);
1100 if (!ElTy) return Error("Invalid CE_GEP record");
1101 Elts.push_back(ValueList.getConstantFwdRef(Record[i+1], ElTy));
1102 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001103 if (BitCode == bitc::CST_CODE_CE_INBOUNDS_GEP)
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001104 V = ConstantExpr::getInBoundsGetElementPtr(Elts[0], &Elts[1],
1105 Elts.size()-1);
1106 else
1107 V = ConstantExpr::getGetElementPtr(Elts[0], &Elts[1],
1108 Elts.size()-1);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001109 break;
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001110 }
1111 case bitc::CST_CODE_CE_SELECT: // CE_SELECT: [opval#, opval#, opval#]
1112 if (Record.size() < 3) return Error("Invalid CE_SELECT record");
Owen Andersonbaf3c402009-07-29 18:55:55 +00001113 V = ConstantExpr::getSelect(ValueList.getConstantFwdRef(Record[0],
Owen Anderson1d0be152009-08-13 21:58:54 +00001114 Type::getInt1Ty(Context)),
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001115 ValueList.getConstantFwdRef(Record[1],CurTy),
1116 ValueList.getConstantFwdRef(Record[2],CurTy));
1117 break;
1118 case bitc::CST_CODE_CE_EXTRACTELT: { // CE_EXTRACTELT: [opty, opval, opval]
1119 if (Record.size() < 3) return Error("Invalid CE_EXTRACTELT record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001120 const VectorType *OpTy =
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001121 dyn_cast_or_null<VectorType>(getTypeByID(Record[0]));
1122 if (OpTy == 0) return Error("Invalid CE_EXTRACTELT record");
1123 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
Owen Anderson1d0be152009-08-13 21:58:54 +00001124 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], Type::getInt32Ty(Context));
Owen Andersonbaf3c402009-07-29 18:55:55 +00001125 V = ConstantExpr::getExtractElement(Op0, Op1);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001126 break;
1127 }
1128 case bitc::CST_CODE_CE_INSERTELT: { // CE_INSERTELT: [opval, opval, opval]
1129 const VectorType *OpTy = dyn_cast<VectorType>(CurTy);
1130 if (Record.size() < 3 || OpTy == 0)
1131 return Error("Invalid CE_INSERTELT record");
1132 Constant *Op0 = ValueList.getConstantFwdRef(Record[0], OpTy);
1133 Constant *Op1 = ValueList.getConstantFwdRef(Record[1],
1134 OpTy->getElementType());
Owen Anderson1d0be152009-08-13 21:58:54 +00001135 Constant *Op2 = ValueList.getConstantFwdRef(Record[2], Type::getInt32Ty(Context));
Owen Andersonbaf3c402009-07-29 18:55:55 +00001136 V = ConstantExpr::getInsertElement(Op0, Op1, Op2);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001137 break;
1138 }
1139 case bitc::CST_CODE_CE_SHUFFLEVEC: { // CE_SHUFFLEVEC: [opval, opval, opval]
1140 const VectorType *OpTy = dyn_cast<VectorType>(CurTy);
1141 if (Record.size() < 3 || OpTy == 0)
Nate Begeman0f123cf2009-02-12 21:28:33 +00001142 return Error("Invalid CE_SHUFFLEVEC record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001143 Constant *Op0 = ValueList.getConstantFwdRef(Record[0], OpTy);
1144 Constant *Op1 = ValueList.getConstantFwdRef(Record[1], OpTy);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001145 const Type *ShufTy = VectorType::get(Type::getInt32Ty(Context),
Owen Anderson74a77812009-07-07 20:18:58 +00001146 OpTy->getNumElements());
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001147 Constant *Op2 = ValueList.getConstantFwdRef(Record[2], ShufTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001148 V = ConstantExpr::getShuffleVector(Op0, Op1, Op2);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001149 break;
1150 }
Nate Begeman0f123cf2009-02-12 21:28:33 +00001151 case bitc::CST_CODE_CE_SHUFVEC_EX: { // [opty, opval, opval, opval]
1152 const VectorType *RTy = dyn_cast<VectorType>(CurTy);
1153 const VectorType *OpTy = dyn_cast<VectorType>(getTypeByID(Record[0]));
1154 if (Record.size() < 4 || RTy == 0 || OpTy == 0)
1155 return Error("Invalid CE_SHUFVEC_EX record");
1156 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
1157 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], OpTy);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001158 const Type *ShufTy = VectorType::get(Type::getInt32Ty(Context),
Owen Anderson74a77812009-07-07 20:18:58 +00001159 RTy->getNumElements());
Nate Begeman0f123cf2009-02-12 21:28:33 +00001160 Constant *Op2 = ValueList.getConstantFwdRef(Record[3], ShufTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001161 V = ConstantExpr::getShuffleVector(Op0, Op1, Op2);
Nate Begeman0f123cf2009-02-12 21:28:33 +00001162 break;
1163 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001164 case bitc::CST_CODE_CE_CMP: { // CE_CMP: [opty, opval, opval, pred]
1165 if (Record.size() < 4) return Error("Invalid CE_CMP record");
1166 const Type *OpTy = getTypeByID(Record[0]);
1167 if (OpTy == 0) return Error("Invalid CE_CMP record");
1168 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
1169 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], OpTy);
1170
1171 if (OpTy->isFloatingPoint())
Owen Andersonbaf3c402009-07-29 18:55:55 +00001172 V = ConstantExpr::getFCmp(Record[3], Op0, Op1);
Nate Begemanac80ade2008-05-12 19:01:56 +00001173 else
Owen Andersonbaf3c402009-07-29 18:55:55 +00001174 V = ConstantExpr::getICmp(Record[3], Op0, Op1);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001175 break;
Chris Lattner522b7b12007-04-24 05:48:56 +00001176 }
Chris Lattner2bce93a2007-05-06 01:58:20 +00001177 case bitc::CST_CODE_INLINEASM: {
1178 if (Record.size() < 2) return Error("Invalid INLINEASM record");
1179 std::string AsmStr, ConstrStr;
Dale Johannesen43602982009-10-13 20:46:56 +00001180 bool HasSideEffects = Record[0] & 1;
Dale Johannesen8ba2d5b2009-10-21 23:28:00 +00001181 bool IsAlignStack = Record[0] >> 1;
Chris Lattner2bce93a2007-05-06 01:58:20 +00001182 unsigned AsmStrSize = Record[1];
1183 if (2+AsmStrSize >= Record.size())
1184 return Error("Invalid INLINEASM record");
1185 unsigned ConstStrSize = Record[2+AsmStrSize];
1186 if (3+AsmStrSize+ConstStrSize > Record.size())
1187 return Error("Invalid INLINEASM record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001188
Chris Lattner2bce93a2007-05-06 01:58:20 +00001189 for (unsigned i = 0; i != AsmStrSize; ++i)
1190 AsmStr += (char)Record[2+i];
1191 for (unsigned i = 0; i != ConstStrSize; ++i)
1192 ConstrStr += (char)Record[3+AsmStrSize+i];
1193 const PointerType *PTy = cast<PointerType>(CurTy);
1194 V = InlineAsm::get(cast<FunctionType>(PTy->getElementType()),
Dale Johannesen8ba2d5b2009-10-21 23:28:00 +00001195 AsmStr, ConstrStr, HasSideEffects, IsAlignStack);
Chris Lattner2bce93a2007-05-06 01:58:20 +00001196 break;
1197 }
Chris Lattner50b136d2009-10-28 05:53:48 +00001198 case bitc::CST_CODE_BLOCKADDRESS:{
1199 if (Record.size() < 3) return Error("Invalid CE_BLOCKADDRESS record");
1200 const Type *FnTy = getTypeByID(Record[0]);
1201 if (FnTy == 0) return Error("Invalid CE_BLOCKADDRESS record");
1202 Function *Fn =
1203 dyn_cast_or_null<Function>(ValueList.getConstantFwdRef(Record[1],FnTy));
1204 if (Fn == 0) return Error("Invalid CE_BLOCKADDRESS record");
1205
1206 GlobalVariable *FwdRef = new GlobalVariable(*Fn->getParent(),
1207 Type::getInt8Ty(Context),
1208 false, GlobalValue::InternalLinkage,
1209 0, "");
1210 BlockAddrFwdRefs[Fn].push_back(std::make_pair(Record[2], FwdRef));
1211 V = FwdRef;
1212 break;
1213 }
Chris Lattnere16504e2007-04-24 03:30:34 +00001214 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001215
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001216 ValueList.AssignValue(V, NextCstNo);
Chris Lattner522b7b12007-04-24 05:48:56 +00001217 ++NextCstNo;
Chris Lattnere16504e2007-04-24 03:30:34 +00001218 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001219
Chris Lattnerea693df2008-08-21 02:34:16 +00001220 if (NextCstNo != ValueList.size())
1221 return Error("Invalid constant reference!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001222
Chris Lattnerea693df2008-08-21 02:34:16 +00001223 if (Stream.ReadBlockEnd())
1224 return Error("Error at end of constants block");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001225
Chris Lattnerea693df2008-08-21 02:34:16 +00001226 // Once all the constants have been read, go through and resolve forward
1227 // references.
1228 ValueList.ResolveConstantForwardRefs();
1229 return false;
Chris Lattnere16504e2007-04-24 03:30:34 +00001230}
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001231
Chris Lattner980e5aa2007-05-01 05:52:21 +00001232/// RememberAndSkipFunctionBody - When we see the block for a function body,
1233/// remember where it is and then skip it. This lets us lazily deserialize the
1234/// functions.
1235bool BitcodeReader::RememberAndSkipFunctionBody() {
Chris Lattner48f84872007-05-01 04:59:48 +00001236 // Get the function we are talking about.
1237 if (FunctionsWithBodies.empty())
1238 return Error("Insufficient function protos");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001239
Chris Lattner48f84872007-05-01 04:59:48 +00001240 Function *Fn = FunctionsWithBodies.back();
1241 FunctionsWithBodies.pop_back();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001242
Chris Lattner48f84872007-05-01 04:59:48 +00001243 // Save the current stream state.
1244 uint64_t CurBit = Stream.GetCurrentBitNo();
1245 DeferredFunctionInfo[Fn] = std::make_pair(CurBit, Fn->getLinkage());
Daniel Dunbara279bc32009-09-20 02:20:51 +00001246
Chris Lattner48f84872007-05-01 04:59:48 +00001247 // Set the functions linkage to GhostLinkage so we know it is lazily
1248 // deserialized.
1249 Fn->setLinkage(GlobalValue::GhostLinkage);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001250
Chris Lattner48f84872007-05-01 04:59:48 +00001251 // Skip over the function block for now.
1252 if (Stream.SkipBlock())
1253 return Error("Malformed block record");
1254 return false;
1255}
1256
Chris Lattner86697142007-05-01 05:01:34 +00001257bool BitcodeReader::ParseModule(const std::string &ModuleID) {
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001258 // Reject multiple MODULE_BLOCK's in a single bitstream.
1259 if (TheModule)
1260 return Error("Multiple MODULE_BLOCKs in same stream");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001261
Chris Lattnere17b6582007-05-05 00:17:00 +00001262 if (Stream.EnterSubBlock(bitc::MODULE_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001263 return Error("Malformed block record");
1264
1265 // Otherwise, create the module.
Owen Anderson8b477ed2009-07-01 16:58:40 +00001266 TheModule = new Module(ModuleID, Context);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001267
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001268 SmallVector<uint64_t, 64> Record;
1269 std::vector<std::string> SectionTable;
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001270 std::vector<std::string> GCTable;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001271
1272 // Read all the records for this module.
1273 while (!Stream.AtEndOfStream()) {
1274 unsigned Code = Stream.ReadCode();
Chris Lattnere84bcb92007-04-24 00:21:45 +00001275 if (Code == bitc::END_BLOCK) {
Chris Lattner980e5aa2007-05-01 05:52:21 +00001276 if (Stream.ReadBlockEnd())
1277 return Error("Error at end of module block");
1278
1279 // Patch the initializers for globals and aliases up.
Chris Lattner07d98b42007-04-26 02:46:40 +00001280 ResolveGlobalAndAliasInits();
1281 if (!GlobalInits.empty() || !AliasInits.empty())
Chris Lattnere84bcb92007-04-24 00:21:45 +00001282 return Error("Malformed global initializer set");
Chris Lattner48f84872007-05-01 04:59:48 +00001283 if (!FunctionsWithBodies.empty())
1284 return Error("Too few function bodies found");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001285
Chandler Carruth69940402007-08-04 01:51:18 +00001286 // Look for intrinsic functions which need to be upgraded at some point
1287 for (Module::iterator FI = TheModule->begin(), FE = TheModule->end();
1288 FI != FE; ++FI) {
Evan Chengf9b83fc2007-12-17 22:33:23 +00001289 Function* NewFn;
1290 if (UpgradeIntrinsicFunction(FI, NewFn))
Chandler Carruth69940402007-08-04 01:51:18 +00001291 UpgradedIntrinsics.push_back(std::make_pair(FI, NewFn));
1292 }
1293
Chris Lattner980e5aa2007-05-01 05:52:21 +00001294 // Force deallocation of memory for these vectors to favor the client that
1295 // want lazy deserialization.
1296 std::vector<std::pair<GlobalVariable*, unsigned> >().swap(GlobalInits);
1297 std::vector<std::pair<GlobalAlias*, unsigned> >().swap(AliasInits);
1298 std::vector<Function*>().swap(FunctionsWithBodies);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001299 return false;
Chris Lattnere84bcb92007-04-24 00:21:45 +00001300 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001301
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001302 if (Code == bitc::ENTER_SUBBLOCK) {
1303 switch (Stream.ReadSubBlockID()) {
1304 default: // Skip unknown content.
1305 if (Stream.SkipBlock())
1306 return Error("Malformed block record");
1307 break;
Chris Lattner3f799802007-05-05 18:57:30 +00001308 case bitc::BLOCKINFO_BLOCK_ID:
1309 if (Stream.ReadBlockInfoBlock())
1310 return Error("Malformed BlockInfoBlock");
1311 break;
Chris Lattner48c85b82007-05-04 03:30:17 +00001312 case bitc::PARAMATTR_BLOCK_ID:
Devang Patel05988662008-09-25 21:00:45 +00001313 if (ParseAttributeBlock())
Chris Lattner48c85b82007-05-04 03:30:17 +00001314 return true;
1315 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001316 case bitc::TYPE_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001317 if (ParseTypeTable())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001318 return true;
1319 break;
1320 case bitc::TYPE_SYMTAB_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001321 if (ParseTypeSymbolTable())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001322 return true;
1323 break;
Chris Lattner0b2482a2007-04-23 21:26:05 +00001324 case bitc::VALUE_SYMTAB_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001325 if (ParseValueSymbolTable())
Chris Lattner0b2482a2007-04-23 21:26:05 +00001326 return true;
1327 break;
Chris Lattnere16504e2007-04-24 03:30:34 +00001328 case bitc::CONSTANTS_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001329 if (ParseConstants() || ResolveGlobalAndAliasInits())
Chris Lattnere16504e2007-04-24 03:30:34 +00001330 return true;
1331 break;
Devang Patele54abc92009-07-22 17:43:22 +00001332 case bitc::METADATA_BLOCK_ID:
1333 if (ParseMetadata())
1334 return true;
1335 break;
Chris Lattner48f84872007-05-01 04:59:48 +00001336 case bitc::FUNCTION_BLOCK_ID:
1337 // If this is the first function body we've seen, reverse the
1338 // FunctionsWithBodies list.
1339 if (!HasReversedFunctionsWithBodies) {
1340 std::reverse(FunctionsWithBodies.begin(), FunctionsWithBodies.end());
1341 HasReversedFunctionsWithBodies = true;
1342 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001343
Chris Lattner980e5aa2007-05-01 05:52:21 +00001344 if (RememberAndSkipFunctionBody())
Chris Lattner48f84872007-05-01 04:59:48 +00001345 return true;
1346 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001347 }
1348 continue;
1349 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001350
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001351 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +00001352 Stream.ReadAbbrevRecord();
1353 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001354 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001355
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001356 // Read a record.
1357 switch (Stream.ReadRecord(Code, Record)) {
1358 default: break; // Default behavior, ignore unknown content.
1359 case bitc::MODULE_CODE_VERSION: // VERSION: [version#]
1360 if (Record.size() < 1)
1361 return Error("Malformed MODULE_CODE_VERSION");
1362 // Only version #0 is supported so far.
1363 if (Record[0] != 0)
1364 return Error("Unknown bitstream version!");
1365 break;
Chris Lattner15e6d172007-05-04 19:11:41 +00001366 case bitc::MODULE_CODE_TRIPLE: { // TRIPLE: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001367 std::string S;
1368 if (ConvertToString(Record, 0, S))
1369 return Error("Invalid MODULE_CODE_TRIPLE record");
1370 TheModule->setTargetTriple(S);
1371 break;
1372 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001373 case bitc::MODULE_CODE_DATALAYOUT: { // DATALAYOUT: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001374 std::string S;
1375 if (ConvertToString(Record, 0, S))
1376 return Error("Invalid MODULE_CODE_DATALAYOUT record");
1377 TheModule->setDataLayout(S);
1378 break;
1379 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001380 case bitc::MODULE_CODE_ASM: { // ASM: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001381 std::string S;
1382 if (ConvertToString(Record, 0, S))
1383 return Error("Invalid MODULE_CODE_ASM record");
1384 TheModule->setModuleInlineAsm(S);
1385 break;
1386 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001387 case bitc::MODULE_CODE_DEPLIB: { // DEPLIB: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001388 std::string S;
1389 if (ConvertToString(Record, 0, S))
1390 return Error("Invalid MODULE_CODE_DEPLIB record");
1391 TheModule->addLibrary(S);
1392 break;
1393 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001394 case bitc::MODULE_CODE_SECTIONNAME: { // SECTIONNAME: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001395 std::string S;
1396 if (ConvertToString(Record, 0, S))
1397 return Error("Invalid MODULE_CODE_SECTIONNAME record");
1398 SectionTable.push_back(S);
1399 break;
1400 }
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001401 case bitc::MODULE_CODE_GCNAME: { // SECTIONNAME: [strchr x N]
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001402 std::string S;
1403 if (ConvertToString(Record, 0, S))
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001404 return Error("Invalid MODULE_CODE_GCNAME record");
1405 GCTable.push_back(S);
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001406 break;
1407 }
Christopher Lambfe63fb92007-12-11 08:59:05 +00001408 // GLOBALVAR: [pointer type, isconst, initid,
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001409 // linkage, alignment, section, visibility, threadlocal]
1410 case bitc::MODULE_CODE_GLOBALVAR: {
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001411 if (Record.size() < 6)
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001412 return Error("Invalid MODULE_CODE_GLOBALVAR record");
1413 const Type *Ty = getTypeByID(Record[0]);
1414 if (!isa<PointerType>(Ty))
1415 return Error("Global not a pointer type!");
Christopher Lambfe63fb92007-12-11 08:59:05 +00001416 unsigned AddressSpace = cast<PointerType>(Ty)->getAddressSpace();
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001417 Ty = cast<PointerType>(Ty)->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001418
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001419 bool isConstant = Record[1];
1420 GlobalValue::LinkageTypes Linkage = GetDecodedLinkage(Record[3]);
1421 unsigned Alignment = (1 << Record[4]) >> 1;
1422 std::string Section;
1423 if (Record[5]) {
1424 if (Record[5]-1 >= SectionTable.size())
1425 return Error("Invalid section ID");
1426 Section = SectionTable[Record[5]-1];
1427 }
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001428 GlobalValue::VisibilityTypes Visibility = GlobalValue::DefaultVisibility;
Chris Lattner5f32c012007-05-06 19:27:46 +00001429 if (Record.size() > 6)
1430 Visibility = GetDecodedVisibility(Record[6]);
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001431 bool isThreadLocal = false;
Chris Lattner5f32c012007-05-06 19:27:46 +00001432 if (Record.size() > 7)
1433 isThreadLocal = Record[7];
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001434
1435 GlobalVariable *NewGV =
Daniel Dunbara279bc32009-09-20 02:20:51 +00001436 new GlobalVariable(*TheModule, Ty, isConstant, Linkage, 0, "", 0,
Christopher Lambfe63fb92007-12-11 08:59:05 +00001437 isThreadLocal, AddressSpace);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001438 NewGV->setAlignment(Alignment);
1439 if (!Section.empty())
1440 NewGV->setSection(Section);
1441 NewGV->setVisibility(Visibility);
1442 NewGV->setThreadLocal(isThreadLocal);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001443
Chris Lattner0b2482a2007-04-23 21:26:05 +00001444 ValueList.push_back(NewGV);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001445
Chris Lattner6dbfd7b2007-04-24 00:18:21 +00001446 // Remember which value to use for the global initializer.
1447 if (unsigned InitID = Record[2])
1448 GlobalInits.push_back(std::make_pair(NewGV, InitID-1));
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001449 break;
1450 }
Chris Lattnera9bb7132007-05-08 05:38:01 +00001451 // FUNCTION: [type, callingconv, isproto, linkage, paramattr,
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001452 // alignment, section, visibility, gc]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001453 case bitc::MODULE_CODE_FUNCTION: {
Chris Lattnera9bb7132007-05-08 05:38:01 +00001454 if (Record.size() < 8)
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001455 return Error("Invalid MODULE_CODE_FUNCTION record");
1456 const Type *Ty = getTypeByID(Record[0]);
1457 if (!isa<PointerType>(Ty))
1458 return Error("Function not a pointer type!");
1459 const FunctionType *FTy =
1460 dyn_cast<FunctionType>(cast<PointerType>(Ty)->getElementType());
1461 if (!FTy)
1462 return Error("Function not a pointer to function type!");
1463
Gabor Greif051a9502008-04-06 20:25:17 +00001464 Function *Func = Function::Create(FTy, GlobalValue::ExternalLinkage,
1465 "", TheModule);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001466
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00001467 Func->setCallingConv(static_cast<CallingConv::ID>(Record[1]));
Chris Lattner48f84872007-05-01 04:59:48 +00001468 bool isProto = Record[2];
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001469 Func->setLinkage(GetDecodedLinkage(Record[3]));
Devang Patel05988662008-09-25 21:00:45 +00001470 Func->setAttributes(getAttributes(Record[4]));
Daniel Dunbara279bc32009-09-20 02:20:51 +00001471
Chris Lattnera9bb7132007-05-08 05:38:01 +00001472 Func->setAlignment((1 << Record[5]) >> 1);
1473 if (Record[6]) {
1474 if (Record[6]-1 >= SectionTable.size())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001475 return Error("Invalid section ID");
Chris Lattnera9bb7132007-05-08 05:38:01 +00001476 Func->setSection(SectionTable[Record[6]-1]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001477 }
Chris Lattnera9bb7132007-05-08 05:38:01 +00001478 Func->setVisibility(GetDecodedVisibility(Record[7]));
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001479 if (Record.size() > 8 && Record[8]) {
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001480 if (Record[8]-1 > GCTable.size())
1481 return Error("Invalid GC ID");
1482 Func->setGC(GCTable[Record[8]-1].c_str());
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001483 }
Chris Lattner0b2482a2007-04-23 21:26:05 +00001484 ValueList.push_back(Func);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001485
Chris Lattner48f84872007-05-01 04:59:48 +00001486 // If this is a function with a body, remember the prototype we are
1487 // creating now, so that we can match up the body with them later.
1488 if (!isProto)
1489 FunctionsWithBodies.push_back(Func);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001490 break;
1491 }
Anton Korobeynikov91342d82008-03-12 00:49:19 +00001492 // ALIAS: [alias type, aliasee val#, linkage]
Anton Korobeynikovf8342b92008-03-11 21:40:17 +00001493 // ALIAS: [alias type, aliasee val#, linkage, visibility]
Chris Lattner198f34a2007-04-26 03:27:58 +00001494 case bitc::MODULE_CODE_ALIAS: {
Chris Lattner07d98b42007-04-26 02:46:40 +00001495 if (Record.size() < 3)
1496 return Error("Invalid MODULE_ALIAS record");
1497 const Type *Ty = getTypeByID(Record[0]);
1498 if (!isa<PointerType>(Ty))
1499 return Error("Function not a pointer type!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001500
Chris Lattner07d98b42007-04-26 02:46:40 +00001501 GlobalAlias *NewGA = new GlobalAlias(Ty, GetDecodedLinkage(Record[2]),
1502 "", 0, TheModule);
Anton Korobeynikov91342d82008-03-12 00:49:19 +00001503 // Old bitcode files didn't have visibility field.
1504 if (Record.size() > 3)
1505 NewGA->setVisibility(GetDecodedVisibility(Record[3]));
Chris Lattner07d98b42007-04-26 02:46:40 +00001506 ValueList.push_back(NewGA);
1507 AliasInits.push_back(std::make_pair(NewGA, Record[1]));
1508 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001509 }
Chris Lattner198f34a2007-04-26 03:27:58 +00001510 /// MODULE_CODE_PURGEVALS: [numvals]
1511 case bitc::MODULE_CODE_PURGEVALS:
1512 // Trim down the value list to the specified size.
1513 if (Record.size() < 1 || Record[0] > ValueList.size())
1514 return Error("Invalid MODULE_PURGEVALS record");
1515 ValueList.shrinkTo(Record[0]);
1516 break;
1517 }
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001518 Record.clear();
1519 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001520
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001521 return Error("Premature end of bitstream");
1522}
1523
Chris Lattnerc453f762007-04-29 07:54:31 +00001524bool BitcodeReader::ParseBitcode() {
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001525 TheModule = 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001526
Chris Lattnerc453f762007-04-29 07:54:31 +00001527 if (Buffer->getBufferSize() & 3)
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001528 return Error("Bitcode stream should be a multiple of 4 bytes in length");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001529
Chris Lattnerc453f762007-04-29 07:54:31 +00001530 unsigned char *BufPtr = (unsigned char *)Buffer->getBufferStart();
Chris Lattner6fa6a322008-07-09 05:14:23 +00001531 unsigned char *BufEnd = BufPtr+Buffer->getBufferSize();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001532
Chris Lattner6fa6a322008-07-09 05:14:23 +00001533 // If we have a wrapper header, parse it and ignore the non-bc file contents.
1534 // The magic number is 0x0B17C0DE stored in little endian.
Chris Lattnere2a466b2009-04-06 20:54:32 +00001535 if (isBitcodeWrapper(BufPtr, BufEnd))
1536 if (SkipBitcodeWrapperHeader(BufPtr, BufEnd))
Chris Lattner6fa6a322008-07-09 05:14:23 +00001537 return Error("Invalid bitcode wrapper header");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001538
Chris Lattner962dde32009-04-26 20:59:02 +00001539 StreamFile.init(BufPtr, BufEnd);
1540 Stream.init(StreamFile);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001541
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001542 // Sniff for the signature.
1543 if (Stream.Read(8) != 'B' ||
1544 Stream.Read(8) != 'C' ||
1545 Stream.Read(4) != 0x0 ||
1546 Stream.Read(4) != 0xC ||
1547 Stream.Read(4) != 0xE ||
1548 Stream.Read(4) != 0xD)
1549 return Error("Invalid bitcode signature");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001550
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001551 // We expect a number of well-defined blocks, though we don't necessarily
1552 // need to understand them all.
1553 while (!Stream.AtEndOfStream()) {
1554 unsigned Code = Stream.ReadCode();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001555
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001556 if (Code != bitc::ENTER_SUBBLOCK)
1557 return Error("Invalid record at top-level");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001558
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001559 unsigned BlockID = Stream.ReadSubBlockID();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001560
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001561 // We only know the MODULE subblock ID.
Chris Lattnere17b6582007-05-05 00:17:00 +00001562 switch (BlockID) {
1563 case bitc::BLOCKINFO_BLOCK_ID:
1564 if (Stream.ReadBlockInfoBlock())
1565 return Error("Malformed BlockInfoBlock");
1566 break;
1567 case bitc::MODULE_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001568 if (ParseModule(Buffer->getBufferIdentifier()))
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001569 return true;
Chris Lattnere17b6582007-05-05 00:17:00 +00001570 break;
1571 default:
1572 if (Stream.SkipBlock())
1573 return Error("Malformed block record");
1574 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001575 }
1576 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001577
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001578 return false;
1579}
Chris Lattnerc453f762007-04-29 07:54:31 +00001580
Devang Patele8e02132009-09-18 19:26:43 +00001581/// ParseMetadataAttachment - Parse metadata attachments.
1582bool BitcodeReader::ParseMetadataAttachment() {
1583 if (Stream.EnterSubBlock(bitc::METADATA_ATTACHMENT_ID))
1584 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001585
Devang Patele8e02132009-09-18 19:26:43 +00001586 SmallVector<uint64_t, 64> Record;
1587 while(1) {
1588 unsigned Code = Stream.ReadCode();
1589 if (Code == bitc::END_BLOCK) {
1590 if (Stream.ReadBlockEnd())
Daniel Dunbara279bc32009-09-20 02:20:51 +00001591 return Error("Error at end of PARAMATTR block");
Devang Patele8e02132009-09-18 19:26:43 +00001592 break;
1593 }
1594 if (Code == bitc::DEFINE_ABBREV) {
1595 Stream.ReadAbbrevRecord();
1596 continue;
1597 }
1598 // Read a metadata attachment record.
1599 Record.clear();
1600 switch (Stream.ReadRecord(Code, Record)) {
1601 default: // Default behavior: ignore.
1602 break;
1603 case bitc::METADATA_ATTACHMENT: {
1604 unsigned RecordLength = Record.size();
1605 if (Record.empty() || (RecordLength - 1) % 2 == 1)
Daniel Dunbara279bc32009-09-20 02:20:51 +00001606 return Error ("Invalid METADATA_ATTACHMENT reader!");
Devang Patele8e02132009-09-18 19:26:43 +00001607 Instruction *Inst = InstructionList[Record[0]];
1608 for (unsigned i = 1; i != RecordLength; i = i+2) {
Devang Patela2148402009-09-28 21:14:55 +00001609 unsigned Kind = Record[i];
Daniel Dunbara279bc32009-09-20 02:20:51 +00001610 Value *Node = MDValueList.getValueFwdRef(Record[i+1]);
Chris Lattner3990b122009-12-28 23:41:32 +00001611 Inst->setMetadata(Kind, cast<MDNode>(Node));
Devang Patele8e02132009-09-18 19:26:43 +00001612 }
1613 break;
1614 }
1615 }
1616 }
1617 return false;
1618}
Chris Lattner48f84872007-05-01 04:59:48 +00001619
Chris Lattner980e5aa2007-05-01 05:52:21 +00001620/// ParseFunctionBody - Lazily parse the specified function body block.
1621bool BitcodeReader::ParseFunctionBody(Function *F) {
Chris Lattnere17b6582007-05-05 00:17:00 +00001622 if (Stream.EnterSubBlock(bitc::FUNCTION_BLOCK_ID))
Chris Lattner980e5aa2007-05-01 05:52:21 +00001623 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001624
Chris Lattner980e5aa2007-05-01 05:52:21 +00001625 unsigned ModuleValueListSize = ValueList.size();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001626
Chris Lattner980e5aa2007-05-01 05:52:21 +00001627 // Add all the function arguments to the value table.
1628 for(Function::arg_iterator I = F->arg_begin(), E = F->arg_end(); I != E; ++I)
1629 ValueList.push_back(I);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001630
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001631 unsigned NextValueNo = ValueList.size();
Chris Lattner231cbcb2007-05-02 04:27:25 +00001632 BasicBlock *CurBB = 0;
1633 unsigned CurBBNo = 0;
1634
Chris Lattner980e5aa2007-05-01 05:52:21 +00001635 // Read all the records.
1636 SmallVector<uint64_t, 64> Record;
1637 while (1) {
1638 unsigned Code = Stream.ReadCode();
1639 if (Code == bitc::END_BLOCK) {
1640 if (Stream.ReadBlockEnd())
1641 return Error("Error at end of function block");
1642 break;
1643 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001644
Chris Lattner980e5aa2007-05-01 05:52:21 +00001645 if (Code == bitc::ENTER_SUBBLOCK) {
1646 switch (Stream.ReadSubBlockID()) {
1647 default: // Skip unknown content.
1648 if (Stream.SkipBlock())
1649 return Error("Malformed block record");
1650 break;
1651 case bitc::CONSTANTS_BLOCK_ID:
1652 if (ParseConstants()) return true;
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001653 NextValueNo = ValueList.size();
Chris Lattner980e5aa2007-05-01 05:52:21 +00001654 break;
1655 case bitc::VALUE_SYMTAB_BLOCK_ID:
1656 if (ParseValueSymbolTable()) return true;
1657 break;
Devang Patele8e02132009-09-18 19:26:43 +00001658 case bitc::METADATA_ATTACHMENT_ID:
Daniel Dunbara279bc32009-09-20 02:20:51 +00001659 if (ParseMetadataAttachment()) return true;
1660 break;
Chris Lattner980e5aa2007-05-01 05:52:21 +00001661 }
1662 continue;
1663 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001664
Chris Lattner980e5aa2007-05-01 05:52:21 +00001665 if (Code == bitc::DEFINE_ABBREV) {
1666 Stream.ReadAbbrevRecord();
1667 continue;
1668 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001669
Chris Lattner980e5aa2007-05-01 05:52:21 +00001670 // Read a record.
1671 Record.clear();
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001672 Instruction *I = 0;
Dan Gohman1224c382009-07-20 21:19:07 +00001673 unsigned BitCode = Stream.ReadRecord(Code, Record);
1674 switch (BitCode) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001675 default: // Default behavior: reject
1676 return Error("Unknown instruction");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001677 case bitc::FUNC_CODE_DECLAREBLOCKS: // DECLAREBLOCKS: [nblocks]
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001678 if (Record.size() < 1 || Record[0] == 0)
1679 return Error("Invalid DECLAREBLOCKS record");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001680 // Create all the basic blocks for the function.
Chris Lattnerf61e6452007-05-03 22:09:51 +00001681 FunctionBBs.resize(Record[0]);
Chris Lattner980e5aa2007-05-01 05:52:21 +00001682 for (unsigned i = 0, e = FunctionBBs.size(); i != e; ++i)
Owen Anderson1d0be152009-08-13 21:58:54 +00001683 FunctionBBs[i] = BasicBlock::Create(Context, "", F);
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001684 CurBB = FunctionBBs[0];
1685 continue;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001686
Chris Lattnerabfbf852007-05-06 00:21:25 +00001687 case bitc::FUNC_CODE_INST_BINOP: { // BINOP: [opval, ty, opval, opcode]
1688 unsigned OpNum = 0;
1689 Value *LHS, *RHS;
1690 if (getValueTypePair(Record, OpNum, NextValueNo, LHS) ||
1691 getValue(Record, OpNum, LHS->getType(), RHS) ||
Dan Gohman1224c382009-07-20 21:19:07 +00001692 OpNum+1 > Record.size())
Chris Lattnerabfbf852007-05-06 00:21:25 +00001693 return Error("Invalid BINOP record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001694
Dan Gohman1224c382009-07-20 21:19:07 +00001695 int Opc = GetDecodedBinaryOpcode(Record[OpNum++], LHS->getType());
Chris Lattnerabfbf852007-05-06 00:21:25 +00001696 if (Opc == -1) return Error("Invalid BINOP record");
Gabor Greif7cbd8a32008-05-16 19:29:10 +00001697 I = BinaryOperator::Create((Instruction::BinaryOps)Opc, LHS, RHS);
Devang Patele8e02132009-09-18 19:26:43 +00001698 InstructionList.push_back(I);
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001699 if (OpNum < Record.size()) {
1700 if (Opc == Instruction::Add ||
1701 Opc == Instruction::Sub ||
1702 Opc == Instruction::Mul) {
1703 if (Record[3] & (1 << bitc::OBO_NO_SIGNED_WRAP))
1704 cast<BinaryOperator>(I)->setHasNoSignedWrap(true);
1705 if (Record[3] & (1 << bitc::OBO_NO_UNSIGNED_WRAP))
1706 cast<BinaryOperator>(I)->setHasNoUnsignedWrap(true);
1707 } else if (Opc == Instruction::SDiv) {
1708 if (Record[3] & (1 << bitc::SDIV_EXACT))
1709 cast<BinaryOperator>(I)->setIsExact(true);
1710 }
1711 }
Chris Lattner980e5aa2007-05-01 05:52:21 +00001712 break;
1713 }
Chris Lattnerabfbf852007-05-06 00:21:25 +00001714 case bitc::FUNC_CODE_INST_CAST: { // CAST: [opval, opty, destty, castopc]
1715 unsigned OpNum = 0;
1716 Value *Op;
1717 if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
1718 OpNum+2 != Record.size())
1719 return Error("Invalid CAST record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001720
Chris Lattnerabfbf852007-05-06 00:21:25 +00001721 const Type *ResTy = getTypeByID(Record[OpNum]);
1722 int Opc = GetDecodedCastOpcode(Record[OpNum+1]);
1723 if (Opc == -1 || ResTy == 0)
Chris Lattner231cbcb2007-05-02 04:27:25 +00001724 return Error("Invalid CAST record");
Gabor Greif7cbd8a32008-05-16 19:29:10 +00001725 I = CastInst::Create((Instruction::CastOps)Opc, Op, ResTy);
Devang Patele8e02132009-09-18 19:26:43 +00001726 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00001727 break;
1728 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001729 case bitc::FUNC_CODE_INST_INBOUNDS_GEP:
Chris Lattner15e6d172007-05-04 19:11:41 +00001730 case bitc::FUNC_CODE_INST_GEP: { // GEP: [n x operands]
Chris Lattner7337ab92007-05-06 00:00:00 +00001731 unsigned OpNum = 0;
1732 Value *BasePtr;
1733 if (getValueTypePair(Record, OpNum, NextValueNo, BasePtr))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001734 return Error("Invalid GEP record");
1735
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001736 SmallVector<Value*, 16> GEPIdx;
Chris Lattner7337ab92007-05-06 00:00:00 +00001737 while (OpNum != Record.size()) {
1738 Value *Op;
1739 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001740 return Error("Invalid GEP record");
Chris Lattner7337ab92007-05-06 00:00:00 +00001741 GEPIdx.push_back(Op);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001742 }
1743
Gabor Greif051a9502008-04-06 20:25:17 +00001744 I = GetElementPtrInst::Create(BasePtr, GEPIdx.begin(), GEPIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001745 InstructionList.push_back(I);
Dan Gohmandd8004d2009-07-27 21:53:46 +00001746 if (BitCode == bitc::FUNC_CODE_INST_INBOUNDS_GEP)
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001747 cast<GetElementPtrInst>(I)->setIsInBounds(true);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001748 break;
1749 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001750
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001751 case bitc::FUNC_CODE_INST_EXTRACTVAL: {
1752 // EXTRACTVAL: [opty, opval, n x indices]
Dan Gohmane4977cf2008-05-23 01:55:30 +00001753 unsigned OpNum = 0;
1754 Value *Agg;
1755 if (getValueTypePair(Record, OpNum, NextValueNo, Agg))
1756 return Error("Invalid EXTRACTVAL record");
1757
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001758 SmallVector<unsigned, 4> EXTRACTVALIdx;
1759 for (unsigned RecSize = Record.size();
1760 OpNum != RecSize; ++OpNum) {
1761 uint64_t Index = Record[OpNum];
1762 if ((unsigned)Index != Index)
1763 return Error("Invalid EXTRACTVAL index");
1764 EXTRACTVALIdx.push_back((unsigned)Index);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001765 }
1766
1767 I = ExtractValueInst::Create(Agg,
1768 EXTRACTVALIdx.begin(), EXTRACTVALIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001769 InstructionList.push_back(I);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001770 break;
1771 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001772
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001773 case bitc::FUNC_CODE_INST_INSERTVAL: {
1774 // INSERTVAL: [opty, opval, opty, opval, n x indices]
Dan Gohmane4977cf2008-05-23 01:55:30 +00001775 unsigned OpNum = 0;
1776 Value *Agg;
1777 if (getValueTypePair(Record, OpNum, NextValueNo, Agg))
1778 return Error("Invalid INSERTVAL record");
1779 Value *Val;
1780 if (getValueTypePair(Record, OpNum, NextValueNo, Val))
1781 return Error("Invalid INSERTVAL record");
1782
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001783 SmallVector<unsigned, 4> INSERTVALIdx;
1784 for (unsigned RecSize = Record.size();
1785 OpNum != RecSize; ++OpNum) {
1786 uint64_t Index = Record[OpNum];
1787 if ((unsigned)Index != Index)
1788 return Error("Invalid INSERTVAL index");
1789 INSERTVALIdx.push_back((unsigned)Index);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001790 }
1791
1792 I = InsertValueInst::Create(Agg, Val,
1793 INSERTVALIdx.begin(), INSERTVALIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001794 InstructionList.push_back(I);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001795 break;
1796 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001797
Chris Lattnerabfbf852007-05-06 00:21:25 +00001798 case bitc::FUNC_CODE_INST_SELECT: { // SELECT: [opval, ty, opval, opval]
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001799 // obsolete form of select
1800 // handles select i1 ... in old bitcode
Chris Lattnerabfbf852007-05-06 00:21:25 +00001801 unsigned OpNum = 0;
1802 Value *TrueVal, *FalseVal, *Cond;
1803 if (getValueTypePair(Record, OpNum, NextValueNo, TrueVal) ||
1804 getValue(Record, OpNum, TrueVal->getType(), FalseVal) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00001805 getValue(Record, OpNum, Type::getInt1Ty(Context), Cond))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001806 return Error("Invalid SELECT record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001807
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001808 I = SelectInst::Create(Cond, TrueVal, FalseVal);
Devang Patele8e02132009-09-18 19:26:43 +00001809 InstructionList.push_back(I);
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001810 break;
1811 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001812
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001813 case bitc::FUNC_CODE_INST_VSELECT: {// VSELECT: [ty,opval,opval,predty,pred]
1814 // new form of select
1815 // handles select i1 or select [N x i1]
1816 unsigned OpNum = 0;
1817 Value *TrueVal, *FalseVal, *Cond;
1818 if (getValueTypePair(Record, OpNum, NextValueNo, TrueVal) ||
1819 getValue(Record, OpNum, TrueVal->getType(), FalseVal) ||
1820 getValueTypePair(Record, OpNum, NextValueNo, Cond))
1821 return Error("Invalid SELECT record");
Dan Gohmanf72fb672008-09-09 01:02:47 +00001822
1823 // select condition can be either i1 or [N x i1]
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001824 if (const VectorType* vector_type =
1825 dyn_cast<const VectorType>(Cond->getType())) {
Dan Gohmanf72fb672008-09-09 01:02:47 +00001826 // expect <n x i1>
Daniel Dunbara279bc32009-09-20 02:20:51 +00001827 if (vector_type->getElementType() != Type::getInt1Ty(Context))
Dan Gohmanf72fb672008-09-09 01:02:47 +00001828 return Error("Invalid SELECT condition type");
1829 } else {
1830 // expect i1
Daniel Dunbara279bc32009-09-20 02:20:51 +00001831 if (Cond->getType() != Type::getInt1Ty(Context))
Dan Gohmanf72fb672008-09-09 01:02:47 +00001832 return Error("Invalid SELECT condition type");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001833 }
1834
Gabor Greif051a9502008-04-06 20:25:17 +00001835 I = SelectInst::Create(Cond, TrueVal, FalseVal);
Devang Patele8e02132009-09-18 19:26:43 +00001836 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001837 break;
1838 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001839
Chris Lattner01ff65f2007-05-02 05:16:49 +00001840 case bitc::FUNC_CODE_INST_EXTRACTELT: { // EXTRACTELT: [opty, opval, opval]
Chris Lattnerabfbf852007-05-06 00:21:25 +00001841 unsigned OpNum = 0;
1842 Value *Vec, *Idx;
1843 if (getValueTypePair(Record, OpNum, NextValueNo, Vec) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00001844 getValue(Record, OpNum, Type::getInt32Ty(Context), Idx))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001845 return Error("Invalid EXTRACTELT record");
Eric Christophera3500da2009-07-25 02:28:41 +00001846 I = ExtractElementInst::Create(Vec, Idx);
Devang Patele8e02132009-09-18 19:26:43 +00001847 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001848 break;
1849 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001850
Chris Lattner01ff65f2007-05-02 05:16:49 +00001851 case bitc::FUNC_CODE_INST_INSERTELT: { // INSERTELT: [ty, opval,opval,opval]
Chris Lattnerabfbf852007-05-06 00:21:25 +00001852 unsigned OpNum = 0;
1853 Value *Vec, *Elt, *Idx;
1854 if (getValueTypePair(Record, OpNum, NextValueNo, Vec) ||
Daniel Dunbara279bc32009-09-20 02:20:51 +00001855 getValue(Record, OpNum,
Chris Lattnerabfbf852007-05-06 00:21:25 +00001856 cast<VectorType>(Vec->getType())->getElementType(), Elt) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00001857 getValue(Record, OpNum, Type::getInt32Ty(Context), Idx))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001858 return Error("Invalid INSERTELT record");
Gabor Greif051a9502008-04-06 20:25:17 +00001859 I = InsertElementInst::Create(Vec, Elt, Idx);
Devang Patele8e02132009-09-18 19:26:43 +00001860 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001861 break;
1862 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001863
Chris Lattnerabfbf852007-05-06 00:21:25 +00001864 case bitc::FUNC_CODE_INST_SHUFFLEVEC: {// SHUFFLEVEC: [opval,ty,opval,opval]
1865 unsigned OpNum = 0;
1866 Value *Vec1, *Vec2, *Mask;
1867 if (getValueTypePair(Record, OpNum, NextValueNo, Vec1) ||
1868 getValue(Record, OpNum, Vec1->getType(), Vec2))
1869 return Error("Invalid SHUFFLEVEC record");
1870
Mon P Wangaeb06d22008-11-10 04:46:22 +00001871 if (getValueTypePair(Record, OpNum, NextValueNo, Mask))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001872 return Error("Invalid SHUFFLEVEC record");
1873 I = new ShuffleVectorInst(Vec1, Vec2, Mask);
Devang Patele8e02132009-09-18 19:26:43 +00001874 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001875 break;
1876 }
Mon P Wangaeb06d22008-11-10 04:46:22 +00001877
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00001878 case bitc::FUNC_CODE_INST_CMP: // CMP: [opty, opval, opval, pred]
1879 // Old form of ICmp/FCmp returning bool
1880 // Existed to differentiate between icmp/fcmp and vicmp/vfcmp which were
1881 // both legal on vectors but had different behaviour.
1882 case bitc::FUNC_CODE_INST_CMP2: { // CMP2: [opty, opval, opval, pred]
1883 // FCmp/ICmp returning bool or vector of bool
1884
Chris Lattner7337ab92007-05-06 00:00:00 +00001885 unsigned OpNum = 0;
1886 Value *LHS, *RHS;
1887 if (getValueTypePair(Record, OpNum, NextValueNo, LHS) ||
1888 getValue(Record, OpNum, LHS->getType(), RHS) ||
1889 OpNum+1 != Record.size())
Chris Lattner01ff65f2007-05-02 05:16:49 +00001890 return Error("Invalid CMP record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001891
Dan Gohmanf72fb672008-09-09 01:02:47 +00001892 if (LHS->getType()->isFPOrFPVector())
Dan Gohman1c8a23c2009-08-25 23:17:54 +00001893 I = new FCmpInst((FCmpInst::Predicate)Record[OpNum], LHS, RHS);
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00001894 else
Dan Gohman1c8a23c2009-08-25 23:17:54 +00001895 I = new ICmpInst((ICmpInst::Predicate)Record[OpNum], LHS, RHS);
Devang Patele8e02132009-09-18 19:26:43 +00001896 InstructionList.push_back(I);
Dan Gohmanf72fb672008-09-09 01:02:47 +00001897 break;
1898 }
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00001899
Devang Patel197be3d2008-02-22 02:49:49 +00001900 case bitc::FUNC_CODE_INST_GETRESULT: { // GETRESULT: [ty, val, n]
1901 if (Record.size() != 2)
1902 return Error("Invalid GETRESULT record");
1903 unsigned OpNum = 0;
1904 Value *Op;
1905 getValueTypePair(Record, OpNum, NextValueNo, Op);
1906 unsigned Index = Record[1];
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001907 I = ExtractValueInst::Create(Op, Index);
Devang Patele8e02132009-09-18 19:26:43 +00001908 InstructionList.push_back(I);
Devang Patel197be3d2008-02-22 02:49:49 +00001909 break;
1910 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001911
Chris Lattner231cbcb2007-05-02 04:27:25 +00001912 case bitc::FUNC_CODE_INST_RET: // RET: [opty,opval<optional>]
Devang Pateld9d99ff2008-02-26 01:29:32 +00001913 {
1914 unsigned Size = Record.size();
1915 if (Size == 0) {
Owen Anderson1d0be152009-08-13 21:58:54 +00001916 I = ReturnInst::Create(Context);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001917 InstructionList.push_back(I);
Devang Pateld9d99ff2008-02-26 01:29:32 +00001918 break;
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001919 }
Devang Pateld9d99ff2008-02-26 01:29:32 +00001920
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001921 unsigned OpNum = 0;
1922 SmallVector<Value *,4> Vs;
1923 do {
1924 Value *Op = NULL;
1925 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
1926 return Error("Invalid RET record");
1927 Vs.push_back(Op);
1928 } while(OpNum != Record.size());
1929
1930 const Type *ReturnType = F->getReturnType();
1931 if (Vs.size() > 1 ||
1932 (isa<StructType>(ReturnType) &&
1933 (Vs.empty() || Vs[0]->getType() != ReturnType))) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001934 Value *RV = UndefValue::get(ReturnType);
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001935 for (unsigned i = 0, e = Vs.size(); i != e; ++i) {
1936 I = InsertValueInst::Create(RV, Vs[i], i, "mrv");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001937 InstructionList.push_back(I);
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001938 CurBB->getInstList().push_back(I);
1939 ValueList.AssignValue(I, NextValueNo++);
1940 RV = I;
1941 }
Owen Anderson1d0be152009-08-13 21:58:54 +00001942 I = ReturnInst::Create(Context, RV);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001943 InstructionList.push_back(I);
Devang Pateld9d99ff2008-02-26 01:29:32 +00001944 break;
1945 }
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001946
Owen Anderson1d0be152009-08-13 21:58:54 +00001947 I = ReturnInst::Create(Context, Vs[0]);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001948 InstructionList.push_back(I);
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001949 break;
Chris Lattner231cbcb2007-05-02 04:27:25 +00001950 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001951 case bitc::FUNC_CODE_INST_BR: { // BR: [bb#, bb#, opval] or [bb#]
Chris Lattnerf61e6452007-05-03 22:09:51 +00001952 if (Record.size() != 1 && Record.size() != 3)
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001953 return Error("Invalid BR record");
1954 BasicBlock *TrueDest = getBasicBlock(Record[0]);
1955 if (TrueDest == 0)
1956 return Error("Invalid BR record");
1957
Devang Patele8e02132009-09-18 19:26:43 +00001958 if (Record.size() == 1) {
Gabor Greif051a9502008-04-06 20:25:17 +00001959 I = BranchInst::Create(TrueDest);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001960 InstructionList.push_back(I);
Devang Patele8e02132009-09-18 19:26:43 +00001961 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001962 else {
1963 BasicBlock *FalseDest = getBasicBlock(Record[1]);
Owen Anderson1d0be152009-08-13 21:58:54 +00001964 Value *Cond = getFnValueByID(Record[2], Type::getInt1Ty(Context));
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001965 if (FalseDest == 0 || Cond == 0)
1966 return Error("Invalid BR record");
Gabor Greif051a9502008-04-06 20:25:17 +00001967 I = BranchInst::Create(TrueDest, FalseDest, Cond);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001968 InstructionList.push_back(I);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001969 }
1970 break;
1971 }
Chris Lattnerf9be95f2009-10-27 19:13:16 +00001972 case bitc::FUNC_CODE_INST_SWITCH: { // SWITCH: [opty, op0, op1, ...]
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001973 if (Record.size() < 3 || (Record.size() & 1) == 0)
1974 return Error("Invalid SWITCH record");
1975 const Type *OpTy = getTypeByID(Record[0]);
1976 Value *Cond = getFnValueByID(Record[1], OpTy);
1977 BasicBlock *Default = getBasicBlock(Record[2]);
1978 if (OpTy == 0 || Cond == 0 || Default == 0)
1979 return Error("Invalid SWITCH record");
1980 unsigned NumCases = (Record.size()-3)/2;
Gabor Greif051a9502008-04-06 20:25:17 +00001981 SwitchInst *SI = SwitchInst::Create(Cond, Default, NumCases);
Devang Patele8e02132009-09-18 19:26:43 +00001982 InstructionList.push_back(SI);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001983 for (unsigned i = 0, e = NumCases; i != e; ++i) {
Daniel Dunbara279bc32009-09-20 02:20:51 +00001984 ConstantInt *CaseVal =
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001985 dyn_cast_or_null<ConstantInt>(getFnValueByID(Record[3+i*2], OpTy));
1986 BasicBlock *DestBB = getBasicBlock(Record[1+3+i*2]);
1987 if (CaseVal == 0 || DestBB == 0) {
1988 delete SI;
1989 return Error("Invalid SWITCH record!");
1990 }
1991 SI->addCase(CaseVal, DestBB);
1992 }
1993 I = SI;
1994 break;
1995 }
Chris Lattnerab21db72009-10-28 00:19:10 +00001996 case bitc::FUNC_CODE_INST_INDIRECTBR: { // INDIRECTBR: [opty, op0, op1, ...]
Chris Lattnerf9be95f2009-10-27 19:13:16 +00001997 if (Record.size() < 2)
Chris Lattnerab21db72009-10-28 00:19:10 +00001998 return Error("Invalid INDIRECTBR record");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00001999 const Type *OpTy = getTypeByID(Record[0]);
2000 Value *Address = getFnValueByID(Record[1], OpTy);
2001 if (OpTy == 0 || Address == 0)
Chris Lattnerab21db72009-10-28 00:19:10 +00002002 return Error("Invalid INDIRECTBR record");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002003 unsigned NumDests = Record.size()-2;
Chris Lattnerab21db72009-10-28 00:19:10 +00002004 IndirectBrInst *IBI = IndirectBrInst::Create(Address, NumDests);
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002005 InstructionList.push_back(IBI);
2006 for (unsigned i = 0, e = NumDests; i != e; ++i) {
2007 if (BasicBlock *DestBB = getBasicBlock(Record[2+i])) {
2008 IBI->addDestination(DestBB);
2009 } else {
2010 delete IBI;
Chris Lattnerab21db72009-10-28 00:19:10 +00002011 return Error("Invalid INDIRECTBR record!");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002012 }
2013 }
2014 I = IBI;
2015 break;
2016 }
2017
Duncan Sandsdc024672007-11-27 13:23:08 +00002018 case bitc::FUNC_CODE_INST_INVOKE: {
2019 // INVOKE: [attrs, cc, normBB, unwindBB, fnty, op0,op1,op2, ...]
Chris Lattnera9bb7132007-05-08 05:38:01 +00002020 if (Record.size() < 4) return Error("Invalid INVOKE record");
Devang Patel05988662008-09-25 21:00:45 +00002021 AttrListPtr PAL = getAttributes(Record[0]);
Chris Lattnera9bb7132007-05-08 05:38:01 +00002022 unsigned CCInfo = Record[1];
2023 BasicBlock *NormalBB = getBasicBlock(Record[2]);
2024 BasicBlock *UnwindBB = getBasicBlock(Record[3]);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002025
Chris Lattnera9bb7132007-05-08 05:38:01 +00002026 unsigned OpNum = 4;
Chris Lattner7337ab92007-05-06 00:00:00 +00002027 Value *Callee;
2028 if (getValueTypePair(Record, OpNum, NextValueNo, Callee))
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002029 return Error("Invalid INVOKE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002030
Chris Lattner7337ab92007-05-06 00:00:00 +00002031 const PointerType *CalleeTy = dyn_cast<PointerType>(Callee->getType());
2032 const FunctionType *FTy = !CalleeTy ? 0 :
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002033 dyn_cast<FunctionType>(CalleeTy->getElementType());
2034
2035 // Check that the right number of fixed parameters are here.
Chris Lattner7337ab92007-05-06 00:00:00 +00002036 if (FTy == 0 || NormalBB == 0 || UnwindBB == 0 ||
2037 Record.size() < OpNum+FTy->getNumParams())
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002038 return Error("Invalid INVOKE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002039
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002040 SmallVector<Value*, 16> Ops;
Chris Lattner7337ab92007-05-06 00:00:00 +00002041 for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i, ++OpNum) {
2042 Ops.push_back(getFnValueByID(Record[OpNum], FTy->getParamType(i)));
2043 if (Ops.back() == 0) return Error("Invalid INVOKE record");
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002044 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002045
Chris Lattner7337ab92007-05-06 00:00:00 +00002046 if (!FTy->isVarArg()) {
2047 if (Record.size() != OpNum)
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002048 return Error("Invalid INVOKE record");
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002049 } else {
Chris Lattner7337ab92007-05-06 00:00:00 +00002050 // Read type/value pairs for varargs params.
2051 while (OpNum != Record.size()) {
2052 Value *Op;
2053 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
2054 return Error("Invalid INVOKE record");
2055 Ops.push_back(Op);
2056 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002057 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002058
Gabor Greifb1dbcd82008-05-15 10:04:30 +00002059 I = InvokeInst::Create(Callee, NormalBB, UnwindBB,
2060 Ops.begin(), Ops.end());
Devang Patele8e02132009-09-18 19:26:43 +00002061 InstructionList.push_back(I);
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00002062 cast<InvokeInst>(I)->setCallingConv(
2063 static_cast<CallingConv::ID>(CCInfo));
Devang Patel05988662008-09-25 21:00:45 +00002064 cast<InvokeInst>(I)->setAttributes(PAL);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002065 break;
2066 }
Chris Lattner231cbcb2007-05-02 04:27:25 +00002067 case bitc::FUNC_CODE_INST_UNWIND: // UNWIND
Owen Anderson1d0be152009-08-13 21:58:54 +00002068 I = new UnwindInst(Context);
Devang Patele8e02132009-09-18 19:26:43 +00002069 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00002070 break;
2071 case bitc::FUNC_CODE_INST_UNREACHABLE: // UNREACHABLE
Owen Anderson1d0be152009-08-13 21:58:54 +00002072 I = new UnreachableInst(Context);
Devang Patele8e02132009-09-18 19:26:43 +00002073 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00002074 break;
Chris Lattnerabfbf852007-05-06 00:21:25 +00002075 case bitc::FUNC_CODE_INST_PHI: { // PHI: [ty, val0,bb0, ...]
Chris Lattner15e6d172007-05-04 19:11:41 +00002076 if (Record.size() < 1 || ((Record.size()-1)&1))
Chris Lattner2a98cca2007-05-03 18:58:09 +00002077 return Error("Invalid PHI record");
2078 const Type *Ty = getTypeByID(Record[0]);
2079 if (!Ty) return Error("Invalid PHI record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002080
Gabor Greif051a9502008-04-06 20:25:17 +00002081 PHINode *PN = PHINode::Create(Ty);
Devang Patele8e02132009-09-18 19:26:43 +00002082 InstructionList.push_back(PN);
Chris Lattner86941612008-04-13 00:14:42 +00002083 PN->reserveOperandSpace((Record.size()-1)/2);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002084
Chris Lattner15e6d172007-05-04 19:11:41 +00002085 for (unsigned i = 0, e = Record.size()-1; i != e; i += 2) {
2086 Value *V = getFnValueByID(Record[1+i], Ty);
2087 BasicBlock *BB = getBasicBlock(Record[2+i]);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002088 if (!V || !BB) return Error("Invalid PHI record");
2089 PN->addIncoming(V, BB);
2090 }
2091 I = PN;
2092 break;
2093 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002094
Chris Lattner2a98cca2007-05-03 18:58:09 +00002095 case bitc::FUNC_CODE_INST_MALLOC: { // MALLOC: [instty, op, align]
Victor Hernandez13ad5aa2009-10-17 00:00:19 +00002096 // Autoupgrade malloc instruction to malloc call.
Victor Hernandez68afa542009-10-21 19:11:40 +00002097 // FIXME: Remove in LLVM 3.0.
Chris Lattner2a98cca2007-05-03 18:58:09 +00002098 if (Record.size() < 3)
2099 return Error("Invalid MALLOC record");
2100 const PointerType *Ty =
2101 dyn_cast_or_null<PointerType>(getTypeByID(Record[0]));
Owen Anderson1d0be152009-08-13 21:58:54 +00002102 Value *Size = getFnValueByID(Record[1], Type::getInt32Ty(Context));
Chris Lattner2a98cca2007-05-03 18:58:09 +00002103 if (!Ty || !Size) return Error("Invalid MALLOC record");
Victor Hernandez13ad5aa2009-10-17 00:00:19 +00002104 if (!CurBB) return Error("Invalid malloc instruction with no BB");
Victor Hernandez68afa542009-10-21 19:11:40 +00002105 const Type *Int32Ty = IntegerType::getInt32Ty(CurBB->getContext());
Victor Hernandez9d0b7042009-11-07 00:16:28 +00002106 Constant *AllocSize = ConstantExpr::getSizeOf(Ty->getElementType());
2107 AllocSize = ConstantExpr::getTruncOrBitCast(AllocSize, Int32Ty);
Victor Hernandez68afa542009-10-21 19:11:40 +00002108 I = CallInst::CreateMalloc(CurBB, Int32Ty, Ty->getElementType(),
Victor Hernandez9d0b7042009-11-07 00:16:28 +00002109 AllocSize, Size, NULL);
Devang Patele8e02132009-09-18 19:26:43 +00002110 InstructionList.push_back(I);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002111 break;
2112 }
Chris Lattnerabfbf852007-05-06 00:21:25 +00002113 case bitc::FUNC_CODE_INST_FREE: { // FREE: [op, opty]
2114 unsigned OpNum = 0;
2115 Value *Op;
2116 if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
2117 OpNum != Record.size())
Chris Lattner2a98cca2007-05-03 18:58:09 +00002118 return Error("Invalid FREE record");
Victor Hernandez66284e02009-10-24 04:23:03 +00002119 if (!CurBB) return Error("Invalid free instruction with no BB");
2120 I = CallInst::CreateFree(Op, CurBB);
Devang Patele8e02132009-09-18 19:26:43 +00002121 InstructionList.push_back(I);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002122 break;
2123 }
2124 case bitc::FUNC_CODE_INST_ALLOCA: { // ALLOCA: [instty, op, align]
2125 if (Record.size() < 3)
2126 return Error("Invalid ALLOCA record");
2127 const PointerType *Ty =
2128 dyn_cast_or_null<PointerType>(getTypeByID(Record[0]));
Owen Anderson1d0be152009-08-13 21:58:54 +00002129 Value *Size = getFnValueByID(Record[1], Type::getInt32Ty(Context));
Chris Lattner2a98cca2007-05-03 18:58:09 +00002130 unsigned Align = Record[2];
2131 if (!Ty || !Size) return Error("Invalid ALLOCA record");
Owen Anderson50dead02009-07-15 23:53:25 +00002132 I = new AllocaInst(Ty->getElementType(), Size, (1 << Align) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002133 InstructionList.push_back(I);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002134 break;
2135 }
Chris Lattner0579f7f2007-05-03 22:04:19 +00002136 case bitc::FUNC_CODE_INST_LOAD: { // LOAD: [opty, op, align, vol]
Chris Lattner7337ab92007-05-06 00:00:00 +00002137 unsigned OpNum = 0;
2138 Value *Op;
2139 if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
2140 OpNum+2 != Record.size())
Chris Lattnerabfbf852007-05-06 00:21:25 +00002141 return Error("Invalid LOAD record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002142
Chris Lattner7337ab92007-05-06 00:00:00 +00002143 I = new LoadInst(Op, "", Record[OpNum+1], (1 << Record[OpNum]) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002144 InstructionList.push_back(I);
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002145 break;
Chris Lattner0579f7f2007-05-03 22:04:19 +00002146 }
Christopher Lambfe63fb92007-12-11 08:59:05 +00002147 case bitc::FUNC_CODE_INST_STORE2: { // STORE2:[ptrty, ptr, val, align, vol]
2148 unsigned OpNum = 0;
2149 Value *Val, *Ptr;
2150 if (getValueTypePair(Record, OpNum, NextValueNo, Ptr) ||
Daniel Dunbara279bc32009-09-20 02:20:51 +00002151 getValue(Record, OpNum,
Christopher Lambfe63fb92007-12-11 08:59:05 +00002152 cast<PointerType>(Ptr->getType())->getElementType(), Val) ||
2153 OpNum+2 != Record.size())
2154 return Error("Invalid STORE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002155
Christopher Lambfe63fb92007-12-11 08:59:05 +00002156 I = new StoreInst(Val, Ptr, Record[OpNum+1], (1 << Record[OpNum]) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002157 InstructionList.push_back(I);
Christopher Lambfe63fb92007-12-11 08:59:05 +00002158 break;
2159 }
Chris Lattnerabfbf852007-05-06 00:21:25 +00002160 case bitc::FUNC_CODE_INST_STORE: { // STORE:[val, valty, ptr, align, vol]
Christopher Lambfe63fb92007-12-11 08:59:05 +00002161 // FIXME: Legacy form of store instruction. Should be removed in LLVM 3.0.
Chris Lattnerabfbf852007-05-06 00:21:25 +00002162 unsigned OpNum = 0;
2163 Value *Val, *Ptr;
2164 if (getValueTypePair(Record, OpNum, NextValueNo, Val) ||
Daniel Dunbara279bc32009-09-20 02:20:51 +00002165 getValue(Record, OpNum,
Owen Andersondebcb012009-07-29 22:17:13 +00002166 PointerType::getUnqual(Val->getType()), Ptr)||
Chris Lattnerabfbf852007-05-06 00:21:25 +00002167 OpNum+2 != Record.size())
Chris Lattner0579f7f2007-05-03 22:04:19 +00002168 return Error("Invalid STORE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002169
Chris Lattnerabfbf852007-05-06 00:21:25 +00002170 I = new StoreInst(Val, Ptr, Record[OpNum+1], (1 << Record[OpNum]) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002171 InstructionList.push_back(I);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002172 break;
2173 }
Duncan Sandsdc024672007-11-27 13:23:08 +00002174 case bitc::FUNC_CODE_INST_CALL: {
2175 // CALL: [paramattrs, cc, fnty, fnid, arg0, arg1...]
2176 if (Record.size() < 3)
Chris Lattner0579f7f2007-05-03 22:04:19 +00002177 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002178
Devang Patel05988662008-09-25 21:00:45 +00002179 AttrListPtr PAL = getAttributes(Record[0]);
Chris Lattnera9bb7132007-05-08 05:38:01 +00002180 unsigned CCInfo = Record[1];
Daniel Dunbara279bc32009-09-20 02:20:51 +00002181
Chris Lattnera9bb7132007-05-08 05:38:01 +00002182 unsigned OpNum = 2;
Chris Lattner7337ab92007-05-06 00:00:00 +00002183 Value *Callee;
2184 if (getValueTypePair(Record, OpNum, NextValueNo, Callee))
2185 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002186
Chris Lattner7337ab92007-05-06 00:00:00 +00002187 const PointerType *OpTy = dyn_cast<PointerType>(Callee->getType());
Chris Lattner0579f7f2007-05-03 22:04:19 +00002188 const FunctionType *FTy = 0;
2189 if (OpTy) FTy = dyn_cast<FunctionType>(OpTy->getElementType());
Chris Lattner7337ab92007-05-06 00:00:00 +00002190 if (!FTy || Record.size() < FTy->getNumParams()+OpNum)
Chris Lattner0579f7f2007-05-03 22:04:19 +00002191 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002192
Chris Lattner0579f7f2007-05-03 22:04:19 +00002193 SmallVector<Value*, 16> Args;
2194 // Read the fixed params.
Chris Lattner7337ab92007-05-06 00:00:00 +00002195 for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i, ++OpNum) {
Dale Johanneseneb57ea72007-11-05 21:20:28 +00002196 if (FTy->getParamType(i)->getTypeID()==Type::LabelTyID)
2197 Args.push_back(getBasicBlock(Record[OpNum]));
2198 else
2199 Args.push_back(getFnValueByID(Record[OpNum], FTy->getParamType(i)));
Chris Lattner0579f7f2007-05-03 22:04:19 +00002200 if (Args.back() == 0) return Error("Invalid CALL record");
2201 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002202
Chris Lattner0579f7f2007-05-03 22:04:19 +00002203 // Read type/value pairs for varargs params.
Chris Lattner0579f7f2007-05-03 22:04:19 +00002204 if (!FTy->isVarArg()) {
Chris Lattner7337ab92007-05-06 00:00:00 +00002205 if (OpNum != Record.size())
Chris Lattner0579f7f2007-05-03 22:04:19 +00002206 return Error("Invalid CALL record");
2207 } else {
Chris Lattner7337ab92007-05-06 00:00:00 +00002208 while (OpNum != Record.size()) {
2209 Value *Op;
2210 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
2211 return Error("Invalid CALL record");
2212 Args.push_back(Op);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002213 }
2214 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002215
Gabor Greif051a9502008-04-06 20:25:17 +00002216 I = CallInst::Create(Callee, Args.begin(), Args.end());
Devang Patele8e02132009-09-18 19:26:43 +00002217 InstructionList.push_back(I);
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00002218 cast<CallInst>(I)->setCallingConv(
2219 static_cast<CallingConv::ID>(CCInfo>>1));
Chris Lattner76520192007-05-03 22:34:03 +00002220 cast<CallInst>(I)->setTailCall(CCInfo & 1);
Devang Patel05988662008-09-25 21:00:45 +00002221 cast<CallInst>(I)->setAttributes(PAL);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002222 break;
2223 }
2224 case bitc::FUNC_CODE_INST_VAARG: { // VAARG: [valistty, valist, instty]
2225 if (Record.size() < 3)
2226 return Error("Invalid VAARG record");
2227 const Type *OpTy = getTypeByID(Record[0]);
2228 Value *Op = getFnValueByID(Record[1], OpTy);
2229 const Type *ResTy = getTypeByID(Record[2]);
2230 if (!OpTy || !Op || !ResTy)
2231 return Error("Invalid VAARG record");
2232 I = new VAArgInst(Op, ResTy);
Devang Patele8e02132009-09-18 19:26:43 +00002233 InstructionList.push_back(I);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002234 break;
2235 }
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002236 }
2237
2238 // Add instruction to end of current BB. If there is no current BB, reject
2239 // this file.
2240 if (CurBB == 0) {
2241 delete I;
2242 return Error("Invalid instruction with no BB");
2243 }
2244 CurBB->getInstList().push_back(I);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002245
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002246 // If this was a terminator instruction, move to the next block.
2247 if (isa<TerminatorInst>(I)) {
2248 ++CurBBNo;
2249 CurBB = CurBBNo < FunctionBBs.size() ? FunctionBBs[CurBBNo] : 0;
2250 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002251
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002252 // Non-void values get registered in the value table for future use.
Benjamin Kramerf0127052010-01-05 13:12:22 +00002253 if (I && !I->getType()->isVoidTy())
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002254 ValueList.AssignValue(I, NextValueNo++);
Chris Lattner980e5aa2007-05-01 05:52:21 +00002255 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002256
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002257 // Check the function list for unresolved values.
2258 if (Argument *A = dyn_cast<Argument>(ValueList.back())) {
2259 if (A->getParent() == 0) {
2260 // We found at least one unresolved value. Nuke them all to avoid leaks.
2261 for (unsigned i = ModuleValueListSize, e = ValueList.size(); i != e; ++i){
2262 if ((A = dyn_cast<Argument>(ValueList.back())) && A->getParent() == 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00002263 A->replaceAllUsesWith(UndefValue::get(A->getType()));
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002264 delete A;
2265 }
2266 }
Chris Lattner35a04702007-05-04 03:50:29 +00002267 return Error("Never resolved value found in function!");
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002268 }
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002269 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002270
Chris Lattner50b136d2009-10-28 05:53:48 +00002271 // See if anything took the address of blocks in this function. If so,
2272 // resolve them now.
2273 /// BlockAddrFwdRefs - These are blockaddr references to basic blocks. These
2274 /// are resolved lazily when functions are loaded.
2275 DenseMap<Function*, std::vector<BlockAddrRefTy> >::iterator BAFRI =
2276 BlockAddrFwdRefs.find(F);
2277 if (BAFRI != BlockAddrFwdRefs.end()) {
2278 std::vector<BlockAddrRefTy> &RefList = BAFRI->second;
2279 for (unsigned i = 0, e = RefList.size(); i != e; ++i) {
2280 unsigned BlockIdx = RefList[i].first;
Chris Lattnercdfc9402009-11-01 01:27:45 +00002281 if (BlockIdx >= FunctionBBs.size())
Chris Lattner50b136d2009-10-28 05:53:48 +00002282 return Error("Invalid blockaddress block #");
2283
2284 GlobalVariable *FwdRef = RefList[i].second;
Chris Lattnercdfc9402009-11-01 01:27:45 +00002285 FwdRef->replaceAllUsesWith(BlockAddress::get(F, FunctionBBs[BlockIdx]));
Chris Lattner50b136d2009-10-28 05:53:48 +00002286 FwdRef->eraseFromParent();
2287 }
2288
2289 BlockAddrFwdRefs.erase(BAFRI);
2290 }
2291
Chris Lattner980e5aa2007-05-01 05:52:21 +00002292 // Trim the value list down to the size it was before we parsed this function.
2293 ValueList.shrinkTo(ModuleValueListSize);
2294 std::vector<BasicBlock*>().swap(FunctionBBs);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002295
Chris Lattner48f84872007-05-01 04:59:48 +00002296 return false;
2297}
2298
Chris Lattnerb348bb82007-05-18 04:02:46 +00002299//===----------------------------------------------------------------------===//
2300// ModuleProvider implementation
2301//===----------------------------------------------------------------------===//
2302
2303
2304bool BitcodeReader::materializeFunction(Function *F, std::string *ErrInfo) {
2305 // If it already is material, ignore the request.
Gabor Greifa99be512007-07-05 17:07:56 +00002306 if (!F->hasNotBeenReadFromBitcode()) return false;
Daniel Dunbara279bc32009-09-20 02:20:51 +00002307
2308 DenseMap<Function*, std::pair<uint64_t, unsigned> >::iterator DFII =
Chris Lattnerb348bb82007-05-18 04:02:46 +00002309 DeferredFunctionInfo.find(F);
2310 assert(DFII != DeferredFunctionInfo.end() && "Deferred function not found!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002311
Chris Lattnerb348bb82007-05-18 04:02:46 +00002312 // Move the bit stream to the saved position of the deferred function body and
2313 // restore the real linkage type for the function.
2314 Stream.JumpToBit(DFII->second.first);
2315 F->setLinkage((GlobalValue::LinkageTypes)DFII->second.second);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002316
Chris Lattnerb348bb82007-05-18 04:02:46 +00002317 if (ParseFunctionBody(F)) {
2318 if (ErrInfo) *ErrInfo = ErrorString;
2319 return true;
2320 }
Chandler Carruth69940402007-08-04 01:51:18 +00002321
2322 // Upgrade any old intrinsic calls in the function.
2323 for (UpgradedIntrinsicMap::iterator I = UpgradedIntrinsics.begin(),
2324 E = UpgradedIntrinsics.end(); I != E; ++I) {
2325 if (I->first != I->second) {
2326 for (Value::use_iterator UI = I->first->use_begin(),
2327 UE = I->first->use_end(); UI != UE; ) {
2328 if (CallInst* CI = dyn_cast<CallInst>(*UI++))
2329 UpgradeIntrinsicCall(CI, I->second);
2330 }
2331 }
2332 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002333
Chris Lattnerb348bb82007-05-18 04:02:46 +00002334 return false;
2335}
2336
2337void BitcodeReader::dematerializeFunction(Function *F) {
2338 // If this function isn't materialized, or if it is a proto, this is a noop.
Gabor Greifa99be512007-07-05 17:07:56 +00002339 if (F->hasNotBeenReadFromBitcode() || F->isDeclaration())
Chris Lattnerb348bb82007-05-18 04:02:46 +00002340 return;
Daniel Dunbara279bc32009-09-20 02:20:51 +00002341
Chris Lattnerb348bb82007-05-18 04:02:46 +00002342 assert(DeferredFunctionInfo.count(F) && "No info to read function later?");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002343
Chris Lattnerb348bb82007-05-18 04:02:46 +00002344 // Just forget the function body, we can remat it later.
2345 F->deleteBody();
2346 F->setLinkage(GlobalValue::GhostLinkage);
2347}
2348
2349
2350Module *BitcodeReader::materializeModule(std::string *ErrInfo) {
Chris Lattner714fa952009-06-16 05:15:21 +00002351 // Iterate over the module, deserializing any functions that are still on
2352 // disk.
2353 for (Module::iterator F = TheModule->begin(), E = TheModule->end();
2354 F != E; ++F)
Gabor Greifa99be512007-07-05 17:07:56 +00002355 if (F->hasNotBeenReadFromBitcode() &&
Chris Lattnerb348bb82007-05-18 04:02:46 +00002356 materializeFunction(F, ErrInfo))
2357 return 0;
Chandler Carruth69940402007-08-04 01:51:18 +00002358
Daniel Dunbara279bc32009-09-20 02:20:51 +00002359 // Upgrade any intrinsic calls that slipped through (should not happen!) and
2360 // delete the old functions to clean up. We can't do this unless the entire
2361 // module is materialized because there could always be another function body
Chandler Carruth69940402007-08-04 01:51:18 +00002362 // with calls to the old function.
2363 for (std::vector<std::pair<Function*, Function*> >::iterator I =
2364 UpgradedIntrinsics.begin(), E = UpgradedIntrinsics.end(); I != E; ++I) {
2365 if (I->first != I->second) {
2366 for (Value::use_iterator UI = I->first->use_begin(),
2367 UE = I->first->use_end(); UI != UE; ) {
2368 if (CallInst* CI = dyn_cast<CallInst>(*UI++))
2369 UpgradeIntrinsicCall(CI, I->second);
2370 }
Chris Lattner7d9eb582009-04-01 01:43:03 +00002371 if (!I->first->use_empty())
2372 I->first->replaceAllUsesWith(I->second);
Chandler Carruth69940402007-08-04 01:51:18 +00002373 I->first->eraseFromParent();
2374 }
2375 }
2376 std::vector<std::pair<Function*, Function*> >().swap(UpgradedIntrinsics);
Devang Patele4b27562009-08-28 23:24:31 +00002377
2378 // Check debug info intrinsics.
2379 CheckDebugInfoIntrinsics(TheModule);
2380
Chris Lattnerb348bb82007-05-18 04:02:46 +00002381 return TheModule;
2382}
2383
2384
2385/// This method is provided by the parent ModuleProvde class and overriden
2386/// here. It simply releases the module from its provided and frees up our
2387/// state.
2388/// @brief Release our hold on the generated module
2389Module *BitcodeReader::releaseModule(std::string *ErrInfo) {
2390 // Since we're losing control of this Module, we must hand it back complete
2391 Module *M = ModuleProvider::releaseModule(ErrInfo);
2392 FreeState();
2393 return M;
2394}
2395
Chris Lattner48f84872007-05-01 04:59:48 +00002396
Chris Lattnerc453f762007-04-29 07:54:31 +00002397//===----------------------------------------------------------------------===//
2398// External interface
2399//===----------------------------------------------------------------------===//
2400
2401/// getBitcodeModuleProvider - lazy function-at-a-time loading from a file.
2402///
2403ModuleProvider *llvm::getBitcodeModuleProvider(MemoryBuffer *Buffer,
Owen Anderson4434ed42009-07-01 23:13:44 +00002404 LLVMContext& Context,
Chris Lattnerc453f762007-04-29 07:54:31 +00002405 std::string *ErrMsg) {
Owen Anderson8b477ed2009-07-01 16:58:40 +00002406 BitcodeReader *R = new BitcodeReader(Buffer, Context);
Chris Lattnerc453f762007-04-29 07:54:31 +00002407 if (R->ParseBitcode()) {
2408 if (ErrMsg)
2409 *ErrMsg = R->getErrorString();
Daniel Dunbara279bc32009-09-20 02:20:51 +00002410
Chris Lattnerc453f762007-04-29 07:54:31 +00002411 // Don't let the BitcodeReader dtor delete 'Buffer'.
2412 R->releaseMemoryBuffer();
2413 delete R;
2414 return 0;
2415 }
2416 return R;
2417}
2418
2419/// ParseBitcodeFile - Read the specified bitcode file, returning the module.
2420/// If an error occurs, return null and fill in *ErrMsg if non-null.
Daniel Dunbara279bc32009-09-20 02:20:51 +00002421Module *llvm::ParseBitcodeFile(MemoryBuffer *Buffer, LLVMContext& Context,
Owen Anderson8b477ed2009-07-01 16:58:40 +00002422 std::string *ErrMsg){
Chris Lattnerc453f762007-04-29 07:54:31 +00002423 BitcodeReader *R;
Daniel Dunbara279bc32009-09-20 02:20:51 +00002424 R = static_cast<BitcodeReader*>(getBitcodeModuleProvider(Buffer, Context,
Owen Anderson8b477ed2009-07-01 16:58:40 +00002425 ErrMsg));
Chris Lattnerc453f762007-04-29 07:54:31 +00002426 if (!R) return 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +00002427
Chris Lattnerb348bb82007-05-18 04:02:46 +00002428 // Read in the entire module.
2429 Module *M = R->materializeModule(ErrMsg);
2430
2431 // Don't let the BitcodeReader dtor delete 'Buffer', regardless of whether
2432 // there was an error.
Chris Lattnerc453f762007-04-29 07:54:31 +00002433 R->releaseMemoryBuffer();
Daniel Dunbara279bc32009-09-20 02:20:51 +00002434
Chris Lattnerb348bb82007-05-18 04:02:46 +00002435 // If there was no error, tell ModuleProvider not to delete it when its dtor
2436 // is run.
2437 if (M)
2438 M = R->releaseModule(ErrMsg);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002439
Chris Lattnerc453f762007-04-29 07:54:31 +00002440 delete R;
2441 return M;
2442}