blob: 87c4fd77f365054610dd0ff3cbf0d6cec536cd46 [file] [log] [blame]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001//===- BitcodeReader.cpp - Internal BitcodeReader implementation ----------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattnercaee0dc2007-04-22 06:23:29 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This header defines the BitcodeReader class.
11//
12//===----------------------------------------------------------------------===//
13
Chris Lattnerc453f762007-04-29 07:54:31 +000014#include "llvm/Bitcode/ReaderWriter.h"
Chris Lattnercaee0dc2007-04-22 06:23:29 +000015#include "BitcodeReader.h"
Chris Lattnere16504e2007-04-24 03:30:34 +000016#include "llvm/Constants.h"
Chris Lattnercaee0dc2007-04-22 06:23:29 +000017#include "llvm/DerivedTypes.h"
Chris Lattner2bce93a2007-05-06 01:58:20 +000018#include "llvm/InlineAsm.h"
Devang Patele4b27562009-08-28 23:24:31 +000019#include "llvm/IntrinsicInst.h"
Chris Lattnercaee0dc2007-04-22 06:23:29 +000020#include "llvm/Module.h"
Dan Gohman1224c382009-07-20 21:19:07 +000021#include "llvm/Operator.h"
Chandler Carruth69940402007-08-04 01:51:18 +000022#include "llvm/AutoUpgrade.h"
Chris Lattner0b2482a2007-04-23 21:26:05 +000023#include "llvm/ADT/SmallString.h"
Devang Patelf4511cd2008-02-26 19:38:17 +000024#include "llvm/ADT/SmallVector.h"
Chris Lattner0eef0802007-04-24 04:04:35 +000025#include "llvm/Support/MathExtras.h"
Chris Lattnerc453f762007-04-29 07:54:31 +000026#include "llvm/Support/MemoryBuffer.h"
Gabor Greifefe65362008-05-10 08:32:32 +000027#include "llvm/OperandTraits.h"
Chris Lattnercaee0dc2007-04-22 06:23:29 +000028using namespace llvm;
29
Chris Lattnerb348bb82007-05-18 04:02:46 +000030void BitcodeReader::FreeState() {
Chris Lattnerc453f762007-04-29 07:54:31 +000031 delete Buffer;
Chris Lattnerb348bb82007-05-18 04:02:46 +000032 Buffer = 0;
33 std::vector<PATypeHolder>().swap(TypeList);
34 ValueList.clear();
Devang Pateld5ac4042009-08-04 06:00:18 +000035 MDValueList.clear();
Daniel Dunbara279bc32009-09-20 02:20:51 +000036
Devang Patel19c87462008-09-26 22:53:05 +000037 std::vector<AttrListPtr>().swap(MAttributes);
Chris Lattnerb348bb82007-05-18 04:02:46 +000038 std::vector<BasicBlock*>().swap(FunctionBBs);
39 std::vector<Function*>().swap(FunctionsWithBodies);
40 DeferredFunctionInfo.clear();
Chris Lattnerc453f762007-04-29 07:54:31 +000041}
42
Chris Lattner48c85b82007-05-04 03:30:17 +000043//===----------------------------------------------------------------------===//
44// Helper functions to implement forward reference resolution, etc.
45//===----------------------------------------------------------------------===//
Chris Lattnerc453f762007-04-29 07:54:31 +000046
Chris Lattnercaee0dc2007-04-22 06:23:29 +000047/// ConvertToString - Convert a string from a record into an std::string, return
48/// true on failure.
Chris Lattner0b2482a2007-04-23 21:26:05 +000049template<typename StrTy>
Chris Lattnercaee0dc2007-04-22 06:23:29 +000050static bool ConvertToString(SmallVector<uint64_t, 64> &Record, unsigned Idx,
Chris Lattner0b2482a2007-04-23 21:26:05 +000051 StrTy &Result) {
Chris Lattner15e6d172007-05-04 19:11:41 +000052 if (Idx > Record.size())
Chris Lattnercaee0dc2007-04-22 06:23:29 +000053 return true;
Daniel Dunbara279bc32009-09-20 02:20:51 +000054
Chris Lattner15e6d172007-05-04 19:11:41 +000055 for (unsigned i = Idx, e = Record.size(); i != e; ++i)
56 Result += (char)Record[i];
Chris Lattnercaee0dc2007-04-22 06:23:29 +000057 return false;
58}
59
60static GlobalValue::LinkageTypes GetDecodedLinkage(unsigned Val) {
61 switch (Val) {
62 default: // Map unknown/new linkages to external
Bill Wendling3d10a5a2009-07-20 01:03:30 +000063 case 0: return GlobalValue::ExternalLinkage;
64 case 1: return GlobalValue::WeakAnyLinkage;
65 case 2: return GlobalValue::AppendingLinkage;
66 case 3: return GlobalValue::InternalLinkage;
67 case 4: return GlobalValue::LinkOnceAnyLinkage;
68 case 5: return GlobalValue::DLLImportLinkage;
69 case 6: return GlobalValue::DLLExportLinkage;
70 case 7: return GlobalValue::ExternalWeakLinkage;
71 case 8: return GlobalValue::CommonLinkage;
72 case 9: return GlobalValue::PrivateLinkage;
Duncan Sands667d4b82009-03-07 15:45:40 +000073 case 10: return GlobalValue::WeakODRLinkage;
74 case 11: return GlobalValue::LinkOnceODRLinkage;
Chris Lattner266c7bb2009-04-13 05:44:34 +000075 case 12: return GlobalValue::AvailableExternallyLinkage;
Bill Wendling3d10a5a2009-07-20 01:03:30 +000076 case 13: return GlobalValue::LinkerPrivateLinkage;
Chris Lattnercaee0dc2007-04-22 06:23:29 +000077 }
78}
79
80static GlobalValue::VisibilityTypes GetDecodedVisibility(unsigned Val) {
81 switch (Val) {
82 default: // Map unknown visibilities to default.
83 case 0: return GlobalValue::DefaultVisibility;
84 case 1: return GlobalValue::HiddenVisibility;
Anton Korobeynikov9cd3ccf2007-04-29 20:56:48 +000085 case 2: return GlobalValue::ProtectedVisibility;
Chris Lattnercaee0dc2007-04-22 06:23:29 +000086 }
87}
88
Chris Lattnerf581c3b2007-04-24 07:07:11 +000089static int GetDecodedCastOpcode(unsigned Val) {
90 switch (Val) {
91 default: return -1;
92 case bitc::CAST_TRUNC : return Instruction::Trunc;
93 case bitc::CAST_ZEXT : return Instruction::ZExt;
94 case bitc::CAST_SEXT : return Instruction::SExt;
95 case bitc::CAST_FPTOUI : return Instruction::FPToUI;
96 case bitc::CAST_FPTOSI : return Instruction::FPToSI;
97 case bitc::CAST_UITOFP : return Instruction::UIToFP;
98 case bitc::CAST_SITOFP : return Instruction::SIToFP;
99 case bitc::CAST_FPTRUNC : return Instruction::FPTrunc;
100 case bitc::CAST_FPEXT : return Instruction::FPExt;
101 case bitc::CAST_PTRTOINT: return Instruction::PtrToInt;
102 case bitc::CAST_INTTOPTR: return Instruction::IntToPtr;
103 case bitc::CAST_BITCAST : return Instruction::BitCast;
104 }
105}
106static int GetDecodedBinaryOpcode(unsigned Val, const Type *Ty) {
107 switch (Val) {
108 default: return -1;
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000109 case bitc::BINOP_ADD:
110 return Ty->isFPOrFPVector() ? Instruction::FAdd : Instruction::Add;
111 case bitc::BINOP_SUB:
112 return Ty->isFPOrFPVector() ? Instruction::FSub : Instruction::Sub;
113 case bitc::BINOP_MUL:
114 return Ty->isFPOrFPVector() ? Instruction::FMul : Instruction::Mul;
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000115 case bitc::BINOP_UDIV: return Instruction::UDiv;
116 case bitc::BINOP_SDIV:
117 return Ty->isFPOrFPVector() ? Instruction::FDiv : Instruction::SDiv;
118 case bitc::BINOP_UREM: return Instruction::URem;
119 case bitc::BINOP_SREM:
120 return Ty->isFPOrFPVector() ? Instruction::FRem : Instruction::SRem;
121 case bitc::BINOP_SHL: return Instruction::Shl;
122 case bitc::BINOP_LSHR: return Instruction::LShr;
123 case bitc::BINOP_ASHR: return Instruction::AShr;
124 case bitc::BINOP_AND: return Instruction::And;
125 case bitc::BINOP_OR: return Instruction::Or;
126 case bitc::BINOP_XOR: return Instruction::Xor;
127 }
128}
129
Gabor Greifefe65362008-05-10 08:32:32 +0000130namespace llvm {
Chris Lattner522b7b12007-04-24 05:48:56 +0000131namespace {
132 /// @brief A class for maintaining the slot number definition
133 /// as a placeholder for the actual definition for forward constants defs.
134 class ConstantPlaceHolder : public ConstantExpr {
135 ConstantPlaceHolder(); // DO NOT IMPLEMENT
136 void operator=(const ConstantPlaceHolder &); // DO NOT IMPLEMENT
Gabor Greif051a9502008-04-06 20:25:17 +0000137 public:
138 // allocate space for exactly one operand
139 void *operator new(size_t s) {
140 return User::operator new(s, 1);
141 }
Owen Anderson74a77812009-07-07 20:18:58 +0000142 explicit ConstantPlaceHolder(const Type *Ty, LLVMContext& Context)
Gabor Greifefe65362008-05-10 08:32:32 +0000143 : ConstantExpr(Ty, Instruction::UserOp1, &Op<0>(), 1) {
Owen Anderson1d0be152009-08-13 21:58:54 +0000144 Op<0>() = UndefValue::get(Type::getInt32Ty(Context));
Chris Lattner522b7b12007-04-24 05:48:56 +0000145 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000146
Chris Lattnerea693df2008-08-21 02:34:16 +0000147 /// @brief Methods to support type inquiry through isa, cast, and dyn_cast.
148 static inline bool classof(const ConstantPlaceHolder *) { return true; }
149 static bool classof(const Value *V) {
Daniel Dunbara279bc32009-09-20 02:20:51 +0000150 return isa<ConstantExpr>(V) &&
Chris Lattnerea693df2008-08-21 02:34:16 +0000151 cast<ConstantExpr>(V)->getOpcode() == Instruction::UserOp1;
152 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000153
154
Gabor Greifefe65362008-05-10 08:32:32 +0000155 /// Provide fast operand accessors
Chris Lattner46e77402009-03-31 22:55:09 +0000156 //DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
Chris Lattner522b7b12007-04-24 05:48:56 +0000157 };
158}
159
Chris Lattner46e77402009-03-31 22:55:09 +0000160// FIXME: can we inherit this from ConstantExpr?
Gabor Greifefe65362008-05-10 08:32:32 +0000161template <>
Duncan Sands59bf4fc2009-09-06 08:55:57 +0000162struct OperandTraits<ConstantPlaceHolder> : public FixedNumOperandTraits<1> {
Gabor Greifefe65362008-05-10 08:32:32 +0000163};
Gabor Greifefe65362008-05-10 08:32:32 +0000164}
165
Chris Lattner46e77402009-03-31 22:55:09 +0000166
167void BitcodeReaderValueList::AssignValue(Value *V, unsigned Idx) {
168 if (Idx == size()) {
169 push_back(V);
170 return;
171 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000172
Chris Lattner46e77402009-03-31 22:55:09 +0000173 if (Idx >= size())
174 resize(Idx+1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000175
Chris Lattner46e77402009-03-31 22:55:09 +0000176 WeakVH &OldV = ValuePtrs[Idx];
177 if (OldV == 0) {
178 OldV = V;
179 return;
180 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000181
Chris Lattner46e77402009-03-31 22:55:09 +0000182 // Handle constants and non-constants (e.g. instrs) differently for
183 // efficiency.
184 if (Constant *PHC = dyn_cast<Constant>(&*OldV)) {
185 ResolveConstants.push_back(std::make_pair(PHC, Idx));
186 OldV = V;
187 } else {
188 // If there was a forward reference to this value, replace it.
189 Value *PrevVal = OldV;
190 OldV->replaceAllUsesWith(V);
191 delete PrevVal;
Gabor Greifefe65362008-05-10 08:32:32 +0000192 }
193}
Daniel Dunbara279bc32009-09-20 02:20:51 +0000194
Gabor Greifefe65362008-05-10 08:32:32 +0000195
Chris Lattner522b7b12007-04-24 05:48:56 +0000196Constant *BitcodeReaderValueList::getConstantFwdRef(unsigned Idx,
197 const Type *Ty) {
Chris Lattner46e77402009-03-31 22:55:09 +0000198 if (Idx >= size())
Gabor Greifefe65362008-05-10 08:32:32 +0000199 resize(Idx + 1);
Chris Lattner522b7b12007-04-24 05:48:56 +0000200
Chris Lattner46e77402009-03-31 22:55:09 +0000201 if (Value *V = ValuePtrs[Idx]) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000202 assert(Ty == V->getType() && "Type mismatch in constant table!");
203 return cast<Constant>(V);
Chris Lattnerf581c3b2007-04-24 07:07:11 +0000204 }
Chris Lattner522b7b12007-04-24 05:48:56 +0000205
206 // Create and return a placeholder, which will later be RAUW'd.
Owen Anderson74a77812009-07-07 20:18:58 +0000207 Constant *C = new ConstantPlaceHolder(Ty, Context);
Chris Lattner46e77402009-03-31 22:55:09 +0000208 ValuePtrs[Idx] = C;
Chris Lattner522b7b12007-04-24 05:48:56 +0000209 return C;
210}
211
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000212Value *BitcodeReaderValueList::getValueFwdRef(unsigned Idx, const Type *Ty) {
Chris Lattner46e77402009-03-31 22:55:09 +0000213 if (Idx >= size())
Gabor Greifefe65362008-05-10 08:32:32 +0000214 resize(Idx + 1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000215
Chris Lattner46e77402009-03-31 22:55:09 +0000216 if (Value *V = ValuePtrs[Idx]) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000217 assert((Ty == 0 || Ty == V->getType()) && "Type mismatch in value table!");
218 return V;
219 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000220
Chris Lattner01ff65f2007-05-02 05:16:49 +0000221 // No type specified, must be invalid reference.
222 if (Ty == 0) return 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000223
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000224 // Create and return a placeholder, which will later be RAUW'd.
225 Value *V = new Argument(Ty);
Chris Lattner46e77402009-03-31 22:55:09 +0000226 ValuePtrs[Idx] = V;
Chris Lattnera7c49aa2007-05-01 07:01:57 +0000227 return V;
228}
229
Chris Lattnerea693df2008-08-21 02:34:16 +0000230/// ResolveConstantForwardRefs - Once all constants are read, this method bulk
231/// resolves any forward references. The idea behind this is that we sometimes
232/// get constants (such as large arrays) which reference *many* forward ref
233/// constants. Replacing each of these causes a lot of thrashing when
234/// building/reuniquing the constant. Instead of doing this, we look at all the
235/// uses and rewrite all the place holders at once for any constant that uses
236/// a placeholder.
237void BitcodeReaderValueList::ResolveConstantForwardRefs() {
Daniel Dunbara279bc32009-09-20 02:20:51 +0000238 // Sort the values by-pointer so that they are efficient to look up with a
Chris Lattnerea693df2008-08-21 02:34:16 +0000239 // binary search.
240 std::sort(ResolveConstants.begin(), ResolveConstants.end());
Daniel Dunbara279bc32009-09-20 02:20:51 +0000241
Chris Lattnerea693df2008-08-21 02:34:16 +0000242 SmallVector<Constant*, 64> NewOps;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000243
Chris Lattnerea693df2008-08-21 02:34:16 +0000244 while (!ResolveConstants.empty()) {
Chris Lattner46e77402009-03-31 22:55:09 +0000245 Value *RealVal = operator[](ResolveConstants.back().second);
Chris Lattnerea693df2008-08-21 02:34:16 +0000246 Constant *Placeholder = ResolveConstants.back().first;
247 ResolveConstants.pop_back();
Daniel Dunbara279bc32009-09-20 02:20:51 +0000248
Chris Lattnerea693df2008-08-21 02:34:16 +0000249 // Loop over all users of the placeholder, updating them to reference the
250 // new value. If they reference more than one placeholder, update them all
251 // at once.
252 while (!Placeholder->use_empty()) {
Chris Lattnerb6135a02008-08-21 17:31:45 +0000253 Value::use_iterator UI = Placeholder->use_begin();
Daniel Dunbara279bc32009-09-20 02:20:51 +0000254
Chris Lattnerea693df2008-08-21 02:34:16 +0000255 // If the using object isn't uniqued, just update the operands. This
256 // handles instructions and initializers for global variables.
Chris Lattnerb6135a02008-08-21 17:31:45 +0000257 if (!isa<Constant>(*UI) || isa<GlobalValue>(*UI)) {
258 UI.getUse().set(RealVal);
Chris Lattnerea693df2008-08-21 02:34:16 +0000259 continue;
260 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000261
Chris Lattnerea693df2008-08-21 02:34:16 +0000262 // Otherwise, we have a constant that uses the placeholder. Replace that
263 // constant with a new constant that has *all* placeholder uses updated.
Chris Lattnerb6135a02008-08-21 17:31:45 +0000264 Constant *UserC = cast<Constant>(*UI);
Chris Lattnerea693df2008-08-21 02:34:16 +0000265 for (User::op_iterator I = UserC->op_begin(), E = UserC->op_end();
266 I != E; ++I) {
267 Value *NewOp;
268 if (!isa<ConstantPlaceHolder>(*I)) {
269 // Not a placeholder reference.
270 NewOp = *I;
271 } else if (*I == Placeholder) {
272 // Common case is that it just references this one placeholder.
273 NewOp = RealVal;
274 } else {
275 // Otherwise, look up the placeholder in ResolveConstants.
Daniel Dunbara279bc32009-09-20 02:20:51 +0000276 ResolveConstantsTy::iterator It =
277 std::lower_bound(ResolveConstants.begin(), ResolveConstants.end(),
Chris Lattnerea693df2008-08-21 02:34:16 +0000278 std::pair<Constant*, unsigned>(cast<Constant>(*I),
279 0));
280 assert(It != ResolveConstants.end() && It->first == *I);
Chris Lattner46e77402009-03-31 22:55:09 +0000281 NewOp = operator[](It->second);
Chris Lattnerea693df2008-08-21 02:34:16 +0000282 }
283
284 NewOps.push_back(cast<Constant>(NewOp));
285 }
286
287 // Make the new constant.
288 Constant *NewC;
289 if (ConstantArray *UserCA = dyn_cast<ConstantArray>(UserC)) {
Owen Anderson1fd70962009-07-28 18:32:17 +0000290 NewC = ConstantArray::get(UserCA->getType(), &NewOps[0],
Owen Anderson74a77812009-07-07 20:18:58 +0000291 NewOps.size());
Chris Lattnerea693df2008-08-21 02:34:16 +0000292 } else if (ConstantStruct *UserCS = dyn_cast<ConstantStruct>(UserC)) {
Owen Andersond7f2a6c2009-08-05 23:16:16 +0000293 NewC = ConstantStruct::get(Context, &NewOps[0], NewOps.size(),
Owen Anderson74a77812009-07-07 20:18:58 +0000294 UserCS->getType()->isPacked());
Chris Lattnerea693df2008-08-21 02:34:16 +0000295 } else if (isa<ConstantVector>(UserC)) {
Owen Andersonaf7ec972009-07-28 21:19:26 +0000296 NewC = ConstantVector::get(&NewOps[0], NewOps.size());
Nick Lewyckycb337992009-05-10 20:57:05 +0000297 } else {
298 assert(isa<ConstantExpr>(UserC) && "Must be a ConstantExpr.");
Chris Lattnerea693df2008-08-21 02:34:16 +0000299 NewC = cast<ConstantExpr>(UserC)->getWithOperands(&NewOps[0],
300 NewOps.size());
301 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000302
Chris Lattnerea693df2008-08-21 02:34:16 +0000303 UserC->replaceAllUsesWith(NewC);
304 UserC->destroyConstant();
305 NewOps.clear();
306 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000307
Nick Lewyckycb337992009-05-10 20:57:05 +0000308 // Update all ValueHandles, they should be the only users at this point.
309 Placeholder->replaceAllUsesWith(RealVal);
Chris Lattnerea693df2008-08-21 02:34:16 +0000310 delete Placeholder;
311 }
312}
313
Devang Pateld5ac4042009-08-04 06:00:18 +0000314void BitcodeReaderMDValueList::AssignValue(Value *V, unsigned Idx) {
315 if (Idx == size()) {
316 push_back(V);
317 return;
318 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000319
Devang Pateld5ac4042009-08-04 06:00:18 +0000320 if (Idx >= size())
321 resize(Idx+1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000322
Devang Pateld5ac4042009-08-04 06:00:18 +0000323 WeakVH &OldV = MDValuePtrs[Idx];
324 if (OldV == 0) {
325 OldV = V;
326 return;
327 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000328
Devang Pateld5ac4042009-08-04 06:00:18 +0000329 // If there was a forward reference to this value, replace it.
330 Value *PrevVal = OldV;
331 OldV->replaceAllUsesWith(V);
332 delete PrevVal;
Devang Patelc0ff8c82009-09-03 01:38:02 +0000333 // Deleting PrevVal sets Idx value in MDValuePtrs to null. Set new
334 // value for Idx.
335 MDValuePtrs[Idx] = V;
Devang Pateld5ac4042009-08-04 06:00:18 +0000336}
337
338Value *BitcodeReaderMDValueList::getValueFwdRef(unsigned Idx) {
339 if (Idx >= size())
340 resize(Idx + 1);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000341
Devang Pateld5ac4042009-08-04 06:00:18 +0000342 if (Value *V = MDValuePtrs[Idx]) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000343 assert(V->getType()->isMetadataTy() && "Type mismatch in value table!");
Devang Pateld5ac4042009-08-04 06:00:18 +0000344 return V;
345 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000346
Devang Pateld5ac4042009-08-04 06:00:18 +0000347 // Create and return a placeholder, which will later be RAUW'd.
Owen Anderson1d0be152009-08-13 21:58:54 +0000348 Value *V = new Argument(Type::getMetadataTy(Context));
Devang Pateld5ac4042009-08-04 06:00:18 +0000349 MDValuePtrs[Idx] = V;
350 return V;
351}
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000352
353const Type *BitcodeReader::getTypeByID(unsigned ID, bool isTypeTable) {
354 // If the TypeID is in range, return it.
355 if (ID < TypeList.size())
356 return TypeList[ID].get();
357 if (!isTypeTable) return 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000358
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000359 // The type table allows forward references. Push as many Opaque types as
360 // needed to get up to ID.
361 while (TypeList.size() <= ID)
Owen Anderson0e275dc2009-08-13 23:27:32 +0000362 TypeList.push_back(OpaqueType::get(Context));
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000363 return TypeList.back().get();
364}
365
Chris Lattner48c85b82007-05-04 03:30:17 +0000366//===----------------------------------------------------------------------===//
367// Functions for parsing blocks from the bitcode file
368//===----------------------------------------------------------------------===//
369
Devang Patel05988662008-09-25 21:00:45 +0000370bool BitcodeReader::ParseAttributeBlock() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000371 if (Stream.EnterSubBlock(bitc::PARAMATTR_BLOCK_ID))
Chris Lattner48c85b82007-05-04 03:30:17 +0000372 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000373
Devang Patel19c87462008-09-26 22:53:05 +0000374 if (!MAttributes.empty())
Chris Lattner48c85b82007-05-04 03:30:17 +0000375 return Error("Multiple PARAMATTR blocks found!");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000376
Chris Lattner48c85b82007-05-04 03:30:17 +0000377 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000378
Devang Patel05988662008-09-25 21:00:45 +0000379 SmallVector<AttributeWithIndex, 8> Attrs;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000380
Chris Lattner48c85b82007-05-04 03:30:17 +0000381 // Read all the records.
382 while (1) {
383 unsigned Code = Stream.ReadCode();
384 if (Code == bitc::END_BLOCK) {
385 if (Stream.ReadBlockEnd())
386 return Error("Error at end of PARAMATTR block");
387 return false;
388 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000389
Chris Lattner48c85b82007-05-04 03:30:17 +0000390 if (Code == bitc::ENTER_SUBBLOCK) {
391 // No known subblocks, always skip them.
392 Stream.ReadSubBlockID();
393 if (Stream.SkipBlock())
394 return Error("Malformed block record");
395 continue;
396 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000397
Chris Lattner48c85b82007-05-04 03:30:17 +0000398 if (Code == bitc::DEFINE_ABBREV) {
399 Stream.ReadAbbrevRecord();
400 continue;
401 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000402
Chris Lattner48c85b82007-05-04 03:30:17 +0000403 // Read a record.
404 Record.clear();
405 switch (Stream.ReadRecord(Code, Record)) {
406 default: // Default behavior: ignore.
407 break;
408 case bitc::PARAMATTR_CODE_ENTRY: { // ENTRY: [paramidx0, attr0, ...]
409 if (Record.size() & 1)
410 return Error("Invalid ENTRY record");
411
Chris Lattner9a6cb152008-10-05 18:22:09 +0000412 // FIXME : Remove this autoupgrade code in LLVM 3.0.
Devang Patel19c87462008-09-26 22:53:05 +0000413 // If Function attributes are using index 0 then transfer them
Chris Lattner9a6cb152008-10-05 18:22:09 +0000414 // to index ~0. Index 0 is used for return value attributes but used to be
415 // used for function attributes.
Devang Patel19c87462008-09-26 22:53:05 +0000416 Attributes RetAttribute = Attribute::None;
417 Attributes FnAttribute = Attribute::None;
Chris Lattner48c85b82007-05-04 03:30:17 +0000418 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Nick Lewycky73ddd4f2008-12-19 09:38:31 +0000419 // FIXME: remove in LLVM 3.0
420 // The alignment is stored as a 16-bit raw value from bits 31--16.
421 // We shift the bits above 31 down by 11 bits.
422
423 unsigned Alignment = (Record[i+1] & (0xffffull << 16)) >> 16;
424 if (Alignment && !isPowerOf2_32(Alignment))
425 return Error("Alignment is not a power of two.");
426
427 Attributes ReconstitutedAttr = Record[i+1] & 0xffff;
428 if (Alignment)
429 ReconstitutedAttr |= Attribute::constructAlignmentFromInt(Alignment);
430 ReconstitutedAttr |= (Record[i+1] & (0xffffull << 32)) >> 11;
431 Record[i+1] = ReconstitutedAttr;
432
Devang Patel19c87462008-09-26 22:53:05 +0000433 if (Record[i] == 0)
434 RetAttribute = Record[i+1];
435 else if (Record[i] == ~0U)
436 FnAttribute = Record[i+1];
437 }
Chris Lattner9a6cb152008-10-05 18:22:09 +0000438
439 unsigned OldRetAttrs = (Attribute::NoUnwind|Attribute::NoReturn|
440 Attribute::ReadOnly|Attribute::ReadNone);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000441
Chris Lattner9a6cb152008-10-05 18:22:09 +0000442 if (FnAttribute == Attribute::None && RetAttribute != Attribute::None &&
443 (RetAttribute & OldRetAttrs) != 0) {
444 if (FnAttribute == Attribute::None) { // add a slot so they get added.
445 Record.push_back(~0U);
446 Record.push_back(0);
Devang Patel19c87462008-09-26 22:53:05 +0000447 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000448
Chris Lattner9a6cb152008-10-05 18:22:09 +0000449 FnAttribute |= RetAttribute & OldRetAttrs;
450 RetAttribute &= ~OldRetAttrs;
Chris Lattner48c85b82007-05-04 03:30:17 +0000451 }
Chris Lattner461edd92008-03-12 02:25:52 +0000452
Devang Patel19c87462008-09-26 22:53:05 +0000453 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Chris Lattner9a6cb152008-10-05 18:22:09 +0000454 if (Record[i] == 0) {
455 if (RetAttribute != Attribute::None)
456 Attrs.push_back(AttributeWithIndex::get(0, RetAttribute));
457 } else if (Record[i] == ~0U) {
458 if (FnAttribute != Attribute::None)
459 Attrs.push_back(AttributeWithIndex::get(~0U, FnAttribute));
460 } else if (Record[i+1] != Attribute::None)
Devang Patel19c87462008-09-26 22:53:05 +0000461 Attrs.push_back(AttributeWithIndex::get(Record[i], Record[i+1]));
462 }
Devang Patel19c87462008-09-26 22:53:05 +0000463
464 MAttributes.push_back(AttrListPtr::get(Attrs.begin(), Attrs.end()));
Chris Lattner48c85b82007-05-04 03:30:17 +0000465 Attrs.clear();
466 break;
467 }
Duncan Sands5e41f652007-11-20 14:09:29 +0000468 }
Chris Lattner48c85b82007-05-04 03:30:17 +0000469 }
470}
471
472
Chris Lattner86697142007-05-01 05:01:34 +0000473bool BitcodeReader::ParseTypeTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000474 if (Stream.EnterSubBlock(bitc::TYPE_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000475 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000476
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000477 if (!TypeList.empty())
478 return Error("Multiple TYPE_BLOCKs found!");
479
480 SmallVector<uint64_t, 64> Record;
481 unsigned NumRecords = 0;
482
483 // Read all the records for this type table.
484 while (1) {
485 unsigned Code = Stream.ReadCode();
486 if (Code == bitc::END_BLOCK) {
487 if (NumRecords != TypeList.size())
488 return Error("Invalid type forward reference in TYPE_BLOCK");
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000489 if (Stream.ReadBlockEnd())
490 return Error("Error at end of type table block");
491 return false;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000492 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000493
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000494 if (Code == bitc::ENTER_SUBBLOCK) {
495 // No known subblocks, always skip them.
496 Stream.ReadSubBlockID();
497 if (Stream.SkipBlock())
498 return Error("Malformed block record");
499 continue;
500 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000501
Chris Lattner36d5e7d2007-04-23 16:04:05 +0000502 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +0000503 Stream.ReadAbbrevRecord();
504 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000505 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000506
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000507 // Read a record.
508 Record.clear();
509 const Type *ResultTy = 0;
510 switch (Stream.ReadRecord(Code, Record)) {
511 default: // Default behavior: unknown type.
512 ResultTy = 0;
513 break;
514 case bitc::TYPE_CODE_NUMENTRY: // TYPE_CODE_NUMENTRY: [numentries]
515 // TYPE_CODE_NUMENTRY contains a count of the number of types in the
516 // type list. This allows us to reserve space.
517 if (Record.size() < 1)
518 return Error("Invalid TYPE_CODE_NUMENTRY record");
519 TypeList.reserve(Record[0]);
520 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000521 case bitc::TYPE_CODE_VOID: // VOID
Owen Anderson1d0be152009-08-13 21:58:54 +0000522 ResultTy = Type::getVoidTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000523 break;
524 case bitc::TYPE_CODE_FLOAT: // FLOAT
Owen Anderson1d0be152009-08-13 21:58:54 +0000525 ResultTy = Type::getFloatTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000526 break;
527 case bitc::TYPE_CODE_DOUBLE: // DOUBLE
Owen Anderson1d0be152009-08-13 21:58:54 +0000528 ResultTy = Type::getDoubleTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000529 break;
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000530 case bitc::TYPE_CODE_X86_FP80: // X86_FP80
Owen Anderson1d0be152009-08-13 21:58:54 +0000531 ResultTy = Type::getX86_FP80Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000532 break;
533 case bitc::TYPE_CODE_FP128: // FP128
Owen Anderson1d0be152009-08-13 21:58:54 +0000534 ResultTy = Type::getFP128Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000535 break;
536 case bitc::TYPE_CODE_PPC_FP128: // PPC_FP128
Owen Anderson1d0be152009-08-13 21:58:54 +0000537 ResultTy = Type::getPPC_FP128Ty(Context);
Dale Johannesen320fc8a2007-08-03 01:03:46 +0000538 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000539 case bitc::TYPE_CODE_LABEL: // LABEL
Owen Anderson1d0be152009-08-13 21:58:54 +0000540 ResultTy = Type::getLabelTy(Context);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000541 break;
542 case bitc::TYPE_CODE_OPAQUE: // OPAQUE
543 ResultTy = 0;
544 break;
Nick Lewycky7a0370f2009-05-30 05:06:04 +0000545 case bitc::TYPE_CODE_METADATA: // METADATA
Owen Anderson1d0be152009-08-13 21:58:54 +0000546 ResultTy = Type::getMetadataTy(Context);
Nick Lewycky7a0370f2009-05-30 05:06:04 +0000547 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000548 case bitc::TYPE_CODE_INTEGER: // INTEGER: [width]
549 if (Record.size() < 1)
550 return Error("Invalid Integer type record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000551
Owen Anderson1d0be152009-08-13 21:58:54 +0000552 ResultTy = IntegerType::get(Context, Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000553 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000554 case bitc::TYPE_CODE_POINTER: { // POINTER: [pointee type] or
Christopher Lambfe63fb92007-12-11 08:59:05 +0000555 // [pointee type, address space]
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000556 if (Record.size() < 1)
557 return Error("Invalid POINTER type record");
Christopher Lambfe63fb92007-12-11 08:59:05 +0000558 unsigned AddressSpace = 0;
559 if (Record.size() == 2)
560 AddressSpace = Record[1];
Owen Andersondebcb012009-07-29 22:17:13 +0000561 ResultTy = PointerType::get(getTypeByID(Record[0], true),
Owen Anderson74a77812009-07-07 20:18:58 +0000562 AddressSpace);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000563 break;
Christopher Lambfe63fb92007-12-11 08:59:05 +0000564 }
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000565 case bitc::TYPE_CODE_FUNCTION: {
Chris Lattnera1afde72007-11-27 17:48:06 +0000566 // FIXME: attrid is dead, remove it in LLVM 3.0
567 // FUNCTION: [vararg, attrid, retty, paramty x N]
568 if (Record.size() < 3)
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000569 return Error("Invalid FUNCTION type record");
570 std::vector<const Type*> ArgTys;
Chris Lattnera1afde72007-11-27 17:48:06 +0000571 for (unsigned i = 3, e = Record.size(); i != e; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +0000572 ArgTys.push_back(getTypeByID(Record[i], true));
Daniel Dunbara279bc32009-09-20 02:20:51 +0000573
Owen Andersondebcb012009-07-29 22:17:13 +0000574 ResultTy = FunctionType::get(getTypeByID(Record[2], true), ArgTys,
Duncan Sandsdc024672007-11-27 13:23:08 +0000575 Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000576 break;
577 }
Chris Lattner15e6d172007-05-04 19:11:41 +0000578 case bitc::TYPE_CODE_STRUCT: { // STRUCT: [ispacked, eltty x N]
Chris Lattner7108dce2007-05-06 08:21:50 +0000579 if (Record.size() < 1)
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000580 return Error("Invalid STRUCT type record");
581 std::vector<const Type*> EltTys;
Chris Lattner15e6d172007-05-04 19:11:41 +0000582 for (unsigned i = 1, e = Record.size(); i != e; ++i)
583 EltTys.push_back(getTypeByID(Record[i], true));
Owen Andersond7f2a6c2009-08-05 23:16:16 +0000584 ResultTy = StructType::get(Context, EltTys, Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000585 break;
586 }
587 case bitc::TYPE_CODE_ARRAY: // ARRAY: [numelts, eltty]
588 if (Record.size() < 2)
589 return Error("Invalid ARRAY type record");
Owen Andersondebcb012009-07-29 22:17:13 +0000590 ResultTy = ArrayType::get(getTypeByID(Record[1], true), Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000591 break;
592 case bitc::TYPE_CODE_VECTOR: // VECTOR: [numelts, eltty]
593 if (Record.size() < 2)
594 return Error("Invalid VECTOR type record");
Owen Andersondebcb012009-07-29 22:17:13 +0000595 ResultTy = VectorType::get(getTypeByID(Record[1], true), Record[0]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000596 break;
597 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000598
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000599 if (NumRecords == TypeList.size()) {
600 // If this is a new type slot, just append it.
Owen Anderson0e275dc2009-08-13 23:27:32 +0000601 TypeList.push_back(ResultTy ? ResultTy : OpaqueType::get(Context));
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000602 ++NumRecords;
603 } else if (ResultTy == 0) {
604 // Otherwise, this was forward referenced, so an opaque type was created,
605 // but the result type is actually just an opaque. Leave the one we
606 // created previously.
607 ++NumRecords;
608 } else {
609 // Otherwise, this was forward referenced, so an opaque type was created.
610 // Resolve the opaque type to the real type now.
611 assert(NumRecords < TypeList.size() && "Typelist imbalance");
612 const OpaqueType *OldTy = cast<OpaqueType>(TypeList[NumRecords++].get());
Daniel Dunbara279bc32009-09-20 02:20:51 +0000613
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000614 // Don't directly push the new type on the Tab. Instead we want to replace
615 // the opaque type we previously inserted with the new concrete value. The
616 // refinement from the abstract (opaque) type to the new type causes all
617 // uses of the abstract type to use the concrete type (NewTy). This will
618 // also cause the opaque type to be deleted.
619 const_cast<OpaqueType*>(OldTy)->refineAbstractTypeTo(ResultTy);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000620
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000621 // This should have replaced the old opaque type with the new type in the
Chris Lattner0eef0802007-04-24 04:04:35 +0000622 // value table... or with a preexisting type that was already in the
623 // system. Let's just make sure it did.
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000624 assert(TypeList[NumRecords-1].get() != OldTy &&
625 "refineAbstractType didn't work!");
626 }
627 }
628}
629
630
Chris Lattner86697142007-05-01 05:01:34 +0000631bool BitcodeReader::ParseTypeSymbolTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000632 if (Stream.EnterSubBlock(bitc::TYPE_SYMTAB_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000633 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000634
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000635 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000636
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000637 // Read all the records for this type table.
638 std::string TypeName;
639 while (1) {
640 unsigned Code = Stream.ReadCode();
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000641 if (Code == bitc::END_BLOCK) {
642 if (Stream.ReadBlockEnd())
643 return Error("Error at end of type symbol table block");
644 return false;
645 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000646
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000647 if (Code == bitc::ENTER_SUBBLOCK) {
648 // No known subblocks, always skip them.
649 Stream.ReadSubBlockID();
650 if (Stream.SkipBlock())
651 return Error("Malformed block record");
652 continue;
653 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000654
Chris Lattner36d5e7d2007-04-23 16:04:05 +0000655 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +0000656 Stream.ReadAbbrevRecord();
657 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000658 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000659
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000660 // Read a record.
661 Record.clear();
662 switch (Stream.ReadRecord(Code, Record)) {
663 default: // Default behavior: unknown type.
664 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000665 case bitc::TST_CODE_ENTRY: // TST_ENTRY: [typeid, namechar x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +0000666 if (ConvertToString(Record, 1, TypeName))
667 return Error("Invalid TST_ENTRY record");
668 unsigned TypeID = Record[0];
669 if (TypeID >= TypeList.size())
670 return Error("Invalid Type ID in TST_ENTRY record");
671
672 TheModule->addTypeName(TypeName, TypeList[TypeID].get());
673 TypeName.clear();
674 break;
675 }
676 }
677}
678
Chris Lattner86697142007-05-01 05:01:34 +0000679bool BitcodeReader::ParseValueSymbolTable() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000680 if (Stream.EnterSubBlock(bitc::VALUE_SYMTAB_BLOCK_ID))
Chris Lattner0b2482a2007-04-23 21:26:05 +0000681 return Error("Malformed block record");
682
683 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000684
Chris Lattner0b2482a2007-04-23 21:26:05 +0000685 // Read all the records for this value table.
686 SmallString<128> ValueName;
687 while (1) {
688 unsigned Code = Stream.ReadCode();
Chris Lattnerf66d20d2007-04-24 18:15:21 +0000689 if (Code == bitc::END_BLOCK) {
690 if (Stream.ReadBlockEnd())
691 return Error("Error at end of value symbol table block");
692 return false;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000693 }
Chris Lattner0b2482a2007-04-23 21:26:05 +0000694 if (Code == bitc::ENTER_SUBBLOCK) {
695 // No known subblocks, always skip them.
696 Stream.ReadSubBlockID();
697 if (Stream.SkipBlock())
698 return Error("Malformed block record");
699 continue;
700 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000701
Chris Lattner0b2482a2007-04-23 21:26:05 +0000702 if (Code == bitc::DEFINE_ABBREV) {
703 Stream.ReadAbbrevRecord();
704 continue;
705 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000706
Chris Lattner0b2482a2007-04-23 21:26:05 +0000707 // Read a record.
708 Record.clear();
709 switch (Stream.ReadRecord(Code, Record)) {
710 default: // Default behavior: unknown type.
711 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000712 case bitc::VST_CODE_ENTRY: { // VST_ENTRY: [valueid, namechar x N]
Chris Lattner0b2482a2007-04-23 21:26:05 +0000713 if (ConvertToString(Record, 1, ValueName))
Nick Lewycky88b72932009-05-31 06:07:28 +0000714 return Error("Invalid VST_ENTRY record");
Chris Lattner0b2482a2007-04-23 21:26:05 +0000715 unsigned ValueID = Record[0];
716 if (ValueID >= ValueList.size())
717 return Error("Invalid Value ID in VST_ENTRY record");
718 Value *V = ValueList[ValueID];
Daniel Dunbara279bc32009-09-20 02:20:51 +0000719
Daniel Dunbar3f53fa92009-07-26 00:34:27 +0000720 V->setName(StringRef(ValueName.data(), ValueName.size()));
Chris Lattner0b2482a2007-04-23 21:26:05 +0000721 ValueName.clear();
722 break;
Reid Spencerc8f8a242007-05-04 01:43:33 +0000723 }
724 case bitc::VST_CODE_BBENTRY: {
Chris Lattnere825ed52007-05-03 22:18:21 +0000725 if (ConvertToString(Record, 1, ValueName))
726 return Error("Invalid VST_BBENTRY record");
727 BasicBlock *BB = getBasicBlock(Record[0]);
728 if (BB == 0)
729 return Error("Invalid BB ID in VST_BBENTRY record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000730
Daniel Dunbar3f53fa92009-07-26 00:34:27 +0000731 BB->setName(StringRef(ValueName.data(), ValueName.size()));
Chris Lattnere825ed52007-05-03 22:18:21 +0000732 ValueName.clear();
733 break;
Chris Lattner0b2482a2007-04-23 21:26:05 +0000734 }
Reid Spencerc8f8a242007-05-04 01:43:33 +0000735 }
Chris Lattner0b2482a2007-04-23 21:26:05 +0000736 }
737}
738
Devang Patele54abc92009-07-22 17:43:22 +0000739bool BitcodeReader::ParseMetadata() {
Devang Pateld5ac4042009-08-04 06:00:18 +0000740 unsigned NextValueNo = MDValueList.size();
Devang Patele54abc92009-07-22 17:43:22 +0000741
742 if (Stream.EnterSubBlock(bitc::METADATA_BLOCK_ID))
743 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000744
Devang Patele54abc92009-07-22 17:43:22 +0000745 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000746
Devang Patele54abc92009-07-22 17:43:22 +0000747 // Read all the records.
748 while (1) {
749 unsigned Code = Stream.ReadCode();
750 if (Code == bitc::END_BLOCK) {
751 if (Stream.ReadBlockEnd())
752 return Error("Error at end of PARAMATTR block");
753 return false;
754 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000755
Devang Patele54abc92009-07-22 17:43:22 +0000756 if (Code == bitc::ENTER_SUBBLOCK) {
757 // No known subblocks, always skip them.
758 Stream.ReadSubBlockID();
759 if (Stream.SkipBlock())
760 return Error("Malformed block record");
761 continue;
762 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000763
Devang Patele54abc92009-07-22 17:43:22 +0000764 if (Code == bitc::DEFINE_ABBREV) {
765 Stream.ReadAbbrevRecord();
766 continue;
767 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000768
Devang Patele54abc92009-07-22 17:43:22 +0000769 // Read a record.
770 Record.clear();
771 switch (Stream.ReadRecord(Code, Record)) {
772 default: // Default behavior: ignore.
773 break;
Devang Patelaa993142009-07-29 22:34:41 +0000774 case bitc::METADATA_NAME: {
775 // Read named of the named metadata.
776 unsigned NameLength = Record.size();
777 SmallString<8> Name;
778 Name.resize(NameLength);
779 for (unsigned i = 0; i != NameLength; ++i)
780 Name[i] = Record[i];
781 Record.clear();
782 Code = Stream.ReadCode();
783
784 // METADATA_NAME is always followed by METADATA_NAMED_NODE.
785 if (Stream.ReadRecord(Code, Record) != bitc::METADATA_NAMED_NODE)
786 assert ( 0 && "Inavlid Named Metadata record");
787
788 // Read named metadata elements.
789 unsigned Size = Record.size();
Devang Patel3e30c2a2010-01-05 20:41:31 +0000790 SmallVector<MDNode *, 8> Elts;
Devang Patelaa993142009-07-29 22:34:41 +0000791 for (unsigned i = 0; i != Size; ++i) {
Chris Lattner70644e92010-01-09 02:02:37 +0000792 if (Record[i] == ~0U) {
Devang Patel69d02e02010-01-05 21:47:32 +0000793 Elts.push_back(NULL);
Chris Lattner70644e92010-01-09 02:02:37 +0000794 continue;
Devang Patel69d02e02010-01-05 21:47:32 +0000795 }
Chris Lattner70644e92010-01-09 02:02:37 +0000796 MDNode *MD = dyn_cast<MDNode>(MDValueList.getValueFwdRef(Record[i]));
797 if (MD == 0)
798 return Error("Malformed metadata record");
799 Elts.push_back(MD);
Devang Patelaa993142009-07-29 22:34:41 +0000800 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000801 Value *V = NamedMDNode::Create(Context, Name.str(), Elts.data(),
Owen Anderson1d0be152009-08-13 21:58:54 +0000802 Elts.size(), TheModule);
Chris Lattner70644e92010-01-09 02:02:37 +0000803 // FIXME: This shouldn't poke NextValueNo?
Devang Pateld5ac4042009-08-04 06:00:18 +0000804 MDValueList.AssignValue(V, NextValueNo++);
Devang Patelaa993142009-07-29 22:34:41 +0000805 break;
806 }
Devang Patel104cf9e2009-07-23 01:07:34 +0000807 case bitc::METADATA_NODE: {
808 if (Record.empty() || Record.size() % 2 == 1)
809 return Error("Invalid METADATA_NODE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000810
Devang Patel104cf9e2009-07-23 01:07:34 +0000811 unsigned Size = Record.size();
812 SmallVector<Value*, 8> Elts;
813 for (unsigned i = 0; i != Size; i += 2) {
814 const Type *Ty = getTypeByID(Record[i], false);
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000815 if (Ty->isMetadataTy())
Devang Pateld5ac4042009-08-04 06:00:18 +0000816 Elts.push_back(MDValueList.getValueFwdRef(Record[i+1]));
Benjamin Kramerf0127052010-01-05 13:12:22 +0000817 else if (!Ty->isVoidTy())
Devang Patel104cf9e2009-07-23 01:07:34 +0000818 Elts.push_back(ValueList.getValueFwdRef(Record[i+1], Ty));
819 else
820 Elts.push_back(NULL);
821 }
Owen Anderson647e3012009-07-31 21:35:40 +0000822 Value *V = MDNode::get(Context, &Elts[0], Elts.size());
Devang Pateld5ac4042009-08-04 06:00:18 +0000823 MDValueList.AssignValue(V, NextValueNo++);
Devang Patel104cf9e2009-07-23 01:07:34 +0000824 break;
825 }
Devang Patele54abc92009-07-22 17:43:22 +0000826 case bitc::METADATA_STRING: {
827 unsigned MDStringLength = Record.size();
828 SmallString<8> String;
829 String.resize(MDStringLength);
830 for (unsigned i = 0; i != MDStringLength; ++i)
831 String[i] = Record[i];
Daniel Dunbara279bc32009-09-20 02:20:51 +0000832 Value *V = MDString::get(Context,
Owen Anderson647e3012009-07-31 21:35:40 +0000833 StringRef(String.data(), String.size()));
Devang Pateld5ac4042009-08-04 06:00:18 +0000834 MDValueList.AssignValue(V, NextValueNo++);
Devang Patele54abc92009-07-22 17:43:22 +0000835 break;
836 }
Devang Patele8e02132009-09-18 19:26:43 +0000837 case bitc::METADATA_KIND: {
838 unsigned RecordLength = Record.size();
839 if (Record.empty() || RecordLength < 2)
Daniel Dunbara279bc32009-09-20 02:20:51 +0000840 return Error("Invalid METADATA_KIND record");
Devang Patele8e02132009-09-18 19:26:43 +0000841 SmallString<8> Name;
842 Name.resize(RecordLength-1);
Devang Patela2148402009-09-28 21:14:55 +0000843 unsigned Kind = Record[0];
Daniel Dunbar22bbd9b2009-10-25 23:11:06 +0000844 (void) Kind;
Devang Patele8e02132009-09-18 19:26:43 +0000845 for (unsigned i = 1; i != RecordLength; ++i)
Daniel Dunbara279bc32009-09-20 02:20:51 +0000846 Name[i-1] = Record[i];
Chris Lattner0eb41982009-12-28 20:45:51 +0000847
Chris Lattner08113472009-12-29 09:01:33 +0000848 unsigned NewKind = TheModule->getMDKindID(Name.str());
Chris Lattner0eb41982009-12-28 20:45:51 +0000849 assert(Kind == NewKind &&
850 "FIXME: Unable to handle custom metadata mismatch!");(void)NewKind;
Devang Patele8e02132009-09-18 19:26:43 +0000851 break;
852 }
Devang Patele54abc92009-07-22 17:43:22 +0000853 }
854 }
855}
856
Chris Lattner0eef0802007-04-24 04:04:35 +0000857/// DecodeSignRotatedValue - Decode a signed value stored with the sign bit in
858/// the LSB for dense VBR encoding.
859static uint64_t DecodeSignRotatedValue(uint64_t V) {
860 if ((V & 1) == 0)
861 return V >> 1;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000862 if (V != 1)
Chris Lattner0eef0802007-04-24 04:04:35 +0000863 return -(V >> 1);
864 // There is no such thing as -0 with integers. "-0" really means MININT.
865 return 1ULL << 63;
866}
867
Chris Lattner07d98b42007-04-26 02:46:40 +0000868/// ResolveGlobalAndAliasInits - Resolve all of the initializers for global
869/// values and aliases that we can.
870bool BitcodeReader::ResolveGlobalAndAliasInits() {
871 std::vector<std::pair<GlobalVariable*, unsigned> > GlobalInitWorklist;
872 std::vector<std::pair<GlobalAlias*, unsigned> > AliasInitWorklist;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000873
Chris Lattner07d98b42007-04-26 02:46:40 +0000874 GlobalInitWorklist.swap(GlobalInits);
875 AliasInitWorklist.swap(AliasInits);
876
877 while (!GlobalInitWorklist.empty()) {
Chris Lattner198f34a2007-04-26 03:27:58 +0000878 unsigned ValID = GlobalInitWorklist.back().second;
Chris Lattner07d98b42007-04-26 02:46:40 +0000879 if (ValID >= ValueList.size()) {
880 // Not ready to resolve this yet, it requires something later in the file.
Chris Lattner198f34a2007-04-26 03:27:58 +0000881 GlobalInits.push_back(GlobalInitWorklist.back());
Chris Lattner07d98b42007-04-26 02:46:40 +0000882 } else {
883 if (Constant *C = dyn_cast<Constant>(ValueList[ValID]))
884 GlobalInitWorklist.back().first->setInitializer(C);
885 else
886 return Error("Global variable initializer is not a constant!");
887 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000888 GlobalInitWorklist.pop_back();
Chris Lattner07d98b42007-04-26 02:46:40 +0000889 }
890
891 while (!AliasInitWorklist.empty()) {
892 unsigned ValID = AliasInitWorklist.back().second;
893 if (ValID >= ValueList.size()) {
894 AliasInits.push_back(AliasInitWorklist.back());
895 } else {
896 if (Constant *C = dyn_cast<Constant>(ValueList[ValID]))
Anton Korobeynikov7dde0ff2007-04-28 14:57:59 +0000897 AliasInitWorklist.back().first->setAliasee(C);
Chris Lattner07d98b42007-04-26 02:46:40 +0000898 else
899 return Error("Alias initializer is not a constant!");
900 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000901 AliasInitWorklist.pop_back();
Chris Lattner07d98b42007-04-26 02:46:40 +0000902 }
903 return false;
904}
905
Chris Lattner86697142007-05-01 05:01:34 +0000906bool BitcodeReader::ParseConstants() {
Chris Lattnere17b6582007-05-05 00:17:00 +0000907 if (Stream.EnterSubBlock(bitc::CONSTANTS_BLOCK_ID))
Chris Lattnere16504e2007-04-24 03:30:34 +0000908 return Error("Malformed block record");
909
910 SmallVector<uint64_t, 64> Record;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000911
Chris Lattnere16504e2007-04-24 03:30:34 +0000912 // Read all the records for this value table.
Owen Anderson1d0be152009-08-13 21:58:54 +0000913 const Type *CurTy = Type::getInt32Ty(Context);
Chris Lattner522b7b12007-04-24 05:48:56 +0000914 unsigned NextCstNo = ValueList.size();
Chris Lattnere16504e2007-04-24 03:30:34 +0000915 while (1) {
916 unsigned Code = Stream.ReadCode();
Chris Lattnerea693df2008-08-21 02:34:16 +0000917 if (Code == bitc::END_BLOCK)
918 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000919
Chris Lattnere16504e2007-04-24 03:30:34 +0000920 if (Code == bitc::ENTER_SUBBLOCK) {
921 // No known subblocks, always skip them.
922 Stream.ReadSubBlockID();
923 if (Stream.SkipBlock())
924 return Error("Malformed block record");
925 continue;
926 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000927
Chris Lattnere16504e2007-04-24 03:30:34 +0000928 if (Code == bitc::DEFINE_ABBREV) {
929 Stream.ReadAbbrevRecord();
930 continue;
931 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000932
Chris Lattnere16504e2007-04-24 03:30:34 +0000933 // Read a record.
934 Record.clear();
935 Value *V = 0;
Dan Gohman1224c382009-07-20 21:19:07 +0000936 unsigned BitCode = Stream.ReadRecord(Code, Record);
937 switch (BitCode) {
Chris Lattnere16504e2007-04-24 03:30:34 +0000938 default: // Default behavior: unknown constant
939 case bitc::CST_CODE_UNDEF: // UNDEF
Owen Anderson9e9a0d52009-07-30 23:03:37 +0000940 V = UndefValue::get(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +0000941 break;
942 case bitc::CST_CODE_SETTYPE: // SETTYPE: [typeid]
943 if (Record.empty())
944 return Error("Malformed CST_SETTYPE record");
945 if (Record[0] >= TypeList.size())
946 return Error("Invalid Type ID in CST_SETTYPE record");
947 CurTy = TypeList[Record[0]];
Chris Lattner0eef0802007-04-24 04:04:35 +0000948 continue; // Skip the ValueList manipulation.
Chris Lattnere16504e2007-04-24 03:30:34 +0000949 case bitc::CST_CODE_NULL: // NULL
Owen Andersona7235ea2009-07-31 20:28:14 +0000950 V = Constant::getNullValue(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +0000951 break;
952 case bitc::CST_CODE_INTEGER: // INTEGER: [intval]
Chris Lattner0eef0802007-04-24 04:04:35 +0000953 if (!isa<IntegerType>(CurTy) || Record.empty())
954 return Error("Invalid CST_INTEGER record");
Owen Andersoneed707b2009-07-24 23:12:02 +0000955 V = ConstantInt::get(CurTy, DecodeSignRotatedValue(Record[0]));
Chris Lattner0eef0802007-04-24 04:04:35 +0000956 break;
Chris Lattner15e6d172007-05-04 19:11:41 +0000957 case bitc::CST_CODE_WIDE_INTEGER: {// WIDE_INTEGER: [n x intval]
958 if (!isa<IntegerType>(CurTy) || Record.empty())
Chris Lattner0eef0802007-04-24 04:04:35 +0000959 return Error("Invalid WIDE_INTEGER record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000960
Chris Lattner15e6d172007-05-04 19:11:41 +0000961 unsigned NumWords = Record.size();
Chris Lattner084a8442007-04-24 17:22:05 +0000962 SmallVector<uint64_t, 8> Words;
963 Words.resize(NumWords);
Chris Lattner0eef0802007-04-24 04:04:35 +0000964 for (unsigned i = 0; i != NumWords; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +0000965 Words[i] = DecodeSignRotatedValue(Record[i]);
Daniel Dunbara279bc32009-09-20 02:20:51 +0000966 V = ConstantInt::get(Context,
Owen Andersoneed707b2009-07-24 23:12:02 +0000967 APInt(cast<IntegerType>(CurTy)->getBitWidth(),
968 NumWords, &Words[0]));
Chris Lattner0eef0802007-04-24 04:04:35 +0000969 break;
970 }
Dale Johannesen3f6eb742007-09-11 18:32:33 +0000971 case bitc::CST_CODE_FLOAT: { // FLOAT: [fpval]
Chris Lattner0eef0802007-04-24 04:04:35 +0000972 if (Record.empty())
973 return Error("Invalid FLOAT record");
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000974 if (CurTy->isFloatTy())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000975 V = ConstantFP::get(Context, APFloat(APInt(32, (uint32_t)Record[0])));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000976 else if (CurTy->isDoubleTy())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000977 V = ConstantFP::get(Context, APFloat(APInt(64, Record[0])));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000978 else if (CurTy->isX86_FP80Ty()) {
Dale Johannesen1b25cb22009-03-23 21:16:53 +0000979 // Bits are not stored the same way as a normal i80 APInt, compensate.
980 uint64_t Rearrange[2];
981 Rearrange[0] = (Record[1] & 0xffffLL) | (Record[0] << 16);
982 Rearrange[1] = Record[0] >> 48;
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000983 V = ConstantFP::get(Context, APFloat(APInt(80, 2, Rearrange)));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000984 } else if (CurTy->isFP128Ty())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000985 V = ConstantFP::get(Context, APFloat(APInt(128, 2, &Record[0]), true));
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000986 else if (CurTy->isPPC_FP128Ty())
Owen Anderson6f83c9c2009-07-27 20:59:43 +0000987 V = ConstantFP::get(Context, APFloat(APInt(128, 2, &Record[0])));
Chris Lattnere16504e2007-04-24 03:30:34 +0000988 else
Owen Anderson9e9a0d52009-07-30 23:03:37 +0000989 V = UndefValue::get(CurTy);
Chris Lattnere16504e2007-04-24 03:30:34 +0000990 break;
Dale Johannesen3f6eb742007-09-11 18:32:33 +0000991 }
Daniel Dunbara279bc32009-09-20 02:20:51 +0000992
Chris Lattner15e6d172007-05-04 19:11:41 +0000993 case bitc::CST_CODE_AGGREGATE: {// AGGREGATE: [n x value number]
994 if (Record.empty())
Chris Lattner522b7b12007-04-24 05:48:56 +0000995 return Error("Invalid CST_AGGREGATE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +0000996
Chris Lattner15e6d172007-05-04 19:11:41 +0000997 unsigned Size = Record.size();
Chris Lattner522b7b12007-04-24 05:48:56 +0000998 std::vector<Constant*> Elts;
Daniel Dunbara279bc32009-09-20 02:20:51 +0000999
Chris Lattner522b7b12007-04-24 05:48:56 +00001000 if (const StructType *STy = dyn_cast<StructType>(CurTy)) {
1001 for (unsigned i = 0; i != Size; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +00001002 Elts.push_back(ValueList.getConstantFwdRef(Record[i],
Chris Lattner522b7b12007-04-24 05:48:56 +00001003 STy->getElementType(i)));
Owen Anderson8fa33382009-07-27 22:29:26 +00001004 V = ConstantStruct::get(STy, Elts);
Chris Lattner522b7b12007-04-24 05:48:56 +00001005 } else if (const ArrayType *ATy = dyn_cast<ArrayType>(CurTy)) {
1006 const Type *EltTy = ATy->getElementType();
1007 for (unsigned i = 0; i != Size; ++i)
Chris Lattner15e6d172007-05-04 19:11:41 +00001008 Elts.push_back(ValueList.getConstantFwdRef(Record[i], EltTy));
Owen Anderson1fd70962009-07-28 18:32:17 +00001009 V = ConstantArray::get(ATy, Elts);
Chris Lattner522b7b12007-04-24 05:48:56 +00001010 } else if (const VectorType *VTy = dyn_cast<VectorType>(CurTy)) {
1011 const Type *EltTy = VTy->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 Andersonaf7ec972009-07-28 21:19:26 +00001014 V = ConstantVector::get(Elts);
Chris Lattner522b7b12007-04-24 05:48:56 +00001015 } else {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001016 V = UndefValue::get(CurTy);
Chris Lattner522b7b12007-04-24 05:48:56 +00001017 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001018 break;
1019 }
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001020 case bitc::CST_CODE_STRING: { // STRING: [values]
1021 if (Record.empty())
1022 return Error("Invalid CST_AGGREGATE record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001023
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001024 const ArrayType *ATy = cast<ArrayType>(CurTy);
1025 const Type *EltTy = ATy->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001026
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001027 unsigned Size = Record.size();
1028 std::vector<Constant*> Elts;
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001029 for (unsigned i = 0; i != Size; ++i)
Owen Andersoneed707b2009-07-24 23:12:02 +00001030 Elts.push_back(ConstantInt::get(EltTy, Record[i]));
Owen Anderson1fd70962009-07-28 18:32:17 +00001031 V = ConstantArray::get(ATy, Elts);
Chris Lattnerff7fc5d2007-05-06 00:35:24 +00001032 break;
1033 }
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001034 case bitc::CST_CODE_CSTRING: { // CSTRING: [values]
1035 if (Record.empty())
1036 return Error("Invalid CST_AGGREGATE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001037
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001038 const ArrayType *ATy = cast<ArrayType>(CurTy);
1039 const Type *EltTy = ATy->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001040
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001041 unsigned Size = Record.size();
1042 std::vector<Constant*> Elts;
1043 for (unsigned i = 0; i != Size; ++i)
Owen Andersoneed707b2009-07-24 23:12:02 +00001044 Elts.push_back(ConstantInt::get(EltTy, Record[i]));
Owen Andersona7235ea2009-07-31 20:28:14 +00001045 Elts.push_back(Constant::getNullValue(EltTy));
Owen Anderson1fd70962009-07-28 18:32:17 +00001046 V = ConstantArray::get(ATy, Elts);
Chris Lattnercb3d91b2007-05-06 00:53:07 +00001047 break;
1048 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001049 case bitc::CST_CODE_CE_BINOP: { // CE_BINOP: [opcode, opval, opval]
1050 if (Record.size() < 3) return Error("Invalid CE_BINOP record");
1051 int Opc = GetDecodedBinaryOpcode(Record[0], CurTy);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001052 if (Opc < 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001053 V = UndefValue::get(CurTy); // Unknown binop.
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001054 } else {
1055 Constant *LHS = ValueList.getConstantFwdRef(Record[1], CurTy);
1056 Constant *RHS = ValueList.getConstantFwdRef(Record[2], CurTy);
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001057 unsigned Flags = 0;
1058 if (Record.size() >= 4) {
1059 if (Opc == Instruction::Add ||
1060 Opc == Instruction::Sub ||
1061 Opc == Instruction::Mul) {
1062 if (Record[3] & (1 << bitc::OBO_NO_SIGNED_WRAP))
1063 Flags |= OverflowingBinaryOperator::NoSignedWrap;
1064 if (Record[3] & (1 << bitc::OBO_NO_UNSIGNED_WRAP))
1065 Flags |= OverflowingBinaryOperator::NoUnsignedWrap;
1066 } else if (Opc == Instruction::SDiv) {
1067 if (Record[3] & (1 << bitc::SDIV_EXACT))
1068 Flags |= SDivOperator::IsExact;
1069 }
1070 }
1071 V = ConstantExpr::get(Opc, LHS, RHS, Flags);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001072 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001073 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001074 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001075 case bitc::CST_CODE_CE_CAST: { // CE_CAST: [opcode, opty, opval]
1076 if (Record.size() < 3) return Error("Invalid CE_CAST record");
1077 int Opc = GetDecodedCastOpcode(Record[0]);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001078 if (Opc < 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001079 V = UndefValue::get(CurTy); // Unknown cast.
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001080 } else {
1081 const Type *OpTy = getTypeByID(Record[1]);
Chris Lattnerbfcc3802007-05-06 07:33:01 +00001082 if (!OpTy) return Error("Invalid CE_CAST record");
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001083 Constant *Op = ValueList.getConstantFwdRef(Record[2], OpTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001084 V = ConstantExpr::getCast(Opc, Op, CurTy);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001085 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001086 break;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001087 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001088 case bitc::CST_CODE_CE_INBOUNDS_GEP:
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001089 case bitc::CST_CODE_CE_GEP: { // CE_GEP: [n x operands]
Chris Lattner15e6d172007-05-04 19:11:41 +00001090 if (Record.size() & 1) return Error("Invalid CE_GEP record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001091 SmallVector<Constant*, 16> Elts;
Chris Lattner15e6d172007-05-04 19:11:41 +00001092 for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001093 const Type *ElTy = getTypeByID(Record[i]);
1094 if (!ElTy) return Error("Invalid CE_GEP record");
1095 Elts.push_back(ValueList.getConstantFwdRef(Record[i+1], ElTy));
1096 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001097 if (BitCode == bitc::CST_CODE_CE_INBOUNDS_GEP)
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001098 V = ConstantExpr::getInBoundsGetElementPtr(Elts[0], &Elts[1],
1099 Elts.size()-1);
1100 else
1101 V = ConstantExpr::getGetElementPtr(Elts[0], &Elts[1],
1102 Elts.size()-1);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001103 break;
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001104 }
1105 case bitc::CST_CODE_CE_SELECT: // CE_SELECT: [opval#, opval#, opval#]
1106 if (Record.size() < 3) return Error("Invalid CE_SELECT record");
Owen Andersonbaf3c402009-07-29 18:55:55 +00001107 V = ConstantExpr::getSelect(ValueList.getConstantFwdRef(Record[0],
Owen Anderson1d0be152009-08-13 21:58:54 +00001108 Type::getInt1Ty(Context)),
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001109 ValueList.getConstantFwdRef(Record[1],CurTy),
1110 ValueList.getConstantFwdRef(Record[2],CurTy));
1111 break;
1112 case bitc::CST_CODE_CE_EXTRACTELT: { // CE_EXTRACTELT: [opty, opval, opval]
1113 if (Record.size() < 3) return Error("Invalid CE_EXTRACTELT record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001114 const VectorType *OpTy =
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001115 dyn_cast_or_null<VectorType>(getTypeByID(Record[0]));
1116 if (OpTy == 0) return Error("Invalid CE_EXTRACTELT record");
1117 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
Owen Anderson1d0be152009-08-13 21:58:54 +00001118 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], Type::getInt32Ty(Context));
Owen Andersonbaf3c402009-07-29 18:55:55 +00001119 V = ConstantExpr::getExtractElement(Op0, Op1);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001120 break;
1121 }
1122 case bitc::CST_CODE_CE_INSERTELT: { // CE_INSERTELT: [opval, opval, opval]
1123 const VectorType *OpTy = dyn_cast<VectorType>(CurTy);
1124 if (Record.size() < 3 || OpTy == 0)
1125 return Error("Invalid CE_INSERTELT record");
1126 Constant *Op0 = ValueList.getConstantFwdRef(Record[0], OpTy);
1127 Constant *Op1 = ValueList.getConstantFwdRef(Record[1],
1128 OpTy->getElementType());
Owen Anderson1d0be152009-08-13 21:58:54 +00001129 Constant *Op2 = ValueList.getConstantFwdRef(Record[2], Type::getInt32Ty(Context));
Owen Andersonbaf3c402009-07-29 18:55:55 +00001130 V = ConstantExpr::getInsertElement(Op0, Op1, Op2);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001131 break;
1132 }
1133 case bitc::CST_CODE_CE_SHUFFLEVEC: { // CE_SHUFFLEVEC: [opval, opval, opval]
1134 const VectorType *OpTy = dyn_cast<VectorType>(CurTy);
1135 if (Record.size() < 3 || OpTy == 0)
Nate Begeman0f123cf2009-02-12 21:28:33 +00001136 return Error("Invalid CE_SHUFFLEVEC record");
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001137 Constant *Op0 = ValueList.getConstantFwdRef(Record[0], OpTy);
1138 Constant *Op1 = ValueList.getConstantFwdRef(Record[1], OpTy);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001139 const Type *ShufTy = VectorType::get(Type::getInt32Ty(Context),
Owen Anderson74a77812009-07-07 20:18:58 +00001140 OpTy->getNumElements());
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001141 Constant *Op2 = ValueList.getConstantFwdRef(Record[2], ShufTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001142 V = ConstantExpr::getShuffleVector(Op0, Op1, Op2);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001143 break;
1144 }
Nate Begeman0f123cf2009-02-12 21:28:33 +00001145 case bitc::CST_CODE_CE_SHUFVEC_EX: { // [opty, opval, opval, opval]
1146 const VectorType *RTy = dyn_cast<VectorType>(CurTy);
1147 const VectorType *OpTy = dyn_cast<VectorType>(getTypeByID(Record[0]));
1148 if (Record.size() < 4 || RTy == 0 || OpTy == 0)
1149 return Error("Invalid CE_SHUFVEC_EX record");
1150 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
1151 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], OpTy);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001152 const Type *ShufTy = VectorType::get(Type::getInt32Ty(Context),
Owen Anderson74a77812009-07-07 20:18:58 +00001153 RTy->getNumElements());
Nate Begeman0f123cf2009-02-12 21:28:33 +00001154 Constant *Op2 = ValueList.getConstantFwdRef(Record[3], ShufTy);
Owen Andersonbaf3c402009-07-29 18:55:55 +00001155 V = ConstantExpr::getShuffleVector(Op0, Op1, Op2);
Nate Begeman0f123cf2009-02-12 21:28:33 +00001156 break;
1157 }
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001158 case bitc::CST_CODE_CE_CMP: { // CE_CMP: [opty, opval, opval, pred]
1159 if (Record.size() < 4) return Error("Invalid CE_CMP record");
1160 const Type *OpTy = getTypeByID(Record[0]);
1161 if (OpTy == 0) return Error("Invalid CE_CMP record");
1162 Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
1163 Constant *Op1 = ValueList.getConstantFwdRef(Record[2], OpTy);
1164
1165 if (OpTy->isFloatingPoint())
Owen Andersonbaf3c402009-07-29 18:55:55 +00001166 V = ConstantExpr::getFCmp(Record[3], Op0, Op1);
Nate Begemanac80ade2008-05-12 19:01:56 +00001167 else
Owen Andersonbaf3c402009-07-29 18:55:55 +00001168 V = ConstantExpr::getICmp(Record[3], Op0, Op1);
Chris Lattnerf581c3b2007-04-24 07:07:11 +00001169 break;
Chris Lattner522b7b12007-04-24 05:48:56 +00001170 }
Chris Lattner2bce93a2007-05-06 01:58:20 +00001171 case bitc::CST_CODE_INLINEASM: {
1172 if (Record.size() < 2) return Error("Invalid INLINEASM record");
1173 std::string AsmStr, ConstrStr;
Dale Johannesen43602982009-10-13 20:46:56 +00001174 bool HasSideEffects = Record[0] & 1;
Dale Johannesen8ba2d5b2009-10-21 23:28:00 +00001175 bool IsAlignStack = Record[0] >> 1;
Chris Lattner2bce93a2007-05-06 01:58:20 +00001176 unsigned AsmStrSize = Record[1];
1177 if (2+AsmStrSize >= Record.size())
1178 return Error("Invalid INLINEASM record");
1179 unsigned ConstStrSize = Record[2+AsmStrSize];
1180 if (3+AsmStrSize+ConstStrSize > Record.size())
1181 return Error("Invalid INLINEASM record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001182
Chris Lattner2bce93a2007-05-06 01:58:20 +00001183 for (unsigned i = 0; i != AsmStrSize; ++i)
1184 AsmStr += (char)Record[2+i];
1185 for (unsigned i = 0; i != ConstStrSize; ++i)
1186 ConstrStr += (char)Record[3+AsmStrSize+i];
1187 const PointerType *PTy = cast<PointerType>(CurTy);
1188 V = InlineAsm::get(cast<FunctionType>(PTy->getElementType()),
Dale Johannesen8ba2d5b2009-10-21 23:28:00 +00001189 AsmStr, ConstrStr, HasSideEffects, IsAlignStack);
Chris Lattner2bce93a2007-05-06 01:58:20 +00001190 break;
1191 }
Chris Lattner50b136d2009-10-28 05:53:48 +00001192 case bitc::CST_CODE_BLOCKADDRESS:{
1193 if (Record.size() < 3) return Error("Invalid CE_BLOCKADDRESS record");
1194 const Type *FnTy = getTypeByID(Record[0]);
1195 if (FnTy == 0) return Error("Invalid CE_BLOCKADDRESS record");
1196 Function *Fn =
1197 dyn_cast_or_null<Function>(ValueList.getConstantFwdRef(Record[1],FnTy));
1198 if (Fn == 0) return Error("Invalid CE_BLOCKADDRESS record");
1199
1200 GlobalVariable *FwdRef = new GlobalVariable(*Fn->getParent(),
1201 Type::getInt8Ty(Context),
1202 false, GlobalValue::InternalLinkage,
1203 0, "");
1204 BlockAddrFwdRefs[Fn].push_back(std::make_pair(Record[2], FwdRef));
1205 V = FwdRef;
1206 break;
1207 }
Chris Lattnere16504e2007-04-24 03:30:34 +00001208 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001209
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001210 ValueList.AssignValue(V, NextCstNo);
Chris Lattner522b7b12007-04-24 05:48:56 +00001211 ++NextCstNo;
Chris Lattnere16504e2007-04-24 03:30:34 +00001212 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001213
Chris Lattnerea693df2008-08-21 02:34:16 +00001214 if (NextCstNo != ValueList.size())
1215 return Error("Invalid constant reference!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001216
Chris Lattnerea693df2008-08-21 02:34:16 +00001217 if (Stream.ReadBlockEnd())
1218 return Error("Error at end of constants block");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001219
Chris Lattnerea693df2008-08-21 02:34:16 +00001220 // Once all the constants have been read, go through and resolve forward
1221 // references.
1222 ValueList.ResolveConstantForwardRefs();
1223 return false;
Chris Lattnere16504e2007-04-24 03:30:34 +00001224}
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001225
Chris Lattner980e5aa2007-05-01 05:52:21 +00001226/// RememberAndSkipFunctionBody - When we see the block for a function body,
1227/// remember where it is and then skip it. This lets us lazily deserialize the
1228/// functions.
1229bool BitcodeReader::RememberAndSkipFunctionBody() {
Chris Lattner48f84872007-05-01 04:59:48 +00001230 // Get the function we are talking about.
1231 if (FunctionsWithBodies.empty())
1232 return Error("Insufficient function protos");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001233
Chris Lattner48f84872007-05-01 04:59:48 +00001234 Function *Fn = FunctionsWithBodies.back();
1235 FunctionsWithBodies.pop_back();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001236
Chris Lattner48f84872007-05-01 04:59:48 +00001237 // Save the current stream state.
1238 uint64_t CurBit = Stream.GetCurrentBitNo();
1239 DeferredFunctionInfo[Fn] = std::make_pair(CurBit, Fn->getLinkage());
Daniel Dunbara279bc32009-09-20 02:20:51 +00001240
Chris Lattner48f84872007-05-01 04:59:48 +00001241 // Set the functions linkage to GhostLinkage so we know it is lazily
1242 // deserialized.
1243 Fn->setLinkage(GlobalValue::GhostLinkage);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001244
Chris Lattner48f84872007-05-01 04:59:48 +00001245 // Skip over the function block for now.
1246 if (Stream.SkipBlock())
1247 return Error("Malformed block record");
1248 return false;
1249}
1250
Chris Lattner86697142007-05-01 05:01:34 +00001251bool BitcodeReader::ParseModule(const std::string &ModuleID) {
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001252 // Reject multiple MODULE_BLOCK's in a single bitstream.
1253 if (TheModule)
1254 return Error("Multiple MODULE_BLOCKs in same stream");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001255
Chris Lattnere17b6582007-05-05 00:17:00 +00001256 if (Stream.EnterSubBlock(bitc::MODULE_BLOCK_ID))
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001257 return Error("Malformed block record");
1258
1259 // Otherwise, create the module.
Owen Anderson8b477ed2009-07-01 16:58:40 +00001260 TheModule = new Module(ModuleID, Context);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001261
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001262 SmallVector<uint64_t, 64> Record;
1263 std::vector<std::string> SectionTable;
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001264 std::vector<std::string> GCTable;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001265
1266 // Read all the records for this module.
1267 while (!Stream.AtEndOfStream()) {
1268 unsigned Code = Stream.ReadCode();
Chris Lattnere84bcb92007-04-24 00:21:45 +00001269 if (Code == bitc::END_BLOCK) {
Chris Lattner980e5aa2007-05-01 05:52:21 +00001270 if (Stream.ReadBlockEnd())
1271 return Error("Error at end of module block");
1272
1273 // Patch the initializers for globals and aliases up.
Chris Lattner07d98b42007-04-26 02:46:40 +00001274 ResolveGlobalAndAliasInits();
1275 if (!GlobalInits.empty() || !AliasInits.empty())
Chris Lattnere84bcb92007-04-24 00:21:45 +00001276 return Error("Malformed global initializer set");
Chris Lattner48f84872007-05-01 04:59:48 +00001277 if (!FunctionsWithBodies.empty())
1278 return Error("Too few function bodies found");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001279
Chandler Carruth69940402007-08-04 01:51:18 +00001280 // Look for intrinsic functions which need to be upgraded at some point
1281 for (Module::iterator FI = TheModule->begin(), FE = TheModule->end();
1282 FI != FE; ++FI) {
Evan Chengf9b83fc2007-12-17 22:33:23 +00001283 Function* NewFn;
1284 if (UpgradeIntrinsicFunction(FI, NewFn))
Chandler Carruth69940402007-08-04 01:51:18 +00001285 UpgradedIntrinsics.push_back(std::make_pair(FI, NewFn));
1286 }
1287
Chris Lattner980e5aa2007-05-01 05:52:21 +00001288 // Force deallocation of memory for these vectors to favor the client that
1289 // want lazy deserialization.
1290 std::vector<std::pair<GlobalVariable*, unsigned> >().swap(GlobalInits);
1291 std::vector<std::pair<GlobalAlias*, unsigned> >().swap(AliasInits);
1292 std::vector<Function*>().swap(FunctionsWithBodies);
Chris Lattnerf66d20d2007-04-24 18:15:21 +00001293 return false;
Chris Lattnere84bcb92007-04-24 00:21:45 +00001294 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001295
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001296 if (Code == bitc::ENTER_SUBBLOCK) {
1297 switch (Stream.ReadSubBlockID()) {
1298 default: // Skip unknown content.
1299 if (Stream.SkipBlock())
1300 return Error("Malformed block record");
1301 break;
Chris Lattner3f799802007-05-05 18:57:30 +00001302 case bitc::BLOCKINFO_BLOCK_ID:
1303 if (Stream.ReadBlockInfoBlock())
1304 return Error("Malformed BlockInfoBlock");
1305 break;
Chris Lattner48c85b82007-05-04 03:30:17 +00001306 case bitc::PARAMATTR_BLOCK_ID:
Devang Patel05988662008-09-25 21:00:45 +00001307 if (ParseAttributeBlock())
Chris Lattner48c85b82007-05-04 03:30:17 +00001308 return true;
1309 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001310 case bitc::TYPE_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001311 if (ParseTypeTable())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001312 return true;
1313 break;
1314 case bitc::TYPE_SYMTAB_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001315 if (ParseTypeSymbolTable())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001316 return true;
1317 break;
Chris Lattner0b2482a2007-04-23 21:26:05 +00001318 case bitc::VALUE_SYMTAB_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001319 if (ParseValueSymbolTable())
Chris Lattner0b2482a2007-04-23 21:26:05 +00001320 return true;
1321 break;
Chris Lattnere16504e2007-04-24 03:30:34 +00001322 case bitc::CONSTANTS_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001323 if (ParseConstants() || ResolveGlobalAndAliasInits())
Chris Lattnere16504e2007-04-24 03:30:34 +00001324 return true;
1325 break;
Devang Patele54abc92009-07-22 17:43:22 +00001326 case bitc::METADATA_BLOCK_ID:
1327 if (ParseMetadata())
1328 return true;
1329 break;
Chris Lattner48f84872007-05-01 04:59:48 +00001330 case bitc::FUNCTION_BLOCK_ID:
1331 // If this is the first function body we've seen, reverse the
1332 // FunctionsWithBodies list.
1333 if (!HasReversedFunctionsWithBodies) {
1334 std::reverse(FunctionsWithBodies.begin(), FunctionsWithBodies.end());
1335 HasReversedFunctionsWithBodies = true;
1336 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001337
Chris Lattner980e5aa2007-05-01 05:52:21 +00001338 if (RememberAndSkipFunctionBody())
Chris Lattner48f84872007-05-01 04:59:48 +00001339 return true;
1340 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001341 }
1342 continue;
1343 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001344
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001345 if (Code == bitc::DEFINE_ABBREV) {
Chris Lattnerd127c1b2007-04-23 18:58:34 +00001346 Stream.ReadAbbrevRecord();
1347 continue;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001348 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001349
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001350 // Read a record.
1351 switch (Stream.ReadRecord(Code, Record)) {
1352 default: break; // Default behavior, ignore unknown content.
1353 case bitc::MODULE_CODE_VERSION: // VERSION: [version#]
1354 if (Record.size() < 1)
1355 return Error("Malformed MODULE_CODE_VERSION");
1356 // Only version #0 is supported so far.
1357 if (Record[0] != 0)
1358 return Error("Unknown bitstream version!");
1359 break;
Chris Lattner15e6d172007-05-04 19:11:41 +00001360 case bitc::MODULE_CODE_TRIPLE: { // TRIPLE: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001361 std::string S;
1362 if (ConvertToString(Record, 0, S))
1363 return Error("Invalid MODULE_CODE_TRIPLE record");
1364 TheModule->setTargetTriple(S);
1365 break;
1366 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001367 case bitc::MODULE_CODE_DATALAYOUT: { // DATALAYOUT: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001368 std::string S;
1369 if (ConvertToString(Record, 0, S))
1370 return Error("Invalid MODULE_CODE_DATALAYOUT record");
1371 TheModule->setDataLayout(S);
1372 break;
1373 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001374 case bitc::MODULE_CODE_ASM: { // ASM: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001375 std::string S;
1376 if (ConvertToString(Record, 0, S))
1377 return Error("Invalid MODULE_CODE_ASM record");
1378 TheModule->setModuleInlineAsm(S);
1379 break;
1380 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001381 case bitc::MODULE_CODE_DEPLIB: { // DEPLIB: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001382 std::string S;
1383 if (ConvertToString(Record, 0, S))
1384 return Error("Invalid MODULE_CODE_DEPLIB record");
1385 TheModule->addLibrary(S);
1386 break;
1387 }
Chris Lattner15e6d172007-05-04 19:11:41 +00001388 case bitc::MODULE_CODE_SECTIONNAME: { // SECTIONNAME: [strchr x N]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001389 std::string S;
1390 if (ConvertToString(Record, 0, S))
1391 return Error("Invalid MODULE_CODE_SECTIONNAME record");
1392 SectionTable.push_back(S);
1393 break;
1394 }
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001395 case bitc::MODULE_CODE_GCNAME: { // SECTIONNAME: [strchr x N]
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001396 std::string S;
1397 if (ConvertToString(Record, 0, S))
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001398 return Error("Invalid MODULE_CODE_GCNAME record");
1399 GCTable.push_back(S);
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001400 break;
1401 }
Christopher Lambfe63fb92007-12-11 08:59:05 +00001402 // GLOBALVAR: [pointer type, isconst, initid,
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001403 // linkage, alignment, section, visibility, threadlocal]
1404 case bitc::MODULE_CODE_GLOBALVAR: {
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001405 if (Record.size() < 6)
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001406 return Error("Invalid MODULE_CODE_GLOBALVAR record");
1407 const Type *Ty = getTypeByID(Record[0]);
1408 if (!isa<PointerType>(Ty))
1409 return Error("Global not a pointer type!");
Christopher Lambfe63fb92007-12-11 08:59:05 +00001410 unsigned AddressSpace = cast<PointerType>(Ty)->getAddressSpace();
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001411 Ty = cast<PointerType>(Ty)->getElementType();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001412
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001413 bool isConstant = Record[1];
1414 GlobalValue::LinkageTypes Linkage = GetDecodedLinkage(Record[3]);
1415 unsigned Alignment = (1 << Record[4]) >> 1;
1416 std::string Section;
1417 if (Record[5]) {
1418 if (Record[5]-1 >= SectionTable.size())
1419 return Error("Invalid section ID");
1420 Section = SectionTable[Record[5]-1];
1421 }
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001422 GlobalValue::VisibilityTypes Visibility = GlobalValue::DefaultVisibility;
Chris Lattner5f32c012007-05-06 19:27:46 +00001423 if (Record.size() > 6)
1424 Visibility = GetDecodedVisibility(Record[6]);
Chris Lattner36d5e7d2007-04-23 16:04:05 +00001425 bool isThreadLocal = false;
Chris Lattner5f32c012007-05-06 19:27:46 +00001426 if (Record.size() > 7)
1427 isThreadLocal = Record[7];
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001428
1429 GlobalVariable *NewGV =
Daniel Dunbara279bc32009-09-20 02:20:51 +00001430 new GlobalVariable(*TheModule, Ty, isConstant, Linkage, 0, "", 0,
Christopher Lambfe63fb92007-12-11 08:59:05 +00001431 isThreadLocal, AddressSpace);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001432 NewGV->setAlignment(Alignment);
1433 if (!Section.empty())
1434 NewGV->setSection(Section);
1435 NewGV->setVisibility(Visibility);
1436 NewGV->setThreadLocal(isThreadLocal);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001437
Chris Lattner0b2482a2007-04-23 21:26:05 +00001438 ValueList.push_back(NewGV);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001439
Chris Lattner6dbfd7b2007-04-24 00:18:21 +00001440 // Remember which value to use for the global initializer.
1441 if (unsigned InitID = Record[2])
1442 GlobalInits.push_back(std::make_pair(NewGV, InitID-1));
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001443 break;
1444 }
Chris Lattnera9bb7132007-05-08 05:38:01 +00001445 // FUNCTION: [type, callingconv, isproto, linkage, paramattr,
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001446 // alignment, section, visibility, gc]
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001447 case bitc::MODULE_CODE_FUNCTION: {
Chris Lattnera9bb7132007-05-08 05:38:01 +00001448 if (Record.size() < 8)
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001449 return Error("Invalid MODULE_CODE_FUNCTION record");
1450 const Type *Ty = getTypeByID(Record[0]);
1451 if (!isa<PointerType>(Ty))
1452 return Error("Function not a pointer type!");
1453 const FunctionType *FTy =
1454 dyn_cast<FunctionType>(cast<PointerType>(Ty)->getElementType());
1455 if (!FTy)
1456 return Error("Function not a pointer to function type!");
1457
Gabor Greif051a9502008-04-06 20:25:17 +00001458 Function *Func = Function::Create(FTy, GlobalValue::ExternalLinkage,
1459 "", TheModule);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001460
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00001461 Func->setCallingConv(static_cast<CallingConv::ID>(Record[1]));
Chris Lattner48f84872007-05-01 04:59:48 +00001462 bool isProto = Record[2];
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001463 Func->setLinkage(GetDecodedLinkage(Record[3]));
Devang Patel05988662008-09-25 21:00:45 +00001464 Func->setAttributes(getAttributes(Record[4]));
Daniel Dunbara279bc32009-09-20 02:20:51 +00001465
Chris Lattnera9bb7132007-05-08 05:38:01 +00001466 Func->setAlignment((1 << Record[5]) >> 1);
1467 if (Record[6]) {
1468 if (Record[6]-1 >= SectionTable.size())
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001469 return Error("Invalid section ID");
Chris Lattnera9bb7132007-05-08 05:38:01 +00001470 Func->setSection(SectionTable[Record[6]-1]);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001471 }
Chris Lattnera9bb7132007-05-08 05:38:01 +00001472 Func->setVisibility(GetDecodedVisibility(Record[7]));
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001473 if (Record.size() > 8 && Record[8]) {
Gordon Henriksen5eca0752008-08-17 18:44:35 +00001474 if (Record[8]-1 > GCTable.size())
1475 return Error("Invalid GC ID");
1476 Func->setGC(GCTable[Record[8]-1].c_str());
Gordon Henriksen80a75bf2007-12-10 03:18:06 +00001477 }
Chris Lattner0b2482a2007-04-23 21:26:05 +00001478 ValueList.push_back(Func);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001479
Chris Lattner48f84872007-05-01 04:59:48 +00001480 // If this is a function with a body, remember the prototype we are
1481 // creating now, so that we can match up the body with them later.
1482 if (!isProto)
1483 FunctionsWithBodies.push_back(Func);
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001484 break;
1485 }
Anton Korobeynikov91342d82008-03-12 00:49:19 +00001486 // ALIAS: [alias type, aliasee val#, linkage]
Anton Korobeynikovf8342b92008-03-11 21:40:17 +00001487 // ALIAS: [alias type, aliasee val#, linkage, visibility]
Chris Lattner198f34a2007-04-26 03:27:58 +00001488 case bitc::MODULE_CODE_ALIAS: {
Chris Lattner07d98b42007-04-26 02:46:40 +00001489 if (Record.size() < 3)
1490 return Error("Invalid MODULE_ALIAS record");
1491 const Type *Ty = getTypeByID(Record[0]);
1492 if (!isa<PointerType>(Ty))
1493 return Error("Function not a pointer type!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001494
Chris Lattner07d98b42007-04-26 02:46:40 +00001495 GlobalAlias *NewGA = new GlobalAlias(Ty, GetDecodedLinkage(Record[2]),
1496 "", 0, TheModule);
Anton Korobeynikov91342d82008-03-12 00:49:19 +00001497 // Old bitcode files didn't have visibility field.
1498 if (Record.size() > 3)
1499 NewGA->setVisibility(GetDecodedVisibility(Record[3]));
Chris Lattner07d98b42007-04-26 02:46:40 +00001500 ValueList.push_back(NewGA);
1501 AliasInits.push_back(std::make_pair(NewGA, Record[1]));
1502 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001503 }
Chris Lattner198f34a2007-04-26 03:27:58 +00001504 /// MODULE_CODE_PURGEVALS: [numvals]
1505 case bitc::MODULE_CODE_PURGEVALS:
1506 // Trim down the value list to the specified size.
1507 if (Record.size() < 1 || Record[0] > ValueList.size())
1508 return Error("Invalid MODULE_PURGEVALS record");
1509 ValueList.shrinkTo(Record[0]);
1510 break;
1511 }
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001512 Record.clear();
1513 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001514
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001515 return Error("Premature end of bitstream");
1516}
1517
Chris Lattnerc453f762007-04-29 07:54:31 +00001518bool BitcodeReader::ParseBitcode() {
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001519 TheModule = 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001520
Chris Lattnerc453f762007-04-29 07:54:31 +00001521 if (Buffer->getBufferSize() & 3)
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001522 return Error("Bitcode stream should be a multiple of 4 bytes in length");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001523
Chris Lattnerc453f762007-04-29 07:54:31 +00001524 unsigned char *BufPtr = (unsigned char *)Buffer->getBufferStart();
Chris Lattner6fa6a322008-07-09 05:14:23 +00001525 unsigned char *BufEnd = BufPtr+Buffer->getBufferSize();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001526
Chris Lattner6fa6a322008-07-09 05:14:23 +00001527 // If we have a wrapper header, parse it and ignore the non-bc file contents.
1528 // The magic number is 0x0B17C0DE stored in little endian.
Chris Lattnere2a466b2009-04-06 20:54:32 +00001529 if (isBitcodeWrapper(BufPtr, BufEnd))
1530 if (SkipBitcodeWrapperHeader(BufPtr, BufEnd))
Chris Lattner6fa6a322008-07-09 05:14:23 +00001531 return Error("Invalid bitcode wrapper header");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001532
Chris Lattner962dde32009-04-26 20:59:02 +00001533 StreamFile.init(BufPtr, BufEnd);
1534 Stream.init(StreamFile);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001535
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001536 // Sniff for the signature.
1537 if (Stream.Read(8) != 'B' ||
1538 Stream.Read(8) != 'C' ||
1539 Stream.Read(4) != 0x0 ||
1540 Stream.Read(4) != 0xC ||
1541 Stream.Read(4) != 0xE ||
1542 Stream.Read(4) != 0xD)
1543 return Error("Invalid bitcode signature");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001544
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001545 // We expect a number of well-defined blocks, though we don't necessarily
1546 // need to understand them all.
1547 while (!Stream.AtEndOfStream()) {
1548 unsigned Code = Stream.ReadCode();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001549
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001550 if (Code != bitc::ENTER_SUBBLOCK)
1551 return Error("Invalid record at top-level");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001552
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001553 unsigned BlockID = Stream.ReadSubBlockID();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001554
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001555 // We only know the MODULE subblock ID.
Chris Lattnere17b6582007-05-05 00:17:00 +00001556 switch (BlockID) {
1557 case bitc::BLOCKINFO_BLOCK_ID:
1558 if (Stream.ReadBlockInfoBlock())
1559 return Error("Malformed BlockInfoBlock");
1560 break;
1561 case bitc::MODULE_BLOCK_ID:
Chris Lattner86697142007-05-01 05:01:34 +00001562 if (ParseModule(Buffer->getBufferIdentifier()))
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001563 return true;
Chris Lattnere17b6582007-05-05 00:17:00 +00001564 break;
1565 default:
1566 if (Stream.SkipBlock())
1567 return Error("Malformed block record");
1568 break;
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001569 }
1570 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001571
Chris Lattnercaee0dc2007-04-22 06:23:29 +00001572 return false;
1573}
Chris Lattnerc453f762007-04-29 07:54:31 +00001574
Devang Patele8e02132009-09-18 19:26:43 +00001575/// ParseMetadataAttachment - Parse metadata attachments.
1576bool BitcodeReader::ParseMetadataAttachment() {
1577 if (Stream.EnterSubBlock(bitc::METADATA_ATTACHMENT_ID))
1578 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001579
Devang Patele8e02132009-09-18 19:26:43 +00001580 SmallVector<uint64_t, 64> Record;
1581 while(1) {
1582 unsigned Code = Stream.ReadCode();
1583 if (Code == bitc::END_BLOCK) {
1584 if (Stream.ReadBlockEnd())
Daniel Dunbara279bc32009-09-20 02:20:51 +00001585 return Error("Error at end of PARAMATTR block");
Devang Patele8e02132009-09-18 19:26:43 +00001586 break;
1587 }
1588 if (Code == bitc::DEFINE_ABBREV) {
1589 Stream.ReadAbbrevRecord();
1590 continue;
1591 }
1592 // Read a metadata attachment record.
1593 Record.clear();
1594 switch (Stream.ReadRecord(Code, Record)) {
1595 default: // Default behavior: ignore.
1596 break;
1597 case bitc::METADATA_ATTACHMENT: {
1598 unsigned RecordLength = Record.size();
1599 if (Record.empty() || (RecordLength - 1) % 2 == 1)
Daniel Dunbara279bc32009-09-20 02:20:51 +00001600 return Error ("Invalid METADATA_ATTACHMENT reader!");
Devang Patele8e02132009-09-18 19:26:43 +00001601 Instruction *Inst = InstructionList[Record[0]];
1602 for (unsigned i = 1; i != RecordLength; i = i+2) {
Devang Patela2148402009-09-28 21:14:55 +00001603 unsigned Kind = Record[i];
Daniel Dunbara279bc32009-09-20 02:20:51 +00001604 Value *Node = MDValueList.getValueFwdRef(Record[i+1]);
Chris Lattner3990b122009-12-28 23:41:32 +00001605 Inst->setMetadata(Kind, cast<MDNode>(Node));
Devang Patele8e02132009-09-18 19:26:43 +00001606 }
1607 break;
1608 }
1609 }
1610 }
1611 return false;
1612}
Chris Lattner48f84872007-05-01 04:59:48 +00001613
Chris Lattner980e5aa2007-05-01 05:52:21 +00001614/// ParseFunctionBody - Lazily parse the specified function body block.
1615bool BitcodeReader::ParseFunctionBody(Function *F) {
Chris Lattnere17b6582007-05-05 00:17:00 +00001616 if (Stream.EnterSubBlock(bitc::FUNCTION_BLOCK_ID))
Chris Lattner980e5aa2007-05-01 05:52:21 +00001617 return Error("Malformed block record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001618
Chris Lattner980e5aa2007-05-01 05:52:21 +00001619 unsigned ModuleValueListSize = ValueList.size();
Daniel Dunbara279bc32009-09-20 02:20:51 +00001620
Chris Lattner980e5aa2007-05-01 05:52:21 +00001621 // Add all the function arguments to the value table.
1622 for(Function::arg_iterator I = F->arg_begin(), E = F->arg_end(); I != E; ++I)
1623 ValueList.push_back(I);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001624
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001625 unsigned NextValueNo = ValueList.size();
Chris Lattner231cbcb2007-05-02 04:27:25 +00001626 BasicBlock *CurBB = 0;
1627 unsigned CurBBNo = 0;
1628
Chris Lattner980e5aa2007-05-01 05:52:21 +00001629 // Read all the records.
1630 SmallVector<uint64_t, 64> Record;
1631 while (1) {
1632 unsigned Code = Stream.ReadCode();
1633 if (Code == bitc::END_BLOCK) {
1634 if (Stream.ReadBlockEnd())
1635 return Error("Error at end of function block");
1636 break;
1637 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001638
Chris Lattner980e5aa2007-05-01 05:52:21 +00001639 if (Code == bitc::ENTER_SUBBLOCK) {
1640 switch (Stream.ReadSubBlockID()) {
1641 default: // Skip unknown content.
1642 if (Stream.SkipBlock())
1643 return Error("Malformed block record");
1644 break;
1645 case bitc::CONSTANTS_BLOCK_ID:
1646 if (ParseConstants()) return true;
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001647 NextValueNo = ValueList.size();
Chris Lattner980e5aa2007-05-01 05:52:21 +00001648 break;
1649 case bitc::VALUE_SYMTAB_BLOCK_ID:
1650 if (ParseValueSymbolTable()) return true;
1651 break;
Devang Patele8e02132009-09-18 19:26:43 +00001652 case bitc::METADATA_ATTACHMENT_ID:
Daniel Dunbara279bc32009-09-20 02:20:51 +00001653 if (ParseMetadataAttachment()) return true;
1654 break;
Chris Lattner980e5aa2007-05-01 05:52:21 +00001655 }
1656 continue;
1657 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001658
Chris Lattner980e5aa2007-05-01 05:52:21 +00001659 if (Code == bitc::DEFINE_ABBREV) {
1660 Stream.ReadAbbrevRecord();
1661 continue;
1662 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001663
Chris Lattner980e5aa2007-05-01 05:52:21 +00001664 // Read a record.
1665 Record.clear();
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001666 Instruction *I = 0;
Dan Gohman1224c382009-07-20 21:19:07 +00001667 unsigned BitCode = Stream.ReadRecord(Code, Record);
1668 switch (BitCode) {
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001669 default: // Default behavior: reject
1670 return Error("Unknown instruction");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001671 case bitc::FUNC_CODE_DECLAREBLOCKS: // DECLAREBLOCKS: [nblocks]
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001672 if (Record.size() < 1 || Record[0] == 0)
1673 return Error("Invalid DECLAREBLOCKS record");
Chris Lattner980e5aa2007-05-01 05:52:21 +00001674 // Create all the basic blocks for the function.
Chris Lattnerf61e6452007-05-03 22:09:51 +00001675 FunctionBBs.resize(Record[0]);
Chris Lattner980e5aa2007-05-01 05:52:21 +00001676 for (unsigned i = 0, e = FunctionBBs.size(); i != e; ++i)
Owen Anderson1d0be152009-08-13 21:58:54 +00001677 FunctionBBs[i] = BasicBlock::Create(Context, "", F);
Chris Lattnera7c49aa2007-05-01 07:01:57 +00001678 CurBB = FunctionBBs[0];
1679 continue;
Daniel Dunbara279bc32009-09-20 02:20:51 +00001680
Chris Lattnerabfbf852007-05-06 00:21:25 +00001681 case bitc::FUNC_CODE_INST_BINOP: { // BINOP: [opval, ty, opval, opcode]
1682 unsigned OpNum = 0;
1683 Value *LHS, *RHS;
1684 if (getValueTypePair(Record, OpNum, NextValueNo, LHS) ||
1685 getValue(Record, OpNum, LHS->getType(), RHS) ||
Dan Gohman1224c382009-07-20 21:19:07 +00001686 OpNum+1 > Record.size())
Chris Lattnerabfbf852007-05-06 00:21:25 +00001687 return Error("Invalid BINOP record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001688
Dan Gohman1224c382009-07-20 21:19:07 +00001689 int Opc = GetDecodedBinaryOpcode(Record[OpNum++], LHS->getType());
Chris Lattnerabfbf852007-05-06 00:21:25 +00001690 if (Opc == -1) return Error("Invalid BINOP record");
Gabor Greif7cbd8a32008-05-16 19:29:10 +00001691 I = BinaryOperator::Create((Instruction::BinaryOps)Opc, LHS, RHS);
Devang Patele8e02132009-09-18 19:26:43 +00001692 InstructionList.push_back(I);
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001693 if (OpNum < Record.size()) {
1694 if (Opc == Instruction::Add ||
1695 Opc == Instruction::Sub ||
1696 Opc == Instruction::Mul) {
1697 if (Record[3] & (1 << bitc::OBO_NO_SIGNED_WRAP))
1698 cast<BinaryOperator>(I)->setHasNoSignedWrap(true);
1699 if (Record[3] & (1 << bitc::OBO_NO_UNSIGNED_WRAP))
1700 cast<BinaryOperator>(I)->setHasNoUnsignedWrap(true);
1701 } else if (Opc == Instruction::SDiv) {
1702 if (Record[3] & (1 << bitc::SDIV_EXACT))
1703 cast<BinaryOperator>(I)->setIsExact(true);
1704 }
1705 }
Chris Lattner980e5aa2007-05-01 05:52:21 +00001706 break;
1707 }
Chris Lattnerabfbf852007-05-06 00:21:25 +00001708 case bitc::FUNC_CODE_INST_CAST: { // CAST: [opval, opty, destty, castopc]
1709 unsigned OpNum = 0;
1710 Value *Op;
1711 if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
1712 OpNum+2 != Record.size())
1713 return Error("Invalid CAST record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001714
Chris Lattnerabfbf852007-05-06 00:21:25 +00001715 const Type *ResTy = getTypeByID(Record[OpNum]);
1716 int Opc = GetDecodedCastOpcode(Record[OpNum+1]);
1717 if (Opc == -1 || ResTy == 0)
Chris Lattner231cbcb2007-05-02 04:27:25 +00001718 return Error("Invalid CAST record");
Gabor Greif7cbd8a32008-05-16 19:29:10 +00001719 I = CastInst::Create((Instruction::CastOps)Opc, Op, ResTy);
Devang Patele8e02132009-09-18 19:26:43 +00001720 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00001721 break;
1722 }
Dan Gohmandd8004d2009-07-27 21:53:46 +00001723 case bitc::FUNC_CODE_INST_INBOUNDS_GEP:
Chris Lattner15e6d172007-05-04 19:11:41 +00001724 case bitc::FUNC_CODE_INST_GEP: { // GEP: [n x operands]
Chris Lattner7337ab92007-05-06 00:00:00 +00001725 unsigned OpNum = 0;
1726 Value *BasePtr;
1727 if (getValueTypePair(Record, OpNum, NextValueNo, BasePtr))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001728 return Error("Invalid GEP record");
1729
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001730 SmallVector<Value*, 16> GEPIdx;
Chris Lattner7337ab92007-05-06 00:00:00 +00001731 while (OpNum != Record.size()) {
1732 Value *Op;
1733 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001734 return Error("Invalid GEP record");
Chris Lattner7337ab92007-05-06 00:00:00 +00001735 GEPIdx.push_back(Op);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001736 }
1737
Gabor Greif051a9502008-04-06 20:25:17 +00001738 I = GetElementPtrInst::Create(BasePtr, GEPIdx.begin(), GEPIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001739 InstructionList.push_back(I);
Dan Gohmandd8004d2009-07-27 21:53:46 +00001740 if (BitCode == bitc::FUNC_CODE_INST_INBOUNDS_GEP)
Dan Gohmanf8dbee72009-09-07 23:54:19 +00001741 cast<GetElementPtrInst>(I)->setIsInBounds(true);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001742 break;
1743 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001744
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001745 case bitc::FUNC_CODE_INST_EXTRACTVAL: {
1746 // EXTRACTVAL: [opty, opval, n x indices]
Dan Gohmane4977cf2008-05-23 01:55:30 +00001747 unsigned OpNum = 0;
1748 Value *Agg;
1749 if (getValueTypePair(Record, OpNum, NextValueNo, Agg))
1750 return Error("Invalid EXTRACTVAL record");
1751
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001752 SmallVector<unsigned, 4> EXTRACTVALIdx;
1753 for (unsigned RecSize = Record.size();
1754 OpNum != RecSize; ++OpNum) {
1755 uint64_t Index = Record[OpNum];
1756 if ((unsigned)Index != Index)
1757 return Error("Invalid EXTRACTVAL index");
1758 EXTRACTVALIdx.push_back((unsigned)Index);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001759 }
1760
1761 I = ExtractValueInst::Create(Agg,
1762 EXTRACTVALIdx.begin(), EXTRACTVALIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001763 InstructionList.push_back(I);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001764 break;
1765 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001766
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001767 case bitc::FUNC_CODE_INST_INSERTVAL: {
1768 // INSERTVAL: [opty, opval, opty, opval, n x indices]
Dan Gohmane4977cf2008-05-23 01:55:30 +00001769 unsigned OpNum = 0;
1770 Value *Agg;
1771 if (getValueTypePair(Record, OpNum, NextValueNo, Agg))
1772 return Error("Invalid INSERTVAL record");
1773 Value *Val;
1774 if (getValueTypePair(Record, OpNum, NextValueNo, Val))
1775 return Error("Invalid INSERTVAL record");
1776
Dan Gohman81a0c0b2008-05-31 00:58:22 +00001777 SmallVector<unsigned, 4> INSERTVALIdx;
1778 for (unsigned RecSize = Record.size();
1779 OpNum != RecSize; ++OpNum) {
1780 uint64_t Index = Record[OpNum];
1781 if ((unsigned)Index != Index)
1782 return Error("Invalid INSERTVAL index");
1783 INSERTVALIdx.push_back((unsigned)Index);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001784 }
1785
1786 I = InsertValueInst::Create(Agg, Val,
1787 INSERTVALIdx.begin(), INSERTVALIdx.end());
Devang Patele8e02132009-09-18 19:26:43 +00001788 InstructionList.push_back(I);
Dan Gohmane4977cf2008-05-23 01:55:30 +00001789 break;
1790 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001791
Chris Lattnerabfbf852007-05-06 00:21:25 +00001792 case bitc::FUNC_CODE_INST_SELECT: { // SELECT: [opval, ty, opval, opval]
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001793 // obsolete form of select
1794 // handles select i1 ... in old bitcode
Chris Lattnerabfbf852007-05-06 00:21:25 +00001795 unsigned OpNum = 0;
1796 Value *TrueVal, *FalseVal, *Cond;
1797 if (getValueTypePair(Record, OpNum, NextValueNo, TrueVal) ||
1798 getValue(Record, OpNum, TrueVal->getType(), FalseVal) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00001799 getValue(Record, OpNum, Type::getInt1Ty(Context), Cond))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001800 return Error("Invalid SELECT record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001801
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001802 I = SelectInst::Create(Cond, TrueVal, FalseVal);
Devang Patele8e02132009-09-18 19:26:43 +00001803 InstructionList.push_back(I);
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001804 break;
1805 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001806
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001807 case bitc::FUNC_CODE_INST_VSELECT: {// VSELECT: [ty,opval,opval,predty,pred]
1808 // new form of select
1809 // handles select i1 or select [N x i1]
1810 unsigned OpNum = 0;
1811 Value *TrueVal, *FalseVal, *Cond;
1812 if (getValueTypePair(Record, OpNum, NextValueNo, TrueVal) ||
1813 getValue(Record, OpNum, TrueVal->getType(), FalseVal) ||
1814 getValueTypePair(Record, OpNum, NextValueNo, Cond))
1815 return Error("Invalid SELECT record");
Dan Gohmanf72fb672008-09-09 01:02:47 +00001816
1817 // select condition can be either i1 or [N x i1]
Dan Gohmanfb2bbbe2008-09-16 01:01:33 +00001818 if (const VectorType* vector_type =
1819 dyn_cast<const VectorType>(Cond->getType())) {
Dan Gohmanf72fb672008-09-09 01:02:47 +00001820 // expect <n x i1>
Daniel Dunbara279bc32009-09-20 02:20:51 +00001821 if (vector_type->getElementType() != Type::getInt1Ty(Context))
Dan Gohmanf72fb672008-09-09 01:02:47 +00001822 return Error("Invalid SELECT condition type");
1823 } else {
1824 // expect i1
Daniel Dunbara279bc32009-09-20 02:20:51 +00001825 if (Cond->getType() != Type::getInt1Ty(Context))
Dan Gohmanf72fb672008-09-09 01:02:47 +00001826 return Error("Invalid SELECT condition type");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001827 }
1828
Gabor Greif051a9502008-04-06 20:25:17 +00001829 I = SelectInst::Create(Cond, TrueVal, FalseVal);
Devang Patele8e02132009-09-18 19:26:43 +00001830 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001831 break;
1832 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001833
Chris Lattner01ff65f2007-05-02 05:16:49 +00001834 case bitc::FUNC_CODE_INST_EXTRACTELT: { // EXTRACTELT: [opty, opval, opval]
Chris Lattnerabfbf852007-05-06 00:21:25 +00001835 unsigned OpNum = 0;
1836 Value *Vec, *Idx;
1837 if (getValueTypePair(Record, OpNum, NextValueNo, Vec) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00001838 getValue(Record, OpNum, Type::getInt32Ty(Context), Idx))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001839 return Error("Invalid EXTRACTELT record");
Eric Christophera3500da2009-07-25 02:28:41 +00001840 I = ExtractElementInst::Create(Vec, Idx);
Devang Patele8e02132009-09-18 19:26:43 +00001841 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001842 break;
1843 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001844
Chris Lattner01ff65f2007-05-02 05:16:49 +00001845 case bitc::FUNC_CODE_INST_INSERTELT: { // INSERTELT: [ty, opval,opval,opval]
Chris Lattnerabfbf852007-05-06 00:21:25 +00001846 unsigned OpNum = 0;
1847 Value *Vec, *Elt, *Idx;
1848 if (getValueTypePair(Record, OpNum, NextValueNo, Vec) ||
Daniel Dunbara279bc32009-09-20 02:20:51 +00001849 getValue(Record, OpNum,
Chris Lattnerabfbf852007-05-06 00:21:25 +00001850 cast<VectorType>(Vec->getType())->getElementType(), Elt) ||
Owen Anderson1d0be152009-08-13 21:58:54 +00001851 getValue(Record, OpNum, Type::getInt32Ty(Context), Idx))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001852 return Error("Invalid INSERTELT record");
Gabor Greif051a9502008-04-06 20:25:17 +00001853 I = InsertElementInst::Create(Vec, Elt, Idx);
Devang Patele8e02132009-09-18 19:26:43 +00001854 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001855 break;
1856 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001857
Chris Lattnerabfbf852007-05-06 00:21:25 +00001858 case bitc::FUNC_CODE_INST_SHUFFLEVEC: {// SHUFFLEVEC: [opval,ty,opval,opval]
1859 unsigned OpNum = 0;
1860 Value *Vec1, *Vec2, *Mask;
1861 if (getValueTypePair(Record, OpNum, NextValueNo, Vec1) ||
1862 getValue(Record, OpNum, Vec1->getType(), Vec2))
1863 return Error("Invalid SHUFFLEVEC record");
1864
Mon P Wangaeb06d22008-11-10 04:46:22 +00001865 if (getValueTypePair(Record, OpNum, NextValueNo, Mask))
Chris Lattner01ff65f2007-05-02 05:16:49 +00001866 return Error("Invalid SHUFFLEVEC record");
1867 I = new ShuffleVectorInst(Vec1, Vec2, Mask);
Devang Patele8e02132009-09-18 19:26:43 +00001868 InstructionList.push_back(I);
Chris Lattner01ff65f2007-05-02 05:16:49 +00001869 break;
1870 }
Mon P Wangaeb06d22008-11-10 04:46:22 +00001871
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00001872 case bitc::FUNC_CODE_INST_CMP: // CMP: [opty, opval, opval, pred]
1873 // Old form of ICmp/FCmp returning bool
1874 // Existed to differentiate between icmp/fcmp and vicmp/vfcmp which were
1875 // both legal on vectors but had different behaviour.
1876 case bitc::FUNC_CODE_INST_CMP2: { // CMP2: [opty, opval, opval, pred]
1877 // FCmp/ICmp returning bool or vector of bool
1878
Chris Lattner7337ab92007-05-06 00:00:00 +00001879 unsigned OpNum = 0;
1880 Value *LHS, *RHS;
1881 if (getValueTypePair(Record, OpNum, NextValueNo, LHS) ||
1882 getValue(Record, OpNum, LHS->getType(), RHS) ||
1883 OpNum+1 != Record.size())
Chris Lattner01ff65f2007-05-02 05:16:49 +00001884 return Error("Invalid CMP record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001885
Dan Gohmanf72fb672008-09-09 01:02:47 +00001886 if (LHS->getType()->isFPOrFPVector())
Dan Gohman1c8a23c2009-08-25 23:17:54 +00001887 I = new FCmpInst((FCmpInst::Predicate)Record[OpNum], LHS, RHS);
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00001888 else
Dan Gohman1c8a23c2009-08-25 23:17:54 +00001889 I = new ICmpInst((ICmpInst::Predicate)Record[OpNum], LHS, RHS);
Devang Patele8e02132009-09-18 19:26:43 +00001890 InstructionList.push_back(I);
Dan Gohmanf72fb672008-09-09 01:02:47 +00001891 break;
1892 }
Nick Lewycky7f6aa2b2009-07-08 03:04:38 +00001893
Devang Patel197be3d2008-02-22 02:49:49 +00001894 case bitc::FUNC_CODE_INST_GETRESULT: { // GETRESULT: [ty, val, n]
1895 if (Record.size() != 2)
1896 return Error("Invalid GETRESULT record");
1897 unsigned OpNum = 0;
1898 Value *Op;
1899 getValueTypePair(Record, OpNum, NextValueNo, Op);
1900 unsigned Index = Record[1];
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001901 I = ExtractValueInst::Create(Op, Index);
Devang Patele8e02132009-09-18 19:26:43 +00001902 InstructionList.push_back(I);
Devang Patel197be3d2008-02-22 02:49:49 +00001903 break;
1904 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00001905
Chris Lattner231cbcb2007-05-02 04:27:25 +00001906 case bitc::FUNC_CODE_INST_RET: // RET: [opty,opval<optional>]
Devang Pateld9d99ff2008-02-26 01:29:32 +00001907 {
1908 unsigned Size = Record.size();
1909 if (Size == 0) {
Owen Anderson1d0be152009-08-13 21:58:54 +00001910 I = ReturnInst::Create(Context);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001911 InstructionList.push_back(I);
Devang Pateld9d99ff2008-02-26 01:29:32 +00001912 break;
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001913 }
Devang Pateld9d99ff2008-02-26 01:29:32 +00001914
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001915 unsigned OpNum = 0;
1916 SmallVector<Value *,4> Vs;
1917 do {
1918 Value *Op = NULL;
1919 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
1920 return Error("Invalid RET record");
1921 Vs.push_back(Op);
1922 } while(OpNum != Record.size());
1923
1924 const Type *ReturnType = F->getReturnType();
1925 if (Vs.size() > 1 ||
1926 (isa<StructType>(ReturnType) &&
1927 (Vs.empty() || Vs[0]->getType() != ReturnType))) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00001928 Value *RV = UndefValue::get(ReturnType);
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001929 for (unsigned i = 0, e = Vs.size(); i != e; ++i) {
1930 I = InsertValueInst::Create(RV, Vs[i], i, "mrv");
Daniel Dunbara279bc32009-09-20 02:20:51 +00001931 InstructionList.push_back(I);
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001932 CurBB->getInstList().push_back(I);
1933 ValueList.AssignValue(I, NextValueNo++);
1934 RV = I;
1935 }
Owen Anderson1d0be152009-08-13 21:58:54 +00001936 I = ReturnInst::Create(Context, RV);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001937 InstructionList.push_back(I);
Devang Pateld9d99ff2008-02-26 01:29:32 +00001938 break;
1939 }
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001940
Owen Anderson1d0be152009-08-13 21:58:54 +00001941 I = ReturnInst::Create(Context, Vs[0]);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001942 InstructionList.push_back(I);
Dan Gohmanfc74abf2008-07-23 00:34:11 +00001943 break;
Chris Lattner231cbcb2007-05-02 04:27:25 +00001944 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001945 case bitc::FUNC_CODE_INST_BR: { // BR: [bb#, bb#, opval] or [bb#]
Chris Lattnerf61e6452007-05-03 22:09:51 +00001946 if (Record.size() != 1 && Record.size() != 3)
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001947 return Error("Invalid BR record");
1948 BasicBlock *TrueDest = getBasicBlock(Record[0]);
1949 if (TrueDest == 0)
1950 return Error("Invalid BR record");
1951
Devang Patele8e02132009-09-18 19:26:43 +00001952 if (Record.size() == 1) {
Gabor Greif051a9502008-04-06 20:25:17 +00001953 I = BranchInst::Create(TrueDest);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001954 InstructionList.push_back(I);
Devang Patele8e02132009-09-18 19:26:43 +00001955 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001956 else {
1957 BasicBlock *FalseDest = getBasicBlock(Record[1]);
Owen Anderson1d0be152009-08-13 21:58:54 +00001958 Value *Cond = getFnValueByID(Record[2], Type::getInt1Ty(Context));
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001959 if (FalseDest == 0 || Cond == 0)
1960 return Error("Invalid BR record");
Gabor Greif051a9502008-04-06 20:25:17 +00001961 I = BranchInst::Create(TrueDest, FalseDest, Cond);
Daniel Dunbara279bc32009-09-20 02:20:51 +00001962 InstructionList.push_back(I);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001963 }
1964 break;
1965 }
Chris Lattnerf9be95f2009-10-27 19:13:16 +00001966 case bitc::FUNC_CODE_INST_SWITCH: { // SWITCH: [opty, op0, op1, ...]
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001967 if (Record.size() < 3 || (Record.size() & 1) == 0)
1968 return Error("Invalid SWITCH record");
1969 const Type *OpTy = getTypeByID(Record[0]);
1970 Value *Cond = getFnValueByID(Record[1], OpTy);
1971 BasicBlock *Default = getBasicBlock(Record[2]);
1972 if (OpTy == 0 || Cond == 0 || Default == 0)
1973 return Error("Invalid SWITCH record");
1974 unsigned NumCases = (Record.size()-3)/2;
Gabor Greif051a9502008-04-06 20:25:17 +00001975 SwitchInst *SI = SwitchInst::Create(Cond, Default, NumCases);
Devang Patele8e02132009-09-18 19:26:43 +00001976 InstructionList.push_back(SI);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001977 for (unsigned i = 0, e = NumCases; i != e; ++i) {
Daniel Dunbara279bc32009-09-20 02:20:51 +00001978 ConstantInt *CaseVal =
Chris Lattnerf4c8e522007-05-02 05:46:45 +00001979 dyn_cast_or_null<ConstantInt>(getFnValueByID(Record[3+i*2], OpTy));
1980 BasicBlock *DestBB = getBasicBlock(Record[1+3+i*2]);
1981 if (CaseVal == 0 || DestBB == 0) {
1982 delete SI;
1983 return Error("Invalid SWITCH record!");
1984 }
1985 SI->addCase(CaseVal, DestBB);
1986 }
1987 I = SI;
1988 break;
1989 }
Chris Lattnerab21db72009-10-28 00:19:10 +00001990 case bitc::FUNC_CODE_INST_INDIRECTBR: { // INDIRECTBR: [opty, op0, op1, ...]
Chris Lattnerf9be95f2009-10-27 19:13:16 +00001991 if (Record.size() < 2)
Chris Lattnerab21db72009-10-28 00:19:10 +00001992 return Error("Invalid INDIRECTBR record");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00001993 const Type *OpTy = getTypeByID(Record[0]);
1994 Value *Address = getFnValueByID(Record[1], OpTy);
1995 if (OpTy == 0 || Address == 0)
Chris Lattnerab21db72009-10-28 00:19:10 +00001996 return Error("Invalid INDIRECTBR record");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00001997 unsigned NumDests = Record.size()-2;
Chris Lattnerab21db72009-10-28 00:19:10 +00001998 IndirectBrInst *IBI = IndirectBrInst::Create(Address, NumDests);
Chris Lattnerf9be95f2009-10-27 19:13:16 +00001999 InstructionList.push_back(IBI);
2000 for (unsigned i = 0, e = NumDests; i != e; ++i) {
2001 if (BasicBlock *DestBB = getBasicBlock(Record[2+i])) {
2002 IBI->addDestination(DestBB);
2003 } else {
2004 delete IBI;
Chris Lattnerab21db72009-10-28 00:19:10 +00002005 return Error("Invalid INDIRECTBR record!");
Chris Lattnerf9be95f2009-10-27 19:13:16 +00002006 }
2007 }
2008 I = IBI;
2009 break;
2010 }
2011
Duncan Sandsdc024672007-11-27 13:23:08 +00002012 case bitc::FUNC_CODE_INST_INVOKE: {
2013 // INVOKE: [attrs, cc, normBB, unwindBB, fnty, op0,op1,op2, ...]
Chris Lattnera9bb7132007-05-08 05:38:01 +00002014 if (Record.size() < 4) return Error("Invalid INVOKE record");
Devang Patel05988662008-09-25 21:00:45 +00002015 AttrListPtr PAL = getAttributes(Record[0]);
Chris Lattnera9bb7132007-05-08 05:38:01 +00002016 unsigned CCInfo = Record[1];
2017 BasicBlock *NormalBB = getBasicBlock(Record[2]);
2018 BasicBlock *UnwindBB = getBasicBlock(Record[3]);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002019
Chris Lattnera9bb7132007-05-08 05:38:01 +00002020 unsigned OpNum = 4;
Chris Lattner7337ab92007-05-06 00:00:00 +00002021 Value *Callee;
2022 if (getValueTypePair(Record, OpNum, NextValueNo, Callee))
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002023 return Error("Invalid INVOKE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002024
Chris Lattner7337ab92007-05-06 00:00:00 +00002025 const PointerType *CalleeTy = dyn_cast<PointerType>(Callee->getType());
2026 const FunctionType *FTy = !CalleeTy ? 0 :
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002027 dyn_cast<FunctionType>(CalleeTy->getElementType());
2028
2029 // Check that the right number of fixed parameters are here.
Chris Lattner7337ab92007-05-06 00:00:00 +00002030 if (FTy == 0 || NormalBB == 0 || UnwindBB == 0 ||
2031 Record.size() < OpNum+FTy->getNumParams())
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002032 return Error("Invalid INVOKE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002033
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002034 SmallVector<Value*, 16> Ops;
Chris Lattner7337ab92007-05-06 00:00:00 +00002035 for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i, ++OpNum) {
2036 Ops.push_back(getFnValueByID(Record[OpNum], FTy->getParamType(i)));
2037 if (Ops.back() == 0) return Error("Invalid INVOKE record");
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002038 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002039
Chris Lattner7337ab92007-05-06 00:00:00 +00002040 if (!FTy->isVarArg()) {
2041 if (Record.size() != OpNum)
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002042 return Error("Invalid INVOKE record");
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002043 } else {
Chris Lattner7337ab92007-05-06 00:00:00 +00002044 // Read type/value pairs for varargs params.
2045 while (OpNum != Record.size()) {
2046 Value *Op;
2047 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
2048 return Error("Invalid INVOKE record");
2049 Ops.push_back(Op);
2050 }
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002051 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002052
Gabor Greifb1dbcd82008-05-15 10:04:30 +00002053 I = InvokeInst::Create(Callee, NormalBB, UnwindBB,
2054 Ops.begin(), Ops.end());
Devang Patele8e02132009-09-18 19:26:43 +00002055 InstructionList.push_back(I);
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00002056 cast<InvokeInst>(I)->setCallingConv(
2057 static_cast<CallingConv::ID>(CCInfo));
Devang Patel05988662008-09-25 21:00:45 +00002058 cast<InvokeInst>(I)->setAttributes(PAL);
Chris Lattnerf4c8e522007-05-02 05:46:45 +00002059 break;
2060 }
Chris Lattner231cbcb2007-05-02 04:27:25 +00002061 case bitc::FUNC_CODE_INST_UNWIND: // UNWIND
Owen Anderson1d0be152009-08-13 21:58:54 +00002062 I = new UnwindInst(Context);
Devang Patele8e02132009-09-18 19:26:43 +00002063 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00002064 break;
2065 case bitc::FUNC_CODE_INST_UNREACHABLE: // UNREACHABLE
Owen Anderson1d0be152009-08-13 21:58:54 +00002066 I = new UnreachableInst(Context);
Devang Patele8e02132009-09-18 19:26:43 +00002067 InstructionList.push_back(I);
Chris Lattner231cbcb2007-05-02 04:27:25 +00002068 break;
Chris Lattnerabfbf852007-05-06 00:21:25 +00002069 case bitc::FUNC_CODE_INST_PHI: { // PHI: [ty, val0,bb0, ...]
Chris Lattner15e6d172007-05-04 19:11:41 +00002070 if (Record.size() < 1 || ((Record.size()-1)&1))
Chris Lattner2a98cca2007-05-03 18:58:09 +00002071 return Error("Invalid PHI record");
2072 const Type *Ty = getTypeByID(Record[0]);
2073 if (!Ty) return Error("Invalid PHI record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002074
Gabor Greif051a9502008-04-06 20:25:17 +00002075 PHINode *PN = PHINode::Create(Ty);
Devang Patele8e02132009-09-18 19:26:43 +00002076 InstructionList.push_back(PN);
Chris Lattner86941612008-04-13 00:14:42 +00002077 PN->reserveOperandSpace((Record.size()-1)/2);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002078
Chris Lattner15e6d172007-05-04 19:11:41 +00002079 for (unsigned i = 0, e = Record.size()-1; i != e; i += 2) {
2080 Value *V = getFnValueByID(Record[1+i], Ty);
2081 BasicBlock *BB = getBasicBlock(Record[2+i]);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002082 if (!V || !BB) return Error("Invalid PHI record");
2083 PN->addIncoming(V, BB);
2084 }
2085 I = PN;
2086 break;
2087 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002088
Chris Lattner2a98cca2007-05-03 18:58:09 +00002089 case bitc::FUNC_CODE_INST_MALLOC: { // MALLOC: [instty, op, align]
Victor Hernandez13ad5aa2009-10-17 00:00:19 +00002090 // Autoupgrade malloc instruction to malloc call.
Victor Hernandez68afa542009-10-21 19:11:40 +00002091 // FIXME: Remove in LLVM 3.0.
Chris Lattner2a98cca2007-05-03 18:58:09 +00002092 if (Record.size() < 3)
2093 return Error("Invalid MALLOC record");
2094 const PointerType *Ty =
2095 dyn_cast_or_null<PointerType>(getTypeByID(Record[0]));
Owen Anderson1d0be152009-08-13 21:58:54 +00002096 Value *Size = getFnValueByID(Record[1], Type::getInt32Ty(Context));
Chris Lattner2a98cca2007-05-03 18:58:09 +00002097 if (!Ty || !Size) return Error("Invalid MALLOC record");
Victor Hernandez13ad5aa2009-10-17 00:00:19 +00002098 if (!CurBB) return Error("Invalid malloc instruction with no BB");
Victor Hernandez68afa542009-10-21 19:11:40 +00002099 const Type *Int32Ty = IntegerType::getInt32Ty(CurBB->getContext());
Victor Hernandez9d0b7042009-11-07 00:16:28 +00002100 Constant *AllocSize = ConstantExpr::getSizeOf(Ty->getElementType());
2101 AllocSize = ConstantExpr::getTruncOrBitCast(AllocSize, Int32Ty);
Victor Hernandez68afa542009-10-21 19:11:40 +00002102 I = CallInst::CreateMalloc(CurBB, Int32Ty, Ty->getElementType(),
Victor Hernandez9d0b7042009-11-07 00:16:28 +00002103 AllocSize, Size, NULL);
Devang Patele8e02132009-09-18 19:26:43 +00002104 InstructionList.push_back(I);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002105 break;
2106 }
Chris Lattnerabfbf852007-05-06 00:21:25 +00002107 case bitc::FUNC_CODE_INST_FREE: { // FREE: [op, opty]
2108 unsigned OpNum = 0;
2109 Value *Op;
2110 if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
2111 OpNum != Record.size())
Chris Lattner2a98cca2007-05-03 18:58:09 +00002112 return Error("Invalid FREE record");
Victor Hernandez66284e02009-10-24 04:23:03 +00002113 if (!CurBB) return Error("Invalid free instruction with no BB");
2114 I = CallInst::CreateFree(Op, CurBB);
Devang Patele8e02132009-09-18 19:26:43 +00002115 InstructionList.push_back(I);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002116 break;
2117 }
2118 case bitc::FUNC_CODE_INST_ALLOCA: { // ALLOCA: [instty, op, align]
2119 if (Record.size() < 3)
2120 return Error("Invalid ALLOCA record");
2121 const PointerType *Ty =
2122 dyn_cast_or_null<PointerType>(getTypeByID(Record[0]));
Owen Anderson1d0be152009-08-13 21:58:54 +00002123 Value *Size = getFnValueByID(Record[1], Type::getInt32Ty(Context));
Chris Lattner2a98cca2007-05-03 18:58:09 +00002124 unsigned Align = Record[2];
2125 if (!Ty || !Size) return Error("Invalid ALLOCA record");
Owen Anderson50dead02009-07-15 23:53:25 +00002126 I = new AllocaInst(Ty->getElementType(), Size, (1 << Align) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002127 InstructionList.push_back(I);
Chris Lattner2a98cca2007-05-03 18:58:09 +00002128 break;
2129 }
Chris Lattner0579f7f2007-05-03 22:04:19 +00002130 case bitc::FUNC_CODE_INST_LOAD: { // LOAD: [opty, op, align, vol]
Chris Lattner7337ab92007-05-06 00:00:00 +00002131 unsigned OpNum = 0;
2132 Value *Op;
2133 if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
2134 OpNum+2 != Record.size())
Chris Lattnerabfbf852007-05-06 00:21:25 +00002135 return Error("Invalid LOAD record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002136
Chris Lattner7337ab92007-05-06 00:00:00 +00002137 I = new LoadInst(Op, "", Record[OpNum+1], (1 << Record[OpNum]) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002138 InstructionList.push_back(I);
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002139 break;
Chris Lattner0579f7f2007-05-03 22:04:19 +00002140 }
Christopher Lambfe63fb92007-12-11 08:59:05 +00002141 case bitc::FUNC_CODE_INST_STORE2: { // STORE2:[ptrty, ptr, val, align, vol]
2142 unsigned OpNum = 0;
2143 Value *Val, *Ptr;
2144 if (getValueTypePair(Record, OpNum, NextValueNo, Ptr) ||
Daniel Dunbara279bc32009-09-20 02:20:51 +00002145 getValue(Record, OpNum,
Christopher Lambfe63fb92007-12-11 08:59:05 +00002146 cast<PointerType>(Ptr->getType())->getElementType(), Val) ||
2147 OpNum+2 != Record.size())
2148 return Error("Invalid STORE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002149
Christopher Lambfe63fb92007-12-11 08:59:05 +00002150 I = new StoreInst(Val, Ptr, Record[OpNum+1], (1 << Record[OpNum]) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002151 InstructionList.push_back(I);
Christopher Lambfe63fb92007-12-11 08:59:05 +00002152 break;
2153 }
Chris Lattnerabfbf852007-05-06 00:21:25 +00002154 case bitc::FUNC_CODE_INST_STORE: { // STORE:[val, valty, ptr, align, vol]
Christopher Lambfe63fb92007-12-11 08:59:05 +00002155 // FIXME: Legacy form of store instruction. Should be removed in LLVM 3.0.
Chris Lattnerabfbf852007-05-06 00:21:25 +00002156 unsigned OpNum = 0;
2157 Value *Val, *Ptr;
2158 if (getValueTypePair(Record, OpNum, NextValueNo, Val) ||
Daniel Dunbara279bc32009-09-20 02:20:51 +00002159 getValue(Record, OpNum,
Owen Andersondebcb012009-07-29 22:17:13 +00002160 PointerType::getUnqual(Val->getType()), Ptr)||
Chris Lattnerabfbf852007-05-06 00:21:25 +00002161 OpNum+2 != Record.size())
Chris Lattner0579f7f2007-05-03 22:04:19 +00002162 return Error("Invalid STORE record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002163
Chris Lattnerabfbf852007-05-06 00:21:25 +00002164 I = new StoreInst(Val, Ptr, Record[OpNum+1], (1 << Record[OpNum]) >> 1);
Devang Patele8e02132009-09-18 19:26:43 +00002165 InstructionList.push_back(I);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002166 break;
2167 }
Duncan Sandsdc024672007-11-27 13:23:08 +00002168 case bitc::FUNC_CODE_INST_CALL: {
2169 // CALL: [paramattrs, cc, fnty, fnid, arg0, arg1...]
2170 if (Record.size() < 3)
Chris Lattner0579f7f2007-05-03 22:04:19 +00002171 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002172
Devang Patel05988662008-09-25 21:00:45 +00002173 AttrListPtr PAL = getAttributes(Record[0]);
Chris Lattnera9bb7132007-05-08 05:38:01 +00002174 unsigned CCInfo = Record[1];
Daniel Dunbara279bc32009-09-20 02:20:51 +00002175
Chris Lattnera9bb7132007-05-08 05:38:01 +00002176 unsigned OpNum = 2;
Chris Lattner7337ab92007-05-06 00:00:00 +00002177 Value *Callee;
2178 if (getValueTypePair(Record, OpNum, NextValueNo, Callee))
2179 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002180
Chris Lattner7337ab92007-05-06 00:00:00 +00002181 const PointerType *OpTy = dyn_cast<PointerType>(Callee->getType());
Chris Lattner0579f7f2007-05-03 22:04:19 +00002182 const FunctionType *FTy = 0;
2183 if (OpTy) FTy = dyn_cast<FunctionType>(OpTy->getElementType());
Chris Lattner7337ab92007-05-06 00:00:00 +00002184 if (!FTy || Record.size() < FTy->getNumParams()+OpNum)
Chris Lattner0579f7f2007-05-03 22:04:19 +00002185 return Error("Invalid CALL record");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002186
Chris Lattner0579f7f2007-05-03 22:04:19 +00002187 SmallVector<Value*, 16> Args;
2188 // Read the fixed params.
Chris Lattner7337ab92007-05-06 00:00:00 +00002189 for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i, ++OpNum) {
Dale Johanneseneb57ea72007-11-05 21:20:28 +00002190 if (FTy->getParamType(i)->getTypeID()==Type::LabelTyID)
2191 Args.push_back(getBasicBlock(Record[OpNum]));
2192 else
2193 Args.push_back(getFnValueByID(Record[OpNum], FTy->getParamType(i)));
Chris Lattner0579f7f2007-05-03 22:04:19 +00002194 if (Args.back() == 0) return Error("Invalid CALL record");
2195 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002196
Chris Lattner0579f7f2007-05-03 22:04:19 +00002197 // Read type/value pairs for varargs params.
Chris Lattner0579f7f2007-05-03 22:04:19 +00002198 if (!FTy->isVarArg()) {
Chris Lattner7337ab92007-05-06 00:00:00 +00002199 if (OpNum != Record.size())
Chris Lattner0579f7f2007-05-03 22:04:19 +00002200 return Error("Invalid CALL record");
2201 } else {
Chris Lattner7337ab92007-05-06 00:00:00 +00002202 while (OpNum != Record.size()) {
2203 Value *Op;
2204 if (getValueTypePair(Record, OpNum, NextValueNo, Op))
2205 return Error("Invalid CALL record");
2206 Args.push_back(Op);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002207 }
2208 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002209
Gabor Greif051a9502008-04-06 20:25:17 +00002210 I = CallInst::Create(Callee, Args.begin(), Args.end());
Devang Patele8e02132009-09-18 19:26:43 +00002211 InstructionList.push_back(I);
Sandeep Patel65c3c8f2009-09-02 08:44:58 +00002212 cast<CallInst>(I)->setCallingConv(
2213 static_cast<CallingConv::ID>(CCInfo>>1));
Chris Lattner76520192007-05-03 22:34:03 +00002214 cast<CallInst>(I)->setTailCall(CCInfo & 1);
Devang Patel05988662008-09-25 21:00:45 +00002215 cast<CallInst>(I)->setAttributes(PAL);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002216 break;
2217 }
2218 case bitc::FUNC_CODE_INST_VAARG: { // VAARG: [valistty, valist, instty]
2219 if (Record.size() < 3)
2220 return Error("Invalid VAARG record");
2221 const Type *OpTy = getTypeByID(Record[0]);
2222 Value *Op = getFnValueByID(Record[1], OpTy);
2223 const Type *ResTy = getTypeByID(Record[2]);
2224 if (!OpTy || !Op || !ResTy)
2225 return Error("Invalid VAARG record");
2226 I = new VAArgInst(Op, ResTy);
Devang Patele8e02132009-09-18 19:26:43 +00002227 InstructionList.push_back(I);
Chris Lattner0579f7f2007-05-03 22:04:19 +00002228 break;
2229 }
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002230 }
2231
2232 // Add instruction to end of current BB. If there is no current BB, reject
2233 // this file.
2234 if (CurBB == 0) {
2235 delete I;
2236 return Error("Invalid instruction with no BB");
2237 }
2238 CurBB->getInstList().push_back(I);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002239
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002240 // If this was a terminator instruction, move to the next block.
2241 if (isa<TerminatorInst>(I)) {
2242 ++CurBBNo;
2243 CurBB = CurBBNo < FunctionBBs.size() ? FunctionBBs[CurBBNo] : 0;
2244 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002245
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002246 // Non-void values get registered in the value table for future use.
Benjamin Kramerf0127052010-01-05 13:12:22 +00002247 if (I && !I->getType()->isVoidTy())
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002248 ValueList.AssignValue(I, NextValueNo++);
Chris Lattner980e5aa2007-05-01 05:52:21 +00002249 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002250
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002251 // Check the function list for unresolved values.
2252 if (Argument *A = dyn_cast<Argument>(ValueList.back())) {
2253 if (A->getParent() == 0) {
2254 // We found at least one unresolved value. Nuke them all to avoid leaks.
2255 for (unsigned i = ModuleValueListSize, e = ValueList.size(); i != e; ++i){
2256 if ((A = dyn_cast<Argument>(ValueList.back())) && A->getParent() == 0) {
Owen Anderson9e9a0d52009-07-30 23:03:37 +00002257 A->replaceAllUsesWith(UndefValue::get(A->getType()));
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002258 delete A;
2259 }
2260 }
Chris Lattner35a04702007-05-04 03:50:29 +00002261 return Error("Never resolved value found in function!");
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002262 }
Chris Lattnera7c49aa2007-05-01 07:01:57 +00002263 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002264
Chris Lattner50b136d2009-10-28 05:53:48 +00002265 // See if anything took the address of blocks in this function. If so,
2266 // resolve them now.
2267 /// BlockAddrFwdRefs - These are blockaddr references to basic blocks. These
2268 /// are resolved lazily when functions are loaded.
2269 DenseMap<Function*, std::vector<BlockAddrRefTy> >::iterator BAFRI =
2270 BlockAddrFwdRefs.find(F);
2271 if (BAFRI != BlockAddrFwdRefs.end()) {
2272 std::vector<BlockAddrRefTy> &RefList = BAFRI->second;
2273 for (unsigned i = 0, e = RefList.size(); i != e; ++i) {
2274 unsigned BlockIdx = RefList[i].first;
Chris Lattnercdfc9402009-11-01 01:27:45 +00002275 if (BlockIdx >= FunctionBBs.size())
Chris Lattner50b136d2009-10-28 05:53:48 +00002276 return Error("Invalid blockaddress block #");
2277
2278 GlobalVariable *FwdRef = RefList[i].second;
Chris Lattnercdfc9402009-11-01 01:27:45 +00002279 FwdRef->replaceAllUsesWith(BlockAddress::get(F, FunctionBBs[BlockIdx]));
Chris Lattner50b136d2009-10-28 05:53:48 +00002280 FwdRef->eraseFromParent();
2281 }
2282
2283 BlockAddrFwdRefs.erase(BAFRI);
2284 }
2285
Chris Lattner980e5aa2007-05-01 05:52:21 +00002286 // Trim the value list down to the size it was before we parsed this function.
2287 ValueList.shrinkTo(ModuleValueListSize);
2288 std::vector<BasicBlock*>().swap(FunctionBBs);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002289
Chris Lattner48f84872007-05-01 04:59:48 +00002290 return false;
2291}
2292
Chris Lattnerb348bb82007-05-18 04:02:46 +00002293//===----------------------------------------------------------------------===//
2294// ModuleProvider implementation
2295//===----------------------------------------------------------------------===//
2296
2297
2298bool BitcodeReader::materializeFunction(Function *F, std::string *ErrInfo) {
2299 // If it already is material, ignore the request.
Gabor Greifa99be512007-07-05 17:07:56 +00002300 if (!F->hasNotBeenReadFromBitcode()) return false;
Daniel Dunbara279bc32009-09-20 02:20:51 +00002301
2302 DenseMap<Function*, std::pair<uint64_t, unsigned> >::iterator DFII =
Chris Lattnerb348bb82007-05-18 04:02:46 +00002303 DeferredFunctionInfo.find(F);
2304 assert(DFII != DeferredFunctionInfo.end() && "Deferred function not found!");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002305
Chris Lattnerb348bb82007-05-18 04:02:46 +00002306 // Move the bit stream to the saved position of the deferred function body and
2307 // restore the real linkage type for the function.
2308 Stream.JumpToBit(DFII->second.first);
2309 F->setLinkage((GlobalValue::LinkageTypes)DFII->second.second);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002310
Chris Lattnerb348bb82007-05-18 04:02:46 +00002311 if (ParseFunctionBody(F)) {
2312 if (ErrInfo) *ErrInfo = ErrorString;
2313 return true;
2314 }
Chandler Carruth69940402007-08-04 01:51:18 +00002315
2316 // Upgrade any old intrinsic calls in the function.
2317 for (UpgradedIntrinsicMap::iterator I = UpgradedIntrinsics.begin(),
2318 E = UpgradedIntrinsics.end(); I != E; ++I) {
2319 if (I->first != I->second) {
2320 for (Value::use_iterator UI = I->first->use_begin(),
2321 UE = I->first->use_end(); UI != UE; ) {
2322 if (CallInst* CI = dyn_cast<CallInst>(*UI++))
2323 UpgradeIntrinsicCall(CI, I->second);
2324 }
2325 }
2326 }
Daniel Dunbara279bc32009-09-20 02:20:51 +00002327
Chris Lattnerb348bb82007-05-18 04:02:46 +00002328 return false;
2329}
2330
2331void BitcodeReader::dematerializeFunction(Function *F) {
2332 // If this function isn't materialized, or if it is a proto, this is a noop.
Gabor Greifa99be512007-07-05 17:07:56 +00002333 if (F->hasNotBeenReadFromBitcode() || F->isDeclaration())
Chris Lattnerb348bb82007-05-18 04:02:46 +00002334 return;
Daniel Dunbara279bc32009-09-20 02:20:51 +00002335
Chris Lattnerb348bb82007-05-18 04:02:46 +00002336 assert(DeferredFunctionInfo.count(F) && "No info to read function later?");
Daniel Dunbara279bc32009-09-20 02:20:51 +00002337
Chris Lattnerb348bb82007-05-18 04:02:46 +00002338 // Just forget the function body, we can remat it later.
2339 F->deleteBody();
2340 F->setLinkage(GlobalValue::GhostLinkage);
2341}
2342
2343
2344Module *BitcodeReader::materializeModule(std::string *ErrInfo) {
Chris Lattner714fa952009-06-16 05:15:21 +00002345 // Iterate over the module, deserializing any functions that are still on
2346 // disk.
2347 for (Module::iterator F = TheModule->begin(), E = TheModule->end();
2348 F != E; ++F)
Gabor Greifa99be512007-07-05 17:07:56 +00002349 if (F->hasNotBeenReadFromBitcode() &&
Chris Lattnerb348bb82007-05-18 04:02:46 +00002350 materializeFunction(F, ErrInfo))
2351 return 0;
Chandler Carruth69940402007-08-04 01:51:18 +00002352
Daniel Dunbara279bc32009-09-20 02:20:51 +00002353 // Upgrade any intrinsic calls that slipped through (should not happen!) and
2354 // delete the old functions to clean up. We can't do this unless the entire
2355 // module is materialized because there could always be another function body
Chandler Carruth69940402007-08-04 01:51:18 +00002356 // with calls to the old function.
2357 for (std::vector<std::pair<Function*, Function*> >::iterator I =
2358 UpgradedIntrinsics.begin(), E = UpgradedIntrinsics.end(); I != E; ++I) {
2359 if (I->first != I->second) {
2360 for (Value::use_iterator UI = I->first->use_begin(),
2361 UE = I->first->use_end(); UI != UE; ) {
2362 if (CallInst* CI = dyn_cast<CallInst>(*UI++))
2363 UpgradeIntrinsicCall(CI, I->second);
2364 }
Chris Lattner7d9eb582009-04-01 01:43:03 +00002365 if (!I->first->use_empty())
2366 I->first->replaceAllUsesWith(I->second);
Chandler Carruth69940402007-08-04 01:51:18 +00002367 I->first->eraseFromParent();
2368 }
2369 }
2370 std::vector<std::pair<Function*, Function*> >().swap(UpgradedIntrinsics);
Devang Patele4b27562009-08-28 23:24:31 +00002371
2372 // Check debug info intrinsics.
2373 CheckDebugInfoIntrinsics(TheModule);
2374
Chris Lattnerb348bb82007-05-18 04:02:46 +00002375 return TheModule;
2376}
2377
2378
2379/// This method is provided by the parent ModuleProvde class and overriden
2380/// here. It simply releases the module from its provided and frees up our
2381/// state.
2382/// @brief Release our hold on the generated module
2383Module *BitcodeReader::releaseModule(std::string *ErrInfo) {
2384 // Since we're losing control of this Module, we must hand it back complete
2385 Module *M = ModuleProvider::releaseModule(ErrInfo);
2386 FreeState();
2387 return M;
2388}
2389
Chris Lattner48f84872007-05-01 04:59:48 +00002390
Chris Lattnerc453f762007-04-29 07:54:31 +00002391//===----------------------------------------------------------------------===//
2392// External interface
2393//===----------------------------------------------------------------------===//
2394
2395/// getBitcodeModuleProvider - lazy function-at-a-time loading from a file.
2396///
2397ModuleProvider *llvm::getBitcodeModuleProvider(MemoryBuffer *Buffer,
Owen Anderson4434ed42009-07-01 23:13:44 +00002398 LLVMContext& Context,
Chris Lattnerc453f762007-04-29 07:54:31 +00002399 std::string *ErrMsg) {
Owen Anderson8b477ed2009-07-01 16:58:40 +00002400 BitcodeReader *R = new BitcodeReader(Buffer, Context);
Chris Lattnerc453f762007-04-29 07:54:31 +00002401 if (R->ParseBitcode()) {
2402 if (ErrMsg)
2403 *ErrMsg = R->getErrorString();
Daniel Dunbara279bc32009-09-20 02:20:51 +00002404
Chris Lattnerc453f762007-04-29 07:54:31 +00002405 // Don't let the BitcodeReader dtor delete 'Buffer'.
2406 R->releaseMemoryBuffer();
2407 delete R;
2408 return 0;
2409 }
2410 return R;
2411}
2412
2413/// ParseBitcodeFile - Read the specified bitcode file, returning the module.
2414/// If an error occurs, return null and fill in *ErrMsg if non-null.
Daniel Dunbara279bc32009-09-20 02:20:51 +00002415Module *llvm::ParseBitcodeFile(MemoryBuffer *Buffer, LLVMContext& Context,
Owen Anderson8b477ed2009-07-01 16:58:40 +00002416 std::string *ErrMsg){
Chris Lattnerc453f762007-04-29 07:54:31 +00002417 BitcodeReader *R;
Daniel Dunbara279bc32009-09-20 02:20:51 +00002418 R = static_cast<BitcodeReader*>(getBitcodeModuleProvider(Buffer, Context,
Owen Anderson8b477ed2009-07-01 16:58:40 +00002419 ErrMsg));
Chris Lattnerc453f762007-04-29 07:54:31 +00002420 if (!R) return 0;
Daniel Dunbara279bc32009-09-20 02:20:51 +00002421
Chris Lattnerb348bb82007-05-18 04:02:46 +00002422 // Read in the entire module.
2423 Module *M = R->materializeModule(ErrMsg);
2424
2425 // Don't let the BitcodeReader dtor delete 'Buffer', regardless of whether
2426 // there was an error.
Chris Lattnerc453f762007-04-29 07:54:31 +00002427 R->releaseMemoryBuffer();
Daniel Dunbara279bc32009-09-20 02:20:51 +00002428
Chris Lattnerb348bb82007-05-18 04:02:46 +00002429 // If there was no error, tell ModuleProvider not to delete it when its dtor
2430 // is run.
2431 if (M)
2432 M = R->releaseModule(ErrMsg);
Daniel Dunbara279bc32009-09-20 02:20:51 +00002433
Chris Lattnerc453f762007-04-29 07:54:31 +00002434 delete R;
2435 return M;
2436}