1f22ef01cSRoman Divacky //===- BitcodeReader.cpp - Internal BitcodeReader implementation ----------===//
2f22ef01cSRoman Divacky //
3f22ef01cSRoman Divacky //                     The LLVM Compiler Infrastructure
4f22ef01cSRoman Divacky //
5f22ef01cSRoman Divacky // This file is distributed under the University of Illinois Open Source
6f22ef01cSRoman Divacky // License. See LICENSE.TXT for details.
7f22ef01cSRoman Divacky //
8f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
9f22ef01cSRoman Divacky 
10f22ef01cSRoman Divacky #include "llvm/Bitcode/ReaderWriter.h"
11f22ef01cSRoman Divacky #include "BitcodeReader.h"
12f22ef01cSRoman Divacky #include "llvm/ADT/SmallString.h"
13f22ef01cSRoman Divacky #include "llvm/ADT/SmallVector.h"
14f785676fSDimitry Andric #include "llvm/Bitcode/LLVMBitCodes.h"
1591bc56edSDimitry Andric #include "llvm/IR/AutoUpgrade.h"
16139f7f9bSDimitry Andric #include "llvm/IR/Constants.h"
17139f7f9bSDimitry Andric #include "llvm/IR/DerivedTypes.h"
1839d628a0SDimitry Andric #include "llvm/IR/DiagnosticPrinter.h"
19139f7f9bSDimitry Andric #include "llvm/IR/InlineAsm.h"
20139f7f9bSDimitry Andric #include "llvm/IR/IntrinsicInst.h"
21f785676fSDimitry Andric #include "llvm/IR/LLVMContext.h"
22139f7f9bSDimitry Andric #include "llvm/IR/Module.h"
23139f7f9bSDimitry Andric #include "llvm/IR/OperandTraits.h"
24139f7f9bSDimitry Andric #include "llvm/IR/Operator.h"
25dff0c46cSDimitry Andric #include "llvm/Support/DataStream.h"
2639d628a0SDimitry Andric #include "llvm/Support/ManagedStatic.h"
27f22ef01cSRoman Divacky #include "llvm/Support/MathExtras.h"
28f22ef01cSRoman Divacky #include "llvm/Support/MemoryBuffer.h"
29f785676fSDimitry Andric #include "llvm/Support/raw_ostream.h"
3039d628a0SDimitry Andric 
31f22ef01cSRoman Divacky using namespace llvm;
32f22ef01cSRoman Divacky 
337ae0e2c9SDimitry Andric enum {
347ae0e2c9SDimitry Andric   SWITCH_INST_MAGIC = 0x4B5 // May 2012 => 1205 => Hex
357ae0e2c9SDimitry Andric };
367ae0e2c9SDimitry Andric 
3739d628a0SDimitry Andric BitcodeDiagnosticInfo::BitcodeDiagnosticInfo(std::error_code EC,
3839d628a0SDimitry Andric                                              DiagnosticSeverity Severity,
3939d628a0SDimitry Andric                                              const Twine &Msg)
4039d628a0SDimitry Andric     : DiagnosticInfo(DK_Bitcode, Severity), Msg(Msg), EC(EC) {}
4139d628a0SDimitry Andric 
4239d628a0SDimitry Andric void BitcodeDiagnosticInfo::print(DiagnosticPrinter &DP) const { DP << Msg; }
4339d628a0SDimitry Andric 
4439d628a0SDimitry Andric static std::error_code Error(DiagnosticHandlerFunction DiagnosticHandler,
4539d628a0SDimitry Andric                              std::error_code EC, const Twine &Message) {
4639d628a0SDimitry Andric   BitcodeDiagnosticInfo DI(EC, DS_Error, Message);
4739d628a0SDimitry Andric   DiagnosticHandler(DI);
4839d628a0SDimitry Andric   return EC;
49dff0c46cSDimitry Andric }
5039d628a0SDimitry Andric 
5139d628a0SDimitry Andric static std::error_code Error(DiagnosticHandlerFunction DiagnosticHandler,
5239d628a0SDimitry Andric                              std::error_code EC) {
5339d628a0SDimitry Andric   return Error(DiagnosticHandler, EC, EC.message());
5439d628a0SDimitry Andric }
5539d628a0SDimitry Andric 
5639d628a0SDimitry Andric std::error_code BitcodeReader::Error(BitcodeError E, const Twine &Message) {
5739d628a0SDimitry Andric   return ::Error(DiagnosticHandler, make_error_code(E), Message);
5839d628a0SDimitry Andric }
5939d628a0SDimitry Andric 
6039d628a0SDimitry Andric std::error_code BitcodeReader::Error(const Twine &Message) {
6139d628a0SDimitry Andric   return ::Error(DiagnosticHandler,
6239d628a0SDimitry Andric                  make_error_code(BitcodeError::CorruptedBitcode), Message);
6339d628a0SDimitry Andric }
6439d628a0SDimitry Andric 
6539d628a0SDimitry Andric std::error_code BitcodeReader::Error(BitcodeError E) {
6639d628a0SDimitry Andric   return ::Error(DiagnosticHandler, make_error_code(E));
6739d628a0SDimitry Andric }
6839d628a0SDimitry Andric 
6939d628a0SDimitry Andric static DiagnosticHandlerFunction getDiagHandler(DiagnosticHandlerFunction F,
7039d628a0SDimitry Andric                                                 LLVMContext &C) {
7139d628a0SDimitry Andric   if (F)
7239d628a0SDimitry Andric     return F;
7339d628a0SDimitry Andric   return [&C](const DiagnosticInfo &DI) { C.diagnose(DI); };
7439d628a0SDimitry Andric }
7539d628a0SDimitry Andric 
7639d628a0SDimitry Andric BitcodeReader::BitcodeReader(MemoryBuffer *buffer, LLVMContext &C,
7739d628a0SDimitry Andric                              DiagnosticHandlerFunction DiagnosticHandler)
7839d628a0SDimitry Andric     : Context(C), DiagnosticHandler(getDiagHandler(DiagnosticHandler, C)),
7939d628a0SDimitry Andric       TheModule(nullptr), Buffer(buffer), LazyStreamer(nullptr),
8039d628a0SDimitry Andric       NextUnreadBit(0), SeenValueSymbolTable(false), ValueList(C),
8139d628a0SDimitry Andric       MDValueList(C), SeenFirstFunctionBody(false), UseRelativeIDs(false),
8239d628a0SDimitry Andric       WillMaterializeAllForwardRefs(false) {}
8339d628a0SDimitry Andric 
8439d628a0SDimitry Andric BitcodeReader::BitcodeReader(DataStreamer *streamer, LLVMContext &C,
8539d628a0SDimitry Andric                              DiagnosticHandlerFunction DiagnosticHandler)
8639d628a0SDimitry Andric     : Context(C), DiagnosticHandler(getDiagHandler(DiagnosticHandler, C)),
8739d628a0SDimitry Andric       TheModule(nullptr), Buffer(nullptr), LazyStreamer(streamer),
8839d628a0SDimitry Andric       NextUnreadBit(0), SeenValueSymbolTable(false), ValueList(C),
8939d628a0SDimitry Andric       MDValueList(C), SeenFirstFunctionBody(false), UseRelativeIDs(false),
9039d628a0SDimitry Andric       WillMaterializeAllForwardRefs(false) {}
9139d628a0SDimitry Andric 
9239d628a0SDimitry Andric std::error_code BitcodeReader::materializeForwardReferencedFunctions() {
9339d628a0SDimitry Andric   if (WillMaterializeAllForwardRefs)
9439d628a0SDimitry Andric     return std::error_code();
9539d628a0SDimitry Andric 
9639d628a0SDimitry Andric   // Prevent recursion.
9739d628a0SDimitry Andric   WillMaterializeAllForwardRefs = true;
9839d628a0SDimitry Andric 
9939d628a0SDimitry Andric   while (!BasicBlockFwdRefQueue.empty()) {
10039d628a0SDimitry Andric     Function *F = BasicBlockFwdRefQueue.front();
10139d628a0SDimitry Andric     BasicBlockFwdRefQueue.pop_front();
10239d628a0SDimitry Andric     assert(F && "Expected valid function");
10339d628a0SDimitry Andric     if (!BasicBlockFwdRefs.count(F))
10439d628a0SDimitry Andric       // Already materialized.
10539d628a0SDimitry Andric       continue;
10639d628a0SDimitry Andric 
10739d628a0SDimitry Andric     // Check for a function that isn't materializable to prevent an infinite
10839d628a0SDimitry Andric     // loop.  When parsing a blockaddress stored in a global variable, there
10939d628a0SDimitry Andric     // isn't a trivial way to check if a function will have a body without a
11039d628a0SDimitry Andric     // linear search through FunctionsWithBodies, so just check it here.
11139d628a0SDimitry Andric     if (!F->isMaterializable())
11239d628a0SDimitry Andric       return Error("Never resolved function from blockaddress");
11339d628a0SDimitry Andric 
11439d628a0SDimitry Andric     // Try to materialize F.
11539d628a0SDimitry Andric     if (std::error_code EC = materialize(F))
11639d628a0SDimitry Andric       return EC;
11739d628a0SDimitry Andric   }
11839d628a0SDimitry Andric   assert(BasicBlockFwdRefs.empty() && "Function missing from queue");
11939d628a0SDimitry Andric 
12039d628a0SDimitry Andric   // Reset state.
12139d628a0SDimitry Andric   WillMaterializeAllForwardRefs = false;
12239d628a0SDimitry Andric   return std::error_code();
123dff0c46cSDimitry Andric }
124dff0c46cSDimitry Andric 
125f22ef01cSRoman Divacky void BitcodeReader::FreeState() {
12691bc56edSDimitry Andric   Buffer = nullptr;
12717a519f9SDimitry Andric   std::vector<Type*>().swap(TypeList);
128f22ef01cSRoman Divacky   ValueList.clear();
129f22ef01cSRoman Divacky   MDValueList.clear();
13091bc56edSDimitry Andric   std::vector<Comdat *>().swap(ComdatList);
131f22ef01cSRoman Divacky 
132139f7f9bSDimitry Andric   std::vector<AttributeSet>().swap(MAttributes);
133f22ef01cSRoman Divacky   std::vector<BasicBlock*>().swap(FunctionBBs);
134f22ef01cSRoman Divacky   std::vector<Function*>().swap(FunctionsWithBodies);
135f22ef01cSRoman Divacky   DeferredFunctionInfo.clear();
136e580952dSDimitry Andric   MDKindMap.clear();
1373861d79fSDimitry Andric 
13839d628a0SDimitry Andric   assert(BasicBlockFwdRefs.empty() && "Unresolved blockaddress fwd references");
13939d628a0SDimitry Andric   BasicBlockFwdRefQueue.clear();
140f22ef01cSRoman Divacky }
141f22ef01cSRoman Divacky 
142f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
143f22ef01cSRoman Divacky //  Helper functions to implement forward reference resolution, etc.
144f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
145f22ef01cSRoman Divacky 
146f22ef01cSRoman Divacky /// ConvertToString - Convert a string from a record into an std::string, return
147f22ef01cSRoman Divacky /// true on failure.
148f22ef01cSRoman Divacky template<typename StrTy>
1497ae0e2c9SDimitry Andric static bool ConvertToString(ArrayRef<uint64_t> Record, unsigned Idx,
150f22ef01cSRoman Divacky                             StrTy &Result) {
151f22ef01cSRoman Divacky   if (Idx > Record.size())
152f22ef01cSRoman Divacky     return true;
153f22ef01cSRoman Divacky 
154f22ef01cSRoman Divacky   for (unsigned i = Idx, e = Record.size(); i != e; ++i)
155f22ef01cSRoman Divacky     Result += (char)Record[i];
156f22ef01cSRoman Divacky   return false;
157f22ef01cSRoman Divacky }
158f22ef01cSRoman Divacky 
15939d628a0SDimitry Andric static GlobalValue::LinkageTypes getDecodedLinkage(unsigned Val) {
160f22ef01cSRoman Divacky   switch (Val) {
161f22ef01cSRoman Divacky   default: // Map unknown/new linkages to external
16239d628a0SDimitry Andric   case 0:
16339d628a0SDimitry Andric     return GlobalValue::ExternalLinkage;
16439d628a0SDimitry Andric   case 1:
16539d628a0SDimitry Andric     return GlobalValue::WeakAnyLinkage;
16639d628a0SDimitry Andric   case 2:
16739d628a0SDimitry Andric     return GlobalValue::AppendingLinkage;
16839d628a0SDimitry Andric   case 3:
16939d628a0SDimitry Andric     return GlobalValue::InternalLinkage;
17039d628a0SDimitry Andric   case 4:
17139d628a0SDimitry Andric     return GlobalValue::LinkOnceAnyLinkage;
17239d628a0SDimitry Andric   case 5:
17339d628a0SDimitry Andric     return GlobalValue::ExternalLinkage; // Obsolete DLLImportLinkage
17439d628a0SDimitry Andric   case 6:
17539d628a0SDimitry Andric     return GlobalValue::ExternalLinkage; // Obsolete DLLExportLinkage
17639d628a0SDimitry Andric   case 7:
17739d628a0SDimitry Andric     return GlobalValue::ExternalWeakLinkage;
17839d628a0SDimitry Andric   case 8:
17939d628a0SDimitry Andric     return GlobalValue::CommonLinkage;
18039d628a0SDimitry Andric   case 9:
18139d628a0SDimitry Andric     return GlobalValue::PrivateLinkage;
18239d628a0SDimitry Andric   case 10:
18339d628a0SDimitry Andric     return GlobalValue::WeakODRLinkage;
18439d628a0SDimitry Andric   case 11:
18539d628a0SDimitry Andric     return GlobalValue::LinkOnceODRLinkage;
18639d628a0SDimitry Andric   case 12:
18739d628a0SDimitry Andric     return GlobalValue::AvailableExternallyLinkage;
18891bc56edSDimitry Andric   case 13:
18991bc56edSDimitry Andric     return GlobalValue::PrivateLinkage; // Obsolete LinkerPrivateLinkage
19091bc56edSDimitry Andric   case 14:
19191bc56edSDimitry Andric     return GlobalValue::PrivateLinkage; // Obsolete LinkerPrivateWeakLinkage
19239d628a0SDimitry Andric   case 15:
19339d628a0SDimitry Andric     return GlobalValue::ExternalLinkage; // Obsolete LinkOnceODRAutoHideLinkage
194f22ef01cSRoman Divacky   }
195f22ef01cSRoman Divacky }
196f22ef01cSRoman Divacky 
197f22ef01cSRoman Divacky static GlobalValue::VisibilityTypes GetDecodedVisibility(unsigned Val) {
198f22ef01cSRoman Divacky   switch (Val) {
199f22ef01cSRoman Divacky   default: // Map unknown visibilities to default.
200f22ef01cSRoman Divacky   case 0: return GlobalValue::DefaultVisibility;
201f22ef01cSRoman Divacky   case 1: return GlobalValue::HiddenVisibility;
202f22ef01cSRoman Divacky   case 2: return GlobalValue::ProtectedVisibility;
203f22ef01cSRoman Divacky   }
204f22ef01cSRoman Divacky }
205f22ef01cSRoman Divacky 
20691bc56edSDimitry Andric static GlobalValue::DLLStorageClassTypes
20791bc56edSDimitry Andric GetDecodedDLLStorageClass(unsigned Val) {
20891bc56edSDimitry Andric   switch (Val) {
20991bc56edSDimitry Andric   default: // Map unknown values to default.
21091bc56edSDimitry Andric   case 0: return GlobalValue::DefaultStorageClass;
21191bc56edSDimitry Andric   case 1: return GlobalValue::DLLImportStorageClass;
21291bc56edSDimitry Andric   case 2: return GlobalValue::DLLExportStorageClass;
21391bc56edSDimitry Andric   }
21491bc56edSDimitry Andric }
21591bc56edSDimitry Andric 
2167ae0e2c9SDimitry Andric static GlobalVariable::ThreadLocalMode GetDecodedThreadLocalMode(unsigned Val) {
2177ae0e2c9SDimitry Andric   switch (Val) {
2187ae0e2c9SDimitry Andric     case 0: return GlobalVariable::NotThreadLocal;
2197ae0e2c9SDimitry Andric     default: // Map unknown non-zero value to general dynamic.
2207ae0e2c9SDimitry Andric     case 1: return GlobalVariable::GeneralDynamicTLSModel;
2217ae0e2c9SDimitry Andric     case 2: return GlobalVariable::LocalDynamicTLSModel;
2227ae0e2c9SDimitry Andric     case 3: return GlobalVariable::InitialExecTLSModel;
2237ae0e2c9SDimitry Andric     case 4: return GlobalVariable::LocalExecTLSModel;
2247ae0e2c9SDimitry Andric   }
2257ae0e2c9SDimitry Andric }
2267ae0e2c9SDimitry Andric 
227f22ef01cSRoman Divacky static int GetDecodedCastOpcode(unsigned Val) {
228f22ef01cSRoman Divacky   switch (Val) {
229f22ef01cSRoman Divacky   default: return -1;
230f22ef01cSRoman Divacky   case bitc::CAST_TRUNC   : return Instruction::Trunc;
231f22ef01cSRoman Divacky   case bitc::CAST_ZEXT    : return Instruction::ZExt;
232f22ef01cSRoman Divacky   case bitc::CAST_SEXT    : return Instruction::SExt;
233f22ef01cSRoman Divacky   case bitc::CAST_FPTOUI  : return Instruction::FPToUI;
234f22ef01cSRoman Divacky   case bitc::CAST_FPTOSI  : return Instruction::FPToSI;
235f22ef01cSRoman Divacky   case bitc::CAST_UITOFP  : return Instruction::UIToFP;
236f22ef01cSRoman Divacky   case bitc::CAST_SITOFP  : return Instruction::SIToFP;
237f22ef01cSRoman Divacky   case bitc::CAST_FPTRUNC : return Instruction::FPTrunc;
238f22ef01cSRoman Divacky   case bitc::CAST_FPEXT   : return Instruction::FPExt;
239f22ef01cSRoman Divacky   case bitc::CAST_PTRTOINT: return Instruction::PtrToInt;
240f22ef01cSRoman Divacky   case bitc::CAST_INTTOPTR: return Instruction::IntToPtr;
241f22ef01cSRoman Divacky   case bitc::CAST_BITCAST : return Instruction::BitCast;
242f785676fSDimitry Andric   case bitc::CAST_ADDRSPACECAST: return Instruction::AddrSpaceCast;
243f22ef01cSRoman Divacky   }
244f22ef01cSRoman Divacky }
2456122f3e6SDimitry Andric static int GetDecodedBinaryOpcode(unsigned Val, Type *Ty) {
246f22ef01cSRoman Divacky   switch (Val) {
247f22ef01cSRoman Divacky   default: return -1;
248f22ef01cSRoman Divacky   case bitc::BINOP_ADD:
249f22ef01cSRoman Divacky     return Ty->isFPOrFPVectorTy() ? Instruction::FAdd : Instruction::Add;
250f22ef01cSRoman Divacky   case bitc::BINOP_SUB:
251f22ef01cSRoman Divacky     return Ty->isFPOrFPVectorTy() ? Instruction::FSub : Instruction::Sub;
252f22ef01cSRoman Divacky   case bitc::BINOP_MUL:
253f22ef01cSRoman Divacky     return Ty->isFPOrFPVectorTy() ? Instruction::FMul : Instruction::Mul;
254f22ef01cSRoman Divacky   case bitc::BINOP_UDIV: return Instruction::UDiv;
255f22ef01cSRoman Divacky   case bitc::BINOP_SDIV:
256f22ef01cSRoman Divacky     return Ty->isFPOrFPVectorTy() ? Instruction::FDiv : Instruction::SDiv;
257f22ef01cSRoman Divacky   case bitc::BINOP_UREM: return Instruction::URem;
258f22ef01cSRoman Divacky   case bitc::BINOP_SREM:
259f22ef01cSRoman Divacky     return Ty->isFPOrFPVectorTy() ? Instruction::FRem : Instruction::SRem;
260f22ef01cSRoman Divacky   case bitc::BINOP_SHL:  return Instruction::Shl;
261f22ef01cSRoman Divacky   case bitc::BINOP_LSHR: return Instruction::LShr;
262f22ef01cSRoman Divacky   case bitc::BINOP_ASHR: return Instruction::AShr;
263f22ef01cSRoman Divacky   case bitc::BINOP_AND:  return Instruction::And;
264f22ef01cSRoman Divacky   case bitc::BINOP_OR:   return Instruction::Or;
265f22ef01cSRoman Divacky   case bitc::BINOP_XOR:  return Instruction::Xor;
266f22ef01cSRoman Divacky   }
267f22ef01cSRoman Divacky }
268f22ef01cSRoman Divacky 
2696122f3e6SDimitry Andric static AtomicRMWInst::BinOp GetDecodedRMWOperation(unsigned Val) {
2706122f3e6SDimitry Andric   switch (Val) {
2716122f3e6SDimitry Andric   default: return AtomicRMWInst::BAD_BINOP;
2726122f3e6SDimitry Andric   case bitc::RMW_XCHG: return AtomicRMWInst::Xchg;
2736122f3e6SDimitry Andric   case bitc::RMW_ADD: return AtomicRMWInst::Add;
2746122f3e6SDimitry Andric   case bitc::RMW_SUB: return AtomicRMWInst::Sub;
2756122f3e6SDimitry Andric   case bitc::RMW_AND: return AtomicRMWInst::And;
2766122f3e6SDimitry Andric   case bitc::RMW_NAND: return AtomicRMWInst::Nand;
2776122f3e6SDimitry Andric   case bitc::RMW_OR: return AtomicRMWInst::Or;
2786122f3e6SDimitry Andric   case bitc::RMW_XOR: return AtomicRMWInst::Xor;
2796122f3e6SDimitry Andric   case bitc::RMW_MAX: return AtomicRMWInst::Max;
2806122f3e6SDimitry Andric   case bitc::RMW_MIN: return AtomicRMWInst::Min;
2816122f3e6SDimitry Andric   case bitc::RMW_UMAX: return AtomicRMWInst::UMax;
2826122f3e6SDimitry Andric   case bitc::RMW_UMIN: return AtomicRMWInst::UMin;
2836122f3e6SDimitry Andric   }
2846122f3e6SDimitry Andric }
2856122f3e6SDimitry Andric 
2866122f3e6SDimitry Andric static AtomicOrdering GetDecodedOrdering(unsigned Val) {
2876122f3e6SDimitry Andric   switch (Val) {
2886122f3e6SDimitry Andric   case bitc::ORDERING_NOTATOMIC: return NotAtomic;
2896122f3e6SDimitry Andric   case bitc::ORDERING_UNORDERED: return Unordered;
2906122f3e6SDimitry Andric   case bitc::ORDERING_MONOTONIC: return Monotonic;
2916122f3e6SDimitry Andric   case bitc::ORDERING_ACQUIRE: return Acquire;
2926122f3e6SDimitry Andric   case bitc::ORDERING_RELEASE: return Release;
2936122f3e6SDimitry Andric   case bitc::ORDERING_ACQREL: return AcquireRelease;
2946122f3e6SDimitry Andric   default: // Map unknown orderings to sequentially-consistent.
2956122f3e6SDimitry Andric   case bitc::ORDERING_SEQCST: return SequentiallyConsistent;
2966122f3e6SDimitry Andric   }
2976122f3e6SDimitry Andric }
2986122f3e6SDimitry Andric 
2996122f3e6SDimitry Andric static SynchronizationScope GetDecodedSynchScope(unsigned Val) {
3006122f3e6SDimitry Andric   switch (Val) {
3016122f3e6SDimitry Andric   case bitc::SYNCHSCOPE_SINGLETHREAD: return SingleThread;
3026122f3e6SDimitry Andric   default: // Map unknown scopes to cross-thread.
3036122f3e6SDimitry Andric   case bitc::SYNCHSCOPE_CROSSTHREAD: return CrossThread;
3046122f3e6SDimitry Andric   }
3056122f3e6SDimitry Andric }
3066122f3e6SDimitry Andric 
30791bc56edSDimitry Andric static Comdat::SelectionKind getDecodedComdatSelectionKind(unsigned Val) {
30891bc56edSDimitry Andric   switch (Val) {
30991bc56edSDimitry Andric   default: // Map unknown selection kinds to any.
31091bc56edSDimitry Andric   case bitc::COMDAT_SELECTION_KIND_ANY:
31191bc56edSDimitry Andric     return Comdat::Any;
31291bc56edSDimitry Andric   case bitc::COMDAT_SELECTION_KIND_EXACT_MATCH:
31391bc56edSDimitry Andric     return Comdat::ExactMatch;
31491bc56edSDimitry Andric   case bitc::COMDAT_SELECTION_KIND_LARGEST:
31591bc56edSDimitry Andric     return Comdat::Largest;
31691bc56edSDimitry Andric   case bitc::COMDAT_SELECTION_KIND_NO_DUPLICATES:
31791bc56edSDimitry Andric     return Comdat::NoDuplicates;
31891bc56edSDimitry Andric   case bitc::COMDAT_SELECTION_KIND_SAME_SIZE:
31991bc56edSDimitry Andric     return Comdat::SameSize;
32091bc56edSDimitry Andric   }
32191bc56edSDimitry Andric }
32291bc56edSDimitry Andric 
32391bc56edSDimitry Andric static void UpgradeDLLImportExportLinkage(llvm::GlobalValue *GV, unsigned Val) {
32491bc56edSDimitry Andric   switch (Val) {
32591bc56edSDimitry Andric   case 5: GV->setDLLStorageClass(GlobalValue::DLLImportStorageClass); break;
32691bc56edSDimitry Andric   case 6: GV->setDLLStorageClass(GlobalValue::DLLExportStorageClass); break;
32791bc56edSDimitry Andric   }
32891bc56edSDimitry Andric }
32991bc56edSDimitry Andric 
330f22ef01cSRoman Divacky namespace llvm {
331f22ef01cSRoman Divacky namespace {
332f22ef01cSRoman Divacky   /// @brief A class for maintaining the slot number definition
333f22ef01cSRoman Divacky   /// as a placeholder for the actual definition for forward constants defs.
334f22ef01cSRoman Divacky   class ConstantPlaceHolder : public ConstantExpr {
3353861d79fSDimitry Andric     void operator=(const ConstantPlaceHolder &) LLVM_DELETED_FUNCTION;
336f22ef01cSRoman Divacky   public:
337f22ef01cSRoman Divacky     // allocate space for exactly one operand
338f22ef01cSRoman Divacky     void *operator new(size_t s) {
339f22ef01cSRoman Divacky       return User::operator new(s, 1);
340f22ef01cSRoman Divacky     }
3416122f3e6SDimitry Andric     explicit ConstantPlaceHolder(Type *Ty, LLVMContext& Context)
342f22ef01cSRoman Divacky       : ConstantExpr(Ty, Instruction::UserOp1, &Op<0>(), 1) {
343f22ef01cSRoman Divacky       Op<0>() = UndefValue::get(Type::getInt32Ty(Context));
344f22ef01cSRoman Divacky     }
345f22ef01cSRoman Divacky 
346f22ef01cSRoman Divacky     /// @brief Methods to support type inquiry through isa, cast, and dyn_cast.
347f22ef01cSRoman Divacky     static bool classof(const Value *V) {
348f22ef01cSRoman Divacky       return isa<ConstantExpr>(V) &&
349f22ef01cSRoman Divacky              cast<ConstantExpr>(V)->getOpcode() == Instruction::UserOp1;
350f22ef01cSRoman Divacky     }
351f22ef01cSRoman Divacky 
352f22ef01cSRoman Divacky 
353f22ef01cSRoman Divacky     /// Provide fast operand accessors
35439d628a0SDimitry Andric     DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
355f22ef01cSRoman Divacky   };
356f22ef01cSRoman Divacky }
357f22ef01cSRoman Divacky 
358f22ef01cSRoman Divacky // FIXME: can we inherit this from ConstantExpr?
359f22ef01cSRoman Divacky template <>
3602754fe60SDimitry Andric struct OperandTraits<ConstantPlaceHolder> :
3612754fe60SDimitry Andric   public FixedNumOperandTraits<ConstantPlaceHolder, 1> {
362f22ef01cSRoman Divacky };
36339d628a0SDimitry Andric DEFINE_TRANSPARENT_OPERAND_ACCESSORS(ConstantPlaceHolder, Value)
364f22ef01cSRoman Divacky }
365f22ef01cSRoman Divacky 
366f22ef01cSRoman Divacky 
367f22ef01cSRoman Divacky void BitcodeReaderValueList::AssignValue(Value *V, unsigned Idx) {
368f22ef01cSRoman Divacky   if (Idx == size()) {
369f22ef01cSRoman Divacky     push_back(V);
370f22ef01cSRoman Divacky     return;
371f22ef01cSRoman Divacky   }
372f22ef01cSRoman Divacky 
373f22ef01cSRoman Divacky   if (Idx >= size())
374f22ef01cSRoman Divacky     resize(Idx+1);
375f22ef01cSRoman Divacky 
376f22ef01cSRoman Divacky   WeakVH &OldV = ValuePtrs[Idx];
37791bc56edSDimitry Andric   if (!OldV) {
378f22ef01cSRoman Divacky     OldV = V;
379f22ef01cSRoman Divacky     return;
380f22ef01cSRoman Divacky   }
381f22ef01cSRoman Divacky 
382f22ef01cSRoman Divacky   // Handle constants and non-constants (e.g. instrs) differently for
383f22ef01cSRoman Divacky   // efficiency.
384f22ef01cSRoman Divacky   if (Constant *PHC = dyn_cast<Constant>(&*OldV)) {
385f22ef01cSRoman Divacky     ResolveConstants.push_back(std::make_pair(PHC, Idx));
386f22ef01cSRoman Divacky     OldV = V;
387f22ef01cSRoman Divacky   } else {
388f22ef01cSRoman Divacky     // If there was a forward reference to this value, replace it.
389f22ef01cSRoman Divacky     Value *PrevVal = OldV;
390f22ef01cSRoman Divacky     OldV->replaceAllUsesWith(V);
391f22ef01cSRoman Divacky     delete PrevVal;
392f22ef01cSRoman Divacky   }
393f22ef01cSRoman Divacky }
394f22ef01cSRoman Divacky 
395f22ef01cSRoman Divacky 
396f22ef01cSRoman Divacky Constant *BitcodeReaderValueList::getConstantFwdRef(unsigned Idx,
3976122f3e6SDimitry Andric                                                     Type *Ty) {
398f22ef01cSRoman Divacky   if (Idx >= size())
399f22ef01cSRoman Divacky     resize(Idx + 1);
400f22ef01cSRoman Divacky 
401f22ef01cSRoman Divacky   if (Value *V = ValuePtrs[Idx]) {
402f22ef01cSRoman Divacky     assert(Ty == V->getType() && "Type mismatch in constant table!");
403f22ef01cSRoman Divacky     return cast<Constant>(V);
404f22ef01cSRoman Divacky   }
405f22ef01cSRoman Divacky 
406f22ef01cSRoman Divacky   // Create and return a placeholder, which will later be RAUW'd.
407f22ef01cSRoman Divacky   Constant *C = new ConstantPlaceHolder(Ty, Context);
408f22ef01cSRoman Divacky   ValuePtrs[Idx] = C;
409f22ef01cSRoman Divacky   return C;
410f22ef01cSRoman Divacky }
411f22ef01cSRoman Divacky 
4126122f3e6SDimitry Andric Value *BitcodeReaderValueList::getValueFwdRef(unsigned Idx, Type *Ty) {
413f22ef01cSRoman Divacky   if (Idx >= size())
414f22ef01cSRoman Divacky     resize(Idx + 1);
415f22ef01cSRoman Divacky 
416f22ef01cSRoman Divacky   if (Value *V = ValuePtrs[Idx]) {
41791bc56edSDimitry Andric     assert((!Ty || Ty == V->getType()) && "Type mismatch in value table!");
418f22ef01cSRoman Divacky     return V;
419f22ef01cSRoman Divacky   }
420f22ef01cSRoman Divacky 
421f22ef01cSRoman Divacky   // No type specified, must be invalid reference.
42291bc56edSDimitry Andric   if (!Ty) return nullptr;
423f22ef01cSRoman Divacky 
424f22ef01cSRoman Divacky   // Create and return a placeholder, which will later be RAUW'd.
425f22ef01cSRoman Divacky   Value *V = new Argument(Ty);
426f22ef01cSRoman Divacky   ValuePtrs[Idx] = V;
427f22ef01cSRoman Divacky   return V;
428f22ef01cSRoman Divacky }
429f22ef01cSRoman Divacky 
430f22ef01cSRoman Divacky /// ResolveConstantForwardRefs - Once all constants are read, this method bulk
431f22ef01cSRoman Divacky /// resolves any forward references.  The idea behind this is that we sometimes
432f22ef01cSRoman Divacky /// get constants (such as large arrays) which reference *many* forward ref
433f22ef01cSRoman Divacky /// constants.  Replacing each of these causes a lot of thrashing when
434f22ef01cSRoman Divacky /// building/reuniquing the constant.  Instead of doing this, we look at all the
435f22ef01cSRoman Divacky /// uses and rewrite all the place holders at once for any constant that uses
436f22ef01cSRoman Divacky /// a placeholder.
437f22ef01cSRoman Divacky void BitcodeReaderValueList::ResolveConstantForwardRefs() {
438f22ef01cSRoman Divacky   // Sort the values by-pointer so that they are efficient to look up with a
439f22ef01cSRoman Divacky   // binary search.
440f22ef01cSRoman Divacky   std::sort(ResolveConstants.begin(), ResolveConstants.end());
441f22ef01cSRoman Divacky 
442f22ef01cSRoman Divacky   SmallVector<Constant*, 64> NewOps;
443f22ef01cSRoman Divacky 
444f22ef01cSRoman Divacky   while (!ResolveConstants.empty()) {
445f22ef01cSRoman Divacky     Value *RealVal = operator[](ResolveConstants.back().second);
446f22ef01cSRoman Divacky     Constant *Placeholder = ResolveConstants.back().first;
447f22ef01cSRoman Divacky     ResolveConstants.pop_back();
448f22ef01cSRoman Divacky 
449f22ef01cSRoman Divacky     // Loop over all users of the placeholder, updating them to reference the
450f22ef01cSRoman Divacky     // new value.  If they reference more than one placeholder, update them all
451f22ef01cSRoman Divacky     // at once.
452f22ef01cSRoman Divacky     while (!Placeholder->use_empty()) {
45391bc56edSDimitry Andric       auto UI = Placeholder->user_begin();
454ffd1746dSEd Schouten       User *U = *UI;
455f22ef01cSRoman Divacky 
456f22ef01cSRoman Divacky       // If the using object isn't uniqued, just update the operands.  This
457f22ef01cSRoman Divacky       // handles instructions and initializers for global variables.
458ffd1746dSEd Schouten       if (!isa<Constant>(U) || isa<GlobalValue>(U)) {
459f22ef01cSRoman Divacky         UI.getUse().set(RealVal);
460f22ef01cSRoman Divacky         continue;
461f22ef01cSRoman Divacky       }
462f22ef01cSRoman Divacky 
463f22ef01cSRoman Divacky       // Otherwise, we have a constant that uses the placeholder.  Replace that
464f22ef01cSRoman Divacky       // constant with a new constant that has *all* placeholder uses updated.
465ffd1746dSEd Schouten       Constant *UserC = cast<Constant>(U);
466f22ef01cSRoman Divacky       for (User::op_iterator I = UserC->op_begin(), E = UserC->op_end();
467f22ef01cSRoman Divacky            I != E; ++I) {
468f22ef01cSRoman Divacky         Value *NewOp;
469f22ef01cSRoman Divacky         if (!isa<ConstantPlaceHolder>(*I)) {
470f22ef01cSRoman Divacky           // Not a placeholder reference.
471f22ef01cSRoman Divacky           NewOp = *I;
472f22ef01cSRoman Divacky         } else if (*I == Placeholder) {
473f22ef01cSRoman Divacky           // Common case is that it just references this one placeholder.
474f22ef01cSRoman Divacky           NewOp = RealVal;
475f22ef01cSRoman Divacky         } else {
476f22ef01cSRoman Divacky           // Otherwise, look up the placeholder in ResolveConstants.
477f22ef01cSRoman Divacky           ResolveConstantsTy::iterator It =
478f22ef01cSRoman Divacky             std::lower_bound(ResolveConstants.begin(), ResolveConstants.end(),
479f22ef01cSRoman Divacky                              std::pair<Constant*, unsigned>(cast<Constant>(*I),
480f22ef01cSRoman Divacky                                                             0));
481f22ef01cSRoman Divacky           assert(It != ResolveConstants.end() && It->first == *I);
482f22ef01cSRoman Divacky           NewOp = operator[](It->second);
483f22ef01cSRoman Divacky         }
484f22ef01cSRoman Divacky 
485f22ef01cSRoman Divacky         NewOps.push_back(cast<Constant>(NewOp));
486f22ef01cSRoman Divacky       }
487f22ef01cSRoman Divacky 
488f22ef01cSRoman Divacky       // Make the new constant.
489f22ef01cSRoman Divacky       Constant *NewC;
490f22ef01cSRoman Divacky       if (ConstantArray *UserCA = dyn_cast<ConstantArray>(UserC)) {
49117a519f9SDimitry Andric         NewC = ConstantArray::get(UserCA->getType(), NewOps);
492f22ef01cSRoman Divacky       } else if (ConstantStruct *UserCS = dyn_cast<ConstantStruct>(UserC)) {
49317a519f9SDimitry Andric         NewC = ConstantStruct::get(UserCS->getType(), NewOps);
494f22ef01cSRoman Divacky       } else if (isa<ConstantVector>(UserC)) {
4952754fe60SDimitry Andric         NewC = ConstantVector::get(NewOps);
496f22ef01cSRoman Divacky       } else {
497f22ef01cSRoman Divacky         assert(isa<ConstantExpr>(UserC) && "Must be a ConstantExpr.");
4983b0f4066SDimitry Andric         NewC = cast<ConstantExpr>(UserC)->getWithOperands(NewOps);
499f22ef01cSRoman Divacky       }
500f22ef01cSRoman Divacky 
501f22ef01cSRoman Divacky       UserC->replaceAllUsesWith(NewC);
502f22ef01cSRoman Divacky       UserC->destroyConstant();
503f22ef01cSRoman Divacky       NewOps.clear();
504f22ef01cSRoman Divacky     }
505f22ef01cSRoman Divacky 
506f22ef01cSRoman Divacky     // Update all ValueHandles, they should be the only users at this point.
507f22ef01cSRoman Divacky     Placeholder->replaceAllUsesWith(RealVal);
508f22ef01cSRoman Divacky     delete Placeholder;
509f22ef01cSRoman Divacky   }
510f22ef01cSRoman Divacky }
511f22ef01cSRoman Divacky 
51239d628a0SDimitry Andric void BitcodeReaderMDValueList::AssignValue(Metadata *MD, unsigned Idx) {
513f22ef01cSRoman Divacky   if (Idx == size()) {
51439d628a0SDimitry Andric     push_back(MD);
515f22ef01cSRoman Divacky     return;
516f22ef01cSRoman Divacky   }
517f22ef01cSRoman Divacky 
518f22ef01cSRoman Divacky   if (Idx >= size())
519f22ef01cSRoman Divacky     resize(Idx+1);
520f22ef01cSRoman Divacky 
52139d628a0SDimitry Andric   TrackingMDRef &OldMD = MDValuePtrs[Idx];
52239d628a0SDimitry Andric   if (!OldMD) {
52339d628a0SDimitry Andric     OldMD.reset(MD);
524f22ef01cSRoman Divacky     return;
525f22ef01cSRoman Divacky   }
526f22ef01cSRoman Divacky 
527f22ef01cSRoman Divacky   // If there was a forward reference to this value, replace it.
52839d628a0SDimitry Andric   MDNodeFwdDecl *PrevMD = cast<MDNodeFwdDecl>(OldMD.get());
52939d628a0SDimitry Andric   PrevMD->replaceAllUsesWith(MD);
53039d628a0SDimitry Andric   MDNode::deleteTemporary(PrevMD);
53139d628a0SDimitry Andric   --NumFwdRefs;
532f22ef01cSRoman Divacky }
533f22ef01cSRoman Divacky 
53439d628a0SDimitry Andric Metadata *BitcodeReaderMDValueList::getValueFwdRef(unsigned Idx) {
535f22ef01cSRoman Divacky   if (Idx >= size())
536f22ef01cSRoman Divacky     resize(Idx + 1);
537f22ef01cSRoman Divacky 
53839d628a0SDimitry Andric   if (Metadata *MD = MDValuePtrs[Idx])
53939d628a0SDimitry Andric     return MD;
540f22ef01cSRoman Divacky 
541b09980d1SDimitry Andric   // Track forward refs to be resolved later.
542b09980d1SDimitry Andric   if (AnyFwdRefs) {
543b09980d1SDimitry Andric     MinFwdRef = std::min(MinFwdRef, Idx);
544b09980d1SDimitry Andric     MaxFwdRef = std::max(MaxFwdRef, Idx);
545b09980d1SDimitry Andric   } else {
54639d628a0SDimitry Andric     AnyFwdRefs = true;
547b09980d1SDimitry Andric     MinFwdRef = MaxFwdRef = Idx;
548b09980d1SDimitry Andric   }
54939d628a0SDimitry Andric   ++NumFwdRefs;
550b09980d1SDimitry Andric 
551b09980d1SDimitry Andric   // Create and return a placeholder, which will later be RAUW'd.
55239d628a0SDimitry Andric   Metadata *MD = MDNode::getTemporary(Context, None);
55339d628a0SDimitry Andric   MDValuePtrs[Idx].reset(MD);
55439d628a0SDimitry Andric   return MD;
55539d628a0SDimitry Andric }
55639d628a0SDimitry Andric 
55739d628a0SDimitry Andric void BitcodeReaderMDValueList::tryToResolveCycles() {
55839d628a0SDimitry Andric   if (!AnyFwdRefs)
55939d628a0SDimitry Andric     // Nothing to do.
56039d628a0SDimitry Andric     return;
56139d628a0SDimitry Andric 
56239d628a0SDimitry Andric   if (NumFwdRefs)
56339d628a0SDimitry Andric     // Still forward references... can't resolve cycles.
56439d628a0SDimitry Andric     return;
56539d628a0SDimitry Andric 
56639d628a0SDimitry Andric   // Resolve any cycles.
567b09980d1SDimitry Andric   for (unsigned I = MinFwdRef, E = MaxFwdRef + 1; I != E; ++I) {
568b09980d1SDimitry Andric     auto &MD = MDValuePtrs[I];
56939d628a0SDimitry Andric     assert(!(MD && isa<MDNodeFwdDecl>(MD)) && "Unexpected forward reference");
57039d628a0SDimitry Andric     if (auto *N = dyn_cast_or_null<UniquableMDNode>(MD))
57139d628a0SDimitry Andric       N->resolveCycles();
57239d628a0SDimitry Andric   }
573b09980d1SDimitry Andric 
574b09980d1SDimitry Andric   // Make sure we return early again until there's another forward ref.
575b09980d1SDimitry Andric   AnyFwdRefs = false;
576f22ef01cSRoman Divacky }
577f22ef01cSRoman Divacky 
57817a519f9SDimitry Andric Type *BitcodeReader::getTypeByID(unsigned ID) {
57917a519f9SDimitry Andric   // The type table size is always specified correctly.
58017a519f9SDimitry Andric   if (ID >= TypeList.size())
58191bc56edSDimitry Andric     return nullptr;
582f22ef01cSRoman Divacky 
58317a519f9SDimitry Andric   if (Type *Ty = TypeList[ID])
58417a519f9SDimitry Andric     return Ty;
58517a519f9SDimitry Andric 
58617a519f9SDimitry Andric   // If we have a forward reference, the only possible case is when it is to a
58717a519f9SDimitry Andric   // named struct.  Just create a placeholder for now.
58839d628a0SDimitry Andric   return TypeList[ID] = createIdentifiedStructType(Context);
58939d628a0SDimitry Andric }
59039d628a0SDimitry Andric 
59139d628a0SDimitry Andric StructType *BitcodeReader::createIdentifiedStructType(LLVMContext &Context,
59239d628a0SDimitry Andric                                                       StringRef Name) {
59339d628a0SDimitry Andric   auto *Ret = StructType::create(Context, Name);
59439d628a0SDimitry Andric   IdentifiedStructTypes.push_back(Ret);
59539d628a0SDimitry Andric   return Ret;
59639d628a0SDimitry Andric }
59739d628a0SDimitry Andric 
59839d628a0SDimitry Andric StructType *BitcodeReader::createIdentifiedStructType(LLVMContext &Context) {
59939d628a0SDimitry Andric   auto *Ret = StructType::create(Context);
60039d628a0SDimitry Andric   IdentifiedStructTypes.push_back(Ret);
60139d628a0SDimitry Andric   return Ret;
602f22ef01cSRoman Divacky }
603f22ef01cSRoman Divacky 
60417a519f9SDimitry Andric 
605f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
606f22ef01cSRoman Divacky //  Functions for parsing blocks from the bitcode file
607f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
608f22ef01cSRoman Divacky 
609139f7f9bSDimitry Andric 
610139f7f9bSDimitry Andric /// \brief This fills an AttrBuilder object with the LLVM attributes that have
611139f7f9bSDimitry Andric /// been decoded from the given integer. This function must stay in sync with
612139f7f9bSDimitry Andric /// 'encodeLLVMAttributesForBitcode'.
613139f7f9bSDimitry Andric static void decodeLLVMAttributesForBitcode(AttrBuilder &B,
614139f7f9bSDimitry Andric                                            uint64_t EncodedAttrs) {
615139f7f9bSDimitry Andric   // FIXME: Remove in 4.0.
616139f7f9bSDimitry Andric 
617139f7f9bSDimitry Andric   // The alignment is stored as a 16-bit raw value from bits 31--16.  We shift
618139f7f9bSDimitry Andric   // the bits above 31 down by 11 bits.
619139f7f9bSDimitry Andric   unsigned Alignment = (EncodedAttrs & (0xffffULL << 16)) >> 16;
620139f7f9bSDimitry Andric   assert((!Alignment || isPowerOf2_32(Alignment)) &&
621139f7f9bSDimitry Andric          "Alignment must be a power of two.");
622139f7f9bSDimitry Andric 
623139f7f9bSDimitry Andric   if (Alignment)
624139f7f9bSDimitry Andric     B.addAlignmentAttr(Alignment);
625139f7f9bSDimitry Andric   B.addRawValue(((EncodedAttrs & (0xfffffULL << 32)) >> 11) |
626139f7f9bSDimitry Andric                 (EncodedAttrs & 0xffff));
627139f7f9bSDimitry Andric }
628139f7f9bSDimitry Andric 
62991bc56edSDimitry Andric std::error_code BitcodeReader::ParseAttributeBlock() {
630f22ef01cSRoman Divacky   if (Stream.EnterSubBlock(bitc::PARAMATTR_BLOCK_ID))
63139d628a0SDimitry Andric     return Error("Invalid record");
632f22ef01cSRoman Divacky 
633f22ef01cSRoman Divacky   if (!MAttributes.empty())
63439d628a0SDimitry Andric     return Error("Invalid multiple blocks");
635f22ef01cSRoman Divacky 
636f22ef01cSRoman Divacky   SmallVector<uint64_t, 64> Record;
637f22ef01cSRoman Divacky 
638139f7f9bSDimitry Andric   SmallVector<AttributeSet, 8> Attrs;
639f22ef01cSRoman Divacky 
640f22ef01cSRoman Divacky   // Read all the records.
641f22ef01cSRoman Divacky   while (1) {
642139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
643139f7f9bSDimitry Andric 
644139f7f9bSDimitry Andric     switch (Entry.Kind) {
645139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock: // Handled for us already.
646139f7f9bSDimitry Andric     case BitstreamEntry::Error:
64739d628a0SDimitry Andric       return Error("Malformed block");
648139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
64991bc56edSDimitry Andric       return std::error_code();
650139f7f9bSDimitry Andric     case BitstreamEntry::Record:
651139f7f9bSDimitry Andric       // The interesting case.
652139f7f9bSDimitry Andric       break;
653f22ef01cSRoman Divacky     }
654f22ef01cSRoman Divacky 
655f22ef01cSRoman Divacky     // Read a record.
656f22ef01cSRoman Divacky     Record.clear();
657139f7f9bSDimitry Andric     switch (Stream.readRecord(Entry.ID, Record)) {
658f22ef01cSRoman Divacky     default:  // Default behavior: ignore.
659f22ef01cSRoman Divacky       break;
660139f7f9bSDimitry Andric     case bitc::PARAMATTR_CODE_ENTRY_OLD: { // ENTRY: [paramidx0, attr0, ...]
661139f7f9bSDimitry Andric       // FIXME: Remove in 4.0.
662f22ef01cSRoman Divacky       if (Record.size() & 1)
66339d628a0SDimitry Andric         return Error("Invalid record");
664f22ef01cSRoman Divacky 
665f22ef01cSRoman Divacky       for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
666139f7f9bSDimitry Andric         AttrBuilder B;
667139f7f9bSDimitry Andric         decodeLLVMAttributesForBitcode(B, Record[i+1]);
668139f7f9bSDimitry Andric         Attrs.push_back(AttributeSet::get(Context, Record[i], B));
669f22ef01cSRoman Divacky       }
670f22ef01cSRoman Divacky 
671139f7f9bSDimitry Andric       MAttributes.push_back(AttributeSet::get(Context, Attrs));
672f22ef01cSRoman Divacky       Attrs.clear();
673f22ef01cSRoman Divacky       break;
674f22ef01cSRoman Divacky     }
675139f7f9bSDimitry Andric     case bitc::PARAMATTR_CODE_ENTRY: { // ENTRY: [attrgrp0, attrgrp1, ...]
676139f7f9bSDimitry Andric       for (unsigned i = 0, e = Record.size(); i != e; ++i)
677139f7f9bSDimitry Andric         Attrs.push_back(MAttributeGroups[Record[i]]);
678139f7f9bSDimitry Andric 
679139f7f9bSDimitry Andric       MAttributes.push_back(AttributeSet::get(Context, Attrs));
680139f7f9bSDimitry Andric       Attrs.clear();
681139f7f9bSDimitry Andric       break;
682139f7f9bSDimitry Andric     }
683139f7f9bSDimitry Andric     }
684139f7f9bSDimitry Andric   }
685139f7f9bSDimitry Andric }
686139f7f9bSDimitry Andric 
687f785676fSDimitry Andric // Returns Attribute::None on unrecognized codes.
688f785676fSDimitry Andric static Attribute::AttrKind GetAttrFromCode(uint64_t Code) {
689f785676fSDimitry Andric   switch (Code) {
690f785676fSDimitry Andric   default:
691f785676fSDimitry Andric     return Attribute::None;
692f785676fSDimitry Andric   case bitc::ATTR_KIND_ALIGNMENT:
693f785676fSDimitry Andric     return Attribute::Alignment;
694f785676fSDimitry Andric   case bitc::ATTR_KIND_ALWAYS_INLINE:
695f785676fSDimitry Andric     return Attribute::AlwaysInline;
696f785676fSDimitry Andric   case bitc::ATTR_KIND_BUILTIN:
697f785676fSDimitry Andric     return Attribute::Builtin;
698f785676fSDimitry Andric   case bitc::ATTR_KIND_BY_VAL:
699f785676fSDimitry Andric     return Attribute::ByVal;
70091bc56edSDimitry Andric   case bitc::ATTR_KIND_IN_ALLOCA:
70191bc56edSDimitry Andric     return Attribute::InAlloca;
702f785676fSDimitry Andric   case bitc::ATTR_KIND_COLD:
703f785676fSDimitry Andric     return Attribute::Cold;
704f785676fSDimitry Andric   case bitc::ATTR_KIND_INLINE_HINT:
705f785676fSDimitry Andric     return Attribute::InlineHint;
706f785676fSDimitry Andric   case bitc::ATTR_KIND_IN_REG:
707f785676fSDimitry Andric     return Attribute::InReg;
70891bc56edSDimitry Andric   case bitc::ATTR_KIND_JUMP_TABLE:
70991bc56edSDimitry Andric     return Attribute::JumpTable;
710f785676fSDimitry Andric   case bitc::ATTR_KIND_MIN_SIZE:
711f785676fSDimitry Andric     return Attribute::MinSize;
712f785676fSDimitry Andric   case bitc::ATTR_KIND_NAKED:
713f785676fSDimitry Andric     return Attribute::Naked;
714f785676fSDimitry Andric   case bitc::ATTR_KIND_NEST:
715f785676fSDimitry Andric     return Attribute::Nest;
716f785676fSDimitry Andric   case bitc::ATTR_KIND_NO_ALIAS:
717f785676fSDimitry Andric     return Attribute::NoAlias;
718f785676fSDimitry Andric   case bitc::ATTR_KIND_NO_BUILTIN:
719f785676fSDimitry Andric     return Attribute::NoBuiltin;
720f785676fSDimitry Andric   case bitc::ATTR_KIND_NO_CAPTURE:
721f785676fSDimitry Andric     return Attribute::NoCapture;
722f785676fSDimitry Andric   case bitc::ATTR_KIND_NO_DUPLICATE:
723f785676fSDimitry Andric     return Attribute::NoDuplicate;
724f785676fSDimitry Andric   case bitc::ATTR_KIND_NO_IMPLICIT_FLOAT:
725f785676fSDimitry Andric     return Attribute::NoImplicitFloat;
726f785676fSDimitry Andric   case bitc::ATTR_KIND_NO_INLINE:
727f785676fSDimitry Andric     return Attribute::NoInline;
728f785676fSDimitry Andric   case bitc::ATTR_KIND_NON_LAZY_BIND:
729f785676fSDimitry Andric     return Attribute::NonLazyBind;
73091bc56edSDimitry Andric   case bitc::ATTR_KIND_NON_NULL:
73191bc56edSDimitry Andric     return Attribute::NonNull;
73291bc56edSDimitry Andric   case bitc::ATTR_KIND_DEREFERENCEABLE:
73391bc56edSDimitry Andric     return Attribute::Dereferenceable;
734f785676fSDimitry Andric   case bitc::ATTR_KIND_NO_RED_ZONE:
735f785676fSDimitry Andric     return Attribute::NoRedZone;
736f785676fSDimitry Andric   case bitc::ATTR_KIND_NO_RETURN:
737f785676fSDimitry Andric     return Attribute::NoReturn;
738f785676fSDimitry Andric   case bitc::ATTR_KIND_NO_UNWIND:
739f785676fSDimitry Andric     return Attribute::NoUnwind;
740f785676fSDimitry Andric   case bitc::ATTR_KIND_OPTIMIZE_FOR_SIZE:
741f785676fSDimitry Andric     return Attribute::OptimizeForSize;
742f785676fSDimitry Andric   case bitc::ATTR_KIND_OPTIMIZE_NONE:
743f785676fSDimitry Andric     return Attribute::OptimizeNone;
744f785676fSDimitry Andric   case bitc::ATTR_KIND_READ_NONE:
745f785676fSDimitry Andric     return Attribute::ReadNone;
746f785676fSDimitry Andric   case bitc::ATTR_KIND_READ_ONLY:
747f785676fSDimitry Andric     return Attribute::ReadOnly;
748f785676fSDimitry Andric   case bitc::ATTR_KIND_RETURNED:
749f785676fSDimitry Andric     return Attribute::Returned;
750f785676fSDimitry Andric   case bitc::ATTR_KIND_RETURNS_TWICE:
751f785676fSDimitry Andric     return Attribute::ReturnsTwice;
752f785676fSDimitry Andric   case bitc::ATTR_KIND_S_EXT:
753f785676fSDimitry Andric     return Attribute::SExt;
754f785676fSDimitry Andric   case bitc::ATTR_KIND_STACK_ALIGNMENT:
755f785676fSDimitry Andric     return Attribute::StackAlignment;
756f785676fSDimitry Andric   case bitc::ATTR_KIND_STACK_PROTECT:
757f785676fSDimitry Andric     return Attribute::StackProtect;
758f785676fSDimitry Andric   case bitc::ATTR_KIND_STACK_PROTECT_REQ:
759f785676fSDimitry Andric     return Attribute::StackProtectReq;
760f785676fSDimitry Andric   case bitc::ATTR_KIND_STACK_PROTECT_STRONG:
761f785676fSDimitry Andric     return Attribute::StackProtectStrong;
762f785676fSDimitry Andric   case bitc::ATTR_KIND_STRUCT_RET:
763f785676fSDimitry Andric     return Attribute::StructRet;
764f785676fSDimitry Andric   case bitc::ATTR_KIND_SANITIZE_ADDRESS:
765f785676fSDimitry Andric     return Attribute::SanitizeAddress;
766f785676fSDimitry Andric   case bitc::ATTR_KIND_SANITIZE_THREAD:
767f785676fSDimitry Andric     return Attribute::SanitizeThread;
768f785676fSDimitry Andric   case bitc::ATTR_KIND_SANITIZE_MEMORY:
769f785676fSDimitry Andric     return Attribute::SanitizeMemory;
770f785676fSDimitry Andric   case bitc::ATTR_KIND_UW_TABLE:
771f785676fSDimitry Andric     return Attribute::UWTable;
772f785676fSDimitry Andric   case bitc::ATTR_KIND_Z_EXT:
773f785676fSDimitry Andric     return Attribute::ZExt;
774f785676fSDimitry Andric   }
775f785676fSDimitry Andric }
776f785676fSDimitry Andric 
77791bc56edSDimitry Andric std::error_code BitcodeReader::ParseAttrKind(uint64_t Code,
778f785676fSDimitry Andric                                              Attribute::AttrKind *Kind) {
779f785676fSDimitry Andric   *Kind = GetAttrFromCode(Code);
780f785676fSDimitry Andric   if (*Kind == Attribute::None)
78139d628a0SDimitry Andric     return Error(BitcodeError::CorruptedBitcode,
78239d628a0SDimitry Andric                  "Unknown attribute kind (" + Twine(Code) + ")");
78391bc56edSDimitry Andric   return std::error_code();
784f785676fSDimitry Andric }
785f785676fSDimitry Andric 
78691bc56edSDimitry Andric std::error_code BitcodeReader::ParseAttributeGroupBlock() {
787139f7f9bSDimitry Andric   if (Stream.EnterSubBlock(bitc::PARAMATTR_GROUP_BLOCK_ID))
78839d628a0SDimitry Andric     return Error("Invalid record");
789139f7f9bSDimitry Andric 
790139f7f9bSDimitry Andric   if (!MAttributeGroups.empty())
79139d628a0SDimitry Andric     return Error("Invalid multiple blocks");
792139f7f9bSDimitry Andric 
793139f7f9bSDimitry Andric   SmallVector<uint64_t, 64> Record;
794139f7f9bSDimitry Andric 
795139f7f9bSDimitry Andric   // Read all the records.
796139f7f9bSDimitry Andric   while (1) {
797139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
798139f7f9bSDimitry Andric 
799139f7f9bSDimitry Andric     switch (Entry.Kind) {
800139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock: // Handled for us already.
801139f7f9bSDimitry Andric     case BitstreamEntry::Error:
80239d628a0SDimitry Andric       return Error("Malformed block");
803139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
80491bc56edSDimitry Andric       return std::error_code();
805139f7f9bSDimitry Andric     case BitstreamEntry::Record:
806139f7f9bSDimitry Andric       // The interesting case.
807139f7f9bSDimitry Andric       break;
808139f7f9bSDimitry Andric     }
809139f7f9bSDimitry Andric 
810139f7f9bSDimitry Andric     // Read a record.
811139f7f9bSDimitry Andric     Record.clear();
812139f7f9bSDimitry Andric     switch (Stream.readRecord(Entry.ID, Record)) {
813139f7f9bSDimitry Andric     default:  // Default behavior: ignore.
814139f7f9bSDimitry Andric       break;
815139f7f9bSDimitry Andric     case bitc::PARAMATTR_GRP_CODE_ENTRY: { // ENTRY: [grpid, idx, a0, a1, ...]
816139f7f9bSDimitry Andric       if (Record.size() < 3)
81739d628a0SDimitry Andric         return Error("Invalid record");
818139f7f9bSDimitry Andric 
819139f7f9bSDimitry Andric       uint64_t GrpID = Record[0];
820139f7f9bSDimitry Andric       uint64_t Idx = Record[1]; // Index of the object this attribute refers to.
821139f7f9bSDimitry Andric 
822139f7f9bSDimitry Andric       AttrBuilder B;
823139f7f9bSDimitry Andric       for (unsigned i = 2, e = Record.size(); i != e; ++i) {
824139f7f9bSDimitry Andric         if (Record[i] == 0) {        // Enum attribute
825f785676fSDimitry Andric           Attribute::AttrKind Kind;
82691bc56edSDimitry Andric           if (std::error_code EC = ParseAttrKind(Record[++i], &Kind))
827f785676fSDimitry Andric             return EC;
828f785676fSDimitry Andric 
829f785676fSDimitry Andric           B.addAttribute(Kind);
83091bc56edSDimitry Andric         } else if (Record[i] == 1) { // Integer attribute
831f785676fSDimitry Andric           Attribute::AttrKind Kind;
83291bc56edSDimitry Andric           if (std::error_code EC = ParseAttrKind(Record[++i], &Kind))
833f785676fSDimitry Andric             return EC;
834f785676fSDimitry Andric           if (Kind == Attribute::Alignment)
835139f7f9bSDimitry Andric             B.addAlignmentAttr(Record[++i]);
83691bc56edSDimitry Andric           else if (Kind == Attribute::StackAlignment)
837139f7f9bSDimitry Andric             B.addStackAlignmentAttr(Record[++i]);
83891bc56edSDimitry Andric           else if (Kind == Attribute::Dereferenceable)
83991bc56edSDimitry Andric             B.addDereferenceableAttr(Record[++i]);
840139f7f9bSDimitry Andric         } else {                     // String attribute
841139f7f9bSDimitry Andric           assert((Record[i] == 3 || Record[i] == 4) &&
842139f7f9bSDimitry Andric                  "Invalid attribute group entry");
843139f7f9bSDimitry Andric           bool HasValue = (Record[i++] == 4);
844139f7f9bSDimitry Andric           SmallString<64> KindStr;
845139f7f9bSDimitry Andric           SmallString<64> ValStr;
846139f7f9bSDimitry Andric 
847139f7f9bSDimitry Andric           while (Record[i] != 0 && i != e)
848139f7f9bSDimitry Andric             KindStr += Record[i++];
849139f7f9bSDimitry Andric           assert(Record[i] == 0 && "Kind string not null terminated");
850139f7f9bSDimitry Andric 
851139f7f9bSDimitry Andric           if (HasValue) {
852139f7f9bSDimitry Andric             // Has a value associated with it.
853139f7f9bSDimitry Andric             ++i; // Skip the '0' that terminates the "kind" string.
854139f7f9bSDimitry Andric             while (Record[i] != 0 && i != e)
855139f7f9bSDimitry Andric               ValStr += Record[i++];
856139f7f9bSDimitry Andric             assert(Record[i] == 0 && "Value string not null terminated");
857139f7f9bSDimitry Andric           }
858139f7f9bSDimitry Andric 
859139f7f9bSDimitry Andric           B.addAttribute(KindStr.str(), ValStr.str());
860139f7f9bSDimitry Andric         }
861139f7f9bSDimitry Andric       }
862139f7f9bSDimitry Andric 
863139f7f9bSDimitry Andric       MAttributeGroups[GrpID] = AttributeSet::get(Context, Idx, B);
864139f7f9bSDimitry Andric       break;
865139f7f9bSDimitry Andric     }
866f22ef01cSRoman Divacky     }
867f22ef01cSRoman Divacky   }
868f22ef01cSRoman Divacky }
869f22ef01cSRoman Divacky 
87091bc56edSDimitry Andric std::error_code BitcodeReader::ParseTypeTable() {
87117a519f9SDimitry Andric   if (Stream.EnterSubBlock(bitc::TYPE_BLOCK_ID_NEW))
87239d628a0SDimitry Andric     return Error("Invalid record");
873f22ef01cSRoman Divacky 
87417a519f9SDimitry Andric   return ParseTypeTableBody();
87517a519f9SDimitry Andric }
87617a519f9SDimitry Andric 
87791bc56edSDimitry Andric std::error_code BitcodeReader::ParseTypeTableBody() {
878f22ef01cSRoman Divacky   if (!TypeList.empty())
87939d628a0SDimitry Andric     return Error("Invalid multiple blocks");
880f22ef01cSRoman Divacky 
881f22ef01cSRoman Divacky   SmallVector<uint64_t, 64> Record;
882f22ef01cSRoman Divacky   unsigned NumRecords = 0;
883f22ef01cSRoman Divacky 
88417a519f9SDimitry Andric   SmallString<64> TypeName;
88517a519f9SDimitry Andric 
886f22ef01cSRoman Divacky   // Read all the records for this type table.
887f22ef01cSRoman Divacky   while (1) {
888139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
889139f7f9bSDimitry Andric 
890139f7f9bSDimitry Andric     switch (Entry.Kind) {
891139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock: // Handled for us already.
892139f7f9bSDimitry Andric     case BitstreamEntry::Error:
89339d628a0SDimitry Andric       return Error("Malformed block");
894139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
895f22ef01cSRoman Divacky       if (NumRecords != TypeList.size())
89639d628a0SDimitry Andric         return Error("Malformed block");
89791bc56edSDimitry Andric       return std::error_code();
898139f7f9bSDimitry Andric     case BitstreamEntry::Record:
899139f7f9bSDimitry Andric       // The interesting case.
900139f7f9bSDimitry Andric       break;
901f22ef01cSRoman Divacky     }
902f22ef01cSRoman Divacky 
903f22ef01cSRoman Divacky     // Read a record.
904f22ef01cSRoman Divacky     Record.clear();
90591bc56edSDimitry Andric     Type *ResultTy = nullptr;
906139f7f9bSDimitry Andric     switch (Stream.readRecord(Entry.ID, Record)) {
907f785676fSDimitry Andric     default:
90839d628a0SDimitry Andric       return Error("Invalid value");
909f22ef01cSRoman Divacky     case bitc::TYPE_CODE_NUMENTRY: // TYPE_CODE_NUMENTRY: [numentries]
910f22ef01cSRoman Divacky       // TYPE_CODE_NUMENTRY contains a count of the number of types in the
911f22ef01cSRoman Divacky       // type list.  This allows us to reserve space.
912f22ef01cSRoman Divacky       if (Record.size() < 1)
91339d628a0SDimitry Andric         return Error("Invalid record");
91417a519f9SDimitry Andric       TypeList.resize(Record[0]);
915f22ef01cSRoman Divacky       continue;
916f22ef01cSRoman Divacky     case bitc::TYPE_CODE_VOID:      // VOID
917f22ef01cSRoman Divacky       ResultTy = Type::getVoidTy(Context);
918f22ef01cSRoman Divacky       break;
919dff0c46cSDimitry Andric     case bitc::TYPE_CODE_HALF:     // HALF
920dff0c46cSDimitry Andric       ResultTy = Type::getHalfTy(Context);
921dff0c46cSDimitry Andric       break;
922f22ef01cSRoman Divacky     case bitc::TYPE_CODE_FLOAT:     // FLOAT
923f22ef01cSRoman Divacky       ResultTy = Type::getFloatTy(Context);
924f22ef01cSRoman Divacky       break;
925f22ef01cSRoman Divacky     case bitc::TYPE_CODE_DOUBLE:    // DOUBLE
926f22ef01cSRoman Divacky       ResultTy = Type::getDoubleTy(Context);
927f22ef01cSRoman Divacky       break;
928f22ef01cSRoman Divacky     case bitc::TYPE_CODE_X86_FP80:  // X86_FP80
929f22ef01cSRoman Divacky       ResultTy = Type::getX86_FP80Ty(Context);
930f22ef01cSRoman Divacky       break;
931f22ef01cSRoman Divacky     case bitc::TYPE_CODE_FP128:     // FP128
932f22ef01cSRoman Divacky       ResultTy = Type::getFP128Ty(Context);
933f22ef01cSRoman Divacky       break;
934f22ef01cSRoman Divacky     case bitc::TYPE_CODE_PPC_FP128: // PPC_FP128
935f22ef01cSRoman Divacky       ResultTy = Type::getPPC_FP128Ty(Context);
936f22ef01cSRoman Divacky       break;
937f22ef01cSRoman Divacky     case bitc::TYPE_CODE_LABEL:     // LABEL
938f22ef01cSRoman Divacky       ResultTy = Type::getLabelTy(Context);
939f22ef01cSRoman Divacky       break;
940f22ef01cSRoman Divacky     case bitc::TYPE_CODE_METADATA:  // METADATA
941f22ef01cSRoman Divacky       ResultTy = Type::getMetadataTy(Context);
942f22ef01cSRoman Divacky       break;
9432754fe60SDimitry Andric     case bitc::TYPE_CODE_X86_MMX:   // X86_MMX
9442754fe60SDimitry Andric       ResultTy = Type::getX86_MMXTy(Context);
9452754fe60SDimitry Andric       break;
946f22ef01cSRoman Divacky     case bitc::TYPE_CODE_INTEGER:   // INTEGER: [width]
947f22ef01cSRoman Divacky       if (Record.size() < 1)
94839d628a0SDimitry Andric         return Error("Invalid record");
949f22ef01cSRoman Divacky 
950f22ef01cSRoman Divacky       ResultTy = IntegerType::get(Context, Record[0]);
951f22ef01cSRoman Divacky       break;
952f22ef01cSRoman Divacky     case bitc::TYPE_CODE_POINTER: { // POINTER: [pointee type] or
953f22ef01cSRoman Divacky                                     //          [pointee type, address space]
954f22ef01cSRoman Divacky       if (Record.size() < 1)
95539d628a0SDimitry Andric         return Error("Invalid record");
956f22ef01cSRoman Divacky       unsigned AddressSpace = 0;
957f22ef01cSRoman Divacky       if (Record.size() == 2)
958f22ef01cSRoman Divacky         AddressSpace = Record[1];
95917a519f9SDimitry Andric       ResultTy = getTypeByID(Record[0]);
96091bc56edSDimitry Andric       if (!ResultTy)
96139d628a0SDimitry Andric         return Error("Invalid type");
96217a519f9SDimitry Andric       ResultTy = PointerType::get(ResultTy, AddressSpace);
963f22ef01cSRoman Divacky       break;
964f22ef01cSRoman Divacky     }
965dff0c46cSDimitry Andric     case bitc::TYPE_CODE_FUNCTION_OLD: {
9667ae0e2c9SDimitry Andric       // FIXME: attrid is dead, remove it in LLVM 4.0
967f22ef01cSRoman Divacky       // FUNCTION: [vararg, attrid, retty, paramty x N]
968f22ef01cSRoman Divacky       if (Record.size() < 3)
96939d628a0SDimitry Andric         return Error("Invalid record");
970dff0c46cSDimitry Andric       SmallVector<Type*, 8> ArgTys;
97117a519f9SDimitry Andric       for (unsigned i = 3, e = Record.size(); i != e; ++i) {
97217a519f9SDimitry Andric         if (Type *T = getTypeByID(Record[i]))
97317a519f9SDimitry Andric           ArgTys.push_back(T);
97417a519f9SDimitry Andric         else
975f22ef01cSRoman Divacky           break;
976f22ef01cSRoman Divacky       }
97717a519f9SDimitry Andric 
97817a519f9SDimitry Andric       ResultTy = getTypeByID(Record[2]);
97991bc56edSDimitry Andric       if (!ResultTy || ArgTys.size() < Record.size()-3)
98039d628a0SDimitry Andric         return Error("Invalid type");
98117a519f9SDimitry Andric 
98217a519f9SDimitry Andric       ResultTy = FunctionType::get(ResultTy, ArgTys, Record[0]);
98317a519f9SDimitry Andric       break;
98417a519f9SDimitry Andric     }
985dff0c46cSDimitry Andric     case bitc::TYPE_CODE_FUNCTION: {
986dff0c46cSDimitry Andric       // FUNCTION: [vararg, retty, paramty x N]
987dff0c46cSDimitry Andric       if (Record.size() < 2)
98839d628a0SDimitry Andric         return Error("Invalid record");
989dff0c46cSDimitry Andric       SmallVector<Type*, 8> ArgTys;
990dff0c46cSDimitry Andric       for (unsigned i = 2, e = Record.size(); i != e; ++i) {
991dff0c46cSDimitry Andric         if (Type *T = getTypeByID(Record[i]))
992dff0c46cSDimitry Andric           ArgTys.push_back(T);
993dff0c46cSDimitry Andric         else
994dff0c46cSDimitry Andric           break;
995dff0c46cSDimitry Andric       }
996dff0c46cSDimitry Andric 
997dff0c46cSDimitry Andric       ResultTy = getTypeByID(Record[1]);
99891bc56edSDimitry Andric       if (!ResultTy || ArgTys.size() < Record.size()-2)
99939d628a0SDimitry Andric         return Error("Invalid type");
1000dff0c46cSDimitry Andric 
1001dff0c46cSDimitry Andric       ResultTy = FunctionType::get(ResultTy, ArgTys, Record[0]);
1002dff0c46cSDimitry Andric       break;
1003dff0c46cSDimitry Andric     }
100417a519f9SDimitry Andric     case bitc::TYPE_CODE_STRUCT_ANON: {  // STRUCT: [ispacked, eltty x N]
1005f22ef01cSRoman Divacky       if (Record.size() < 1)
100639d628a0SDimitry Andric         return Error("Invalid record");
1007dff0c46cSDimitry Andric       SmallVector<Type*, 8> EltTys;
100817a519f9SDimitry Andric       for (unsigned i = 1, e = Record.size(); i != e; ++i) {
100917a519f9SDimitry Andric         if (Type *T = getTypeByID(Record[i]))
101017a519f9SDimitry Andric           EltTys.push_back(T);
101117a519f9SDimitry Andric         else
101217a519f9SDimitry Andric           break;
101317a519f9SDimitry Andric       }
101417a519f9SDimitry Andric       if (EltTys.size() != Record.size()-1)
101539d628a0SDimitry Andric         return Error("Invalid type");
1016f22ef01cSRoman Divacky       ResultTy = StructType::get(Context, EltTys, Record[0]);
1017f22ef01cSRoman Divacky       break;
1018f22ef01cSRoman Divacky     }
101917a519f9SDimitry Andric     case bitc::TYPE_CODE_STRUCT_NAME:   // STRUCT_NAME: [strchr x N]
102017a519f9SDimitry Andric       if (ConvertToString(Record, 0, TypeName))
102139d628a0SDimitry Andric         return Error("Invalid record");
102217a519f9SDimitry Andric       continue;
102317a519f9SDimitry Andric 
102417a519f9SDimitry Andric     case bitc::TYPE_CODE_STRUCT_NAMED: { // STRUCT: [ispacked, eltty x N]
102517a519f9SDimitry Andric       if (Record.size() < 1)
102639d628a0SDimitry Andric         return Error("Invalid record");
102717a519f9SDimitry Andric 
102817a519f9SDimitry Andric       if (NumRecords >= TypeList.size())
102939d628a0SDimitry Andric         return Error("Invalid TYPE table");
103017a519f9SDimitry Andric 
103117a519f9SDimitry Andric       // Check to see if this was forward referenced, if so fill in the temp.
103217a519f9SDimitry Andric       StructType *Res = cast_or_null<StructType>(TypeList[NumRecords]);
103317a519f9SDimitry Andric       if (Res) {
103417a519f9SDimitry Andric         Res->setName(TypeName);
103591bc56edSDimitry Andric         TypeList[NumRecords] = nullptr;
103617a519f9SDimitry Andric       } else  // Otherwise, create a new struct.
103739d628a0SDimitry Andric         Res = createIdentifiedStructType(Context, TypeName);
103817a519f9SDimitry Andric       TypeName.clear();
103917a519f9SDimitry Andric 
104017a519f9SDimitry Andric       SmallVector<Type*, 8> EltTys;
104117a519f9SDimitry Andric       for (unsigned i = 1, e = Record.size(); i != e; ++i) {
104217a519f9SDimitry Andric         if (Type *T = getTypeByID(Record[i]))
104317a519f9SDimitry Andric           EltTys.push_back(T);
104417a519f9SDimitry Andric         else
104517a519f9SDimitry Andric           break;
104617a519f9SDimitry Andric       }
104717a519f9SDimitry Andric       if (EltTys.size() != Record.size()-1)
104839d628a0SDimitry Andric         return Error("Invalid record");
104917a519f9SDimitry Andric       Res->setBody(EltTys, Record[0]);
105017a519f9SDimitry Andric       ResultTy = Res;
105117a519f9SDimitry Andric       break;
105217a519f9SDimitry Andric     }
105317a519f9SDimitry Andric     case bitc::TYPE_CODE_OPAQUE: {       // OPAQUE: []
105417a519f9SDimitry Andric       if (Record.size() != 1)
105539d628a0SDimitry Andric         return Error("Invalid record");
105617a519f9SDimitry Andric 
105717a519f9SDimitry Andric       if (NumRecords >= TypeList.size())
105839d628a0SDimitry Andric         return Error("Invalid TYPE table");
105917a519f9SDimitry Andric 
106017a519f9SDimitry Andric       // Check to see if this was forward referenced, if so fill in the temp.
106117a519f9SDimitry Andric       StructType *Res = cast_or_null<StructType>(TypeList[NumRecords]);
106217a519f9SDimitry Andric       if (Res) {
106317a519f9SDimitry Andric         Res->setName(TypeName);
106491bc56edSDimitry Andric         TypeList[NumRecords] = nullptr;
106517a519f9SDimitry Andric       } else  // Otherwise, create a new struct with no body.
106639d628a0SDimitry Andric         Res = createIdentifiedStructType(Context, TypeName);
106717a519f9SDimitry Andric       TypeName.clear();
106817a519f9SDimitry Andric       ResultTy = Res;
106917a519f9SDimitry Andric       break;
107017a519f9SDimitry Andric     }
1071f22ef01cSRoman Divacky     case bitc::TYPE_CODE_ARRAY:     // ARRAY: [numelts, eltty]
1072f22ef01cSRoman Divacky       if (Record.size() < 2)
107339d628a0SDimitry Andric         return Error("Invalid record");
107417a519f9SDimitry Andric       if ((ResultTy = getTypeByID(Record[1])))
107517a519f9SDimitry Andric         ResultTy = ArrayType::get(ResultTy, Record[0]);
107617a519f9SDimitry Andric       else
107739d628a0SDimitry Andric         return Error("Invalid type");
1078f22ef01cSRoman Divacky       break;
1079f22ef01cSRoman Divacky     case bitc::TYPE_CODE_VECTOR:    // VECTOR: [numelts, eltty]
1080f22ef01cSRoman Divacky       if (Record.size() < 2)
108139d628a0SDimitry Andric         return Error("Invalid record");
108217a519f9SDimitry Andric       if ((ResultTy = getTypeByID(Record[1])))
108317a519f9SDimitry Andric         ResultTy = VectorType::get(ResultTy, Record[0]);
108417a519f9SDimitry Andric       else
108539d628a0SDimitry Andric         return Error("Invalid type");
1086f22ef01cSRoman Divacky       break;
1087f22ef01cSRoman Divacky     }
1088f22ef01cSRoman Divacky 
108917a519f9SDimitry Andric     if (NumRecords >= TypeList.size())
109039d628a0SDimitry Andric       return Error("Invalid TYPE table");
109117a519f9SDimitry Andric     assert(ResultTy && "Didn't read a type?");
109291bc56edSDimitry Andric     assert(!TypeList[NumRecords] && "Already read type?");
109317a519f9SDimitry Andric     TypeList[NumRecords++] = ResultTy;
1094f22ef01cSRoman Divacky   }
1095f22ef01cSRoman Divacky }
109617a519f9SDimitry Andric 
109791bc56edSDimitry Andric std::error_code BitcodeReader::ParseValueSymbolTable() {
1098f22ef01cSRoman Divacky   if (Stream.EnterSubBlock(bitc::VALUE_SYMTAB_BLOCK_ID))
109939d628a0SDimitry Andric     return Error("Invalid record");
1100f22ef01cSRoman Divacky 
1101f22ef01cSRoman Divacky   SmallVector<uint64_t, 64> Record;
1102f22ef01cSRoman Divacky 
1103f22ef01cSRoman Divacky   // Read all the records for this value table.
1104f22ef01cSRoman Divacky   SmallString<128> ValueName;
1105f22ef01cSRoman Divacky   while (1) {
1106139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
1107f22ef01cSRoman Divacky 
1108139f7f9bSDimitry Andric     switch (Entry.Kind) {
1109139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock: // Handled for us already.
1110139f7f9bSDimitry Andric     case BitstreamEntry::Error:
111139d628a0SDimitry Andric       return Error("Malformed block");
1112139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
111391bc56edSDimitry Andric       return std::error_code();
1114139f7f9bSDimitry Andric     case BitstreamEntry::Record:
1115139f7f9bSDimitry Andric       // The interesting case.
1116139f7f9bSDimitry Andric       break;
1117f22ef01cSRoman Divacky     }
1118f22ef01cSRoman Divacky 
1119f22ef01cSRoman Divacky     // Read a record.
1120f22ef01cSRoman Divacky     Record.clear();
1121139f7f9bSDimitry Andric     switch (Stream.readRecord(Entry.ID, Record)) {
1122f22ef01cSRoman Divacky     default:  // Default behavior: unknown type.
1123f22ef01cSRoman Divacky       break;
1124f22ef01cSRoman Divacky     case bitc::VST_CODE_ENTRY: {  // VST_ENTRY: [valueid, namechar x N]
1125f22ef01cSRoman Divacky       if (ConvertToString(Record, 1, ValueName))
112639d628a0SDimitry Andric         return Error("Invalid record");
1127f22ef01cSRoman Divacky       unsigned ValueID = Record[0];
112891bc56edSDimitry Andric       if (ValueID >= ValueList.size() || !ValueList[ValueID])
112939d628a0SDimitry Andric         return Error("Invalid record");
1130f22ef01cSRoman Divacky       Value *V = ValueList[ValueID];
1131f22ef01cSRoman Divacky 
1132f22ef01cSRoman Divacky       V->setName(StringRef(ValueName.data(), ValueName.size()));
1133f22ef01cSRoman Divacky       ValueName.clear();
1134f22ef01cSRoman Divacky       break;
1135f22ef01cSRoman Divacky     }
1136f22ef01cSRoman Divacky     case bitc::VST_CODE_BBENTRY: {
1137f22ef01cSRoman Divacky       if (ConvertToString(Record, 1, ValueName))
113839d628a0SDimitry Andric         return Error("Invalid record");
1139f22ef01cSRoman Divacky       BasicBlock *BB = getBasicBlock(Record[0]);
114091bc56edSDimitry Andric       if (!BB)
114139d628a0SDimitry Andric         return Error("Invalid record");
1142f22ef01cSRoman Divacky 
1143f22ef01cSRoman Divacky       BB->setName(StringRef(ValueName.data(), ValueName.size()));
1144f22ef01cSRoman Divacky       ValueName.clear();
1145f22ef01cSRoman Divacky       break;
1146f22ef01cSRoman Divacky     }
1147f22ef01cSRoman Divacky     }
1148f22ef01cSRoman Divacky   }
1149f22ef01cSRoman Divacky }
1150f22ef01cSRoman Divacky 
115191bc56edSDimitry Andric std::error_code BitcodeReader::ParseMetadata() {
1152f22ef01cSRoman Divacky   unsigned NextMDValueNo = MDValueList.size();
1153f22ef01cSRoman Divacky 
1154f22ef01cSRoman Divacky   if (Stream.EnterSubBlock(bitc::METADATA_BLOCK_ID))
115539d628a0SDimitry Andric     return Error("Invalid record");
1156f22ef01cSRoman Divacky 
1157f22ef01cSRoman Divacky   SmallVector<uint64_t, 64> Record;
1158f22ef01cSRoman Divacky 
1159f22ef01cSRoman Divacky   // Read all the records.
1160f22ef01cSRoman Divacky   while (1) {
1161139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
1162139f7f9bSDimitry Andric 
1163139f7f9bSDimitry Andric     switch (Entry.Kind) {
1164139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock: // Handled for us already.
1165139f7f9bSDimitry Andric     case BitstreamEntry::Error:
116639d628a0SDimitry Andric       return Error("Malformed block");
1167139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
116839d628a0SDimitry Andric       MDValueList.tryToResolveCycles();
116991bc56edSDimitry Andric       return std::error_code();
1170139f7f9bSDimitry Andric     case BitstreamEntry::Record:
1171139f7f9bSDimitry Andric       // The interesting case.
1172139f7f9bSDimitry Andric       break;
1173f22ef01cSRoman Divacky     }
1174f22ef01cSRoman Divacky 
1175f22ef01cSRoman Divacky     // Read a record.
1176f22ef01cSRoman Divacky     Record.clear();
1177139f7f9bSDimitry Andric     unsigned Code = Stream.readRecord(Entry.ID, Record);
117839d628a0SDimitry Andric     bool IsDistinct = false;
1179e580952dSDimitry Andric     switch (Code) {
1180f22ef01cSRoman Divacky     default:  // Default behavior: ignore.
1181f22ef01cSRoman Divacky       break;
1182f22ef01cSRoman Divacky     case bitc::METADATA_NAME: {
1183139f7f9bSDimitry Andric       // Read name of the named metadata.
11847ae0e2c9SDimitry Andric       SmallString<8> Name(Record.begin(), Record.end());
1185f22ef01cSRoman Divacky       Record.clear();
1186f22ef01cSRoman Divacky       Code = Stream.ReadCode();
1187f22ef01cSRoman Divacky 
118817a519f9SDimitry Andric       // METADATA_NAME is always followed by METADATA_NAMED_NODE.
1189139f7f9bSDimitry Andric       unsigned NextBitCode = Stream.readRecord(Code, Record);
119017a519f9SDimitry Andric       assert(NextBitCode == bitc::METADATA_NAMED_NODE); (void)NextBitCode;
1191f22ef01cSRoman Divacky 
1192f22ef01cSRoman Divacky       // Read named metadata elements.
1193f22ef01cSRoman Divacky       unsigned Size = Record.size();
1194e580952dSDimitry Andric       NamedMDNode *NMD = TheModule->getOrInsertNamedMetadata(Name);
1195f22ef01cSRoman Divacky       for (unsigned i = 0; i != Size; ++i) {
119691bc56edSDimitry Andric         MDNode *MD = dyn_cast_or_null<MDNode>(MDValueList.getValueFwdRef(Record[i]));
119791bc56edSDimitry Andric         if (!MD)
119839d628a0SDimitry Andric           return Error("Invalid record");
1199e580952dSDimitry Andric         NMD->addOperand(MD);
1200f22ef01cSRoman Divacky       }
1201f22ef01cSRoman Divacky       break;
1202f22ef01cSRoman Divacky     }
120339d628a0SDimitry Andric     case bitc::METADATA_OLD_FN_NODE: {
120439d628a0SDimitry Andric       // FIXME: Remove in 4.0.
120539d628a0SDimitry Andric       // This is a LocalAsMetadata record, the only type of function-local
120639d628a0SDimitry Andric       // metadata.
1207ffd1746dSEd Schouten       if (Record.size() % 2 == 1)
120839d628a0SDimitry Andric         return Error("Invalid record");
120939d628a0SDimitry Andric 
121039d628a0SDimitry Andric       // If this isn't a LocalAsMetadata record, we're dropping it.  This used
121139d628a0SDimitry Andric       // to be legal, but there's no upgrade path.
121239d628a0SDimitry Andric       auto dropRecord = [&] {
121339d628a0SDimitry Andric         MDValueList.AssignValue(MDNode::get(Context, None), NextMDValueNo++);
121439d628a0SDimitry Andric       };
121539d628a0SDimitry Andric       if (Record.size() != 2) {
121639d628a0SDimitry Andric         dropRecord();
121739d628a0SDimitry Andric         break;
121839d628a0SDimitry Andric       }
121939d628a0SDimitry Andric 
122039d628a0SDimitry Andric       Type *Ty = getTypeByID(Record[0]);
122139d628a0SDimitry Andric       if (Ty->isMetadataTy() || Ty->isVoidTy()) {
122239d628a0SDimitry Andric         dropRecord();
122339d628a0SDimitry Andric         break;
122439d628a0SDimitry Andric       }
122539d628a0SDimitry Andric 
122639d628a0SDimitry Andric       MDValueList.AssignValue(
122739d628a0SDimitry Andric           LocalAsMetadata::get(ValueList.getValueFwdRef(Record[1], Ty)),
122839d628a0SDimitry Andric           NextMDValueNo++);
122939d628a0SDimitry Andric       break;
123039d628a0SDimitry Andric     }
123139d628a0SDimitry Andric     case bitc::METADATA_OLD_NODE: {
123239d628a0SDimitry Andric       // FIXME: Remove in 4.0.
123339d628a0SDimitry Andric       if (Record.size() % 2 == 1)
123439d628a0SDimitry Andric         return Error("Invalid record");
1235f22ef01cSRoman Divacky 
1236f22ef01cSRoman Divacky       unsigned Size = Record.size();
123739d628a0SDimitry Andric       SmallVector<Metadata *, 8> Elts;
1238f22ef01cSRoman Divacky       for (unsigned i = 0; i != Size; i += 2) {
12396122f3e6SDimitry Andric         Type *Ty = getTypeByID(Record[i]);
1240f785676fSDimitry Andric         if (!Ty)
124139d628a0SDimitry Andric           return Error("Invalid record");
1242f22ef01cSRoman Divacky         if (Ty->isMetadataTy())
1243f22ef01cSRoman Divacky           Elts.push_back(MDValueList.getValueFwdRef(Record[i+1]));
124439d628a0SDimitry Andric         else if (!Ty->isVoidTy()) {
124539d628a0SDimitry Andric           auto *MD =
124639d628a0SDimitry Andric               ValueAsMetadata::get(ValueList.getValueFwdRef(Record[i + 1], Ty));
124739d628a0SDimitry Andric           assert(isa<ConstantAsMetadata>(MD) &&
124839d628a0SDimitry Andric                  "Expected non-function-local metadata");
124939d628a0SDimitry Andric           Elts.push_back(MD);
125039d628a0SDimitry Andric         } else
125191bc56edSDimitry Andric           Elts.push_back(nullptr);
1252f22ef01cSRoman Divacky       }
125339d628a0SDimitry Andric       MDValueList.AssignValue(MDNode::get(Context, Elts), NextMDValueNo++);
125439d628a0SDimitry Andric       break;
125539d628a0SDimitry Andric     }
125639d628a0SDimitry Andric     case bitc::METADATA_VALUE: {
125739d628a0SDimitry Andric       if (Record.size() != 2)
125839d628a0SDimitry Andric         return Error("Invalid record");
125939d628a0SDimitry Andric 
126039d628a0SDimitry Andric       Type *Ty = getTypeByID(Record[0]);
126139d628a0SDimitry Andric       if (Ty->isMetadataTy() || Ty->isVoidTy())
126239d628a0SDimitry Andric         return Error("Invalid record");
126339d628a0SDimitry Andric 
126439d628a0SDimitry Andric       MDValueList.AssignValue(
126539d628a0SDimitry Andric           ValueAsMetadata::get(ValueList.getValueFwdRef(Record[1], Ty)),
126639d628a0SDimitry Andric           NextMDValueNo++);
126739d628a0SDimitry Andric       break;
126839d628a0SDimitry Andric     }
126939d628a0SDimitry Andric     case bitc::METADATA_DISTINCT_NODE:
127039d628a0SDimitry Andric       IsDistinct = true;
127139d628a0SDimitry Andric       // fallthrough...
127239d628a0SDimitry Andric     case bitc::METADATA_NODE: {
127339d628a0SDimitry Andric       SmallVector<Metadata *, 8> Elts;
127439d628a0SDimitry Andric       Elts.reserve(Record.size());
127539d628a0SDimitry Andric       for (unsigned ID : Record)
127639d628a0SDimitry Andric         Elts.push_back(ID ? MDValueList.getValueFwdRef(ID - 1) : nullptr);
127739d628a0SDimitry Andric       MDValueList.AssignValue(IsDistinct ? MDNode::getDistinct(Context, Elts)
127839d628a0SDimitry Andric                                          : MDNode::get(Context, Elts),
127939d628a0SDimitry Andric                               NextMDValueNo++);
128039d628a0SDimitry Andric       break;
128139d628a0SDimitry Andric     }
128239d628a0SDimitry Andric     case bitc::METADATA_LOCATION: {
128339d628a0SDimitry Andric       if (Record.size() != 5)
128439d628a0SDimitry Andric         return Error("Invalid record");
128539d628a0SDimitry Andric 
128639d628a0SDimitry Andric       auto get = Record[0] ? MDLocation::getDistinct : MDLocation::get;
128739d628a0SDimitry Andric       unsigned Line = Record[1];
128839d628a0SDimitry Andric       unsigned Column = Record[2];
128939d628a0SDimitry Andric       MDNode *Scope = cast<MDNode>(MDValueList.getValueFwdRef(Record[3]));
129039d628a0SDimitry Andric       Metadata *InlinedAt =
129139d628a0SDimitry Andric           Record[4] ? MDValueList.getValueFwdRef(Record[4] - 1) : nullptr;
129239d628a0SDimitry Andric       MDValueList.AssignValue(get(Context, Line, Column, Scope, InlinedAt),
129339d628a0SDimitry Andric                               NextMDValueNo++);
1294f22ef01cSRoman Divacky       break;
1295f22ef01cSRoman Divacky     }
1296f22ef01cSRoman Divacky     case bitc::METADATA_STRING: {
129791bc56edSDimitry Andric       std::string String(Record.begin(), Record.end());
129891bc56edSDimitry Andric       llvm::UpgradeMDStringConstant(String);
129939d628a0SDimitry Andric       Metadata *MD = MDString::get(Context, String);
130039d628a0SDimitry Andric       MDValueList.AssignValue(MD, NextMDValueNo++);
1301f22ef01cSRoman Divacky       break;
1302f22ef01cSRoman Divacky     }
1303f22ef01cSRoman Divacky     case bitc::METADATA_KIND: {
13047ae0e2c9SDimitry Andric       if (Record.size() < 2)
130539d628a0SDimitry Andric         return Error("Invalid record");
13067ae0e2c9SDimitry Andric 
1307f22ef01cSRoman Divacky       unsigned Kind = Record[0];
13087ae0e2c9SDimitry Andric       SmallString<8> Name(Record.begin()+1, Record.end());
1309f22ef01cSRoman Divacky 
1310f22ef01cSRoman Divacky       unsigned NewKind = TheModule->getMDKindID(Name.str());
1311e580952dSDimitry Andric       if (!MDKindMap.insert(std::make_pair(Kind, NewKind)).second)
131239d628a0SDimitry Andric         return Error("Conflicting METADATA_KIND records");
1313f22ef01cSRoman Divacky       break;
1314f22ef01cSRoman Divacky     }
1315f22ef01cSRoman Divacky     }
1316f22ef01cSRoman Divacky   }
1317f22ef01cSRoman Divacky }
1318f22ef01cSRoman Divacky 
13193861d79fSDimitry Andric /// decodeSignRotatedValue - Decode a signed value stored with the sign bit in
1320f22ef01cSRoman Divacky /// the LSB for dense VBR encoding.
13213861d79fSDimitry Andric uint64_t BitcodeReader::decodeSignRotatedValue(uint64_t V) {
1322f22ef01cSRoman Divacky   if ((V & 1) == 0)
1323f22ef01cSRoman Divacky     return V >> 1;
1324f22ef01cSRoman Divacky   if (V != 1)
1325f22ef01cSRoman Divacky     return -(V >> 1);
1326f22ef01cSRoman Divacky   // There is no such thing as -0 with integers.  "-0" really means MININT.
1327f22ef01cSRoman Divacky   return 1ULL << 63;
1328f22ef01cSRoman Divacky }
1329f22ef01cSRoman Divacky 
1330f22ef01cSRoman Divacky /// ResolveGlobalAndAliasInits - Resolve all of the initializers for global
1331f22ef01cSRoman Divacky /// values and aliases that we can.
133291bc56edSDimitry Andric std::error_code BitcodeReader::ResolveGlobalAndAliasInits() {
1333f22ef01cSRoman Divacky   std::vector<std::pair<GlobalVariable*, unsigned> > GlobalInitWorklist;
1334f22ef01cSRoman Divacky   std::vector<std::pair<GlobalAlias*, unsigned> > AliasInitWorklist;
1335f785676fSDimitry Andric   std::vector<std::pair<Function*, unsigned> > FunctionPrefixWorklist;
133639d628a0SDimitry Andric   std::vector<std::pair<Function*, unsigned> > FunctionPrologueWorklist;
1337f22ef01cSRoman Divacky 
1338f22ef01cSRoman Divacky   GlobalInitWorklist.swap(GlobalInits);
1339f22ef01cSRoman Divacky   AliasInitWorklist.swap(AliasInits);
1340f785676fSDimitry Andric   FunctionPrefixWorklist.swap(FunctionPrefixes);
134139d628a0SDimitry Andric   FunctionPrologueWorklist.swap(FunctionPrologues);
1342f22ef01cSRoman Divacky 
1343f22ef01cSRoman Divacky   while (!GlobalInitWorklist.empty()) {
1344f22ef01cSRoman Divacky     unsigned ValID = GlobalInitWorklist.back().second;
1345f22ef01cSRoman Divacky     if (ValID >= ValueList.size()) {
1346f22ef01cSRoman Divacky       // Not ready to resolve this yet, it requires something later in the file.
1347f22ef01cSRoman Divacky       GlobalInits.push_back(GlobalInitWorklist.back());
1348f22ef01cSRoman Divacky     } else {
134991bc56edSDimitry Andric       if (Constant *C = dyn_cast_or_null<Constant>(ValueList[ValID]))
1350f22ef01cSRoman Divacky         GlobalInitWorklist.back().first->setInitializer(C);
1351f22ef01cSRoman Divacky       else
135239d628a0SDimitry Andric         return Error("Expected a constant");
1353f22ef01cSRoman Divacky     }
1354f22ef01cSRoman Divacky     GlobalInitWorklist.pop_back();
1355f22ef01cSRoman Divacky   }
1356f22ef01cSRoman Divacky 
1357f22ef01cSRoman Divacky   while (!AliasInitWorklist.empty()) {
1358f22ef01cSRoman Divacky     unsigned ValID = AliasInitWorklist.back().second;
1359f22ef01cSRoman Divacky     if (ValID >= ValueList.size()) {
1360f22ef01cSRoman Divacky       AliasInits.push_back(AliasInitWorklist.back());
1361f22ef01cSRoman Divacky     } else {
136291bc56edSDimitry Andric       if (Constant *C = dyn_cast_or_null<Constant>(ValueList[ValID]))
1363f22ef01cSRoman Divacky         AliasInitWorklist.back().first->setAliasee(C);
1364f22ef01cSRoman Divacky       else
136539d628a0SDimitry Andric         return Error("Expected a constant");
1366f22ef01cSRoman Divacky     }
1367f22ef01cSRoman Divacky     AliasInitWorklist.pop_back();
1368f22ef01cSRoman Divacky   }
1369f785676fSDimitry Andric 
1370f785676fSDimitry Andric   while (!FunctionPrefixWorklist.empty()) {
1371f785676fSDimitry Andric     unsigned ValID = FunctionPrefixWorklist.back().second;
1372f785676fSDimitry Andric     if (ValID >= ValueList.size()) {
1373f785676fSDimitry Andric       FunctionPrefixes.push_back(FunctionPrefixWorklist.back());
1374f785676fSDimitry Andric     } else {
137591bc56edSDimitry Andric       if (Constant *C = dyn_cast_or_null<Constant>(ValueList[ValID]))
1376f785676fSDimitry Andric         FunctionPrefixWorklist.back().first->setPrefixData(C);
1377f785676fSDimitry Andric       else
137839d628a0SDimitry Andric         return Error("Expected a constant");
1379f785676fSDimitry Andric     }
1380f785676fSDimitry Andric     FunctionPrefixWorklist.pop_back();
1381f785676fSDimitry Andric   }
1382f785676fSDimitry Andric 
138339d628a0SDimitry Andric   while (!FunctionPrologueWorklist.empty()) {
138439d628a0SDimitry Andric     unsigned ValID = FunctionPrologueWorklist.back().second;
138539d628a0SDimitry Andric     if (ValID >= ValueList.size()) {
138639d628a0SDimitry Andric       FunctionPrologues.push_back(FunctionPrologueWorklist.back());
138739d628a0SDimitry Andric     } else {
138839d628a0SDimitry Andric       if (Constant *C = dyn_cast_or_null<Constant>(ValueList[ValID]))
138939d628a0SDimitry Andric         FunctionPrologueWorklist.back().first->setPrologueData(C);
139039d628a0SDimitry Andric       else
139139d628a0SDimitry Andric         return Error("Expected a constant");
139239d628a0SDimitry Andric     }
139339d628a0SDimitry Andric     FunctionPrologueWorklist.pop_back();
139439d628a0SDimitry Andric   }
139539d628a0SDimitry Andric 
139691bc56edSDimitry Andric   return std::error_code();
1397f22ef01cSRoman Divacky }
1398f22ef01cSRoman Divacky 
13997ae0e2c9SDimitry Andric static APInt ReadWideAPInt(ArrayRef<uint64_t> Vals, unsigned TypeBits) {
14007ae0e2c9SDimitry Andric   SmallVector<uint64_t, 8> Words(Vals.size());
14017ae0e2c9SDimitry Andric   std::transform(Vals.begin(), Vals.end(), Words.begin(),
14023861d79fSDimitry Andric                  BitcodeReader::decodeSignRotatedValue);
14037ae0e2c9SDimitry Andric 
14047ae0e2c9SDimitry Andric   return APInt(TypeBits, Words);
14057ae0e2c9SDimitry Andric }
14067ae0e2c9SDimitry Andric 
140791bc56edSDimitry Andric std::error_code BitcodeReader::ParseConstants() {
1408f22ef01cSRoman Divacky   if (Stream.EnterSubBlock(bitc::CONSTANTS_BLOCK_ID))
140939d628a0SDimitry Andric     return Error("Invalid record");
1410f22ef01cSRoman Divacky 
1411f22ef01cSRoman Divacky   SmallVector<uint64_t, 64> Record;
1412f22ef01cSRoman Divacky 
1413f22ef01cSRoman Divacky   // Read all the records for this value table.
14146122f3e6SDimitry Andric   Type *CurTy = Type::getInt32Ty(Context);
1415f22ef01cSRoman Divacky   unsigned NextCstNo = ValueList.size();
1416f22ef01cSRoman Divacky   while (1) {
1417139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
1418139f7f9bSDimitry Andric 
1419139f7f9bSDimitry Andric     switch (Entry.Kind) {
1420139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock: // Handled for us already.
1421139f7f9bSDimitry Andric     case BitstreamEntry::Error:
142239d628a0SDimitry Andric       return Error("Malformed block");
1423139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
1424139f7f9bSDimitry Andric       if (NextCstNo != ValueList.size())
142539d628a0SDimitry Andric         return Error("Invalid ronstant reference");
1426139f7f9bSDimitry Andric 
1427139f7f9bSDimitry Andric       // Once all the constants have been read, go through and resolve forward
1428139f7f9bSDimitry Andric       // references.
1429139f7f9bSDimitry Andric       ValueList.ResolveConstantForwardRefs();
143091bc56edSDimitry Andric       return std::error_code();
1431139f7f9bSDimitry Andric     case BitstreamEntry::Record:
1432139f7f9bSDimitry Andric       // The interesting case.
1433f22ef01cSRoman Divacky       break;
1434f22ef01cSRoman Divacky     }
1435f22ef01cSRoman Divacky 
1436f22ef01cSRoman Divacky     // Read a record.
1437f22ef01cSRoman Divacky     Record.clear();
143891bc56edSDimitry Andric     Value *V = nullptr;
1439139f7f9bSDimitry Andric     unsigned BitCode = Stream.readRecord(Entry.ID, Record);
1440f22ef01cSRoman Divacky     switch (BitCode) {
1441f22ef01cSRoman Divacky     default:  // Default behavior: unknown constant
1442f22ef01cSRoman Divacky     case bitc::CST_CODE_UNDEF:     // UNDEF
1443f22ef01cSRoman Divacky       V = UndefValue::get(CurTy);
1444f22ef01cSRoman Divacky       break;
1445f22ef01cSRoman Divacky     case bitc::CST_CODE_SETTYPE:   // SETTYPE: [typeid]
1446f22ef01cSRoman Divacky       if (Record.empty())
144739d628a0SDimitry Andric         return Error("Invalid record");
144891bc56edSDimitry Andric       if (Record[0] >= TypeList.size() || !TypeList[Record[0]])
144939d628a0SDimitry Andric         return Error("Invalid record");
1450f22ef01cSRoman Divacky       CurTy = TypeList[Record[0]];
1451f22ef01cSRoman Divacky       continue;  // Skip the ValueList manipulation.
1452f22ef01cSRoman Divacky     case bitc::CST_CODE_NULL:      // NULL
1453f22ef01cSRoman Divacky       V = Constant::getNullValue(CurTy);
1454f22ef01cSRoman Divacky       break;
1455f22ef01cSRoman Divacky     case bitc::CST_CODE_INTEGER:   // INTEGER: [intval]
1456f22ef01cSRoman Divacky       if (!CurTy->isIntegerTy() || Record.empty())
145739d628a0SDimitry Andric         return Error("Invalid record");
14583861d79fSDimitry Andric       V = ConstantInt::get(CurTy, decodeSignRotatedValue(Record[0]));
1459f22ef01cSRoman Divacky       break;
1460f22ef01cSRoman Divacky     case bitc::CST_CODE_WIDE_INTEGER: {// WIDE_INTEGER: [n x intval]
1461f22ef01cSRoman Divacky       if (!CurTy->isIntegerTy() || Record.empty())
146239d628a0SDimitry Andric         return Error("Invalid record");
1463f22ef01cSRoman Divacky 
14647ae0e2c9SDimitry Andric       APInt VInt = ReadWideAPInt(Record,
14657ae0e2c9SDimitry Andric                                  cast<IntegerType>(CurTy)->getBitWidth());
14667ae0e2c9SDimitry Andric       V = ConstantInt::get(Context, VInt);
14677ae0e2c9SDimitry Andric 
1468f22ef01cSRoman Divacky       break;
1469f22ef01cSRoman Divacky     }
1470f22ef01cSRoman Divacky     case bitc::CST_CODE_FLOAT: {    // FLOAT: [fpval]
1471f22ef01cSRoman Divacky       if (Record.empty())
147239d628a0SDimitry Andric         return Error("Invalid record");
1473dff0c46cSDimitry Andric       if (CurTy->isHalfTy())
1474139f7f9bSDimitry Andric         V = ConstantFP::get(Context, APFloat(APFloat::IEEEhalf,
1475139f7f9bSDimitry Andric                                              APInt(16, (uint16_t)Record[0])));
1476dff0c46cSDimitry Andric       else if (CurTy->isFloatTy())
1477139f7f9bSDimitry Andric         V = ConstantFP::get(Context, APFloat(APFloat::IEEEsingle,
1478139f7f9bSDimitry Andric                                              APInt(32, (uint32_t)Record[0])));
1479f22ef01cSRoman Divacky       else if (CurTy->isDoubleTy())
1480139f7f9bSDimitry Andric         V = ConstantFP::get(Context, APFloat(APFloat::IEEEdouble,
1481139f7f9bSDimitry Andric                                              APInt(64, Record[0])));
1482f22ef01cSRoman Divacky       else if (CurTy->isX86_FP80Ty()) {
1483f22ef01cSRoman Divacky         // Bits are not stored the same way as a normal i80 APInt, compensate.
1484f22ef01cSRoman Divacky         uint64_t Rearrange[2];
1485f22ef01cSRoman Divacky         Rearrange[0] = (Record[1] & 0xffffLL) | (Record[0] << 16);
1486f22ef01cSRoman Divacky         Rearrange[1] = Record[0] >> 48;
1487139f7f9bSDimitry Andric         V = ConstantFP::get(Context, APFloat(APFloat::x87DoubleExtended,
1488139f7f9bSDimitry Andric                                              APInt(80, Rearrange)));
1489f22ef01cSRoman Divacky       } else if (CurTy->isFP128Ty())
1490139f7f9bSDimitry Andric         V = ConstantFP::get(Context, APFloat(APFloat::IEEEquad,
1491139f7f9bSDimitry Andric                                              APInt(128, Record)));
1492f22ef01cSRoman Divacky       else if (CurTy->isPPC_FP128Ty())
1493139f7f9bSDimitry Andric         V = ConstantFP::get(Context, APFloat(APFloat::PPCDoubleDouble,
1494139f7f9bSDimitry Andric                                              APInt(128, Record)));
1495f22ef01cSRoman Divacky       else
1496f22ef01cSRoman Divacky         V = UndefValue::get(CurTy);
1497f22ef01cSRoman Divacky       break;
1498f22ef01cSRoman Divacky     }
1499f22ef01cSRoman Divacky 
1500f22ef01cSRoman Divacky     case bitc::CST_CODE_AGGREGATE: {// AGGREGATE: [n x value number]
1501f22ef01cSRoman Divacky       if (Record.empty())
150239d628a0SDimitry Andric         return Error("Invalid record");
1503f22ef01cSRoman Divacky 
1504f22ef01cSRoman Divacky       unsigned Size = Record.size();
1505dff0c46cSDimitry Andric       SmallVector<Constant*, 16> Elts;
1506f22ef01cSRoman Divacky 
15076122f3e6SDimitry Andric       if (StructType *STy = dyn_cast<StructType>(CurTy)) {
1508f22ef01cSRoman Divacky         for (unsigned i = 0; i != Size; ++i)
1509f22ef01cSRoman Divacky           Elts.push_back(ValueList.getConstantFwdRef(Record[i],
1510f22ef01cSRoman Divacky                                                      STy->getElementType(i)));
1511f22ef01cSRoman Divacky         V = ConstantStruct::get(STy, Elts);
15126122f3e6SDimitry Andric       } else if (ArrayType *ATy = dyn_cast<ArrayType>(CurTy)) {
15136122f3e6SDimitry Andric         Type *EltTy = ATy->getElementType();
1514f22ef01cSRoman Divacky         for (unsigned i = 0; i != Size; ++i)
1515f22ef01cSRoman Divacky           Elts.push_back(ValueList.getConstantFwdRef(Record[i], EltTy));
1516f22ef01cSRoman Divacky         V = ConstantArray::get(ATy, Elts);
15176122f3e6SDimitry Andric       } else if (VectorType *VTy = dyn_cast<VectorType>(CurTy)) {
15186122f3e6SDimitry Andric         Type *EltTy = VTy->getElementType();
1519f22ef01cSRoman Divacky         for (unsigned i = 0; i != Size; ++i)
1520f22ef01cSRoman Divacky           Elts.push_back(ValueList.getConstantFwdRef(Record[i], EltTy));
1521f22ef01cSRoman Divacky         V = ConstantVector::get(Elts);
1522f22ef01cSRoman Divacky       } else {
1523f22ef01cSRoman Divacky         V = UndefValue::get(CurTy);
1524f22ef01cSRoman Divacky       }
1525f22ef01cSRoman Divacky       break;
1526f22ef01cSRoman Divacky     }
1527dff0c46cSDimitry Andric     case bitc::CST_CODE_STRING:    // STRING: [values]
1528f22ef01cSRoman Divacky     case bitc::CST_CODE_CSTRING: { // CSTRING: [values]
1529f22ef01cSRoman Divacky       if (Record.empty())
153039d628a0SDimitry Andric         return Error("Invalid record");
1531f22ef01cSRoman Divacky 
15327ae0e2c9SDimitry Andric       SmallString<16> Elts(Record.begin(), Record.end());
1533dff0c46cSDimitry Andric       V = ConstantDataArray::getString(Context, Elts,
1534dff0c46cSDimitry Andric                                        BitCode == bitc::CST_CODE_CSTRING);
1535f22ef01cSRoman Divacky       break;
1536f22ef01cSRoman Divacky     }
1537dff0c46cSDimitry Andric     case bitc::CST_CODE_DATA: {// DATA: [n x value]
1538dff0c46cSDimitry Andric       if (Record.empty())
153939d628a0SDimitry Andric         return Error("Invalid record");
1540dff0c46cSDimitry Andric 
1541dff0c46cSDimitry Andric       Type *EltTy = cast<SequentialType>(CurTy)->getElementType();
1542dff0c46cSDimitry Andric       unsigned Size = Record.size();
1543dff0c46cSDimitry Andric 
1544dff0c46cSDimitry Andric       if (EltTy->isIntegerTy(8)) {
1545dff0c46cSDimitry Andric         SmallVector<uint8_t, 16> Elts(Record.begin(), Record.end());
1546dff0c46cSDimitry Andric         if (isa<VectorType>(CurTy))
1547dff0c46cSDimitry Andric           V = ConstantDataVector::get(Context, Elts);
1548dff0c46cSDimitry Andric         else
1549dff0c46cSDimitry Andric           V = ConstantDataArray::get(Context, Elts);
1550dff0c46cSDimitry Andric       } else if (EltTy->isIntegerTy(16)) {
1551dff0c46cSDimitry Andric         SmallVector<uint16_t, 16> Elts(Record.begin(), Record.end());
1552dff0c46cSDimitry Andric         if (isa<VectorType>(CurTy))
1553dff0c46cSDimitry Andric           V = ConstantDataVector::get(Context, Elts);
1554dff0c46cSDimitry Andric         else
1555dff0c46cSDimitry Andric           V = ConstantDataArray::get(Context, Elts);
1556dff0c46cSDimitry Andric       } else if (EltTy->isIntegerTy(32)) {
1557dff0c46cSDimitry Andric         SmallVector<uint32_t, 16> Elts(Record.begin(), Record.end());
1558dff0c46cSDimitry Andric         if (isa<VectorType>(CurTy))
1559dff0c46cSDimitry Andric           V = ConstantDataVector::get(Context, Elts);
1560dff0c46cSDimitry Andric         else
1561dff0c46cSDimitry Andric           V = ConstantDataArray::get(Context, Elts);
1562dff0c46cSDimitry Andric       } else if (EltTy->isIntegerTy(64)) {
1563dff0c46cSDimitry Andric         SmallVector<uint64_t, 16> Elts(Record.begin(), Record.end());
1564dff0c46cSDimitry Andric         if (isa<VectorType>(CurTy))
1565dff0c46cSDimitry Andric           V = ConstantDataVector::get(Context, Elts);
1566dff0c46cSDimitry Andric         else
1567dff0c46cSDimitry Andric           V = ConstantDataArray::get(Context, Elts);
1568dff0c46cSDimitry Andric       } else if (EltTy->isFloatTy()) {
15697ae0e2c9SDimitry Andric         SmallVector<float, 16> Elts(Size);
15707ae0e2c9SDimitry Andric         std::transform(Record.begin(), Record.end(), Elts.begin(), BitsToFloat);
1571dff0c46cSDimitry Andric         if (isa<VectorType>(CurTy))
1572dff0c46cSDimitry Andric           V = ConstantDataVector::get(Context, Elts);
1573dff0c46cSDimitry Andric         else
1574dff0c46cSDimitry Andric           V = ConstantDataArray::get(Context, Elts);
1575dff0c46cSDimitry Andric       } else if (EltTy->isDoubleTy()) {
15767ae0e2c9SDimitry Andric         SmallVector<double, 16> Elts(Size);
15777ae0e2c9SDimitry Andric         std::transform(Record.begin(), Record.end(), Elts.begin(),
15787ae0e2c9SDimitry Andric                        BitsToDouble);
1579dff0c46cSDimitry Andric         if (isa<VectorType>(CurTy))
1580dff0c46cSDimitry Andric           V = ConstantDataVector::get(Context, Elts);
1581dff0c46cSDimitry Andric         else
1582dff0c46cSDimitry Andric           V = ConstantDataArray::get(Context, Elts);
1583dff0c46cSDimitry Andric       } else {
158439d628a0SDimitry Andric         return Error("Invalid type for value");
1585dff0c46cSDimitry Andric       }
1586dff0c46cSDimitry Andric       break;
1587dff0c46cSDimitry Andric     }
1588dff0c46cSDimitry Andric 
1589f22ef01cSRoman Divacky     case bitc::CST_CODE_CE_BINOP: {  // CE_BINOP: [opcode, opval, opval]
1590f785676fSDimitry Andric       if (Record.size() < 3)
159139d628a0SDimitry Andric         return Error("Invalid record");
1592f22ef01cSRoman Divacky       int Opc = GetDecodedBinaryOpcode(Record[0], CurTy);
1593f22ef01cSRoman Divacky       if (Opc < 0) {
1594f22ef01cSRoman Divacky         V = UndefValue::get(CurTy);  // Unknown binop.
1595f22ef01cSRoman Divacky       } else {
1596f22ef01cSRoman Divacky         Constant *LHS = ValueList.getConstantFwdRef(Record[1], CurTy);
1597f22ef01cSRoman Divacky         Constant *RHS = ValueList.getConstantFwdRef(Record[2], CurTy);
1598f22ef01cSRoman Divacky         unsigned Flags = 0;
1599f22ef01cSRoman Divacky         if (Record.size() >= 4) {
1600f22ef01cSRoman Divacky           if (Opc == Instruction::Add ||
1601f22ef01cSRoman Divacky               Opc == Instruction::Sub ||
16022754fe60SDimitry Andric               Opc == Instruction::Mul ||
16032754fe60SDimitry Andric               Opc == Instruction::Shl) {
1604f22ef01cSRoman Divacky             if (Record[3] & (1 << bitc::OBO_NO_SIGNED_WRAP))
1605f22ef01cSRoman Divacky               Flags |= OverflowingBinaryOperator::NoSignedWrap;
1606f22ef01cSRoman Divacky             if (Record[3] & (1 << bitc::OBO_NO_UNSIGNED_WRAP))
1607f22ef01cSRoman Divacky               Flags |= OverflowingBinaryOperator::NoUnsignedWrap;
16082754fe60SDimitry Andric           } else if (Opc == Instruction::SDiv ||
16092754fe60SDimitry Andric                      Opc == Instruction::UDiv ||
16102754fe60SDimitry Andric                      Opc == Instruction::LShr ||
16112754fe60SDimitry Andric                      Opc == Instruction::AShr) {
16122754fe60SDimitry Andric             if (Record[3] & (1 << bitc::PEO_EXACT))
1613f22ef01cSRoman Divacky               Flags |= SDivOperator::IsExact;
1614f22ef01cSRoman Divacky           }
1615f22ef01cSRoman Divacky         }
1616f22ef01cSRoman Divacky         V = ConstantExpr::get(Opc, LHS, RHS, Flags);
1617f22ef01cSRoman Divacky       }
1618f22ef01cSRoman Divacky       break;
1619f22ef01cSRoman Divacky     }
1620f22ef01cSRoman Divacky     case bitc::CST_CODE_CE_CAST: {  // CE_CAST: [opcode, opty, opval]
1621f785676fSDimitry Andric       if (Record.size() < 3)
162239d628a0SDimitry Andric         return Error("Invalid record");
1623f22ef01cSRoman Divacky       int Opc = GetDecodedCastOpcode(Record[0]);
1624f22ef01cSRoman Divacky       if (Opc < 0) {
1625f22ef01cSRoman Divacky         V = UndefValue::get(CurTy);  // Unknown cast.
1626f22ef01cSRoman Divacky       } else {
16276122f3e6SDimitry Andric         Type *OpTy = getTypeByID(Record[1]);
1628f785676fSDimitry Andric         if (!OpTy)
162939d628a0SDimitry Andric           return Error("Invalid record");
1630f22ef01cSRoman Divacky         Constant *Op = ValueList.getConstantFwdRef(Record[2], OpTy);
1631f785676fSDimitry Andric         V = UpgradeBitCastExpr(Opc, Op, CurTy);
1632f785676fSDimitry Andric         if (!V) V = ConstantExpr::getCast(Opc, Op, CurTy);
1633f22ef01cSRoman Divacky       }
1634f22ef01cSRoman Divacky       break;
1635f22ef01cSRoman Divacky     }
1636f22ef01cSRoman Divacky     case bitc::CST_CODE_CE_INBOUNDS_GEP:
1637f22ef01cSRoman Divacky     case bitc::CST_CODE_CE_GEP: {  // CE_GEP:        [n x operands]
1638f785676fSDimitry Andric       if (Record.size() & 1)
163939d628a0SDimitry Andric         return Error("Invalid record");
1640f22ef01cSRoman Divacky       SmallVector<Constant*, 16> Elts;
1641f22ef01cSRoman Divacky       for (unsigned i = 0, e = Record.size(); i != e; i += 2) {
16426122f3e6SDimitry Andric         Type *ElTy = getTypeByID(Record[i]);
1643f785676fSDimitry Andric         if (!ElTy)
164439d628a0SDimitry Andric           return Error("Invalid record");
1645f22ef01cSRoman Divacky         Elts.push_back(ValueList.getConstantFwdRef(Record[i+1], ElTy));
1646f22ef01cSRoman Divacky       }
16476122f3e6SDimitry Andric       ArrayRef<Constant *> Indices(Elts.begin() + 1, Elts.end());
16486122f3e6SDimitry Andric       V = ConstantExpr::getGetElementPtr(Elts[0], Indices,
16496122f3e6SDimitry Andric                                          BitCode ==
16506122f3e6SDimitry Andric                                            bitc::CST_CODE_CE_INBOUNDS_GEP);
1651f22ef01cSRoman Divacky       break;
1652f22ef01cSRoman Divacky     }
1653f785676fSDimitry Andric     case bitc::CST_CODE_CE_SELECT: {  // CE_SELECT: [opval#, opval#, opval#]
1654f785676fSDimitry Andric       if (Record.size() < 3)
165539d628a0SDimitry Andric         return Error("Invalid record");
1656f785676fSDimitry Andric 
1657f785676fSDimitry Andric       Type *SelectorTy = Type::getInt1Ty(Context);
1658f785676fSDimitry Andric 
1659f785676fSDimitry Andric       // If CurTy is a vector of length n, then Record[0] must be a <n x i1>
1660f785676fSDimitry Andric       // vector. Otherwise, it must be a single bit.
1661f785676fSDimitry Andric       if (VectorType *VTy = dyn_cast<VectorType>(CurTy))
1662f785676fSDimitry Andric         SelectorTy = VectorType::get(Type::getInt1Ty(Context),
1663f785676fSDimitry Andric                                      VTy->getNumElements());
1664f785676fSDimitry Andric 
1665f785676fSDimitry Andric       V = ConstantExpr::getSelect(ValueList.getConstantFwdRef(Record[0],
1666f785676fSDimitry Andric                                                               SelectorTy),
1667f22ef01cSRoman Divacky                                   ValueList.getConstantFwdRef(Record[1],CurTy),
1668f22ef01cSRoman Divacky                                   ValueList.getConstantFwdRef(Record[2],CurTy));
1669f22ef01cSRoman Divacky       break;
1670f785676fSDimitry Andric     }
167191bc56edSDimitry Andric     case bitc::CST_CODE_CE_EXTRACTELT
167291bc56edSDimitry Andric         : { // CE_EXTRACTELT: [opty, opval, opty, opval]
1673f785676fSDimitry Andric       if (Record.size() < 3)
167439d628a0SDimitry Andric         return Error("Invalid record");
16756122f3e6SDimitry Andric       VectorType *OpTy =
1676f22ef01cSRoman Divacky         dyn_cast_or_null<VectorType>(getTypeByID(Record[0]));
167791bc56edSDimitry Andric       if (!OpTy)
167839d628a0SDimitry Andric         return Error("Invalid record");
1679f22ef01cSRoman Divacky       Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
168091bc56edSDimitry Andric       Constant *Op1 = nullptr;
168191bc56edSDimitry Andric       if (Record.size() == 4) {
168291bc56edSDimitry Andric         Type *IdxTy = getTypeByID(Record[2]);
168391bc56edSDimitry Andric         if (!IdxTy)
168439d628a0SDimitry Andric           return Error("Invalid record");
168591bc56edSDimitry Andric         Op1 = ValueList.getConstantFwdRef(Record[3], IdxTy);
168691bc56edSDimitry Andric       } else // TODO: Remove with llvm 4.0
168791bc56edSDimitry Andric         Op1 = ValueList.getConstantFwdRef(Record[2], Type::getInt32Ty(Context));
168891bc56edSDimitry Andric       if (!Op1)
168939d628a0SDimitry Andric         return Error("Invalid record");
1690f22ef01cSRoman Divacky       V = ConstantExpr::getExtractElement(Op0, Op1);
1691f22ef01cSRoman Divacky       break;
1692f22ef01cSRoman Divacky     }
169391bc56edSDimitry Andric     case bitc::CST_CODE_CE_INSERTELT
169491bc56edSDimitry Andric         : { // CE_INSERTELT: [opval, opval, opty, opval]
16956122f3e6SDimitry Andric       VectorType *OpTy = dyn_cast<VectorType>(CurTy);
169691bc56edSDimitry Andric       if (Record.size() < 3 || !OpTy)
169739d628a0SDimitry Andric         return Error("Invalid record");
1698f22ef01cSRoman Divacky       Constant *Op0 = ValueList.getConstantFwdRef(Record[0], OpTy);
1699f22ef01cSRoman Divacky       Constant *Op1 = ValueList.getConstantFwdRef(Record[1],
1700f22ef01cSRoman Divacky                                                   OpTy->getElementType());
170191bc56edSDimitry Andric       Constant *Op2 = nullptr;
170291bc56edSDimitry Andric       if (Record.size() == 4) {
170391bc56edSDimitry Andric         Type *IdxTy = getTypeByID(Record[2]);
170491bc56edSDimitry Andric         if (!IdxTy)
170539d628a0SDimitry Andric           return Error("Invalid record");
170691bc56edSDimitry Andric         Op2 = ValueList.getConstantFwdRef(Record[3], IdxTy);
170791bc56edSDimitry Andric       } else // TODO: Remove with llvm 4.0
170891bc56edSDimitry Andric         Op2 = ValueList.getConstantFwdRef(Record[2], Type::getInt32Ty(Context));
170991bc56edSDimitry Andric       if (!Op2)
171039d628a0SDimitry Andric         return Error("Invalid record");
1711f22ef01cSRoman Divacky       V = ConstantExpr::getInsertElement(Op0, Op1, Op2);
1712f22ef01cSRoman Divacky       break;
1713f22ef01cSRoman Divacky     }
1714f22ef01cSRoman Divacky     case bitc::CST_CODE_CE_SHUFFLEVEC: { // CE_SHUFFLEVEC: [opval, opval, opval]
17156122f3e6SDimitry Andric       VectorType *OpTy = dyn_cast<VectorType>(CurTy);
171691bc56edSDimitry Andric       if (Record.size() < 3 || !OpTy)
171739d628a0SDimitry Andric         return Error("Invalid record");
1718f22ef01cSRoman Divacky       Constant *Op0 = ValueList.getConstantFwdRef(Record[0], OpTy);
1719f22ef01cSRoman Divacky       Constant *Op1 = ValueList.getConstantFwdRef(Record[1], OpTy);
17206122f3e6SDimitry Andric       Type *ShufTy = VectorType::get(Type::getInt32Ty(Context),
1721f22ef01cSRoman Divacky                                                  OpTy->getNumElements());
1722f22ef01cSRoman Divacky       Constant *Op2 = ValueList.getConstantFwdRef(Record[2], ShufTy);
1723f22ef01cSRoman Divacky       V = ConstantExpr::getShuffleVector(Op0, Op1, Op2);
1724f22ef01cSRoman Divacky       break;
1725f22ef01cSRoman Divacky     }
1726f22ef01cSRoman Divacky     case bitc::CST_CODE_CE_SHUFVEC_EX: { // [opty, opval, opval, opval]
17276122f3e6SDimitry Andric       VectorType *RTy = dyn_cast<VectorType>(CurTy);
17286122f3e6SDimitry Andric       VectorType *OpTy =
17292754fe60SDimitry Andric         dyn_cast_or_null<VectorType>(getTypeByID(Record[0]));
173091bc56edSDimitry Andric       if (Record.size() < 4 || !RTy || !OpTy)
173139d628a0SDimitry Andric         return Error("Invalid record");
1732f22ef01cSRoman Divacky       Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
1733f22ef01cSRoman Divacky       Constant *Op1 = ValueList.getConstantFwdRef(Record[2], OpTy);
17346122f3e6SDimitry Andric       Type *ShufTy = VectorType::get(Type::getInt32Ty(Context),
1735f22ef01cSRoman Divacky                                                  RTy->getNumElements());
1736f22ef01cSRoman Divacky       Constant *Op2 = ValueList.getConstantFwdRef(Record[3], ShufTy);
1737f22ef01cSRoman Divacky       V = ConstantExpr::getShuffleVector(Op0, Op1, Op2);
1738f22ef01cSRoman Divacky       break;
1739f22ef01cSRoman Divacky     }
1740f22ef01cSRoman Divacky     case bitc::CST_CODE_CE_CMP: {     // CE_CMP: [opty, opval, opval, pred]
1741f785676fSDimitry Andric       if (Record.size() < 4)
174239d628a0SDimitry Andric         return Error("Invalid record");
17436122f3e6SDimitry Andric       Type *OpTy = getTypeByID(Record[0]);
174491bc56edSDimitry Andric       if (!OpTy)
174539d628a0SDimitry Andric         return Error("Invalid record");
1746f22ef01cSRoman Divacky       Constant *Op0 = ValueList.getConstantFwdRef(Record[1], OpTy);
1747f22ef01cSRoman Divacky       Constant *Op1 = ValueList.getConstantFwdRef(Record[2], OpTy);
1748f22ef01cSRoman Divacky 
1749f22ef01cSRoman Divacky       if (OpTy->isFPOrFPVectorTy())
1750f22ef01cSRoman Divacky         V = ConstantExpr::getFCmp(Record[3], Op0, Op1);
1751f22ef01cSRoman Divacky       else
1752f22ef01cSRoman Divacky         V = ConstantExpr::getICmp(Record[3], Op0, Op1);
1753f22ef01cSRoman Divacky       break;
1754f22ef01cSRoman Divacky     }
17553861d79fSDimitry Andric     // This maintains backward compatibility, pre-asm dialect keywords.
17563861d79fSDimitry Andric     // FIXME: Remove with the 4.0 release.
17573861d79fSDimitry Andric     case bitc::CST_CODE_INLINEASM_OLD: {
1758f785676fSDimitry Andric       if (Record.size() < 2)
175939d628a0SDimitry Andric         return Error("Invalid record");
1760f22ef01cSRoman Divacky       std::string AsmStr, ConstrStr;
1761f22ef01cSRoman Divacky       bool HasSideEffects = Record[0] & 1;
1762f22ef01cSRoman Divacky       bool IsAlignStack = Record[0] >> 1;
1763f22ef01cSRoman Divacky       unsigned AsmStrSize = Record[1];
1764f22ef01cSRoman Divacky       if (2+AsmStrSize >= Record.size())
176539d628a0SDimitry Andric         return Error("Invalid record");
1766f22ef01cSRoman Divacky       unsigned ConstStrSize = Record[2+AsmStrSize];
1767f22ef01cSRoman Divacky       if (3+AsmStrSize+ConstStrSize > Record.size())
176839d628a0SDimitry Andric         return Error("Invalid record");
1769f22ef01cSRoman Divacky 
1770f22ef01cSRoman Divacky       for (unsigned i = 0; i != AsmStrSize; ++i)
1771f22ef01cSRoman Divacky         AsmStr += (char)Record[2+i];
1772f22ef01cSRoman Divacky       for (unsigned i = 0; i != ConstStrSize; ++i)
1773f22ef01cSRoman Divacky         ConstrStr += (char)Record[3+AsmStrSize+i];
17746122f3e6SDimitry Andric       PointerType *PTy = cast<PointerType>(CurTy);
1775f22ef01cSRoman Divacky       V = InlineAsm::get(cast<FunctionType>(PTy->getElementType()),
1776f22ef01cSRoman Divacky                          AsmStr, ConstrStr, HasSideEffects, IsAlignStack);
1777f22ef01cSRoman Divacky       break;
1778f22ef01cSRoman Divacky     }
17793861d79fSDimitry Andric     // This version adds support for the asm dialect keywords (e.g.,
17803861d79fSDimitry Andric     // inteldialect).
17813861d79fSDimitry Andric     case bitc::CST_CODE_INLINEASM: {
1782f785676fSDimitry Andric       if (Record.size() < 2)
178339d628a0SDimitry Andric         return Error("Invalid record");
17843861d79fSDimitry Andric       std::string AsmStr, ConstrStr;
17853861d79fSDimitry Andric       bool HasSideEffects = Record[0] & 1;
17863861d79fSDimitry Andric       bool IsAlignStack = (Record[0] >> 1) & 1;
17873861d79fSDimitry Andric       unsigned AsmDialect = Record[0] >> 2;
17883861d79fSDimitry Andric       unsigned AsmStrSize = Record[1];
17893861d79fSDimitry Andric       if (2+AsmStrSize >= Record.size())
179039d628a0SDimitry Andric         return Error("Invalid record");
17913861d79fSDimitry Andric       unsigned ConstStrSize = Record[2+AsmStrSize];
17923861d79fSDimitry Andric       if (3+AsmStrSize+ConstStrSize > Record.size())
179339d628a0SDimitry Andric         return Error("Invalid record");
17943861d79fSDimitry Andric 
17953861d79fSDimitry Andric       for (unsigned i = 0; i != AsmStrSize; ++i)
17963861d79fSDimitry Andric         AsmStr += (char)Record[2+i];
17973861d79fSDimitry Andric       for (unsigned i = 0; i != ConstStrSize; ++i)
17983861d79fSDimitry Andric         ConstrStr += (char)Record[3+AsmStrSize+i];
17993861d79fSDimitry Andric       PointerType *PTy = cast<PointerType>(CurTy);
18003861d79fSDimitry Andric       V = InlineAsm::get(cast<FunctionType>(PTy->getElementType()),
18013861d79fSDimitry Andric                          AsmStr, ConstrStr, HasSideEffects, IsAlignStack,
18023861d79fSDimitry Andric                          InlineAsm::AsmDialect(AsmDialect));
18033861d79fSDimitry Andric       break;
18043861d79fSDimitry Andric     }
1805f22ef01cSRoman Divacky     case bitc::CST_CODE_BLOCKADDRESS:{
1806f785676fSDimitry Andric       if (Record.size() < 3)
180739d628a0SDimitry Andric         return Error("Invalid record");
18086122f3e6SDimitry Andric       Type *FnTy = getTypeByID(Record[0]);
180991bc56edSDimitry Andric       if (!FnTy)
181039d628a0SDimitry Andric         return Error("Invalid record");
1811f22ef01cSRoman Divacky       Function *Fn =
1812f22ef01cSRoman Divacky         dyn_cast_or_null<Function>(ValueList.getConstantFwdRef(Record[1],FnTy));
181391bc56edSDimitry Andric       if (!Fn)
181439d628a0SDimitry Andric         return Error("Invalid record");
181539d628a0SDimitry Andric 
181639d628a0SDimitry Andric       // Don't let Fn get dematerialized.
181739d628a0SDimitry Andric       BlockAddressesTaken.insert(Fn);
1818f22ef01cSRoman Divacky 
18193861d79fSDimitry Andric       // If the function is already parsed we can insert the block address right
18203861d79fSDimitry Andric       // away.
182139d628a0SDimitry Andric       BasicBlock *BB;
182239d628a0SDimitry Andric       unsigned BBID = Record[2];
182339d628a0SDimitry Andric       if (!BBID)
182439d628a0SDimitry Andric         // Invalid reference to entry block.
182539d628a0SDimitry Andric         return Error("Invalid ID");
18263861d79fSDimitry Andric       if (!Fn->empty()) {
18273861d79fSDimitry Andric         Function::iterator BBI = Fn->begin(), BBE = Fn->end();
182839d628a0SDimitry Andric         for (size_t I = 0, E = BBID; I != E; ++I) {
18293861d79fSDimitry Andric           if (BBI == BBE)
183039d628a0SDimitry Andric             return Error("Invalid ID");
18313861d79fSDimitry Andric           ++BBI;
18323861d79fSDimitry Andric         }
183339d628a0SDimitry Andric         BB = BBI;
18343861d79fSDimitry Andric       } else {
18353861d79fSDimitry Andric         // Otherwise insert a placeholder and remember it so it can be inserted
18363861d79fSDimitry Andric         // when the function is parsed.
183739d628a0SDimitry Andric         auto &FwdBBs = BasicBlockFwdRefs[Fn];
183839d628a0SDimitry Andric         if (FwdBBs.empty())
183939d628a0SDimitry Andric           BasicBlockFwdRefQueue.push_back(Fn);
184039d628a0SDimitry Andric         if (FwdBBs.size() < BBID + 1)
184139d628a0SDimitry Andric           FwdBBs.resize(BBID + 1);
184239d628a0SDimitry Andric         if (!FwdBBs[BBID])
184339d628a0SDimitry Andric           FwdBBs[BBID] = BasicBlock::Create(Context);
184439d628a0SDimitry Andric         BB = FwdBBs[BBID];
18453861d79fSDimitry Andric       }
184639d628a0SDimitry Andric       V = BlockAddress::get(Fn, BB);
1847f22ef01cSRoman Divacky       break;
1848f22ef01cSRoman Divacky     }
1849f22ef01cSRoman Divacky     }
1850f22ef01cSRoman Divacky 
1851f22ef01cSRoman Divacky     ValueList.AssignValue(V, NextCstNo);
1852f22ef01cSRoman Divacky     ++NextCstNo;
1853f22ef01cSRoman Divacky   }
1854f22ef01cSRoman Divacky }
1855f22ef01cSRoman Divacky 
185691bc56edSDimitry Andric std::error_code BitcodeReader::ParseUseLists() {
1857dff0c46cSDimitry Andric   if (Stream.EnterSubBlock(bitc::USELIST_BLOCK_ID))
185839d628a0SDimitry Andric     return Error("Invalid record");
1859dff0c46cSDimitry Andric 
1860dff0c46cSDimitry Andric   // Read all the records.
186139d628a0SDimitry Andric   SmallVector<uint64_t, 64> Record;
1862dff0c46cSDimitry Andric   while (1) {
1863139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
1864139f7f9bSDimitry Andric 
1865139f7f9bSDimitry Andric     switch (Entry.Kind) {
1866139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock: // Handled for us already.
1867139f7f9bSDimitry Andric     case BitstreamEntry::Error:
186839d628a0SDimitry Andric       return Error("Malformed block");
1869139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
187091bc56edSDimitry Andric       return std::error_code();
1871139f7f9bSDimitry Andric     case BitstreamEntry::Record:
1872139f7f9bSDimitry Andric       // The interesting case.
1873139f7f9bSDimitry Andric       break;
1874dff0c46cSDimitry Andric     }
1875dff0c46cSDimitry Andric 
1876dff0c46cSDimitry Andric     // Read a use list record.
1877dff0c46cSDimitry Andric     Record.clear();
187839d628a0SDimitry Andric     bool IsBB = false;
1879139f7f9bSDimitry Andric     switch (Stream.readRecord(Entry.ID, Record)) {
1880dff0c46cSDimitry Andric     default:  // Default behavior: unknown type.
1881dff0c46cSDimitry Andric       break;
188239d628a0SDimitry Andric     case bitc::USELIST_CODE_BB:
188339d628a0SDimitry Andric       IsBB = true;
188439d628a0SDimitry Andric       // fallthrough
188539d628a0SDimitry Andric     case bitc::USELIST_CODE_DEFAULT: {
1886dff0c46cSDimitry Andric       unsigned RecordLength = Record.size();
188739d628a0SDimitry Andric       if (RecordLength < 3)
188839d628a0SDimitry Andric         // Records should have at least an ID and two indexes.
188939d628a0SDimitry Andric         return Error("Invalid record");
189039d628a0SDimitry Andric       unsigned ID = Record.back();
189139d628a0SDimitry Andric       Record.pop_back();
189239d628a0SDimitry Andric 
189339d628a0SDimitry Andric       Value *V;
189439d628a0SDimitry Andric       if (IsBB) {
189539d628a0SDimitry Andric         assert(ID < FunctionBBs.size() && "Basic block not found");
189639d628a0SDimitry Andric         V = FunctionBBs[ID];
189739d628a0SDimitry Andric       } else
189839d628a0SDimitry Andric         V = ValueList[ID];
189939d628a0SDimitry Andric       unsigned NumUses = 0;
190039d628a0SDimitry Andric       SmallDenseMap<const Use *, unsigned, 16> Order;
190139d628a0SDimitry Andric       for (const Use &U : V->uses()) {
190239d628a0SDimitry Andric         if (++NumUses > Record.size())
190339d628a0SDimitry Andric           break;
190439d628a0SDimitry Andric         Order[&U] = Record[NumUses - 1];
190539d628a0SDimitry Andric       }
190639d628a0SDimitry Andric       if (Order.size() != Record.size() || NumUses > Record.size())
190739d628a0SDimitry Andric         // Mismatches can happen if the functions are being materialized lazily
190839d628a0SDimitry Andric         // (out-of-order), or a value has been upgraded.
190939d628a0SDimitry Andric         break;
191039d628a0SDimitry Andric 
191139d628a0SDimitry Andric       V->sortUseList([&](const Use &L, const Use &R) {
191239d628a0SDimitry Andric         return Order.lookup(&L) < Order.lookup(&R);
191339d628a0SDimitry Andric       });
1914dff0c46cSDimitry Andric       break;
1915dff0c46cSDimitry Andric     }
1916dff0c46cSDimitry Andric     }
1917dff0c46cSDimitry Andric   }
1918dff0c46cSDimitry Andric }
1919dff0c46cSDimitry Andric 
1920f22ef01cSRoman Divacky /// RememberAndSkipFunctionBody - When we see the block for a function body,
1921f22ef01cSRoman Divacky /// remember where it is and then skip it.  This lets us lazily deserialize the
1922f22ef01cSRoman Divacky /// functions.
192391bc56edSDimitry Andric std::error_code BitcodeReader::RememberAndSkipFunctionBody() {
1924f22ef01cSRoman Divacky   // Get the function we are talking about.
1925f22ef01cSRoman Divacky   if (FunctionsWithBodies.empty())
192639d628a0SDimitry Andric     return Error("Insufficient function protos");
1927f22ef01cSRoman Divacky 
1928f22ef01cSRoman Divacky   Function *Fn = FunctionsWithBodies.back();
1929f22ef01cSRoman Divacky   FunctionsWithBodies.pop_back();
1930f22ef01cSRoman Divacky 
1931f22ef01cSRoman Divacky   // Save the current stream state.
1932f22ef01cSRoman Divacky   uint64_t CurBit = Stream.GetCurrentBitNo();
1933f22ef01cSRoman Divacky   DeferredFunctionInfo[Fn] = CurBit;
1934f22ef01cSRoman Divacky 
1935f22ef01cSRoman Divacky   // Skip over the function block for now.
1936f22ef01cSRoman Divacky   if (Stream.SkipBlock())
193739d628a0SDimitry Andric     return Error("Invalid record");
193891bc56edSDimitry Andric   return std::error_code();
1939f22ef01cSRoman Divacky }
1940f22ef01cSRoman Divacky 
194191bc56edSDimitry Andric std::error_code BitcodeReader::GlobalCleanup() {
1942f22ef01cSRoman Divacky   // Patch the initializers for globals and aliases up.
1943f22ef01cSRoman Divacky   ResolveGlobalAndAliasInits();
1944f22ef01cSRoman Divacky   if (!GlobalInits.empty() || !AliasInits.empty())
194539d628a0SDimitry Andric     return Error("Malformed global initializer set");
1946f22ef01cSRoman Divacky 
1947f22ef01cSRoman Divacky   // Look for intrinsic functions which need to be upgraded at some point
1948f22ef01cSRoman Divacky   for (Module::iterator FI = TheModule->begin(), FE = TheModule->end();
1949f22ef01cSRoman Divacky        FI != FE; ++FI) {
1950f22ef01cSRoman Divacky     Function *NewFn;
1951f22ef01cSRoman Divacky     if (UpgradeIntrinsicFunction(FI, NewFn))
1952f22ef01cSRoman Divacky       UpgradedIntrinsics.push_back(std::make_pair(FI, NewFn));
1953f22ef01cSRoman Divacky   }
1954f22ef01cSRoman Divacky 
1955e580952dSDimitry Andric   // Look for global variables which need to be renamed.
1956e580952dSDimitry Andric   for (Module::global_iterator
1957e580952dSDimitry Andric          GI = TheModule->global_begin(), GE = TheModule->global_end();
195891bc56edSDimitry Andric        GI != GE;) {
195991bc56edSDimitry Andric     GlobalVariable *GV = GI++;
196091bc56edSDimitry Andric     UpgradeGlobalVariable(GV);
196191bc56edSDimitry Andric   }
196291bc56edSDimitry Andric 
1963f22ef01cSRoman Divacky   // Force deallocation of memory for these vectors to favor the client that
1964f22ef01cSRoman Divacky   // want lazy deserialization.
1965f22ef01cSRoman Divacky   std::vector<std::pair<GlobalVariable*, unsigned> >().swap(GlobalInits);
1966f22ef01cSRoman Divacky   std::vector<std::pair<GlobalAlias*, unsigned> >().swap(AliasInits);
196791bc56edSDimitry Andric   return std::error_code();
1968f22ef01cSRoman Divacky }
1969f22ef01cSRoman Divacky 
197091bc56edSDimitry Andric std::error_code BitcodeReader::ParseModule(bool Resume) {
1971dff0c46cSDimitry Andric   if (Resume)
1972dff0c46cSDimitry Andric     Stream.JumpToBit(NextUnreadBit);
1973dff0c46cSDimitry Andric   else if (Stream.EnterSubBlock(bitc::MODULE_BLOCK_ID))
197439d628a0SDimitry Andric     return Error("Invalid record");
1975dff0c46cSDimitry Andric 
1976dff0c46cSDimitry Andric   SmallVector<uint64_t, 64> Record;
1977dff0c46cSDimitry Andric   std::vector<std::string> SectionTable;
1978dff0c46cSDimitry Andric   std::vector<std::string> GCTable;
1979dff0c46cSDimitry Andric 
1980dff0c46cSDimitry Andric   // Read all the records for this module.
1981139f7f9bSDimitry Andric   while (1) {
1982139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advance();
1983dff0c46cSDimitry Andric 
1984139f7f9bSDimitry Andric     switch (Entry.Kind) {
1985139f7f9bSDimitry Andric     case BitstreamEntry::Error:
198639d628a0SDimitry Andric       return Error("Malformed block");
1987139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
1988dff0c46cSDimitry Andric       return GlobalCleanup();
1989dff0c46cSDimitry Andric 
1990139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock:
1991139f7f9bSDimitry Andric       switch (Entry.ID) {
1992f22ef01cSRoman Divacky       default:  // Skip unknown content.
1993f22ef01cSRoman Divacky         if (Stream.SkipBlock())
199439d628a0SDimitry Andric           return Error("Invalid record");
1995f22ef01cSRoman Divacky         break;
1996f22ef01cSRoman Divacky       case bitc::BLOCKINFO_BLOCK_ID:
1997f22ef01cSRoman Divacky         if (Stream.ReadBlockInfoBlock())
199839d628a0SDimitry Andric           return Error("Malformed block");
1999f22ef01cSRoman Divacky         break;
2000f22ef01cSRoman Divacky       case bitc::PARAMATTR_BLOCK_ID:
200191bc56edSDimitry Andric         if (std::error_code EC = ParseAttributeBlock())
2002f785676fSDimitry Andric           return EC;
2003f22ef01cSRoman Divacky         break;
2004139f7f9bSDimitry Andric       case bitc::PARAMATTR_GROUP_BLOCK_ID:
200591bc56edSDimitry Andric         if (std::error_code EC = ParseAttributeGroupBlock())
2006f785676fSDimitry Andric           return EC;
2007139f7f9bSDimitry Andric         break;
200817a519f9SDimitry Andric       case bitc::TYPE_BLOCK_ID_NEW:
200991bc56edSDimitry Andric         if (std::error_code EC = ParseTypeTable())
2010f785676fSDimitry Andric           return EC;
2011f22ef01cSRoman Divacky         break;
2012f22ef01cSRoman Divacky       case bitc::VALUE_SYMTAB_BLOCK_ID:
201391bc56edSDimitry Andric         if (std::error_code EC = ParseValueSymbolTable())
2014f785676fSDimitry Andric           return EC;
2015dff0c46cSDimitry Andric         SeenValueSymbolTable = true;
2016f22ef01cSRoman Divacky         break;
2017f22ef01cSRoman Divacky       case bitc::CONSTANTS_BLOCK_ID:
201891bc56edSDimitry Andric         if (std::error_code EC = ParseConstants())
2019f785676fSDimitry Andric           return EC;
202091bc56edSDimitry Andric         if (std::error_code EC = ResolveGlobalAndAliasInits())
2021f785676fSDimitry Andric           return EC;
2022f22ef01cSRoman Divacky         break;
2023f22ef01cSRoman Divacky       case bitc::METADATA_BLOCK_ID:
202491bc56edSDimitry Andric         if (std::error_code EC = ParseMetadata())
2025f785676fSDimitry Andric           return EC;
2026f22ef01cSRoman Divacky         break;
2027f22ef01cSRoman Divacky       case bitc::FUNCTION_BLOCK_ID:
2028f22ef01cSRoman Divacky         // If this is the first function body we've seen, reverse the
2029f22ef01cSRoman Divacky         // FunctionsWithBodies list.
2030dff0c46cSDimitry Andric         if (!SeenFirstFunctionBody) {
2031f22ef01cSRoman Divacky           std::reverse(FunctionsWithBodies.begin(), FunctionsWithBodies.end());
203291bc56edSDimitry Andric           if (std::error_code EC = GlobalCleanup())
2033f785676fSDimitry Andric             return EC;
2034dff0c46cSDimitry Andric           SeenFirstFunctionBody = true;
2035f22ef01cSRoman Divacky         }
2036f22ef01cSRoman Divacky 
203791bc56edSDimitry Andric         if (std::error_code EC = RememberAndSkipFunctionBody())
2038f785676fSDimitry Andric           return EC;
2039dff0c46cSDimitry Andric         // For streaming bitcode, suspend parsing when we reach the function
2040dff0c46cSDimitry Andric         // bodies. Subsequent materialization calls will resume it when
2041dff0c46cSDimitry Andric         // necessary. For streaming, the function bodies must be at the end of
2042dff0c46cSDimitry Andric         // the bitcode. If the bitcode file is old, the symbol table will be
2043dff0c46cSDimitry Andric         // at the end instead and will not have been seen yet. In this case,
2044dff0c46cSDimitry Andric         // just finish the parse now.
2045dff0c46cSDimitry Andric         if (LazyStreamer && SeenValueSymbolTable) {
2046dff0c46cSDimitry Andric           NextUnreadBit = Stream.GetCurrentBitNo();
204791bc56edSDimitry Andric           return std::error_code();
2048dff0c46cSDimitry Andric         }
2049dff0c46cSDimitry Andric         break;
2050dff0c46cSDimitry Andric       case bitc::USELIST_BLOCK_ID:
205191bc56edSDimitry Andric         if (std::error_code EC = ParseUseLists())
2052f785676fSDimitry Andric           return EC;
2053f22ef01cSRoman Divacky         break;
2054f22ef01cSRoman Divacky       }
2055f22ef01cSRoman Divacky       continue;
2056139f7f9bSDimitry Andric 
2057139f7f9bSDimitry Andric     case BitstreamEntry::Record:
2058139f7f9bSDimitry Andric       // The interesting case.
2059139f7f9bSDimitry Andric       break;
2060f22ef01cSRoman Divacky     }
2061f22ef01cSRoman Divacky 
2062f22ef01cSRoman Divacky 
2063f22ef01cSRoman Divacky     // Read a record.
2064139f7f9bSDimitry Andric     switch (Stream.readRecord(Entry.ID, Record)) {
2065f22ef01cSRoman Divacky     default: break;  // Default behavior, ignore unknown content.
20663861d79fSDimitry Andric     case bitc::MODULE_CODE_VERSION: {  // VERSION: [version#]
2067f22ef01cSRoman Divacky       if (Record.size() < 1)
206839d628a0SDimitry Andric         return Error("Invalid record");
20693861d79fSDimitry Andric       // Only version #0 and #1 are supported so far.
20703861d79fSDimitry Andric       unsigned module_version = Record[0];
20713861d79fSDimitry Andric       switch (module_version) {
2072f785676fSDimitry Andric         default:
207339d628a0SDimitry Andric           return Error("Invalid value");
20743861d79fSDimitry Andric         case 0:
20753861d79fSDimitry Andric           UseRelativeIDs = false;
2076f22ef01cSRoman Divacky           break;
20773861d79fSDimitry Andric         case 1:
20783861d79fSDimitry Andric           UseRelativeIDs = true;
20793861d79fSDimitry Andric           break;
20803861d79fSDimitry Andric       }
20813861d79fSDimitry Andric       break;
20823861d79fSDimitry Andric     }
2083f22ef01cSRoman Divacky     case bitc::MODULE_CODE_TRIPLE: {  // TRIPLE: [strchr x N]
2084f22ef01cSRoman Divacky       std::string S;
2085f22ef01cSRoman Divacky       if (ConvertToString(Record, 0, S))
208639d628a0SDimitry Andric         return Error("Invalid record");
2087f22ef01cSRoman Divacky       TheModule->setTargetTriple(S);
2088f22ef01cSRoman Divacky       break;
2089f22ef01cSRoman Divacky     }
2090f22ef01cSRoman Divacky     case bitc::MODULE_CODE_DATALAYOUT: {  // DATALAYOUT: [strchr x N]
2091f22ef01cSRoman Divacky       std::string S;
2092f22ef01cSRoman Divacky       if (ConvertToString(Record, 0, S))
209339d628a0SDimitry Andric         return Error("Invalid record");
2094f22ef01cSRoman Divacky       TheModule->setDataLayout(S);
2095f22ef01cSRoman Divacky       break;
2096f22ef01cSRoman Divacky     }
2097f22ef01cSRoman Divacky     case bitc::MODULE_CODE_ASM: {  // ASM: [strchr x N]
2098f22ef01cSRoman Divacky       std::string S;
2099f22ef01cSRoman Divacky       if (ConvertToString(Record, 0, S))
210039d628a0SDimitry Andric         return Error("Invalid record");
2101f22ef01cSRoman Divacky       TheModule->setModuleInlineAsm(S);
2102f22ef01cSRoman Divacky       break;
2103f22ef01cSRoman Divacky     }
2104f22ef01cSRoman Divacky     case bitc::MODULE_CODE_DEPLIB: {  // DEPLIB: [strchr x N]
2105139f7f9bSDimitry Andric       // FIXME: Remove in 4.0.
2106f22ef01cSRoman Divacky       std::string S;
2107f22ef01cSRoman Divacky       if (ConvertToString(Record, 0, S))
210839d628a0SDimitry Andric         return Error("Invalid record");
2109139f7f9bSDimitry Andric       // Ignore value.
2110f22ef01cSRoman Divacky       break;
2111f22ef01cSRoman Divacky     }
2112f22ef01cSRoman Divacky     case bitc::MODULE_CODE_SECTIONNAME: {  // SECTIONNAME: [strchr x N]
2113f22ef01cSRoman Divacky       std::string S;
2114f22ef01cSRoman Divacky       if (ConvertToString(Record, 0, S))
211539d628a0SDimitry Andric         return Error("Invalid record");
2116f22ef01cSRoman Divacky       SectionTable.push_back(S);
2117f22ef01cSRoman Divacky       break;
2118f22ef01cSRoman Divacky     }
2119f22ef01cSRoman Divacky     case bitc::MODULE_CODE_GCNAME: {  // SECTIONNAME: [strchr x N]
2120f22ef01cSRoman Divacky       std::string S;
2121f22ef01cSRoman Divacky       if (ConvertToString(Record, 0, S))
212239d628a0SDimitry Andric         return Error("Invalid record");
2123f22ef01cSRoman Divacky       GCTable.push_back(S);
2124f22ef01cSRoman Divacky       break;
2125f22ef01cSRoman Divacky     }
212691bc56edSDimitry Andric     case bitc::MODULE_CODE_COMDAT: { // COMDAT: [selection_kind, name]
212791bc56edSDimitry Andric       if (Record.size() < 2)
212839d628a0SDimitry Andric         return Error("Invalid record");
212991bc56edSDimitry Andric       Comdat::SelectionKind SK = getDecodedComdatSelectionKind(Record[0]);
213091bc56edSDimitry Andric       unsigned ComdatNameSize = Record[1];
213191bc56edSDimitry Andric       std::string ComdatName;
213291bc56edSDimitry Andric       ComdatName.reserve(ComdatNameSize);
213391bc56edSDimitry Andric       for (unsigned i = 0; i != ComdatNameSize; ++i)
213491bc56edSDimitry Andric         ComdatName += (char)Record[2 + i];
213591bc56edSDimitry Andric       Comdat *C = TheModule->getOrInsertComdat(ComdatName);
213691bc56edSDimitry Andric       C->setSelectionKind(SK);
213791bc56edSDimitry Andric       ComdatList.push_back(C);
213891bc56edSDimitry Andric       break;
213991bc56edSDimitry Andric     }
2140f22ef01cSRoman Divacky     // GLOBALVAR: [pointer type, isconst, initid,
21412754fe60SDimitry Andric     //             linkage, alignment, section, visibility, threadlocal,
214291bc56edSDimitry Andric     //             unnamed_addr, dllstorageclass]
2143f22ef01cSRoman Divacky     case bitc::MODULE_CODE_GLOBALVAR: {
2144f22ef01cSRoman Divacky       if (Record.size() < 6)
214539d628a0SDimitry Andric         return Error("Invalid record");
21466122f3e6SDimitry Andric       Type *Ty = getTypeByID(Record[0]);
2147f785676fSDimitry Andric       if (!Ty)
214839d628a0SDimitry Andric         return Error("Invalid record");
2149f22ef01cSRoman Divacky       if (!Ty->isPointerTy())
215039d628a0SDimitry Andric         return Error("Invalid type for value");
2151f22ef01cSRoman Divacky       unsigned AddressSpace = cast<PointerType>(Ty)->getAddressSpace();
2152f22ef01cSRoman Divacky       Ty = cast<PointerType>(Ty)->getElementType();
2153f22ef01cSRoman Divacky 
2154f22ef01cSRoman Divacky       bool isConstant = Record[1];
215539d628a0SDimitry Andric       GlobalValue::LinkageTypes Linkage = getDecodedLinkage(Record[3]);
2156f22ef01cSRoman Divacky       unsigned Alignment = (1 << Record[4]) >> 1;
2157f22ef01cSRoman Divacky       std::string Section;
2158f22ef01cSRoman Divacky       if (Record[5]) {
2159f22ef01cSRoman Divacky         if (Record[5]-1 >= SectionTable.size())
216039d628a0SDimitry Andric           return Error("Invalid ID");
2161f22ef01cSRoman Divacky         Section = SectionTable[Record[5]-1];
2162f22ef01cSRoman Divacky       }
2163f22ef01cSRoman Divacky       GlobalValue::VisibilityTypes Visibility = GlobalValue::DefaultVisibility;
216491bc56edSDimitry Andric       // Local linkage must have default visibility.
216591bc56edSDimitry Andric       if (Record.size() > 6 && !GlobalValue::isLocalLinkage(Linkage))
216691bc56edSDimitry Andric         // FIXME: Change to an error if non-default in 4.0.
2167f22ef01cSRoman Divacky         Visibility = GetDecodedVisibility(Record[6]);
21687ae0e2c9SDimitry Andric 
21697ae0e2c9SDimitry Andric       GlobalVariable::ThreadLocalMode TLM = GlobalVariable::NotThreadLocal;
2170f22ef01cSRoman Divacky       if (Record.size() > 7)
21717ae0e2c9SDimitry Andric         TLM = GetDecodedThreadLocalMode(Record[7]);
2172f22ef01cSRoman Divacky 
21732754fe60SDimitry Andric       bool UnnamedAddr = false;
21742754fe60SDimitry Andric       if (Record.size() > 8)
21752754fe60SDimitry Andric         UnnamedAddr = Record[8];
21762754fe60SDimitry Andric 
2177139f7f9bSDimitry Andric       bool ExternallyInitialized = false;
2178139f7f9bSDimitry Andric       if (Record.size() > 9)
2179139f7f9bSDimitry Andric         ExternallyInitialized = Record[9];
2180139f7f9bSDimitry Andric 
2181f22ef01cSRoman Divacky       GlobalVariable *NewGV =
218291bc56edSDimitry Andric         new GlobalVariable(*TheModule, Ty, isConstant, Linkage, nullptr, "", nullptr,
2183139f7f9bSDimitry Andric                            TLM, AddressSpace, ExternallyInitialized);
2184f22ef01cSRoman Divacky       NewGV->setAlignment(Alignment);
2185f22ef01cSRoman Divacky       if (!Section.empty())
2186f22ef01cSRoman Divacky         NewGV->setSection(Section);
2187f22ef01cSRoman Divacky       NewGV->setVisibility(Visibility);
21882754fe60SDimitry Andric       NewGV->setUnnamedAddr(UnnamedAddr);
2189f22ef01cSRoman Divacky 
219091bc56edSDimitry Andric       if (Record.size() > 10)
219191bc56edSDimitry Andric         NewGV->setDLLStorageClass(GetDecodedDLLStorageClass(Record[10]));
219291bc56edSDimitry Andric       else
219391bc56edSDimitry Andric         UpgradeDLLImportExportLinkage(NewGV, Record[3]);
219491bc56edSDimitry Andric 
2195f22ef01cSRoman Divacky       ValueList.push_back(NewGV);
2196f22ef01cSRoman Divacky 
2197f22ef01cSRoman Divacky       // Remember which value to use for the global initializer.
2198f22ef01cSRoman Divacky       if (unsigned InitID = Record[2])
2199f22ef01cSRoman Divacky         GlobalInits.push_back(std::make_pair(NewGV, InitID-1));
220091bc56edSDimitry Andric 
220191bc56edSDimitry Andric       if (Record.size() > 11)
220291bc56edSDimitry Andric         if (unsigned ComdatID = Record[11]) {
220391bc56edSDimitry Andric           assert(ComdatID <= ComdatList.size());
220491bc56edSDimitry Andric           NewGV->setComdat(ComdatList[ComdatID - 1]);
220591bc56edSDimitry Andric         }
2206f22ef01cSRoman Divacky       break;
2207f22ef01cSRoman Divacky     }
2208f22ef01cSRoman Divacky     // FUNCTION:  [type, callingconv, isproto, linkage, paramattr,
220991bc56edSDimitry Andric     //             alignment, section, visibility, gc, unnamed_addr,
221039d628a0SDimitry Andric     //             prologuedata, dllstorageclass, comdat, prefixdata]
2211f22ef01cSRoman Divacky     case bitc::MODULE_CODE_FUNCTION: {
2212f22ef01cSRoman Divacky       if (Record.size() < 8)
221339d628a0SDimitry Andric         return Error("Invalid record");
22146122f3e6SDimitry Andric       Type *Ty = getTypeByID(Record[0]);
2215f785676fSDimitry Andric       if (!Ty)
221639d628a0SDimitry Andric         return Error("Invalid record");
2217f22ef01cSRoman Divacky       if (!Ty->isPointerTy())
221839d628a0SDimitry Andric         return Error("Invalid type for value");
22196122f3e6SDimitry Andric       FunctionType *FTy =
2220f22ef01cSRoman Divacky         dyn_cast<FunctionType>(cast<PointerType>(Ty)->getElementType());
2221f22ef01cSRoman Divacky       if (!FTy)
222239d628a0SDimitry Andric         return Error("Invalid type for value");
2223f22ef01cSRoman Divacky 
2224f22ef01cSRoman Divacky       Function *Func = Function::Create(FTy, GlobalValue::ExternalLinkage,
2225f22ef01cSRoman Divacky                                         "", TheModule);
2226f22ef01cSRoman Divacky 
2227f22ef01cSRoman Divacky       Func->setCallingConv(static_cast<CallingConv::ID>(Record[1]));
2228f22ef01cSRoman Divacky       bool isProto = Record[2];
222939d628a0SDimitry Andric       Func->setLinkage(getDecodedLinkage(Record[3]));
2230f22ef01cSRoman Divacky       Func->setAttributes(getAttributes(Record[4]));
2231f22ef01cSRoman Divacky 
2232f22ef01cSRoman Divacky       Func->setAlignment((1 << Record[5]) >> 1);
2233f22ef01cSRoman Divacky       if (Record[6]) {
2234f22ef01cSRoman Divacky         if (Record[6]-1 >= SectionTable.size())
223539d628a0SDimitry Andric           return Error("Invalid ID");
2236f22ef01cSRoman Divacky         Func->setSection(SectionTable[Record[6]-1]);
2237f22ef01cSRoman Divacky       }
223891bc56edSDimitry Andric       // Local linkage must have default visibility.
223991bc56edSDimitry Andric       if (!Func->hasLocalLinkage())
224091bc56edSDimitry Andric         // FIXME: Change to an error if non-default in 4.0.
2241f22ef01cSRoman Divacky         Func->setVisibility(GetDecodedVisibility(Record[7]));
2242f22ef01cSRoman Divacky       if (Record.size() > 8 && Record[8]) {
2243f22ef01cSRoman Divacky         if (Record[8]-1 > GCTable.size())
224439d628a0SDimitry Andric           return Error("Invalid ID");
2245f22ef01cSRoman Divacky         Func->setGC(GCTable[Record[8]-1].c_str());
2246f22ef01cSRoman Divacky       }
22472754fe60SDimitry Andric       bool UnnamedAddr = false;
22482754fe60SDimitry Andric       if (Record.size() > 9)
22492754fe60SDimitry Andric         UnnamedAddr = Record[9];
22502754fe60SDimitry Andric       Func->setUnnamedAddr(UnnamedAddr);
2251f785676fSDimitry Andric       if (Record.size() > 10 && Record[10] != 0)
225239d628a0SDimitry Andric         FunctionPrologues.push_back(std::make_pair(Func, Record[10]-1));
225391bc56edSDimitry Andric 
225491bc56edSDimitry Andric       if (Record.size() > 11)
225591bc56edSDimitry Andric         Func->setDLLStorageClass(GetDecodedDLLStorageClass(Record[11]));
225691bc56edSDimitry Andric       else
225791bc56edSDimitry Andric         UpgradeDLLImportExportLinkage(Func, Record[3]);
225891bc56edSDimitry Andric 
225991bc56edSDimitry Andric       if (Record.size() > 12)
226091bc56edSDimitry Andric         if (unsigned ComdatID = Record[12]) {
226191bc56edSDimitry Andric           assert(ComdatID <= ComdatList.size());
226291bc56edSDimitry Andric           Func->setComdat(ComdatList[ComdatID - 1]);
226391bc56edSDimitry Andric         }
226491bc56edSDimitry Andric 
226539d628a0SDimitry Andric       if (Record.size() > 13 && Record[13] != 0)
226639d628a0SDimitry Andric         FunctionPrefixes.push_back(std::make_pair(Func, Record[13]-1));
226739d628a0SDimitry Andric 
2268f22ef01cSRoman Divacky       ValueList.push_back(Func);
2269f22ef01cSRoman Divacky 
2270f22ef01cSRoman Divacky       // If this is a function with a body, remember the prototype we are
2271f22ef01cSRoman Divacky       // creating now, so that we can match up the body with them later.
2272dff0c46cSDimitry Andric       if (!isProto) {
227339d628a0SDimitry Andric         Func->setIsMaterializable(true);
2274f22ef01cSRoman Divacky         FunctionsWithBodies.push_back(Func);
227539d628a0SDimitry Andric         if (LazyStreamer)
227639d628a0SDimitry Andric           DeferredFunctionInfo[Func] = 0;
2277dff0c46cSDimitry Andric       }
2278f22ef01cSRoman Divacky       break;
2279f22ef01cSRoman Divacky     }
2280f22ef01cSRoman Divacky     // ALIAS: [alias type, aliasee val#, linkage]
228191bc56edSDimitry Andric     // ALIAS: [alias type, aliasee val#, linkage, visibility, dllstorageclass]
2282f22ef01cSRoman Divacky     case bitc::MODULE_CODE_ALIAS: {
2283f22ef01cSRoman Divacky       if (Record.size() < 3)
228439d628a0SDimitry Andric         return Error("Invalid record");
22856122f3e6SDimitry Andric       Type *Ty = getTypeByID(Record[0]);
2286f785676fSDimitry Andric       if (!Ty)
228739d628a0SDimitry Andric         return Error("Invalid record");
228891bc56edSDimitry Andric       auto *PTy = dyn_cast<PointerType>(Ty);
228991bc56edSDimitry Andric       if (!PTy)
229039d628a0SDimitry Andric         return Error("Invalid type for value");
2291f22ef01cSRoman Divacky 
229291bc56edSDimitry Andric       auto *NewGA =
229391bc56edSDimitry Andric           GlobalAlias::create(PTy->getElementType(), PTy->getAddressSpace(),
229439d628a0SDimitry Andric                               getDecodedLinkage(Record[2]), "", TheModule);
2295f22ef01cSRoman Divacky       // Old bitcode files didn't have visibility field.
229691bc56edSDimitry Andric       // Local linkage must have default visibility.
229791bc56edSDimitry Andric       if (Record.size() > 3 && !NewGA->hasLocalLinkage())
229891bc56edSDimitry Andric         // FIXME: Change to an error if non-default in 4.0.
2299f22ef01cSRoman Divacky         NewGA->setVisibility(GetDecodedVisibility(Record[3]));
230091bc56edSDimitry Andric       if (Record.size() > 4)
230191bc56edSDimitry Andric         NewGA->setDLLStorageClass(GetDecodedDLLStorageClass(Record[4]));
230291bc56edSDimitry Andric       else
230391bc56edSDimitry Andric         UpgradeDLLImportExportLinkage(NewGA, Record[2]);
230491bc56edSDimitry Andric       if (Record.size() > 5)
230591bc56edSDimitry Andric         NewGA->setThreadLocalMode(GetDecodedThreadLocalMode(Record[5]));
230691bc56edSDimitry Andric       if (Record.size() > 6)
230791bc56edSDimitry Andric         NewGA->setUnnamedAddr(Record[6]);
2308f22ef01cSRoman Divacky       ValueList.push_back(NewGA);
2309f22ef01cSRoman Divacky       AliasInits.push_back(std::make_pair(NewGA, Record[1]));
2310f22ef01cSRoman Divacky       break;
2311f22ef01cSRoman Divacky     }
2312f22ef01cSRoman Divacky     /// MODULE_CODE_PURGEVALS: [numvals]
2313f22ef01cSRoman Divacky     case bitc::MODULE_CODE_PURGEVALS:
2314f22ef01cSRoman Divacky       // Trim down the value list to the specified size.
2315f22ef01cSRoman Divacky       if (Record.size() < 1 || Record[0] > ValueList.size())
231639d628a0SDimitry Andric         return Error("Invalid record");
2317f22ef01cSRoman Divacky       ValueList.shrinkTo(Record[0]);
2318f22ef01cSRoman Divacky       break;
2319f22ef01cSRoman Divacky     }
2320f22ef01cSRoman Divacky     Record.clear();
2321f22ef01cSRoman Divacky   }
2322f22ef01cSRoman Divacky }
2323f22ef01cSRoman Divacky 
232491bc56edSDimitry Andric std::error_code BitcodeReader::ParseBitcodeInto(Module *M) {
232591bc56edSDimitry Andric   TheModule = nullptr;
2326f22ef01cSRoman Divacky 
232791bc56edSDimitry Andric   if (std::error_code EC = InitStream())
2328f785676fSDimitry Andric     return EC;
2329f22ef01cSRoman Divacky 
2330f22ef01cSRoman Divacky   // Sniff for the signature.
2331f22ef01cSRoman Divacky   if (Stream.Read(8) != 'B' ||
2332f22ef01cSRoman Divacky       Stream.Read(8) != 'C' ||
2333f22ef01cSRoman Divacky       Stream.Read(4) != 0x0 ||
2334f22ef01cSRoman Divacky       Stream.Read(4) != 0xC ||
2335f22ef01cSRoman Divacky       Stream.Read(4) != 0xE ||
2336f22ef01cSRoman Divacky       Stream.Read(4) != 0xD)
233739d628a0SDimitry Andric     return Error("Invalid bitcode signature");
2338f22ef01cSRoman Divacky 
2339f22ef01cSRoman Divacky   // We expect a number of well-defined blocks, though we don't necessarily
2340f22ef01cSRoman Divacky   // need to understand them all.
2341139f7f9bSDimitry Andric   while (1) {
2342139f7f9bSDimitry Andric     if (Stream.AtEndOfStream())
234391bc56edSDimitry Andric       return std::error_code();
2344bd5abe19SDimitry Andric 
2345139f7f9bSDimitry Andric     BitstreamEntry Entry =
2346139f7f9bSDimitry Andric       Stream.advance(BitstreamCursor::AF_DontAutoprocessAbbrevs);
2347f22ef01cSRoman Divacky 
2348139f7f9bSDimitry Andric     switch (Entry.Kind) {
2349139f7f9bSDimitry Andric     case BitstreamEntry::Error:
235039d628a0SDimitry Andric       return Error("Malformed block");
2351139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
235291bc56edSDimitry Andric       return std::error_code();
2353f22ef01cSRoman Divacky 
2354139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock:
2355139f7f9bSDimitry Andric       switch (Entry.ID) {
2356f22ef01cSRoman Divacky       case bitc::BLOCKINFO_BLOCK_ID:
2357f22ef01cSRoman Divacky         if (Stream.ReadBlockInfoBlock())
235839d628a0SDimitry Andric           return Error("Malformed block");
2359f22ef01cSRoman Divacky         break;
2360f22ef01cSRoman Divacky       case bitc::MODULE_BLOCK_ID:
2361f22ef01cSRoman Divacky         // Reject multiple MODULE_BLOCK's in a single bitstream.
2362f22ef01cSRoman Divacky         if (TheModule)
236339d628a0SDimitry Andric           return Error("Invalid multiple blocks");
2364f22ef01cSRoman Divacky         TheModule = M;
236591bc56edSDimitry Andric         if (std::error_code EC = ParseModule(false))
2366f785676fSDimitry Andric           return EC;
2367f785676fSDimitry Andric         if (LazyStreamer)
236891bc56edSDimitry Andric           return std::error_code();
2369f22ef01cSRoman Divacky         break;
2370f22ef01cSRoman Divacky       default:
2371f22ef01cSRoman Divacky         if (Stream.SkipBlock())
237239d628a0SDimitry Andric           return Error("Invalid record");
2373f22ef01cSRoman Divacky         break;
2374f22ef01cSRoman Divacky       }
2375139f7f9bSDimitry Andric       continue;
2376139f7f9bSDimitry Andric     case BitstreamEntry::Record:
2377139f7f9bSDimitry Andric       // There should be no records in the top-level of blocks.
2378f22ef01cSRoman Divacky 
2379139f7f9bSDimitry Andric       // The ranlib in Xcode 4 will align archive members by appending newlines
2380139f7f9bSDimitry Andric       // to the end of them. If this file size is a multiple of 4 but not 8, we
2381139f7f9bSDimitry Andric       // have to read and ignore these final 4 bytes :-(
2382139f7f9bSDimitry Andric       if (Stream.getAbbrevIDWidth() == 2 && Entry.ID == 2 &&
2383139f7f9bSDimitry Andric           Stream.Read(6) == 2 && Stream.Read(24) == 0xa0a0a &&
2384139f7f9bSDimitry Andric           Stream.AtEndOfStream())
238591bc56edSDimitry Andric         return std::error_code();
2386139f7f9bSDimitry Andric 
238739d628a0SDimitry Andric       return Error("Invalid record");
2388139f7f9bSDimitry Andric     }
2389139f7f9bSDimitry Andric   }
2390f22ef01cSRoman Divacky }
2391f22ef01cSRoman Divacky 
239291bc56edSDimitry Andric ErrorOr<std::string> BitcodeReader::parseModuleTriple() {
23932754fe60SDimitry Andric   if (Stream.EnterSubBlock(bitc::MODULE_BLOCK_ID))
239439d628a0SDimitry Andric     return Error("Invalid record");
23952754fe60SDimitry Andric 
23962754fe60SDimitry Andric   SmallVector<uint64_t, 64> Record;
23972754fe60SDimitry Andric 
239891bc56edSDimitry Andric   std::string Triple;
23992754fe60SDimitry Andric   // Read all the records for this module.
2400139f7f9bSDimitry Andric   while (1) {
2401139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
24022754fe60SDimitry Andric 
2403139f7f9bSDimitry Andric     switch (Entry.Kind) {
2404139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock: // Handled for us already.
2405139f7f9bSDimitry Andric     case BitstreamEntry::Error:
240639d628a0SDimitry Andric       return Error("Malformed block");
2407139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
240891bc56edSDimitry Andric       return Triple;
2409139f7f9bSDimitry Andric     case BitstreamEntry::Record:
2410139f7f9bSDimitry Andric       // The interesting case.
24112754fe60SDimitry Andric       break;
24122754fe60SDimitry Andric     }
24132754fe60SDimitry Andric 
24142754fe60SDimitry Andric     // Read a record.
2415139f7f9bSDimitry Andric     switch (Stream.readRecord(Entry.ID, Record)) {
24162754fe60SDimitry Andric     default: break;  // Default behavior, ignore unknown content.
24172754fe60SDimitry Andric     case bitc::MODULE_CODE_TRIPLE: {  // TRIPLE: [strchr x N]
24182754fe60SDimitry Andric       std::string S;
24192754fe60SDimitry Andric       if (ConvertToString(Record, 0, S))
242039d628a0SDimitry Andric         return Error("Invalid record");
24212754fe60SDimitry Andric       Triple = S;
24222754fe60SDimitry Andric       break;
24232754fe60SDimitry Andric     }
24242754fe60SDimitry Andric     }
24252754fe60SDimitry Andric     Record.clear();
24262754fe60SDimitry Andric   }
242791bc56edSDimitry Andric   llvm_unreachable("Exit infinite loop");
24282754fe60SDimitry Andric }
24292754fe60SDimitry Andric 
243091bc56edSDimitry Andric ErrorOr<std::string> BitcodeReader::parseTriple() {
243191bc56edSDimitry Andric   if (std::error_code EC = InitStream())
2432f785676fSDimitry Andric     return EC;
24332754fe60SDimitry Andric 
24342754fe60SDimitry Andric   // Sniff for the signature.
24352754fe60SDimitry Andric   if (Stream.Read(8) != 'B' ||
24362754fe60SDimitry Andric       Stream.Read(8) != 'C' ||
24372754fe60SDimitry Andric       Stream.Read(4) != 0x0 ||
24382754fe60SDimitry Andric       Stream.Read(4) != 0xC ||
24392754fe60SDimitry Andric       Stream.Read(4) != 0xE ||
24402754fe60SDimitry Andric       Stream.Read(4) != 0xD)
244139d628a0SDimitry Andric     return Error("Invalid bitcode signature");
24422754fe60SDimitry Andric 
24432754fe60SDimitry Andric   // We expect a number of well-defined blocks, though we don't necessarily
24442754fe60SDimitry Andric   // need to understand them all.
2445139f7f9bSDimitry Andric   while (1) {
2446139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advance();
24472754fe60SDimitry Andric 
2448139f7f9bSDimitry Andric     switch (Entry.Kind) {
2449139f7f9bSDimitry Andric     case BitstreamEntry::Error:
245039d628a0SDimitry Andric       return Error("Malformed block");
2451139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
245291bc56edSDimitry Andric       return std::error_code();
2453139f7f9bSDimitry Andric 
2454139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock:
2455139f7f9bSDimitry Andric       if (Entry.ID == bitc::MODULE_BLOCK_ID)
245691bc56edSDimitry Andric         return parseModuleTriple();
2457139f7f9bSDimitry Andric 
2458139f7f9bSDimitry Andric       // Ignore other sub-blocks.
2459f785676fSDimitry Andric       if (Stream.SkipBlock())
246039d628a0SDimitry Andric         return Error("Malformed block");
2461139f7f9bSDimitry Andric       continue;
2462139f7f9bSDimitry Andric 
2463139f7f9bSDimitry Andric     case BitstreamEntry::Record:
2464139f7f9bSDimitry Andric       Stream.skipRecord(Entry.ID);
2465139f7f9bSDimitry Andric       continue;
2466139f7f9bSDimitry Andric     }
2467139f7f9bSDimitry Andric   }
24682754fe60SDimitry Andric }
24692754fe60SDimitry Andric 
2470f22ef01cSRoman Divacky /// ParseMetadataAttachment - Parse metadata attachments.
247191bc56edSDimitry Andric std::error_code BitcodeReader::ParseMetadataAttachment() {
2472f22ef01cSRoman Divacky   if (Stream.EnterSubBlock(bitc::METADATA_ATTACHMENT_ID))
247339d628a0SDimitry Andric     return Error("Invalid record");
2474f22ef01cSRoman Divacky 
2475f22ef01cSRoman Divacky   SmallVector<uint64_t, 64> Record;
2476f22ef01cSRoman Divacky   while (1) {
2477139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
2478139f7f9bSDimitry Andric 
2479139f7f9bSDimitry Andric     switch (Entry.Kind) {
2480139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock: // Handled for us already.
2481139f7f9bSDimitry Andric     case BitstreamEntry::Error:
248239d628a0SDimitry Andric       return Error("Malformed block");
2483139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
248491bc56edSDimitry Andric       return std::error_code();
2485139f7f9bSDimitry Andric     case BitstreamEntry::Record:
2486139f7f9bSDimitry Andric       // The interesting case.
2487f22ef01cSRoman Divacky       break;
2488f22ef01cSRoman Divacky     }
2489139f7f9bSDimitry Andric 
2490f22ef01cSRoman Divacky     // Read a metadata attachment record.
2491f22ef01cSRoman Divacky     Record.clear();
2492139f7f9bSDimitry Andric     switch (Stream.readRecord(Entry.ID, Record)) {
2493f22ef01cSRoman Divacky     default:  // Default behavior: ignore.
2494f22ef01cSRoman Divacky       break;
249517a519f9SDimitry Andric     case bitc::METADATA_ATTACHMENT: {
2496f22ef01cSRoman Divacky       unsigned RecordLength = Record.size();
2497f22ef01cSRoman Divacky       if (Record.empty() || (RecordLength - 1) % 2 == 1)
249839d628a0SDimitry Andric         return Error("Invalid record");
2499f22ef01cSRoman Divacky       Instruction *Inst = InstructionList[Record[0]];
2500f22ef01cSRoman Divacky       for (unsigned i = 1; i != RecordLength; i = i+2) {
2501f22ef01cSRoman Divacky         unsigned Kind = Record[i];
2502e580952dSDimitry Andric         DenseMap<unsigned, unsigned>::iterator I =
2503e580952dSDimitry Andric           MDKindMap.find(Kind);
2504e580952dSDimitry Andric         if (I == MDKindMap.end())
250539d628a0SDimitry Andric           return Error("Invalid ID");
250639d628a0SDimitry Andric         Metadata *Node = MDValueList.getValueFwdRef(Record[i + 1]);
250739d628a0SDimitry Andric         if (isa<LocalAsMetadata>(Node))
250839d628a0SDimitry Andric           // Drop the attachment.  This used to be legal, but there's no
250939d628a0SDimitry Andric           // upgrade path.
251039d628a0SDimitry Andric           break;
2511e580952dSDimitry Andric         Inst->setMetadata(I->second, cast<MDNode>(Node));
2512f785676fSDimitry Andric         if (I->second == LLVMContext::MD_tbaa)
2513f785676fSDimitry Andric           InstsWithTBAATag.push_back(Inst);
2514f22ef01cSRoman Divacky       }
2515f22ef01cSRoman Divacky       break;
2516f22ef01cSRoman Divacky     }
2517f22ef01cSRoman Divacky     }
2518f22ef01cSRoman Divacky   }
2519f22ef01cSRoman Divacky }
2520f22ef01cSRoman Divacky 
2521f22ef01cSRoman Divacky /// ParseFunctionBody - Lazily parse the specified function body block.
252291bc56edSDimitry Andric std::error_code BitcodeReader::ParseFunctionBody(Function *F) {
2523f22ef01cSRoman Divacky   if (Stream.EnterSubBlock(bitc::FUNCTION_BLOCK_ID))
252439d628a0SDimitry Andric     return Error("Invalid record");
2525f22ef01cSRoman Divacky 
2526f22ef01cSRoman Divacky   InstructionList.clear();
2527f22ef01cSRoman Divacky   unsigned ModuleValueListSize = ValueList.size();
2528e580952dSDimitry Andric   unsigned ModuleMDValueListSize = MDValueList.size();
2529f22ef01cSRoman Divacky 
2530f22ef01cSRoman Divacky   // Add all the function arguments to the value table.
2531f22ef01cSRoman Divacky   for(Function::arg_iterator I = F->arg_begin(), E = F->arg_end(); I != E; ++I)
2532f22ef01cSRoman Divacky     ValueList.push_back(I);
2533f22ef01cSRoman Divacky 
2534f22ef01cSRoman Divacky   unsigned NextValueNo = ValueList.size();
253591bc56edSDimitry Andric   BasicBlock *CurBB = nullptr;
2536f22ef01cSRoman Divacky   unsigned CurBBNo = 0;
2537f22ef01cSRoman Divacky 
2538f22ef01cSRoman Divacky   DebugLoc LastLoc;
253939d628a0SDimitry Andric   auto getLastInstruction = [&]() -> Instruction * {
254039d628a0SDimitry Andric     if (CurBB && !CurBB->empty())
254139d628a0SDimitry Andric       return &CurBB->back();
254239d628a0SDimitry Andric     else if (CurBBNo && FunctionBBs[CurBBNo - 1] &&
254339d628a0SDimitry Andric              !FunctionBBs[CurBBNo - 1]->empty())
254439d628a0SDimitry Andric       return &FunctionBBs[CurBBNo - 1]->back();
254539d628a0SDimitry Andric     return nullptr;
254639d628a0SDimitry Andric   };
2547f22ef01cSRoman Divacky 
2548f22ef01cSRoman Divacky   // Read all the records.
2549f22ef01cSRoman Divacky   SmallVector<uint64_t, 64> Record;
2550f22ef01cSRoman Divacky   while (1) {
2551139f7f9bSDimitry Andric     BitstreamEntry Entry = Stream.advance();
2552f22ef01cSRoman Divacky 
2553139f7f9bSDimitry Andric     switch (Entry.Kind) {
2554139f7f9bSDimitry Andric     case BitstreamEntry::Error:
255539d628a0SDimitry Andric       return Error("Malformed block");
2556139f7f9bSDimitry Andric     case BitstreamEntry::EndBlock:
2557139f7f9bSDimitry Andric       goto OutOfRecordLoop;
2558139f7f9bSDimitry Andric 
2559139f7f9bSDimitry Andric     case BitstreamEntry::SubBlock:
2560139f7f9bSDimitry Andric       switch (Entry.ID) {
2561f22ef01cSRoman Divacky       default:  // Skip unknown content.
2562f22ef01cSRoman Divacky         if (Stream.SkipBlock())
256339d628a0SDimitry Andric           return Error("Invalid record");
2564f22ef01cSRoman Divacky         break;
2565f22ef01cSRoman Divacky       case bitc::CONSTANTS_BLOCK_ID:
256691bc56edSDimitry Andric         if (std::error_code EC = ParseConstants())
2567f785676fSDimitry Andric           return EC;
2568f22ef01cSRoman Divacky         NextValueNo = ValueList.size();
2569f22ef01cSRoman Divacky         break;
2570f22ef01cSRoman Divacky       case bitc::VALUE_SYMTAB_BLOCK_ID:
257191bc56edSDimitry Andric         if (std::error_code EC = ParseValueSymbolTable())
2572f785676fSDimitry Andric           return EC;
2573f22ef01cSRoman Divacky         break;
2574f22ef01cSRoman Divacky       case bitc::METADATA_ATTACHMENT_ID:
257591bc56edSDimitry Andric         if (std::error_code EC = ParseMetadataAttachment())
2576f785676fSDimitry Andric           return EC;
2577f22ef01cSRoman Divacky         break;
2578f22ef01cSRoman Divacky       case bitc::METADATA_BLOCK_ID:
257991bc56edSDimitry Andric         if (std::error_code EC = ParseMetadata())
2580f785676fSDimitry Andric           return EC;
2581f22ef01cSRoman Divacky         break;
258239d628a0SDimitry Andric       case bitc::USELIST_BLOCK_ID:
258339d628a0SDimitry Andric         if (std::error_code EC = ParseUseLists())
258439d628a0SDimitry Andric           return EC;
258539d628a0SDimitry Andric         break;
2586f22ef01cSRoman Divacky       }
2587f22ef01cSRoman Divacky       continue;
2588f22ef01cSRoman Divacky 
2589139f7f9bSDimitry Andric     case BitstreamEntry::Record:
2590139f7f9bSDimitry Andric       // The interesting case.
2591139f7f9bSDimitry Andric       break;
2592f22ef01cSRoman Divacky     }
2593f22ef01cSRoman Divacky 
2594f22ef01cSRoman Divacky     // Read a record.
2595f22ef01cSRoman Divacky     Record.clear();
259691bc56edSDimitry Andric     Instruction *I = nullptr;
2597139f7f9bSDimitry Andric     unsigned BitCode = Stream.readRecord(Entry.ID, Record);
2598f22ef01cSRoman Divacky     switch (BitCode) {
2599f22ef01cSRoman Divacky     default: // Default behavior: reject
260039d628a0SDimitry Andric       return Error("Invalid value");
260139d628a0SDimitry Andric     case bitc::FUNC_CODE_DECLAREBLOCKS: {   // DECLAREBLOCKS: [nblocks]
2602f22ef01cSRoman Divacky       if (Record.size() < 1 || Record[0] == 0)
260339d628a0SDimitry Andric         return Error("Invalid record");
2604f22ef01cSRoman Divacky       // Create all the basic blocks for the function.
2605f22ef01cSRoman Divacky       FunctionBBs.resize(Record[0]);
260639d628a0SDimitry Andric 
260739d628a0SDimitry Andric       // See if anything took the address of blocks in this function.
260839d628a0SDimitry Andric       auto BBFRI = BasicBlockFwdRefs.find(F);
260939d628a0SDimitry Andric       if (BBFRI == BasicBlockFwdRefs.end()) {
2610f22ef01cSRoman Divacky         for (unsigned i = 0, e = FunctionBBs.size(); i != e; ++i)
2611f22ef01cSRoman Divacky           FunctionBBs[i] = BasicBlock::Create(Context, "", F);
261239d628a0SDimitry Andric       } else {
261339d628a0SDimitry Andric         auto &BBRefs = BBFRI->second;
261439d628a0SDimitry Andric         // Check for invalid basic block references.
261539d628a0SDimitry Andric         if (BBRefs.size() > FunctionBBs.size())
261639d628a0SDimitry Andric           return Error("Invalid ID");
261739d628a0SDimitry Andric         assert(!BBRefs.empty() && "Unexpected empty array");
261839d628a0SDimitry Andric         assert(!BBRefs.front() && "Invalid reference to entry block");
261939d628a0SDimitry Andric         for (unsigned I = 0, E = FunctionBBs.size(), RE = BBRefs.size(); I != E;
262039d628a0SDimitry Andric              ++I)
262139d628a0SDimitry Andric           if (I < RE && BBRefs[I]) {
262239d628a0SDimitry Andric             BBRefs[I]->insertInto(F);
262339d628a0SDimitry Andric             FunctionBBs[I] = BBRefs[I];
262439d628a0SDimitry Andric           } else {
262539d628a0SDimitry Andric             FunctionBBs[I] = BasicBlock::Create(Context, "", F);
262639d628a0SDimitry Andric           }
262739d628a0SDimitry Andric 
262839d628a0SDimitry Andric         // Erase from the table.
262939d628a0SDimitry Andric         BasicBlockFwdRefs.erase(BBFRI);
263039d628a0SDimitry Andric       }
263139d628a0SDimitry Andric 
2632f22ef01cSRoman Divacky       CurBB = FunctionBBs[0];
2633f22ef01cSRoman Divacky       continue;
263439d628a0SDimitry Andric     }
2635f22ef01cSRoman Divacky 
2636f22ef01cSRoman Divacky     case bitc::FUNC_CODE_DEBUG_LOC_AGAIN:  // DEBUG_LOC_AGAIN
2637f22ef01cSRoman Divacky       // This record indicates that the last instruction is at the same
2638f22ef01cSRoman Divacky       // location as the previous instruction with a location.
263939d628a0SDimitry Andric       I = getLastInstruction();
2640f22ef01cSRoman Divacky 
264191bc56edSDimitry Andric       if (!I)
264239d628a0SDimitry Andric         return Error("Invalid record");
2643f22ef01cSRoman Divacky       I->setDebugLoc(LastLoc);
264491bc56edSDimitry Andric       I = nullptr;
2645f22ef01cSRoman Divacky       continue;
2646f22ef01cSRoman Divacky 
264717a519f9SDimitry Andric     case bitc::FUNC_CODE_DEBUG_LOC: {      // DEBUG_LOC: [line, col, scope, ia]
264839d628a0SDimitry Andric       I = getLastInstruction();
264991bc56edSDimitry Andric       if (!I || Record.size() < 4)
265039d628a0SDimitry Andric         return Error("Invalid record");
2651f22ef01cSRoman Divacky 
2652f22ef01cSRoman Divacky       unsigned Line = Record[0], Col = Record[1];
2653f22ef01cSRoman Divacky       unsigned ScopeID = Record[2], IAID = Record[3];
2654f22ef01cSRoman Divacky 
265591bc56edSDimitry Andric       MDNode *Scope = nullptr, *IA = nullptr;
2656f22ef01cSRoman Divacky       if (ScopeID) Scope = cast<MDNode>(MDValueList.getValueFwdRef(ScopeID-1));
2657f22ef01cSRoman Divacky       if (IAID)    IA = cast<MDNode>(MDValueList.getValueFwdRef(IAID-1));
2658f22ef01cSRoman Divacky       LastLoc = DebugLoc::get(Line, Col, Scope, IA);
2659f22ef01cSRoman Divacky       I->setDebugLoc(LastLoc);
266091bc56edSDimitry Andric       I = nullptr;
2661f22ef01cSRoman Divacky       continue;
2662f22ef01cSRoman Divacky     }
2663f22ef01cSRoman Divacky 
2664f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_BINOP: {    // BINOP: [opval, ty, opval, opcode]
2665f22ef01cSRoman Divacky       unsigned OpNum = 0;
2666f22ef01cSRoman Divacky       Value *LHS, *RHS;
2667f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, LHS) ||
26683861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo, LHS->getType(), RHS) ||
2669f22ef01cSRoman Divacky           OpNum+1 > Record.size())
267039d628a0SDimitry Andric         return Error("Invalid record");
2671f22ef01cSRoman Divacky 
2672f22ef01cSRoman Divacky       int Opc = GetDecodedBinaryOpcode(Record[OpNum++], LHS->getType());
2673f785676fSDimitry Andric       if (Opc == -1)
267439d628a0SDimitry Andric         return Error("Invalid record");
2675f22ef01cSRoman Divacky       I = BinaryOperator::Create((Instruction::BinaryOps)Opc, LHS, RHS);
2676f22ef01cSRoman Divacky       InstructionList.push_back(I);
2677f22ef01cSRoman Divacky       if (OpNum < Record.size()) {
2678f22ef01cSRoman Divacky         if (Opc == Instruction::Add ||
2679f22ef01cSRoman Divacky             Opc == Instruction::Sub ||
26802754fe60SDimitry Andric             Opc == Instruction::Mul ||
26812754fe60SDimitry Andric             Opc == Instruction::Shl) {
2682f22ef01cSRoman Divacky           if (Record[OpNum] & (1 << bitc::OBO_NO_SIGNED_WRAP))
2683f22ef01cSRoman Divacky             cast<BinaryOperator>(I)->setHasNoSignedWrap(true);
2684f22ef01cSRoman Divacky           if (Record[OpNum] & (1 << bitc::OBO_NO_UNSIGNED_WRAP))
2685f22ef01cSRoman Divacky             cast<BinaryOperator>(I)->setHasNoUnsignedWrap(true);
26862754fe60SDimitry Andric         } else if (Opc == Instruction::SDiv ||
26872754fe60SDimitry Andric                    Opc == Instruction::UDiv ||
26882754fe60SDimitry Andric                    Opc == Instruction::LShr ||
26892754fe60SDimitry Andric                    Opc == Instruction::AShr) {
26902754fe60SDimitry Andric           if (Record[OpNum] & (1 << bitc::PEO_EXACT))
2691f22ef01cSRoman Divacky             cast<BinaryOperator>(I)->setIsExact(true);
2692139f7f9bSDimitry Andric         } else if (isa<FPMathOperator>(I)) {
2693139f7f9bSDimitry Andric           FastMathFlags FMF;
2694139f7f9bSDimitry Andric           if (0 != (Record[OpNum] & FastMathFlags::UnsafeAlgebra))
2695139f7f9bSDimitry Andric             FMF.setUnsafeAlgebra();
2696139f7f9bSDimitry Andric           if (0 != (Record[OpNum] & FastMathFlags::NoNaNs))
2697139f7f9bSDimitry Andric             FMF.setNoNaNs();
2698139f7f9bSDimitry Andric           if (0 != (Record[OpNum] & FastMathFlags::NoInfs))
2699139f7f9bSDimitry Andric             FMF.setNoInfs();
2700139f7f9bSDimitry Andric           if (0 != (Record[OpNum] & FastMathFlags::NoSignedZeros))
2701139f7f9bSDimitry Andric             FMF.setNoSignedZeros();
2702139f7f9bSDimitry Andric           if (0 != (Record[OpNum] & FastMathFlags::AllowReciprocal))
2703139f7f9bSDimitry Andric             FMF.setAllowReciprocal();
2704139f7f9bSDimitry Andric           if (FMF.any())
2705139f7f9bSDimitry Andric             I->setFastMathFlags(FMF);
2706f22ef01cSRoman Divacky         }
2707139f7f9bSDimitry Andric 
2708f22ef01cSRoman Divacky       }
2709f22ef01cSRoman Divacky       break;
2710f22ef01cSRoman Divacky     }
2711f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_CAST: {    // CAST: [opval, opty, destty, castopc]
2712f22ef01cSRoman Divacky       unsigned OpNum = 0;
2713f22ef01cSRoman Divacky       Value *Op;
2714f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
2715f22ef01cSRoman Divacky           OpNum+2 != Record.size())
271639d628a0SDimitry Andric         return Error("Invalid record");
2717f22ef01cSRoman Divacky 
27186122f3e6SDimitry Andric       Type *ResTy = getTypeByID(Record[OpNum]);
2719f22ef01cSRoman Divacky       int Opc = GetDecodedCastOpcode(Record[OpNum+1]);
272091bc56edSDimitry Andric       if (Opc == -1 || !ResTy)
272139d628a0SDimitry Andric         return Error("Invalid record");
272291bc56edSDimitry Andric       Instruction *Temp = nullptr;
2723f785676fSDimitry Andric       if ((I = UpgradeBitCastInst(Opc, Op, ResTy, Temp))) {
2724f785676fSDimitry Andric         if (Temp) {
2725f785676fSDimitry Andric           InstructionList.push_back(Temp);
2726f785676fSDimitry Andric           CurBB->getInstList().push_back(Temp);
2727f785676fSDimitry Andric         }
2728f785676fSDimitry Andric       } else {
2729f22ef01cSRoman Divacky         I = CastInst::Create((Instruction::CastOps)Opc, Op, ResTy);
2730f785676fSDimitry Andric       }
2731f22ef01cSRoman Divacky       InstructionList.push_back(I);
2732f22ef01cSRoman Divacky       break;
2733f22ef01cSRoman Divacky     }
2734f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_INBOUNDS_GEP:
2735f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_GEP: { // GEP: [n x operands]
2736f22ef01cSRoman Divacky       unsigned OpNum = 0;
2737f22ef01cSRoman Divacky       Value *BasePtr;
2738f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, BasePtr))
273939d628a0SDimitry Andric         return Error("Invalid record");
2740f22ef01cSRoman Divacky 
2741f22ef01cSRoman Divacky       SmallVector<Value*, 16> GEPIdx;
2742f22ef01cSRoman Divacky       while (OpNum != Record.size()) {
2743f22ef01cSRoman Divacky         Value *Op;
2744f22ef01cSRoman Divacky         if (getValueTypePair(Record, OpNum, NextValueNo, Op))
274539d628a0SDimitry Andric           return Error("Invalid record");
2746f22ef01cSRoman Divacky         GEPIdx.push_back(Op);
2747f22ef01cSRoman Divacky       }
2748f22ef01cSRoman Divacky 
27496122f3e6SDimitry Andric       I = GetElementPtrInst::Create(BasePtr, GEPIdx);
2750f22ef01cSRoman Divacky       InstructionList.push_back(I);
2751f22ef01cSRoman Divacky       if (BitCode == bitc::FUNC_CODE_INST_INBOUNDS_GEP)
2752f22ef01cSRoman Divacky         cast<GetElementPtrInst>(I)->setIsInBounds(true);
2753f22ef01cSRoman Divacky       break;
2754f22ef01cSRoman Divacky     }
2755f22ef01cSRoman Divacky 
2756f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_EXTRACTVAL: {
2757f22ef01cSRoman Divacky                                        // EXTRACTVAL: [opty, opval, n x indices]
2758f22ef01cSRoman Divacky       unsigned OpNum = 0;
2759f22ef01cSRoman Divacky       Value *Agg;
2760f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Agg))
276139d628a0SDimitry Andric         return Error("Invalid record");
2762f22ef01cSRoman Divacky 
2763f22ef01cSRoman Divacky       SmallVector<unsigned, 4> EXTRACTVALIdx;
2764f22ef01cSRoman Divacky       for (unsigned RecSize = Record.size();
2765f22ef01cSRoman Divacky            OpNum != RecSize; ++OpNum) {
2766f22ef01cSRoman Divacky         uint64_t Index = Record[OpNum];
2767f22ef01cSRoman Divacky         if ((unsigned)Index != Index)
276839d628a0SDimitry Andric           return Error("Invalid value");
2769f22ef01cSRoman Divacky         EXTRACTVALIdx.push_back((unsigned)Index);
2770f22ef01cSRoman Divacky       }
2771f22ef01cSRoman Divacky 
277217a519f9SDimitry Andric       I = ExtractValueInst::Create(Agg, EXTRACTVALIdx);
2773f22ef01cSRoman Divacky       InstructionList.push_back(I);
2774f22ef01cSRoman Divacky       break;
2775f22ef01cSRoman Divacky     }
2776f22ef01cSRoman Divacky 
2777f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_INSERTVAL: {
2778f22ef01cSRoman Divacky                            // INSERTVAL: [opty, opval, opty, opval, n x indices]
2779f22ef01cSRoman Divacky       unsigned OpNum = 0;
2780f22ef01cSRoman Divacky       Value *Agg;
2781f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Agg))
278239d628a0SDimitry Andric         return Error("Invalid record");
2783f22ef01cSRoman Divacky       Value *Val;
2784f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Val))
278539d628a0SDimitry Andric         return Error("Invalid record");
2786f22ef01cSRoman Divacky 
2787f22ef01cSRoman Divacky       SmallVector<unsigned, 4> INSERTVALIdx;
2788f22ef01cSRoman Divacky       for (unsigned RecSize = Record.size();
2789f22ef01cSRoman Divacky            OpNum != RecSize; ++OpNum) {
2790f22ef01cSRoman Divacky         uint64_t Index = Record[OpNum];
2791f22ef01cSRoman Divacky         if ((unsigned)Index != Index)
279239d628a0SDimitry Andric           return Error("Invalid value");
2793f22ef01cSRoman Divacky         INSERTVALIdx.push_back((unsigned)Index);
2794f22ef01cSRoman Divacky       }
2795f22ef01cSRoman Divacky 
279617a519f9SDimitry Andric       I = InsertValueInst::Create(Agg, Val, INSERTVALIdx);
2797f22ef01cSRoman Divacky       InstructionList.push_back(I);
2798f22ef01cSRoman Divacky       break;
2799f22ef01cSRoman Divacky     }
2800f22ef01cSRoman Divacky 
2801f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_SELECT: { // SELECT: [opval, ty, opval, opval]
2802f22ef01cSRoman Divacky       // obsolete form of select
2803f22ef01cSRoman Divacky       // handles select i1 ... in old bitcode
2804f22ef01cSRoman Divacky       unsigned OpNum = 0;
2805f22ef01cSRoman Divacky       Value *TrueVal, *FalseVal, *Cond;
2806f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, TrueVal) ||
28073861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo, TrueVal->getType(), FalseVal) ||
28083861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo, Type::getInt1Ty(Context), Cond))
280939d628a0SDimitry Andric         return Error("Invalid record");
2810f22ef01cSRoman Divacky 
2811f22ef01cSRoman Divacky       I = SelectInst::Create(Cond, TrueVal, FalseVal);
2812f22ef01cSRoman Divacky       InstructionList.push_back(I);
2813f22ef01cSRoman Divacky       break;
2814f22ef01cSRoman Divacky     }
2815f22ef01cSRoman Divacky 
2816f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_VSELECT: {// VSELECT: [ty,opval,opval,predty,pred]
2817f22ef01cSRoman Divacky       // new form of select
2818f22ef01cSRoman Divacky       // handles select i1 or select [N x i1]
2819f22ef01cSRoman Divacky       unsigned OpNum = 0;
2820f22ef01cSRoman Divacky       Value *TrueVal, *FalseVal, *Cond;
2821f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, TrueVal) ||
28223861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo, TrueVal->getType(), FalseVal) ||
2823f22ef01cSRoman Divacky           getValueTypePair(Record, OpNum, NextValueNo, Cond))
282439d628a0SDimitry Andric         return Error("Invalid record");
2825f22ef01cSRoman Divacky 
2826f22ef01cSRoman Divacky       // select condition can be either i1 or [N x i1]
28276122f3e6SDimitry Andric       if (VectorType* vector_type =
28286122f3e6SDimitry Andric           dyn_cast<VectorType>(Cond->getType())) {
2829f22ef01cSRoman Divacky         // expect <n x i1>
2830f22ef01cSRoman Divacky         if (vector_type->getElementType() != Type::getInt1Ty(Context))
283139d628a0SDimitry Andric           return Error("Invalid type for value");
2832f22ef01cSRoman Divacky       } else {
2833f22ef01cSRoman Divacky         // expect i1
2834f22ef01cSRoman Divacky         if (Cond->getType() != Type::getInt1Ty(Context))
283539d628a0SDimitry Andric           return Error("Invalid type for value");
2836f22ef01cSRoman Divacky       }
2837f22ef01cSRoman Divacky 
2838f22ef01cSRoman Divacky       I = SelectInst::Create(Cond, TrueVal, FalseVal);
2839f22ef01cSRoman Divacky       InstructionList.push_back(I);
2840f22ef01cSRoman Divacky       break;
2841f22ef01cSRoman Divacky     }
2842f22ef01cSRoman Divacky 
2843f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_EXTRACTELT: { // EXTRACTELT: [opty, opval, opval]
2844f22ef01cSRoman Divacky       unsigned OpNum = 0;
2845f22ef01cSRoman Divacky       Value *Vec, *Idx;
2846f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Vec) ||
284791bc56edSDimitry Andric           getValueTypePair(Record, OpNum, NextValueNo, Idx))
284839d628a0SDimitry Andric         return Error("Invalid record");
2849f22ef01cSRoman Divacky       I = ExtractElementInst::Create(Vec, Idx);
2850f22ef01cSRoman Divacky       InstructionList.push_back(I);
2851f22ef01cSRoman Divacky       break;
2852f22ef01cSRoman Divacky     }
2853f22ef01cSRoman Divacky 
2854f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_INSERTELT: { // INSERTELT: [ty, opval,opval,opval]
2855f22ef01cSRoman Divacky       unsigned OpNum = 0;
2856f22ef01cSRoman Divacky       Value *Vec, *Elt, *Idx;
2857f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Vec) ||
28583861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo,
2859f22ef01cSRoman Divacky                    cast<VectorType>(Vec->getType())->getElementType(), Elt) ||
286091bc56edSDimitry Andric           getValueTypePair(Record, OpNum, NextValueNo, Idx))
286139d628a0SDimitry Andric         return Error("Invalid record");
2862f22ef01cSRoman Divacky       I = InsertElementInst::Create(Vec, Elt, Idx);
2863f22ef01cSRoman Divacky       InstructionList.push_back(I);
2864f22ef01cSRoman Divacky       break;
2865f22ef01cSRoman Divacky     }
2866f22ef01cSRoman Divacky 
2867f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_SHUFFLEVEC: {// SHUFFLEVEC: [opval,ty,opval,opval]
2868f22ef01cSRoman Divacky       unsigned OpNum = 0;
2869f22ef01cSRoman Divacky       Value *Vec1, *Vec2, *Mask;
2870f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Vec1) ||
28713861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo, Vec1->getType(), Vec2))
287239d628a0SDimitry Andric         return Error("Invalid record");
2873f22ef01cSRoman Divacky 
2874f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Mask))
287539d628a0SDimitry Andric         return Error("Invalid record");
2876f22ef01cSRoman Divacky       I = new ShuffleVectorInst(Vec1, Vec2, Mask);
2877f22ef01cSRoman Divacky       InstructionList.push_back(I);
2878f22ef01cSRoman Divacky       break;
2879f22ef01cSRoman Divacky     }
2880f22ef01cSRoman Divacky 
2881f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_CMP:   // CMP: [opty, opval, opval, pred]
2882f22ef01cSRoman Divacky       // Old form of ICmp/FCmp returning bool
2883f22ef01cSRoman Divacky       // Existed to differentiate between icmp/fcmp and vicmp/vfcmp which were
2884f22ef01cSRoman Divacky       // both legal on vectors but had different behaviour.
2885f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_CMP2: { // CMP2: [opty, opval, opval, pred]
2886f22ef01cSRoman Divacky       // FCmp/ICmp returning bool or vector of bool
2887f22ef01cSRoman Divacky 
2888f22ef01cSRoman Divacky       unsigned OpNum = 0;
2889f22ef01cSRoman Divacky       Value *LHS, *RHS;
2890f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, LHS) ||
28913861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo, LHS->getType(), RHS) ||
2892f22ef01cSRoman Divacky           OpNum+1 != Record.size())
289339d628a0SDimitry Andric         return Error("Invalid record");
2894f22ef01cSRoman Divacky 
2895f22ef01cSRoman Divacky       if (LHS->getType()->isFPOrFPVectorTy())
2896f22ef01cSRoman Divacky         I = new FCmpInst((FCmpInst::Predicate)Record[OpNum], LHS, RHS);
2897f22ef01cSRoman Divacky       else
2898f22ef01cSRoman Divacky         I = new ICmpInst((ICmpInst::Predicate)Record[OpNum], LHS, RHS);
2899f22ef01cSRoman Divacky       InstructionList.push_back(I);
2900f22ef01cSRoman Divacky       break;
2901f22ef01cSRoman Divacky     }
2902f22ef01cSRoman Divacky 
2903f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_RET: // RET: [opty,opval<optional>]
2904f22ef01cSRoman Divacky       {
2905f22ef01cSRoman Divacky         unsigned Size = Record.size();
2906f22ef01cSRoman Divacky         if (Size == 0) {
2907f22ef01cSRoman Divacky           I = ReturnInst::Create(Context);
2908f22ef01cSRoman Divacky           InstructionList.push_back(I);
2909f22ef01cSRoman Divacky           break;
2910f22ef01cSRoman Divacky         }
2911f22ef01cSRoman Divacky 
2912f22ef01cSRoman Divacky         unsigned OpNum = 0;
291391bc56edSDimitry Andric         Value *Op = nullptr;
2914f22ef01cSRoman Divacky         if (getValueTypePair(Record, OpNum, NextValueNo, Op))
291539d628a0SDimitry Andric           return Error("Invalid record");
291617a519f9SDimitry Andric         if (OpNum != Record.size())
291739d628a0SDimitry Andric           return Error("Invalid record");
2918f22ef01cSRoman Divacky 
291917a519f9SDimitry Andric         I = ReturnInst::Create(Context, Op);
2920f22ef01cSRoman Divacky         InstructionList.push_back(I);
2921f22ef01cSRoman Divacky         break;
2922f22ef01cSRoman Divacky       }
2923f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_BR: { // BR: [bb#, bb#, opval] or [bb#]
2924f22ef01cSRoman Divacky       if (Record.size() != 1 && Record.size() != 3)
292539d628a0SDimitry Andric         return Error("Invalid record");
2926f22ef01cSRoman Divacky       BasicBlock *TrueDest = getBasicBlock(Record[0]);
292791bc56edSDimitry Andric       if (!TrueDest)
292839d628a0SDimitry Andric         return Error("Invalid record");
2929f22ef01cSRoman Divacky 
2930f22ef01cSRoman Divacky       if (Record.size() == 1) {
2931f22ef01cSRoman Divacky         I = BranchInst::Create(TrueDest);
2932f22ef01cSRoman Divacky         InstructionList.push_back(I);
2933f22ef01cSRoman Divacky       }
2934f22ef01cSRoman Divacky       else {
2935f22ef01cSRoman Divacky         BasicBlock *FalseDest = getBasicBlock(Record[1]);
29363861d79fSDimitry Andric         Value *Cond = getValue(Record, 2, NextValueNo,
29373861d79fSDimitry Andric                                Type::getInt1Ty(Context));
293891bc56edSDimitry Andric         if (!FalseDest || !Cond)
293939d628a0SDimitry Andric           return Error("Invalid record");
2940f22ef01cSRoman Divacky         I = BranchInst::Create(TrueDest, FalseDest, Cond);
2941f22ef01cSRoman Divacky         InstructionList.push_back(I);
2942f22ef01cSRoman Divacky       }
2943f22ef01cSRoman Divacky       break;
2944f22ef01cSRoman Divacky     }
2945f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_SWITCH: { // SWITCH: [opty, op0, op1, ...]
29467ae0e2c9SDimitry Andric       // Check magic
29477ae0e2c9SDimitry Andric       if ((Record[0] >> 16) == SWITCH_INST_MAGIC) {
2948f785676fSDimitry Andric         // "New" SwitchInst format with case ranges. The changes to write this
2949f785676fSDimitry Andric         // format were reverted but we still recognize bitcode that uses it.
2950f785676fSDimitry Andric         // Hopefully someday we will have support for case ranges and can use
2951f785676fSDimitry Andric         // this format again.
29527ae0e2c9SDimitry Andric 
29537ae0e2c9SDimitry Andric         Type *OpTy = getTypeByID(Record[1]);
29547ae0e2c9SDimitry Andric         unsigned ValueBitWidth = cast<IntegerType>(OpTy)->getBitWidth();
29557ae0e2c9SDimitry Andric 
29563861d79fSDimitry Andric         Value *Cond = getValue(Record, 2, NextValueNo, OpTy);
29577ae0e2c9SDimitry Andric         BasicBlock *Default = getBasicBlock(Record[3]);
295891bc56edSDimitry Andric         if (!OpTy || !Cond || !Default)
295939d628a0SDimitry Andric           return Error("Invalid record");
29607ae0e2c9SDimitry Andric 
29617ae0e2c9SDimitry Andric         unsigned NumCases = Record[4];
29627ae0e2c9SDimitry Andric 
29637ae0e2c9SDimitry Andric         SwitchInst *SI = SwitchInst::Create(Cond, Default, NumCases);
29647ae0e2c9SDimitry Andric         InstructionList.push_back(SI);
29657ae0e2c9SDimitry Andric 
29667ae0e2c9SDimitry Andric         unsigned CurIdx = 5;
29677ae0e2c9SDimitry Andric         for (unsigned i = 0; i != NumCases; ++i) {
2968f785676fSDimitry Andric           SmallVector<ConstantInt*, 1> CaseVals;
29697ae0e2c9SDimitry Andric           unsigned NumItems = Record[CurIdx++];
29707ae0e2c9SDimitry Andric           for (unsigned ci = 0; ci != NumItems; ++ci) {
29717ae0e2c9SDimitry Andric             bool isSingleNumber = Record[CurIdx++];
29727ae0e2c9SDimitry Andric 
29737ae0e2c9SDimitry Andric             APInt Low;
29747ae0e2c9SDimitry Andric             unsigned ActiveWords = 1;
29757ae0e2c9SDimitry Andric             if (ValueBitWidth > 64)
29767ae0e2c9SDimitry Andric               ActiveWords = Record[CurIdx++];
29777ae0e2c9SDimitry Andric             Low = ReadWideAPInt(makeArrayRef(&Record[CurIdx], ActiveWords),
29787ae0e2c9SDimitry Andric                                 ValueBitWidth);
29797ae0e2c9SDimitry Andric             CurIdx += ActiveWords;
29807ae0e2c9SDimitry Andric 
29817ae0e2c9SDimitry Andric             if (!isSingleNumber) {
29827ae0e2c9SDimitry Andric               ActiveWords = 1;
29837ae0e2c9SDimitry Andric               if (ValueBitWidth > 64)
29847ae0e2c9SDimitry Andric                 ActiveWords = Record[CurIdx++];
29857ae0e2c9SDimitry Andric               APInt High =
29867ae0e2c9SDimitry Andric                   ReadWideAPInt(makeArrayRef(&Record[CurIdx], ActiveWords),
29877ae0e2c9SDimitry Andric                                 ValueBitWidth);
29887ae0e2c9SDimitry Andric               CurIdx += ActiveWords;
2989f785676fSDimitry Andric 
2990f785676fSDimitry Andric               // FIXME: It is not clear whether values in the range should be
2991f785676fSDimitry Andric               // compared as signed or unsigned values. The partially
2992f785676fSDimitry Andric               // implemented changes that used this format in the past used
2993f785676fSDimitry Andric               // unsigned comparisons.
2994f785676fSDimitry Andric               for ( ; Low.ule(High); ++Low)
2995f785676fSDimitry Andric                 CaseVals.push_back(ConstantInt::get(Context, Low));
29967ae0e2c9SDimitry Andric             } else
2997f785676fSDimitry Andric               CaseVals.push_back(ConstantInt::get(Context, Low));
29987ae0e2c9SDimitry Andric           }
29997ae0e2c9SDimitry Andric           BasicBlock *DestBB = getBasicBlock(Record[CurIdx++]);
3000f785676fSDimitry Andric           for (SmallVector<ConstantInt*, 1>::iterator cvi = CaseVals.begin(),
3001f785676fSDimitry Andric                  cve = CaseVals.end(); cvi != cve; ++cvi)
3002f785676fSDimitry Andric             SI->addCase(*cvi, DestBB);
30037ae0e2c9SDimitry Andric         }
30047ae0e2c9SDimitry Andric         I = SI;
30057ae0e2c9SDimitry Andric         break;
30067ae0e2c9SDimitry Andric       }
30077ae0e2c9SDimitry Andric 
30087ae0e2c9SDimitry Andric       // Old SwitchInst format without case ranges.
30097ae0e2c9SDimitry Andric 
3010f22ef01cSRoman Divacky       if (Record.size() < 3 || (Record.size() & 1) == 0)
301139d628a0SDimitry Andric         return Error("Invalid record");
30126122f3e6SDimitry Andric       Type *OpTy = getTypeByID(Record[0]);
30133861d79fSDimitry Andric       Value *Cond = getValue(Record, 1, NextValueNo, OpTy);
3014f22ef01cSRoman Divacky       BasicBlock *Default = getBasicBlock(Record[2]);
301591bc56edSDimitry Andric       if (!OpTy || !Cond || !Default)
301639d628a0SDimitry Andric         return Error("Invalid record");
3017f22ef01cSRoman Divacky       unsigned NumCases = (Record.size()-3)/2;
3018f22ef01cSRoman Divacky       SwitchInst *SI = SwitchInst::Create(Cond, Default, NumCases);
3019f22ef01cSRoman Divacky       InstructionList.push_back(SI);
3020f22ef01cSRoman Divacky       for (unsigned i = 0, e = NumCases; i != e; ++i) {
3021f22ef01cSRoman Divacky         ConstantInt *CaseVal =
3022f22ef01cSRoman Divacky           dyn_cast_or_null<ConstantInt>(getFnValueByID(Record[3+i*2], OpTy));
3023f22ef01cSRoman Divacky         BasicBlock *DestBB = getBasicBlock(Record[1+3+i*2]);
302491bc56edSDimitry Andric         if (!CaseVal || !DestBB) {
3025f22ef01cSRoman Divacky           delete SI;
302639d628a0SDimitry Andric           return Error("Invalid record");
3027f22ef01cSRoman Divacky         }
3028f22ef01cSRoman Divacky         SI->addCase(CaseVal, DestBB);
3029f22ef01cSRoman Divacky       }
3030f22ef01cSRoman Divacky       I = SI;
3031f22ef01cSRoman Divacky       break;
3032f22ef01cSRoman Divacky     }
3033f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_INDIRECTBR: { // INDIRECTBR: [opty, op0, op1, ...]
3034f22ef01cSRoman Divacky       if (Record.size() < 2)
303539d628a0SDimitry Andric         return Error("Invalid record");
30366122f3e6SDimitry Andric       Type *OpTy = getTypeByID(Record[0]);
30373861d79fSDimitry Andric       Value *Address = getValue(Record, 1, NextValueNo, OpTy);
303891bc56edSDimitry Andric       if (!OpTy || !Address)
303939d628a0SDimitry Andric         return Error("Invalid record");
3040f22ef01cSRoman Divacky       unsigned NumDests = Record.size()-2;
3041f22ef01cSRoman Divacky       IndirectBrInst *IBI = IndirectBrInst::Create(Address, NumDests);
3042f22ef01cSRoman Divacky       InstructionList.push_back(IBI);
3043f22ef01cSRoman Divacky       for (unsigned i = 0, e = NumDests; i != e; ++i) {
3044f22ef01cSRoman Divacky         if (BasicBlock *DestBB = getBasicBlock(Record[2+i])) {
3045f22ef01cSRoman Divacky           IBI->addDestination(DestBB);
3046f22ef01cSRoman Divacky         } else {
3047f22ef01cSRoman Divacky           delete IBI;
304839d628a0SDimitry Andric           return Error("Invalid record");
3049f22ef01cSRoman Divacky         }
3050f22ef01cSRoman Divacky       }
3051f22ef01cSRoman Divacky       I = IBI;
3052f22ef01cSRoman Divacky       break;
3053f22ef01cSRoman Divacky     }
3054f22ef01cSRoman Divacky 
3055f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_INVOKE: {
3056f22ef01cSRoman Divacky       // INVOKE: [attrs, cc, normBB, unwindBB, fnty, op0,op1,op2, ...]
3057f785676fSDimitry Andric       if (Record.size() < 4)
305839d628a0SDimitry Andric         return Error("Invalid record");
3059139f7f9bSDimitry Andric       AttributeSet PAL = getAttributes(Record[0]);
3060f22ef01cSRoman Divacky       unsigned CCInfo = Record[1];
3061f22ef01cSRoman Divacky       BasicBlock *NormalBB = getBasicBlock(Record[2]);
3062f22ef01cSRoman Divacky       BasicBlock *UnwindBB = getBasicBlock(Record[3]);
3063f22ef01cSRoman Divacky 
3064f22ef01cSRoman Divacky       unsigned OpNum = 4;
3065f22ef01cSRoman Divacky       Value *Callee;
3066f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Callee))
306739d628a0SDimitry Andric         return Error("Invalid record");
3068f22ef01cSRoman Divacky 
30696122f3e6SDimitry Andric       PointerType *CalleeTy = dyn_cast<PointerType>(Callee->getType());
307091bc56edSDimitry Andric       FunctionType *FTy = !CalleeTy ? nullptr :
3071f22ef01cSRoman Divacky         dyn_cast<FunctionType>(CalleeTy->getElementType());
3072f22ef01cSRoman Divacky 
3073f22ef01cSRoman Divacky       // Check that the right number of fixed parameters are here.
307491bc56edSDimitry Andric       if (!FTy || !NormalBB || !UnwindBB ||
3075f22ef01cSRoman Divacky           Record.size() < OpNum+FTy->getNumParams())
307639d628a0SDimitry Andric         return Error("Invalid record");
3077f22ef01cSRoman Divacky 
3078f22ef01cSRoman Divacky       SmallVector<Value*, 16> Ops;
3079f22ef01cSRoman Divacky       for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i, ++OpNum) {
30803861d79fSDimitry Andric         Ops.push_back(getValue(Record, OpNum, NextValueNo,
30813861d79fSDimitry Andric                                FTy->getParamType(i)));
308291bc56edSDimitry Andric         if (!Ops.back())
308339d628a0SDimitry Andric           return Error("Invalid record");
3084f22ef01cSRoman Divacky       }
3085f22ef01cSRoman Divacky 
3086f22ef01cSRoman Divacky       if (!FTy->isVarArg()) {
3087f22ef01cSRoman Divacky         if (Record.size() != OpNum)
308839d628a0SDimitry Andric           return Error("Invalid record");
3089f22ef01cSRoman Divacky       } else {
3090f22ef01cSRoman Divacky         // Read type/value pairs for varargs params.
3091f22ef01cSRoman Divacky         while (OpNum != Record.size()) {
3092f22ef01cSRoman Divacky           Value *Op;
3093f22ef01cSRoman Divacky           if (getValueTypePair(Record, OpNum, NextValueNo, Op))
309439d628a0SDimitry Andric             return Error("Invalid record");
3095f22ef01cSRoman Divacky           Ops.push_back(Op);
3096f22ef01cSRoman Divacky         }
3097f22ef01cSRoman Divacky       }
3098f22ef01cSRoman Divacky 
309917a519f9SDimitry Andric       I = InvokeInst::Create(Callee, NormalBB, UnwindBB, Ops);
3100f22ef01cSRoman Divacky       InstructionList.push_back(I);
3101f22ef01cSRoman Divacky       cast<InvokeInst>(I)->setCallingConv(
3102f22ef01cSRoman Divacky         static_cast<CallingConv::ID>(CCInfo));
3103f22ef01cSRoman Divacky       cast<InvokeInst>(I)->setAttributes(PAL);
3104f22ef01cSRoman Divacky       break;
3105f22ef01cSRoman Divacky     }
31066122f3e6SDimitry Andric     case bitc::FUNC_CODE_INST_RESUME: { // RESUME: [opval]
31076122f3e6SDimitry Andric       unsigned Idx = 0;
310891bc56edSDimitry Andric       Value *Val = nullptr;
31096122f3e6SDimitry Andric       if (getValueTypePair(Record, Idx, NextValueNo, Val))
311039d628a0SDimitry Andric         return Error("Invalid record");
31116122f3e6SDimitry Andric       I = ResumeInst::Create(Val);
31126122f3e6SDimitry Andric       InstructionList.push_back(I);
31136122f3e6SDimitry Andric       break;
31146122f3e6SDimitry Andric     }
3115f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_UNREACHABLE: // UNREACHABLE
3116f22ef01cSRoman Divacky       I = new UnreachableInst(Context);
3117f22ef01cSRoman Divacky       InstructionList.push_back(I);
3118f22ef01cSRoman Divacky       break;
3119f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_PHI: { // PHI: [ty, val0,bb0, ...]
3120f22ef01cSRoman Divacky       if (Record.size() < 1 || ((Record.size()-1)&1))
312139d628a0SDimitry Andric         return Error("Invalid record");
31226122f3e6SDimitry Andric       Type *Ty = getTypeByID(Record[0]);
3123f785676fSDimitry Andric       if (!Ty)
312439d628a0SDimitry Andric         return Error("Invalid record");
3125f22ef01cSRoman Divacky 
31263b0f4066SDimitry Andric       PHINode *PN = PHINode::Create(Ty, (Record.size()-1)/2);
3127f22ef01cSRoman Divacky       InstructionList.push_back(PN);
3128f22ef01cSRoman Divacky 
3129f22ef01cSRoman Divacky       for (unsigned i = 0, e = Record.size()-1; i != e; i += 2) {
31303861d79fSDimitry Andric         Value *V;
31313861d79fSDimitry Andric         // With the new function encoding, it is possible that operands have
31323861d79fSDimitry Andric         // negative IDs (for forward references).  Use a signed VBR
31333861d79fSDimitry Andric         // representation to keep the encoding small.
31343861d79fSDimitry Andric         if (UseRelativeIDs)
31353861d79fSDimitry Andric           V = getValueSigned(Record, 1+i, NextValueNo, Ty);
31363861d79fSDimitry Andric         else
31373861d79fSDimitry Andric           V = getValue(Record, 1+i, NextValueNo, Ty);
3138f22ef01cSRoman Divacky         BasicBlock *BB = getBasicBlock(Record[2+i]);
3139f785676fSDimitry Andric         if (!V || !BB)
314039d628a0SDimitry Andric           return Error("Invalid record");
3141f22ef01cSRoman Divacky         PN->addIncoming(V, BB);
3142f22ef01cSRoman Divacky       }
3143f22ef01cSRoman Divacky       I = PN;
3144f22ef01cSRoman Divacky       break;
3145f22ef01cSRoman Divacky     }
3146f22ef01cSRoman Divacky 
31476122f3e6SDimitry Andric     case bitc::FUNC_CODE_INST_LANDINGPAD: {
31486122f3e6SDimitry Andric       // LANDINGPAD: [ty, val, val, num, (id0,val0 ...)?]
31496122f3e6SDimitry Andric       unsigned Idx = 0;
31506122f3e6SDimitry Andric       if (Record.size() < 4)
315139d628a0SDimitry Andric         return Error("Invalid record");
31526122f3e6SDimitry Andric       Type *Ty = getTypeByID(Record[Idx++]);
3153f785676fSDimitry Andric       if (!Ty)
315439d628a0SDimitry Andric         return Error("Invalid record");
315591bc56edSDimitry Andric       Value *PersFn = nullptr;
31566122f3e6SDimitry Andric       if (getValueTypePair(Record, Idx, NextValueNo, PersFn))
315739d628a0SDimitry Andric         return Error("Invalid record");
31586122f3e6SDimitry Andric 
31596122f3e6SDimitry Andric       bool IsCleanup = !!Record[Idx++];
31606122f3e6SDimitry Andric       unsigned NumClauses = Record[Idx++];
31616122f3e6SDimitry Andric       LandingPadInst *LP = LandingPadInst::Create(Ty, PersFn, NumClauses);
31626122f3e6SDimitry Andric       LP->setCleanup(IsCleanup);
31636122f3e6SDimitry Andric       for (unsigned J = 0; J != NumClauses; ++J) {
31646122f3e6SDimitry Andric         LandingPadInst::ClauseType CT =
31656122f3e6SDimitry Andric           LandingPadInst::ClauseType(Record[Idx++]); (void)CT;
31666122f3e6SDimitry Andric         Value *Val;
31676122f3e6SDimitry Andric 
31686122f3e6SDimitry Andric         if (getValueTypePair(Record, Idx, NextValueNo, Val)) {
31696122f3e6SDimitry Andric           delete LP;
317039d628a0SDimitry Andric           return Error("Invalid record");
31716122f3e6SDimitry Andric         }
31726122f3e6SDimitry Andric 
31736122f3e6SDimitry Andric         assert((CT != LandingPadInst::Catch ||
31746122f3e6SDimitry Andric                 !isa<ArrayType>(Val->getType())) &&
31756122f3e6SDimitry Andric                "Catch clause has a invalid type!");
31766122f3e6SDimitry Andric         assert((CT != LandingPadInst::Filter ||
31776122f3e6SDimitry Andric                 isa<ArrayType>(Val->getType())) &&
31786122f3e6SDimitry Andric                "Filter clause has invalid type!");
317991bc56edSDimitry Andric         LP->addClause(cast<Constant>(Val));
31806122f3e6SDimitry Andric       }
31816122f3e6SDimitry Andric 
31826122f3e6SDimitry Andric       I = LP;
31836122f3e6SDimitry Andric       InstructionList.push_back(I);
31846122f3e6SDimitry Andric       break;
31856122f3e6SDimitry Andric     }
31866122f3e6SDimitry Andric 
318717a519f9SDimitry Andric     case bitc::FUNC_CODE_INST_ALLOCA: { // ALLOCA: [instty, opty, op, align]
318817a519f9SDimitry Andric       if (Record.size() != 4)
318939d628a0SDimitry Andric         return Error("Invalid record");
31906122f3e6SDimitry Andric       PointerType *Ty =
3191f22ef01cSRoman Divacky         dyn_cast_or_null<PointerType>(getTypeByID(Record[0]));
31926122f3e6SDimitry Andric       Type *OpTy = getTypeByID(Record[1]);
319317a519f9SDimitry Andric       Value *Size = getFnValueByID(Record[2], OpTy);
319491bc56edSDimitry Andric       unsigned AlignRecord = Record[3];
319591bc56edSDimitry Andric       bool InAlloca = AlignRecord & (1 << 5);
319691bc56edSDimitry Andric       unsigned Align = AlignRecord & ((1 << 5) - 1);
3197f785676fSDimitry Andric       if (!Ty || !Size)
319839d628a0SDimitry Andric         return Error("Invalid record");
319991bc56edSDimitry Andric       AllocaInst *AI = new AllocaInst(Ty->getElementType(), Size, (1 << Align) >> 1);
320091bc56edSDimitry Andric       AI->setUsedWithInAlloca(InAlloca);
320191bc56edSDimitry Andric       I = AI;
3202f22ef01cSRoman Divacky       InstructionList.push_back(I);
3203f22ef01cSRoman Divacky       break;
3204f22ef01cSRoman Divacky     }
3205f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_LOAD: { // LOAD: [opty, op, align, vol]
3206f22ef01cSRoman Divacky       unsigned OpNum = 0;
3207f22ef01cSRoman Divacky       Value *Op;
3208f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
3209f22ef01cSRoman Divacky           OpNum+2 != Record.size())
321039d628a0SDimitry Andric         return Error("Invalid record");
3211f22ef01cSRoman Divacky 
3212f22ef01cSRoman Divacky       I = new LoadInst(Op, "", Record[OpNum+1], (1 << Record[OpNum]) >> 1);
3213f22ef01cSRoman Divacky       InstructionList.push_back(I);
3214f22ef01cSRoman Divacky       break;
3215f22ef01cSRoman Divacky     }
32166122f3e6SDimitry Andric     case bitc::FUNC_CODE_INST_LOADATOMIC: {
32176122f3e6SDimitry Andric        // LOADATOMIC: [opty, op, align, vol, ordering, synchscope]
32186122f3e6SDimitry Andric       unsigned OpNum = 0;
32196122f3e6SDimitry Andric       Value *Op;
32206122f3e6SDimitry Andric       if (getValueTypePair(Record, OpNum, NextValueNo, Op) ||
32216122f3e6SDimitry Andric           OpNum+4 != Record.size())
322239d628a0SDimitry Andric         return Error("Invalid record");
32236122f3e6SDimitry Andric 
32246122f3e6SDimitry Andric       AtomicOrdering Ordering = GetDecodedOrdering(Record[OpNum+2]);
32256122f3e6SDimitry Andric       if (Ordering == NotAtomic || Ordering == Release ||
32266122f3e6SDimitry Andric           Ordering == AcquireRelease)
322739d628a0SDimitry Andric         return Error("Invalid record");
32286122f3e6SDimitry Andric       if (Ordering != NotAtomic && Record[OpNum] == 0)
322939d628a0SDimitry Andric         return Error("Invalid record");
32306122f3e6SDimitry Andric       SynchronizationScope SynchScope = GetDecodedSynchScope(Record[OpNum+3]);
32316122f3e6SDimitry Andric 
32326122f3e6SDimitry Andric       I = new LoadInst(Op, "", Record[OpNum+1], (1 << Record[OpNum]) >> 1,
32336122f3e6SDimitry Andric                        Ordering, SynchScope);
32346122f3e6SDimitry Andric       InstructionList.push_back(I);
32356122f3e6SDimitry Andric       break;
32366122f3e6SDimitry Andric     }
323717a519f9SDimitry Andric     case bitc::FUNC_CODE_INST_STORE: { // STORE2:[ptrty, ptr, val, align, vol]
3238f22ef01cSRoman Divacky       unsigned OpNum = 0;
3239f22ef01cSRoman Divacky       Value *Val, *Ptr;
3240f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Ptr) ||
32413861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo,
3242f22ef01cSRoman Divacky                     cast<PointerType>(Ptr->getType())->getElementType(), Val) ||
3243f22ef01cSRoman Divacky           OpNum+2 != Record.size())
324439d628a0SDimitry Andric         return Error("Invalid record");
3245f22ef01cSRoman Divacky 
3246f22ef01cSRoman Divacky       I = new StoreInst(Val, Ptr, Record[OpNum+1], (1 << Record[OpNum]) >> 1);
3247f22ef01cSRoman Divacky       InstructionList.push_back(I);
3248f22ef01cSRoman Divacky       break;
3249f22ef01cSRoman Divacky     }
32506122f3e6SDimitry Andric     case bitc::FUNC_CODE_INST_STOREATOMIC: {
32516122f3e6SDimitry Andric       // STOREATOMIC: [ptrty, ptr, val, align, vol, ordering, synchscope]
32526122f3e6SDimitry Andric       unsigned OpNum = 0;
32536122f3e6SDimitry Andric       Value *Val, *Ptr;
32546122f3e6SDimitry Andric       if (getValueTypePair(Record, OpNum, NextValueNo, Ptr) ||
32553861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo,
32566122f3e6SDimitry Andric                     cast<PointerType>(Ptr->getType())->getElementType(), Val) ||
32576122f3e6SDimitry Andric           OpNum+4 != Record.size())
325839d628a0SDimitry Andric         return Error("Invalid record");
32596122f3e6SDimitry Andric 
32606122f3e6SDimitry Andric       AtomicOrdering Ordering = GetDecodedOrdering(Record[OpNum+2]);
32616122f3e6SDimitry Andric       if (Ordering == NotAtomic || Ordering == Acquire ||
32626122f3e6SDimitry Andric           Ordering == AcquireRelease)
326339d628a0SDimitry Andric         return Error("Invalid record");
32646122f3e6SDimitry Andric       SynchronizationScope SynchScope = GetDecodedSynchScope(Record[OpNum+3]);
32656122f3e6SDimitry Andric       if (Ordering != NotAtomic && Record[OpNum] == 0)
326639d628a0SDimitry Andric         return Error("Invalid record");
32676122f3e6SDimitry Andric 
32686122f3e6SDimitry Andric       I = new StoreInst(Val, Ptr, Record[OpNum+1], (1 << Record[OpNum]) >> 1,
32696122f3e6SDimitry Andric                         Ordering, SynchScope);
32706122f3e6SDimitry Andric       InstructionList.push_back(I);
32716122f3e6SDimitry Andric       break;
32726122f3e6SDimitry Andric     }
32736122f3e6SDimitry Andric     case bitc::FUNC_CODE_INST_CMPXCHG: {
327491bc56edSDimitry Andric       // CMPXCHG:[ptrty, ptr, cmp, new, vol, successordering, synchscope,
327591bc56edSDimitry Andric       //          failureordering?, isweak?]
32766122f3e6SDimitry Andric       unsigned OpNum = 0;
32776122f3e6SDimitry Andric       Value *Ptr, *Cmp, *New;
32786122f3e6SDimitry Andric       if (getValueTypePair(Record, OpNum, NextValueNo, Ptr) ||
32793861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo,
32806122f3e6SDimitry Andric                     cast<PointerType>(Ptr->getType())->getElementType(), Cmp) ||
32813861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo,
32826122f3e6SDimitry Andric                     cast<PointerType>(Ptr->getType())->getElementType(), New) ||
328391bc56edSDimitry Andric           (Record.size() < OpNum + 3 || Record.size() > OpNum + 5))
328439d628a0SDimitry Andric         return Error("Invalid record");
328591bc56edSDimitry Andric       AtomicOrdering SuccessOrdering = GetDecodedOrdering(Record[OpNum+1]);
328691bc56edSDimitry Andric       if (SuccessOrdering == NotAtomic || SuccessOrdering == Unordered)
328739d628a0SDimitry Andric         return Error("Invalid record");
32886122f3e6SDimitry Andric       SynchronizationScope SynchScope = GetDecodedSynchScope(Record[OpNum+2]);
328991bc56edSDimitry Andric 
329091bc56edSDimitry Andric       AtomicOrdering FailureOrdering;
329191bc56edSDimitry Andric       if (Record.size() < 7)
329291bc56edSDimitry Andric         FailureOrdering =
329391bc56edSDimitry Andric             AtomicCmpXchgInst::getStrongestFailureOrdering(SuccessOrdering);
329491bc56edSDimitry Andric       else
329591bc56edSDimitry Andric         FailureOrdering = GetDecodedOrdering(Record[OpNum+3]);
329691bc56edSDimitry Andric 
329791bc56edSDimitry Andric       I = new AtomicCmpXchgInst(Ptr, Cmp, New, SuccessOrdering, FailureOrdering,
329891bc56edSDimitry Andric                                 SynchScope);
32996122f3e6SDimitry Andric       cast<AtomicCmpXchgInst>(I)->setVolatile(Record[OpNum]);
330091bc56edSDimitry Andric 
330191bc56edSDimitry Andric       if (Record.size() < 8) {
330291bc56edSDimitry Andric         // Before weak cmpxchgs existed, the instruction simply returned the
330391bc56edSDimitry Andric         // value loaded from memory, so bitcode files from that era will be
330491bc56edSDimitry Andric         // expecting the first component of a modern cmpxchg.
330591bc56edSDimitry Andric         CurBB->getInstList().push_back(I);
330691bc56edSDimitry Andric         I = ExtractValueInst::Create(I, 0);
330791bc56edSDimitry Andric       } else {
330891bc56edSDimitry Andric         cast<AtomicCmpXchgInst>(I)->setWeak(Record[OpNum+4]);
330991bc56edSDimitry Andric       }
331091bc56edSDimitry Andric 
33116122f3e6SDimitry Andric       InstructionList.push_back(I);
33126122f3e6SDimitry Andric       break;
33136122f3e6SDimitry Andric     }
33146122f3e6SDimitry Andric     case bitc::FUNC_CODE_INST_ATOMICRMW: {
33156122f3e6SDimitry Andric       // ATOMICRMW:[ptrty, ptr, val, op, vol, ordering, synchscope]
33166122f3e6SDimitry Andric       unsigned OpNum = 0;
33176122f3e6SDimitry Andric       Value *Ptr, *Val;
33186122f3e6SDimitry Andric       if (getValueTypePair(Record, OpNum, NextValueNo, Ptr) ||
33193861d79fSDimitry Andric           popValue(Record, OpNum, NextValueNo,
33206122f3e6SDimitry Andric                     cast<PointerType>(Ptr->getType())->getElementType(), Val) ||
33216122f3e6SDimitry Andric           OpNum+4 != Record.size())
332239d628a0SDimitry Andric         return Error("Invalid record");
33236122f3e6SDimitry Andric       AtomicRMWInst::BinOp Operation = GetDecodedRMWOperation(Record[OpNum]);
33246122f3e6SDimitry Andric       if (Operation < AtomicRMWInst::FIRST_BINOP ||
33256122f3e6SDimitry Andric           Operation > AtomicRMWInst::LAST_BINOP)
332639d628a0SDimitry Andric         return Error("Invalid record");
33276122f3e6SDimitry Andric       AtomicOrdering Ordering = GetDecodedOrdering(Record[OpNum+2]);
33286122f3e6SDimitry Andric       if (Ordering == NotAtomic || Ordering == Unordered)
332939d628a0SDimitry Andric         return Error("Invalid record");
33306122f3e6SDimitry Andric       SynchronizationScope SynchScope = GetDecodedSynchScope(Record[OpNum+3]);
33316122f3e6SDimitry Andric       I = new AtomicRMWInst(Operation, Ptr, Val, Ordering, SynchScope);
33326122f3e6SDimitry Andric       cast<AtomicRMWInst>(I)->setVolatile(Record[OpNum+1]);
33336122f3e6SDimitry Andric       InstructionList.push_back(I);
33346122f3e6SDimitry Andric       break;
33356122f3e6SDimitry Andric     }
33366122f3e6SDimitry Andric     case bitc::FUNC_CODE_INST_FENCE: { // FENCE:[ordering, synchscope]
33376122f3e6SDimitry Andric       if (2 != Record.size())
333839d628a0SDimitry Andric         return Error("Invalid record");
33396122f3e6SDimitry Andric       AtomicOrdering Ordering = GetDecodedOrdering(Record[0]);
33406122f3e6SDimitry Andric       if (Ordering == NotAtomic || Ordering == Unordered ||
33416122f3e6SDimitry Andric           Ordering == Monotonic)
334239d628a0SDimitry Andric         return Error("Invalid record");
33436122f3e6SDimitry Andric       SynchronizationScope SynchScope = GetDecodedSynchScope(Record[1]);
33446122f3e6SDimitry Andric       I = new FenceInst(Context, Ordering, SynchScope);
33456122f3e6SDimitry Andric       InstructionList.push_back(I);
33466122f3e6SDimitry Andric       break;
33476122f3e6SDimitry Andric     }
334817a519f9SDimitry Andric     case bitc::FUNC_CODE_INST_CALL: {
3349f22ef01cSRoman Divacky       // CALL: [paramattrs, cc, fnty, fnid, arg0, arg1...]
3350f22ef01cSRoman Divacky       if (Record.size() < 3)
335139d628a0SDimitry Andric         return Error("Invalid record");
3352f22ef01cSRoman Divacky 
3353139f7f9bSDimitry Andric       AttributeSet PAL = getAttributes(Record[0]);
3354f22ef01cSRoman Divacky       unsigned CCInfo = Record[1];
3355f22ef01cSRoman Divacky 
3356f22ef01cSRoman Divacky       unsigned OpNum = 2;
3357f22ef01cSRoman Divacky       Value *Callee;
3358f22ef01cSRoman Divacky       if (getValueTypePair(Record, OpNum, NextValueNo, Callee))
335939d628a0SDimitry Andric         return Error("Invalid record");
3360f22ef01cSRoman Divacky 
33616122f3e6SDimitry Andric       PointerType *OpTy = dyn_cast<PointerType>(Callee->getType());
336291bc56edSDimitry Andric       FunctionType *FTy = nullptr;
3363f22ef01cSRoman Divacky       if (OpTy) FTy = dyn_cast<FunctionType>(OpTy->getElementType());
3364f22ef01cSRoman Divacky       if (!FTy || Record.size() < FTy->getNumParams()+OpNum)
336539d628a0SDimitry Andric         return Error("Invalid record");
3366f22ef01cSRoman Divacky 
3367f22ef01cSRoman Divacky       SmallVector<Value*, 16> Args;
3368f22ef01cSRoman Divacky       // Read the fixed params.
3369f22ef01cSRoman Divacky       for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i, ++OpNum) {
337017a519f9SDimitry Andric         if (FTy->getParamType(i)->isLabelTy())
3371f22ef01cSRoman Divacky           Args.push_back(getBasicBlock(Record[OpNum]));
3372f22ef01cSRoman Divacky         else
33733861d79fSDimitry Andric           Args.push_back(getValue(Record, OpNum, NextValueNo,
33743861d79fSDimitry Andric                                   FTy->getParamType(i)));
337591bc56edSDimitry Andric         if (!Args.back())
337639d628a0SDimitry Andric           return Error("Invalid record");
3377f22ef01cSRoman Divacky       }
3378f22ef01cSRoman Divacky 
3379f22ef01cSRoman Divacky       // Read type/value pairs for varargs params.
3380f22ef01cSRoman Divacky       if (!FTy->isVarArg()) {
3381f22ef01cSRoman Divacky         if (OpNum != Record.size())
338239d628a0SDimitry Andric           return Error("Invalid record");
3383f22ef01cSRoman Divacky       } else {
3384f22ef01cSRoman Divacky         while (OpNum != Record.size()) {
3385f22ef01cSRoman Divacky           Value *Op;
3386f22ef01cSRoman Divacky           if (getValueTypePair(Record, OpNum, NextValueNo, Op))
338739d628a0SDimitry Andric             return Error("Invalid record");
3388f22ef01cSRoman Divacky           Args.push_back(Op);
3389f22ef01cSRoman Divacky         }
3390f22ef01cSRoman Divacky       }
3391f22ef01cSRoman Divacky 
339217a519f9SDimitry Andric       I = CallInst::Create(Callee, Args);
3393f22ef01cSRoman Divacky       InstructionList.push_back(I);
3394f22ef01cSRoman Divacky       cast<CallInst>(I)->setCallingConv(
339591bc56edSDimitry Andric           static_cast<CallingConv::ID>((~(1U << 14) & CCInfo) >> 1));
339691bc56edSDimitry Andric       CallInst::TailCallKind TCK = CallInst::TCK_None;
339791bc56edSDimitry Andric       if (CCInfo & 1)
339891bc56edSDimitry Andric         TCK = CallInst::TCK_Tail;
339991bc56edSDimitry Andric       if (CCInfo & (1 << 14))
340091bc56edSDimitry Andric         TCK = CallInst::TCK_MustTail;
340191bc56edSDimitry Andric       cast<CallInst>(I)->setTailCallKind(TCK);
3402f22ef01cSRoman Divacky       cast<CallInst>(I)->setAttributes(PAL);
3403f22ef01cSRoman Divacky       break;
3404f22ef01cSRoman Divacky     }
3405f22ef01cSRoman Divacky     case bitc::FUNC_CODE_INST_VAARG: { // VAARG: [valistty, valist, instty]
3406f22ef01cSRoman Divacky       if (Record.size() < 3)
340739d628a0SDimitry Andric         return Error("Invalid record");
34086122f3e6SDimitry Andric       Type *OpTy = getTypeByID(Record[0]);
34093861d79fSDimitry Andric       Value *Op = getValue(Record, 1, NextValueNo, OpTy);
34106122f3e6SDimitry Andric       Type *ResTy = getTypeByID(Record[2]);
3411f22ef01cSRoman Divacky       if (!OpTy || !Op || !ResTy)
341239d628a0SDimitry Andric         return Error("Invalid record");
3413f22ef01cSRoman Divacky       I = new VAArgInst(Op, ResTy);
3414f22ef01cSRoman Divacky       InstructionList.push_back(I);
3415f22ef01cSRoman Divacky       break;
3416f22ef01cSRoman Divacky     }
3417f22ef01cSRoman Divacky     }
3418f22ef01cSRoman Divacky 
3419f22ef01cSRoman Divacky     // Add instruction to end of current BB.  If there is no current BB, reject
3420f22ef01cSRoman Divacky     // this file.
342191bc56edSDimitry Andric     if (!CurBB) {
3422f22ef01cSRoman Divacky       delete I;
342339d628a0SDimitry Andric       return Error("Invalid instruction with no BB");
3424f22ef01cSRoman Divacky     }
3425f22ef01cSRoman Divacky     CurBB->getInstList().push_back(I);
3426f22ef01cSRoman Divacky 
3427f22ef01cSRoman Divacky     // If this was a terminator instruction, move to the next block.
3428f22ef01cSRoman Divacky     if (isa<TerminatorInst>(I)) {
3429f22ef01cSRoman Divacky       ++CurBBNo;
343091bc56edSDimitry Andric       CurBB = CurBBNo < FunctionBBs.size() ? FunctionBBs[CurBBNo] : nullptr;
3431f22ef01cSRoman Divacky     }
3432f22ef01cSRoman Divacky 
3433f22ef01cSRoman Divacky     // Non-void values get registered in the value table for future use.
3434f22ef01cSRoman Divacky     if (I && !I->getType()->isVoidTy())
3435f22ef01cSRoman Divacky       ValueList.AssignValue(I, NextValueNo++);
3436f22ef01cSRoman Divacky   }
3437f22ef01cSRoman Divacky 
3438139f7f9bSDimitry Andric OutOfRecordLoop:
3439139f7f9bSDimitry Andric 
3440f22ef01cSRoman Divacky   // Check the function list for unresolved values.
3441f22ef01cSRoman Divacky   if (Argument *A = dyn_cast<Argument>(ValueList.back())) {
344291bc56edSDimitry Andric     if (!A->getParent()) {
3443f22ef01cSRoman Divacky       // We found at least one unresolved value.  Nuke them all to avoid leaks.
3444f22ef01cSRoman Divacky       for (unsigned i = ModuleValueListSize, e = ValueList.size(); i != e; ++i){
344591bc56edSDimitry Andric         if ((A = dyn_cast_or_null<Argument>(ValueList[i])) && !A->getParent()) {
3446f22ef01cSRoman Divacky           A->replaceAllUsesWith(UndefValue::get(A->getType()));
3447f22ef01cSRoman Divacky           delete A;
3448f22ef01cSRoman Divacky         }
3449f22ef01cSRoman Divacky       }
345039d628a0SDimitry Andric       return Error("Never resolved value found in function");
3451f22ef01cSRoman Divacky     }
3452f22ef01cSRoman Divacky   }
3453f22ef01cSRoman Divacky 
3454e580952dSDimitry Andric   // FIXME: Check for unresolved forward-declared metadata references
3455e580952dSDimitry Andric   // and clean up leaks.
3456e580952dSDimitry Andric 
3457f22ef01cSRoman Divacky   // Trim the value list down to the size it was before we parsed this function.
3458f22ef01cSRoman Divacky   ValueList.shrinkTo(ModuleValueListSize);
3459e580952dSDimitry Andric   MDValueList.shrinkTo(ModuleMDValueListSize);
3460f22ef01cSRoman Divacky   std::vector<BasicBlock*>().swap(FunctionBBs);
346191bc56edSDimitry Andric   return std::error_code();
3462f22ef01cSRoman Divacky }
3463f22ef01cSRoman Divacky 
3464f785676fSDimitry Andric /// Find the function body in the bitcode stream
346591bc56edSDimitry Andric std::error_code BitcodeReader::FindFunctionInStream(
346691bc56edSDimitry Andric     Function *F,
3467dff0c46cSDimitry Andric     DenseMap<Function *, uint64_t>::iterator DeferredFunctionInfoIterator) {
3468dff0c46cSDimitry Andric   while (DeferredFunctionInfoIterator->second == 0) {
3469dff0c46cSDimitry Andric     if (Stream.AtEndOfStream())
347039d628a0SDimitry Andric       return Error("Could not find function in stream");
3471dff0c46cSDimitry Andric     // ParseModule will parse the next body in the stream and set its
3472dff0c46cSDimitry Andric     // position in the DeferredFunctionInfo map.
347391bc56edSDimitry Andric     if (std::error_code EC = ParseModule(true))
3474f785676fSDimitry Andric       return EC;
3475dff0c46cSDimitry Andric   }
347691bc56edSDimitry Andric   return std::error_code();
3477dff0c46cSDimitry Andric }
3478dff0c46cSDimitry Andric 
3479f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
3480f22ef01cSRoman Divacky // GVMaterializer implementation
3481f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
3482f22ef01cSRoman Divacky 
348391bc56edSDimitry Andric void BitcodeReader::releaseBuffer() { Buffer.release(); }
3484f22ef01cSRoman Divacky 
348539d628a0SDimitry Andric std::error_code BitcodeReader::materialize(GlobalValue *GV) {
3486f22ef01cSRoman Divacky   Function *F = dyn_cast<Function>(GV);
3487f22ef01cSRoman Divacky   // If it's not a function or is already material, ignore the request.
3488f785676fSDimitry Andric   if (!F || !F->isMaterializable())
348991bc56edSDimitry Andric     return std::error_code();
3490f22ef01cSRoman Divacky 
3491f22ef01cSRoman Divacky   DenseMap<Function*, uint64_t>::iterator DFII = DeferredFunctionInfo.find(F);
3492f22ef01cSRoman Divacky   assert(DFII != DeferredFunctionInfo.end() && "Deferred function not found!");
3493dff0c46cSDimitry Andric   // If its position is recorded as 0, its body is somewhere in the stream
3494dff0c46cSDimitry Andric   // but we haven't seen it yet.
3495f785676fSDimitry Andric   if (DFII->second == 0 && LazyStreamer)
349691bc56edSDimitry Andric     if (std::error_code EC = FindFunctionInStream(F, DFII))
3497f785676fSDimitry Andric       return EC;
3498f22ef01cSRoman Divacky 
3499f22ef01cSRoman Divacky   // Move the bit stream to the saved position of the deferred function body.
3500f22ef01cSRoman Divacky   Stream.JumpToBit(DFII->second);
3501f22ef01cSRoman Divacky 
350291bc56edSDimitry Andric   if (std::error_code EC = ParseFunctionBody(F))
3503f785676fSDimitry Andric     return EC;
350439d628a0SDimitry Andric   F->setIsMaterializable(false);
3505f22ef01cSRoman Divacky 
3506f22ef01cSRoman Divacky   // Upgrade any old intrinsic calls in the function.
3507f22ef01cSRoman Divacky   for (UpgradedIntrinsicMap::iterator I = UpgradedIntrinsics.begin(),
3508f22ef01cSRoman Divacky        E = UpgradedIntrinsics.end(); I != E; ++I) {
3509f22ef01cSRoman Divacky     if (I->first != I->second) {
351091bc56edSDimitry Andric       for (auto UI = I->first->user_begin(), UE = I->first->user_end();
351191bc56edSDimitry Andric            UI != UE;) {
3512f22ef01cSRoman Divacky         if (CallInst* CI = dyn_cast<CallInst>(*UI++))
3513f22ef01cSRoman Divacky           UpgradeIntrinsicCall(CI, I->second);
3514f22ef01cSRoman Divacky       }
3515f22ef01cSRoman Divacky     }
3516f22ef01cSRoman Divacky   }
3517f22ef01cSRoman Divacky 
351839d628a0SDimitry Andric   // Bring in any functions that this function forward-referenced via
351939d628a0SDimitry Andric   // blockaddresses.
352039d628a0SDimitry Andric   return materializeForwardReferencedFunctions();
3521f22ef01cSRoman Divacky }
3522f22ef01cSRoman Divacky 
3523f22ef01cSRoman Divacky bool BitcodeReader::isDematerializable(const GlobalValue *GV) const {
3524f22ef01cSRoman Divacky   const Function *F = dyn_cast<Function>(GV);
3525f22ef01cSRoman Divacky   if (!F || F->isDeclaration())
3526f22ef01cSRoman Divacky     return false;
352739d628a0SDimitry Andric 
352839d628a0SDimitry Andric   // Dematerializing F would leave dangling references that wouldn't be
352939d628a0SDimitry Andric   // reconnected on re-materialization.
353039d628a0SDimitry Andric   if (BlockAddressesTaken.count(F))
353139d628a0SDimitry Andric     return false;
353239d628a0SDimitry Andric 
3533f22ef01cSRoman Divacky   return DeferredFunctionInfo.count(const_cast<Function*>(F));
3534f22ef01cSRoman Divacky }
3535f22ef01cSRoman Divacky 
3536f22ef01cSRoman Divacky void BitcodeReader::Dematerialize(GlobalValue *GV) {
3537f22ef01cSRoman Divacky   Function *F = dyn_cast<Function>(GV);
3538f22ef01cSRoman Divacky   // If this function isn't dematerializable, this is a noop.
3539f22ef01cSRoman Divacky   if (!F || !isDematerializable(F))
3540f22ef01cSRoman Divacky     return;
3541f22ef01cSRoman Divacky 
3542f22ef01cSRoman Divacky   assert(DeferredFunctionInfo.count(F) && "No info to read function later?");
3543f22ef01cSRoman Divacky 
3544f22ef01cSRoman Divacky   // Just forget the function body, we can remat it later.
354539d628a0SDimitry Andric   F->dropAllReferences();
354639d628a0SDimitry Andric   F->setIsMaterializable(true);
3547f22ef01cSRoman Divacky }
3548f22ef01cSRoman Divacky 
354991bc56edSDimitry Andric std::error_code BitcodeReader::MaterializeModule(Module *M) {
3550f22ef01cSRoman Divacky   assert(M == TheModule &&
3551f22ef01cSRoman Divacky          "Can only Materialize the Module this BitcodeReader is attached to.");
355239d628a0SDimitry Andric 
355339d628a0SDimitry Andric   // Promise to materialize all forward references.
355439d628a0SDimitry Andric   WillMaterializeAllForwardRefs = true;
355539d628a0SDimitry Andric 
3556f22ef01cSRoman Divacky   // Iterate over the module, deserializing any functions that are still on
3557f22ef01cSRoman Divacky   // disk.
3558f22ef01cSRoman Divacky   for (Module::iterator F = TheModule->begin(), E = TheModule->end();
3559f785676fSDimitry Andric        F != E; ++F) {
356039d628a0SDimitry Andric     if (std::error_code EC = materialize(F))
3561f785676fSDimitry Andric       return EC;
3562f785676fSDimitry Andric   }
3563dff0c46cSDimitry Andric   // At this point, if there are any function bodies, the current bit is
3564dff0c46cSDimitry Andric   // pointing to the END_BLOCK record after them. Now make sure the rest
3565dff0c46cSDimitry Andric   // of the bits in the module have been read.
3566dff0c46cSDimitry Andric   if (NextUnreadBit)
3567dff0c46cSDimitry Andric     ParseModule(true);
3568dff0c46cSDimitry Andric 
356939d628a0SDimitry Andric   // Check that all block address forward references got resolved (as we
357039d628a0SDimitry Andric   // promised above).
357139d628a0SDimitry Andric   if (!BasicBlockFwdRefs.empty())
357239d628a0SDimitry Andric     return Error("Never resolved function from blockaddress");
357339d628a0SDimitry Andric 
3574f22ef01cSRoman Divacky   // Upgrade any intrinsic calls that slipped through (should not happen!) and
3575f22ef01cSRoman Divacky   // delete the old functions to clean up. We can't do this unless the entire
3576f22ef01cSRoman Divacky   // module is materialized because there could always be another function body
3577f22ef01cSRoman Divacky   // with calls to the old function.
3578f22ef01cSRoman Divacky   for (std::vector<std::pair<Function*, Function*> >::iterator I =
3579f22ef01cSRoman Divacky        UpgradedIntrinsics.begin(), E = UpgradedIntrinsics.end(); I != E; ++I) {
3580f22ef01cSRoman Divacky     if (I->first != I->second) {
358191bc56edSDimitry Andric       for (auto UI = I->first->user_begin(), UE = I->first->user_end();
358291bc56edSDimitry Andric            UI != UE;) {
3583f22ef01cSRoman Divacky         if (CallInst* CI = dyn_cast<CallInst>(*UI++))
3584f22ef01cSRoman Divacky           UpgradeIntrinsicCall(CI, I->second);
3585f22ef01cSRoman Divacky       }
3586f22ef01cSRoman Divacky       if (!I->first->use_empty())
3587f22ef01cSRoman Divacky         I->first->replaceAllUsesWith(I->second);
3588f22ef01cSRoman Divacky       I->first->eraseFromParent();
3589f22ef01cSRoman Divacky     }
3590f22ef01cSRoman Divacky   }
3591f22ef01cSRoman Divacky   std::vector<std::pair<Function*, Function*> >().swap(UpgradedIntrinsics);
3592f22ef01cSRoman Divacky 
3593f785676fSDimitry Andric   for (unsigned I = 0, E = InstsWithTBAATag.size(); I < E; I++)
3594f785676fSDimitry Andric     UpgradeInstWithTBAATag(InstsWithTBAATag[I]);
3595f785676fSDimitry Andric 
3596f785676fSDimitry Andric   UpgradeDebugInfo(*M);
359791bc56edSDimitry Andric   return std::error_code();
3598dff0c46cSDimitry Andric }
35996122f3e6SDimitry Andric 
360039d628a0SDimitry Andric std::vector<StructType *> BitcodeReader::getIdentifiedStructTypes() const {
360139d628a0SDimitry Andric   return IdentifiedStructTypes;
360239d628a0SDimitry Andric }
360339d628a0SDimitry Andric 
360491bc56edSDimitry Andric std::error_code BitcodeReader::InitStream() {
3605f785676fSDimitry Andric   if (LazyStreamer)
3606f785676fSDimitry Andric     return InitLazyStream();
3607dff0c46cSDimitry Andric   return InitStreamFromBuffer();
3608dff0c46cSDimitry Andric }
3609dff0c46cSDimitry Andric 
361091bc56edSDimitry Andric std::error_code BitcodeReader::InitStreamFromBuffer() {
36113861d79fSDimitry Andric   const unsigned char *BufPtr = (const unsigned char*)Buffer->getBufferStart();
3612dff0c46cSDimitry Andric   const unsigned char *BufEnd = BufPtr+Buffer->getBufferSize();
3613dff0c46cSDimitry Andric 
361439d628a0SDimitry Andric   if (Buffer->getBufferSize() & 3)
361539d628a0SDimitry Andric     return Error("Invalid bitcode signature");
3616dff0c46cSDimitry Andric 
3617dff0c46cSDimitry Andric   // If we have a wrapper header, parse it and ignore the non-bc file contents.
3618dff0c46cSDimitry Andric   // The magic number is 0x0B17C0DE stored in little endian.
3619dff0c46cSDimitry Andric   if (isBitcodeWrapper(BufPtr, BufEnd))
3620dff0c46cSDimitry Andric     if (SkipBitcodeWrapperHeader(BufPtr, BufEnd, true))
362139d628a0SDimitry Andric       return Error("Invalid bitcode wrapper header");
3622dff0c46cSDimitry Andric 
3623dff0c46cSDimitry Andric   StreamFile.reset(new BitstreamReader(BufPtr, BufEnd));
362439d628a0SDimitry Andric   Stream.init(&*StreamFile);
3625f22ef01cSRoman Divacky 
362691bc56edSDimitry Andric   return std::error_code();
3627f22ef01cSRoman Divacky }
3628f22ef01cSRoman Divacky 
362991bc56edSDimitry Andric std::error_code BitcodeReader::InitLazyStream() {
3630dff0c46cSDimitry Andric   // Check and strip off the bitcode wrapper; BitstreamReader expects never to
3631dff0c46cSDimitry Andric   // see it.
363239d628a0SDimitry Andric   auto OwnedBytes = llvm::make_unique<StreamingMemoryObject>(LazyStreamer);
363339d628a0SDimitry Andric   StreamingMemoryObject &Bytes = *OwnedBytes;
363439d628a0SDimitry Andric   StreamFile = llvm::make_unique<BitstreamReader>(std::move(OwnedBytes));
363539d628a0SDimitry Andric   Stream.init(&*StreamFile);
3636dff0c46cSDimitry Andric 
3637dff0c46cSDimitry Andric   unsigned char buf[16];
363839d628a0SDimitry Andric   if (Bytes.readBytes(buf, 16, 0) != 16)
363939d628a0SDimitry Andric     return Error("Invalid bitcode signature");
3640dff0c46cSDimitry Andric 
3641dff0c46cSDimitry Andric   if (!isBitcode(buf, buf + 16))
364239d628a0SDimitry Andric     return Error("Invalid bitcode signature");
3643dff0c46cSDimitry Andric 
3644dff0c46cSDimitry Andric   if (isBitcodeWrapper(buf, buf + 4)) {
3645dff0c46cSDimitry Andric     const unsigned char *bitcodeStart = buf;
3646dff0c46cSDimitry Andric     const unsigned char *bitcodeEnd = buf + 16;
3647dff0c46cSDimitry Andric     SkipBitcodeWrapperHeader(bitcodeStart, bitcodeEnd, false);
364839d628a0SDimitry Andric     Bytes.dropLeadingBytes(bitcodeStart - buf);
364939d628a0SDimitry Andric     Bytes.setKnownObjectSize(bitcodeEnd - bitcodeStart);
3650dff0c46cSDimitry Andric   }
365191bc56edSDimitry Andric   return std::error_code();
3652f785676fSDimitry Andric }
3653f785676fSDimitry Andric 
3654f785676fSDimitry Andric namespace {
365591bc56edSDimitry Andric class BitcodeErrorCategoryType : public std::error_category {
365691bc56edSDimitry Andric   const char *name() const LLVM_NOEXCEPT override {
3657f785676fSDimitry Andric     return "llvm.bitcode";
3658f785676fSDimitry Andric   }
365991bc56edSDimitry Andric   std::string message(int IE) const override {
366039d628a0SDimitry Andric     BitcodeError E = static_cast<BitcodeError>(IE);
3661f785676fSDimitry Andric     switch (E) {
366239d628a0SDimitry Andric     case BitcodeError::InvalidBitcodeSignature:
3663f785676fSDimitry Andric       return "Invalid bitcode signature";
366439d628a0SDimitry Andric     case BitcodeError::CorruptedBitcode:
366539d628a0SDimitry Andric       return "Corrupted bitcode";
3666f785676fSDimitry Andric     }
3667f785676fSDimitry Andric     llvm_unreachable("Unknown error type!");
3668f785676fSDimitry Andric   }
3669f785676fSDimitry Andric };
3670f785676fSDimitry Andric }
3671f785676fSDimitry Andric 
367239d628a0SDimitry Andric static ManagedStatic<BitcodeErrorCategoryType> ErrorCategory;
367339d628a0SDimitry Andric 
367439d628a0SDimitry Andric const std::error_category &llvm::BitcodeErrorCategory() {
367539d628a0SDimitry Andric   return *ErrorCategory;
3676dff0c46cSDimitry Andric }
3677f22ef01cSRoman Divacky 
3678f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
3679f22ef01cSRoman Divacky // External interface
3680f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
3681f22ef01cSRoman Divacky 
368239d628a0SDimitry Andric /// \brief Get a lazy one-at-time loading module from bitcode.
3683f22ef01cSRoman Divacky ///
368439d628a0SDimitry Andric /// This isn't always used in a lazy context.  In particular, it's also used by
368539d628a0SDimitry Andric /// \a parseBitcodeFile().  If this is truly lazy, then we need to eagerly pull
368639d628a0SDimitry Andric /// in forward-referenced functions from block address references.
368739d628a0SDimitry Andric ///
368839d628a0SDimitry Andric /// \param[in] WillMaterializeAll Set to \c true if the caller promises to
368939d628a0SDimitry Andric /// materialize everything -- in particular, if this isn't truly lazy.
369039d628a0SDimitry Andric static ErrorOr<Module *>
369139d628a0SDimitry Andric getLazyBitcodeModuleImpl(std::unique_ptr<MemoryBuffer> &&Buffer,
369239d628a0SDimitry Andric                          LLVMContext &Context, bool WillMaterializeAll,
369339d628a0SDimitry Andric                          DiagnosticHandlerFunction DiagnosticHandler) {
3694f22ef01cSRoman Divacky   Module *M = new Module(Buffer->getBufferIdentifier(), Context);
369539d628a0SDimitry Andric   BitcodeReader *R =
369639d628a0SDimitry Andric       new BitcodeReader(Buffer.get(), Context, DiagnosticHandler);
3697f22ef01cSRoman Divacky   M->setMaterializer(R);
369839d628a0SDimitry Andric 
369939d628a0SDimitry Andric   auto cleanupOnError = [&](std::error_code EC) {
370091bc56edSDimitry Andric     R->releaseBuffer(); // Never take ownership on error.
3701f22ef01cSRoman Divacky     delete M;  // Also deletes R.
370291bc56edSDimitry Andric     return EC;
370339d628a0SDimitry Andric   };
3704dff0c46cSDimitry Andric 
370539d628a0SDimitry Andric   if (std::error_code EC = R->ParseBitcodeInto(M))
370639d628a0SDimitry Andric     return cleanupOnError(EC);
3707dff0c46cSDimitry Andric 
370839d628a0SDimitry Andric   if (!WillMaterializeAll)
370939d628a0SDimitry Andric     // Resolve forward references from blockaddresses.
371039d628a0SDimitry Andric     if (std::error_code EC = R->materializeForwardReferencedFunctions())
371139d628a0SDimitry Andric       return cleanupOnError(EC);
371239d628a0SDimitry Andric 
371339d628a0SDimitry Andric   Buffer.release(); // The BitcodeReader owns it now.
3714dff0c46cSDimitry Andric   return M;
3715dff0c46cSDimitry Andric }
3716dff0c46cSDimitry Andric 
371739d628a0SDimitry Andric ErrorOr<Module *>
371839d628a0SDimitry Andric llvm::getLazyBitcodeModule(std::unique_ptr<MemoryBuffer> &&Buffer,
3719dff0c46cSDimitry Andric                            LLVMContext &Context,
372039d628a0SDimitry Andric                            DiagnosticHandlerFunction DiagnosticHandler) {
372139d628a0SDimitry Andric   return getLazyBitcodeModuleImpl(std::move(Buffer), Context, false,
372239d628a0SDimitry Andric                                   DiagnosticHandler);
3723f22ef01cSRoman Divacky }
3724f22ef01cSRoman Divacky 
372539d628a0SDimitry Andric ErrorOr<std::unique_ptr<Module>>
372639d628a0SDimitry Andric llvm::getStreamedBitcodeModule(StringRef Name, DataStreamer *Streamer,
372739d628a0SDimitry Andric                                LLVMContext &Context,
372839d628a0SDimitry Andric                                DiagnosticHandlerFunction DiagnosticHandler) {
372939d628a0SDimitry Andric   std::unique_ptr<Module> M = make_unique<Module>(Name, Context);
373039d628a0SDimitry Andric   BitcodeReader *R = new BitcodeReader(Streamer, Context, DiagnosticHandler);
373139d628a0SDimitry Andric   M->setMaterializer(R);
373239d628a0SDimitry Andric   if (std::error_code EC = R->ParseBitcodeInto(M.get()))
373339d628a0SDimitry Andric     return EC;
373439d628a0SDimitry Andric   return std::move(M);
373539d628a0SDimitry Andric }
373639d628a0SDimitry Andric 
373739d628a0SDimitry Andric ErrorOr<Module *>
373839d628a0SDimitry Andric llvm::parseBitcodeFile(MemoryBufferRef Buffer, LLVMContext &Context,
373939d628a0SDimitry Andric                        DiagnosticHandlerFunction DiagnosticHandler) {
374039d628a0SDimitry Andric   std::unique_ptr<MemoryBuffer> Buf = MemoryBuffer::getMemBuffer(Buffer, false);
374139d628a0SDimitry Andric   ErrorOr<Module *> ModuleOrErr = getLazyBitcodeModuleImpl(
374239d628a0SDimitry Andric       std::move(Buf), Context, true, DiagnosticHandler);
374391bc56edSDimitry Andric   if (!ModuleOrErr)
374491bc56edSDimitry Andric     return ModuleOrErr;
374591bc56edSDimitry Andric   Module *M = ModuleOrErr.get();
3746f22ef01cSRoman Divacky   // Read in the entire module, and destroy the BitcodeReader.
374739d628a0SDimitry Andric   if (std::error_code EC = M->materializeAllPermanently()) {
3748f22ef01cSRoman Divacky     delete M;
374991bc56edSDimitry Andric     return EC;
3750f22ef01cSRoman Divacky   }
37512754fe60SDimitry Andric 
3752dff0c46cSDimitry Andric   // TODO: Restore the use-lists to the in-memory state when the bitcode was
3753dff0c46cSDimitry Andric   // written.  We must defer until the Module has been fully materialized.
3754dff0c46cSDimitry Andric 
3755f22ef01cSRoman Divacky   return M;
3756f22ef01cSRoman Divacky }
37572754fe60SDimitry Andric 
375839d628a0SDimitry Andric std::string
375939d628a0SDimitry Andric llvm::getBitcodeTargetTriple(MemoryBufferRef Buffer, LLVMContext &Context,
376039d628a0SDimitry Andric                              DiagnosticHandlerFunction DiagnosticHandler) {
376139d628a0SDimitry Andric   std::unique_ptr<MemoryBuffer> Buf = MemoryBuffer::getMemBuffer(Buffer, false);
376239d628a0SDimitry Andric   auto R = llvm::make_unique<BitcodeReader>(Buf.release(), Context,
376339d628a0SDimitry Andric                                             DiagnosticHandler);
376491bc56edSDimitry Andric   ErrorOr<std::string> Triple = R->parseTriple();
376591bc56edSDimitry Andric   if (Triple.getError())
376691bc56edSDimitry Andric     return "";
376791bc56edSDimitry Andric   return Triple.get();
37682754fe60SDimitry Andric }
3769