blob: d72732f96f84217add6ffc84523817122b4a6f40 [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;
Bill Wendling55ae5152010-08-20 22:05:50 +000080 case 15: return GlobalValue::LinkerPrivateWeakDefAutoLinkage;
Chris Lattnercaee0dc2007-04-22 06:23:29 +000081 }
82}
83
84static GlobalValue::VisibilityTypes GetDecodedVisibility(unsigned Val) {
85 switch (Val) {
86 default: // Map unknown visibilities to default.
87 case 0: return GlobalValue::DefaultVisibility;
88 case 1: return GlobalValue::HiddenVisibility;
Anton Korobeynikov9cd3ccf2007-04-29 20:56:48 +000089 case 2: return GlobalValue::ProtectedVisibility;
Chris Lattnercaee0dc2007-04-22 06:23:29 +000090 }
91}
92
Chris Lattnerf581c3b2007-04-24 07:07:11 +000093static int GetDecodedCastOpcode(unsigned Val) {
94 switch (Val) {
95 default: return -1;
96 case bitc::CAST_TRUNC : return Instruction::Trunc;
97 case bitc::CAST_ZEXT : return Instruction::ZExt;
98 case bitc::CAST_SEXT : return Instruction::SExt;
99 case bitc::CAST_FPTOUI : return Instruction::FPToUI;
100 case bitc::CAST_FPTOSI : return Instruction::FPToSI;
101 case bitc::CAST_UITOFP : return Instruction::UIToFP;
102 case bitc::CAST_SITOFP : return Instruction::SIToFP;
103 case bitc::CAST_FPTRUNC : return Instruction::FPTrunc;
104 case bitc::CAST_FPEXT : return Instruction::FPExt;
105 case bitc::CAST_PTRTOINT: return Instruction::PtrToInt;
106 case bitc::CAST_INTTOPTR: return Instruction::IntToPtr;
107 case bitc::CAST_BITCAST : return Instruction::BitCast;
108 }
109}
110static int GetDecodedBinaryOpcode(unsigned Val, const Type *Ty) {
111 switch (Val) {
112 default: return -1;
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000113 case bitc::BINOP_ADD:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000114 return Ty->isFPOrFPVectorTy() ? Instruction::FAdd : Instruction::Add;
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000115 case bitc::BINOP_SUB:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000116 return Ty->isFPOrFPVectorTy() ? Instruction::FSub : Instruction::Sub;
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000117 case bitc::BINOP_MUL:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000118 return Ty->isFPOrFPVectorTy() ? Instruction::FMul : Instruction::Mul;
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000119 case bitc::BINOP_UDIV: return Instruction::UDiv;
120 case bitc::BINOP_SDIV:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000121 return Ty->isFPOrFPVectorTy() ? Instruction::FDiv : Instruction::SDiv;
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000122 case bitc::BINOP_UREM: return Instruction::URem;
123 case bitc::BINOP_SREM:
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000124 return Ty->isFPOrFPVectorTy() ? Instruction::FRem : Instruction::SRem;
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000125 case bitc::BINOP_SHL: return Instruction::Shl;
126 case bitc::BINOP_LSHR: return Instruction::LShr;
127 case bitc::BINOP_ASHR: return Instruction::AShr;
128 case bitc::BINOP_AND: return Instruction::And;
129 case bitc::BINOP_OR: return Instruction::Or;
130 case bitc::BINOP_XOR: return Instruction::Xor;
131 }
132}
133
Gabor Greifefe65362008-05-10 08:32:32 +0000134namespace llvm {
Chris Lattner522b7b12007-04-24 05:48:56 +0000135namespace {
136 /// @brief A class for maintaining the slot number definition
137 /// as a placeholder for the actual definition for forward constants defs.
138 class ConstantPlaceHolder : public ConstantExpr {
Argyrios Kyrtzidis8c8b9ee2010-08-15 10:27:23 +0000139 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.
Chris Lattner17aa6802010-09-04 18:12:00 +0000151 //static inline bool classof(const ConstantPlaceHolder *) { return true; }
Chris Lattnerea693df2008-08-21 02:34:16 +0000152 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 <>
Jay Foad67c619b2011-01-11 15:07:38 +0000165struct OperandTraits<ConstantPlaceHolder> :
166 public FixedNumOperandTraits<ConstantPlaceHolder, 1> {
Gabor Greifefe65362008-05-10 08:32:32 +0000167};
Gabor Greifefe65362008-05-10 08:32:32 +0000168}
169
Chris Lattner46e77402009-03-31 22:55:09 +0000170
171void BitcodeReaderValueList::AssignValue(Value *V, unsigned Idx) {
172 if (Idx == size()) {
173 push_back(V);
174 return;
175 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000176
Chris Lattner46e77402009-03-31 22:55:09 +0000177 if (Idx >= size())
178 resize(Idx+1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000179
Chris Lattner46e77402009-03-31 22:55:09 +0000180 WeakVH &OldV = ValuePtrs[Idx];
181 if (OldV == 0) {
182 OldV = V;
183 return;
184 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000185
Chris Lattner46e77402009-03-31 22:55:09 +0000186 // Handle constants and non-constants (e.g. instrs) differently for
187 // efficiency.
188 if (Constant *PHC = dyn_cast<Constant>(&*OldV)) {
189 ResolveConstants.push_back(std::make_pair(PHC, Idx));
190 OldV = V;
191 } else {
192 // If there was a forward reference to this value, replace it.
193 Value *PrevVal = OldV;
194 OldV->replaceAllUsesWith(V);
195 delete PrevVal;
Gabor Greifefe65362008-05-10 08:32:32 +0000196 }
197}
Daniel Dunbara279bc32009-09-20 02:20:51 +0000198
Gabor Greifefe65362008-05-10 08:32:32 +0000199
Chris Lattner522b7b12007-04-24 05:48:56 +0000200Constant *BitcodeReaderValueList::getConstantFwdRef(unsigned Idx,
201 const Type *Ty) {
Chris Lattner46e77402009-03-31 22:55:09 +0000202 if (Idx >= size())
Gabor Greifefe65362008-05-10 08:32:32 +0000203 resize(Idx + 1);
Chris Lattner522b7b12007-04-24 05:48:56 +0000204
Chris Lattner46e77402009-03-31 22:55:09 +0000205 if (Value *V = ValuePtrs[Idx]) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000206 assert(Ty == V->getType() && "Type mismatch in constant table!");
207 return cast<Constant>(V);
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000208 }
Chris Lattner522b7b12007-04-24 05:48:56 +0000209
210 // Create and return a placeholder, which will later be RAUW'd.
Owen Anderson74a77812009-07-07 20:18:58 +0000211 Constant *C = new ConstantPlaceHolder(Ty, Context);
Chris Lattner46e77402009-03-31 22:55:09 +0000212 ValuePtrs[Idx] = C;
Chris Lattner522b7b12007-04-24 05:48:56 +0000213 return C;
214}
215
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000216Value *BitcodeReaderValueList::getValueFwdRef(unsigned Idx, const Type *Ty) {
Chris Lattner46e77402009-03-31 22:55:09 +0000217 if (Idx >= size())
Gabor Greifefe65362008-05-10 08:32:32 +0000218 resize(Idx + 1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000219
Chris Lattner46e77402009-03-31 22:55:09 +0000220 if (Value *V = ValuePtrs[Idx]) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000221 assert((Ty == 0 || Ty == V->getType()) && "Type mismatch in value table!");
222 return V;
223 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000224
Chris Lattner01ff65f2007-05-02 05:16:49 +0000225 // No type specified, must be invalid reference.
226 if (Ty == 0) return 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000227
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000228 // Create and return a placeholder, which will later be RAUW'd.
229 Value *V = new Argument(Ty);
Chris Lattner46e77402009-03-31 22:55:09 +0000230 ValuePtrs[Idx] = V;
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000231 return V;
232}
233
Chris Lattnerea693df2008-08-21 02:34:16 +0000234/// ResolveConstantForwardRefs - Once all constants are read, this method bulk
235/// resolves any forward references. The idea behind this is that we sometimes
236/// get constants (such as large arrays) which reference *many* forward ref
237/// constants. Replacing each of these causes a lot of thrashing when
238/// building/reuniquing the constant. Instead of doing this, we look at all the
239/// uses and rewrite all the place holders at once for any constant that uses
240/// a placeholder.
241void BitcodeReaderValueList::ResolveConstantForwardRefs() {
Daniel Dunbara279bc32009-09-20 02:20:51 +0000242 // Sort the values by-pointer so that they are efficient to look up with a
Chris Lattnerea693df2008-08-21 02:34:16 +0000243 // binary search.
244 std::sort(ResolveConstants.begin(), ResolveConstants.end());
Daniel Dunbara279bc32009-09-20 02:20:51 +0000245
Chris Lattnerea693df2008-08-21 02:34:16 +0000246 SmallVector<Constant*, 64> NewOps;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000247
Chris Lattnerea693df2008-08-21 02:34:16 +0000248 while (!ResolveConstants.empty()) {
Chris Lattner46e77402009-03-31 22:55:09 +0000249 Value *RealVal = operator[](ResolveConstants.back().second);
Chris Lattnerea693df2008-08-21 02:34:16 +0000250 Constant *Placeholder = ResolveConstants.back().first;
251 ResolveConstants.pop_back();
Daniel Dunbara279bc32009-09-20 02:20:51 +0000252
Chris Lattnerea693df2008-08-21 02:34:16 +0000253 // Loop over all users of the placeholder, updating them to reference the
254 // new value. If they reference more than one placeholder, update them all
255 // at once.
256 while (!Placeholder->use_empty()) {
Chris Lattnerb6135a02008-08-21 17:31:45 +0000257 Value::use_iterator UI = Placeholder->use_begin();
Gabor Greifc654d1b2010-07-09 16:01:21 +0000258 User *U = *UI;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000259
Chris Lattnerea693df2008-08-21 02:34:16 +0000260 // If the using object isn't uniqued, just update the operands. This
261 // handles instructions and initializers for global variables.
Gabor Greifc654d1b2010-07-09 16:01:21 +0000262 if (!isa<Constant>(U) || isa<GlobalValue>(U)) {
Chris Lattnerb6135a02008-08-21 17:31:45 +0000263 UI.getUse().set(RealVal);
Chris Lattnerea693df2008-08-21 02:34:16 +0000264 continue;
265 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000266
Chris Lattnerea693df2008-08-21 02:34:16 +0000267 // Otherwise, we have a constant that uses the placeholder. Replace that
268 // constant with a new constant that has *all* placeholder uses updated.
Gabor Greifc654d1b2010-07-09 16:01:21 +0000269 Constant *UserC = cast<Constant>(U);
Chris Lattnerea693df2008-08-21 02:34:16 +0000270 for (User::op_iterator I = UserC->op_begin(), E = UserC->op_end();
271 I != E; ++I) {
272 Value *NewOp;
273 if (!isa<ConstantPlaceHolder>(*I)) {
274 // Not a placeholder reference.
275 NewOp = *I;
276 } else if (*I == Placeholder) {
277 // Common case is that it just references this one placeholder.
278 NewOp = RealVal;
279 } else {
280 // Otherwise, look up the placeholder in ResolveConstants.
Daniel Dunbara279bc32009-09-20 02:20:51 +0000281 ResolveConstantsTy::iterator It =
282 std::lower_bound(ResolveConstants.begin(), ResolveConstants.end(),
Chris Lattnerea693df2008-08-21 02:34:16 +0000283 std::pair<Constant*, unsigned>(cast<Constant>(*I),
284 0));
285 assert(It != ResolveConstants.end() && It->first == *I);
Chris Lattner46e77402009-03-31 22:55:09 +0000286 NewOp = operator[](It->second);
Chris Lattnerea693df2008-08-21 02:34:16 +0000287 }
288
289 NewOps.push_back(cast<Constant>(NewOp));
290 }
291
292 // Make the new constant.
293 Constant *NewC;
294 if (ConstantArray *UserCA = dyn_cast<ConstantArray>(UserC)) {
Owen Anderson1fd70962009-07-28 18:32:17 +0000295 NewC = ConstantArray::get(UserCA->getType(), &NewOps[0],
Owen Anderson74a77812009-07-07 20:18:58 +0000296 NewOps.size());
Chris Lattnerea693df2008-08-21 02:34:16 +0000297 } else if (ConstantStruct *UserCS = dyn_cast<ConstantStruct>(UserC)) {
Owen Andersond7f2a6c2009-08-05 23:16:16 +0000298 NewC = ConstantStruct::get(Context, &NewOps[0], NewOps.size(),
Owen Anderson74a77812009-07-07 20:18:58 +0000299 UserCS->getType()->isPacked());
Chris Lattnerea693df2008-08-21 02:34:16 +0000300 } else if (isa<ConstantVector>(UserC)) {
Chris Lattner2ca5c862011-02-15 00:14:00 +0000301 NewC = ConstantVector::get(NewOps);
Nick Lewyckycb337992009-05-10 20:57:05 +0000302 } else {
303 assert(isa<ConstantExpr>(UserC) && "Must be a ConstantExpr.");
Jay Foadb81e4572011-04-13 13:46:01 +0000304 NewC = cast<ConstantExpr>(UserC)->getWithOperands(NewOps);
Chris Lattnerea693df2008-08-21 02:34:16 +0000305 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000306
Chris Lattnerea693df2008-08-21 02:34:16 +0000307 UserC->replaceAllUsesWith(NewC);
308 UserC->destroyConstant();
309 NewOps.clear();
310 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000311
Nick Lewyckycb337992009-05-10 20:57:05 +0000312 // Update all ValueHandles, they should be the only users at this point.
313 Placeholder->replaceAllUsesWith(RealVal);
Chris Lattnerea693df2008-08-21 02:34:16 +0000314 delete Placeholder;
315 }
316}
317
Devang Pateld5ac4042009-08-04 06:00:18 +0000318void BitcodeReaderMDValueList::AssignValue(Value *V, unsigned Idx) {
319 if (Idx == size()) {
320 push_back(V);
321 return;
322 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000323
Devang Pateld5ac4042009-08-04 06:00:18 +0000324 if (Idx >= size())
325 resize(Idx+1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000326
Devang Pateld5ac4042009-08-04 06:00:18 +0000327 WeakVH &OldV = MDValuePtrs[Idx];
328 if (OldV == 0) {
329 OldV = V;
330 return;
331 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000332
Devang Pateld5ac4042009-08-04 06:00:18 +0000333 // If there was a forward reference to this value, replace it.
Dan Gohman489b29b2010-08-20 22:02:26 +0000334 MDNode *PrevVal = cast<MDNode>(OldV);
Devang Pateld5ac4042009-08-04 06:00:18 +0000335 OldV->replaceAllUsesWith(V);
Dan Gohman489b29b2010-08-20 22:02:26 +0000336 MDNode::deleteTemporary(PrevVal);
Devang Patelc0ff8c82009-09-03 01:38:02 +0000337 // Deleting PrevVal sets Idx value in MDValuePtrs to null. Set new
338 // value for Idx.
339 MDValuePtrs[Idx] = V;
Devang Pateld5ac4042009-08-04 06:00:18 +0000340}
341
342Value *BitcodeReaderMDValueList::getValueFwdRef(unsigned Idx) {
343 if (Idx >= size())
344 resize(Idx + 1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000345
Devang Pateld5ac4042009-08-04 06:00:18 +0000346 if (Value *V = MDValuePtrs[Idx]) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000347 assert(V->getType()->isMetadataTy() && "Type mismatch in value table!");
Devang Pateld5ac4042009-08-04 06:00:18 +0000348 return V;
349 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000350
Devang Pateld5ac4042009-08-04 06:00:18 +0000351 // Create and return a placeholder, which will later be RAUW'd.
Jay Foadec9186b2011-04-21 19:59:31 +0000352 Value *V = MDNode::getTemporary(Context, ArrayRef<Value*>());
Devang Pateld5ac4042009-08-04 06:00:18 +0000353 MDValuePtrs[Idx] = V;
354 return V;
355}
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000356
357const Type *BitcodeReader::getTypeByID(unsigned ID, bool isTypeTable) {
358 // If the TypeID is in range, return it.
359 if (ID < TypeList.size())
360 return TypeList[ID].get();
361 if (!isTypeTable) return 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000362
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000363 // The type table allows forward references. Push as many Opaque types as
364 // needed to get up to ID.
365 while (TypeList.size() <= ID)
Owen Anderson0e275dc2009-08-13 23:27:32 +0000366 TypeList.push_back(OpaqueType::get(Context));
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000367 return TypeList.back().get();
368}
369
Chris Lattner48c85b82007-05-04 03:30:17 +0000370//===----------------------------------------------------------------------===//
371// Functions for parsing blocks from the bitcode file
372//===----------------------------------------------------------------------===//
373
Devang Patel05988662008-09-25 21:00:45 +0000374bool BitcodeReader::ParseAttributeBlock() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000375 if (Stream.EnterSubBlock(bitc::PARAMATTR_BLOCK_ID))
Chris Lattner48c85b82007-05-04 03:30:17 +0000376 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000377
Devang Patel19c87462008-09-26 22:53:05 +0000378 if (!MAttributes.empty())
Chris Lattner48c85b82007-05-04 03:30:17 +0000379 return Error("Multiple PARAMATTR blocks found!");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000380
Chris Lattner48c85b82007-05-04 03:30:17 +0000381 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000382
Devang Patel05988662008-09-25 21:00:45 +0000383 SmallVector<AttributeWithIndex, 8> Attrs;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000384
Chris Lattner48c85b82007-05-04 03:30:17 +0000385 // Read all the records.
386 while (1) {
387 unsigned Code = Stream.ReadCode();
388 if (Code == bitc::END_BLOCK) {
389 if (Stream.ReadBlockEnd())
390 return Error("Error at end of PARAMATTR block");
391 return false;
392 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000393
Chris Lattner48c85b82007-05-04 03:30:17 +0000394 if (Code == bitc::ENTER_SUBBLOCK) {
395 // No known subblocks, always skip them.
396 Stream.ReadSubBlockID();
397 if (Stream.SkipBlock())
398 return Error("Malformed block record");
399 continue;
400 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000401
Chris Lattner48c85b82007-05-04 03:30:17 +0000402 if (Code == bitc::DEFINE_ABBREV) {
403 Stream.ReadAbbrevRecord();
404 continue;
405 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000406
Chris Lattner48c85b82007-05-04 03:30:17 +0000407 // Read a record.
408 Record.clear();
409 switch (Stream.ReadRecord(Code, Record)) {
410 default: // Default behavior: ignore.
411 break;
412 case bitc::PARAMATTR_CODE_ENTRY: { // ENTRY: [paramidx0, attr0, ...]
413 if (Record.size() & 1)
414 return Error("Invalid ENTRY record");
415
Chris Lattner9a6cb152008-10-05 18:22:09 +0000416 // FIXME : Remove this autoupgrade code in LLVM 3.0.
Devang Patel19c87462008-09-26 22:53:05 +0000417 // If Function attributes are using index 0 then transfer them
Chris Lattner9a6cb152008-10-05 18:22:09 +0000418 // to index ~0. Index 0 is used for return value attributes but used to be
419 // used for function attributes.
Devang Patel19c87462008-09-26 22:53:05 +0000420 Attributes RetAttribute = Attribute::None;
421 Attributes FnAttribute = Attribute::None;
Chris Lattner48c85b82007-05-04 03:30:17 +0000422 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Nick Lewycky73ddd4f2008-12-19 09:38:31 +0000423 // FIXME: remove in LLVM 3.0
424 // The alignment is stored as a 16-bit raw value from bits 31--16.
425 // We shift the bits above 31 down by 11 bits.
426
427 unsigned Alignment = (Record[i+1] & (0xffffull << 16)) >> 16;
428 if (Alignment && !isPowerOf2_32(Alignment))
429 return Error("Alignment is not a power of two.");
430
431 Attributes ReconstitutedAttr = Record[i+1] & 0xffff;
432 if (Alignment)
433 ReconstitutedAttr |= Attribute::constructAlignmentFromInt(Alignment);
434 ReconstitutedAttr |= (Record[i+1] & (0xffffull << 32)) >> 11;
435 Record[i+1] = ReconstitutedAttr;
436
Devang Patel19c87462008-09-26 22:53:05 +0000437 if (Record[i] == 0)
438 RetAttribute = Record[i+1];
439 else if (Record[i] == ~0U)
440 FnAttribute = Record[i+1];
441 }
Chris Lattner9a6cb152008-10-05 18:22:09 +0000442
443 unsigned OldRetAttrs = (Attribute::NoUnwind|Attribute::NoReturn|
444 Attribute::ReadOnly|Attribute::ReadNone);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000445
Chris Lattner9a6cb152008-10-05 18:22:09 +0000446 if (FnAttribute == Attribute::None && RetAttribute != Attribute::None &&
447 (RetAttribute & OldRetAttrs) != 0) {
448 if (FnAttribute == Attribute::None) { // add a slot so they get added.
449 Record.push_back(~0U);
450 Record.push_back(0);
Devang Patel19c87462008-09-26 22:53:05 +0000451 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000452
Chris Lattner9a6cb152008-10-05 18:22:09 +0000453 FnAttribute |= RetAttribute & OldRetAttrs;
454 RetAttribute &= ~OldRetAttrs;
Chris Lattner48c85b82007-05-04 03:30:17 +0000455 }
Chris Lattner461edd92008-03-12 02:25:52 +0000456
Devang Patel19c87462008-09-26 22:53:05 +0000457 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Chris Lattner9a6cb152008-10-05 18:22:09 +0000458 if (Record[i] == 0) {
459 if (RetAttribute != Attribute::None)
460 Attrs.push_back(AttributeWithIndex::get(0, RetAttribute));
461 } else if (Record[i] == ~0U) {
462 if (FnAttribute != Attribute::None)
463 Attrs.push_back(AttributeWithIndex::get(~0U, FnAttribute));
464 } else if (Record[i+1] != Attribute::None)
Devang Patel19c87462008-09-26 22:53:05 +0000465 Attrs.push_back(AttributeWithIndex::get(Record[i], Record[i+1]));
466 }
Devang Patel19c87462008-09-26 22:53:05 +0000467
468 MAttributes.push_back(AttrListPtr::get(Attrs.begin(), Attrs.end()));
Chris Lattner48c85b82007-05-04 03:30:17 +0000469 Attrs.clear();
470 break;
471 }
Duncan Sands5e41f652007-11-20 14:09:29 +0000472 }
Chris Lattner48c85b82007-05-04 03:30:17 +0000473 }
474}
475
476
Chris Lattner86697142007-05-01 05:01:34 +0000477bool BitcodeReader::ParseTypeTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000478 if (Stream.EnterSubBlock(bitc::TYPE_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000479 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000480
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000481 if (!TypeList.empty())
482 return Error("Multiple TYPE_BLOCKs found!");
483
484 SmallVector<uint64_t, 64> Record;
485 unsigned NumRecords = 0;
486
487 // Read all the records for this type table.
488 while (1) {
489 unsigned Code = Stream.ReadCode();
490 if (Code == bitc::END_BLOCK) {
491 if (NumRecords != TypeList.size())
492 return Error("Invalid type forward reference in TYPE_BLOCK");
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000493 if (Stream.ReadBlockEnd())
494 return Error("Error at end of type table block");
495 return false;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000496 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000497
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000498 if (Code == bitc::ENTER_SUBBLOCK) {
499 // No known subblocks, always skip them.
500 Stream.ReadSubBlockID();
501 if (Stream.SkipBlock())
502 return Error("Malformed block record");
503 continue;
504 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000505
Chris Lattner36d5e7d2007-04-23 16:04:05 +0000506 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +0000507 Stream.ReadAbbrevRecord();
508 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000509 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000510
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000511 // Read a record.
512 Record.clear();
513 const Type *ResultTy = 0;
514 switch (Stream.ReadRecord(Code, Record)) {
515 default: // Default behavior: unknown type.
516 ResultTy = 0;
517 break;
518 case bitc::TYPE_CODE_NUMENTRY: // TYPE_CODE_NUMENTRY: [numentries]
519 // TYPE_CODE_NUMENTRY contains a count of the number of types in the
520 // type list. This allows us to reserve space.
521 if (Record.size() < 1)
522 return Error("Invalid TYPE_CODE_NUMENTRY record");
523 TypeList.reserve(Record[0]);
524 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000525 case bitc::TYPE_CODE_VOID: // VOID
Owen Anderson1d0be152009-08-13 21:58:54 +0000526 ResultTy = Type::getVoidTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000527 break;
528 case bitc::TYPE_CODE_FLOAT: // FLOAT
Owen Anderson1d0be152009-08-13 21:58:54 +0000529 ResultTy = Type::getFloatTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000530 break;
531 case bitc::TYPE_CODE_DOUBLE: // DOUBLE
Owen Anderson1d0be152009-08-13 21:58:54 +0000532 ResultTy = Type::getDoubleTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000533 break;
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000534 case bitc::TYPE_CODE_X86_FP80: // X86_FP80
Owen Anderson1d0be152009-08-13 21:58:54 +0000535 ResultTy = Type::getX86_FP80Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000536 break;
537 case bitc::TYPE_CODE_FP128: // FP128
Owen Anderson1d0be152009-08-13 21:58:54 +0000538 ResultTy = Type::getFP128Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000539 break;
540 case bitc::TYPE_CODE_PPC_FP128: // PPC_FP128
Owen Anderson1d0be152009-08-13 21:58:54 +0000541 ResultTy = Type::getPPC_FP128Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000542 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000543 case bitc::TYPE_CODE_LABEL: // LABEL
Owen Anderson1d0be152009-08-13 21:58:54 +0000544 ResultTy = Type::getLabelTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000545 break;
546 case bitc::TYPE_CODE_OPAQUE: // OPAQUE
547 ResultTy = 0;
548 break;
Nick Lewycky7a0370f2009-05-30 05:06:04 +0000549 case bitc::TYPE_CODE_METADATA: // METADATA
Owen Anderson1d0be152009-08-13 21:58:54 +0000550 ResultTy = Type::getMetadataTy(Context);
Nick Lewycky7a0370f2009-05-30 05:06:04 +0000551 break;
Dale Johannesenbb811a22010-09-10 20:55:01 +0000552 case bitc::TYPE_CODE_X86_MMX: // X86_MMX
553 ResultTy = Type::getX86_MMXTy(Context);
554 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000555 case bitc::TYPE_CODE_INTEGER: // INTEGER: [width]
556 if (Record.size() < 1)
557 return Error("Invalid Integer type record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000558
Owen Anderson1d0be152009-08-13 21:58:54 +0000559 ResultTy = IntegerType::get(Context, Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000560 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000561 case bitc::TYPE_CODE_POINTER: { // POINTER: [pointee type] or
Christopher Lambfe63fb92007-12-11 08:59:05 +0000562 // [pointee type, address space]
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000563 if (Record.size() < 1)
564 return Error("Invalid POINTER type record");
Christopher Lambfe63fb92007-12-11 08:59:05 +0000565 unsigned AddressSpace = 0;
566 if (Record.size() == 2)
567 AddressSpace = Record[1];
Owen Andersondebcb012009-07-29 22:17:13 +0000568 ResultTy = PointerType::get(getTypeByID(Record[0], true),
Owen Anderson74a77812009-07-07 20:18:58 +0000569 AddressSpace);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000570 break;
Christopher Lambfe63fb92007-12-11 08:59:05 +0000571 }
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000572 case bitc::TYPE_CODE_FUNCTION: {
Chris Lattnera1afde72007-11-27 17:48:06 +0000573 // FIXME: attrid is dead, remove it in LLVM 3.0
574 // FUNCTION: [vararg, attrid, retty, paramty x N]
575 if (Record.size() < 3)
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000576 return Error("Invalid FUNCTION type record");
577 std::vector<const Type*> ArgTys;
Chris Lattnera1afde72007-11-27 17:48:06 +0000578 for (unsigned i = 3, e = Record.size(); i != e; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +0000579 ArgTys.push_back(getTypeByID(Record[i], true));
Daniel Dunbara279bc32009-09-20 02:20:51 +0000580
Owen Andersondebcb012009-07-29 22:17:13 +0000581 ResultTy = FunctionType::get(getTypeByID(Record[2], true), ArgTys,
Duncan Sandsdc024672007-11-27 13:23:08 +0000582 Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000583 break;
584 }
Chris Lattner15e6d172007-05-04 19:11:41 +0000585 case bitc::TYPE_CODE_STRUCT: { // STRUCT: [ispacked, eltty x N]
Chris Lattner7108dce2007-05-06 08:21:50 +0000586 if (Record.size() < 1)
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000587 return Error("Invalid STRUCT type record");
588 std::vector<const Type*> EltTys;
Chris Lattner15e6d172007-05-04 19:11:41 +0000589 for (unsigned i = 1, e = Record.size(); i != e; ++i)
590 EltTys.push_back(getTypeByID(Record[i], true));
Owen Andersond7f2a6c2009-08-05 23:16:16 +0000591 ResultTy = StructType::get(Context, EltTys, Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000592 break;
593 }
594 case bitc::TYPE_CODE_ARRAY: // ARRAY: [numelts, eltty]
595 if (Record.size() < 2)
596 return Error("Invalid ARRAY type record");
Owen Andersondebcb012009-07-29 22:17:13 +0000597 ResultTy = ArrayType::get(getTypeByID(Record[1], true), Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000598 break;
599 case bitc::TYPE_CODE_VECTOR: // VECTOR: [numelts, eltty]
600 if (Record.size() < 2)
601 return Error("Invalid VECTOR type record");
Owen Andersondebcb012009-07-29 22:17:13 +0000602 ResultTy = VectorType::get(getTypeByID(Record[1], true), Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000603 break;
604 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000605
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000606 if (NumRecords == TypeList.size()) {
607 // If this is a new type slot, just append it.
Owen Anderson0e275dc2009-08-13 23:27:32 +0000608 TypeList.push_back(ResultTy ? ResultTy : OpaqueType::get(Context));
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000609 ++NumRecords;
610 } else if (ResultTy == 0) {
611 // Otherwise, this was forward referenced, so an opaque type was created,
612 // but the result type is actually just an opaque. Leave the one we
613 // created previously.
614 ++NumRecords;
615 } else {
616 // Otherwise, this was forward referenced, so an opaque type was created.
617 // Resolve the opaque type to the real type now.
618 assert(NumRecords < TypeList.size() && "Typelist imbalance");
619 const OpaqueType *OldTy = cast<OpaqueType>(TypeList[NumRecords++].get());
Daniel Dunbara279bc32009-09-20 02:20:51 +0000620
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000621 // Don't directly push the new type on the Tab. Instead we want to replace
622 // the opaque type we previously inserted with the new concrete value. The
623 // refinement from the abstract (opaque) type to the new type causes all
624 // uses of the abstract type to use the concrete type (NewTy). This will
625 // also cause the opaque type to be deleted.
626 const_cast<OpaqueType*>(OldTy)->refineAbstractTypeTo(ResultTy);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000627
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000628 // This should have replaced the old opaque type with the new type in the
Chris Lattner0eef0802007-04-24 04:04:35 +0000629 // value table... or with a preexisting type that was already in the
630 // system. Let's just make sure it did.
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000631 assert(TypeList[NumRecords-1].get() != OldTy &&
632 "refineAbstractType didn't work!");
633 }
634 }
635}
636
637
Chris Lattner86697142007-05-01 05:01:34 +0000638bool BitcodeReader::ParseTypeSymbolTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000639 if (Stream.EnterSubBlock(bitc::TYPE_SYMTAB_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000640 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000641
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000642 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000643
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000644 // Read all the records for this type table.
645 std::string TypeName;
646 while (1) {
647 unsigned Code = Stream.ReadCode();
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000648 if (Code == bitc::END_BLOCK) {
649 if (Stream.ReadBlockEnd())
650 return Error("Error at end of type symbol table block");
651 return false;
652 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000653
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000654 if (Code == bitc::ENTER_SUBBLOCK) {
655 // No known subblocks, always skip them.
656 Stream.ReadSubBlockID();
657 if (Stream.SkipBlock())
658 return Error("Malformed block record");
659 continue;
660 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000661
Chris Lattner36d5e7d2007-04-23 16:04:05 +0000662 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +0000663 Stream.ReadAbbrevRecord();
664 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000665 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000666
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000667 // Read a record.
668 Record.clear();
669 switch (Stream.ReadRecord(Code, Record)) {
670 default: // Default behavior: unknown type.
671 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000672 case bitc::TST_CODE_ENTRY: // TST_ENTRY: [typeid, namechar x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000673 if (ConvertToString(Record, 1, TypeName))
674 return Error("Invalid TST_ENTRY record");
675 unsigned TypeID = Record[0];
676 if (TypeID >= TypeList.size())
677 return Error("Invalid Type ID in TST_ENTRY record");
678
679 TheModule->addTypeName(TypeName, TypeList[TypeID].get());
680 TypeName.clear();
681 break;
682 }
683 }
684}
685
Chris Lattner86697142007-05-01 05:01:34 +0000686bool BitcodeReader::ParseValueSymbolTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000687 if (Stream.EnterSubBlock(bitc::VALUE_SYMTAB_BLOCK_ID))
Chris Lattner0b2482a2007-04-23 21:26:05 +0000688 return Error("Malformed block record");
689
690 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000691
Chris Lattner0b2482a2007-04-23 21:26:05 +0000692 // Read all the records for this value table.
693 SmallString<128> ValueName;
694 while (1) {
695 unsigned Code = Stream.ReadCode();
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000696 if (Code == bitc::END_BLOCK) {
697 if (Stream.ReadBlockEnd())
698 return Error("Error at end of value symbol table block");
699 return false;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000700 }
Chris Lattner0b2482a2007-04-23 21:26:05 +0000701 if (Code == bitc::ENTER_SUBBLOCK) {
702 // No known subblocks, always skip them.
703 Stream.ReadSubBlockID();
704 if (Stream.SkipBlock())
705 return Error("Malformed block record");
706 continue;
707 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000708
Chris Lattner0b2482a2007-04-23 21:26:05 +0000709 if (Code == bitc::DEFINE_ABBREV) {
710 Stream.ReadAbbrevRecord();
711 continue;
712 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000713
Chris Lattner0b2482a2007-04-23 21:26:05 +0000714 // Read a record.
715 Record.clear();
Bill Wendling5d7a5a42011-04-10 23:18:04 +0000716 switch (Stream.ReadRecord(Code, Record)) {
Chris Lattner0b2482a2007-04-23 21:26:05 +0000717 default: // Default behavior: unknown type.
718 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000719 case bitc::VST_CODE_ENTRY: { // VST_ENTRY: [valueid, namechar x N]
Chris Lattner0b2482a2007-04-23 21:26:05 +0000720 if (ConvertToString(Record, 1, ValueName))
Nick Lewycky88b72932009-05-31 06:07:28 +0000721 return Error("Invalid VST_ENTRY record");
Chris Lattner0b2482a2007-04-23 21:26:05 +0000722 unsigned ValueID = Record[0];
723 if (ValueID >= ValueList.size())
724 return Error("Invalid Value ID in VST_ENTRY record");
725 Value *V = ValueList[ValueID];
Daniel Dunbara279bc32009-09-20 02:20:51 +0000726
Daniel Dunbar3f53fa92009-07-26 00:34:27 +0000727 V->setName(StringRef(ValueName.data(), ValueName.size()));
Chris Lattner0b2482a2007-04-23 21:26:05 +0000728 ValueName.clear();
729 break;
Reid Spencerc8f8a242007-05-04 01:43:33 +0000730 }
Bill Wendling5d7a5a42011-04-10 23:18:04 +0000731 case bitc::VST_CODE_BBENTRY: {
Chris Lattnere825ed52007-05-03 22:18:21 +0000732 if (ConvertToString(Record, 1, ValueName))
733 return Error("Invalid VST_BBENTRY record");
734 BasicBlock *BB = getBasicBlock(Record[0]);
735 if (BB == 0)
736 return Error("Invalid BB ID in VST_BBENTRY record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000737
Daniel Dunbar3f53fa92009-07-26 00:34:27 +0000738 BB->setName(StringRef(ValueName.data(), ValueName.size()));
Chris Lattnere825ed52007-05-03 22:18:21 +0000739 ValueName.clear();
740 break;
Chris Lattner0b2482a2007-04-23 21:26:05 +0000741 }
Reid Spencerc8f8a242007-05-04 01:43:33 +0000742 }
Chris Lattner0b2482a2007-04-23 21:26:05 +0000743 }
744}
745
Devang Patele54abc92009-07-22 17:43:22 +0000746bool BitcodeReader::ParseMetadata() {
Devang Patel23598502010-01-11 18:52:33 +0000747 unsigned NextMDValueNo = MDValueList.size();
Devang Patele54abc92009-07-22 17:43:22 +0000748
749 if (Stream.EnterSubBlock(bitc::METADATA_BLOCK_ID))
750 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000751
Devang Patele54abc92009-07-22 17:43:22 +0000752 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000753
Devang Patele54abc92009-07-22 17:43:22 +0000754 // Read all the records.
755 while (1) {
756 unsigned Code = Stream.ReadCode();
757 if (Code == bitc::END_BLOCK) {
758 if (Stream.ReadBlockEnd())
759 return Error("Error at end of PARAMATTR block");
760 return false;
761 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000762
Devang Patele54abc92009-07-22 17:43:22 +0000763 if (Code == bitc::ENTER_SUBBLOCK) {
764 // No known subblocks, always skip them.
765 Stream.ReadSubBlockID();
766 if (Stream.SkipBlock())
767 return Error("Malformed block record");
768 continue;
769 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000770
Devang Patele54abc92009-07-22 17:43:22 +0000771 if (Code == bitc::DEFINE_ABBREV) {
772 Stream.ReadAbbrevRecord();
773 continue;
774 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000775
Victor Hernandez24e64df2010-01-10 07:14:18 +0000776 bool IsFunctionLocal = false;
Devang Patele54abc92009-07-22 17:43:22 +0000777 // Read a record.
778 Record.clear();
Dan Gohman9b10dfb2010-09-13 18:00:48 +0000779 Code = Stream.ReadRecord(Code, Record);
780 switch (Code) {
Devang Patele54abc92009-07-22 17:43:22 +0000781 default: // Default behavior: ignore.
782 break;
Devang Patelaa993142009-07-29 22:34:41 +0000783 case bitc::METADATA_NAME: {
784 // Read named of the named metadata.
785 unsigned NameLength = Record.size();
786 SmallString<8> Name;
787 Name.resize(NameLength);
788 for (unsigned i = 0; i != NameLength; ++i)
789 Name[i] = Record[i];
790 Record.clear();
791 Code = Stream.ReadCode();
792
Chris Lattner9d61dd92011-06-17 17:50:30 +0000793 // METADATA_NAME is always followed by METADATA_NAMED_NODE.
Dan Gohman70c2fc02010-09-09 23:12:39 +0000794 unsigned NextBitCode = Stream.ReadRecord(Code, Record);
Chris Lattner9d61dd92011-06-17 17:50:30 +0000795 assert(NextBitCode == bitc::METADATA_NAMED_NODE); (void)NextBitCode;
Devang Patelaa993142009-07-29 22:34:41 +0000796
797 // Read named metadata elements.
798 unsigned Size = Record.size();
Dan Gohman17aa92c2010-07-21 23:38:33 +0000799 NamedMDNode *NMD = TheModule->getOrInsertNamedMetadata(Name);
Devang Patelaa993142009-07-29 22:34:41 +0000800 for (unsigned i = 0; i != Size; ++i) {
Chris Lattner70644e92010-01-09 02:02:37 +0000801 MDNode *MD = dyn_cast<MDNode>(MDValueList.getValueFwdRef(Record[i]));
802 if (MD == 0)
803 return Error("Malformed metadata record");
Dan Gohman17aa92c2010-07-21 23:38:33 +0000804 NMD->addOperand(MD);
Devang Patelaa993142009-07-29 22:34:41 +0000805 }
Devang Patelaa993142009-07-29 22:34:41 +0000806 break;
807 }
Chris Lattner9d61dd92011-06-17 17:50:30 +0000808 case bitc::METADATA_FN_NODE:
Victor Hernandez24e64df2010-01-10 07:14:18 +0000809 IsFunctionLocal = true;
810 // fall-through
Chris Lattner9d61dd92011-06-17 17:50:30 +0000811 case bitc::METADATA_NODE: {
Dan Gohmanac809752010-07-13 19:33:27 +0000812 if (Record.size() % 2 == 1)
Chris Lattner9d61dd92011-06-17 17:50:30 +0000813 return Error("Invalid METADATA_NODE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000814
Devang Patel104cf9e2009-07-23 01:07:34 +0000815 unsigned Size = Record.size();
816 SmallVector<Value*, 8> Elts;
817 for (unsigned i = 0; i != Size; i += 2) {
Duncan Sandsf22b7462010-10-28 15:47:26 +0000818 const Type *Ty = getTypeByID(Record[i]);
Chris Lattner9d61dd92011-06-17 17:50:30 +0000819 if (!Ty) return Error("Invalid METADATA_NODE record");
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000820 if (Ty->isMetadataTy())
Devang Pateld5ac4042009-08-04 06:00:18 +0000821 Elts.push_back(MDValueList.getValueFwdRef(Record[i+1]));
Benjamin Kramerf0127052010-01-05 13:12:22 +0000822 else if (!Ty->isVoidTy())
Devang Patel104cf9e2009-07-23 01:07:34 +0000823 Elts.push_back(ValueList.getValueFwdRef(Record[i+1], Ty));
824 else
825 Elts.push_back(NULL);
826 }
Jay Foadec9186b2011-04-21 19:59:31 +0000827 Value *V = MDNode::getWhenValsUnresolved(Context, Elts, IsFunctionLocal);
Victor Hernandez24e64df2010-01-10 07:14:18 +0000828 IsFunctionLocal = false;
Devang Patel23598502010-01-11 18:52:33 +0000829 MDValueList.AssignValue(V, NextMDValueNo++);
Devang Patel104cf9e2009-07-23 01:07:34 +0000830 break;
831 }
Devang Patele54abc92009-07-22 17:43:22 +0000832 case bitc::METADATA_STRING: {
833 unsigned MDStringLength = Record.size();
834 SmallString<8> String;
835 String.resize(MDStringLength);
836 for (unsigned i = 0; i != MDStringLength; ++i)
837 String[i] = Record[i];
Daniel Dunbara279bc32009-09-20 02:20:51 +0000838 Value *V = MDString::get(Context,
Owen Anderson647e3012009-07-31 21:35:40 +0000839 StringRef(String.data(), String.size()));
Devang Patel23598502010-01-11 18:52:33 +0000840 MDValueList.AssignValue(V, NextMDValueNo++);
Devang Patele54abc92009-07-22 17:43:22 +0000841 break;
842 }
Devang Patele8e02132009-09-18 19:26:43 +0000843 case bitc::METADATA_KIND: {
844 unsigned RecordLength = Record.size();
845 if (Record.empty() || RecordLength < 2)
Daniel Dunbara279bc32009-09-20 02:20:51 +0000846 return Error("Invalid METADATA_KIND record");
Devang Patele8e02132009-09-18 19:26:43 +0000847 SmallString<8> Name;
848 Name.resize(RecordLength-1);
Devang Patela2148402009-09-28 21:14:55 +0000849 unsigned Kind = Record[0];
Devang Patele8e02132009-09-18 19:26:43 +0000850 for (unsigned i = 1; i != RecordLength; ++i)
Daniel Dunbara279bc32009-09-20 02:20:51 +0000851 Name[i-1] = Record[i];
Chris Lattner0eb41982009-12-28 20:45:51 +0000852
Chris Lattner08113472009-12-29 09:01:33 +0000853 unsigned NewKind = TheModule->getMDKindID(Name.str());
Dan Gohman19538d12010-07-20 21:42:28 +0000854 if (!MDKindMap.insert(std::make_pair(Kind, NewKind)).second)
855 return Error("Conflicting METADATA_KIND records");
Devang Patele8e02132009-09-18 19:26:43 +0000856 break;
857 }
Devang Patele54abc92009-07-22 17:43:22 +0000858 }
859 }
860}
861
Chris Lattner0eef0802007-04-24 04:04:35 +0000862/// DecodeSignRotatedValue - Decode a signed value stored with the sign bit in
863/// the LSB for dense VBR encoding.
864static uint64_t DecodeSignRotatedValue(uint64_t V) {
865 if ((V & 1) == 0)
866 return V >> 1;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000867 if (V != 1)
Chris Lattner0eef0802007-04-24 04:04:35 +0000868 return -(V >> 1);
869 // There is no such thing as -0 with integers. "-0" really means MININT.
870 return 1ULL << 63;
871}
872
Chris Lattner07d98b42007-04-26 02:46:40 +0000873/// ResolveGlobalAndAliasInits - Resolve all of the initializers for global
874/// values and aliases that we can.
875bool BitcodeReader::ResolveGlobalAndAliasInits() {
876 std::vector<std::pair<GlobalVariable*, unsigned> > GlobalInitWorklist;
877 std::vector<std::pair<GlobalAlias*, unsigned> > AliasInitWorklist;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000878
Chris Lattner07d98b42007-04-26 02:46:40 +0000879 GlobalInitWorklist.swap(GlobalInits);
880 AliasInitWorklist.swap(AliasInits);
881
882 while (!GlobalInitWorklist.empty()) {
Chris Lattner198f34a2007-04-26 03:27:58 +0000883 unsigned ValID = GlobalInitWorklist.back().second;
Chris Lattner07d98b42007-04-26 02:46:40 +0000884 if (ValID >= ValueList.size()) {
885 // Not ready to resolve this yet, it requires something later in the file.
Chris Lattner198f34a2007-04-26 03:27:58 +0000886 GlobalInits.push_back(GlobalInitWorklist.back());
Chris Lattner07d98b42007-04-26 02:46:40 +0000887 } else {
888 if (Constant *C = dyn_cast<Constant>(ValueList[ValID]))
889 GlobalInitWorklist.back().first->setInitializer(C);
890 else
891 return Error("Global variable initializer is not a constant!");
892 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000893 GlobalInitWorklist.pop_back();
Chris Lattner07d98b42007-04-26 02:46:40 +0000894 }
895
896 while (!AliasInitWorklist.empty()) {
897 unsigned ValID = AliasInitWorklist.back().second;
898 if (ValID >= ValueList.size()) {
899 AliasInits.push_back(AliasInitWorklist.back());
900 } else {
901 if (Constant *C = dyn_cast<Constant>(ValueList[ValID]))
Anton Korobeynikov7dde0ff2007-04-28 14:57:59 +0000902 AliasInitWorklist.back().first->setAliasee(C);
Chris Lattner07d98b42007-04-26 02:46:40 +0000903 else
904 return Error("Alias initializer is not a constant!");
905 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000906 AliasInitWorklist.pop_back();
Chris Lattner07d98b42007-04-26 02:46:40 +0000907 }
908 return false;
909}
910
Chris Lattner86697142007-05-01 05:01:34 +0000911bool BitcodeReader::ParseConstants() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000912 if (Stream.EnterSubBlock(bitc::CONSTANTS_BLOCK_ID))
Chris Lattnere16504e2007-04-24 03:30:34 +0000913 return Error("Malformed block record");
914
915 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000916
Chris Lattnere16504e2007-04-24 03:30:34 +0000917 // Read all the records for this value table.
Owen Anderson1d0be152009-08-13 21:58:54 +0000918 const Type *CurTy = Type::getInt32Ty(Context);
Chris Lattner522b7b12007-04-24 05:48:56 +0000919 unsigned NextCstNo = ValueList.size();
Chris Lattnere16504e2007-04-24 03:30:34 +0000920 while (1) {
921 unsigned Code = Stream.ReadCode();
Chris Lattnerea693df2008-08-21 02:34:16 +0000922 if (Code == bitc::END_BLOCK)
923 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000924
Chris Lattnere16504e2007-04-24 03:30:34 +0000925 if (Code == bitc::ENTER_SUBBLOCK) {
926 // No known subblocks, always skip them.
927 Stream.ReadSubBlockID();
928 if (Stream.SkipBlock())
929 return Error("Malformed block record");
930 continue;
931 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000932
Chris Lattnere16504e2007-04-24 03:30:34 +0000933 if (Code == bitc::DEFINE_ABBREV) {
934 Stream.ReadAbbrevRecord();
935 continue;
936 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000937
Chris Lattnere16504e2007-04-24 03:30:34 +0000938 // Read a record.
939 Record.clear();
940 Value *V = 0;
Dan Gohman1224c382009-07-20 21:19:07 +0000941 unsigned BitCode = Stream.ReadRecord(Code, Record);
942 switch (BitCode) {
Chris Lattnere16504e2007-04-24 03:30:34 +0000943 default: // Default behavior: unknown constant
944 case bitc::CST_CODE_UNDEF: // UNDEF
Owen Anderson9e9a0d52009-07-30 23:03:37 +0000945 V = UndefValue::get(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +0000946 break;
947 case bitc::CST_CODE_SETTYPE: // SETTYPE: [typeid]
948 if (Record.empty())
949 return Error("Malformed CST_SETTYPE record");
950 if (Record[0] >= TypeList.size())
951 return Error("Invalid Type ID in CST_SETTYPE record");
952 CurTy = TypeList[Record[0]];
Chris Lattner0eef0802007-04-24 04:04:35 +0000953 continue; // Skip the ValueList manipulation.
Chris Lattnere16504e2007-04-24 03:30:34 +0000954 case bitc::CST_CODE_NULL: // NULL
Owen Andersona7235ea2009-07-31 20:28:14 +0000955 V = Constant::getNullValue(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +0000956 break;
957 case bitc::CST_CODE_INTEGER: // INTEGER: [intval]
Duncan Sands1df98592010-02-16 11:11:14 +0000958 if (!CurTy->isIntegerTy() || Record.empty())
Chris Lattner0eef0802007-04-24 04:04:35 +0000959 return Error("Invalid CST_INTEGER record");
Owen Andersoneed707b2009-07-24 23:12:02 +0000960 V = ConstantInt::get(CurTy, DecodeSignRotatedValue(Record[0]));
Chris Lattner0eef0802007-04-24 04:04:35 +0000961 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000962 case bitc::CST_CODE_WIDE_INTEGER: {// WIDE_INTEGER: [n x intval]
Duncan Sands1df98592010-02-16 11:11:14 +0000963 if (!CurTy->isIntegerTy() || Record.empty())
Chris Lattner0eef0802007-04-24 04:04:35 +0000964 return Error("Invalid WIDE_INTEGER record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000965
Chris Lattner15e6d172007-05-04 19:11:41 +0000966 unsigned NumWords = Record.size();
Chris Lattner084a8442007-04-24 17:22:05 +0000967 SmallVector<uint64_t, 8> Words;
968 Words.resize(NumWords);
Chris Lattner0eef0802007-04-24 04:04:35 +0000969 for (unsigned i = 0; i != NumWords; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +0000970 Words[i] = DecodeSignRotatedValue(Record[i]);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000971 V = ConstantInt::get(Context,
Owen Andersoneed707b2009-07-24 23:12:02 +0000972 APInt(cast<IntegerType>(CurTy)->getBitWidth(),
973 NumWords, &Words[0]));
Chris Lattner0eef0802007-04-24 04:04:35 +0000974 break;
975 }
Dale Johannesen3f6eb742007-09-11 18:32:33 +0000976 case bitc::CST_CODE_FLOAT: { // FLOAT: [fpval]
Chris Lattner0eef0802007-04-24 04:04:35 +0000977 if (Record.empty())
978 return Error("Invalid FLOAT record");
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000979 if (CurTy->isFloatTy())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000980 V = ConstantFP::get(Context, APFloat(APInt(32, (uint32_t)Record[0])));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000981 else if (CurTy->isDoubleTy())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000982 V = ConstantFP::get(Context, APFloat(APInt(64, Record[0])));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000983 else if (CurTy->isX86_FP80Ty()) {
Dale Johannesen1b25cb22009-03-23 21:16:53 +0000984 // Bits are not stored the same way as a normal i80 APInt, compensate.
985 uint64_t Rearrange[2];
986 Rearrange[0] = (Record[1] & 0xffffLL) | (Record[0] << 16);
987 Rearrange[1] = Record[0] >> 48;
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000988 V = ConstantFP::get(Context, APFloat(APInt(80, 2, Rearrange)));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000989 } else if (CurTy->isFP128Ty())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000990 V = ConstantFP::get(Context, APFloat(APInt(128, 2, &Record[0]), true));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000991 else if (CurTy->isPPC_FP128Ty())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000992 V = ConstantFP::get(Context, APFloat(APInt(128, 2, &Record[0])));
Chris Lattnere16504e2007-04-24 03:30:34 +0000993 else
Owen Anderson9e9a0d52009-07-30 23:03:37 +0000994 V = UndefValue::get(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +0000995 break;
Dale Johannesen3f6eb742007-09-11 18:32:33 +0000996 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000997
Chris Lattner15e6d172007-05-04 19:11:41 +0000998 case bitc::CST_CODE_AGGREGATE: {// AGGREGATE: [n x value number]
999 if (Record.empty())
Chris Lattner522b7b12007-04-24 05:48:56 +00001000 return Error("Invalid CST_AGGREGATE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001001
Chris Lattner15e6d172007-05-04 19:11:41 +00001002 unsigned Size = Record.size();
Chris Lattner522b7b12007-04-24 05:48:56 +00001003 std::vector<Constant*> Elts;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001004
Chris Lattner522b7b12007-04-24 05:48:56 +00001005 if (const StructType *STy = dyn_cast<StructType>(CurTy)) {
1006 for (unsigned i = 0; i != Size; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +00001007 Elts.push_back(ValueList.getConstantFwdRef(Record[i],
Chris Lattner522b7b12007-04-24 05:48:56 +00001008 STy->getElementType(i)));
Owen Anderson8fa33382009-07-27 22:29:26 +00001009 V = ConstantStruct::get(STy, Elts);
Chris Lattner522b7b12007-04-24 05:48:56 +00001010 } else if (const ArrayType *ATy = dyn_cast<ArrayType>(CurTy)) {
1011 const Type *EltTy = ATy->getElementType();
1012 for (unsigned i = 0; i != Size; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +00001013 Elts.push_back(ValueList.getConstantFwdRef(Record[i], EltTy));
Owen Anderson1fd70962009-07-28 18:32:17 +00001014 V = ConstantArray::get(ATy, Elts);
Chris Lattner522b7b12007-04-24 05:48:56 +00001015 } else if (const VectorType *VTy = dyn_cast<VectorType>(CurTy)) {
1016 const Type *EltTy = VTy->getElementType();
1017 for (unsigned i = 0; i != Size; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +00001018 Elts.push_back(ValueList.getConstantFwdRef(Record[i], EltTy));
Owen Andersonaf7ec972009-07-28 21:19:26 +00001019 V = ConstantVector::get(Elts);
Chris Lattner522b7b12007-04-24 05:48:56 +00001020 } else {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001021 V = UndefValue::get(CurTy);
Chris Lattner522b7b12007-04-24 05:48:56 +00001022 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001023 break;
1024 }
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001025 case bitc::CST_CODE_STRING: { // STRING: [values]
1026 if (Record.empty())
1027 return Error("Invalid CST_AGGREGATE record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001028
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001029 const ArrayType *ATy = cast<ArrayType>(CurTy);
1030 const Type *EltTy = ATy->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001031
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001032 unsigned Size = Record.size();
1033 std::vector<Constant*> Elts;
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001034 for (unsigned i = 0; i != Size; ++i)
Owen Andersoneed707b2009-07-24 23:12:02 +00001035 Elts.push_back(ConstantInt::get(EltTy, Record[i]));
Owen Anderson1fd70962009-07-28 18:32:17 +00001036 V = ConstantArray::get(ATy, Elts);
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001037 break;
1038 }
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001039 case bitc::CST_CODE_CSTRING: { // CSTRING: [values]
1040 if (Record.empty())
1041 return Error("Invalid CST_AGGREGATE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001042
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001043 const ArrayType *ATy = cast<ArrayType>(CurTy);
1044 const Type *EltTy = ATy->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001045
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001046 unsigned Size = Record.size();
1047 std::vector<Constant*> Elts;
1048 for (unsigned i = 0; i != Size; ++i)
Owen Andersoneed707b2009-07-24 23:12:02 +00001049 Elts.push_back(ConstantInt::get(EltTy, Record[i]));
Owen Andersona7235ea2009-07-31 20:28:14 +00001050 Elts.push_back(Constant::getNullValue(EltTy));
Owen Anderson1fd70962009-07-28 18:32:17 +00001051 V = ConstantArray::get(ATy, Elts);
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001052 break;
1053 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001054 case bitc::CST_CODE_CE_BINOP: { // CE_BINOP: [opcode, opval, opval]
1055 if (Record.size() < 3) return Error("Invalid CE_BINOP record");
1056 int Opc = GetDecodedBinaryOpcode(Record[0], CurTy);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001057 if (Opc < 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001058 V = UndefValue::get(CurTy); // Unknown binop.
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001059 } else {
1060 Constant *LHS = ValueList.getConstantFwdRef(Record[1], CurTy);
1061 Constant *RHS = ValueList.getConstantFwdRef(Record[2], CurTy);
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001062 unsigned Flags = 0;
1063 if (Record.size() >= 4) {
1064 if (Opc == Instruction::Add ||
1065 Opc == Instruction::Sub ||
Chris Lattnerf067d582011-02-07 16:40:21 +00001066 Opc == Instruction::Mul ||
1067 Opc == Instruction::Shl) {
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001068 if (Record[3] & (1 << bitc::OBO_NO_SIGNED_WRAP))
1069 Flags |= OverflowingBinaryOperator::NoSignedWrap;
1070 if (Record[3] & (1 << bitc::OBO_NO_UNSIGNED_WRAP))
1071 Flags |= OverflowingBinaryOperator::NoUnsignedWrap;
Chris Lattner35bda892011-02-06 21:44:57 +00001072 } else if (Opc == Instruction::SDiv ||
Chris Lattnerf067d582011-02-07 16:40:21 +00001073 Opc == Instruction::UDiv ||
1074 Opc == Instruction::LShr ||
1075 Opc == Instruction::AShr) {
Chris Lattner35bda892011-02-06 21:44:57 +00001076 if (Record[3] & (1 << bitc::PEO_EXACT))
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001077 Flags |= SDivOperator::IsExact;
1078 }
1079 }
1080 V = ConstantExpr::get(Opc, LHS, RHS, Flags);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001081 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001082 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001083 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001084 case bitc::CST_CODE_CE_CAST: { // CE_CAST: [opcode, opty, opval]
1085 if (Record.size() < 3) return Error("Invalid CE_CAST record");
1086 int Opc = GetDecodedCastOpcode(Record[0]);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001087 if (Opc < 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001088 V = UndefValue::get(CurTy); // Unknown cast.
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001089 } else {
1090 const Type *OpTy = getTypeByID(Record[1]);
Chris Lattnerbfcc3802007-05-06 07:33:01 +00001091 if (!OpTy) return Error("Invalid CE_CAST record");
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001092 Constant *Op = ValueList.getConstantFwdRef(Record[2], OpTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001093 V = ConstantExpr::getCast(Opc, Op, CurTy);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001094 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001095 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001096 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001097 case bitc::CST_CODE_CE_INBOUNDS_GEP:
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001098 case bitc::CST_CODE_CE_GEP: { // CE_GEP: [n x operands]
Chris Lattner15e6d172007-05-04 19:11:41 +00001099 if (Record.size() & 1) return Error("Invalid CE_GEP record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001100 SmallVector<Constant*, 16> Elts;
Chris Lattner15e6d172007-05-04 19:11:41 +00001101 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001102 const Type *ElTy = getTypeByID(Record[i]);
1103 if (!ElTy) return Error("Invalid CE_GEP record");
1104 Elts.push_back(ValueList.getConstantFwdRef(Record[i+1], ElTy));
1105 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001106 if (BitCode == bitc::CST_CODE_CE_INBOUNDS_GEP)
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001107 V = ConstantExpr::getInBoundsGetElementPtr(Elts[0], &Elts[1],
1108 Elts.size()-1);
1109 else
1110 V = ConstantExpr::getGetElementPtr(Elts[0], &Elts[1],
1111 Elts.size()-1);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001112 break;
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001113 }
1114 case bitc::CST_CODE_CE_SELECT: // CE_SELECT: [opval#, opval#, opval#]
1115 if (Record.size() < 3) return Error("Invalid CE_SELECT record");
Owen Andersonbaf3c402009-07-29 18:55:55 +00001116 V = ConstantExpr::getSelect(ValueList.getConstantFwdRef(Record[0],
Owen Anderson1d0be152009-08-13 21:58:54 +00001117 Type::getInt1Ty(Context)),
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001118 ValueList.getConstantFwdRef(Record[1],CurTy),
1119 ValueList.getConstantFwdRef(Record[2],CurTy));
1120 break;
1121 case bitc::CST_CODE_CE_EXTRACTELT: { // CE_EXTRACTELT: [opty, opval, opval]
1122 if (Record.size() < 3) return Error("Invalid CE_EXTRACTELT record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001123 const VectorType *OpTy =
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001124 dyn_cast_or_null<VectorType>(getTypeByID(Record[0]));
1125 if (OpTy == 0) return Error("Invalid CE_EXTRACTELT record");
1126 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
Owen Anderson1d0be152009-08-13 21:58:54 +00001127 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], Type::getInt32Ty(Context));
Owen Andersonbaf3c402009-07-29 18:55:55 +00001128 V = ConstantExpr::getExtractElement(Op0, Op1);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001129 break;
1130 }
1131 case bitc::CST_CODE_CE_INSERTELT: { // CE_INSERTELT: [opval, opval, opval]
1132 const VectorType *OpTy = dyn_cast<VectorType>(CurTy);
1133 if (Record.size() < 3 || OpTy == 0)
1134 return Error("Invalid CE_INSERTELT record");
1135 Constant *Op0 = ValueList.getConstantFwdRef(Record[0], OpTy);
1136 Constant *Op1 = ValueList.getConstantFwdRef(Record[1],
1137 OpTy->getElementType());
Owen Anderson1d0be152009-08-13 21:58:54 +00001138 Constant *Op2 = ValueList.getConstantFwdRef(Record[2], Type::getInt32Ty(Context));
Owen Andersonbaf3c402009-07-29 18:55:55 +00001139 V = ConstantExpr::getInsertElement(Op0, Op1, Op2);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001140 break;
1141 }
1142 case bitc::CST_CODE_CE_SHUFFLEVEC: { // CE_SHUFFLEVEC: [opval, opval, opval]
1143 const VectorType *OpTy = dyn_cast<VectorType>(CurTy);
1144 if (Record.size() < 3 || OpTy == 0)
Nate Begeman0f123cf2009-02-12 21:28:33 +00001145 return Error("Invalid CE_SHUFFLEVEC record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001146 Constant *Op0 = ValueList.getConstantFwdRef(Record[0], OpTy);
1147 Constant *Op1 = ValueList.getConstantFwdRef(Record[1], OpTy);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001148 const Type *ShufTy = VectorType::get(Type::getInt32Ty(Context),
Owen Anderson74a77812009-07-07 20:18:58 +00001149 OpTy->getNumElements());
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001150 Constant *Op2 = ValueList.getConstantFwdRef(Record[2], ShufTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001151 V = ConstantExpr::getShuffleVector(Op0, Op1, Op2);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001152 break;
1153 }
Nate Begeman0f123cf2009-02-12 21:28:33 +00001154 case bitc::CST_CODE_CE_SHUFVEC_EX: { // [opty, opval, opval, opval]
1155 const VectorType *RTy = dyn_cast<VectorType>(CurTy);
Duncan Sandsf22b7462010-10-28 15:47:26 +00001156 const VectorType *OpTy =
1157 dyn_cast_or_null<VectorType>(getTypeByID(Record[0]));
Nate Begeman0f123cf2009-02-12 21:28:33 +00001158 if (Record.size() < 4 || RTy == 0 || OpTy == 0)
1159 return Error("Invalid CE_SHUFVEC_EX record");
1160 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
1161 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], OpTy);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001162 const Type *ShufTy = VectorType::get(Type::getInt32Ty(Context),
Owen Anderson74a77812009-07-07 20:18:58 +00001163 RTy->getNumElements());
Nate Begeman0f123cf2009-02-12 21:28:33 +00001164 Constant *Op2 = ValueList.getConstantFwdRef(Record[3], ShufTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001165 V = ConstantExpr::getShuffleVector(Op0, Op1, Op2);
Nate Begeman0f123cf2009-02-12 21:28:33 +00001166 break;
1167 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001168 case bitc::CST_CODE_CE_CMP: { // CE_CMP: [opty, opval, opval, pred]
1169 if (Record.size() < 4) return Error("Invalid CE_CMP record");
1170 const Type *OpTy = getTypeByID(Record[0]);
1171 if (OpTy == 0) return Error("Invalid CE_CMP record");
1172 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
1173 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], OpTy);
1174
Duncan Sandsb0bc6c32010-02-15 16:12:20 +00001175 if (OpTy->isFPOrFPVectorTy())
Owen Andersonbaf3c402009-07-29 18:55:55 +00001176 V = ConstantExpr::getFCmp(Record[3], Op0, Op1);
Nate Begemanac80ade2008-05-12 19:01:56 +00001177 else
Owen Andersonbaf3c402009-07-29 18:55:55 +00001178 V = ConstantExpr::getICmp(Record[3], Op0, Op1);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001179 break;
Chris Lattner522b7b12007-04-24 05:48:56 +00001180 }
Chris Lattner2bce93a2007-05-06 01:58:20 +00001181 case bitc::CST_CODE_INLINEASM: {
1182 if (Record.size() < 2) return Error("Invalid INLINEASM record");
1183 std::string AsmStr, ConstrStr;
Dale Johannesen43602982009-10-13 20:46:56 +00001184 bool HasSideEffects = Record[0] & 1;
Dale Johannesen8ba2d5b2009-10-21 23:28:00 +00001185 bool IsAlignStack = Record[0] >> 1;
Chris Lattner2bce93a2007-05-06 01:58:20 +00001186 unsigned AsmStrSize = Record[1];
1187 if (2+AsmStrSize >= Record.size())
1188 return Error("Invalid INLINEASM record");
1189 unsigned ConstStrSize = Record[2+AsmStrSize];
1190 if (3+AsmStrSize+ConstStrSize > Record.size())
1191 return Error("Invalid INLINEASM record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001192
Chris Lattner2bce93a2007-05-06 01:58:20 +00001193 for (unsigned i = 0; i != AsmStrSize; ++i)
1194 AsmStr += (char)Record[2+i];
1195 for (unsigned i = 0; i != ConstStrSize; ++i)
1196 ConstrStr += (char)Record[3+AsmStrSize+i];
1197 const PointerType *PTy = cast<PointerType>(CurTy);
1198 V = InlineAsm::get(cast<FunctionType>(PTy->getElementType()),
Dale Johannesen8ba2d5b2009-10-21 23:28:00 +00001199 AsmStr, ConstrStr, HasSideEffects, IsAlignStack);
Chris Lattner2bce93a2007-05-06 01:58:20 +00001200 break;
1201 }
Chris Lattner50b136d2009-10-28 05:53:48 +00001202 case bitc::CST_CODE_BLOCKADDRESS:{
1203 if (Record.size() < 3) return Error("Invalid CE_BLOCKADDRESS record");
1204 const Type *FnTy = getTypeByID(Record[0]);
1205 if (FnTy == 0) return Error("Invalid CE_BLOCKADDRESS record");
1206 Function *Fn =
1207 dyn_cast_or_null<Function>(ValueList.getConstantFwdRef(Record[1],FnTy));
1208 if (Fn == 0) return Error("Invalid CE_BLOCKADDRESS record");
1209
1210 GlobalVariable *FwdRef = new GlobalVariable(*Fn->getParent(),
1211 Type::getInt8Ty(Context),
1212 false, GlobalValue::InternalLinkage,
1213 0, "");
1214 BlockAddrFwdRefs[Fn].push_back(std::make_pair(Record[2], FwdRef));
1215 V = FwdRef;
1216 break;
1217 }
Chris Lattnere16504e2007-04-24 03:30:34 +00001218 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001219
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001220 ValueList.AssignValue(V, NextCstNo);
Chris Lattner522b7b12007-04-24 05:48:56 +00001221 ++NextCstNo;
Chris Lattnere16504e2007-04-24 03:30:34 +00001222 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001223
Chris Lattnerea693df2008-08-21 02:34:16 +00001224 if (NextCstNo != ValueList.size())
1225 return Error("Invalid constant reference!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001226
Chris Lattnerea693df2008-08-21 02:34:16 +00001227 if (Stream.ReadBlockEnd())
1228 return Error("Error at end of constants block");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001229
Chris Lattnerea693df2008-08-21 02:34:16 +00001230 // Once all the constants have been read, go through and resolve forward
1231 // references.
1232 ValueList.ResolveConstantForwardRefs();
1233 return false;
Chris Lattnere16504e2007-04-24 03:30:34 +00001234}
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001235
Chris Lattner980e5aa2007-05-01 05:52:21 +00001236/// RememberAndSkipFunctionBody - When we see the block for a function body,
1237/// remember where it is and then skip it. This lets us lazily deserialize the
1238/// functions.
1239bool BitcodeReader::RememberAndSkipFunctionBody() {
Chris Lattner48f84872007-05-01 04:59:48 +00001240 // Get the function we are talking about.
1241 if (FunctionsWithBodies.empty())
1242 return Error("Insufficient function protos");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001243
Chris Lattner48f84872007-05-01 04:59:48 +00001244 Function *Fn = FunctionsWithBodies.back();
1245 FunctionsWithBodies.pop_back();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001246
Chris Lattner48f84872007-05-01 04:59:48 +00001247 // Save the current stream state.
1248 uint64_t CurBit = Stream.GetCurrentBitNo();
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00001249 DeferredFunctionInfo[Fn] = CurBit;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001250
Chris Lattner48f84872007-05-01 04:59:48 +00001251 // Skip over the function block for now.
1252 if (Stream.SkipBlock())
1253 return Error("Malformed block record");
1254 return false;
1255}
1256
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00001257bool BitcodeReader::ParseModule() {
Chris Lattnere17b6582007-05-05 00:17:00 +00001258 if (Stream.EnterSubBlock(bitc::MODULE_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001259 return Error("Malformed block record");
1260
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001261 SmallVector<uint64_t, 64> Record;
1262 std::vector<std::string> SectionTable;
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001263 std::vector<std::string> GCTable;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001264
1265 // Read all the records for this module.
1266 while (!Stream.AtEndOfStream()) {
1267 unsigned Code = Stream.ReadCode();
Chris Lattnere84bcb92007-04-24 00:21:45 +00001268 if (Code == bitc::END_BLOCK) {
Chris Lattner980e5aa2007-05-01 05:52:21 +00001269 if (Stream.ReadBlockEnd())
1270 return Error("Error at end of module block");
1271
1272 // Patch the initializers for globals and aliases up.
Chris Lattner07d98b42007-04-26 02:46:40 +00001273 ResolveGlobalAndAliasInits();
1274 if (!GlobalInits.empty() || !AliasInits.empty())
Chris Lattnere84bcb92007-04-24 00:21:45 +00001275 return Error("Malformed global initializer set");
Chris Lattner48f84872007-05-01 04:59:48 +00001276 if (!FunctionsWithBodies.empty())
1277 return Error("Too few function bodies found");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001278
Chandler Carruth69940402007-08-04 01:51:18 +00001279 // Look for intrinsic functions which need to be upgraded at some point
1280 for (Module::iterator FI = TheModule->begin(), FE = TheModule->end();
1281 FI != FE; ++FI) {
Evan Chengf9b83fc2007-12-17 22:33:23 +00001282 Function* NewFn;
1283 if (UpgradeIntrinsicFunction(FI, NewFn))
Chandler Carruth69940402007-08-04 01:51:18 +00001284 UpgradedIntrinsics.push_back(std::make_pair(FI, NewFn));
1285 }
1286
Bill Wendlingde49f362010-09-10 18:51:56 +00001287 // Look for global variables which need to be renamed.
1288 for (Module::global_iterator
1289 GI = TheModule->global_begin(), GE = TheModule->global_end();
1290 GI != GE; ++GI)
1291 UpgradeGlobalVariable(GI);
1292
Chris Lattner980e5aa2007-05-01 05:52:21 +00001293 // Force deallocation of memory for these vectors to favor the client that
1294 // want lazy deserialization.
1295 std::vector<std::pair<GlobalVariable*, unsigned> >().swap(GlobalInits);
1296 std::vector<std::pair<GlobalAlias*, unsigned> >().swap(AliasInits);
1297 std::vector<Function*>().swap(FunctionsWithBodies);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001298 return false;
Chris Lattnere84bcb92007-04-24 00:21:45 +00001299 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001300
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001301 if (Code == bitc::ENTER_SUBBLOCK) {
1302 switch (Stream.ReadSubBlockID()) {
1303 default: // Skip unknown content.
1304 if (Stream.SkipBlock())
1305 return Error("Malformed block record");
1306 break;
Chris Lattner3f799802007-05-05 18:57:30 +00001307 case bitc::BLOCKINFO_BLOCK_ID:
1308 if (Stream.ReadBlockInfoBlock())
1309 return Error("Malformed BlockInfoBlock");
1310 break;
Chris Lattner48c85b82007-05-04 03:30:17 +00001311 case bitc::PARAMATTR_BLOCK_ID:
Devang Patel05988662008-09-25 21:00:45 +00001312 if (ParseAttributeBlock())
Chris Lattner48c85b82007-05-04 03:30:17 +00001313 return true;
1314 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001315 case bitc::TYPE_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001316 if (ParseTypeTable())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001317 return true;
1318 break;
1319 case bitc::TYPE_SYMTAB_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001320 if (ParseTypeSymbolTable())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001321 return true;
1322 break;
Chris Lattner0b2482a2007-04-23 21:26:05 +00001323 case bitc::VALUE_SYMTAB_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001324 if (ParseValueSymbolTable())
Chris Lattner0b2482a2007-04-23 21:26:05 +00001325 return true;
1326 break;
Chris Lattnere16504e2007-04-24 03:30:34 +00001327 case bitc::CONSTANTS_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001328 if (ParseConstants() || ResolveGlobalAndAliasInits())
Chris Lattnere16504e2007-04-24 03:30:34 +00001329 return true;
1330 break;
Devang Patele54abc92009-07-22 17:43:22 +00001331 case bitc::METADATA_BLOCK_ID:
1332 if (ParseMetadata())
1333 return true;
1334 break;
Chris Lattner48f84872007-05-01 04:59:48 +00001335 case bitc::FUNCTION_BLOCK_ID:
1336 // If this is the first function body we've seen, reverse the
1337 // FunctionsWithBodies list.
1338 if (!HasReversedFunctionsWithBodies) {
1339 std::reverse(FunctionsWithBodies.begin(), FunctionsWithBodies.end());
1340 HasReversedFunctionsWithBodies = true;
1341 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001342
Chris Lattner980e5aa2007-05-01 05:52:21 +00001343 if (RememberAndSkipFunctionBody())
Chris Lattner48f84872007-05-01 04:59:48 +00001344 return true;
1345 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001346 }
1347 continue;
1348 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001349
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001350 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +00001351 Stream.ReadAbbrevRecord();
1352 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001353 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001354
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001355 // Read a record.
1356 switch (Stream.ReadRecord(Code, Record)) {
1357 default: break; // Default behavior, ignore unknown content.
1358 case bitc::MODULE_CODE_VERSION: // VERSION: [version#]
1359 if (Record.size() < 1)
1360 return Error("Malformed MODULE_CODE_VERSION");
1361 // Only version #0 is supported so far.
1362 if (Record[0] != 0)
1363 return Error("Unknown bitstream version!");
1364 break;
Chris Lattner15e6d172007-05-04 19:11:41 +00001365 case bitc::MODULE_CODE_TRIPLE: { // TRIPLE: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001366 std::string S;
1367 if (ConvertToString(Record, 0, S))
1368 return Error("Invalid MODULE_CODE_TRIPLE record");
1369 TheModule->setTargetTriple(S);
1370 break;
1371 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001372 case bitc::MODULE_CODE_DATALAYOUT: { // DATALAYOUT: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001373 std::string S;
1374 if (ConvertToString(Record, 0, S))
1375 return Error("Invalid MODULE_CODE_DATALAYOUT record");
1376 TheModule->setDataLayout(S);
1377 break;
1378 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001379 case bitc::MODULE_CODE_ASM: { // ASM: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001380 std::string S;
1381 if (ConvertToString(Record, 0, S))
1382 return Error("Invalid MODULE_CODE_ASM record");
1383 TheModule->setModuleInlineAsm(S);
1384 break;
1385 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001386 case bitc::MODULE_CODE_DEPLIB: { // DEPLIB: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001387 std::string S;
1388 if (ConvertToString(Record, 0, S))
1389 return Error("Invalid MODULE_CODE_DEPLIB record");
1390 TheModule->addLibrary(S);
1391 break;
1392 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001393 case bitc::MODULE_CODE_SECTIONNAME: { // SECTIONNAME: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001394 std::string S;
1395 if (ConvertToString(Record, 0, S))
1396 return Error("Invalid MODULE_CODE_SECTIONNAME record");
1397 SectionTable.push_back(S);
1398 break;
1399 }
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001400 case bitc::MODULE_CODE_GCNAME: { // SECTIONNAME: [strchr x N]
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001401 std::string S;
1402 if (ConvertToString(Record, 0, S))
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001403 return Error("Invalid MODULE_CODE_GCNAME record");
1404 GCTable.push_back(S);
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001405 break;
1406 }
Christopher Lambfe63fb92007-12-11 08:59:05 +00001407 // GLOBALVAR: [pointer type, isconst, initid,
Rafael Espindolabea46262011-01-08 16:42:36 +00001408 // linkage, alignment, section, visibility, threadlocal,
1409 // unnamed_addr]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001410 case bitc::MODULE_CODE_GLOBALVAR: {
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001411 if (Record.size() < 6)
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001412 return Error("Invalid MODULE_CODE_GLOBALVAR record");
1413 const Type *Ty = getTypeByID(Record[0]);
Duncan Sandsf22b7462010-10-28 15:47:26 +00001414 if (!Ty) return Error("Invalid MODULE_CODE_GLOBALVAR record");
Duncan Sands1df98592010-02-16 11:11:14 +00001415 if (!Ty->isPointerTy())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001416 return Error("Global not a pointer type!");
Christopher Lambfe63fb92007-12-11 08:59:05 +00001417 unsigned AddressSpace = cast<PointerType>(Ty)->getAddressSpace();
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001418 Ty = cast<PointerType>(Ty)->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001419
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001420 bool isConstant = Record[1];
1421 GlobalValue::LinkageTypes Linkage = GetDecodedLinkage(Record[3]);
1422 unsigned Alignment = (1 << Record[4]) >> 1;
1423 std::string Section;
1424 if (Record[5]) {
1425 if (Record[5]-1 >= SectionTable.size())
1426 return Error("Invalid section ID");
1427 Section = SectionTable[Record[5]-1];
1428 }
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001429 GlobalValue::VisibilityTypes Visibility = GlobalValue::DefaultVisibility;
Chris Lattner5f32c012007-05-06 19:27:46 +00001430 if (Record.size() > 6)
1431 Visibility = GetDecodedVisibility(Record[6]);
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001432 bool isThreadLocal = false;
Chris Lattner5f32c012007-05-06 19:27:46 +00001433 if (Record.size() > 7)
1434 isThreadLocal = Record[7];
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001435
Rafael Espindolabea46262011-01-08 16:42:36 +00001436 bool UnnamedAddr = false;
1437 if (Record.size() > 8)
1438 UnnamedAddr = Record[8];
1439
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001440 GlobalVariable *NewGV =
Daniel Dunbara279bc32009-09-20 02:20:51 +00001441 new GlobalVariable(*TheModule, Ty, isConstant, Linkage, 0, "", 0,
Christopher Lambfe63fb92007-12-11 08:59:05 +00001442 isThreadLocal, AddressSpace);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001443 NewGV->setAlignment(Alignment);
1444 if (!Section.empty())
1445 NewGV->setSection(Section);
1446 NewGV->setVisibility(Visibility);
1447 NewGV->setThreadLocal(isThreadLocal);
Rafael Espindolabea46262011-01-08 16:42:36 +00001448 NewGV->setUnnamedAddr(UnnamedAddr);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001449
Chris Lattner0b2482a2007-04-23 21:26:05 +00001450 ValueList.push_back(NewGV);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001451
Chris Lattner6dbfd7b2007-04-24 00:18:21 +00001452 // Remember which value to use for the global initializer.
1453 if (unsigned InitID = Record[2])
1454 GlobalInits.push_back(std::make_pair(NewGV, InitID-1));
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001455 break;
1456 }
Chris Lattnera9bb7132007-05-08 05:38:01 +00001457 // FUNCTION: [type, callingconv, isproto, linkage, paramattr,
Rafael Espindolabea46262011-01-08 16:42:36 +00001458 // alignment, section, visibility, gc, unnamed_addr]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001459 case bitc::MODULE_CODE_FUNCTION: {
Chris Lattnera9bb7132007-05-08 05:38:01 +00001460 if (Record.size() < 8)
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001461 return Error("Invalid MODULE_CODE_FUNCTION record");
1462 const Type *Ty = getTypeByID(Record[0]);
Duncan Sandsf22b7462010-10-28 15:47:26 +00001463 if (!Ty) return Error("Invalid MODULE_CODE_FUNCTION record");
Duncan Sands1df98592010-02-16 11:11:14 +00001464 if (!Ty->isPointerTy())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001465 return Error("Function not a pointer type!");
1466 const FunctionType *FTy =
1467 dyn_cast<FunctionType>(cast<PointerType>(Ty)->getElementType());
1468 if (!FTy)
1469 return Error("Function not a pointer to function type!");
1470
Gabor Greif051a9502008-04-06 20:25:17 +00001471 Function *Func = Function::Create(FTy, GlobalValue::ExternalLinkage,
1472 "", TheModule);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001473
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00001474 Func->setCallingConv(static_cast<CallingConv::ID>(Record[1]));
Chris Lattner48f84872007-05-01 04:59:48 +00001475 bool isProto = Record[2];
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001476 Func->setLinkage(GetDecodedLinkage(Record[3]));
Devang Patel05988662008-09-25 21:00:45 +00001477 Func->setAttributes(getAttributes(Record[4]));
Daniel Dunbara279bc32009-09-20 02:20:51 +00001478
Chris Lattnera9bb7132007-05-08 05:38:01 +00001479 Func->setAlignment((1 << Record[5]) >> 1);
1480 if (Record[6]) {
1481 if (Record[6]-1 >= SectionTable.size())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001482 return Error("Invalid section ID");
Chris Lattnera9bb7132007-05-08 05:38:01 +00001483 Func->setSection(SectionTable[Record[6]-1]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001484 }
Chris Lattnera9bb7132007-05-08 05:38:01 +00001485 Func->setVisibility(GetDecodedVisibility(Record[7]));
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001486 if (Record.size() > 8 && Record[8]) {
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001487 if (Record[8]-1 > GCTable.size())
1488 return Error("Invalid GC ID");
1489 Func->setGC(GCTable[Record[8]-1].c_str());
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001490 }
Rafael Espindolabea46262011-01-08 16:42:36 +00001491 bool UnnamedAddr = false;
1492 if (Record.size() > 9)
1493 UnnamedAddr = Record[9];
1494 Func->setUnnamedAddr(UnnamedAddr);
Chris Lattner0b2482a2007-04-23 21:26:05 +00001495 ValueList.push_back(Func);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001496
Chris Lattner48f84872007-05-01 04:59:48 +00001497 // If this is a function with a body, remember the prototype we are
1498 // creating now, so that we can match up the body with them later.
1499 if (!isProto)
1500 FunctionsWithBodies.push_back(Func);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001501 break;
1502 }
Anton Korobeynikov91342d82008-03-12 00:49:19 +00001503 // ALIAS: [alias type, aliasee val#, linkage]
Anton Korobeynikovf8342b92008-03-11 21:40:17 +00001504 // ALIAS: [alias type, aliasee val#, linkage, visibility]
Chris Lattner198f34a2007-04-26 03:27:58 +00001505 case bitc::MODULE_CODE_ALIAS: {
Chris Lattner07d98b42007-04-26 02:46:40 +00001506 if (Record.size() < 3)
1507 return Error("Invalid MODULE_ALIAS record");
1508 const Type *Ty = getTypeByID(Record[0]);
Duncan Sandsf22b7462010-10-28 15:47:26 +00001509 if (!Ty) return Error("Invalid MODULE_ALIAS record");
Duncan Sands1df98592010-02-16 11:11:14 +00001510 if (!Ty->isPointerTy())
Chris Lattner07d98b42007-04-26 02:46:40 +00001511 return Error("Function not a pointer type!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001512
Chris Lattner07d98b42007-04-26 02:46:40 +00001513 GlobalAlias *NewGA = new GlobalAlias(Ty, GetDecodedLinkage(Record[2]),
1514 "", 0, TheModule);
Anton Korobeynikov91342d82008-03-12 00:49:19 +00001515 // Old bitcode files didn't have visibility field.
1516 if (Record.size() > 3)
1517 NewGA->setVisibility(GetDecodedVisibility(Record[3]));
Chris Lattner07d98b42007-04-26 02:46:40 +00001518 ValueList.push_back(NewGA);
1519 AliasInits.push_back(std::make_pair(NewGA, Record[1]));
1520 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001521 }
Chris Lattner198f34a2007-04-26 03:27:58 +00001522 /// MODULE_CODE_PURGEVALS: [numvals]
1523 case bitc::MODULE_CODE_PURGEVALS:
1524 // Trim down the value list to the specified size.
1525 if (Record.size() < 1 || Record[0] > ValueList.size())
1526 return Error("Invalid MODULE_PURGEVALS record");
1527 ValueList.shrinkTo(Record[0]);
1528 break;
1529 }
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001530 Record.clear();
1531 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001532
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001533 return Error("Premature end of bitstream");
1534}
1535
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00001536bool BitcodeReader::ParseBitcodeInto(Module *M) {
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001537 TheModule = 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001538
Chris Lattnerc453f762007-04-29 07:54:31 +00001539 unsigned char *BufPtr = (unsigned char *)Buffer->getBufferStart();
Chris Lattner6fa6a322008-07-09 05:14:23 +00001540 unsigned char *BufEnd = BufPtr+Buffer->getBufferSize();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001541
Dan Gohmana4ae3a12010-04-02 00:03:51 +00001542 if (Buffer->getBufferSize() & 3) {
1543 if (!isRawBitcode(BufPtr, BufEnd) && !isBitcodeWrapper(BufPtr, BufEnd))
1544 return Error("Invalid bitcode signature");
1545 else
1546 return Error("Bitcode stream should be a multiple of 4 bytes in length");
1547 }
1548
Chris Lattner6fa6a322008-07-09 05:14:23 +00001549 // If we have a wrapper header, parse it and ignore the non-bc file contents.
1550 // The magic number is 0x0B17C0DE stored in little endian.
Chris Lattnere2a466b2009-04-06 20:54:32 +00001551 if (isBitcodeWrapper(BufPtr, BufEnd))
1552 if (SkipBitcodeWrapperHeader(BufPtr, BufEnd))
Chris Lattner6fa6a322008-07-09 05:14:23 +00001553 return Error("Invalid bitcode wrapper header");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001554
Chris Lattner962dde32009-04-26 20:59:02 +00001555 StreamFile.init(BufPtr, BufEnd);
1556 Stream.init(StreamFile);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001557
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001558 // Sniff for the signature.
1559 if (Stream.Read(8) != 'B' ||
1560 Stream.Read(8) != 'C' ||
1561 Stream.Read(4) != 0x0 ||
1562 Stream.Read(4) != 0xC ||
1563 Stream.Read(4) != 0xE ||
1564 Stream.Read(4) != 0xD)
1565 return Error("Invalid bitcode signature");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001566
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001567 // We expect a number of well-defined blocks, though we don't necessarily
1568 // need to understand them all.
1569 while (!Stream.AtEndOfStream()) {
1570 unsigned Code = Stream.ReadCode();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001571
Rafael Espindolac9687b32011-05-26 18:59:54 +00001572 if (Code != bitc::ENTER_SUBBLOCK) {
1573
1574 // The ranlib in xcode 4 will align archive members by appending newlines to the
1575 // end of them. If this file size is a multiple of 4 but not 8, we have to read and
1576 // ignore these final 4 bytes :-(
1577 if (Stream.GetAbbrevIDWidth() == 2 && Code == 2 &&
1578 Stream.Read(6) == 2 && Stream.Read(24) == 0xa0a0a &&
1579 Stream.AtEndOfStream())
1580 return false;
1581
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001582 return Error("Invalid record at top-level");
Rafael Espindolac9687b32011-05-26 18:59:54 +00001583 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001584
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001585 unsigned BlockID = Stream.ReadSubBlockID();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001586
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001587 // We only know the MODULE subblock ID.
Chris Lattnere17b6582007-05-05 00:17:00 +00001588 switch (BlockID) {
1589 case bitc::BLOCKINFO_BLOCK_ID:
1590 if (Stream.ReadBlockInfoBlock())
1591 return Error("Malformed BlockInfoBlock");
1592 break;
1593 case bitc::MODULE_BLOCK_ID:
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00001594 // Reject multiple MODULE_BLOCK's in a single bitstream.
1595 if (TheModule)
1596 return Error("Multiple MODULE_BLOCKs in same stream");
1597 TheModule = M;
1598 if (ParseModule())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001599 return true;
Chris Lattnere17b6582007-05-05 00:17:00 +00001600 break;
1601 default:
1602 if (Stream.SkipBlock())
1603 return Error("Malformed block record");
1604 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001605 }
1606 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001607
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001608 return false;
1609}
Chris Lattnerc453f762007-04-29 07:54:31 +00001610
Bill Wendling34711742010-10-06 01:22:42 +00001611bool BitcodeReader::ParseModuleTriple(std::string &Triple) {
1612 if (Stream.EnterSubBlock(bitc::MODULE_BLOCK_ID))
1613 return Error("Malformed block record");
1614
1615 SmallVector<uint64_t, 64> Record;
1616
1617 // Read all the records for this module.
1618 while (!Stream.AtEndOfStream()) {
1619 unsigned Code = Stream.ReadCode();
1620 if (Code == bitc::END_BLOCK) {
1621 if (Stream.ReadBlockEnd())
1622 return Error("Error at end of module block");
1623
1624 return false;
1625 }
1626
1627 if (Code == bitc::ENTER_SUBBLOCK) {
1628 switch (Stream.ReadSubBlockID()) {
1629 default: // Skip unknown content.
1630 if (Stream.SkipBlock())
1631 return Error("Malformed block record");
1632 break;
1633 }
1634 continue;
1635 }
1636
1637 if (Code == bitc::DEFINE_ABBREV) {
1638 Stream.ReadAbbrevRecord();
1639 continue;
1640 }
1641
1642 // Read a record.
1643 switch (Stream.ReadRecord(Code, Record)) {
1644 default: break; // Default behavior, ignore unknown content.
1645 case bitc::MODULE_CODE_VERSION: // VERSION: [version#]
1646 if (Record.size() < 1)
1647 return Error("Malformed MODULE_CODE_VERSION");
1648 // Only version #0 is supported so far.
1649 if (Record[0] != 0)
1650 return Error("Unknown bitstream version!");
1651 break;
1652 case bitc::MODULE_CODE_TRIPLE: { // TRIPLE: [strchr x N]
1653 std::string S;
1654 if (ConvertToString(Record, 0, S))
1655 return Error("Invalid MODULE_CODE_TRIPLE record");
1656 Triple = S;
1657 break;
1658 }
1659 }
1660 Record.clear();
1661 }
1662
1663 return Error("Premature end of bitstream");
1664}
1665
1666bool BitcodeReader::ParseTriple(std::string &Triple) {
1667 if (Buffer->getBufferSize() & 3)
1668 return Error("Bitcode stream should be a multiple of 4 bytes in length");
1669
1670 unsigned char *BufPtr = (unsigned char *)Buffer->getBufferStart();
1671 unsigned char *BufEnd = BufPtr+Buffer->getBufferSize();
1672
1673 // If we have a wrapper header, parse it and ignore the non-bc file contents.
1674 // The magic number is 0x0B17C0DE stored in little endian.
1675 if (isBitcodeWrapper(BufPtr, BufEnd))
1676 if (SkipBitcodeWrapperHeader(BufPtr, BufEnd))
1677 return Error("Invalid bitcode wrapper header");
1678
1679 StreamFile.init(BufPtr, BufEnd);
1680 Stream.init(StreamFile);
1681
1682 // Sniff for the signature.
1683 if (Stream.Read(8) != 'B' ||
1684 Stream.Read(8) != 'C' ||
1685 Stream.Read(4) != 0x0 ||
1686 Stream.Read(4) != 0xC ||
1687 Stream.Read(4) != 0xE ||
1688 Stream.Read(4) != 0xD)
1689 return Error("Invalid bitcode signature");
1690
1691 // We expect a number of well-defined blocks, though we don't necessarily
1692 // need to understand them all.
1693 while (!Stream.AtEndOfStream()) {
1694 unsigned Code = Stream.ReadCode();
1695
1696 if (Code != bitc::ENTER_SUBBLOCK)
1697 return Error("Invalid record at top-level");
1698
1699 unsigned BlockID = Stream.ReadSubBlockID();
1700
1701 // We only know the MODULE subblock ID.
1702 switch (BlockID) {
1703 case bitc::MODULE_BLOCK_ID:
1704 if (ParseModuleTriple(Triple))
1705 return true;
1706 break;
1707 default:
1708 if (Stream.SkipBlock())
1709 return Error("Malformed block record");
1710 break;
1711 }
1712 }
1713
1714 return false;
1715}
1716
Devang Patele8e02132009-09-18 19:26:43 +00001717/// ParseMetadataAttachment - Parse metadata attachments.
1718bool BitcodeReader::ParseMetadataAttachment() {
1719 if (Stream.EnterSubBlock(bitc::METADATA_ATTACHMENT_ID))
1720 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001721
Devang Patele8e02132009-09-18 19:26:43 +00001722 SmallVector<uint64_t, 64> Record;
1723 while(1) {
1724 unsigned Code = Stream.ReadCode();
1725 if (Code == bitc::END_BLOCK) {
1726 if (Stream.ReadBlockEnd())
Daniel Dunbara279bc32009-09-20 02:20:51 +00001727 return Error("Error at end of PARAMATTR block");
Devang Patele8e02132009-09-18 19:26:43 +00001728 break;
1729 }
1730 if (Code == bitc::DEFINE_ABBREV) {
1731 Stream.ReadAbbrevRecord();
1732 continue;
1733 }
1734 // Read a metadata attachment record.
1735 Record.clear();
1736 switch (Stream.ReadRecord(Code, Record)) {
1737 default: // Default behavior: ignore.
1738 break;
Chris Lattner9d61dd92011-06-17 17:50:30 +00001739 case bitc::METADATA_ATTACHMENT: {
Devang Patele8e02132009-09-18 19:26:43 +00001740 unsigned RecordLength = Record.size();
1741 if (Record.empty() || (RecordLength - 1) % 2 == 1)
Daniel Dunbara279bc32009-09-20 02:20:51 +00001742 return Error ("Invalid METADATA_ATTACHMENT reader!");
Devang Patele8e02132009-09-18 19:26:43 +00001743 Instruction *Inst = InstructionList[Record[0]];
1744 for (unsigned i = 1; i != RecordLength; i = i+2) {
Devang Patela2148402009-09-28 21:14:55 +00001745 unsigned Kind = Record[i];
Dan Gohman19538d12010-07-20 21:42:28 +00001746 DenseMap<unsigned, unsigned>::iterator I =
1747 MDKindMap.find(Kind);
1748 if (I == MDKindMap.end())
1749 return Error("Invalid metadata kind ID");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001750 Value *Node = MDValueList.getValueFwdRef(Record[i+1]);
Dan Gohman19538d12010-07-20 21:42:28 +00001751 Inst->setMetadata(I->second, cast<MDNode>(Node));
Devang Patele8e02132009-09-18 19:26:43 +00001752 }
1753 break;
1754 }
1755 }
1756 }
1757 return false;
1758}
Chris Lattner48f84872007-05-01 04:59:48 +00001759
Chris Lattner980e5aa2007-05-01 05:52:21 +00001760/// ParseFunctionBody - Lazily parse the specified function body block.
1761bool BitcodeReader::ParseFunctionBody(Function *F) {
Chris Lattnere17b6582007-05-05 00:17:00 +00001762 if (Stream.EnterSubBlock(bitc::FUNCTION_BLOCK_ID))
Chris Lattner980e5aa2007-05-01 05:52:21 +00001763 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001764
Nick Lewycky9a49f152010-02-25 08:30:17 +00001765 InstructionList.clear();
Chris Lattner980e5aa2007-05-01 05:52:21 +00001766 unsigned ModuleValueListSize = ValueList.size();
Dan Gohman69813832010-08-25 20:22:53 +00001767 unsigned ModuleMDValueListSize = MDValueList.size();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001768
Chris Lattner980e5aa2007-05-01 05:52:21 +00001769 // Add all the function arguments to the value table.
1770 for(Function::arg_iterator I = F->arg_begin(), E = F->arg_end(); I != E; ++I)
1771 ValueList.push_back(I);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001772
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001773 unsigned NextValueNo = ValueList.size();
Chris Lattner231cbcb2007-05-02 04:27:25 +00001774 BasicBlock *CurBB = 0;
1775 unsigned CurBBNo = 0;
1776
Chris Lattnera6245242010-04-03 02:17:50 +00001777 DebugLoc LastLoc;
1778
Chris Lattner980e5aa2007-05-01 05:52:21 +00001779 // Read all the records.
1780 SmallVector<uint64_t, 64> Record;
1781 while (1) {
1782 unsigned Code = Stream.ReadCode();
1783 if (Code == bitc::END_BLOCK) {
1784 if (Stream.ReadBlockEnd())
1785 return Error("Error at end of function block");
1786 break;
1787 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001788
Chris Lattner980e5aa2007-05-01 05:52:21 +00001789 if (Code == bitc::ENTER_SUBBLOCK) {
1790 switch (Stream.ReadSubBlockID()) {
1791 default: // Skip unknown content.
1792 if (Stream.SkipBlock())
1793 return Error("Malformed block record");
1794 break;
1795 case bitc::CONSTANTS_BLOCK_ID:
1796 if (ParseConstants()) return true;
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001797 NextValueNo = ValueList.size();
Chris Lattner980e5aa2007-05-01 05:52:21 +00001798 break;
1799 case bitc::VALUE_SYMTAB_BLOCK_ID:
1800 if (ParseValueSymbolTable()) return true;
1801 break;
Devang Patele8e02132009-09-18 19:26:43 +00001802 case bitc::METADATA_ATTACHMENT_ID:
Daniel Dunbara279bc32009-09-20 02:20:51 +00001803 if (ParseMetadataAttachment()) return true;
1804 break;
Victor Hernandezfab9e99c2010-01-13 19:34:08 +00001805 case bitc::METADATA_BLOCK_ID:
1806 if (ParseMetadata()) return true;
1807 break;
Chris Lattner980e5aa2007-05-01 05:52:21 +00001808 }
1809 continue;
1810 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001811
Chris Lattner980e5aa2007-05-01 05:52:21 +00001812 if (Code == bitc::DEFINE_ABBREV) {
1813 Stream.ReadAbbrevRecord();
1814 continue;
1815 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001816
Chris Lattner980e5aa2007-05-01 05:52:21 +00001817 // Read a record.
1818 Record.clear();
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001819 Instruction *I = 0;
Dan Gohman1224c382009-07-20 21:19:07 +00001820 unsigned BitCode = Stream.ReadRecord(Code, Record);
1821 switch (BitCode) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001822 default: // Default behavior: reject
1823 return Error("Unknown instruction");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001824 case bitc::FUNC_CODE_DECLAREBLOCKS: // DECLAREBLOCKS: [nblocks]
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001825 if (Record.size() < 1 || Record[0] == 0)
1826 return Error("Invalid DECLAREBLOCKS record");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001827 // Create all the basic blocks for the function.
Chris Lattnerf61e6452007-05-03 22:09:51 +00001828 FunctionBBs.resize(Record[0]);
Chris Lattner980e5aa2007-05-01 05:52:21 +00001829 for (unsigned i = 0, e = FunctionBBs.size(); i != e; ++i)
Owen Anderson1d0be152009-08-13 21:58:54 +00001830 FunctionBBs[i] = BasicBlock::Create(Context, "", F);
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001831 CurBB = FunctionBBs[0];
1832 continue;
Chris Lattnera6245242010-04-03 02:17:50 +00001833
1834 case bitc::FUNC_CODE_DEBUG_LOC_AGAIN: // DEBUG_LOC_AGAIN
1835 // This record indicates that the last instruction is at the same
1836 // location as the previous instruction with a location.
1837 I = 0;
1838
1839 // Get the last instruction emitted.
1840 if (CurBB && !CurBB->empty())
1841 I = &CurBB->back();
1842 else if (CurBBNo && FunctionBBs[CurBBNo-1] &&
1843 !FunctionBBs[CurBBNo-1]->empty())
1844 I = &FunctionBBs[CurBBNo-1]->back();
1845
1846 if (I == 0) return Error("Invalid DEBUG_LOC_AGAIN record");
1847 I->setDebugLoc(LastLoc);
1848 I = 0;
1849 continue;
1850
Dan Gohman70c2fc02010-09-09 23:12:39 +00001851 case bitc::FUNC_CODE_DEBUG_LOC2: { // DEBUG_LOC: [line, col, scope, ia]
Chris Lattnera6245242010-04-03 02:17:50 +00001852 I = 0; // Get the last instruction emitted.
1853 if (CurBB && !CurBB->empty())
1854 I = &CurBB->back();
1855 else if (CurBBNo && FunctionBBs[CurBBNo-1] &&
1856 !FunctionBBs[CurBBNo-1]->empty())
1857 I = &FunctionBBs[CurBBNo-1]->back();
1858 if (I == 0 || Record.size() < 4)
1859 return Error("Invalid FUNC_CODE_DEBUG_LOC record");
1860
1861 unsigned Line = Record[0], Col = Record[1];
1862 unsigned ScopeID = Record[2], IAID = Record[3];
1863
1864 MDNode *Scope = 0, *IA = 0;
1865 if (ScopeID) Scope = cast<MDNode>(MDValueList.getValueFwdRef(ScopeID-1));
1866 if (IAID) IA = cast<MDNode>(MDValueList.getValueFwdRef(IAID-1));
1867 LastLoc = DebugLoc::get(Line, Col, Scope, IA);
1868 I->setDebugLoc(LastLoc);
1869 I = 0;
1870 continue;
1871 }
1872
Chris Lattnerabfbf852007-05-06 00:21:25 +00001873 case bitc::FUNC_CODE_INST_BINOP: { // BINOP: [opval, ty, opval, opcode]
1874 unsigned OpNum = 0;
1875 Value *LHS, *RHS;
1876 if (getValueTypePair(Record, OpNum, NextValueNo, LHS) ||
1877 getValue(Record, OpNum, LHS->getType(), RHS) ||
Dan Gohman1224c382009-07-20 21:19:07 +00001878 OpNum+1 > Record.size())
Chris Lattnerabfbf852007-05-06 00:21:25 +00001879 return Error("Invalid BINOP record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001880
Dan Gohman1224c382009-07-20 21:19:07 +00001881 int Opc = GetDecodedBinaryOpcode(Record[OpNum++], LHS->getType());
Chris Lattnerabfbf852007-05-06 00:21:25 +00001882 if (Opc == -1) return Error("Invalid BINOP record");
Gabor Greif7cbd8a32008-05-16 19:29:10 +00001883 I = BinaryOperator::Create((Instruction::BinaryOps)Opc, LHS, RHS);
Devang Patele8e02132009-09-18 19:26:43 +00001884 InstructionList.push_back(I);
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001885 if (OpNum < Record.size()) {
1886 if (Opc == Instruction::Add ||
1887 Opc == Instruction::Sub ||
Chris Lattnerf067d582011-02-07 16:40:21 +00001888 Opc == Instruction::Mul ||
1889 Opc == Instruction::Shl) {
Dan Gohman26793ed2010-01-25 21:55:39 +00001890 if (Record[OpNum] & (1 << bitc::OBO_NO_SIGNED_WRAP))
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001891 cast<BinaryOperator>(I)->setHasNoSignedWrap(true);
Dan Gohman26793ed2010-01-25 21:55:39 +00001892 if (Record[OpNum] & (1 << bitc::OBO_NO_UNSIGNED_WRAP))
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001893 cast<BinaryOperator>(I)->setHasNoUnsignedWrap(true);
Chris Lattner35bda892011-02-06 21:44:57 +00001894 } else if (Opc == Instruction::SDiv ||
Chris Lattnerf067d582011-02-07 16:40:21 +00001895 Opc == Instruction::UDiv ||
1896 Opc == Instruction::LShr ||
1897 Opc == Instruction::AShr) {
Chris Lattner35bda892011-02-06 21:44:57 +00001898 if (Record[OpNum] & (1 << bitc::PEO_EXACT))
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001899 cast<BinaryOperator>(I)->setIsExact(true);
1900 }
1901 }
Chris Lattner980e5aa2007-05-01 05:52:21 +00001902 break;
1903 }
Chris Lattnerabfbf852007-05-06 00:21:25 +00001904 case bitc::FUNC_CODE_INST_CAST: { // CAST: [opval, opty, destty, castopc]
1905 unsigned OpNum = 0;
1906 Value *Op;
1907 if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
1908 OpNum+2 != Record.size())
1909 return Error("Invalid CAST record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001910
Chris Lattnerabfbf852007-05-06 00:21:25 +00001911 const Type *ResTy = getTypeByID(Record[OpNum]);
1912 int Opc = GetDecodedCastOpcode(Record[OpNum+1]);
1913 if (Opc == -1 || ResTy == 0)
Chris Lattner231cbcb2007-05-02 04:27:25 +00001914 return Error("Invalid CAST record");
Gabor Greif7cbd8a32008-05-16 19:29:10 +00001915 I = CastInst::Create((Instruction::CastOps)Opc, Op, ResTy);
Devang Patele8e02132009-09-18 19:26:43 +00001916 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00001917 break;
1918 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001919 case bitc::FUNC_CODE_INST_INBOUNDS_GEP:
Chris Lattner15e6d172007-05-04 19:11:41 +00001920 case bitc::FUNC_CODE_INST_GEP: { // GEP: [n x operands]
Chris Lattner7337ab92007-05-06 00:00:00 +00001921 unsigned OpNum = 0;
1922 Value *BasePtr;
1923 if (getValueTypePair(Record, OpNum, NextValueNo, BasePtr))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001924 return Error("Invalid GEP record");
1925
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001926 SmallVector<Value*, 16> GEPIdx;
Chris Lattner7337ab92007-05-06 00:00:00 +00001927 while (OpNum != Record.size()) {
1928 Value *Op;
1929 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001930 return Error("Invalid GEP record");
Chris Lattner7337ab92007-05-06 00:00:00 +00001931 GEPIdx.push_back(Op);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001932 }
1933
Gabor Greif051a9502008-04-06 20:25:17 +00001934 I = GetElementPtrInst::Create(BasePtr, GEPIdx.begin(), GEPIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001935 InstructionList.push_back(I);
Dan Gohmandd8004d2009-07-27 21:53:46 +00001936 if (BitCode == bitc::FUNC_CODE_INST_INBOUNDS_GEP)
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001937 cast<GetElementPtrInst>(I)->setIsInBounds(true);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001938 break;
1939 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001940
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001941 case bitc::FUNC_CODE_INST_EXTRACTVAL: {
1942 // EXTRACTVAL: [opty, opval, n x indices]
Dan Gohmane4977cf2008-05-23 01:55:30 +00001943 unsigned OpNum = 0;
1944 Value *Agg;
1945 if (getValueTypePair(Record, OpNum, NextValueNo, Agg))
1946 return Error("Invalid EXTRACTVAL record");
1947
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001948 SmallVector<unsigned, 4> EXTRACTVALIdx;
1949 for (unsigned RecSize = Record.size();
1950 OpNum != RecSize; ++OpNum) {
1951 uint64_t Index = Record[OpNum];
1952 if ((unsigned)Index != Index)
1953 return Error("Invalid EXTRACTVAL index");
1954 EXTRACTVALIdx.push_back((unsigned)Index);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001955 }
1956
1957 I = ExtractValueInst::Create(Agg,
1958 EXTRACTVALIdx.begin(), EXTRACTVALIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001959 InstructionList.push_back(I);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001960 break;
1961 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001962
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001963 case bitc::FUNC_CODE_INST_INSERTVAL: {
1964 // INSERTVAL: [opty, opval, opty, opval, n x indices]
Dan Gohmane4977cf2008-05-23 01:55:30 +00001965 unsigned OpNum = 0;
1966 Value *Agg;
1967 if (getValueTypePair(Record, OpNum, NextValueNo, Agg))
1968 return Error("Invalid INSERTVAL record");
1969 Value *Val;
1970 if (getValueTypePair(Record, OpNum, NextValueNo, Val))
1971 return Error("Invalid INSERTVAL record");
1972
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001973 SmallVector<unsigned, 4> INSERTVALIdx;
1974 for (unsigned RecSize = Record.size();
1975 OpNum != RecSize; ++OpNum) {
1976 uint64_t Index = Record[OpNum];
1977 if ((unsigned)Index != Index)
1978 return Error("Invalid INSERTVAL index");
1979 INSERTVALIdx.push_back((unsigned)Index);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001980 }
1981
1982 I = InsertValueInst::Create(Agg, Val,
1983 INSERTVALIdx.begin(), INSERTVALIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001984 InstructionList.push_back(I);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001985 break;
1986 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001987
Chris Lattnerabfbf852007-05-06 00:21:25 +00001988 case bitc::FUNC_CODE_INST_SELECT: { // SELECT: [opval, ty, opval, opval]
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001989 // obsolete form of select
1990 // handles select i1 ... in old bitcode
Chris Lattnerabfbf852007-05-06 00:21:25 +00001991 unsigned OpNum = 0;
1992 Value *TrueVal, *FalseVal, *Cond;
1993 if (getValueTypePair(Record, OpNum, NextValueNo, TrueVal) ||
1994 getValue(Record, OpNum, TrueVal->getType(), FalseVal) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00001995 getValue(Record, OpNum, Type::getInt1Ty(Context), Cond))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001996 return Error("Invalid SELECT record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001997
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001998 I = SelectInst::Create(Cond, TrueVal, FalseVal);
Devang Patele8e02132009-09-18 19:26:43 +00001999 InstructionList.push_back(I);
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00002000 break;
2001 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002002
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00002003 case bitc::FUNC_CODE_INST_VSELECT: {// VSELECT: [ty,opval,opval,predty,pred]
2004 // new form of select
2005 // handles select i1 or select [N x i1]
2006 unsigned OpNum = 0;
2007 Value *TrueVal, *FalseVal, *Cond;
2008 if (getValueTypePair(Record, OpNum, NextValueNo, TrueVal) ||
2009 getValue(Record, OpNum, TrueVal->getType(), FalseVal) ||
2010 getValueTypePair(Record, OpNum, NextValueNo, Cond))
2011 return Error("Invalid SELECT record");
Dan Gohmanf72fb672008-09-09 01:02:47 +00002012
2013 // select condition can be either i1 or [N x i1]
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00002014 if (const VectorType* vector_type =
2015 dyn_cast<const VectorType>(Cond->getType())) {
Dan Gohmanf72fb672008-09-09 01:02:47 +00002016 // expect <n x i1>
Daniel Dunbara279bc32009-09-20 02:20:51 +00002017 if (vector_type->getElementType() != Type::getInt1Ty(Context))
Dan Gohmanf72fb672008-09-09 01:02:47 +00002018 return Error("Invalid SELECT condition type");
2019 } else {
2020 // expect i1
Daniel Dunbara279bc32009-09-20 02:20:51 +00002021 if (Cond->getType() != Type::getInt1Ty(Context))
Dan Gohmanf72fb672008-09-09 01:02:47 +00002022 return Error("Invalid SELECT condition type");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002023 }
2024
Gabor Greif051a9502008-04-06 20:25:17 +00002025 I = SelectInst::Create(Cond, TrueVal, FalseVal);
Devang Patele8e02132009-09-18 19:26:43 +00002026 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00002027 break;
2028 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002029
Chris Lattner01ff65f2007-05-02 05:16:49 +00002030 case bitc::FUNC_CODE_INST_EXTRACTELT: { // EXTRACTELT: [opty, opval, opval]
Chris Lattnerabfbf852007-05-06 00:21:25 +00002031 unsigned OpNum = 0;
2032 Value *Vec, *Idx;
2033 if (getValueTypePair(Record, OpNum, NextValueNo, Vec) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00002034 getValue(Record, OpNum, Type::getInt32Ty(Context), Idx))
Chris Lattner01ff65f2007-05-02 05:16:49 +00002035 return Error("Invalid EXTRACTELT record");
Eric Christophera3500da2009-07-25 02:28:41 +00002036 I = ExtractElementInst::Create(Vec, Idx);
Devang Patele8e02132009-09-18 19:26:43 +00002037 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00002038 break;
2039 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002040
Chris Lattner01ff65f2007-05-02 05:16:49 +00002041 case bitc::FUNC_CODE_INST_INSERTELT: { // INSERTELT: [ty, opval,opval,opval]
Chris Lattnerabfbf852007-05-06 00:21:25 +00002042 unsigned OpNum = 0;
2043 Value *Vec, *Elt, *Idx;
2044 if (getValueTypePair(Record, OpNum, NextValueNo, Vec) ||
Daniel Dunbara279bc32009-09-20 02:20:51 +00002045 getValue(Record, OpNum,
Chris Lattnerabfbf852007-05-06 00:21:25 +00002046 cast<VectorType>(Vec->getType())->getElementType(), Elt) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00002047 getValue(Record, OpNum, Type::getInt32Ty(Context), Idx))
Chris Lattner01ff65f2007-05-02 05:16:49 +00002048 return Error("Invalid INSERTELT record");
Gabor Greif051a9502008-04-06 20:25:17 +00002049 I = InsertElementInst::Create(Vec, Elt, Idx);
Devang Patele8e02132009-09-18 19:26:43 +00002050 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00002051 break;
2052 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002053
Chris Lattnerabfbf852007-05-06 00:21:25 +00002054 case bitc::FUNC_CODE_INST_SHUFFLEVEC: {// SHUFFLEVEC: [opval,ty,opval,opval]
2055 unsigned OpNum = 0;
2056 Value *Vec1, *Vec2, *Mask;
2057 if (getValueTypePair(Record, OpNum, NextValueNo, Vec1) ||
2058 getValue(Record, OpNum, Vec1->getType(), Vec2))
2059 return Error("Invalid SHUFFLEVEC record");
2060
Mon P Wangaeb06d22008-11-10 04:46:22 +00002061 if (getValueTypePair(Record, OpNum, NextValueNo, Mask))
Chris Lattner01ff65f2007-05-02 05:16:49 +00002062 return Error("Invalid SHUFFLEVEC record");
2063 I = new ShuffleVectorInst(Vec1, Vec2, Mask);
Devang Patele8e02132009-09-18 19:26:43 +00002064 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00002065 break;
2066 }
Mon P Wangaeb06d22008-11-10 04:46:22 +00002067
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00002068 case bitc::FUNC_CODE_INST_CMP: // CMP: [opty, opval, opval, pred]
2069 // Old form of ICmp/FCmp returning bool
2070 // Existed to differentiate between icmp/fcmp and vicmp/vfcmp which were
2071 // both legal on vectors but had different behaviour.
2072 case bitc::FUNC_CODE_INST_CMP2: { // CMP2: [opty, opval, opval, pred]
2073 // FCmp/ICmp returning bool or vector of bool
2074
Chris Lattner7337ab92007-05-06 00:00:00 +00002075 unsigned OpNum = 0;
2076 Value *LHS, *RHS;
2077 if (getValueTypePair(Record, OpNum, NextValueNo, LHS) ||
2078 getValue(Record, OpNum, LHS->getType(), RHS) ||
2079 OpNum+1 != Record.size())
Chris Lattner01ff65f2007-05-02 05:16:49 +00002080 return Error("Invalid CMP record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002081
Duncan Sandsb0bc6c32010-02-15 16:12:20 +00002082 if (LHS->getType()->isFPOrFPVectorTy())
Dan Gohman1c8a23c2009-08-25 23:17:54 +00002083 I = new FCmpInst((FCmpInst::Predicate)Record[OpNum], LHS, RHS);
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00002084 else
Dan Gohman1c8a23c2009-08-25 23:17:54 +00002085 I = new ICmpInst((ICmpInst::Predicate)Record[OpNum], LHS, RHS);
Devang Patele8e02132009-09-18 19:26:43 +00002086 InstructionList.push_back(I);
Dan Gohmanf72fb672008-09-09 01:02:47 +00002087 break;
2088 }
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00002089
Chris Lattner231cbcb2007-05-02 04:27:25 +00002090 case bitc::FUNC_CODE_INST_RET: // RET: [opty,opval<optional>]
Devang Pateld9d99ff2008-02-26 01:29:32 +00002091 {
2092 unsigned Size = Record.size();
2093 if (Size == 0) {
Owen Anderson1d0be152009-08-13 21:58:54 +00002094 I = ReturnInst::Create(Context);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002095 InstructionList.push_back(I);
Devang Pateld9d99ff2008-02-26 01:29:32 +00002096 break;
Dan Gohmanfc74abf2008-07-23 00:34:11 +00002097 }
Devang Pateld9d99ff2008-02-26 01:29:32 +00002098
Dan Gohmanfc74abf2008-07-23 00:34:11 +00002099 unsigned OpNum = 0;
Chris Lattner96a74c52011-06-17 18:09:11 +00002100 Value *Op = NULL;
2101 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
2102 return Error("Invalid RET record");
2103 if (OpNum != Record.size())
2104 return Error("Invalid RET record");
Dan Gohmanfc74abf2008-07-23 00:34:11 +00002105
Chris Lattner96a74c52011-06-17 18:09:11 +00002106 I = ReturnInst::Create(Context, Op);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002107 InstructionList.push_back(I);
Dan Gohmanfc74abf2008-07-23 00:34:11 +00002108 break;
Chris Lattner231cbcb2007-05-02 04:27:25 +00002109 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002110 case bitc::FUNC_CODE_INST_BR: { // BR: [bb#, bb#, opval] or [bb#]
Chris Lattnerf61e6452007-05-03 22:09:51 +00002111 if (Record.size() != 1 && Record.size() != 3)
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002112 return Error("Invalid BR record");
2113 BasicBlock *TrueDest = getBasicBlock(Record[0]);
2114 if (TrueDest == 0)
2115 return Error("Invalid BR record");
2116
Devang Patele8e02132009-09-18 19:26:43 +00002117 if (Record.size() == 1) {
Gabor Greif051a9502008-04-06 20:25:17 +00002118 I = BranchInst::Create(TrueDest);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002119 InstructionList.push_back(I);
Devang Patele8e02132009-09-18 19:26:43 +00002120 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002121 else {
2122 BasicBlock *FalseDest = getBasicBlock(Record[1]);
Owen Anderson1d0be152009-08-13 21:58:54 +00002123 Value *Cond = getFnValueByID(Record[2], Type::getInt1Ty(Context));
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002124 if (FalseDest == 0 || Cond == 0)
2125 return Error("Invalid BR record");
Gabor Greif051a9502008-04-06 20:25:17 +00002126 I = BranchInst::Create(TrueDest, FalseDest, Cond);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002127 InstructionList.push_back(I);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002128 }
2129 break;
2130 }
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002131 case bitc::FUNC_CODE_INST_SWITCH: { // SWITCH: [opty, op0, op1, ...]
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002132 if (Record.size() < 3 || (Record.size() & 1) == 0)
2133 return Error("Invalid SWITCH record");
2134 const Type *OpTy = getTypeByID(Record[0]);
2135 Value *Cond = getFnValueByID(Record[1], OpTy);
2136 BasicBlock *Default = getBasicBlock(Record[2]);
2137 if (OpTy == 0 || Cond == 0 || Default == 0)
2138 return Error("Invalid SWITCH record");
2139 unsigned NumCases = (Record.size()-3)/2;
Gabor Greif051a9502008-04-06 20:25:17 +00002140 SwitchInst *SI = SwitchInst::Create(Cond, Default, NumCases);
Devang Patele8e02132009-09-18 19:26:43 +00002141 InstructionList.push_back(SI);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002142 for (unsigned i = 0, e = NumCases; i != e; ++i) {
Daniel Dunbara279bc32009-09-20 02:20:51 +00002143 ConstantInt *CaseVal =
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002144 dyn_cast_or_null<ConstantInt>(getFnValueByID(Record[3+i*2], OpTy));
2145 BasicBlock *DestBB = getBasicBlock(Record[1+3+i*2]);
2146 if (CaseVal == 0 || DestBB == 0) {
2147 delete SI;
2148 return Error("Invalid SWITCH record!");
2149 }
2150 SI->addCase(CaseVal, DestBB);
2151 }
2152 I = SI;
2153 break;
2154 }
Chris Lattnerab21db72009-10-28 00:19:10 +00002155 case bitc::FUNC_CODE_INST_INDIRECTBR: { // INDIRECTBR: [opty, op0, op1, ...]
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002156 if (Record.size() < 2)
Chris Lattnerab21db72009-10-28 00:19:10 +00002157 return Error("Invalid INDIRECTBR record");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002158 const Type *OpTy = getTypeByID(Record[0]);
2159 Value *Address = getFnValueByID(Record[1], OpTy);
2160 if (OpTy == 0 || Address == 0)
Chris Lattnerab21db72009-10-28 00:19:10 +00002161 return Error("Invalid INDIRECTBR record");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002162 unsigned NumDests = Record.size()-2;
Chris Lattnerab21db72009-10-28 00:19:10 +00002163 IndirectBrInst *IBI = IndirectBrInst::Create(Address, NumDests);
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002164 InstructionList.push_back(IBI);
2165 for (unsigned i = 0, e = NumDests; i != e; ++i) {
2166 if (BasicBlock *DestBB = getBasicBlock(Record[2+i])) {
2167 IBI->addDestination(DestBB);
2168 } else {
2169 delete IBI;
Chris Lattnerab21db72009-10-28 00:19:10 +00002170 return Error("Invalid INDIRECTBR record!");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002171 }
2172 }
2173 I = IBI;
2174 break;
2175 }
2176
Duncan Sandsdc024672007-11-27 13:23:08 +00002177 case bitc::FUNC_CODE_INST_INVOKE: {
2178 // INVOKE: [attrs, cc, normBB, unwindBB, fnty, op0,op1,op2, ...]
Chris Lattnera9bb7132007-05-08 05:38:01 +00002179 if (Record.size() < 4) return Error("Invalid INVOKE record");
Devang Patel05988662008-09-25 21:00:45 +00002180 AttrListPtr PAL = getAttributes(Record[0]);
Chris Lattnera9bb7132007-05-08 05:38:01 +00002181 unsigned CCInfo = Record[1];
2182 BasicBlock *NormalBB = getBasicBlock(Record[2]);
2183 BasicBlock *UnwindBB = getBasicBlock(Record[3]);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002184
Chris Lattnera9bb7132007-05-08 05:38:01 +00002185 unsigned OpNum = 4;
Chris Lattner7337ab92007-05-06 00:00:00 +00002186 Value *Callee;
2187 if (getValueTypePair(Record, OpNum, NextValueNo, Callee))
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002188 return Error("Invalid INVOKE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002189
Chris Lattner7337ab92007-05-06 00:00:00 +00002190 const PointerType *CalleeTy = dyn_cast<PointerType>(Callee->getType());
2191 const FunctionType *FTy = !CalleeTy ? 0 :
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002192 dyn_cast<FunctionType>(CalleeTy->getElementType());
2193
2194 // Check that the right number of fixed parameters are here.
Chris Lattner7337ab92007-05-06 00:00:00 +00002195 if (FTy == 0 || NormalBB == 0 || UnwindBB == 0 ||
2196 Record.size() < OpNum+FTy->getNumParams())
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002197 return Error("Invalid INVOKE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002198
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002199 SmallVector<Value*, 16> Ops;
Chris Lattner7337ab92007-05-06 00:00:00 +00002200 for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i, ++OpNum) {
2201 Ops.push_back(getFnValueByID(Record[OpNum], FTy->getParamType(i)));
2202 if (Ops.back() == 0) return Error("Invalid INVOKE record");
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002203 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002204
Chris Lattner7337ab92007-05-06 00:00:00 +00002205 if (!FTy->isVarArg()) {
2206 if (Record.size() != OpNum)
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002207 return Error("Invalid INVOKE record");
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002208 } else {
Chris Lattner7337ab92007-05-06 00:00:00 +00002209 // Read type/value pairs for varargs params.
2210 while (OpNum != Record.size()) {
2211 Value *Op;
2212 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
2213 return Error("Invalid INVOKE record");
2214 Ops.push_back(Op);
2215 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002216 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002217
Gabor Greifb1dbcd82008-05-15 10:04:30 +00002218 I = InvokeInst::Create(Callee, NormalBB, UnwindBB,
2219 Ops.begin(), Ops.end());
Devang Patele8e02132009-09-18 19:26:43 +00002220 InstructionList.push_back(I);
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00002221 cast<InvokeInst>(I)->setCallingConv(
2222 static_cast<CallingConv::ID>(CCInfo));
Devang Patel05988662008-09-25 21:00:45 +00002223 cast<InvokeInst>(I)->setAttributes(PAL);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002224 break;
2225 }
Chris Lattner231cbcb2007-05-02 04:27:25 +00002226 case bitc::FUNC_CODE_INST_UNWIND: // UNWIND
Owen Anderson1d0be152009-08-13 21:58:54 +00002227 I = new UnwindInst(Context);
Devang Patele8e02132009-09-18 19:26:43 +00002228 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00002229 break;
2230 case bitc::FUNC_CODE_INST_UNREACHABLE: // UNREACHABLE
Owen Anderson1d0be152009-08-13 21:58:54 +00002231 I = new UnreachableInst(Context);
Devang Patele8e02132009-09-18 19:26:43 +00002232 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00002233 break;
Chris Lattnerabfbf852007-05-06 00:21:25 +00002234 case bitc::FUNC_CODE_INST_PHI: { // PHI: [ty, val0,bb0, ...]
Chris Lattner15e6d172007-05-04 19:11:41 +00002235 if (Record.size() < 1 || ((Record.size()-1)&1))
Chris Lattner2a98cca2007-05-03 18:58:09 +00002236 return Error("Invalid PHI record");
2237 const Type *Ty = getTypeByID(Record[0]);
2238 if (!Ty) return Error("Invalid PHI record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002239
Jay Foad3ecfc862011-03-30 11:28:46 +00002240 PHINode *PN = PHINode::Create(Ty, (Record.size()-1)/2);
Devang Patele8e02132009-09-18 19:26:43 +00002241 InstructionList.push_back(PN);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002242
Chris Lattner15e6d172007-05-04 19:11:41 +00002243 for (unsigned i = 0, e = Record.size()-1; i != e; i += 2) {
2244 Value *V = getFnValueByID(Record[1+i], Ty);
2245 BasicBlock *BB = getBasicBlock(Record[2+i]);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002246 if (!V || !BB) return Error("Invalid PHI record");
2247 PN->addIncoming(V, BB);
2248 }
2249 I = PN;
2250 break;
2251 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002252
Chris Lattner96a74c52011-06-17 18:09:11 +00002253 case bitc::FUNC_CODE_INST_ALLOCA: { // ALLOCA: [instty, opty, op, align]
2254 if (Record.size() != 4)
2255 return Error("Invalid ALLOCA record");
Chris Lattner2a98cca2007-05-03 18:58:09 +00002256 const PointerType *Ty =
2257 dyn_cast_or_null<PointerType>(getTypeByID(Record[0]));
Chris Lattner96a74c52011-06-17 18:09:11 +00002258 const Type *OpTy = getTypeByID(Record[1]);
2259 Value *Size = getFnValueByID(Record[2], OpTy);
2260 unsigned Align = Record[3];
Chris Lattner2a98cca2007-05-03 18:58:09 +00002261 if (!Ty || !Size) return Error("Invalid ALLOCA record");
Owen Anderson50dead02009-07-15 23:53:25 +00002262 I = new AllocaInst(Ty->getElementType(), Size, (1 << Align) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002263 InstructionList.push_back(I);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002264 break;
2265 }
Chris Lattner0579f7f2007-05-03 22:04:19 +00002266 case bitc::FUNC_CODE_INST_LOAD: { // LOAD: [opty, op, align, vol]
Chris Lattner7337ab92007-05-06 00:00:00 +00002267 unsigned OpNum = 0;
2268 Value *Op;
2269 if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
2270 OpNum+2 != Record.size())
Chris Lattnerabfbf852007-05-06 00:21:25 +00002271 return Error("Invalid LOAD record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002272
Chris Lattner7337ab92007-05-06 00:00:00 +00002273 I = new LoadInst(Op, "", Record[OpNum+1], (1 << Record[OpNum]) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002274 InstructionList.push_back(I);
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002275 break;
Chris Lattner0579f7f2007-05-03 22:04:19 +00002276 }
Christopher Lambfe63fb92007-12-11 08:59:05 +00002277 case bitc::FUNC_CODE_INST_STORE2: { // STORE2:[ptrty, ptr, val, align, vol]
2278 unsigned OpNum = 0;
2279 Value *Val, *Ptr;
2280 if (getValueTypePair(Record, OpNum, NextValueNo, Ptr) ||
Daniel Dunbara279bc32009-09-20 02:20:51 +00002281 getValue(Record, OpNum,
Christopher Lambfe63fb92007-12-11 08:59:05 +00002282 cast<PointerType>(Ptr->getType())->getElementType(), Val) ||
2283 OpNum+2 != Record.size())
2284 return Error("Invalid STORE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002285
Christopher Lambfe63fb92007-12-11 08:59:05 +00002286 I = new StoreInst(Val, Ptr, Record[OpNum+1], (1 << Record[OpNum]) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002287 InstructionList.push_back(I);
Christopher Lambfe63fb92007-12-11 08:59:05 +00002288 break;
2289 }
Dan Gohman70c2fc02010-09-09 23:12:39 +00002290 case bitc::FUNC_CODE_INST_CALL2: {
Duncan Sandsdc024672007-11-27 13:23:08 +00002291 // CALL: [paramattrs, cc, fnty, fnid, arg0, arg1...]
2292 if (Record.size() < 3)
Chris Lattner0579f7f2007-05-03 22:04:19 +00002293 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002294
Devang Patel05988662008-09-25 21:00:45 +00002295 AttrListPtr PAL = getAttributes(Record[0]);
Chris Lattnera9bb7132007-05-08 05:38:01 +00002296 unsigned CCInfo = Record[1];
Daniel Dunbara279bc32009-09-20 02:20:51 +00002297
Chris Lattnera9bb7132007-05-08 05:38:01 +00002298 unsigned OpNum = 2;
Chris Lattner7337ab92007-05-06 00:00:00 +00002299 Value *Callee;
2300 if (getValueTypePair(Record, OpNum, NextValueNo, Callee))
2301 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002302
Chris Lattner7337ab92007-05-06 00:00:00 +00002303 const PointerType *OpTy = dyn_cast<PointerType>(Callee->getType());
Chris Lattner0579f7f2007-05-03 22:04:19 +00002304 const FunctionType *FTy = 0;
2305 if (OpTy) FTy = dyn_cast<FunctionType>(OpTy->getElementType());
Chris Lattner7337ab92007-05-06 00:00:00 +00002306 if (!FTy || Record.size() < FTy->getNumParams()+OpNum)
Chris Lattner0579f7f2007-05-03 22:04:19 +00002307 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002308
Chris Lattner0579f7f2007-05-03 22:04:19 +00002309 SmallVector<Value*, 16> Args;
2310 // Read the fixed params.
Chris Lattner7337ab92007-05-06 00:00:00 +00002311 for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i, ++OpNum) {
Dale Johanneseneb57ea72007-11-05 21:20:28 +00002312 if (FTy->getParamType(i)->getTypeID()==Type::LabelTyID)
2313 Args.push_back(getBasicBlock(Record[OpNum]));
Dan Gohman9b10dfb2010-09-13 18:00:48 +00002314 else
Dale Johanneseneb57ea72007-11-05 21:20:28 +00002315 Args.push_back(getFnValueByID(Record[OpNum], FTy->getParamType(i)));
Chris Lattner0579f7f2007-05-03 22:04:19 +00002316 if (Args.back() == 0) return Error("Invalid CALL record");
2317 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002318
Chris Lattner0579f7f2007-05-03 22:04:19 +00002319 // Read type/value pairs for varargs params.
Chris Lattner0579f7f2007-05-03 22:04:19 +00002320 if (!FTy->isVarArg()) {
Chris Lattner7337ab92007-05-06 00:00:00 +00002321 if (OpNum != Record.size())
Chris Lattner0579f7f2007-05-03 22:04:19 +00002322 return Error("Invalid CALL record");
2323 } else {
Chris Lattner7337ab92007-05-06 00:00:00 +00002324 while (OpNum != Record.size()) {
2325 Value *Op;
2326 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
2327 return Error("Invalid CALL record");
2328 Args.push_back(Op);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002329 }
2330 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002331
Gabor Greif051a9502008-04-06 20:25:17 +00002332 I = CallInst::Create(Callee, Args.begin(), Args.end());
Devang Patele8e02132009-09-18 19:26:43 +00002333 InstructionList.push_back(I);
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00002334 cast<CallInst>(I)->setCallingConv(
2335 static_cast<CallingConv::ID>(CCInfo>>1));
Chris Lattner76520192007-05-03 22:34:03 +00002336 cast<CallInst>(I)->setTailCall(CCInfo & 1);
Devang Patel05988662008-09-25 21:00:45 +00002337 cast<CallInst>(I)->setAttributes(PAL);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002338 break;
2339 }
2340 case bitc::FUNC_CODE_INST_VAARG: { // VAARG: [valistty, valist, instty]
2341 if (Record.size() < 3)
2342 return Error("Invalid VAARG record");
2343 const Type *OpTy = getTypeByID(Record[0]);
2344 Value *Op = getFnValueByID(Record[1], OpTy);
2345 const Type *ResTy = getTypeByID(Record[2]);
2346 if (!OpTy || !Op || !ResTy)
2347 return Error("Invalid VAARG record");
2348 I = new VAArgInst(Op, ResTy);
Devang Patele8e02132009-09-18 19:26:43 +00002349 InstructionList.push_back(I);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002350 break;
2351 }
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002352 }
2353
2354 // Add instruction to end of current BB. If there is no current BB, reject
2355 // this file.
2356 if (CurBB == 0) {
2357 delete I;
2358 return Error("Invalid instruction with no BB");
2359 }
2360 CurBB->getInstList().push_back(I);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002361
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002362 // If this was a terminator instruction, move to the next block.
2363 if (isa<TerminatorInst>(I)) {
2364 ++CurBBNo;
2365 CurBB = CurBBNo < FunctionBBs.size() ? FunctionBBs[CurBBNo] : 0;
2366 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002367
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002368 // Non-void values get registered in the value table for future use.
Benjamin Kramerf0127052010-01-05 13:12:22 +00002369 if (I && !I->getType()->isVoidTy())
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002370 ValueList.AssignValue(I, NextValueNo++);
Chris Lattner980e5aa2007-05-01 05:52:21 +00002371 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002372
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002373 // Check the function list for unresolved values.
2374 if (Argument *A = dyn_cast<Argument>(ValueList.back())) {
2375 if (A->getParent() == 0) {
2376 // We found at least one unresolved value. Nuke them all to avoid leaks.
2377 for (unsigned i = ModuleValueListSize, e = ValueList.size(); i != e; ++i){
Dan Gohman56e2a572010-08-25 20:20:21 +00002378 if ((A = dyn_cast<Argument>(ValueList[i])) && A->getParent() == 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00002379 A->replaceAllUsesWith(UndefValue::get(A->getType()));
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002380 delete A;
2381 }
2382 }
Chris Lattner35a04702007-05-04 03:50:29 +00002383 return Error("Never resolved value found in function!");
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002384 }
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002385 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002386
Dan Gohman064ff3e2010-08-25 20:23:38 +00002387 // FIXME: Check for unresolved forward-declared metadata references
2388 // and clean up leaks.
2389
Chris Lattner50b136d2009-10-28 05:53:48 +00002390 // See if anything took the address of blocks in this function. If so,
2391 // resolve them now.
Chris Lattner50b136d2009-10-28 05:53:48 +00002392 DenseMap<Function*, std::vector<BlockAddrRefTy> >::iterator BAFRI =
2393 BlockAddrFwdRefs.find(F);
2394 if (BAFRI != BlockAddrFwdRefs.end()) {
2395 std::vector<BlockAddrRefTy> &RefList = BAFRI->second;
2396 for (unsigned i = 0, e = RefList.size(); i != e; ++i) {
2397 unsigned BlockIdx = RefList[i].first;
Chris Lattnercdfc9402009-11-01 01:27:45 +00002398 if (BlockIdx >= FunctionBBs.size())
Chris Lattner50b136d2009-10-28 05:53:48 +00002399 return Error("Invalid blockaddress block #");
2400
2401 GlobalVariable *FwdRef = RefList[i].second;
Chris Lattnercdfc9402009-11-01 01:27:45 +00002402 FwdRef->replaceAllUsesWith(BlockAddress::get(F, FunctionBBs[BlockIdx]));
Chris Lattner50b136d2009-10-28 05:53:48 +00002403 FwdRef->eraseFromParent();
2404 }
2405
2406 BlockAddrFwdRefs.erase(BAFRI);
2407 }
2408
Chris Lattner980e5aa2007-05-01 05:52:21 +00002409 // Trim the value list down to the size it was before we parsed this function.
2410 ValueList.shrinkTo(ModuleValueListSize);
Dan Gohman69813832010-08-25 20:22:53 +00002411 MDValueList.shrinkTo(ModuleMDValueListSize);
Chris Lattner980e5aa2007-05-01 05:52:21 +00002412 std::vector<BasicBlock*>().swap(FunctionBBs);
Chris Lattner48f84872007-05-01 04:59:48 +00002413 return false;
2414}
2415
Chris Lattnerb348bb82007-05-18 04:02:46 +00002416//===----------------------------------------------------------------------===//
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002417// GVMaterializer implementation
Chris Lattnerb348bb82007-05-18 04:02:46 +00002418//===----------------------------------------------------------------------===//
2419
2420
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002421bool BitcodeReader::isMaterializable(const GlobalValue *GV) const {
2422 if (const Function *F = dyn_cast<Function>(GV)) {
2423 return F->isDeclaration() &&
2424 DeferredFunctionInfo.count(const_cast<Function*>(F));
2425 }
2426 return false;
2427}
Daniel Dunbara279bc32009-09-20 02:20:51 +00002428
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002429bool BitcodeReader::Materialize(GlobalValue *GV, std::string *ErrInfo) {
2430 Function *F = dyn_cast<Function>(GV);
2431 // If it's not a function or is already material, ignore the request.
2432 if (!F || !F->isMaterializable()) return false;
2433
2434 DenseMap<Function*, uint64_t>::iterator DFII = DeferredFunctionInfo.find(F);
Chris Lattnerb348bb82007-05-18 04:02:46 +00002435 assert(DFII != DeferredFunctionInfo.end() && "Deferred function not found!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002436
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002437 // Move the bit stream to the saved position of the deferred function body.
2438 Stream.JumpToBit(DFII->second);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002439
Chris Lattnerb348bb82007-05-18 04:02:46 +00002440 if (ParseFunctionBody(F)) {
2441 if (ErrInfo) *ErrInfo = ErrorString;
2442 return true;
2443 }
Chandler Carruth69940402007-08-04 01:51:18 +00002444
2445 // Upgrade any old intrinsic calls in the function.
2446 for (UpgradedIntrinsicMap::iterator I = UpgradedIntrinsics.begin(),
2447 E = UpgradedIntrinsics.end(); I != E; ++I) {
2448 if (I->first != I->second) {
2449 for (Value::use_iterator UI = I->first->use_begin(),
2450 UE = I->first->use_end(); UI != UE; ) {
2451 if (CallInst* CI = dyn_cast<CallInst>(*UI++))
2452 UpgradeIntrinsicCall(CI, I->second);
2453 }
2454 }
2455 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002456
Chris Lattnerb348bb82007-05-18 04:02:46 +00002457 return false;
2458}
2459
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002460bool BitcodeReader::isDematerializable(const GlobalValue *GV) const {
2461 const Function *F = dyn_cast<Function>(GV);
2462 if (!F || F->isDeclaration())
2463 return false;
2464 return DeferredFunctionInfo.count(const_cast<Function*>(F));
2465}
2466
2467void BitcodeReader::Dematerialize(GlobalValue *GV) {
2468 Function *F = dyn_cast<Function>(GV);
2469 // If this function isn't dematerializable, this is a noop.
2470 if (!F || !isDematerializable(F))
Chris Lattnerb348bb82007-05-18 04:02:46 +00002471 return;
Daniel Dunbara279bc32009-09-20 02:20:51 +00002472
Chris Lattnerb348bb82007-05-18 04:02:46 +00002473 assert(DeferredFunctionInfo.count(F) && "No info to read function later?");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002474
Chris Lattnerb348bb82007-05-18 04:02:46 +00002475 // Just forget the function body, we can remat it later.
2476 F->deleteBody();
Chris Lattnerb348bb82007-05-18 04:02:46 +00002477}
2478
2479
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002480bool BitcodeReader::MaterializeModule(Module *M, std::string *ErrInfo) {
2481 assert(M == TheModule &&
2482 "Can only Materialize the Module this BitcodeReader is attached to.");
Chris Lattner714fa952009-06-16 05:15:21 +00002483 // Iterate over the module, deserializing any functions that are still on
2484 // disk.
2485 for (Module::iterator F = TheModule->begin(), E = TheModule->end();
2486 F != E; ++F)
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002487 if (F->isMaterializable() &&
2488 Materialize(F, ErrInfo))
2489 return true;
Chandler Carruth69940402007-08-04 01:51:18 +00002490
Daniel Dunbara279bc32009-09-20 02:20:51 +00002491 // Upgrade any intrinsic calls that slipped through (should not happen!) and
2492 // delete the old functions to clean up. We can't do this unless the entire
2493 // module is materialized because there could always be another function body
Chandler Carruth69940402007-08-04 01:51:18 +00002494 // with calls to the old function.
2495 for (std::vector<std::pair<Function*, Function*> >::iterator I =
2496 UpgradedIntrinsics.begin(), E = UpgradedIntrinsics.end(); I != E; ++I) {
2497 if (I->first != I->second) {
2498 for (Value::use_iterator UI = I->first->use_begin(),
2499 UE = I->first->use_end(); UI != UE; ) {
2500 if (CallInst* CI = dyn_cast<CallInst>(*UI++))
2501 UpgradeIntrinsicCall(CI, I->second);
2502 }
Chris Lattner7d9eb582009-04-01 01:43:03 +00002503 if (!I->first->use_empty())
2504 I->first->replaceAllUsesWith(I->second);
Chandler Carruth69940402007-08-04 01:51:18 +00002505 I->first->eraseFromParent();
2506 }
2507 }
2508 std::vector<std::pair<Function*, Function*> >().swap(UpgradedIntrinsics);
Devang Patele4b27562009-08-28 23:24:31 +00002509
2510 // Check debug info intrinsics.
2511 CheckDebugInfoIntrinsics(TheModule);
2512
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002513 return false;
Chris Lattnerb348bb82007-05-18 04:02:46 +00002514}
2515
Chris Lattner48f84872007-05-01 04:59:48 +00002516
Chris Lattnerc453f762007-04-29 07:54:31 +00002517//===----------------------------------------------------------------------===//
2518// External interface
2519//===----------------------------------------------------------------------===//
2520
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002521/// getLazyBitcodeModule - lazy function-at-a-time loading from a file.
Chris Lattnerc453f762007-04-29 07:54:31 +00002522///
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002523Module *llvm::getLazyBitcodeModule(MemoryBuffer *Buffer,
2524 LLVMContext& Context,
2525 std::string *ErrMsg) {
2526 Module *M = new Module(Buffer->getBufferIdentifier(), Context);
Owen Anderson8b477ed2009-07-01 16:58:40 +00002527 BitcodeReader *R = new BitcodeReader(Buffer, Context);
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002528 M->setMaterializer(R);
2529 if (R->ParseBitcodeInto(M)) {
Chris Lattnerc453f762007-04-29 07:54:31 +00002530 if (ErrMsg)
2531 *ErrMsg = R->getErrorString();
Daniel Dunbara279bc32009-09-20 02:20:51 +00002532
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002533 delete M; // Also deletes R.
Chris Lattnerc453f762007-04-29 07:54:31 +00002534 return 0;
2535 }
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002536 // Have the BitcodeReader dtor delete 'Buffer'.
2537 R->setBufferOwned(true);
2538 return M;
Chris Lattnerc453f762007-04-29 07:54:31 +00002539}
2540
2541/// ParseBitcodeFile - Read the specified bitcode file, returning the module.
2542/// If an error occurs, return null and fill in *ErrMsg if non-null.
Daniel Dunbara279bc32009-09-20 02:20:51 +00002543Module *llvm::ParseBitcodeFile(MemoryBuffer *Buffer, LLVMContext& Context,
Owen Anderson8b477ed2009-07-01 16:58:40 +00002544 std::string *ErrMsg){
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002545 Module *M = getLazyBitcodeModule(Buffer, Context, ErrMsg);
2546 if (!M) return 0;
Chris Lattnerb348bb82007-05-18 04:02:46 +00002547
2548 // Don't let the BitcodeReader dtor delete 'Buffer', regardless of whether
2549 // there was an error.
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002550 static_cast<BitcodeReader*>(M->getMaterializer())->setBufferOwned(false);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002551
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002552 // Read in the entire module, and destroy the BitcodeReader.
2553 if (M->MaterializeAllPermanently(ErrMsg)) {
2554 delete M;
Bill Wendling34711742010-10-06 01:22:42 +00002555 return 0;
Jeffrey Yasskinf0356fe2010-01-27 20:34:15 +00002556 }
Bill Wendling34711742010-10-06 01:22:42 +00002557
Chris Lattnerc453f762007-04-29 07:54:31 +00002558 return M;
2559}
Bill Wendling34711742010-10-06 01:22:42 +00002560
2561std::string llvm::getBitcodeTargetTriple(MemoryBuffer *Buffer,
2562 LLVMContext& Context,
2563 std::string *ErrMsg) {
2564 BitcodeReader *R = new BitcodeReader(Buffer, Context);
2565 // Don't let the BitcodeReader dtor delete 'Buffer'.
2566 R->setBufferOwned(false);
2567
2568 std::string Triple("");
2569 if (R->ParseTriple(Triple))
2570 if (ErrMsg)
2571 *ErrMsg = R->getErrorString();
2572
2573 delete R;
2574 return Triple;
2575}