blob: 7d82321afc7944c80583a6ffd8b4725c037a0109 [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() {
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +000031 if (BufferOwned)
32 delete Buffer;
Chris Lattnerb348bb82007-05-18 04:02:46 +000033 Buffer = 0;
34 std::vector<PATypeHolder>().swap(TypeList);
35 ValueList.clear();
Devang Pateld5ac4042009-08-04 06:00:18 +000036 MDValueList.clear();
Daniel Dunbara279bc32009-09-20 02:20:51 +000037
Devang Patel19c87462008-09-26 22:53:05 +000038 std::vector<AttrListPtr>().swap(MAttributes);
Chris Lattnerb348bb82007-05-18 04:02:46 +000039 std::vector<BasicBlock*>().swap(FunctionBBs);
40 std::vector<Function*>().swap(FunctionsWithBodies);
41 DeferredFunctionInfo.clear();
Dan Gohman19538d12010-07-20 21:42:28 +000042 MDKindMap.clear();
Chris Lattnerc453f762007-04-29 07:54:31 +000043}
44
Chris Lattner48c85b82007-05-04 03:30:17 +000045//===----------------------------------------------------------------------===//
46// Helper functions to implement forward reference resolution, etc.
47//===----------------------------------------------------------------------===//
Chris Lattnerc453f762007-04-29 07:54:31 +000048
Chris Lattnercaee0dc2007-04-22 06:23:29 +000049/// ConvertToString - Convert a string from a record into an std::string, return
50/// true on failure.
Chris Lattner0b2482a2007-04-23 21:26:05 +000051template<typename StrTy>
Chris Lattnercaee0dc2007-04-22 06:23:29 +000052static bool ConvertToString(SmallVector<uint64_t, 64> &Record, unsigned Idx,
Chris Lattner0b2482a2007-04-23 21:26:05 +000053 StrTy &Result) {
Chris Lattner15e6d172007-05-04 19:11:41 +000054 if (Idx > Record.size())
Chris Lattnercaee0dc2007-04-22 06:23:29 +000055 return true;
Daniel Dunbara279bc32009-09-20 02:20:51 +000056
Chris Lattner15e6d172007-05-04 19:11:41 +000057 for (unsigned i = Idx, e = Record.size(); i != e; ++i)
58 Result += (char)Record[i];
Chris Lattnercaee0dc2007-04-22 06:23:29 +000059 return false;
60}
61
62static GlobalValue::LinkageTypes GetDecodedLinkage(unsigned Val) {
63 switch (Val) {
64 default: // Map unknown/new linkages to external
Bill Wendling3d10a5a2009-07-20 01:03:30 +000065 case 0: return GlobalValue::ExternalLinkage;
66 case 1: return GlobalValue::WeakAnyLinkage;
67 case 2: return GlobalValue::AppendingLinkage;
68 case 3: return GlobalValue::InternalLinkage;
69 case 4: return GlobalValue::LinkOnceAnyLinkage;
70 case 5: return GlobalValue::DLLImportLinkage;
71 case 6: return GlobalValue::DLLExportLinkage;
72 case 7: return GlobalValue::ExternalWeakLinkage;
73 case 8: return GlobalValue::CommonLinkage;
74 case 9: return GlobalValue::PrivateLinkage;
Duncan Sands667d4b82009-03-07 15:45:40 +000075 case 10: return GlobalValue::WeakODRLinkage;
76 case 11: return GlobalValue::LinkOnceODRLinkage;
Chris Lattner266c7bb2009-04-13 05:44:34 +000077 case 12: return GlobalValue::AvailableExternallyLinkage;
Bill Wendling3d10a5a2009-07-20 01:03:30 +000078 case 13: return GlobalValue::LinkerPrivateLinkage;
Bill Wendling5e721d72010-07-01 21:55:59 +000079 case 14: return GlobalValue::LinkerPrivateWeakLinkage;
Chris Lattnercaee0dc2007-04-22 06:23:29 +000080 }
81}
82
83static GlobalValue::VisibilityTypes GetDecodedVisibility(unsigned Val) {
84 switch (Val) {
85 default: // Map unknown visibilities to default.
86 case 0: return GlobalValue::DefaultVisibility;
87 case 1: return GlobalValue::HiddenVisibility;
Anton Korobeynikov9cd3ccf2007-04-29 20:56:48 +000088 case 2: return GlobalValue::ProtectedVisibility;
Chris Lattnercaee0dc2007-04-22 06:23:29 +000089 }
90}
91
Chris Lattnerf581c3b2007-04-24 07:07:11 +000092static int GetDecodedCastOpcode(unsigned Val) {
93 switch (Val) {
94 default: return -1;
95 case bitc::CAST_TRUNC : return Instruction::Trunc;
96 case bitc::CAST_ZEXT : return Instruction::ZExt;
97 case bitc::CAST_SEXT : return Instruction::SExt;
98 case bitc::CAST_FPTOUI : return Instruction::FPToUI;
99 case bitc::CAST_FPTOSI : return Instruction::FPToSI;
100 case bitc::CAST_UITOFP : return Instruction::UIToFP;
101 case bitc::CAST_SITOFP : return Instruction::SIToFP;
102 case bitc::CAST_FPTRUNC : return Instruction::FPTrunc;
103 case bitc::CAST_FPEXT : return Instruction::FPExt;
104 case bitc::CAST_PTRTOINT: return Instruction::PtrToInt;
105 case bitc::CAST_INTTOPTR: return Instruction::IntToPtr;
106 case bitc::CAST_BITCAST : return Instruction::BitCast;
107 }
108}
109static int GetDecodedBinaryOpcode(unsigned Val, const Type *Ty) {
110 switch (Val) {
111 default: return -1;
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000112 case bitc::BINOP_ADD:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000113 return Ty->isFPOrFPVectorTy() ? Instruction::FAdd : Instruction::Add;
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000114 case bitc::BINOP_SUB:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000115 return Ty->isFPOrFPVectorTy() ? Instruction::FSub : Instruction::Sub;
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000116 case bitc::BINOP_MUL:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000117 return Ty->isFPOrFPVectorTy() ? Instruction::FMul : Instruction::Mul;
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000118 case bitc::BINOP_UDIV: return Instruction::UDiv;
119 case bitc::BINOP_SDIV:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000120 return Ty->isFPOrFPVectorTy() ? Instruction::FDiv : Instruction::SDiv;
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000121 case bitc::BINOP_UREM: return Instruction::URem;
122 case bitc::BINOP_SREM:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000123 return Ty->isFPOrFPVectorTy() ? Instruction::FRem : Instruction::SRem;
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000124 case bitc::BINOP_SHL: return Instruction::Shl;
125 case bitc::BINOP_LSHR: return Instruction::LShr;
126 case bitc::BINOP_ASHR: return Instruction::AShr;
127 case bitc::BINOP_AND: return Instruction::And;
128 case bitc::BINOP_OR: return Instruction::Or;
129 case bitc::BINOP_XOR: return Instruction::Xor;
130 }
131}
132
Gabor Greifefe65362008-05-10 08:32:32 +0000133namespace llvm {
Chris Lattner522b7b12007-04-24 05:48:56 +0000134namespace {
135 /// @brief A class for maintaining the slot number definition
136 /// as a placeholder for the actual definition for forward constants defs.
137 class ConstantPlaceHolder : public ConstantExpr {
138 ConstantPlaceHolder(); // DO NOT IMPLEMENT
139 void operator=(const ConstantPlaceHolder &); // DO NOT IMPLEMENT
Gabor Greif051a9502008-04-06 20:25:17 +0000140 public:
141 // allocate space for exactly one operand
142 void *operator new(size_t s) {
143 return User::operator new(s, 1);
144 }
Owen Anderson74a77812009-07-07 20:18:58 +0000145 explicit ConstantPlaceHolder(const Type *Ty, LLVMContext& Context)
Gabor Greifefe65362008-05-10 08:32:32 +0000146 : ConstantExpr(Ty, Instruction::UserOp1, &Op<0>(), 1) {
Owen Anderson1d0be152009-08-13 21:58:54 +0000147 Op<0>() = UndefValue::get(Type::getInt32Ty(Context));
Chris Lattner522b7b12007-04-24 05:48:56 +0000148 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000149
Chris Lattnerea693df2008-08-21 02:34:16 +0000150 /// @brief Methods to support type inquiry through isa, cast, and dyn_cast.
151 static inline bool classof(const ConstantPlaceHolder *) { return true; }
152 static bool classof(const Value *V) {
Daniel Dunbara279bc32009-09-20 02:20:51 +0000153 return isa<ConstantExpr>(V) &&
Chris Lattnerea693df2008-08-21 02:34:16 +0000154 cast<ConstantExpr>(V)->getOpcode() == Instruction::UserOp1;
155 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000156
157
Gabor Greifefe65362008-05-10 08:32:32 +0000158 /// Provide fast operand accessors
Chris Lattner46e77402009-03-31 22:55:09 +0000159 //DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
Chris Lattner522b7b12007-04-24 05:48:56 +0000160 };
161}
162
Chris Lattner46e77402009-03-31 22:55:09 +0000163// FIXME: can we inherit this from ConstantExpr?
Gabor Greifefe65362008-05-10 08:32:32 +0000164template <>
Duncan Sands59bf4fc2009-09-06 08:55:57 +0000165struct OperandTraits<ConstantPlaceHolder> : public FixedNumOperandTraits<1> {
Gabor Greifefe65362008-05-10 08:32:32 +0000166};
Gabor Greifefe65362008-05-10 08:32:32 +0000167}
168
Chris Lattner46e77402009-03-31 22:55:09 +0000169
170void BitcodeReaderValueList::AssignValue(Value *V, unsigned Idx) {
171 if (Idx == size()) {
172 push_back(V);
173 return;
174 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000175
Chris Lattner46e77402009-03-31 22:55:09 +0000176 if (Idx >= size())
177 resize(Idx+1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000178
Chris Lattner46e77402009-03-31 22:55:09 +0000179 WeakVH &OldV = ValuePtrs[Idx];
180 if (OldV == 0) {
181 OldV = V;
182 return;
183 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000184
Chris Lattner46e77402009-03-31 22:55:09 +0000185 // Handle constants and non-constants (e.g. instrs) differently for
186 // efficiency.
187 if (Constant *PHC = dyn_cast<Constant>(&*OldV)) {
188 ResolveConstants.push_back(std::make_pair(PHC, Idx));
189 OldV = V;
190 } else {
191 // If there was a forward reference to this value, replace it.
192 Value *PrevVal = OldV;
193 OldV->replaceAllUsesWith(V);
194 delete PrevVal;
Gabor Greifefe65362008-05-10 08:32:32 +0000195 }
196}
Daniel Dunbara279bc32009-09-20 02:20:51 +0000197
Gabor Greifefe65362008-05-10 08:32:32 +0000198
Chris Lattner522b7b12007-04-24 05:48:56 +0000199Constant *BitcodeReaderValueList::getConstantFwdRef(unsigned Idx,
200 const Type *Ty) {
Chris Lattner46e77402009-03-31 22:55:09 +0000201 if (Idx >= size())
Gabor Greifefe65362008-05-10 08:32:32 +0000202 resize(Idx + 1);
Chris Lattner522b7b12007-04-24 05:48:56 +0000203
Chris Lattner46e77402009-03-31 22:55:09 +0000204 if (Value *V = ValuePtrs[Idx]) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000205 assert(Ty == V->getType() && "Type mismatch in constant table!");
206 return cast<Constant>(V);
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000207 }
Chris Lattner522b7b12007-04-24 05:48:56 +0000208
209 // Create and return a placeholder, which will later be RAUW'd.
Owen Anderson74a77812009-07-07 20:18:58 +0000210 Constant *C = new ConstantPlaceHolder(Ty, Context);
Chris Lattner46e77402009-03-31 22:55:09 +0000211 ValuePtrs[Idx] = C;
Chris Lattner522b7b12007-04-24 05:48:56 +0000212 return C;
213}
214
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000215Value *BitcodeReaderValueList::getValueFwdRef(unsigned Idx, const Type *Ty) {
Chris Lattner46e77402009-03-31 22:55:09 +0000216 if (Idx >= size())
Gabor Greifefe65362008-05-10 08:32:32 +0000217 resize(Idx + 1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000218
Chris Lattner46e77402009-03-31 22:55:09 +0000219 if (Value *V = ValuePtrs[Idx]) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000220 assert((Ty == 0 || Ty == V->getType()) && "Type mismatch in value table!");
221 return V;
222 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000223
Chris Lattner01ff65f2007-05-02 05:16:49 +0000224 // No type specified, must be invalid reference.
225 if (Ty == 0) return 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000226
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000227 // Create and return a placeholder, which will later be RAUW'd.
228 Value *V = new Argument(Ty);
Chris Lattner46e77402009-03-31 22:55:09 +0000229 ValuePtrs[Idx] = V;
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000230 return V;
231}
232
Chris Lattnerea693df2008-08-21 02:34:16 +0000233/// ResolveConstantForwardRefs - Once all constants are read, this method bulk
234/// resolves any forward references. The idea behind this is that we sometimes
235/// get constants (such as large arrays) which reference *many* forward ref
236/// constants. Replacing each of these causes a lot of thrashing when
237/// building/reuniquing the constant. Instead of doing this, we look at all the
238/// uses and rewrite all the place holders at once for any constant that uses
239/// a placeholder.
240void BitcodeReaderValueList::ResolveConstantForwardRefs() {
Daniel Dunbara279bc32009-09-20 02:20:51 +0000241 // Sort the values by-pointer so that they are efficient to look up with a
Chris Lattnerea693df2008-08-21 02:34:16 +0000242 // binary search.
243 std::sort(ResolveConstants.begin(), ResolveConstants.end());
Daniel Dunbara279bc32009-09-20 02:20:51 +0000244
Chris Lattnerea693df2008-08-21 02:34:16 +0000245 SmallVector<Constant*, 64> NewOps;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000246
Chris Lattnerea693df2008-08-21 02:34:16 +0000247 while (!ResolveConstants.empty()) {
Chris Lattner46e77402009-03-31 22:55:09 +0000248 Value *RealVal = operator[](ResolveConstants.back().second);
Chris Lattnerea693df2008-08-21 02:34:16 +0000249 Constant *Placeholder = ResolveConstants.back().first;
250 ResolveConstants.pop_back();
Daniel Dunbara279bc32009-09-20 02:20:51 +0000251
Chris Lattnerea693df2008-08-21 02:34:16 +0000252 // Loop over all users of the placeholder, updating them to reference the
253 // new value. If they reference more than one placeholder, update them all
254 // at once.
255 while (!Placeholder->use_empty()) {
Chris Lattnerb6135a02008-08-21 17:31:45 +0000256 Value::use_iterator UI = Placeholder->use_begin();
Gabor Greifc654d1b2010-07-09 16:01:21 +0000257 User *U = *UI;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000258
Chris Lattnerea693df2008-08-21 02:34:16 +0000259 // If the using object isn't uniqued, just update the operands. This
260 // handles instructions and initializers for global variables.
Gabor Greifc654d1b2010-07-09 16:01:21 +0000261 if (!isa<Constant>(U) || isa<GlobalValue>(U)) {
Chris Lattnerb6135a02008-08-21 17:31:45 +0000262 UI.getUse().set(RealVal);
Chris Lattnerea693df2008-08-21 02:34:16 +0000263 continue;
264 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000265
Chris Lattnerea693df2008-08-21 02:34:16 +0000266 // Otherwise, we have a constant that uses the placeholder. Replace that
267 // constant with a new constant that has *all* placeholder uses updated.
Gabor Greifc654d1b2010-07-09 16:01:21 +0000268 Constant *UserC = cast<Constant>(U);
Chris Lattnerea693df2008-08-21 02:34:16 +0000269 for (User::op_iterator I = UserC->op_begin(), E = UserC->op_end();
270 I != E; ++I) {
271 Value *NewOp;
272 if (!isa<ConstantPlaceHolder>(*I)) {
273 // Not a placeholder reference.
274 NewOp = *I;
275 } else if (*I == Placeholder) {
276 // Common case is that it just references this one placeholder.
277 NewOp = RealVal;
278 } else {
279 // Otherwise, look up the placeholder in ResolveConstants.
Daniel Dunbara279bc32009-09-20 02:20:51 +0000280 ResolveConstantsTy::iterator It =
281 std::lower_bound(ResolveConstants.begin(), ResolveConstants.end(),
Chris Lattnerea693df2008-08-21 02:34:16 +0000282 std::pair<Constant*, unsigned>(cast<Constant>(*I),
283 0));
284 assert(It != ResolveConstants.end() && It->first == *I);
Chris Lattner46e77402009-03-31 22:55:09 +0000285 NewOp = operator[](It->second);
Chris Lattnerea693df2008-08-21 02:34:16 +0000286 }
287
288 NewOps.push_back(cast<Constant>(NewOp));
289 }
290
291 // Make the new constant.
292 Constant *NewC;
293 if (ConstantArray *UserCA = dyn_cast<ConstantArray>(UserC)) {
Owen Anderson1fd70962009-07-28 18:32:17 +0000294 NewC = ConstantArray::get(UserCA->getType(), &NewOps[0],
Owen Anderson74a77812009-07-07 20:18:58 +0000295 NewOps.size());
Chris Lattnerea693df2008-08-21 02:34:16 +0000296 } else if (ConstantStruct *UserCS = dyn_cast<ConstantStruct>(UserC)) {
Owen Andersond7f2a6c2009-08-05 23:16:16 +0000297 NewC = ConstantStruct::get(Context, &NewOps[0], NewOps.size(),
Owen Anderson74a77812009-07-07 20:18:58 +0000298 UserCS->getType()->isPacked());
Chris Lattner93b122d2010-03-16 21:25:55 +0000299 } else if (ConstantUnion *UserCU = dyn_cast<ConstantUnion>(UserC)) {
300 NewC = ConstantUnion::get(UserCU->getType(), NewOps[0]);
Chris Lattnerea693df2008-08-21 02:34:16 +0000301 } else if (isa<ConstantVector>(UserC)) {
Owen Andersonaf7ec972009-07-28 21:19:26 +0000302 NewC = ConstantVector::get(&NewOps[0], NewOps.size());
Nick Lewyckycb337992009-05-10 20:57:05 +0000303 } else {
304 assert(isa<ConstantExpr>(UserC) && "Must be a ConstantExpr.");
Chris Lattnerea693df2008-08-21 02:34:16 +0000305 NewC = cast<ConstantExpr>(UserC)->getWithOperands(&NewOps[0],
306 NewOps.size());
307 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000308
Chris Lattnerea693df2008-08-21 02:34:16 +0000309 UserC->replaceAllUsesWith(NewC);
310 UserC->destroyConstant();
311 NewOps.clear();
312 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000313
Nick Lewyckycb337992009-05-10 20:57:05 +0000314 // Update all ValueHandles, they should be the only users at this point.
315 Placeholder->replaceAllUsesWith(RealVal);
Chris Lattnerea693df2008-08-21 02:34:16 +0000316 delete Placeholder;
317 }
318}
319
Devang Pateld5ac4042009-08-04 06:00:18 +0000320void BitcodeReaderMDValueList::AssignValue(Value *V, unsigned Idx) {
321 if (Idx == size()) {
322 push_back(V);
323 return;
324 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000325
Devang Pateld5ac4042009-08-04 06:00:18 +0000326 if (Idx >= size())
327 resize(Idx+1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000328
Devang Pateld5ac4042009-08-04 06:00:18 +0000329 WeakVH &OldV = MDValuePtrs[Idx];
330 if (OldV == 0) {
331 OldV = V;
332 return;
333 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000334
Devang Pateld5ac4042009-08-04 06:00:18 +0000335 // If there was a forward reference to this value, replace it.
336 Value *PrevVal = OldV;
337 OldV->replaceAllUsesWith(V);
338 delete PrevVal;
Devang Patelc0ff8c82009-09-03 01:38:02 +0000339 // Deleting PrevVal sets Idx value in MDValuePtrs to null. Set new
340 // value for Idx.
341 MDValuePtrs[Idx] = V;
Devang Pateld5ac4042009-08-04 06:00:18 +0000342}
343
344Value *BitcodeReaderMDValueList::getValueFwdRef(unsigned Idx) {
345 if (Idx >= size())
346 resize(Idx + 1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000347
Devang Pateld5ac4042009-08-04 06:00:18 +0000348 if (Value *V = MDValuePtrs[Idx]) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000349 assert(V->getType()->isMetadataTy() && "Type mismatch in value table!");
Devang Pateld5ac4042009-08-04 06:00:18 +0000350 return V;
351 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000352
Devang Pateld5ac4042009-08-04 06:00:18 +0000353 // Create and return a placeholder, which will later be RAUW'd.
Owen Anderson1d0be152009-08-13 21:58:54 +0000354 Value *V = new Argument(Type::getMetadataTy(Context));
Devang Pateld5ac4042009-08-04 06:00:18 +0000355 MDValuePtrs[Idx] = V;
356 return V;
357}
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000358
359const Type *BitcodeReader::getTypeByID(unsigned ID, bool isTypeTable) {
360 // If the TypeID is in range, return it.
361 if (ID < TypeList.size())
362 return TypeList[ID].get();
363 if (!isTypeTable) return 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000364
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000365 // The type table allows forward references. Push as many Opaque types as
366 // needed to get up to ID.
367 while (TypeList.size() <= ID)
Owen Anderson0e275dc2009-08-13 23:27:32 +0000368 TypeList.push_back(OpaqueType::get(Context));
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000369 return TypeList.back().get();
370}
371
Chris Lattner48c85b82007-05-04 03:30:17 +0000372//===----------------------------------------------------------------------===//
373// Functions for parsing blocks from the bitcode file
374//===----------------------------------------------------------------------===//
375
Devang Patel05988662008-09-25 21:00:45 +0000376bool BitcodeReader::ParseAttributeBlock() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000377 if (Stream.EnterSubBlock(bitc::PARAMATTR_BLOCK_ID))
Chris Lattner48c85b82007-05-04 03:30:17 +0000378 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000379
Devang Patel19c87462008-09-26 22:53:05 +0000380 if (!MAttributes.empty())
Chris Lattner48c85b82007-05-04 03:30:17 +0000381 return Error("Multiple PARAMATTR blocks found!");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000382
Chris Lattner48c85b82007-05-04 03:30:17 +0000383 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000384
Devang Patel05988662008-09-25 21:00:45 +0000385 SmallVector<AttributeWithIndex, 8> Attrs;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000386
Chris Lattner48c85b82007-05-04 03:30:17 +0000387 // Read all the records.
388 while (1) {
389 unsigned Code = Stream.ReadCode();
390 if (Code == bitc::END_BLOCK) {
391 if (Stream.ReadBlockEnd())
392 return Error("Error at end of PARAMATTR block");
393 return false;
394 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000395
Chris Lattner48c85b82007-05-04 03:30:17 +0000396 if (Code == bitc::ENTER_SUBBLOCK) {
397 // No known subblocks, always skip them.
398 Stream.ReadSubBlockID();
399 if (Stream.SkipBlock())
400 return Error("Malformed block record");
401 continue;
402 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000403
Chris Lattner48c85b82007-05-04 03:30:17 +0000404 if (Code == bitc::DEFINE_ABBREV) {
405 Stream.ReadAbbrevRecord();
406 continue;
407 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000408
Chris Lattner48c85b82007-05-04 03:30:17 +0000409 // Read a record.
410 Record.clear();
411 switch (Stream.ReadRecord(Code, Record)) {
412 default: // Default behavior: ignore.
413 break;
414 case bitc::PARAMATTR_CODE_ENTRY: { // ENTRY: [paramidx0, attr0, ...]
415 if (Record.size() & 1)
416 return Error("Invalid ENTRY record");
417
Chris Lattner9a6cb152008-10-05 18:22:09 +0000418 // FIXME : Remove this autoupgrade code in LLVM 3.0.
Devang Patel19c87462008-09-26 22:53:05 +0000419 // If Function attributes are using index 0 then transfer them
Chris Lattner9a6cb152008-10-05 18:22:09 +0000420 // to index ~0. Index 0 is used for return value attributes but used to be
421 // used for function attributes.
Devang Patel19c87462008-09-26 22:53:05 +0000422 Attributes RetAttribute = Attribute::None;
423 Attributes FnAttribute = Attribute::None;
Chris Lattner48c85b82007-05-04 03:30:17 +0000424 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Nick Lewycky73ddd4f2008-12-19 09:38:31 +0000425 // FIXME: remove in LLVM 3.0
426 // The alignment is stored as a 16-bit raw value from bits 31--16.
427 // We shift the bits above 31 down by 11 bits.
428
429 unsigned Alignment = (Record[i+1] & (0xffffull << 16)) >> 16;
430 if (Alignment && !isPowerOf2_32(Alignment))
431 return Error("Alignment is not a power of two.");
432
433 Attributes ReconstitutedAttr = Record[i+1] & 0xffff;
434 if (Alignment)
435 ReconstitutedAttr |= Attribute::constructAlignmentFromInt(Alignment);
436 ReconstitutedAttr |= (Record[i+1] & (0xffffull << 32)) >> 11;
437 Record[i+1] = ReconstitutedAttr;
438
Devang Patel19c87462008-09-26 22:53:05 +0000439 if (Record[i] == 0)
440 RetAttribute = Record[i+1];
441 else if (Record[i] == ~0U)
442 FnAttribute = Record[i+1];
443 }
Chris Lattner9a6cb152008-10-05 18:22:09 +0000444
445 unsigned OldRetAttrs = (Attribute::NoUnwind|Attribute::NoReturn|
446 Attribute::ReadOnly|Attribute::ReadNone);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000447
Chris Lattner9a6cb152008-10-05 18:22:09 +0000448 if (FnAttribute == Attribute::None && RetAttribute != Attribute::None &&
449 (RetAttribute & OldRetAttrs) != 0) {
450 if (FnAttribute == Attribute::None) { // add a slot so they get added.
451 Record.push_back(~0U);
452 Record.push_back(0);
Devang Patel19c87462008-09-26 22:53:05 +0000453 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000454
Chris Lattner9a6cb152008-10-05 18:22:09 +0000455 FnAttribute |= RetAttribute & OldRetAttrs;
456 RetAttribute &= ~OldRetAttrs;
Chris Lattner48c85b82007-05-04 03:30:17 +0000457 }
Chris Lattner461edd92008-03-12 02:25:52 +0000458
Devang Patel19c87462008-09-26 22:53:05 +0000459 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Chris Lattner9a6cb152008-10-05 18:22:09 +0000460 if (Record[i] == 0) {
461 if (RetAttribute != Attribute::None)
462 Attrs.push_back(AttributeWithIndex::get(0, RetAttribute));
463 } else if (Record[i] == ~0U) {
464 if (FnAttribute != Attribute::None)
465 Attrs.push_back(AttributeWithIndex::get(~0U, FnAttribute));
466 } else if (Record[i+1] != Attribute::None)
Devang Patel19c87462008-09-26 22:53:05 +0000467 Attrs.push_back(AttributeWithIndex::get(Record[i], Record[i+1]));
468 }
Devang Patel19c87462008-09-26 22:53:05 +0000469
470 MAttributes.push_back(AttrListPtr::get(Attrs.begin(), Attrs.end()));
Chris Lattner48c85b82007-05-04 03:30:17 +0000471 Attrs.clear();
472 break;
473 }
Duncan Sands5e41f652007-11-20 14:09:29 +0000474 }
Chris Lattner48c85b82007-05-04 03:30:17 +0000475 }
476}
477
478
Chris Lattner86697142007-05-01 05:01:34 +0000479bool BitcodeReader::ParseTypeTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000480 if (Stream.EnterSubBlock(bitc::TYPE_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000481 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000482
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000483 if (!TypeList.empty())
484 return Error("Multiple TYPE_BLOCKs found!");
485
486 SmallVector<uint64_t, 64> Record;
487 unsigned NumRecords = 0;
488
489 // Read all the records for this type table.
490 while (1) {
491 unsigned Code = Stream.ReadCode();
492 if (Code == bitc::END_BLOCK) {
493 if (NumRecords != TypeList.size())
494 return Error("Invalid type forward reference in TYPE_BLOCK");
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000495 if (Stream.ReadBlockEnd())
496 return Error("Error at end of type table block");
497 return false;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000498 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000499
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000500 if (Code == bitc::ENTER_SUBBLOCK) {
501 // No known subblocks, always skip them.
502 Stream.ReadSubBlockID();
503 if (Stream.SkipBlock())
504 return Error("Malformed block record");
505 continue;
506 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000507
Chris Lattner36d5e7d2007-04-23 16:04:05 +0000508 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +0000509 Stream.ReadAbbrevRecord();
510 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000511 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000512
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000513 // Read a record.
514 Record.clear();
515 const Type *ResultTy = 0;
516 switch (Stream.ReadRecord(Code, Record)) {
517 default: // Default behavior: unknown type.
518 ResultTy = 0;
519 break;
520 case bitc::TYPE_CODE_NUMENTRY: // TYPE_CODE_NUMENTRY: [numentries]
521 // TYPE_CODE_NUMENTRY contains a count of the number of types in the
522 // type list. This allows us to reserve space.
523 if (Record.size() < 1)
524 return Error("Invalid TYPE_CODE_NUMENTRY record");
525 TypeList.reserve(Record[0]);
526 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000527 case bitc::TYPE_CODE_VOID: // VOID
Owen Anderson1d0be152009-08-13 21:58:54 +0000528 ResultTy = Type::getVoidTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000529 break;
530 case bitc::TYPE_CODE_FLOAT: // FLOAT
Owen Anderson1d0be152009-08-13 21:58:54 +0000531 ResultTy = Type::getFloatTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000532 break;
533 case bitc::TYPE_CODE_DOUBLE: // DOUBLE
Owen Anderson1d0be152009-08-13 21:58:54 +0000534 ResultTy = Type::getDoubleTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000535 break;
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000536 case bitc::TYPE_CODE_X86_FP80: // X86_FP80
Owen Anderson1d0be152009-08-13 21:58:54 +0000537 ResultTy = Type::getX86_FP80Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000538 break;
539 case bitc::TYPE_CODE_FP128: // FP128
Owen Anderson1d0be152009-08-13 21:58:54 +0000540 ResultTy = Type::getFP128Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000541 break;
542 case bitc::TYPE_CODE_PPC_FP128: // PPC_FP128
Owen Anderson1d0be152009-08-13 21:58:54 +0000543 ResultTy = Type::getPPC_FP128Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000544 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000545 case bitc::TYPE_CODE_LABEL: // LABEL
Owen Anderson1d0be152009-08-13 21:58:54 +0000546 ResultTy = Type::getLabelTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000547 break;
548 case bitc::TYPE_CODE_OPAQUE: // OPAQUE
549 ResultTy = 0;
550 break;
Nick Lewycky7a0370f2009-05-30 05:06:04 +0000551 case bitc::TYPE_CODE_METADATA: // METADATA
Owen Anderson1d0be152009-08-13 21:58:54 +0000552 ResultTy = Type::getMetadataTy(Context);
Nick Lewycky7a0370f2009-05-30 05:06:04 +0000553 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000554 case bitc::TYPE_CODE_INTEGER: // INTEGER: [width]
555 if (Record.size() < 1)
556 return Error("Invalid Integer type record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000557
Owen Anderson1d0be152009-08-13 21:58:54 +0000558 ResultTy = IntegerType::get(Context, Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000559 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000560 case bitc::TYPE_CODE_POINTER: { // POINTER: [pointee type] or
Christopher Lambfe63fb92007-12-11 08:59:05 +0000561 // [pointee type, address space]
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000562 if (Record.size() < 1)
563 return Error("Invalid POINTER type record");
Christopher Lambfe63fb92007-12-11 08:59:05 +0000564 unsigned AddressSpace = 0;
565 if (Record.size() == 2)
566 AddressSpace = Record[1];
Owen Andersondebcb012009-07-29 22:17:13 +0000567 ResultTy = PointerType::get(getTypeByID(Record[0], true),
Owen Anderson74a77812009-07-07 20:18:58 +0000568 AddressSpace);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000569 break;
Christopher Lambfe63fb92007-12-11 08:59:05 +0000570 }
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000571 case bitc::TYPE_CODE_FUNCTION: {
Chris Lattnera1afde72007-11-27 17:48:06 +0000572 // FIXME: attrid is dead, remove it in LLVM 3.0
573 // FUNCTION: [vararg, attrid, retty, paramty x N]
574 if (Record.size() < 3)
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000575 return Error("Invalid FUNCTION type record");
576 std::vector<const Type*> ArgTys;
Chris Lattnera1afde72007-11-27 17:48:06 +0000577 for (unsigned i = 3, e = Record.size(); i != e; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +0000578 ArgTys.push_back(getTypeByID(Record[i], true));
Daniel Dunbara279bc32009-09-20 02:20:51 +0000579
Owen Andersondebcb012009-07-29 22:17:13 +0000580 ResultTy = FunctionType::get(getTypeByID(Record[2], true), ArgTys,
Duncan Sandsdc024672007-11-27 13:23:08 +0000581 Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000582 break;
583 }
Chris Lattner15e6d172007-05-04 19:11:41 +0000584 case bitc::TYPE_CODE_STRUCT: { // STRUCT: [ispacked, eltty x N]
Chris Lattner7108dce2007-05-06 08:21:50 +0000585 if (Record.size() < 1)
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000586 return Error("Invalid STRUCT type record");
587 std::vector<const Type*> EltTys;
Chris Lattner15e6d172007-05-04 19:11:41 +0000588 for (unsigned i = 1, e = Record.size(); i != e; ++i)
589 EltTys.push_back(getTypeByID(Record[i], true));
Owen Andersond7f2a6c2009-08-05 23:16:16 +0000590 ResultTy = StructType::get(Context, EltTys, Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000591 break;
592 }
Chris Lattnerfdfeb692010-02-12 20:49:41 +0000593 case bitc::TYPE_CODE_UNION: { // UNION: [eltty x N]
594 SmallVector<const Type*, 8> EltTys;
595 for (unsigned i = 0, e = Record.size(); i != e; ++i)
596 EltTys.push_back(getTypeByID(Record[i], true));
597 ResultTy = UnionType::get(&EltTys[0], EltTys.size());
598 break;
599 }
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000600 case bitc::TYPE_CODE_ARRAY: // ARRAY: [numelts, eltty]
601 if (Record.size() < 2)
602 return Error("Invalid ARRAY type record");
Owen Andersondebcb012009-07-29 22:17:13 +0000603 ResultTy = ArrayType::get(getTypeByID(Record[1], true), Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000604 break;
605 case bitc::TYPE_CODE_VECTOR: // VECTOR: [numelts, eltty]
606 if (Record.size() < 2)
607 return Error("Invalid VECTOR type record");
Owen Andersondebcb012009-07-29 22:17:13 +0000608 ResultTy = VectorType::get(getTypeByID(Record[1], true), Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000609 break;
610 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000611
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000612 if (NumRecords == TypeList.size()) {
613 // If this is a new type slot, just append it.
Owen Anderson0e275dc2009-08-13 23:27:32 +0000614 TypeList.push_back(ResultTy ? ResultTy : OpaqueType::get(Context));
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000615 ++NumRecords;
616 } else if (ResultTy == 0) {
617 // Otherwise, this was forward referenced, so an opaque type was created,
618 // but the result type is actually just an opaque. Leave the one we
619 // created previously.
620 ++NumRecords;
621 } else {
622 // Otherwise, this was forward referenced, so an opaque type was created.
623 // Resolve the opaque type to the real type now.
624 assert(NumRecords < TypeList.size() && "Typelist imbalance");
625 const OpaqueType *OldTy = cast<OpaqueType>(TypeList[NumRecords++].get());
Daniel Dunbara279bc32009-09-20 02:20:51 +0000626
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000627 // Don't directly push the new type on the Tab. Instead we want to replace
628 // the opaque type we previously inserted with the new concrete value. The
629 // refinement from the abstract (opaque) type to the new type causes all
630 // uses of the abstract type to use the concrete type (NewTy). This will
631 // also cause the opaque type to be deleted.
632 const_cast<OpaqueType*>(OldTy)->refineAbstractTypeTo(ResultTy);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000633
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000634 // This should have replaced the old opaque type with the new type in the
Chris Lattner0eef0802007-04-24 04:04:35 +0000635 // value table... or with a preexisting type that was already in the
636 // system. Let's just make sure it did.
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000637 assert(TypeList[NumRecords-1].get() != OldTy &&
638 "refineAbstractType didn't work!");
639 }
640 }
641}
642
643
Chris Lattner86697142007-05-01 05:01:34 +0000644bool BitcodeReader::ParseTypeSymbolTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000645 if (Stream.EnterSubBlock(bitc::TYPE_SYMTAB_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000646 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000647
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000648 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000649
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000650 // Read all the records for this type table.
651 std::string TypeName;
652 while (1) {
653 unsigned Code = Stream.ReadCode();
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000654 if (Code == bitc::END_BLOCK) {
655 if (Stream.ReadBlockEnd())
656 return Error("Error at end of type symbol table block");
657 return false;
658 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000659
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000660 if (Code == bitc::ENTER_SUBBLOCK) {
661 // No known subblocks, always skip them.
662 Stream.ReadSubBlockID();
663 if (Stream.SkipBlock())
664 return Error("Malformed block record");
665 continue;
666 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000667
Chris Lattner36d5e7d2007-04-23 16:04:05 +0000668 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +0000669 Stream.ReadAbbrevRecord();
670 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000671 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000672
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000673 // Read a record.
674 Record.clear();
675 switch (Stream.ReadRecord(Code, Record)) {
676 default: // Default behavior: unknown type.
677 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000678 case bitc::TST_CODE_ENTRY: // TST_ENTRY: [typeid, namechar x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000679 if (ConvertToString(Record, 1, TypeName))
680 return Error("Invalid TST_ENTRY record");
681 unsigned TypeID = Record[0];
682 if (TypeID >= TypeList.size())
683 return Error("Invalid Type ID in TST_ENTRY record");
684
685 TheModule->addTypeName(TypeName, TypeList[TypeID].get());
686 TypeName.clear();
687 break;
688 }
689 }
690}
691
Chris Lattner86697142007-05-01 05:01:34 +0000692bool BitcodeReader::ParseValueSymbolTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000693 if (Stream.EnterSubBlock(bitc::VALUE_SYMTAB_BLOCK_ID))
Chris Lattner0b2482a2007-04-23 21:26:05 +0000694 return Error("Malformed block record");
695
696 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000697
Chris Lattner0b2482a2007-04-23 21:26:05 +0000698 // Read all the records for this value table.
699 SmallString<128> ValueName;
700 while (1) {
701 unsigned Code = Stream.ReadCode();
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000702 if (Code == bitc::END_BLOCK) {
703 if (Stream.ReadBlockEnd())
704 return Error("Error at end of value symbol table block");
705 return false;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000706 }
Chris Lattner0b2482a2007-04-23 21:26:05 +0000707 if (Code == bitc::ENTER_SUBBLOCK) {
708 // No known subblocks, always skip them.
709 Stream.ReadSubBlockID();
710 if (Stream.SkipBlock())
711 return Error("Malformed block record");
712 continue;
713 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000714
Chris Lattner0b2482a2007-04-23 21:26:05 +0000715 if (Code == bitc::DEFINE_ABBREV) {
716 Stream.ReadAbbrevRecord();
717 continue;
718 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000719
Chris Lattner0b2482a2007-04-23 21:26:05 +0000720 // Read a record.
721 Record.clear();
722 switch (Stream.ReadRecord(Code, Record)) {
723 default: // Default behavior: unknown type.
724 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000725 case bitc::VST_CODE_ENTRY: { // VST_ENTRY: [valueid, namechar x N]
Chris Lattner0b2482a2007-04-23 21:26:05 +0000726 if (ConvertToString(Record, 1, ValueName))
Nick Lewycky88b72932009-05-31 06:07:28 +0000727 return Error("Invalid VST_ENTRY record");
Chris Lattner0b2482a2007-04-23 21:26:05 +0000728 unsigned ValueID = Record[0];
729 if (ValueID >= ValueList.size())
730 return Error("Invalid Value ID in VST_ENTRY record");
731 Value *V = ValueList[ValueID];
Daniel Dunbara279bc32009-09-20 02:20:51 +0000732
Daniel Dunbar3f53fa92009-07-26 00:34:27 +0000733 V->setName(StringRef(ValueName.data(), ValueName.size()));
Chris Lattner0b2482a2007-04-23 21:26:05 +0000734 ValueName.clear();
735 break;
Reid Spencerc8f8a242007-05-04 01:43:33 +0000736 }
737 case bitc::VST_CODE_BBENTRY: {
Chris Lattnere825ed52007-05-03 22:18:21 +0000738 if (ConvertToString(Record, 1, ValueName))
739 return Error("Invalid VST_BBENTRY record");
740 BasicBlock *BB = getBasicBlock(Record[0]);
741 if (BB == 0)
742 return Error("Invalid BB ID in VST_BBENTRY record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000743
Daniel Dunbar3f53fa92009-07-26 00:34:27 +0000744 BB->setName(StringRef(ValueName.data(), ValueName.size()));
Chris Lattnere825ed52007-05-03 22:18:21 +0000745 ValueName.clear();
746 break;
Chris Lattner0b2482a2007-04-23 21:26:05 +0000747 }
Reid Spencerc8f8a242007-05-04 01:43:33 +0000748 }
Chris Lattner0b2482a2007-04-23 21:26:05 +0000749 }
750}
751
Devang Patele54abc92009-07-22 17:43:22 +0000752bool BitcodeReader::ParseMetadata() {
Devang Patel23598502010-01-11 18:52:33 +0000753 unsigned NextMDValueNo = MDValueList.size();
Devang Patele54abc92009-07-22 17:43:22 +0000754
755 if (Stream.EnterSubBlock(bitc::METADATA_BLOCK_ID))
756 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000757
Devang Patele54abc92009-07-22 17:43:22 +0000758 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000759
Devang Patele54abc92009-07-22 17:43:22 +0000760 // Read all the records.
761 while (1) {
762 unsigned Code = Stream.ReadCode();
763 if (Code == bitc::END_BLOCK) {
764 if (Stream.ReadBlockEnd())
765 return Error("Error at end of PARAMATTR block");
766 return false;
767 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000768
Devang Patele54abc92009-07-22 17:43:22 +0000769 if (Code == bitc::ENTER_SUBBLOCK) {
770 // No known subblocks, always skip them.
771 Stream.ReadSubBlockID();
772 if (Stream.SkipBlock())
773 return Error("Malformed block record");
774 continue;
775 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000776
Devang Patele54abc92009-07-22 17:43:22 +0000777 if (Code == bitc::DEFINE_ABBREV) {
778 Stream.ReadAbbrevRecord();
779 continue;
780 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000781
Victor Hernandez24e64df2010-01-10 07:14:18 +0000782 bool IsFunctionLocal = false;
Devang Patele54abc92009-07-22 17:43:22 +0000783 // Read a record.
784 Record.clear();
785 switch (Stream.ReadRecord(Code, Record)) {
786 default: // Default behavior: ignore.
787 break;
Devang Patelaa993142009-07-29 22:34:41 +0000788 case bitc::METADATA_NAME: {
789 // Read named of the named metadata.
790 unsigned NameLength = Record.size();
791 SmallString<8> Name;
792 Name.resize(NameLength);
793 for (unsigned i = 0; i != NameLength; ++i)
794 Name[i] = Record[i];
795 Record.clear();
796 Code = Stream.ReadCode();
797
798 // METADATA_NAME is always followed by METADATA_NAMED_NODE.
799 if (Stream.ReadRecord(Code, Record) != bitc::METADATA_NAMED_NODE)
800 assert ( 0 && "Inavlid Named Metadata record");
801
802 // Read named metadata elements.
803 unsigned Size = Record.size();
Devang Patel3e30c2a2010-01-05 20:41:31 +0000804 SmallVector<MDNode *, 8> Elts;
Devang Patelaa993142009-07-29 22:34:41 +0000805 for (unsigned i = 0; i != Size; ++i) {
Chris Lattner70644e92010-01-09 02:02:37 +0000806 MDNode *MD = dyn_cast<MDNode>(MDValueList.getValueFwdRef(Record[i]));
807 if (MD == 0)
808 return Error("Malformed metadata record");
809 Elts.push_back(MD);
Devang Patelaa993142009-07-29 22:34:41 +0000810 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000811 Value *V = NamedMDNode::Create(Context, Name.str(), Elts.data(),
Owen Anderson1d0be152009-08-13 21:58:54 +0000812 Elts.size(), TheModule);
Devang Patel23598502010-01-11 18:52:33 +0000813 MDValueList.AssignValue(V, NextMDValueNo++);
Devang Patelaa993142009-07-29 22:34:41 +0000814 break;
815 }
Victor Hernandez24e64df2010-01-10 07:14:18 +0000816 case bitc::METADATA_FN_NODE:
817 IsFunctionLocal = true;
818 // fall-through
Devang Patel104cf9e2009-07-23 01:07:34 +0000819 case bitc::METADATA_NODE: {
Dan Gohmanac809752010-07-13 19:33:27 +0000820 if (Record.size() % 2 == 1)
Devang Patel104cf9e2009-07-23 01:07:34 +0000821 return Error("Invalid METADATA_NODE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000822
Devang Patel104cf9e2009-07-23 01:07:34 +0000823 unsigned Size = Record.size();
824 SmallVector<Value*, 8> Elts;
825 for (unsigned i = 0; i != Size; i += 2) {
826 const Type *Ty = getTypeByID(Record[i], false);
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000827 if (Ty->isMetadataTy())
Devang Pateld5ac4042009-08-04 06:00:18 +0000828 Elts.push_back(MDValueList.getValueFwdRef(Record[i+1]));
Benjamin Kramerf0127052010-01-05 13:12:22 +0000829 else if (!Ty->isVoidTy())
Devang Patel104cf9e2009-07-23 01:07:34 +0000830 Elts.push_back(ValueList.getValueFwdRef(Record[i+1], Ty));
831 else
832 Elts.push_back(NULL);
833 }
Dan Gohmanac809752010-07-13 19:33:27 +0000834 Value *V = MDNode::getWhenValsUnresolved(Context,
835 Elts.data(), Elts.size(),
Victor Hernandez24e64df2010-01-10 07:14:18 +0000836 IsFunctionLocal);
837 IsFunctionLocal = false;
Devang Patel23598502010-01-11 18:52:33 +0000838 MDValueList.AssignValue(V, NextMDValueNo++);
Devang Patel104cf9e2009-07-23 01:07:34 +0000839 break;
840 }
Devang Patele54abc92009-07-22 17:43:22 +0000841 case bitc::METADATA_STRING: {
842 unsigned MDStringLength = Record.size();
843 SmallString<8> String;
844 String.resize(MDStringLength);
845 for (unsigned i = 0; i != MDStringLength; ++i)
846 String[i] = Record[i];
Daniel Dunbara279bc32009-09-20 02:20:51 +0000847 Value *V = MDString::get(Context,
Owen Anderson647e3012009-07-31 21:35:40 +0000848 StringRef(String.data(), String.size()));
Devang Patel23598502010-01-11 18:52:33 +0000849 MDValueList.AssignValue(V, NextMDValueNo++);
Devang Patele54abc92009-07-22 17:43:22 +0000850 break;
851 }
Devang Patele8e02132009-09-18 19:26:43 +0000852 case bitc::METADATA_KIND: {
853 unsigned RecordLength = Record.size();
854 if (Record.empty() || RecordLength < 2)
Daniel Dunbara279bc32009-09-20 02:20:51 +0000855 return Error("Invalid METADATA_KIND record");
Devang Patele8e02132009-09-18 19:26:43 +0000856 SmallString<8> Name;
857 Name.resize(RecordLength-1);
Devang Patela2148402009-09-28 21:14:55 +0000858 unsigned Kind = Record[0];
Devang Patele8e02132009-09-18 19:26:43 +0000859 for (unsigned i = 1; i != RecordLength; ++i)
Daniel Dunbara279bc32009-09-20 02:20:51 +0000860 Name[i-1] = Record[i];
Chris Lattner0eb41982009-12-28 20:45:51 +0000861
Chris Lattner08113472009-12-29 09:01:33 +0000862 unsigned NewKind = TheModule->getMDKindID(Name.str());
Dan Gohman19538d12010-07-20 21:42:28 +0000863 if (!MDKindMap.insert(std::make_pair(Kind, NewKind)).second)
864 return Error("Conflicting METADATA_KIND records");
Devang Patele8e02132009-09-18 19:26:43 +0000865 break;
866 }
Devang Patele54abc92009-07-22 17:43:22 +0000867 }
868 }
869}
870
Chris Lattner0eef0802007-04-24 04:04:35 +0000871/// DecodeSignRotatedValue - Decode a signed value stored with the sign bit in
872/// the LSB for dense VBR encoding.
873static uint64_t DecodeSignRotatedValue(uint64_t V) {
874 if ((V & 1) == 0)
875 return V >> 1;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000876 if (V != 1)
Chris Lattner0eef0802007-04-24 04:04:35 +0000877 return -(V >> 1);
878 // There is no such thing as -0 with integers. "-0" really means MININT.
879 return 1ULL << 63;
880}
881
Chris Lattner07d98b42007-04-26 02:46:40 +0000882/// ResolveGlobalAndAliasInits - Resolve all of the initializers for global
883/// values and aliases that we can.
884bool BitcodeReader::ResolveGlobalAndAliasInits() {
885 std::vector<std::pair<GlobalVariable*, unsigned> > GlobalInitWorklist;
886 std::vector<std::pair<GlobalAlias*, unsigned> > AliasInitWorklist;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000887
Chris Lattner07d98b42007-04-26 02:46:40 +0000888 GlobalInitWorklist.swap(GlobalInits);
889 AliasInitWorklist.swap(AliasInits);
890
891 while (!GlobalInitWorklist.empty()) {
Chris Lattner198f34a2007-04-26 03:27:58 +0000892 unsigned ValID = GlobalInitWorklist.back().second;
Chris Lattner07d98b42007-04-26 02:46:40 +0000893 if (ValID >= ValueList.size()) {
894 // Not ready to resolve this yet, it requires something later in the file.
Chris Lattner198f34a2007-04-26 03:27:58 +0000895 GlobalInits.push_back(GlobalInitWorklist.back());
Chris Lattner07d98b42007-04-26 02:46:40 +0000896 } else {
897 if (Constant *C = dyn_cast<Constant>(ValueList[ValID]))
898 GlobalInitWorklist.back().first->setInitializer(C);
899 else
900 return Error("Global variable initializer is not a constant!");
901 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000902 GlobalInitWorklist.pop_back();
Chris Lattner07d98b42007-04-26 02:46:40 +0000903 }
904
905 while (!AliasInitWorklist.empty()) {
906 unsigned ValID = AliasInitWorklist.back().second;
907 if (ValID >= ValueList.size()) {
908 AliasInits.push_back(AliasInitWorklist.back());
909 } else {
910 if (Constant *C = dyn_cast<Constant>(ValueList[ValID]))
Anton Korobeynikov7dde0ff2007-04-28 14:57:59 +0000911 AliasInitWorklist.back().first->setAliasee(C);
Chris Lattner07d98b42007-04-26 02:46:40 +0000912 else
913 return Error("Alias initializer is not a constant!");
914 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000915 AliasInitWorklist.pop_back();
Chris Lattner07d98b42007-04-26 02:46:40 +0000916 }
917 return false;
918}
919
Chris Lattner86697142007-05-01 05:01:34 +0000920bool BitcodeReader::ParseConstants() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000921 if (Stream.EnterSubBlock(bitc::CONSTANTS_BLOCK_ID))
Chris Lattnere16504e2007-04-24 03:30:34 +0000922 return Error("Malformed block record");
923
924 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000925
Chris Lattnere16504e2007-04-24 03:30:34 +0000926 // Read all the records for this value table.
Owen Anderson1d0be152009-08-13 21:58:54 +0000927 const Type *CurTy = Type::getInt32Ty(Context);
Chris Lattner522b7b12007-04-24 05:48:56 +0000928 unsigned NextCstNo = ValueList.size();
Chris Lattnere16504e2007-04-24 03:30:34 +0000929 while (1) {
930 unsigned Code = Stream.ReadCode();
Chris Lattnerea693df2008-08-21 02:34:16 +0000931 if (Code == bitc::END_BLOCK)
932 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000933
Chris Lattnere16504e2007-04-24 03:30:34 +0000934 if (Code == bitc::ENTER_SUBBLOCK) {
935 // No known subblocks, always skip them.
936 Stream.ReadSubBlockID();
937 if (Stream.SkipBlock())
938 return Error("Malformed block record");
939 continue;
940 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000941
Chris Lattnere16504e2007-04-24 03:30:34 +0000942 if (Code == bitc::DEFINE_ABBREV) {
943 Stream.ReadAbbrevRecord();
944 continue;
945 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000946
Chris Lattnere16504e2007-04-24 03:30:34 +0000947 // Read a record.
948 Record.clear();
949 Value *V = 0;
Dan Gohman1224c382009-07-20 21:19:07 +0000950 unsigned BitCode = Stream.ReadRecord(Code, Record);
951 switch (BitCode) {
Chris Lattnere16504e2007-04-24 03:30:34 +0000952 default: // Default behavior: unknown constant
953 case bitc::CST_CODE_UNDEF: // UNDEF
Owen Anderson9e9a0d52009-07-30 23:03:37 +0000954 V = UndefValue::get(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +0000955 break;
956 case bitc::CST_CODE_SETTYPE: // SETTYPE: [typeid]
957 if (Record.empty())
958 return Error("Malformed CST_SETTYPE record");
959 if (Record[0] >= TypeList.size())
960 return Error("Invalid Type ID in CST_SETTYPE record");
961 CurTy = TypeList[Record[0]];
Chris Lattner0eef0802007-04-24 04:04:35 +0000962 continue; // Skip the ValueList manipulation.
Chris Lattnere16504e2007-04-24 03:30:34 +0000963 case bitc::CST_CODE_NULL: // NULL
Owen Andersona7235ea2009-07-31 20:28:14 +0000964 V = Constant::getNullValue(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +0000965 break;
966 case bitc::CST_CODE_INTEGER: // INTEGER: [intval]
Duncan Sands1df98592010-02-16 11:11:14 +0000967 if (!CurTy->isIntegerTy() || Record.empty())
Chris Lattner0eef0802007-04-24 04:04:35 +0000968 return Error("Invalid CST_INTEGER record");
Owen Andersoneed707b2009-07-24 23:12:02 +0000969 V = ConstantInt::get(CurTy, DecodeSignRotatedValue(Record[0]));
Chris Lattner0eef0802007-04-24 04:04:35 +0000970 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000971 case bitc::CST_CODE_WIDE_INTEGER: {// WIDE_INTEGER: [n x intval]
Duncan Sands1df98592010-02-16 11:11:14 +0000972 if (!CurTy->isIntegerTy() || Record.empty())
Chris Lattner0eef0802007-04-24 04:04:35 +0000973 return Error("Invalid WIDE_INTEGER record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000974
Chris Lattner15e6d172007-05-04 19:11:41 +0000975 unsigned NumWords = Record.size();
Chris Lattner084a8442007-04-24 17:22:05 +0000976 SmallVector<uint64_t, 8> Words;
977 Words.resize(NumWords);
Chris Lattner0eef0802007-04-24 04:04:35 +0000978 for (unsigned i = 0; i != NumWords; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +0000979 Words[i] = DecodeSignRotatedValue(Record[i]);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000980 V = ConstantInt::get(Context,
Owen Andersoneed707b2009-07-24 23:12:02 +0000981 APInt(cast<IntegerType>(CurTy)->getBitWidth(),
982 NumWords, &Words[0]));
Chris Lattner0eef0802007-04-24 04:04:35 +0000983 break;
984 }
Dale Johannesen3f6eb742007-09-11 18:32:33 +0000985 case bitc::CST_CODE_FLOAT: { // FLOAT: [fpval]
Chris Lattner0eef0802007-04-24 04:04:35 +0000986 if (Record.empty())
987 return Error("Invalid FLOAT record");
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000988 if (CurTy->isFloatTy())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000989 V = ConstantFP::get(Context, APFloat(APInt(32, (uint32_t)Record[0])));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000990 else if (CurTy->isDoubleTy())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000991 V = ConstantFP::get(Context, APFloat(APInt(64, Record[0])));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000992 else if (CurTy->isX86_FP80Ty()) {
Dale Johannesen1b25cb22009-03-23 21:16:53 +0000993 // Bits are not stored the same way as a normal i80 APInt, compensate.
994 uint64_t Rearrange[2];
995 Rearrange[0] = (Record[1] & 0xffffLL) | (Record[0] << 16);
996 Rearrange[1] = Record[0] >> 48;
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000997 V = ConstantFP::get(Context, APFloat(APInt(80, 2, Rearrange)));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000998 } else if (CurTy->isFP128Ty())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000999 V = ConstantFP::get(Context, APFloat(APInt(128, 2, &Record[0]), true));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +00001000 else if (CurTy->isPPC_FP128Ty())
Owen Anderson6f83c9c2009-07-27 20:59:43 +00001001 V = ConstantFP::get(Context, APFloat(APInt(128, 2, &Record[0])));
Chris Lattnere16504e2007-04-24 03:30:34 +00001002 else
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001003 V = UndefValue::get(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +00001004 break;
Dale Johannesen3f6eb742007-09-11 18:32:33 +00001005 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001006
Chris Lattner15e6d172007-05-04 19:11:41 +00001007 case bitc::CST_CODE_AGGREGATE: {// AGGREGATE: [n x value number]
1008 if (Record.empty())
Chris Lattner522b7b12007-04-24 05:48:56 +00001009 return Error("Invalid CST_AGGREGATE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001010
Chris Lattner15e6d172007-05-04 19:11:41 +00001011 unsigned Size = Record.size();
Chris Lattner522b7b12007-04-24 05:48:56 +00001012 std::vector<Constant*> Elts;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001013
Chris Lattner522b7b12007-04-24 05:48:56 +00001014 if (const StructType *STy = dyn_cast<StructType>(CurTy)) {
1015 for (unsigned i = 0; i != Size; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +00001016 Elts.push_back(ValueList.getConstantFwdRef(Record[i],
Chris Lattner522b7b12007-04-24 05:48:56 +00001017 STy->getElementType(i)));
Owen Anderson8fa33382009-07-27 22:29:26 +00001018 V = ConstantStruct::get(STy, Elts);
Chris Lattner93b122d2010-03-16 21:25:55 +00001019 } else if (const UnionType *UnTy = dyn_cast<UnionType>(CurTy)) {
1020 uint64_t Index = Record[0];
1021 Constant *Val = ValueList.getConstantFwdRef(Record[1],
1022 UnTy->getElementType(Index));
1023 V = ConstantUnion::get(UnTy, Val);
Chris Lattner522b7b12007-04-24 05:48:56 +00001024 } else if (const ArrayType *ATy = dyn_cast<ArrayType>(CurTy)) {
1025 const Type *EltTy = ATy->getElementType();
1026 for (unsigned i = 0; i != Size; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +00001027 Elts.push_back(ValueList.getConstantFwdRef(Record[i], EltTy));
Owen Anderson1fd70962009-07-28 18:32:17 +00001028 V = ConstantArray::get(ATy, Elts);
Chris Lattner522b7b12007-04-24 05:48:56 +00001029 } else if (const VectorType *VTy = dyn_cast<VectorType>(CurTy)) {
1030 const Type *EltTy = VTy->getElementType();
1031 for (unsigned i = 0; i != Size; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +00001032 Elts.push_back(ValueList.getConstantFwdRef(Record[i], EltTy));
Owen Andersonaf7ec972009-07-28 21:19:26 +00001033 V = ConstantVector::get(Elts);
Chris Lattner522b7b12007-04-24 05:48:56 +00001034 } else {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001035 V = UndefValue::get(CurTy);
Chris Lattner522b7b12007-04-24 05:48:56 +00001036 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001037 break;
1038 }
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001039 case bitc::CST_CODE_STRING: { // STRING: [values]
1040 if (Record.empty())
1041 return Error("Invalid CST_AGGREGATE record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001042
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001043 const ArrayType *ATy = cast<ArrayType>(CurTy);
1044 const Type *EltTy = ATy->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001045
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001046 unsigned Size = Record.size();
1047 std::vector<Constant*> Elts;
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001048 for (unsigned i = 0; i != Size; ++i)
Owen Andersoneed707b2009-07-24 23:12:02 +00001049 Elts.push_back(ConstantInt::get(EltTy, Record[i]));
Owen Anderson1fd70962009-07-28 18:32:17 +00001050 V = ConstantArray::get(ATy, Elts);
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001051 break;
1052 }
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001053 case bitc::CST_CODE_CSTRING: { // CSTRING: [values]
1054 if (Record.empty())
1055 return Error("Invalid CST_AGGREGATE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001056
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001057 const ArrayType *ATy = cast<ArrayType>(CurTy);
1058 const Type *EltTy = ATy->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001059
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001060 unsigned Size = Record.size();
1061 std::vector<Constant*> Elts;
1062 for (unsigned i = 0; i != Size; ++i)
Owen Andersoneed707b2009-07-24 23:12:02 +00001063 Elts.push_back(ConstantInt::get(EltTy, Record[i]));
Owen Andersona7235ea2009-07-31 20:28:14 +00001064 Elts.push_back(Constant::getNullValue(EltTy));
Owen Anderson1fd70962009-07-28 18:32:17 +00001065 V = ConstantArray::get(ATy, Elts);
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001066 break;
1067 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001068 case bitc::CST_CODE_CE_BINOP: { // CE_BINOP: [opcode, opval, opval]
1069 if (Record.size() < 3) return Error("Invalid CE_BINOP record");
1070 int Opc = GetDecodedBinaryOpcode(Record[0], CurTy);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001071 if (Opc < 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001072 V = UndefValue::get(CurTy); // Unknown binop.
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001073 } else {
1074 Constant *LHS = ValueList.getConstantFwdRef(Record[1], CurTy);
1075 Constant *RHS = ValueList.getConstantFwdRef(Record[2], CurTy);
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001076 unsigned Flags = 0;
1077 if (Record.size() >= 4) {
1078 if (Opc == Instruction::Add ||
1079 Opc == Instruction::Sub ||
1080 Opc == Instruction::Mul) {
1081 if (Record[3] & (1 << bitc::OBO_NO_SIGNED_WRAP))
1082 Flags |= OverflowingBinaryOperator::NoSignedWrap;
1083 if (Record[3] & (1 << bitc::OBO_NO_UNSIGNED_WRAP))
1084 Flags |= OverflowingBinaryOperator::NoUnsignedWrap;
1085 } else if (Opc == Instruction::SDiv) {
1086 if (Record[3] & (1 << bitc::SDIV_EXACT))
1087 Flags |= SDivOperator::IsExact;
1088 }
1089 }
1090 V = ConstantExpr::get(Opc, LHS, RHS, Flags);
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 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001094 case bitc::CST_CODE_CE_CAST: { // CE_CAST: [opcode, opty, opval]
1095 if (Record.size() < 3) return Error("Invalid CE_CAST record");
1096 int Opc = GetDecodedCastOpcode(Record[0]);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001097 if (Opc < 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001098 V = UndefValue::get(CurTy); // Unknown cast.
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001099 } else {
1100 const Type *OpTy = getTypeByID(Record[1]);
Chris Lattnerbfcc3802007-05-06 07:33:01 +00001101 if (!OpTy) return Error("Invalid CE_CAST record");
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001102 Constant *Op = ValueList.getConstantFwdRef(Record[2], OpTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001103 V = ConstantExpr::getCast(Opc, Op, CurTy);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001104 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001105 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001106 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001107 case bitc::CST_CODE_CE_INBOUNDS_GEP:
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001108 case bitc::CST_CODE_CE_GEP: { // CE_GEP: [n x operands]
Chris Lattner15e6d172007-05-04 19:11:41 +00001109 if (Record.size() & 1) return Error("Invalid CE_GEP record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001110 SmallVector<Constant*, 16> Elts;
Chris Lattner15e6d172007-05-04 19:11:41 +00001111 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001112 const Type *ElTy = getTypeByID(Record[i]);
1113 if (!ElTy) return Error("Invalid CE_GEP record");
1114 Elts.push_back(ValueList.getConstantFwdRef(Record[i+1], ElTy));
1115 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001116 if (BitCode == bitc::CST_CODE_CE_INBOUNDS_GEP)
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001117 V = ConstantExpr::getInBoundsGetElementPtr(Elts[0], &Elts[1],
1118 Elts.size()-1);
1119 else
1120 V = ConstantExpr::getGetElementPtr(Elts[0], &Elts[1],
1121 Elts.size()-1);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001122 break;
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001123 }
1124 case bitc::CST_CODE_CE_SELECT: // CE_SELECT: [opval#, opval#, opval#]
1125 if (Record.size() < 3) return Error("Invalid CE_SELECT record");
Owen Andersonbaf3c402009-07-29 18:55:55 +00001126 V = ConstantExpr::getSelect(ValueList.getConstantFwdRef(Record[0],
Owen Anderson1d0be152009-08-13 21:58:54 +00001127 Type::getInt1Ty(Context)),
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001128 ValueList.getConstantFwdRef(Record[1],CurTy),
1129 ValueList.getConstantFwdRef(Record[2],CurTy));
1130 break;
1131 case bitc::CST_CODE_CE_EXTRACTELT: { // CE_EXTRACTELT: [opty, opval, opval]
1132 if (Record.size() < 3) return Error("Invalid CE_EXTRACTELT record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001133 const VectorType *OpTy =
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001134 dyn_cast_or_null<VectorType>(getTypeByID(Record[0]));
1135 if (OpTy == 0) return Error("Invalid CE_EXTRACTELT record");
1136 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
Owen Anderson1d0be152009-08-13 21:58:54 +00001137 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], Type::getInt32Ty(Context));
Owen Andersonbaf3c402009-07-29 18:55:55 +00001138 V = ConstantExpr::getExtractElement(Op0, Op1);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001139 break;
1140 }
1141 case bitc::CST_CODE_CE_INSERTELT: { // CE_INSERTELT: [opval, opval, opval]
1142 const VectorType *OpTy = dyn_cast<VectorType>(CurTy);
1143 if (Record.size() < 3 || OpTy == 0)
1144 return Error("Invalid CE_INSERTELT record");
1145 Constant *Op0 = ValueList.getConstantFwdRef(Record[0], OpTy);
1146 Constant *Op1 = ValueList.getConstantFwdRef(Record[1],
1147 OpTy->getElementType());
Owen Anderson1d0be152009-08-13 21:58:54 +00001148 Constant *Op2 = ValueList.getConstantFwdRef(Record[2], Type::getInt32Ty(Context));
Owen Andersonbaf3c402009-07-29 18:55:55 +00001149 V = ConstantExpr::getInsertElement(Op0, Op1, Op2);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001150 break;
1151 }
1152 case bitc::CST_CODE_CE_SHUFFLEVEC: { // CE_SHUFFLEVEC: [opval, opval, opval]
1153 const VectorType *OpTy = dyn_cast<VectorType>(CurTy);
1154 if (Record.size() < 3 || OpTy == 0)
Nate Begeman0f123cf2009-02-12 21:28:33 +00001155 return Error("Invalid CE_SHUFFLEVEC record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001156 Constant *Op0 = ValueList.getConstantFwdRef(Record[0], OpTy);
1157 Constant *Op1 = ValueList.getConstantFwdRef(Record[1], 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 OpTy->getNumElements());
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001160 Constant *Op2 = ValueList.getConstantFwdRef(Record[2], ShufTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001161 V = ConstantExpr::getShuffleVector(Op0, Op1, Op2);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001162 break;
1163 }
Nate Begeman0f123cf2009-02-12 21:28:33 +00001164 case bitc::CST_CODE_CE_SHUFVEC_EX: { // [opty, opval, opval, opval]
1165 const VectorType *RTy = dyn_cast<VectorType>(CurTy);
1166 const VectorType *OpTy = dyn_cast<VectorType>(getTypeByID(Record[0]));
1167 if (Record.size() < 4 || RTy == 0 || OpTy == 0)
1168 return Error("Invalid CE_SHUFVEC_EX record");
1169 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
1170 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], OpTy);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001171 const Type *ShufTy = VectorType::get(Type::getInt32Ty(Context),
Owen Anderson74a77812009-07-07 20:18:58 +00001172 RTy->getNumElements());
Nate Begeman0f123cf2009-02-12 21:28:33 +00001173 Constant *Op2 = ValueList.getConstantFwdRef(Record[3], ShufTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001174 V = ConstantExpr::getShuffleVector(Op0, Op1, Op2);
Nate Begeman0f123cf2009-02-12 21:28:33 +00001175 break;
1176 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001177 case bitc::CST_CODE_CE_CMP: { // CE_CMP: [opty, opval, opval, pred]
1178 if (Record.size() < 4) return Error("Invalid CE_CMP record");
1179 const Type *OpTy = getTypeByID(Record[0]);
1180 if (OpTy == 0) return Error("Invalid CE_CMP record");
1181 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
1182 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], OpTy);
1183
Duncan Sandsb0bc6c32010-02-15 16:12:20 +00001184 if (OpTy->isFPOrFPVectorTy())
Owen Andersonbaf3c402009-07-29 18:55:55 +00001185 V = ConstantExpr::getFCmp(Record[3], Op0, Op1);
Nate Begemanac80ade2008-05-12 19:01:56 +00001186 else
Owen Andersonbaf3c402009-07-29 18:55:55 +00001187 V = ConstantExpr::getICmp(Record[3], Op0, Op1);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001188 break;
Chris Lattner522b7b12007-04-24 05:48:56 +00001189 }
Chris Lattner2bce93a2007-05-06 01:58:20 +00001190 case bitc::CST_CODE_INLINEASM: {
1191 if (Record.size() < 2) return Error("Invalid INLINEASM record");
1192 std::string AsmStr, ConstrStr;
Dale Johannesen43602982009-10-13 20:46:56 +00001193 bool HasSideEffects = Record[0] & 1;
Dale Johannesen8ba2d5b2009-10-21 23:28:00 +00001194 bool IsAlignStack = Record[0] >> 1;
Chris Lattner2bce93a2007-05-06 01:58:20 +00001195 unsigned AsmStrSize = Record[1];
1196 if (2+AsmStrSize >= Record.size())
1197 return Error("Invalid INLINEASM record");
1198 unsigned ConstStrSize = Record[2+AsmStrSize];
1199 if (3+AsmStrSize+ConstStrSize > Record.size())
1200 return Error("Invalid INLINEASM record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001201
Chris Lattner2bce93a2007-05-06 01:58:20 +00001202 for (unsigned i = 0; i != AsmStrSize; ++i)
1203 AsmStr += (char)Record[2+i];
1204 for (unsigned i = 0; i != ConstStrSize; ++i)
1205 ConstrStr += (char)Record[3+AsmStrSize+i];
1206 const PointerType *PTy = cast<PointerType>(CurTy);
1207 V = InlineAsm::get(cast<FunctionType>(PTy->getElementType()),
Dale Johannesen8ba2d5b2009-10-21 23:28:00 +00001208 AsmStr, ConstrStr, HasSideEffects, IsAlignStack);
Chris Lattner2bce93a2007-05-06 01:58:20 +00001209 break;
1210 }
Chris Lattner50b136d2009-10-28 05:53:48 +00001211 case bitc::CST_CODE_BLOCKADDRESS:{
1212 if (Record.size() < 3) return Error("Invalid CE_BLOCKADDRESS record");
1213 const Type *FnTy = getTypeByID(Record[0]);
1214 if (FnTy == 0) return Error("Invalid CE_BLOCKADDRESS record");
1215 Function *Fn =
1216 dyn_cast_or_null<Function>(ValueList.getConstantFwdRef(Record[1],FnTy));
1217 if (Fn == 0) return Error("Invalid CE_BLOCKADDRESS record");
1218
1219 GlobalVariable *FwdRef = new GlobalVariable(*Fn->getParent(),
1220 Type::getInt8Ty(Context),
1221 false, GlobalValue::InternalLinkage,
1222 0, "");
1223 BlockAddrFwdRefs[Fn].push_back(std::make_pair(Record[2], FwdRef));
1224 V = FwdRef;
1225 break;
1226 }
Chris Lattnere16504e2007-04-24 03:30:34 +00001227 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001228
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001229 ValueList.AssignValue(V, NextCstNo);
Chris Lattner522b7b12007-04-24 05:48:56 +00001230 ++NextCstNo;
Chris Lattnere16504e2007-04-24 03:30:34 +00001231 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001232
Chris Lattnerea693df2008-08-21 02:34:16 +00001233 if (NextCstNo != ValueList.size())
1234 return Error("Invalid constant reference!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001235
Chris Lattnerea693df2008-08-21 02:34:16 +00001236 if (Stream.ReadBlockEnd())
1237 return Error("Error at end of constants block");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001238
Chris Lattnerea693df2008-08-21 02:34:16 +00001239 // Once all the constants have been read, go through and resolve forward
1240 // references.
1241 ValueList.ResolveConstantForwardRefs();
1242 return false;
Chris Lattnere16504e2007-04-24 03:30:34 +00001243}
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001244
Chris Lattner980e5aa2007-05-01 05:52:21 +00001245/// RememberAndSkipFunctionBody - When we see the block for a function body,
1246/// remember where it is and then skip it. This lets us lazily deserialize the
1247/// functions.
1248bool BitcodeReader::RememberAndSkipFunctionBody() {
Chris Lattner48f84872007-05-01 04:59:48 +00001249 // Get the function we are talking about.
1250 if (FunctionsWithBodies.empty())
1251 return Error("Insufficient function protos");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001252
Chris Lattner48f84872007-05-01 04:59:48 +00001253 Function *Fn = FunctionsWithBodies.back();
1254 FunctionsWithBodies.pop_back();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001255
Chris Lattner48f84872007-05-01 04:59:48 +00001256 // Save the current stream state.
1257 uint64_t CurBit = Stream.GetCurrentBitNo();
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00001258 DeferredFunctionInfo[Fn] = CurBit;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001259
Chris Lattner48f84872007-05-01 04:59:48 +00001260 // Skip over the function block for now.
1261 if (Stream.SkipBlock())
1262 return Error("Malformed block record");
1263 return false;
1264}
1265
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00001266bool BitcodeReader::ParseModule() {
Chris Lattnere17b6582007-05-05 00:17:00 +00001267 if (Stream.EnterSubBlock(bitc::MODULE_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001268 return Error("Malformed block record");
1269
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001270 SmallVector<uint64_t, 64> Record;
1271 std::vector<std::string> SectionTable;
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001272 std::vector<std::string> GCTable;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001273
1274 // Read all the records for this module.
1275 while (!Stream.AtEndOfStream()) {
1276 unsigned Code = Stream.ReadCode();
Chris Lattnere84bcb92007-04-24 00:21:45 +00001277 if (Code == bitc::END_BLOCK) {
Chris Lattner980e5aa2007-05-01 05:52:21 +00001278 if (Stream.ReadBlockEnd())
1279 return Error("Error at end of module block");
1280
1281 // Patch the initializers for globals and aliases up.
Chris Lattner07d98b42007-04-26 02:46:40 +00001282 ResolveGlobalAndAliasInits();
1283 if (!GlobalInits.empty() || !AliasInits.empty())
Chris Lattnere84bcb92007-04-24 00:21:45 +00001284 return Error("Malformed global initializer set");
Chris Lattner48f84872007-05-01 04:59:48 +00001285 if (!FunctionsWithBodies.empty())
1286 return Error("Too few function bodies found");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001287
Chandler Carruth69940402007-08-04 01:51:18 +00001288 // Look for intrinsic functions which need to be upgraded at some point
1289 for (Module::iterator FI = TheModule->begin(), FE = TheModule->end();
1290 FI != FE; ++FI) {
Evan Chengf9b83fc2007-12-17 22:33:23 +00001291 Function* NewFn;
1292 if (UpgradeIntrinsicFunction(FI, NewFn))
Chandler Carruth69940402007-08-04 01:51:18 +00001293 UpgradedIntrinsics.push_back(std::make_pair(FI, NewFn));
1294 }
1295
Chris Lattner980e5aa2007-05-01 05:52:21 +00001296 // Force deallocation of memory for these vectors to favor the client that
1297 // want lazy deserialization.
1298 std::vector<std::pair<GlobalVariable*, unsigned> >().swap(GlobalInits);
1299 std::vector<std::pair<GlobalAlias*, unsigned> >().swap(AliasInits);
1300 std::vector<Function*>().swap(FunctionsWithBodies);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001301 return false;
Chris Lattnere84bcb92007-04-24 00:21:45 +00001302 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001303
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001304 if (Code == bitc::ENTER_SUBBLOCK) {
1305 switch (Stream.ReadSubBlockID()) {
1306 default: // Skip unknown content.
1307 if (Stream.SkipBlock())
1308 return Error("Malformed block record");
1309 break;
Chris Lattner3f799802007-05-05 18:57:30 +00001310 case bitc::BLOCKINFO_BLOCK_ID:
1311 if (Stream.ReadBlockInfoBlock())
1312 return Error("Malformed BlockInfoBlock");
1313 break;
Chris Lattner48c85b82007-05-04 03:30:17 +00001314 case bitc::PARAMATTR_BLOCK_ID:
Devang Patel05988662008-09-25 21:00:45 +00001315 if (ParseAttributeBlock())
Chris Lattner48c85b82007-05-04 03:30:17 +00001316 return true;
1317 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001318 case bitc::TYPE_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001319 if (ParseTypeTable())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001320 return true;
1321 break;
1322 case bitc::TYPE_SYMTAB_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001323 if (ParseTypeSymbolTable())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001324 return true;
1325 break;
Chris Lattner0b2482a2007-04-23 21:26:05 +00001326 case bitc::VALUE_SYMTAB_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001327 if (ParseValueSymbolTable())
Chris Lattner0b2482a2007-04-23 21:26:05 +00001328 return true;
1329 break;
Chris Lattnere16504e2007-04-24 03:30:34 +00001330 case bitc::CONSTANTS_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001331 if (ParseConstants() || ResolveGlobalAndAliasInits())
Chris Lattnere16504e2007-04-24 03:30:34 +00001332 return true;
1333 break;
Devang Patele54abc92009-07-22 17:43:22 +00001334 case bitc::METADATA_BLOCK_ID:
1335 if (ParseMetadata())
1336 return true;
1337 break;
Chris Lattner48f84872007-05-01 04:59:48 +00001338 case bitc::FUNCTION_BLOCK_ID:
1339 // If this is the first function body we've seen, reverse the
1340 // FunctionsWithBodies list.
1341 if (!HasReversedFunctionsWithBodies) {
1342 std::reverse(FunctionsWithBodies.begin(), FunctionsWithBodies.end());
1343 HasReversedFunctionsWithBodies = true;
1344 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001345
Chris Lattner980e5aa2007-05-01 05:52:21 +00001346 if (RememberAndSkipFunctionBody())
Chris Lattner48f84872007-05-01 04:59:48 +00001347 return true;
1348 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001349 }
1350 continue;
1351 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001352
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001353 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +00001354 Stream.ReadAbbrevRecord();
1355 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001356 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001357
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001358 // Read a record.
1359 switch (Stream.ReadRecord(Code, Record)) {
1360 default: break; // Default behavior, ignore unknown content.
1361 case bitc::MODULE_CODE_VERSION: // VERSION: [version#]
1362 if (Record.size() < 1)
1363 return Error("Malformed MODULE_CODE_VERSION");
1364 // Only version #0 is supported so far.
1365 if (Record[0] != 0)
1366 return Error("Unknown bitstream version!");
1367 break;
Chris Lattner15e6d172007-05-04 19:11:41 +00001368 case bitc::MODULE_CODE_TRIPLE: { // TRIPLE: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001369 std::string S;
1370 if (ConvertToString(Record, 0, S))
1371 return Error("Invalid MODULE_CODE_TRIPLE record");
1372 TheModule->setTargetTriple(S);
1373 break;
1374 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001375 case bitc::MODULE_CODE_DATALAYOUT: { // DATALAYOUT: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001376 std::string S;
1377 if (ConvertToString(Record, 0, S))
1378 return Error("Invalid MODULE_CODE_DATALAYOUT record");
1379 TheModule->setDataLayout(S);
1380 break;
1381 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001382 case bitc::MODULE_CODE_ASM: { // ASM: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001383 std::string S;
1384 if (ConvertToString(Record, 0, S))
1385 return Error("Invalid MODULE_CODE_ASM record");
1386 TheModule->setModuleInlineAsm(S);
1387 break;
1388 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001389 case bitc::MODULE_CODE_DEPLIB: { // DEPLIB: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001390 std::string S;
1391 if (ConvertToString(Record, 0, S))
1392 return Error("Invalid MODULE_CODE_DEPLIB record");
1393 TheModule->addLibrary(S);
1394 break;
1395 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001396 case bitc::MODULE_CODE_SECTIONNAME: { // SECTIONNAME: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001397 std::string S;
1398 if (ConvertToString(Record, 0, S))
1399 return Error("Invalid MODULE_CODE_SECTIONNAME record");
1400 SectionTable.push_back(S);
1401 break;
1402 }
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001403 case bitc::MODULE_CODE_GCNAME: { // SECTIONNAME: [strchr x N]
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001404 std::string S;
1405 if (ConvertToString(Record, 0, S))
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001406 return Error("Invalid MODULE_CODE_GCNAME record");
1407 GCTable.push_back(S);
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001408 break;
1409 }
Christopher Lambfe63fb92007-12-11 08:59:05 +00001410 // GLOBALVAR: [pointer type, isconst, initid,
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001411 // linkage, alignment, section, visibility, threadlocal]
1412 case bitc::MODULE_CODE_GLOBALVAR: {
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001413 if (Record.size() < 6)
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001414 return Error("Invalid MODULE_CODE_GLOBALVAR record");
1415 const Type *Ty = getTypeByID(Record[0]);
Duncan Sands1df98592010-02-16 11:11:14 +00001416 if (!Ty->isPointerTy())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001417 return Error("Global not a pointer type!");
Christopher Lambfe63fb92007-12-11 08:59:05 +00001418 unsigned AddressSpace = cast<PointerType>(Ty)->getAddressSpace();
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001419 Ty = cast<PointerType>(Ty)->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001420
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001421 bool isConstant = Record[1];
1422 GlobalValue::LinkageTypes Linkage = GetDecodedLinkage(Record[3]);
1423 unsigned Alignment = (1 << Record[4]) >> 1;
1424 std::string Section;
1425 if (Record[5]) {
1426 if (Record[5]-1 >= SectionTable.size())
1427 return Error("Invalid section ID");
1428 Section = SectionTable[Record[5]-1];
1429 }
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001430 GlobalValue::VisibilityTypes Visibility = GlobalValue::DefaultVisibility;
Chris Lattner5f32c012007-05-06 19:27:46 +00001431 if (Record.size() > 6)
1432 Visibility = GetDecodedVisibility(Record[6]);
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001433 bool isThreadLocal = false;
Chris Lattner5f32c012007-05-06 19:27:46 +00001434 if (Record.size() > 7)
1435 isThreadLocal = Record[7];
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001436
1437 GlobalVariable *NewGV =
Daniel Dunbara279bc32009-09-20 02:20:51 +00001438 new GlobalVariable(*TheModule, Ty, isConstant, Linkage, 0, "", 0,
Christopher Lambfe63fb92007-12-11 08:59:05 +00001439 isThreadLocal, AddressSpace);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001440 NewGV->setAlignment(Alignment);
1441 if (!Section.empty())
1442 NewGV->setSection(Section);
1443 NewGV->setVisibility(Visibility);
1444 NewGV->setThreadLocal(isThreadLocal);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001445
Chris Lattner0b2482a2007-04-23 21:26:05 +00001446 ValueList.push_back(NewGV);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001447
Chris Lattner6dbfd7b2007-04-24 00:18:21 +00001448 // Remember which value to use for the global initializer.
1449 if (unsigned InitID = Record[2])
1450 GlobalInits.push_back(std::make_pair(NewGV, InitID-1));
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001451 break;
1452 }
Chris Lattnera9bb7132007-05-08 05:38:01 +00001453 // FUNCTION: [type, callingconv, isproto, linkage, paramattr,
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001454 // alignment, section, visibility, gc]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001455 case bitc::MODULE_CODE_FUNCTION: {
Chris Lattnera9bb7132007-05-08 05:38:01 +00001456 if (Record.size() < 8)
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001457 return Error("Invalid MODULE_CODE_FUNCTION record");
1458 const Type *Ty = getTypeByID(Record[0]);
Duncan Sands1df98592010-02-16 11:11:14 +00001459 if (!Ty->isPointerTy())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001460 return Error("Function not a pointer type!");
1461 const FunctionType *FTy =
1462 dyn_cast<FunctionType>(cast<PointerType>(Ty)->getElementType());
1463 if (!FTy)
1464 return Error("Function not a pointer to function type!");
1465
Gabor Greif051a9502008-04-06 20:25:17 +00001466 Function *Func = Function::Create(FTy, GlobalValue::ExternalLinkage,
1467 "", TheModule);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001468
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00001469 Func->setCallingConv(static_cast<CallingConv::ID>(Record[1]));
Chris Lattner48f84872007-05-01 04:59:48 +00001470 bool isProto = Record[2];
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001471 Func->setLinkage(GetDecodedLinkage(Record[3]));
Devang Patel05988662008-09-25 21:00:45 +00001472 Func->setAttributes(getAttributes(Record[4]));
Daniel Dunbara279bc32009-09-20 02:20:51 +00001473
Chris Lattnera9bb7132007-05-08 05:38:01 +00001474 Func->setAlignment((1 << Record[5]) >> 1);
1475 if (Record[6]) {
1476 if (Record[6]-1 >= SectionTable.size())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001477 return Error("Invalid section ID");
Chris Lattnera9bb7132007-05-08 05:38:01 +00001478 Func->setSection(SectionTable[Record[6]-1]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001479 }
Chris Lattnera9bb7132007-05-08 05:38:01 +00001480 Func->setVisibility(GetDecodedVisibility(Record[7]));
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001481 if (Record.size() > 8 && Record[8]) {
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001482 if (Record[8]-1 > GCTable.size())
1483 return Error("Invalid GC ID");
1484 Func->setGC(GCTable[Record[8]-1].c_str());
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001485 }
Chris Lattner0b2482a2007-04-23 21:26:05 +00001486 ValueList.push_back(Func);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001487
Chris Lattner48f84872007-05-01 04:59:48 +00001488 // If this is a function with a body, remember the prototype we are
1489 // creating now, so that we can match up the body with them later.
1490 if (!isProto)
1491 FunctionsWithBodies.push_back(Func);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001492 break;
1493 }
Anton Korobeynikov91342d82008-03-12 00:49:19 +00001494 // ALIAS: [alias type, aliasee val#, linkage]
Anton Korobeynikovf8342b92008-03-11 21:40:17 +00001495 // ALIAS: [alias type, aliasee val#, linkage, visibility]
Chris Lattner198f34a2007-04-26 03:27:58 +00001496 case bitc::MODULE_CODE_ALIAS: {
Chris Lattner07d98b42007-04-26 02:46:40 +00001497 if (Record.size() < 3)
1498 return Error("Invalid MODULE_ALIAS record");
1499 const Type *Ty = getTypeByID(Record[0]);
Duncan Sands1df98592010-02-16 11:11:14 +00001500 if (!Ty->isPointerTy())
Chris Lattner07d98b42007-04-26 02:46:40 +00001501 return Error("Function not a pointer type!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001502
Chris Lattner07d98b42007-04-26 02:46:40 +00001503 GlobalAlias *NewGA = new GlobalAlias(Ty, GetDecodedLinkage(Record[2]),
1504 "", 0, TheModule);
Anton Korobeynikov91342d82008-03-12 00:49:19 +00001505 // Old bitcode files didn't have visibility field.
1506 if (Record.size() > 3)
1507 NewGA->setVisibility(GetDecodedVisibility(Record[3]));
Chris Lattner07d98b42007-04-26 02:46:40 +00001508 ValueList.push_back(NewGA);
1509 AliasInits.push_back(std::make_pair(NewGA, Record[1]));
1510 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001511 }
Chris Lattner198f34a2007-04-26 03:27:58 +00001512 /// MODULE_CODE_PURGEVALS: [numvals]
1513 case bitc::MODULE_CODE_PURGEVALS:
1514 // Trim down the value list to the specified size.
1515 if (Record.size() < 1 || Record[0] > ValueList.size())
1516 return Error("Invalid MODULE_PURGEVALS record");
1517 ValueList.shrinkTo(Record[0]);
1518 break;
1519 }
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001520 Record.clear();
1521 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001522
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001523 return Error("Premature end of bitstream");
1524}
1525
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00001526bool BitcodeReader::ParseBitcodeInto(Module *M) {
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001527 TheModule = 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001528
Chris Lattnerc453f762007-04-29 07:54:31 +00001529 unsigned char *BufPtr = (unsigned char *)Buffer->getBufferStart();
Chris Lattner6fa6a322008-07-09 05:14:23 +00001530 unsigned char *BufEnd = BufPtr+Buffer->getBufferSize();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001531
Dan Gohmana4ae3a12010-04-02 00:03:51 +00001532 if (Buffer->getBufferSize() & 3) {
1533 if (!isRawBitcode(BufPtr, BufEnd) && !isBitcodeWrapper(BufPtr, BufEnd))
1534 return Error("Invalid bitcode signature");
1535 else
1536 return Error("Bitcode stream should be a multiple of 4 bytes in length");
1537 }
1538
Chris Lattner6fa6a322008-07-09 05:14:23 +00001539 // If we have a wrapper header, parse it and ignore the non-bc file contents.
1540 // The magic number is 0x0B17C0DE stored in little endian.
Chris Lattnere2a466b2009-04-06 20:54:32 +00001541 if (isBitcodeWrapper(BufPtr, BufEnd))
1542 if (SkipBitcodeWrapperHeader(BufPtr, BufEnd))
Chris Lattner6fa6a322008-07-09 05:14:23 +00001543 return Error("Invalid bitcode wrapper header");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001544
Chris Lattner962dde32009-04-26 20:59:02 +00001545 StreamFile.init(BufPtr, BufEnd);
1546 Stream.init(StreamFile);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001547
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001548 // Sniff for the signature.
1549 if (Stream.Read(8) != 'B' ||
1550 Stream.Read(8) != 'C' ||
1551 Stream.Read(4) != 0x0 ||
1552 Stream.Read(4) != 0xC ||
1553 Stream.Read(4) != 0xE ||
1554 Stream.Read(4) != 0xD)
1555 return Error("Invalid bitcode signature");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001556
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001557 // We expect a number of well-defined blocks, though we don't necessarily
1558 // need to understand them all.
1559 while (!Stream.AtEndOfStream()) {
1560 unsigned Code = Stream.ReadCode();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001561
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001562 if (Code != bitc::ENTER_SUBBLOCK)
1563 return Error("Invalid record at top-level");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001564
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001565 unsigned BlockID = Stream.ReadSubBlockID();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001566
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001567 // We only know the MODULE subblock ID.
Chris Lattnere17b6582007-05-05 00:17:00 +00001568 switch (BlockID) {
1569 case bitc::BLOCKINFO_BLOCK_ID:
1570 if (Stream.ReadBlockInfoBlock())
1571 return Error("Malformed BlockInfoBlock");
1572 break;
1573 case bitc::MODULE_BLOCK_ID:
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00001574 // Reject multiple MODULE_BLOCK's in a single bitstream.
1575 if (TheModule)
1576 return Error("Multiple MODULE_BLOCKs in same stream");
1577 TheModule = M;
1578 if (ParseModule())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001579 return true;
Chris Lattnere17b6582007-05-05 00:17:00 +00001580 break;
1581 default:
1582 if (Stream.SkipBlock())
1583 return Error("Malformed block record");
1584 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001585 }
1586 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001587
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001588 return false;
1589}
Chris Lattnerc453f762007-04-29 07:54:31 +00001590
Devang Patele8e02132009-09-18 19:26:43 +00001591/// ParseMetadataAttachment - Parse metadata attachments.
1592bool BitcodeReader::ParseMetadataAttachment() {
1593 if (Stream.EnterSubBlock(bitc::METADATA_ATTACHMENT_ID))
1594 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001595
Devang Patele8e02132009-09-18 19:26:43 +00001596 SmallVector<uint64_t, 64> Record;
1597 while(1) {
1598 unsigned Code = Stream.ReadCode();
1599 if (Code == bitc::END_BLOCK) {
1600 if (Stream.ReadBlockEnd())
Daniel Dunbara279bc32009-09-20 02:20:51 +00001601 return Error("Error at end of PARAMATTR block");
Devang Patele8e02132009-09-18 19:26:43 +00001602 break;
1603 }
1604 if (Code == bitc::DEFINE_ABBREV) {
1605 Stream.ReadAbbrevRecord();
1606 continue;
1607 }
1608 // Read a metadata attachment record.
1609 Record.clear();
1610 switch (Stream.ReadRecord(Code, Record)) {
1611 default: // Default behavior: ignore.
1612 break;
1613 case bitc::METADATA_ATTACHMENT: {
1614 unsigned RecordLength = Record.size();
1615 if (Record.empty() || (RecordLength - 1) % 2 == 1)
Daniel Dunbara279bc32009-09-20 02:20:51 +00001616 return Error ("Invalid METADATA_ATTACHMENT reader!");
Devang Patele8e02132009-09-18 19:26:43 +00001617 Instruction *Inst = InstructionList[Record[0]];
1618 for (unsigned i = 1; i != RecordLength; i = i+2) {
Devang Patela2148402009-09-28 21:14:55 +00001619 unsigned Kind = Record[i];
Dan Gohman19538d12010-07-20 21:42:28 +00001620 DenseMap<unsigned, unsigned>::iterator I =
1621 MDKindMap.find(Kind);
1622 if (I == MDKindMap.end())
1623 return Error("Invalid metadata kind ID");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001624 Value *Node = MDValueList.getValueFwdRef(Record[i+1]);
Dan Gohman19538d12010-07-20 21:42:28 +00001625 Inst->setMetadata(I->second, cast<MDNode>(Node));
Devang Patele8e02132009-09-18 19:26:43 +00001626 }
1627 break;
1628 }
1629 }
1630 }
1631 return false;
1632}
Chris Lattner48f84872007-05-01 04:59:48 +00001633
Chris Lattner980e5aa2007-05-01 05:52:21 +00001634/// ParseFunctionBody - Lazily parse the specified function body block.
1635bool BitcodeReader::ParseFunctionBody(Function *F) {
Chris Lattnere17b6582007-05-05 00:17:00 +00001636 if (Stream.EnterSubBlock(bitc::FUNCTION_BLOCK_ID))
Chris Lattner980e5aa2007-05-01 05:52:21 +00001637 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001638
Nick Lewycky9a49f152010-02-25 08:30:17 +00001639 InstructionList.clear();
Chris Lattner980e5aa2007-05-01 05:52:21 +00001640 unsigned ModuleValueListSize = ValueList.size();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001641
Chris Lattner980e5aa2007-05-01 05:52:21 +00001642 // Add all the function arguments to the value table.
1643 for(Function::arg_iterator I = F->arg_begin(), E = F->arg_end(); I != E; ++I)
1644 ValueList.push_back(I);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001645
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001646 unsigned NextValueNo = ValueList.size();
Chris Lattner231cbcb2007-05-02 04:27:25 +00001647 BasicBlock *CurBB = 0;
1648 unsigned CurBBNo = 0;
1649
Chris Lattnera6245242010-04-03 02:17:50 +00001650 DebugLoc LastLoc;
1651
Chris Lattner980e5aa2007-05-01 05:52:21 +00001652 // Read all the records.
1653 SmallVector<uint64_t, 64> Record;
1654 while (1) {
1655 unsigned Code = Stream.ReadCode();
1656 if (Code == bitc::END_BLOCK) {
1657 if (Stream.ReadBlockEnd())
1658 return Error("Error at end of function block");
1659 break;
1660 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001661
Chris Lattner980e5aa2007-05-01 05:52:21 +00001662 if (Code == bitc::ENTER_SUBBLOCK) {
1663 switch (Stream.ReadSubBlockID()) {
1664 default: // Skip unknown content.
1665 if (Stream.SkipBlock())
1666 return Error("Malformed block record");
1667 break;
1668 case bitc::CONSTANTS_BLOCK_ID:
1669 if (ParseConstants()) return true;
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001670 NextValueNo = ValueList.size();
Chris Lattner980e5aa2007-05-01 05:52:21 +00001671 break;
1672 case bitc::VALUE_SYMTAB_BLOCK_ID:
1673 if (ParseValueSymbolTable()) return true;
1674 break;
Devang Patele8e02132009-09-18 19:26:43 +00001675 case bitc::METADATA_ATTACHMENT_ID:
Daniel Dunbara279bc32009-09-20 02:20:51 +00001676 if (ParseMetadataAttachment()) return true;
1677 break;
Victor Hernandezfab9e99c2010-01-13 19:34:08 +00001678 case bitc::METADATA_BLOCK_ID:
1679 if (ParseMetadata()) return true;
1680 break;
Chris Lattner980e5aa2007-05-01 05:52:21 +00001681 }
1682 continue;
1683 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001684
Chris Lattner980e5aa2007-05-01 05:52:21 +00001685 if (Code == bitc::DEFINE_ABBREV) {
1686 Stream.ReadAbbrevRecord();
1687 continue;
1688 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001689
Chris Lattner980e5aa2007-05-01 05:52:21 +00001690 // Read a record.
1691 Record.clear();
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001692 Instruction *I = 0;
Dan Gohman1224c382009-07-20 21:19:07 +00001693 unsigned BitCode = Stream.ReadRecord(Code, Record);
1694 switch (BitCode) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001695 default: // Default behavior: reject
1696 return Error("Unknown instruction");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001697 case bitc::FUNC_CODE_DECLAREBLOCKS: // DECLAREBLOCKS: [nblocks]
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001698 if (Record.size() < 1 || Record[0] == 0)
1699 return Error("Invalid DECLAREBLOCKS record");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001700 // Create all the basic blocks for the function.
Chris Lattnerf61e6452007-05-03 22:09:51 +00001701 FunctionBBs.resize(Record[0]);
Chris Lattner980e5aa2007-05-01 05:52:21 +00001702 for (unsigned i = 0, e = FunctionBBs.size(); i != e; ++i)
Owen Anderson1d0be152009-08-13 21:58:54 +00001703 FunctionBBs[i] = BasicBlock::Create(Context, "", F);
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001704 CurBB = FunctionBBs[0];
1705 continue;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001706
Chris Lattnera6245242010-04-03 02:17:50 +00001707
1708 case bitc::FUNC_CODE_DEBUG_LOC_AGAIN: // DEBUG_LOC_AGAIN
1709 // This record indicates that the last instruction is at the same
1710 // location as the previous instruction with a location.
1711 I = 0;
1712
1713 // Get the last instruction emitted.
1714 if (CurBB && !CurBB->empty())
1715 I = &CurBB->back();
1716 else if (CurBBNo && FunctionBBs[CurBBNo-1] &&
1717 !FunctionBBs[CurBBNo-1]->empty())
1718 I = &FunctionBBs[CurBBNo-1]->back();
1719
1720 if (I == 0) return Error("Invalid DEBUG_LOC_AGAIN record");
1721 I->setDebugLoc(LastLoc);
1722 I = 0;
1723 continue;
1724
1725 case bitc::FUNC_CODE_DEBUG_LOC: { // DEBUG_LOC: [line, col, scope, ia]
1726 I = 0; // Get the last instruction emitted.
1727 if (CurBB && !CurBB->empty())
1728 I = &CurBB->back();
1729 else if (CurBBNo && FunctionBBs[CurBBNo-1] &&
1730 !FunctionBBs[CurBBNo-1]->empty())
1731 I = &FunctionBBs[CurBBNo-1]->back();
1732 if (I == 0 || Record.size() < 4)
1733 return Error("Invalid FUNC_CODE_DEBUG_LOC record");
1734
1735 unsigned Line = Record[0], Col = Record[1];
1736 unsigned ScopeID = Record[2], IAID = Record[3];
1737
1738 MDNode *Scope = 0, *IA = 0;
1739 if (ScopeID) Scope = cast<MDNode>(MDValueList.getValueFwdRef(ScopeID-1));
1740 if (IAID) IA = cast<MDNode>(MDValueList.getValueFwdRef(IAID-1));
1741 LastLoc = DebugLoc::get(Line, Col, Scope, IA);
1742 I->setDebugLoc(LastLoc);
1743 I = 0;
1744 continue;
1745 }
1746
Chris Lattnerabfbf852007-05-06 00:21:25 +00001747 case bitc::FUNC_CODE_INST_BINOP: { // BINOP: [opval, ty, opval, opcode]
1748 unsigned OpNum = 0;
1749 Value *LHS, *RHS;
1750 if (getValueTypePair(Record, OpNum, NextValueNo, LHS) ||
1751 getValue(Record, OpNum, LHS->getType(), RHS) ||
Dan Gohman1224c382009-07-20 21:19:07 +00001752 OpNum+1 > Record.size())
Chris Lattnerabfbf852007-05-06 00:21:25 +00001753 return Error("Invalid BINOP record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001754
Dan Gohman1224c382009-07-20 21:19:07 +00001755 int Opc = GetDecodedBinaryOpcode(Record[OpNum++], LHS->getType());
Chris Lattnerabfbf852007-05-06 00:21:25 +00001756 if (Opc == -1) return Error("Invalid BINOP record");
Gabor Greif7cbd8a32008-05-16 19:29:10 +00001757 I = BinaryOperator::Create((Instruction::BinaryOps)Opc, LHS, RHS);
Devang Patele8e02132009-09-18 19:26:43 +00001758 InstructionList.push_back(I);
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001759 if (OpNum < Record.size()) {
1760 if (Opc == Instruction::Add ||
1761 Opc == Instruction::Sub ||
1762 Opc == Instruction::Mul) {
Dan Gohman26793ed2010-01-25 21:55:39 +00001763 if (Record[OpNum] & (1 << bitc::OBO_NO_SIGNED_WRAP))
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001764 cast<BinaryOperator>(I)->setHasNoSignedWrap(true);
Dan Gohman26793ed2010-01-25 21:55:39 +00001765 if (Record[OpNum] & (1 << bitc::OBO_NO_UNSIGNED_WRAP))
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001766 cast<BinaryOperator>(I)->setHasNoUnsignedWrap(true);
1767 } else if (Opc == Instruction::SDiv) {
Dan Gohman26793ed2010-01-25 21:55:39 +00001768 if (Record[OpNum] & (1 << bitc::SDIV_EXACT))
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001769 cast<BinaryOperator>(I)->setIsExact(true);
1770 }
1771 }
Chris Lattner980e5aa2007-05-01 05:52:21 +00001772 break;
1773 }
Chris Lattnerabfbf852007-05-06 00:21:25 +00001774 case bitc::FUNC_CODE_INST_CAST: { // CAST: [opval, opty, destty, castopc]
1775 unsigned OpNum = 0;
1776 Value *Op;
1777 if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
1778 OpNum+2 != Record.size())
1779 return Error("Invalid CAST record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001780
Chris Lattnerabfbf852007-05-06 00:21:25 +00001781 const Type *ResTy = getTypeByID(Record[OpNum]);
1782 int Opc = GetDecodedCastOpcode(Record[OpNum+1]);
1783 if (Opc == -1 || ResTy == 0)
Chris Lattner231cbcb2007-05-02 04:27:25 +00001784 return Error("Invalid CAST record");
Gabor Greif7cbd8a32008-05-16 19:29:10 +00001785 I = CastInst::Create((Instruction::CastOps)Opc, Op, ResTy);
Devang Patele8e02132009-09-18 19:26:43 +00001786 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00001787 break;
1788 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001789 case bitc::FUNC_CODE_INST_INBOUNDS_GEP:
Chris Lattner15e6d172007-05-04 19:11:41 +00001790 case bitc::FUNC_CODE_INST_GEP: { // GEP: [n x operands]
Chris Lattner7337ab92007-05-06 00:00:00 +00001791 unsigned OpNum = 0;
1792 Value *BasePtr;
1793 if (getValueTypePair(Record, OpNum, NextValueNo, BasePtr))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001794 return Error("Invalid GEP record");
1795
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001796 SmallVector<Value*, 16> GEPIdx;
Chris Lattner7337ab92007-05-06 00:00:00 +00001797 while (OpNum != Record.size()) {
1798 Value *Op;
1799 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001800 return Error("Invalid GEP record");
Chris Lattner7337ab92007-05-06 00:00:00 +00001801 GEPIdx.push_back(Op);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001802 }
1803
Gabor Greif051a9502008-04-06 20:25:17 +00001804 I = GetElementPtrInst::Create(BasePtr, GEPIdx.begin(), GEPIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001805 InstructionList.push_back(I);
Dan Gohmandd8004d2009-07-27 21:53:46 +00001806 if (BitCode == bitc::FUNC_CODE_INST_INBOUNDS_GEP)
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001807 cast<GetElementPtrInst>(I)->setIsInBounds(true);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001808 break;
1809 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001810
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001811 case bitc::FUNC_CODE_INST_EXTRACTVAL: {
1812 // EXTRACTVAL: [opty, opval, n x indices]
Dan Gohmane4977cf2008-05-23 01:55:30 +00001813 unsigned OpNum = 0;
1814 Value *Agg;
1815 if (getValueTypePair(Record, OpNum, NextValueNo, Agg))
1816 return Error("Invalid EXTRACTVAL record");
1817
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001818 SmallVector<unsigned, 4> EXTRACTVALIdx;
1819 for (unsigned RecSize = Record.size();
1820 OpNum != RecSize; ++OpNum) {
1821 uint64_t Index = Record[OpNum];
1822 if ((unsigned)Index != Index)
1823 return Error("Invalid EXTRACTVAL index");
1824 EXTRACTVALIdx.push_back((unsigned)Index);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001825 }
1826
1827 I = ExtractValueInst::Create(Agg,
1828 EXTRACTVALIdx.begin(), EXTRACTVALIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001829 InstructionList.push_back(I);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001830 break;
1831 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001832
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001833 case bitc::FUNC_CODE_INST_INSERTVAL: {
1834 // INSERTVAL: [opty, opval, opty, opval, n x indices]
Dan Gohmane4977cf2008-05-23 01:55:30 +00001835 unsigned OpNum = 0;
1836 Value *Agg;
1837 if (getValueTypePair(Record, OpNum, NextValueNo, Agg))
1838 return Error("Invalid INSERTVAL record");
1839 Value *Val;
1840 if (getValueTypePair(Record, OpNum, NextValueNo, Val))
1841 return Error("Invalid INSERTVAL record");
1842
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001843 SmallVector<unsigned, 4> INSERTVALIdx;
1844 for (unsigned RecSize = Record.size();
1845 OpNum != RecSize; ++OpNum) {
1846 uint64_t Index = Record[OpNum];
1847 if ((unsigned)Index != Index)
1848 return Error("Invalid INSERTVAL index");
1849 INSERTVALIdx.push_back((unsigned)Index);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001850 }
1851
1852 I = InsertValueInst::Create(Agg, Val,
1853 INSERTVALIdx.begin(), INSERTVALIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001854 InstructionList.push_back(I);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001855 break;
1856 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001857
Chris Lattnerabfbf852007-05-06 00:21:25 +00001858 case bitc::FUNC_CODE_INST_SELECT: { // SELECT: [opval, ty, opval, opval]
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001859 // obsolete form of select
1860 // handles select i1 ... in old bitcode
Chris Lattnerabfbf852007-05-06 00:21:25 +00001861 unsigned OpNum = 0;
1862 Value *TrueVal, *FalseVal, *Cond;
1863 if (getValueTypePair(Record, OpNum, NextValueNo, TrueVal) ||
1864 getValue(Record, OpNum, TrueVal->getType(), FalseVal) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00001865 getValue(Record, OpNum, Type::getInt1Ty(Context), Cond))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001866 return Error("Invalid SELECT record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001867
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001868 I = SelectInst::Create(Cond, TrueVal, FalseVal);
Devang Patele8e02132009-09-18 19:26:43 +00001869 InstructionList.push_back(I);
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001870 break;
1871 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001872
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001873 case bitc::FUNC_CODE_INST_VSELECT: {// VSELECT: [ty,opval,opval,predty,pred]
1874 // new form of select
1875 // handles select i1 or select [N x i1]
1876 unsigned OpNum = 0;
1877 Value *TrueVal, *FalseVal, *Cond;
1878 if (getValueTypePair(Record, OpNum, NextValueNo, TrueVal) ||
1879 getValue(Record, OpNum, TrueVal->getType(), FalseVal) ||
1880 getValueTypePair(Record, OpNum, NextValueNo, Cond))
1881 return Error("Invalid SELECT record");
Dan Gohmanf72fb672008-09-09 01:02:47 +00001882
1883 // select condition can be either i1 or [N x i1]
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001884 if (const VectorType* vector_type =
1885 dyn_cast<const VectorType>(Cond->getType())) {
Dan Gohmanf72fb672008-09-09 01:02:47 +00001886 // expect <n x i1>
Daniel Dunbara279bc32009-09-20 02:20:51 +00001887 if (vector_type->getElementType() != Type::getInt1Ty(Context))
Dan Gohmanf72fb672008-09-09 01:02:47 +00001888 return Error("Invalid SELECT condition type");
1889 } else {
1890 // expect i1
Daniel Dunbara279bc32009-09-20 02:20:51 +00001891 if (Cond->getType() != Type::getInt1Ty(Context))
Dan Gohmanf72fb672008-09-09 01:02:47 +00001892 return Error("Invalid SELECT condition type");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001893 }
1894
Gabor Greif051a9502008-04-06 20:25:17 +00001895 I = SelectInst::Create(Cond, TrueVal, FalseVal);
Devang Patele8e02132009-09-18 19:26:43 +00001896 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001897 break;
1898 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001899
Chris Lattner01ff65f2007-05-02 05:16:49 +00001900 case bitc::FUNC_CODE_INST_EXTRACTELT: { // EXTRACTELT: [opty, opval, opval]
Chris Lattnerabfbf852007-05-06 00:21:25 +00001901 unsigned OpNum = 0;
1902 Value *Vec, *Idx;
1903 if (getValueTypePair(Record, OpNum, NextValueNo, Vec) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00001904 getValue(Record, OpNum, Type::getInt32Ty(Context), Idx))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001905 return Error("Invalid EXTRACTELT record");
Eric Christophera3500da2009-07-25 02:28:41 +00001906 I = ExtractElementInst::Create(Vec, Idx);
Devang Patele8e02132009-09-18 19:26:43 +00001907 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001908 break;
1909 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001910
Chris Lattner01ff65f2007-05-02 05:16:49 +00001911 case bitc::FUNC_CODE_INST_INSERTELT: { // INSERTELT: [ty, opval,opval,opval]
Chris Lattnerabfbf852007-05-06 00:21:25 +00001912 unsigned OpNum = 0;
1913 Value *Vec, *Elt, *Idx;
1914 if (getValueTypePair(Record, OpNum, NextValueNo, Vec) ||
Daniel Dunbara279bc32009-09-20 02:20:51 +00001915 getValue(Record, OpNum,
Chris Lattnerabfbf852007-05-06 00:21:25 +00001916 cast<VectorType>(Vec->getType())->getElementType(), Elt) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00001917 getValue(Record, OpNum, Type::getInt32Ty(Context), Idx))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001918 return Error("Invalid INSERTELT record");
Gabor Greif051a9502008-04-06 20:25:17 +00001919 I = InsertElementInst::Create(Vec, Elt, Idx);
Devang Patele8e02132009-09-18 19:26:43 +00001920 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001921 break;
1922 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001923
Chris Lattnerabfbf852007-05-06 00:21:25 +00001924 case bitc::FUNC_CODE_INST_SHUFFLEVEC: {// SHUFFLEVEC: [opval,ty,opval,opval]
1925 unsigned OpNum = 0;
1926 Value *Vec1, *Vec2, *Mask;
1927 if (getValueTypePair(Record, OpNum, NextValueNo, Vec1) ||
1928 getValue(Record, OpNum, Vec1->getType(), Vec2))
1929 return Error("Invalid SHUFFLEVEC record");
1930
Mon P Wangaeb06d22008-11-10 04:46:22 +00001931 if (getValueTypePair(Record, OpNum, NextValueNo, Mask))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001932 return Error("Invalid SHUFFLEVEC record");
1933 I = new ShuffleVectorInst(Vec1, Vec2, Mask);
Devang Patele8e02132009-09-18 19:26:43 +00001934 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001935 break;
1936 }
Mon P Wangaeb06d22008-11-10 04:46:22 +00001937
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00001938 case bitc::FUNC_CODE_INST_CMP: // CMP: [opty, opval, opval, pred]
1939 // Old form of ICmp/FCmp returning bool
1940 // Existed to differentiate between icmp/fcmp and vicmp/vfcmp which were
1941 // both legal on vectors but had different behaviour.
1942 case bitc::FUNC_CODE_INST_CMP2: { // CMP2: [opty, opval, opval, pred]
1943 // FCmp/ICmp returning bool or vector of bool
1944
Chris Lattner7337ab92007-05-06 00:00:00 +00001945 unsigned OpNum = 0;
1946 Value *LHS, *RHS;
1947 if (getValueTypePair(Record, OpNum, NextValueNo, LHS) ||
1948 getValue(Record, OpNum, LHS->getType(), RHS) ||
1949 OpNum+1 != Record.size())
Chris Lattner01ff65f2007-05-02 05:16:49 +00001950 return Error("Invalid CMP record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001951
Duncan Sandsb0bc6c32010-02-15 16:12:20 +00001952 if (LHS->getType()->isFPOrFPVectorTy())
Dan Gohman1c8a23c2009-08-25 23:17:54 +00001953 I = new FCmpInst((FCmpInst::Predicate)Record[OpNum], LHS, RHS);
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00001954 else
Dan Gohman1c8a23c2009-08-25 23:17:54 +00001955 I = new ICmpInst((ICmpInst::Predicate)Record[OpNum], LHS, RHS);
Devang Patele8e02132009-09-18 19:26:43 +00001956 InstructionList.push_back(I);
Dan Gohmanf72fb672008-09-09 01:02:47 +00001957 break;
1958 }
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00001959
Devang Patel197be3d2008-02-22 02:49:49 +00001960 case bitc::FUNC_CODE_INST_GETRESULT: { // GETRESULT: [ty, val, n]
1961 if (Record.size() != 2)
1962 return Error("Invalid GETRESULT record");
1963 unsigned OpNum = 0;
1964 Value *Op;
1965 getValueTypePair(Record, OpNum, NextValueNo, Op);
1966 unsigned Index = Record[1];
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001967 I = ExtractValueInst::Create(Op, Index);
Devang Patele8e02132009-09-18 19:26:43 +00001968 InstructionList.push_back(I);
Devang Patel197be3d2008-02-22 02:49:49 +00001969 break;
1970 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001971
Chris Lattner231cbcb2007-05-02 04:27:25 +00001972 case bitc::FUNC_CODE_INST_RET: // RET: [opty,opval<optional>]
Devang Pateld9d99ff2008-02-26 01:29:32 +00001973 {
1974 unsigned Size = Record.size();
1975 if (Size == 0) {
Owen Anderson1d0be152009-08-13 21:58:54 +00001976 I = ReturnInst::Create(Context);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001977 InstructionList.push_back(I);
Devang Pateld9d99ff2008-02-26 01:29:32 +00001978 break;
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001979 }
Devang Pateld9d99ff2008-02-26 01:29:32 +00001980
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001981 unsigned OpNum = 0;
1982 SmallVector<Value *,4> Vs;
1983 do {
1984 Value *Op = NULL;
1985 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
1986 return Error("Invalid RET record");
1987 Vs.push_back(Op);
1988 } while(OpNum != Record.size());
1989
1990 const Type *ReturnType = F->getReturnType();
1991 if (Vs.size() > 1 ||
Duncan Sands1df98592010-02-16 11:11:14 +00001992 (ReturnType->isStructTy() &&
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001993 (Vs.empty() || Vs[0]->getType() != ReturnType))) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001994 Value *RV = UndefValue::get(ReturnType);
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001995 for (unsigned i = 0, e = Vs.size(); i != e; ++i) {
1996 I = InsertValueInst::Create(RV, Vs[i], i, "mrv");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001997 InstructionList.push_back(I);
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001998 CurBB->getInstList().push_back(I);
1999 ValueList.AssignValue(I, NextValueNo++);
2000 RV = I;
2001 }
Owen Anderson1d0be152009-08-13 21:58:54 +00002002 I = ReturnInst::Create(Context, RV);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002003 InstructionList.push_back(I);
Devang Pateld9d99ff2008-02-26 01:29:32 +00002004 break;
2005 }
Dan Gohmanfc74abf2008-07-23 00:34:11 +00002006
Owen Anderson1d0be152009-08-13 21:58:54 +00002007 I = ReturnInst::Create(Context, Vs[0]);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002008 InstructionList.push_back(I);
Dan Gohmanfc74abf2008-07-23 00:34:11 +00002009 break;
Chris Lattner231cbcb2007-05-02 04:27:25 +00002010 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002011 case bitc::FUNC_CODE_INST_BR: { // BR: [bb#, bb#, opval] or [bb#]
Chris Lattnerf61e6452007-05-03 22:09:51 +00002012 if (Record.size() != 1 && Record.size() != 3)
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002013 return Error("Invalid BR record");
2014 BasicBlock *TrueDest = getBasicBlock(Record[0]);
2015 if (TrueDest == 0)
2016 return Error("Invalid BR record");
2017
Devang Patele8e02132009-09-18 19:26:43 +00002018 if (Record.size() == 1) {
Gabor Greif051a9502008-04-06 20:25:17 +00002019 I = BranchInst::Create(TrueDest);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002020 InstructionList.push_back(I);
Devang Patele8e02132009-09-18 19:26:43 +00002021 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002022 else {
2023 BasicBlock *FalseDest = getBasicBlock(Record[1]);
Owen Anderson1d0be152009-08-13 21:58:54 +00002024 Value *Cond = getFnValueByID(Record[2], Type::getInt1Ty(Context));
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002025 if (FalseDest == 0 || Cond == 0)
2026 return Error("Invalid BR record");
Gabor Greif051a9502008-04-06 20:25:17 +00002027 I = BranchInst::Create(TrueDest, FalseDest, Cond);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002028 InstructionList.push_back(I);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002029 }
2030 break;
2031 }
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002032 case bitc::FUNC_CODE_INST_SWITCH: { // SWITCH: [opty, op0, op1, ...]
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002033 if (Record.size() < 3 || (Record.size() & 1) == 0)
2034 return Error("Invalid SWITCH record");
2035 const Type *OpTy = getTypeByID(Record[0]);
2036 Value *Cond = getFnValueByID(Record[1], OpTy);
2037 BasicBlock *Default = getBasicBlock(Record[2]);
2038 if (OpTy == 0 || Cond == 0 || Default == 0)
2039 return Error("Invalid SWITCH record");
2040 unsigned NumCases = (Record.size()-3)/2;
Gabor Greif051a9502008-04-06 20:25:17 +00002041 SwitchInst *SI = SwitchInst::Create(Cond, Default, NumCases);
Devang Patele8e02132009-09-18 19:26:43 +00002042 InstructionList.push_back(SI);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002043 for (unsigned i = 0, e = NumCases; i != e; ++i) {
Daniel Dunbara279bc32009-09-20 02:20:51 +00002044 ConstantInt *CaseVal =
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002045 dyn_cast_or_null<ConstantInt>(getFnValueByID(Record[3+i*2], OpTy));
2046 BasicBlock *DestBB = getBasicBlock(Record[1+3+i*2]);
2047 if (CaseVal == 0 || DestBB == 0) {
2048 delete SI;
2049 return Error("Invalid SWITCH record!");
2050 }
2051 SI->addCase(CaseVal, DestBB);
2052 }
2053 I = SI;
2054 break;
2055 }
Chris Lattnerab21db72009-10-28 00:19:10 +00002056 case bitc::FUNC_CODE_INST_INDIRECTBR: { // INDIRECTBR: [opty, op0, op1, ...]
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002057 if (Record.size() < 2)
Chris Lattnerab21db72009-10-28 00:19:10 +00002058 return Error("Invalid INDIRECTBR record");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002059 const Type *OpTy = getTypeByID(Record[0]);
2060 Value *Address = getFnValueByID(Record[1], OpTy);
2061 if (OpTy == 0 || Address == 0)
Chris Lattnerab21db72009-10-28 00:19:10 +00002062 return Error("Invalid INDIRECTBR record");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002063 unsigned NumDests = Record.size()-2;
Chris Lattnerab21db72009-10-28 00:19:10 +00002064 IndirectBrInst *IBI = IndirectBrInst::Create(Address, NumDests);
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002065 InstructionList.push_back(IBI);
2066 for (unsigned i = 0, e = NumDests; i != e; ++i) {
2067 if (BasicBlock *DestBB = getBasicBlock(Record[2+i])) {
2068 IBI->addDestination(DestBB);
2069 } else {
2070 delete IBI;
Chris Lattnerab21db72009-10-28 00:19:10 +00002071 return Error("Invalid INDIRECTBR record!");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002072 }
2073 }
2074 I = IBI;
2075 break;
2076 }
2077
Duncan Sandsdc024672007-11-27 13:23:08 +00002078 case bitc::FUNC_CODE_INST_INVOKE: {
2079 // INVOKE: [attrs, cc, normBB, unwindBB, fnty, op0,op1,op2, ...]
Chris Lattnera9bb7132007-05-08 05:38:01 +00002080 if (Record.size() < 4) return Error("Invalid INVOKE record");
Devang Patel05988662008-09-25 21:00:45 +00002081 AttrListPtr PAL = getAttributes(Record[0]);
Chris Lattnera9bb7132007-05-08 05:38:01 +00002082 unsigned CCInfo = Record[1];
2083 BasicBlock *NormalBB = getBasicBlock(Record[2]);
2084 BasicBlock *UnwindBB = getBasicBlock(Record[3]);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002085
Chris Lattnera9bb7132007-05-08 05:38:01 +00002086 unsigned OpNum = 4;
Chris Lattner7337ab92007-05-06 00:00:00 +00002087 Value *Callee;
2088 if (getValueTypePair(Record, OpNum, NextValueNo, Callee))
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002089 return Error("Invalid INVOKE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002090
Chris Lattner7337ab92007-05-06 00:00:00 +00002091 const PointerType *CalleeTy = dyn_cast<PointerType>(Callee->getType());
2092 const FunctionType *FTy = !CalleeTy ? 0 :
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002093 dyn_cast<FunctionType>(CalleeTy->getElementType());
2094
2095 // Check that the right number of fixed parameters are here.
Chris Lattner7337ab92007-05-06 00:00:00 +00002096 if (FTy == 0 || NormalBB == 0 || UnwindBB == 0 ||
2097 Record.size() < OpNum+FTy->getNumParams())
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002098 return Error("Invalid INVOKE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002099
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002100 SmallVector<Value*, 16> Ops;
Chris Lattner7337ab92007-05-06 00:00:00 +00002101 for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i, ++OpNum) {
2102 Ops.push_back(getFnValueByID(Record[OpNum], FTy->getParamType(i)));
2103 if (Ops.back() == 0) return Error("Invalid INVOKE record");
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002104 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002105
Chris Lattner7337ab92007-05-06 00:00:00 +00002106 if (!FTy->isVarArg()) {
2107 if (Record.size() != OpNum)
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002108 return Error("Invalid INVOKE record");
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002109 } else {
Chris Lattner7337ab92007-05-06 00:00:00 +00002110 // Read type/value pairs for varargs params.
2111 while (OpNum != Record.size()) {
2112 Value *Op;
2113 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
2114 return Error("Invalid INVOKE record");
2115 Ops.push_back(Op);
2116 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002117 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002118
Gabor Greifb1dbcd82008-05-15 10:04:30 +00002119 I = InvokeInst::Create(Callee, NormalBB, UnwindBB,
2120 Ops.begin(), Ops.end());
Devang Patele8e02132009-09-18 19:26:43 +00002121 InstructionList.push_back(I);
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00002122 cast<InvokeInst>(I)->setCallingConv(
2123 static_cast<CallingConv::ID>(CCInfo));
Devang Patel05988662008-09-25 21:00:45 +00002124 cast<InvokeInst>(I)->setAttributes(PAL);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002125 break;
2126 }
Chris Lattner231cbcb2007-05-02 04:27:25 +00002127 case bitc::FUNC_CODE_INST_UNWIND: // UNWIND
Owen Anderson1d0be152009-08-13 21:58:54 +00002128 I = new UnwindInst(Context);
Devang Patele8e02132009-09-18 19:26:43 +00002129 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00002130 break;
2131 case bitc::FUNC_CODE_INST_UNREACHABLE: // UNREACHABLE
Owen Anderson1d0be152009-08-13 21:58:54 +00002132 I = new UnreachableInst(Context);
Devang Patele8e02132009-09-18 19:26:43 +00002133 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00002134 break;
Chris Lattnerabfbf852007-05-06 00:21:25 +00002135 case bitc::FUNC_CODE_INST_PHI: { // PHI: [ty, val0,bb0, ...]
Chris Lattner15e6d172007-05-04 19:11:41 +00002136 if (Record.size() < 1 || ((Record.size()-1)&1))
Chris Lattner2a98cca2007-05-03 18:58:09 +00002137 return Error("Invalid PHI record");
2138 const Type *Ty = getTypeByID(Record[0]);
2139 if (!Ty) return Error("Invalid PHI record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002140
Gabor Greif051a9502008-04-06 20:25:17 +00002141 PHINode *PN = PHINode::Create(Ty);
Devang Patele8e02132009-09-18 19:26:43 +00002142 InstructionList.push_back(PN);
Chris Lattner86941612008-04-13 00:14:42 +00002143 PN->reserveOperandSpace((Record.size()-1)/2);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002144
Chris Lattner15e6d172007-05-04 19:11:41 +00002145 for (unsigned i = 0, e = Record.size()-1; i != e; i += 2) {
2146 Value *V = getFnValueByID(Record[1+i], Ty);
2147 BasicBlock *BB = getBasicBlock(Record[2+i]);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002148 if (!V || !BB) return Error("Invalid PHI record");
2149 PN->addIncoming(V, BB);
2150 }
2151 I = PN;
2152 break;
2153 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002154
Chris Lattner2a98cca2007-05-03 18:58:09 +00002155 case bitc::FUNC_CODE_INST_MALLOC: { // MALLOC: [instty, op, align]
Victor Hernandez13ad5aa2009-10-17 00:00:19 +00002156 // Autoupgrade malloc instruction to malloc call.
Victor Hernandez68afa542009-10-21 19:11:40 +00002157 // FIXME: Remove in LLVM 3.0.
Chris Lattner2a98cca2007-05-03 18:58:09 +00002158 if (Record.size() < 3)
2159 return Error("Invalid MALLOC record");
2160 const PointerType *Ty =
2161 dyn_cast_or_null<PointerType>(getTypeByID(Record[0]));
Owen Anderson1d0be152009-08-13 21:58:54 +00002162 Value *Size = getFnValueByID(Record[1], Type::getInt32Ty(Context));
Chris Lattner2a98cca2007-05-03 18:58:09 +00002163 if (!Ty || !Size) return Error("Invalid MALLOC record");
Victor Hernandez13ad5aa2009-10-17 00:00:19 +00002164 if (!CurBB) return Error("Invalid malloc instruction with no BB");
Victor Hernandez68afa542009-10-21 19:11:40 +00002165 const Type *Int32Ty = IntegerType::getInt32Ty(CurBB->getContext());
Victor Hernandez9d0b7042009-11-07 00:16:28 +00002166 Constant *AllocSize = ConstantExpr::getSizeOf(Ty->getElementType());
2167 AllocSize = ConstantExpr::getTruncOrBitCast(AllocSize, Int32Ty);
Victor Hernandez68afa542009-10-21 19:11:40 +00002168 I = CallInst::CreateMalloc(CurBB, Int32Ty, Ty->getElementType(),
Victor Hernandez9d0b7042009-11-07 00:16:28 +00002169 AllocSize, Size, NULL);
Devang Patele8e02132009-09-18 19:26:43 +00002170 InstructionList.push_back(I);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002171 break;
2172 }
Chris Lattnerabfbf852007-05-06 00:21:25 +00002173 case bitc::FUNC_CODE_INST_FREE: { // FREE: [op, opty]
2174 unsigned OpNum = 0;
2175 Value *Op;
2176 if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
2177 OpNum != Record.size())
Chris Lattner2a98cca2007-05-03 18:58:09 +00002178 return Error("Invalid FREE record");
Victor Hernandez66284e02009-10-24 04:23:03 +00002179 if (!CurBB) return Error("Invalid free instruction with no BB");
2180 I = CallInst::CreateFree(Op, CurBB);
Devang Patele8e02132009-09-18 19:26:43 +00002181 InstructionList.push_back(I);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002182 break;
2183 }
Dan Gohmana37dd3e2010-05-28 01:38:28 +00002184 case bitc::FUNC_CODE_INST_ALLOCA: { // ALLOCA: [instty, opty, op, align]
2185 // For backward compatibility, tolerate a lack of an opty, and use i32.
2186 // LLVM 3.0: Remove this.
2187 if (Record.size() < 3 || Record.size() > 4)
Chris Lattner2a98cca2007-05-03 18:58:09 +00002188 return Error("Invalid ALLOCA record");
Dan Gohmana37dd3e2010-05-28 01:38:28 +00002189 unsigned OpNum = 0;
Chris Lattner2a98cca2007-05-03 18:58:09 +00002190 const PointerType *Ty =
Dan Gohmana37dd3e2010-05-28 01:38:28 +00002191 dyn_cast_or_null<PointerType>(getTypeByID(Record[OpNum++]));
2192 const Type *OpTy = Record.size() == 4 ? getTypeByID(Record[OpNum++]) :
2193 Type::getInt32Ty(Context);
2194 Value *Size = getFnValueByID(Record[OpNum++], OpTy);
2195 unsigned Align = Record[OpNum++];
Chris Lattner2a98cca2007-05-03 18:58:09 +00002196 if (!Ty || !Size) return Error("Invalid ALLOCA record");
Owen Anderson50dead02009-07-15 23:53:25 +00002197 I = new AllocaInst(Ty->getElementType(), Size, (1 << Align) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002198 InstructionList.push_back(I);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002199 break;
2200 }
Chris Lattner0579f7f2007-05-03 22:04:19 +00002201 case bitc::FUNC_CODE_INST_LOAD: { // LOAD: [opty, op, align, vol]
Chris Lattner7337ab92007-05-06 00:00:00 +00002202 unsigned OpNum = 0;
2203 Value *Op;
2204 if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
2205 OpNum+2 != Record.size())
Chris Lattnerabfbf852007-05-06 00:21:25 +00002206 return Error("Invalid LOAD record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002207
Chris Lattner7337ab92007-05-06 00:00:00 +00002208 I = new LoadInst(Op, "", Record[OpNum+1], (1 << Record[OpNum]) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002209 InstructionList.push_back(I);
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002210 break;
Chris Lattner0579f7f2007-05-03 22:04:19 +00002211 }
Christopher Lambfe63fb92007-12-11 08:59:05 +00002212 case bitc::FUNC_CODE_INST_STORE2: { // STORE2:[ptrty, ptr, val, align, vol]
2213 unsigned OpNum = 0;
2214 Value *Val, *Ptr;
2215 if (getValueTypePair(Record, OpNum, NextValueNo, Ptr) ||
Daniel Dunbara279bc32009-09-20 02:20:51 +00002216 getValue(Record, OpNum,
Christopher Lambfe63fb92007-12-11 08:59:05 +00002217 cast<PointerType>(Ptr->getType())->getElementType(), Val) ||
2218 OpNum+2 != Record.size())
2219 return Error("Invalid STORE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002220
Christopher Lambfe63fb92007-12-11 08:59:05 +00002221 I = new StoreInst(Val, Ptr, Record[OpNum+1], (1 << Record[OpNum]) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002222 InstructionList.push_back(I);
Christopher Lambfe63fb92007-12-11 08:59:05 +00002223 break;
2224 }
Chris Lattnerabfbf852007-05-06 00:21:25 +00002225 case bitc::FUNC_CODE_INST_STORE: { // STORE:[val, valty, ptr, align, vol]
Christopher Lambfe63fb92007-12-11 08:59:05 +00002226 // FIXME: Legacy form of store instruction. Should be removed in LLVM 3.0.
Chris Lattnerabfbf852007-05-06 00:21:25 +00002227 unsigned OpNum = 0;
2228 Value *Val, *Ptr;
2229 if (getValueTypePair(Record, OpNum, NextValueNo, Val) ||
Daniel Dunbara279bc32009-09-20 02:20:51 +00002230 getValue(Record, OpNum,
Owen Andersondebcb012009-07-29 22:17:13 +00002231 PointerType::getUnqual(Val->getType()), Ptr)||
Chris Lattnerabfbf852007-05-06 00:21:25 +00002232 OpNum+2 != Record.size())
Chris Lattner0579f7f2007-05-03 22:04:19 +00002233 return Error("Invalid STORE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002234
Chris Lattnerabfbf852007-05-06 00:21:25 +00002235 I = new StoreInst(Val, Ptr, Record[OpNum+1], (1 << Record[OpNum]) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002236 InstructionList.push_back(I);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002237 break;
2238 }
Duncan Sandsdc024672007-11-27 13:23:08 +00002239 case bitc::FUNC_CODE_INST_CALL: {
2240 // CALL: [paramattrs, cc, fnty, fnid, arg0, arg1...]
2241 if (Record.size() < 3)
Chris Lattner0579f7f2007-05-03 22:04:19 +00002242 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002243
Devang Patel05988662008-09-25 21:00:45 +00002244 AttrListPtr PAL = getAttributes(Record[0]);
Chris Lattnera9bb7132007-05-08 05:38:01 +00002245 unsigned CCInfo = Record[1];
Daniel Dunbara279bc32009-09-20 02:20:51 +00002246
Chris Lattnera9bb7132007-05-08 05:38:01 +00002247 unsigned OpNum = 2;
Chris Lattner7337ab92007-05-06 00:00:00 +00002248 Value *Callee;
2249 if (getValueTypePair(Record, OpNum, NextValueNo, Callee))
2250 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002251
Chris Lattner7337ab92007-05-06 00:00:00 +00002252 const PointerType *OpTy = dyn_cast<PointerType>(Callee->getType());
Chris Lattner0579f7f2007-05-03 22:04:19 +00002253 const FunctionType *FTy = 0;
2254 if (OpTy) FTy = dyn_cast<FunctionType>(OpTy->getElementType());
Chris Lattner7337ab92007-05-06 00:00:00 +00002255 if (!FTy || Record.size() < FTy->getNumParams()+OpNum)
Chris Lattner0579f7f2007-05-03 22:04:19 +00002256 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002257
Chris Lattner0579f7f2007-05-03 22:04:19 +00002258 SmallVector<Value*, 16> Args;
2259 // Read the fixed params.
Chris Lattner7337ab92007-05-06 00:00:00 +00002260 for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i, ++OpNum) {
Dale Johanneseneb57ea72007-11-05 21:20:28 +00002261 if (FTy->getParamType(i)->getTypeID()==Type::LabelTyID)
2262 Args.push_back(getBasicBlock(Record[OpNum]));
2263 else
2264 Args.push_back(getFnValueByID(Record[OpNum], FTy->getParamType(i)));
Chris Lattner0579f7f2007-05-03 22:04:19 +00002265 if (Args.back() == 0) return Error("Invalid CALL record");
2266 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002267
Chris Lattner0579f7f2007-05-03 22:04:19 +00002268 // Read type/value pairs for varargs params.
Chris Lattner0579f7f2007-05-03 22:04:19 +00002269 if (!FTy->isVarArg()) {
Chris Lattner7337ab92007-05-06 00:00:00 +00002270 if (OpNum != Record.size())
Chris Lattner0579f7f2007-05-03 22:04:19 +00002271 return Error("Invalid CALL record");
2272 } else {
Chris Lattner7337ab92007-05-06 00:00:00 +00002273 while (OpNum != Record.size()) {
2274 Value *Op;
2275 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
2276 return Error("Invalid CALL record");
2277 Args.push_back(Op);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002278 }
2279 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002280
Gabor Greif051a9502008-04-06 20:25:17 +00002281 I = CallInst::Create(Callee, Args.begin(), Args.end());
Devang Patele8e02132009-09-18 19:26:43 +00002282 InstructionList.push_back(I);
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00002283 cast<CallInst>(I)->setCallingConv(
2284 static_cast<CallingConv::ID>(CCInfo>>1));
Chris Lattner76520192007-05-03 22:34:03 +00002285 cast<CallInst>(I)->setTailCall(CCInfo & 1);
Devang Patel05988662008-09-25 21:00:45 +00002286 cast<CallInst>(I)->setAttributes(PAL);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002287 break;
2288 }
2289 case bitc::FUNC_CODE_INST_VAARG: { // VAARG: [valistty, valist, instty]
2290 if (Record.size() < 3)
2291 return Error("Invalid VAARG record");
2292 const Type *OpTy = getTypeByID(Record[0]);
2293 Value *Op = getFnValueByID(Record[1], OpTy);
2294 const Type *ResTy = getTypeByID(Record[2]);
2295 if (!OpTy || !Op || !ResTy)
2296 return Error("Invalid VAARG record");
2297 I = new VAArgInst(Op, ResTy);
Devang Patele8e02132009-09-18 19:26:43 +00002298 InstructionList.push_back(I);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002299 break;
2300 }
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002301 }
2302
2303 // Add instruction to end of current BB. If there is no current BB, reject
2304 // this file.
2305 if (CurBB == 0) {
2306 delete I;
2307 return Error("Invalid instruction with no BB");
2308 }
2309 CurBB->getInstList().push_back(I);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002310
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002311 // If this was a terminator instruction, move to the next block.
2312 if (isa<TerminatorInst>(I)) {
2313 ++CurBBNo;
2314 CurBB = CurBBNo < FunctionBBs.size() ? FunctionBBs[CurBBNo] : 0;
2315 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002316
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002317 // Non-void values get registered in the value table for future use.
Benjamin Kramerf0127052010-01-05 13:12:22 +00002318 if (I && !I->getType()->isVoidTy())
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002319 ValueList.AssignValue(I, NextValueNo++);
Chris Lattner980e5aa2007-05-01 05:52:21 +00002320 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002321
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002322 // Check the function list for unresolved values.
2323 if (Argument *A = dyn_cast<Argument>(ValueList.back())) {
2324 if (A->getParent() == 0) {
2325 // We found at least one unresolved value. Nuke them all to avoid leaks.
2326 for (unsigned i = ModuleValueListSize, e = ValueList.size(); i != e; ++i){
2327 if ((A = dyn_cast<Argument>(ValueList.back())) && A->getParent() == 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00002328 A->replaceAllUsesWith(UndefValue::get(A->getType()));
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002329 delete A;
2330 }
2331 }
Chris Lattner35a04702007-05-04 03:50:29 +00002332 return Error("Never resolved value found in function!");
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002333 }
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002334 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002335
Chris Lattner50b136d2009-10-28 05:53:48 +00002336 // See if anything took the address of blocks in this function. If so,
2337 // resolve them now.
Chris Lattner50b136d2009-10-28 05:53:48 +00002338 DenseMap<Function*, std::vector<BlockAddrRefTy> >::iterator BAFRI =
2339 BlockAddrFwdRefs.find(F);
2340 if (BAFRI != BlockAddrFwdRefs.end()) {
2341 std::vector<BlockAddrRefTy> &RefList = BAFRI->second;
2342 for (unsigned i = 0, e = RefList.size(); i != e; ++i) {
2343 unsigned BlockIdx = RefList[i].first;
Chris Lattnercdfc9402009-11-01 01:27:45 +00002344 if (BlockIdx >= FunctionBBs.size())
Chris Lattner50b136d2009-10-28 05:53:48 +00002345 return Error("Invalid blockaddress block #");
2346
2347 GlobalVariable *FwdRef = RefList[i].second;
Chris Lattnercdfc9402009-11-01 01:27:45 +00002348 FwdRef->replaceAllUsesWith(BlockAddress::get(F, FunctionBBs[BlockIdx]));
Chris Lattner50b136d2009-10-28 05:53:48 +00002349 FwdRef->eraseFromParent();
2350 }
2351
2352 BlockAddrFwdRefs.erase(BAFRI);
2353 }
2354
Chris Lattner980e5aa2007-05-01 05:52:21 +00002355 // Trim the value list down to the size it was before we parsed this function.
2356 ValueList.shrinkTo(ModuleValueListSize);
2357 std::vector<BasicBlock*>().swap(FunctionBBs);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002358
Chris Lattner48f84872007-05-01 04:59:48 +00002359 return false;
2360}
2361
Chris Lattnerb348bb82007-05-18 04:02:46 +00002362//===----------------------------------------------------------------------===//
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002363// GVMaterializer implementation
Chris Lattnerb348bb82007-05-18 04:02:46 +00002364//===----------------------------------------------------------------------===//
2365
2366
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002367bool BitcodeReader::isMaterializable(const GlobalValue *GV) const {
2368 if (const Function *F = dyn_cast<Function>(GV)) {
2369 return F->isDeclaration() &&
2370 DeferredFunctionInfo.count(const_cast<Function*>(F));
2371 }
2372 return false;
2373}
Daniel Dunbara279bc32009-09-20 02:20:51 +00002374
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002375bool BitcodeReader::Materialize(GlobalValue *GV, std::string *ErrInfo) {
2376 Function *F = dyn_cast<Function>(GV);
2377 // If it's not a function or is already material, ignore the request.
2378 if (!F || !F->isMaterializable()) return false;
2379
2380 DenseMap<Function*, uint64_t>::iterator DFII = DeferredFunctionInfo.find(F);
Chris Lattnerb348bb82007-05-18 04:02:46 +00002381 assert(DFII != DeferredFunctionInfo.end() && "Deferred function not found!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002382
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002383 // Move the bit stream to the saved position of the deferred function body.
2384 Stream.JumpToBit(DFII->second);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002385
Chris Lattnerb348bb82007-05-18 04:02:46 +00002386 if (ParseFunctionBody(F)) {
2387 if (ErrInfo) *ErrInfo = ErrorString;
2388 return true;
2389 }
Chandler Carruth69940402007-08-04 01:51:18 +00002390
2391 // Upgrade any old intrinsic calls in the function.
2392 for (UpgradedIntrinsicMap::iterator I = UpgradedIntrinsics.begin(),
2393 E = UpgradedIntrinsics.end(); I != E; ++I) {
2394 if (I->first != I->second) {
2395 for (Value::use_iterator UI = I->first->use_begin(),
2396 UE = I->first->use_end(); UI != UE; ) {
2397 if (CallInst* CI = dyn_cast<CallInst>(*UI++))
2398 UpgradeIntrinsicCall(CI, I->second);
2399 }
2400 }
2401 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002402
Chris Lattnerb348bb82007-05-18 04:02:46 +00002403 return false;
2404}
2405
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002406bool BitcodeReader::isDematerializable(const GlobalValue *GV) const {
2407 const Function *F = dyn_cast<Function>(GV);
2408 if (!F || F->isDeclaration())
2409 return false;
2410 return DeferredFunctionInfo.count(const_cast<Function*>(F));
2411}
2412
2413void BitcodeReader::Dematerialize(GlobalValue *GV) {
2414 Function *F = dyn_cast<Function>(GV);
2415 // If this function isn't dematerializable, this is a noop.
2416 if (!F || !isDematerializable(F))
Chris Lattnerb348bb82007-05-18 04:02:46 +00002417 return;
Daniel Dunbara279bc32009-09-20 02:20:51 +00002418
Chris Lattnerb348bb82007-05-18 04:02:46 +00002419 assert(DeferredFunctionInfo.count(F) && "No info to read function later?");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002420
Chris Lattnerb348bb82007-05-18 04:02:46 +00002421 // Just forget the function body, we can remat it later.
2422 F->deleteBody();
Chris Lattnerb348bb82007-05-18 04:02:46 +00002423}
2424
2425
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002426bool BitcodeReader::MaterializeModule(Module *M, std::string *ErrInfo) {
2427 assert(M == TheModule &&
2428 "Can only Materialize the Module this BitcodeReader is attached to.");
Chris Lattner714fa952009-06-16 05:15:21 +00002429 // Iterate over the module, deserializing any functions that are still on
2430 // disk.
2431 for (Module::iterator F = TheModule->begin(), E = TheModule->end();
2432 F != E; ++F)
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002433 if (F->isMaterializable() &&
2434 Materialize(F, ErrInfo))
2435 return true;
Chandler Carruth69940402007-08-04 01:51:18 +00002436
Daniel Dunbara279bc32009-09-20 02:20:51 +00002437 // Upgrade any intrinsic calls that slipped through (should not happen!) and
2438 // delete the old functions to clean up. We can't do this unless the entire
2439 // module is materialized because there could always be another function body
Chandler Carruth69940402007-08-04 01:51:18 +00002440 // with calls to the old function.
2441 for (std::vector<std::pair<Function*, Function*> >::iterator I =
2442 UpgradedIntrinsics.begin(), E = UpgradedIntrinsics.end(); I != E; ++I) {
2443 if (I->first != I->second) {
2444 for (Value::use_iterator UI = I->first->use_begin(),
2445 UE = I->first->use_end(); UI != UE; ) {
2446 if (CallInst* CI = dyn_cast<CallInst>(*UI++))
2447 UpgradeIntrinsicCall(CI, I->second);
2448 }
Chris Lattner7d9eb582009-04-01 01:43:03 +00002449 if (!I->first->use_empty())
2450 I->first->replaceAllUsesWith(I->second);
Chandler Carruth69940402007-08-04 01:51:18 +00002451 I->first->eraseFromParent();
2452 }
2453 }
2454 std::vector<std::pair<Function*, Function*> >().swap(UpgradedIntrinsics);
Devang Patele4b27562009-08-28 23:24:31 +00002455
2456 // Check debug info intrinsics.
2457 CheckDebugInfoIntrinsics(TheModule);
2458
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002459 return false;
Chris Lattnerb348bb82007-05-18 04:02:46 +00002460}
2461
Chris Lattner48f84872007-05-01 04:59:48 +00002462
Chris Lattnerc453f762007-04-29 07:54:31 +00002463//===----------------------------------------------------------------------===//
2464// External interface
2465//===----------------------------------------------------------------------===//
2466
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002467/// getLazyBitcodeModule - lazy function-at-a-time loading from a file.
Chris Lattnerc453f762007-04-29 07:54:31 +00002468///
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002469Module *llvm::getLazyBitcodeModule(MemoryBuffer *Buffer,
2470 LLVMContext& Context,
2471 std::string *ErrMsg) {
2472 Module *M = new Module(Buffer->getBufferIdentifier(), Context);
Owen Anderson8b477ed2009-07-01 16:58:40 +00002473 BitcodeReader *R = new BitcodeReader(Buffer, Context);
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002474 M->setMaterializer(R);
2475 if (R->ParseBitcodeInto(M)) {
Chris Lattnerc453f762007-04-29 07:54:31 +00002476 if (ErrMsg)
2477 *ErrMsg = R->getErrorString();
Daniel Dunbara279bc32009-09-20 02:20:51 +00002478
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002479 delete M; // Also deletes R.
Chris Lattnerc453f762007-04-29 07:54:31 +00002480 return 0;
2481 }
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002482 // Have the BitcodeReader dtor delete 'Buffer'.
2483 R->setBufferOwned(true);
2484 return M;
Chris Lattnerc453f762007-04-29 07:54:31 +00002485}
2486
2487/// ParseBitcodeFile - Read the specified bitcode file, returning the module.
2488/// If an error occurs, return null and fill in *ErrMsg if non-null.
Daniel Dunbara279bc32009-09-20 02:20:51 +00002489Module *llvm::ParseBitcodeFile(MemoryBuffer *Buffer, LLVMContext& Context,
Owen Anderson8b477ed2009-07-01 16:58:40 +00002490 std::string *ErrMsg){
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002491 Module *M = getLazyBitcodeModule(Buffer, Context, ErrMsg);
2492 if (!M) return 0;
Chris Lattnerb348bb82007-05-18 04:02:46 +00002493
2494 // Don't let the BitcodeReader dtor delete 'Buffer', regardless of whether
2495 // there was an error.
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002496 static_cast<BitcodeReader*>(M->getMaterializer())->setBufferOwned(false);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002497
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002498 // Read in the entire module, and destroy the BitcodeReader.
2499 if (M->MaterializeAllPermanently(ErrMsg)) {
2500 delete M;
2501 return NULL;
2502 }
Chris Lattnerc453f762007-04-29 07:54:31 +00002503 return M;
2504}