14cdb68ebSFrancis Visoiu Mistrih //===- BitcodeAnalyzer.cpp - Internal BitcodeAnalyzer implementation ------===//
24cdb68ebSFrancis Visoiu Mistrih //
34cdb68ebSFrancis Visoiu Mistrih // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
44cdb68ebSFrancis Visoiu Mistrih // See https://llvm.org/LICENSE.txt for license information.
54cdb68ebSFrancis Visoiu Mistrih // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
64cdb68ebSFrancis Visoiu Mistrih //
74cdb68ebSFrancis Visoiu Mistrih //===----------------------------------------------------------------------===//
84cdb68ebSFrancis Visoiu Mistrih
94cdb68ebSFrancis Visoiu Mistrih #include "llvm/Bitcode/BitcodeAnalyzer.h"
104cdb68ebSFrancis Visoiu Mistrih #include "llvm/Bitcode/BitcodeReader.h"
114cdb68ebSFrancis Visoiu Mistrih #include "llvm/Bitcode/LLVMBitCodes.h"
121a697aa6SFrancis Visoiu Mistrih #include "llvm/Bitstream/BitCodes.h"
131a697aa6SFrancis Visoiu Mistrih #include "llvm/Bitstream/BitstreamReader.h"
144cdb68ebSFrancis Visoiu Mistrih #include "llvm/Support/Format.h"
154cdb68ebSFrancis Visoiu Mistrih #include "llvm/Support/SHA1.h"
164cdb68ebSFrancis Visoiu Mistrih
174cdb68ebSFrancis Visoiu Mistrih using namespace llvm;
184cdb68ebSFrancis Visoiu Mistrih
reportError(StringRef Message)194cdb68ebSFrancis Visoiu Mistrih static Error reportError(StringRef Message) {
204cdb68ebSFrancis Visoiu Mistrih return createStringError(std::errc::illegal_byte_sequence, Message.data());
214cdb68ebSFrancis Visoiu Mistrih }
224cdb68ebSFrancis Visoiu Mistrih
234cdb68ebSFrancis Visoiu Mistrih /// Return a symbolic block name if known, otherwise return null.
GetBlockName(unsigned BlockID,const BitstreamBlockInfo & BlockInfo,CurStreamTypeType CurStreamType)244cdb68ebSFrancis Visoiu Mistrih static Optional<const char *> GetBlockName(unsigned BlockID,
254cdb68ebSFrancis Visoiu Mistrih const BitstreamBlockInfo &BlockInfo,
264cdb68ebSFrancis Visoiu Mistrih CurStreamTypeType CurStreamType) {
274cdb68ebSFrancis Visoiu Mistrih // Standard blocks for all bitcode files.
284cdb68ebSFrancis Visoiu Mistrih if (BlockID < bitc::FIRST_APPLICATION_BLOCKID) {
294cdb68ebSFrancis Visoiu Mistrih if (BlockID == bitc::BLOCKINFO_BLOCK_ID)
304cdb68ebSFrancis Visoiu Mistrih return "BLOCKINFO_BLOCK";
314cdb68ebSFrancis Visoiu Mistrih return None;
324cdb68ebSFrancis Visoiu Mistrih }
334cdb68ebSFrancis Visoiu Mistrih
344cdb68ebSFrancis Visoiu Mistrih // Check to see if we have a blockinfo record for this block, with a name.
354cdb68ebSFrancis Visoiu Mistrih if (const BitstreamBlockInfo::BlockInfo *Info =
364cdb68ebSFrancis Visoiu Mistrih BlockInfo.getBlockInfo(BlockID)) {
374cdb68ebSFrancis Visoiu Mistrih if (!Info->Name.empty())
384cdb68ebSFrancis Visoiu Mistrih return Info->Name.c_str();
394cdb68ebSFrancis Visoiu Mistrih }
404cdb68ebSFrancis Visoiu Mistrih
414cdb68ebSFrancis Visoiu Mistrih if (CurStreamType != LLVMIRBitstream)
424cdb68ebSFrancis Visoiu Mistrih return None;
434cdb68ebSFrancis Visoiu Mistrih
444cdb68ebSFrancis Visoiu Mistrih switch (BlockID) {
454cdb68ebSFrancis Visoiu Mistrih default:
464cdb68ebSFrancis Visoiu Mistrih return None;
474cdb68ebSFrancis Visoiu Mistrih case bitc::OPERAND_BUNDLE_TAGS_BLOCK_ID:
484cdb68ebSFrancis Visoiu Mistrih return "OPERAND_BUNDLE_TAGS_BLOCK";
494cdb68ebSFrancis Visoiu Mistrih case bitc::MODULE_BLOCK_ID:
504cdb68ebSFrancis Visoiu Mistrih return "MODULE_BLOCK";
514cdb68ebSFrancis Visoiu Mistrih case bitc::PARAMATTR_BLOCK_ID:
524cdb68ebSFrancis Visoiu Mistrih return "PARAMATTR_BLOCK";
534cdb68ebSFrancis Visoiu Mistrih case bitc::PARAMATTR_GROUP_BLOCK_ID:
544cdb68ebSFrancis Visoiu Mistrih return "PARAMATTR_GROUP_BLOCK_ID";
554cdb68ebSFrancis Visoiu Mistrih case bitc::TYPE_BLOCK_ID_NEW:
564cdb68ebSFrancis Visoiu Mistrih return "TYPE_BLOCK_ID";
574cdb68ebSFrancis Visoiu Mistrih case bitc::CONSTANTS_BLOCK_ID:
584cdb68ebSFrancis Visoiu Mistrih return "CONSTANTS_BLOCK";
594cdb68ebSFrancis Visoiu Mistrih case bitc::FUNCTION_BLOCK_ID:
604cdb68ebSFrancis Visoiu Mistrih return "FUNCTION_BLOCK";
614cdb68ebSFrancis Visoiu Mistrih case bitc::IDENTIFICATION_BLOCK_ID:
624cdb68ebSFrancis Visoiu Mistrih return "IDENTIFICATION_BLOCK_ID";
634cdb68ebSFrancis Visoiu Mistrih case bitc::VALUE_SYMTAB_BLOCK_ID:
644cdb68ebSFrancis Visoiu Mistrih return "VALUE_SYMTAB";
654cdb68ebSFrancis Visoiu Mistrih case bitc::METADATA_BLOCK_ID:
664cdb68ebSFrancis Visoiu Mistrih return "METADATA_BLOCK";
674cdb68ebSFrancis Visoiu Mistrih case bitc::METADATA_KIND_BLOCK_ID:
684cdb68ebSFrancis Visoiu Mistrih return "METADATA_KIND_BLOCK";
694cdb68ebSFrancis Visoiu Mistrih case bitc::METADATA_ATTACHMENT_ID:
704cdb68ebSFrancis Visoiu Mistrih return "METADATA_ATTACHMENT_BLOCK";
714cdb68ebSFrancis Visoiu Mistrih case bitc::USELIST_BLOCK_ID:
724cdb68ebSFrancis Visoiu Mistrih return "USELIST_BLOCK_ID";
734cdb68ebSFrancis Visoiu Mistrih case bitc::GLOBALVAL_SUMMARY_BLOCK_ID:
744cdb68ebSFrancis Visoiu Mistrih return "GLOBALVAL_SUMMARY_BLOCK";
754cdb68ebSFrancis Visoiu Mistrih case bitc::FULL_LTO_GLOBALVAL_SUMMARY_BLOCK_ID:
764cdb68ebSFrancis Visoiu Mistrih return "FULL_LTO_GLOBALVAL_SUMMARY_BLOCK";
774cdb68ebSFrancis Visoiu Mistrih case bitc::MODULE_STRTAB_BLOCK_ID:
784cdb68ebSFrancis Visoiu Mistrih return "MODULE_STRTAB_BLOCK";
794cdb68ebSFrancis Visoiu Mistrih case bitc::STRTAB_BLOCK_ID:
804cdb68ebSFrancis Visoiu Mistrih return "STRTAB_BLOCK";
814cdb68ebSFrancis Visoiu Mistrih case bitc::SYMTAB_BLOCK_ID:
824cdb68ebSFrancis Visoiu Mistrih return "SYMTAB_BLOCK";
834cdb68ebSFrancis Visoiu Mistrih }
844cdb68ebSFrancis Visoiu Mistrih }
854cdb68ebSFrancis Visoiu Mistrih
864cdb68ebSFrancis Visoiu Mistrih /// Return a symbolic code name if known, otherwise return null.
GetCodeName(unsigned CodeID,unsigned BlockID,const BitstreamBlockInfo & BlockInfo,CurStreamTypeType CurStreamType)874cdb68ebSFrancis Visoiu Mistrih static Optional<const char *> GetCodeName(unsigned CodeID, unsigned BlockID,
884cdb68ebSFrancis Visoiu Mistrih const BitstreamBlockInfo &BlockInfo,
894cdb68ebSFrancis Visoiu Mistrih CurStreamTypeType CurStreamType) {
904cdb68ebSFrancis Visoiu Mistrih // Standard blocks for all bitcode files.
914cdb68ebSFrancis Visoiu Mistrih if (BlockID < bitc::FIRST_APPLICATION_BLOCKID) {
924cdb68ebSFrancis Visoiu Mistrih if (BlockID == bitc::BLOCKINFO_BLOCK_ID) {
934cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
944cdb68ebSFrancis Visoiu Mistrih default:
954cdb68ebSFrancis Visoiu Mistrih return None;
964cdb68ebSFrancis Visoiu Mistrih case bitc::BLOCKINFO_CODE_SETBID:
974cdb68ebSFrancis Visoiu Mistrih return "SETBID";
984cdb68ebSFrancis Visoiu Mistrih case bitc::BLOCKINFO_CODE_BLOCKNAME:
994cdb68ebSFrancis Visoiu Mistrih return "BLOCKNAME";
1004cdb68ebSFrancis Visoiu Mistrih case bitc::BLOCKINFO_CODE_SETRECORDNAME:
1014cdb68ebSFrancis Visoiu Mistrih return "SETRECORDNAME";
1024cdb68ebSFrancis Visoiu Mistrih }
1034cdb68ebSFrancis Visoiu Mistrih }
1044cdb68ebSFrancis Visoiu Mistrih return None;
1054cdb68ebSFrancis Visoiu Mistrih }
1064cdb68ebSFrancis Visoiu Mistrih
1074cdb68ebSFrancis Visoiu Mistrih // Check to see if we have a blockinfo record for this record, with a name.
1084cdb68ebSFrancis Visoiu Mistrih if (const BitstreamBlockInfo::BlockInfo *Info =
1094cdb68ebSFrancis Visoiu Mistrih BlockInfo.getBlockInfo(BlockID)) {
1101457e783SKazu Hirata for (const std::pair<unsigned, std::string> &RN : Info->RecordNames)
1111457e783SKazu Hirata if (RN.first == CodeID)
1121457e783SKazu Hirata return RN.second.c_str();
1134cdb68ebSFrancis Visoiu Mistrih }
1144cdb68ebSFrancis Visoiu Mistrih
1154cdb68ebSFrancis Visoiu Mistrih if (CurStreamType != LLVMIRBitstream)
1164cdb68ebSFrancis Visoiu Mistrih return None;
1174cdb68ebSFrancis Visoiu Mistrih
1184cdb68ebSFrancis Visoiu Mistrih #define STRINGIFY_CODE(PREFIX, CODE) \
1194cdb68ebSFrancis Visoiu Mistrih case bitc::PREFIX##_##CODE: \
1204cdb68ebSFrancis Visoiu Mistrih return #CODE;
1214cdb68ebSFrancis Visoiu Mistrih switch (BlockID) {
1224cdb68ebSFrancis Visoiu Mistrih default:
1234cdb68ebSFrancis Visoiu Mistrih return None;
1244cdb68ebSFrancis Visoiu Mistrih case bitc::MODULE_BLOCK_ID:
1254cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
1264cdb68ebSFrancis Visoiu Mistrih default:
1274cdb68ebSFrancis Visoiu Mistrih return None;
1284cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, VERSION)
1294cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, TRIPLE)
1304cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, DATALAYOUT)
1314cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, ASM)
1324cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, SECTIONNAME)
1334abf0243SMehdi Amini STRINGIFY_CODE(MODULE_CODE, DEPLIB) // Deprecated, present in old bitcode
1344cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, GLOBALVAR)
1354cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, FUNCTION)
1364cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, ALIAS)
1374cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, GCNAME)
138a184c758SCraig Topper STRINGIFY_CODE(MODULE_CODE, COMDAT)
1394cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, VSTOFFSET)
1404cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, METADATA_VALUES_UNUSED)
1414cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, SOURCE_FILENAME)
1424cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MODULE_CODE, HASH)
1434cdb68ebSFrancis Visoiu Mistrih }
1444cdb68ebSFrancis Visoiu Mistrih case bitc::IDENTIFICATION_BLOCK_ID:
1454cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
1464cdb68ebSFrancis Visoiu Mistrih default:
1474cdb68ebSFrancis Visoiu Mistrih return None;
1484cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(IDENTIFICATION_CODE, STRING)
1494cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(IDENTIFICATION_CODE, EPOCH)
1504cdb68ebSFrancis Visoiu Mistrih }
1514cdb68ebSFrancis Visoiu Mistrih case bitc::PARAMATTR_BLOCK_ID:
1524cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
1534cdb68ebSFrancis Visoiu Mistrih default:
1544cdb68ebSFrancis Visoiu Mistrih return None;
1554cdb68ebSFrancis Visoiu Mistrih // FIXME: Should these be different?
1564cdb68ebSFrancis Visoiu Mistrih case bitc::PARAMATTR_CODE_ENTRY_OLD:
1574cdb68ebSFrancis Visoiu Mistrih return "ENTRY";
1584cdb68ebSFrancis Visoiu Mistrih case bitc::PARAMATTR_CODE_ENTRY:
1594cdb68ebSFrancis Visoiu Mistrih return "ENTRY";
1604cdb68ebSFrancis Visoiu Mistrih }
1614cdb68ebSFrancis Visoiu Mistrih case bitc::PARAMATTR_GROUP_BLOCK_ID:
1624cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
1634cdb68ebSFrancis Visoiu Mistrih default:
1644cdb68ebSFrancis Visoiu Mistrih return None;
1654cdb68ebSFrancis Visoiu Mistrih case bitc::PARAMATTR_GRP_CODE_ENTRY:
1664cdb68ebSFrancis Visoiu Mistrih return "ENTRY";
1674cdb68ebSFrancis Visoiu Mistrih }
1684cdb68ebSFrancis Visoiu Mistrih case bitc::TYPE_BLOCK_ID_NEW:
1694cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
1704cdb68ebSFrancis Visoiu Mistrih default:
1714cdb68ebSFrancis Visoiu Mistrih return None;
1724cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, NUMENTRY)
1734cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, VOID)
1744cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, FLOAT)
1754cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, DOUBLE)
1764cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, LABEL)
1774cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, OPAQUE)
1784cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, INTEGER)
1794cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, POINTER)
180a184c758SCraig Topper STRINGIFY_CODE(TYPE_CODE, HALF)
1814cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, ARRAY)
1824cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, VECTOR)
1834cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, X86_FP80)
1844cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, FP128)
1854cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, PPC_FP128)
1864cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, METADATA)
187a184c758SCraig Topper STRINGIFY_CODE(TYPE_CODE, X86_MMX)
1884cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, STRUCT_ANON)
1894cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, STRUCT_NAME)
1904cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, STRUCT_NAMED)
1914cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(TYPE_CODE, FUNCTION)
192a184c758SCraig Topper STRINGIFY_CODE(TYPE_CODE, TOKEN)
193a184c758SCraig Topper STRINGIFY_CODE(TYPE_CODE, BFLOAT)
1944cdb68ebSFrancis Visoiu Mistrih }
1954cdb68ebSFrancis Visoiu Mistrih
1964cdb68ebSFrancis Visoiu Mistrih case bitc::CONSTANTS_BLOCK_ID:
1974cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
1984cdb68ebSFrancis Visoiu Mistrih default:
1994cdb68ebSFrancis Visoiu Mistrih return None;
2004cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, SETTYPE)
2014cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, NULL)
2024cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, UNDEF)
2034cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, INTEGER)
2044cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, WIDE_INTEGER)
2054cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, FLOAT)
2064cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, AGGREGATE)
2074cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, STRING)
2084cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CSTRING)
2094cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CE_BINOP)
2104cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CE_CAST)
2114cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CE_GEP)
2124cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CE_INBOUNDS_GEP)
2134cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CE_SELECT)
2144cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CE_EXTRACTELT)
2154cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CE_INSERTELT)
2164cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CE_SHUFFLEVEC)
2174cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CE_CMP)
2184cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, INLINEASM)
2194cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CE_SHUFVEC_EX)
2204cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, CE_UNOP)
2211c932baeSLeonard Chan STRINGIFY_CODE(CST_CODE, DSO_LOCAL_EQUIVALENT)
2225dc8aaacSSami Tolvanen STRINGIFY_CODE(CST_CODE, NO_CFI_VALUE)
2234cdb68ebSFrancis Visoiu Mistrih case bitc::CST_CODE_BLOCKADDRESS:
2244cdb68ebSFrancis Visoiu Mistrih return "CST_CODE_BLOCKADDRESS";
2254cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(CST_CODE, DATA)
2264cdb68ebSFrancis Visoiu Mistrih }
2274cdb68ebSFrancis Visoiu Mistrih case bitc::FUNCTION_BLOCK_ID:
2284cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
2294cdb68ebSFrancis Visoiu Mistrih default:
2304cdb68ebSFrancis Visoiu Mistrih return None;
2314cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, DECLAREBLOCKS)
2324cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_BINOP)
2334cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_CAST)
2344cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_GEP_OLD)
2354cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_INBOUNDS_GEP_OLD)
2364cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_SELECT)
2374cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_EXTRACTELT)
2384cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_INSERTELT)
2394cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_SHUFFLEVEC)
2404cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_CMP)
2414cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_RET)
2424cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_BR)
2434cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_SWITCH)
2444cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_INVOKE)
2454cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_UNOP)
2464cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_UNREACHABLE)
2474cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_CLEANUPRET)
2484cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_CATCHRET)
2494cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_CATCHPAD)
2504cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_PHI)
2514cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_ALLOCA)
2524cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_LOAD)
2534cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_VAARG)
2544cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_STORE)
2554cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_EXTRACTVAL)
2564cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_INSERTVAL)
2574cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_CMP2)
2584cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_VSELECT)
2594cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, DEBUG_LOC_AGAIN)
2604cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_CALL)
2614cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, DEBUG_LOC)
2624cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_GEP)
2634cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, OPERAND_BUNDLE)
2644cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_FENCE)
2654cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_ATOMICRMW)
2664cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_LOADATOMIC)
2674cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_STOREATOMIC)
2684cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_CMPXCHG)
2694cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FUNC_CODE, INST_CALLBR)
27023ec5782SNick Desaulniers STRINGIFY_CODE(FUNC_CODE, BLOCKADDR_USERS)
2714cdb68ebSFrancis Visoiu Mistrih }
2724cdb68ebSFrancis Visoiu Mistrih case bitc::VALUE_SYMTAB_BLOCK_ID:
2734cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
2744cdb68ebSFrancis Visoiu Mistrih default:
2754cdb68ebSFrancis Visoiu Mistrih return None;
2764cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(VST_CODE, ENTRY)
2774cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(VST_CODE, BBENTRY)
2784cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(VST_CODE, FNENTRY)
2794cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(VST_CODE, COMBINED_ENTRY)
2804cdb68ebSFrancis Visoiu Mistrih }
2814cdb68ebSFrancis Visoiu Mistrih case bitc::MODULE_STRTAB_BLOCK_ID:
2824cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
2834cdb68ebSFrancis Visoiu Mistrih default:
2844cdb68ebSFrancis Visoiu Mistrih return None;
2854cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MST_CODE, ENTRY)
2864cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(MST_CODE, HASH)
2874cdb68ebSFrancis Visoiu Mistrih }
2884cdb68ebSFrancis Visoiu Mistrih case bitc::GLOBALVAL_SUMMARY_BLOCK_ID:
2894cdb68ebSFrancis Visoiu Mistrih case bitc::FULL_LTO_GLOBALVAL_SUMMARY_BLOCK_ID:
2904cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
2914cdb68ebSFrancis Visoiu Mistrih default:
2924cdb68ebSFrancis Visoiu Mistrih return None;
2934cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, PERMODULE)
2944cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, PERMODULE_PROFILE)
2954cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, PERMODULE_RELBF)
2964cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, PERMODULE_GLOBALVAR_INIT_REFS)
2974cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, PERMODULE_VTABLE_GLOBALVAR_INIT_REFS)
2984cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, COMBINED)
2994cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, COMBINED_PROFILE)
3004cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, COMBINED_GLOBALVAR_INIT_REFS)
3014cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, ALIAS)
3024cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, COMBINED_ALIAS)
3034cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, COMBINED_ORIGINAL_NAME)
3044cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, VERSION)
3054cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, FLAGS)
3064cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, TYPE_TESTS)
3074cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, TYPE_TEST_ASSUME_VCALLS)
3084cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, TYPE_CHECKED_LOAD_VCALLS)
3094cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, TYPE_TEST_ASSUME_CONST_VCALL)
3104cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, TYPE_CHECKED_LOAD_CONST_VCALL)
3114cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, VALUE_GUID)
3124cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, CFI_FUNCTION_DEFS)
3134cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, CFI_FUNCTION_DECLS)
3144cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, TYPE_ID)
3154cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(FS, TYPE_ID_METADATA)
316a7fa35a6SHiroshi Yamauchi STRINGIFY_CODE(FS, BLOCK_COUNT)
3174666953cSVitaly Buka STRINGIFY_CODE(FS, PARAM_ACCESS)
3184cdb68ebSFrancis Visoiu Mistrih }
3194cdb68ebSFrancis Visoiu Mistrih case bitc::METADATA_ATTACHMENT_ID:
3204cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
3214cdb68ebSFrancis Visoiu Mistrih default:
3224cdb68ebSFrancis Visoiu Mistrih return None;
3234cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, ATTACHMENT)
3244cdb68ebSFrancis Visoiu Mistrih }
3254cdb68ebSFrancis Visoiu Mistrih case bitc::METADATA_BLOCK_ID:
3264cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
3274cdb68ebSFrancis Visoiu Mistrih default:
3284cdb68ebSFrancis Visoiu Mistrih return None;
3294cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, STRING_OLD)
3304cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, VALUE)
3314cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, NODE)
3324cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, NAME)
3334cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, DISTINCT_NODE)
3344cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, KIND) // Older bitcode has it in a MODULE_BLOCK
3354cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, LOCATION)
3364cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, OLD_NODE)
3374cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, OLD_FN_NODE)
3384cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, NAMED_NODE)
3394cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, GENERIC_DEBUG)
3404cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, SUBRANGE)
3414cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, ENUMERATOR)
3424cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, BASIC_TYPE)
3434cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, FILE)
3444cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, DERIVED_TYPE)
3454cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, COMPOSITE_TYPE)
3464cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, SUBROUTINE_TYPE)
3474cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, COMPILE_UNIT)
3484cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, SUBPROGRAM)
3494cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, LEXICAL_BLOCK)
3504cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, LEXICAL_BLOCK_FILE)
3514cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, NAMESPACE)
3524cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, TEMPLATE_TYPE)
3534cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, TEMPLATE_VALUE)
3544cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, GLOBAL_VAR)
3554cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, LOCAL_VAR)
3564cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, EXPRESSION)
3574cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, OBJC_PROPERTY)
3584cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, IMPORTED_ENTITY)
3594cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, MODULE)
3604cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, MACRO)
3614cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, MACRO_FILE)
3624cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, STRINGS)
3634cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, GLOBAL_DECL_ATTACHMENT)
3644cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, GLOBAL_VAR_EXPR)
3654cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, INDEX_OFFSET)
3664cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, INDEX)
36765600cb2Sgbtozers STRINGIFY_CODE(METADATA, ARG_LIST)
3684cdb68ebSFrancis Visoiu Mistrih }
3694cdb68ebSFrancis Visoiu Mistrih case bitc::METADATA_KIND_BLOCK_ID:
3704cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
3714cdb68ebSFrancis Visoiu Mistrih default:
3724cdb68ebSFrancis Visoiu Mistrih return None;
3734cdb68ebSFrancis Visoiu Mistrih STRINGIFY_CODE(METADATA, KIND)
3744cdb68ebSFrancis Visoiu Mistrih }
3754cdb68ebSFrancis Visoiu Mistrih case bitc::USELIST_BLOCK_ID:
3764cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
3774cdb68ebSFrancis Visoiu Mistrih default:
3784cdb68ebSFrancis Visoiu Mistrih return None;
3794cdb68ebSFrancis Visoiu Mistrih case bitc::USELIST_CODE_DEFAULT:
3804cdb68ebSFrancis Visoiu Mistrih return "USELIST_CODE_DEFAULT";
3814cdb68ebSFrancis Visoiu Mistrih case bitc::USELIST_CODE_BB:
3824cdb68ebSFrancis Visoiu Mistrih return "USELIST_CODE_BB";
3834cdb68ebSFrancis Visoiu Mistrih }
3844cdb68ebSFrancis Visoiu Mistrih
3854cdb68ebSFrancis Visoiu Mistrih case bitc::OPERAND_BUNDLE_TAGS_BLOCK_ID:
3864cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
3874cdb68ebSFrancis Visoiu Mistrih default:
3884cdb68ebSFrancis Visoiu Mistrih return None;
3894cdb68ebSFrancis Visoiu Mistrih case bitc::OPERAND_BUNDLE_TAG:
3904cdb68ebSFrancis Visoiu Mistrih return "OPERAND_BUNDLE_TAG";
3914cdb68ebSFrancis Visoiu Mistrih }
3924cdb68ebSFrancis Visoiu Mistrih case bitc::STRTAB_BLOCK_ID:
3934cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
3944cdb68ebSFrancis Visoiu Mistrih default:
3954cdb68ebSFrancis Visoiu Mistrih return None;
3964cdb68ebSFrancis Visoiu Mistrih case bitc::STRTAB_BLOB:
3974cdb68ebSFrancis Visoiu Mistrih return "BLOB";
3984cdb68ebSFrancis Visoiu Mistrih }
3994cdb68ebSFrancis Visoiu Mistrih case bitc::SYMTAB_BLOCK_ID:
4004cdb68ebSFrancis Visoiu Mistrih switch (CodeID) {
4014cdb68ebSFrancis Visoiu Mistrih default:
4024cdb68ebSFrancis Visoiu Mistrih return None;
4034cdb68ebSFrancis Visoiu Mistrih case bitc::SYMTAB_BLOB:
4044cdb68ebSFrancis Visoiu Mistrih return "BLOB";
4054cdb68ebSFrancis Visoiu Mistrih }
4064cdb68ebSFrancis Visoiu Mistrih }
4074cdb68ebSFrancis Visoiu Mistrih #undef STRINGIFY_CODE
4084cdb68ebSFrancis Visoiu Mistrih }
4094cdb68ebSFrancis Visoiu Mistrih
printSize(raw_ostream & OS,double Bits)4104cdb68ebSFrancis Visoiu Mistrih static void printSize(raw_ostream &OS, double Bits) {
4114cdb68ebSFrancis Visoiu Mistrih OS << format("%.2f/%.2fB/%luW", Bits, Bits / 8, (unsigned long)(Bits / 32));
4124cdb68ebSFrancis Visoiu Mistrih }
printSize(raw_ostream & OS,uint64_t Bits)4134cdb68ebSFrancis Visoiu Mistrih static void printSize(raw_ostream &OS, uint64_t Bits) {
4144cdb68ebSFrancis Visoiu Mistrih OS << format("%lub/%.2fB/%luW", (unsigned long)Bits, (double)Bits / 8,
4154cdb68ebSFrancis Visoiu Mistrih (unsigned long)(Bits / 32));
4164cdb68ebSFrancis Visoiu Mistrih }
4174cdb68ebSFrancis Visoiu Mistrih
ReadSignature(BitstreamCursor & Stream)4184cdb68ebSFrancis Visoiu Mistrih static Expected<CurStreamTypeType> ReadSignature(BitstreamCursor &Stream) {
4194cdb68ebSFrancis Visoiu Mistrih auto tryRead = [&Stream](char &Dest, size_t size) -> Error {
4204cdb68ebSFrancis Visoiu Mistrih if (Expected<SimpleBitstreamCursor::word_t> MaybeWord = Stream.Read(size))
4214cdb68ebSFrancis Visoiu Mistrih Dest = MaybeWord.get();
4224cdb68ebSFrancis Visoiu Mistrih else
4234cdb68ebSFrancis Visoiu Mistrih return MaybeWord.takeError();
4244cdb68ebSFrancis Visoiu Mistrih return Error::success();
4254cdb68ebSFrancis Visoiu Mistrih };
4264cdb68ebSFrancis Visoiu Mistrih
4274cdb68ebSFrancis Visoiu Mistrih char Signature[6];
4284cdb68ebSFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[0], 8))
429c55cf4afSBill Wendling return std::move(Err);
4304cdb68ebSFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[1], 8))
431c55cf4afSBill Wendling return std::move(Err);
4324cdb68ebSFrancis Visoiu Mistrih
4334cdb68ebSFrancis Visoiu Mistrih // Autodetect the file contents, if it is one we know.
4344cdb68ebSFrancis Visoiu Mistrih if (Signature[0] == 'C' && Signature[1] == 'P') {
4354cdb68ebSFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[2], 8))
436c55cf4afSBill Wendling return std::move(Err);
4374cdb68ebSFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[3], 8))
438c55cf4afSBill Wendling return std::move(Err);
4394cdb68ebSFrancis Visoiu Mistrih if (Signature[2] == 'C' && Signature[3] == 'H')
4404cdb68ebSFrancis Visoiu Mistrih return ClangSerializedASTBitstream;
4414cdb68ebSFrancis Visoiu Mistrih } else if (Signature[0] == 'D' && Signature[1] == 'I') {
4424cdb68ebSFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[2], 8))
443c55cf4afSBill Wendling return std::move(Err);
4444cdb68ebSFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[3], 8))
445c55cf4afSBill Wendling return std::move(Err);
4464cdb68ebSFrancis Visoiu Mistrih if (Signature[2] == 'A' && Signature[3] == 'G')
4474cdb68ebSFrancis Visoiu Mistrih return ClangSerializedDiagnosticsBitstream;
44884e80979SFrancis Visoiu Mistrih } else if (Signature[0] == 'R' && Signature[1] == 'M') {
44984e80979SFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[2], 8))
450c55cf4afSBill Wendling return std::move(Err);
45184e80979SFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[3], 8))
452c55cf4afSBill Wendling return std::move(Err);
45384e80979SFrancis Visoiu Mistrih if (Signature[2] == 'R' && Signature[3] == 'K')
45484e80979SFrancis Visoiu Mistrih return LLVMBitstreamRemarks;
4554cdb68ebSFrancis Visoiu Mistrih } else {
4564cdb68ebSFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[2], 4))
457c55cf4afSBill Wendling return std::move(Err);
4584cdb68ebSFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[3], 4))
459c55cf4afSBill Wendling return std::move(Err);
4604cdb68ebSFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[4], 4))
461c55cf4afSBill Wendling return std::move(Err);
4624cdb68ebSFrancis Visoiu Mistrih if (Error Err = tryRead(Signature[5], 4))
463c55cf4afSBill Wendling return std::move(Err);
4644cdb68ebSFrancis Visoiu Mistrih if (Signature[0] == 'B' && Signature[1] == 'C' && Signature[2] == 0x0 &&
4654cdb68ebSFrancis Visoiu Mistrih Signature[3] == 0xC && Signature[4] == 0xE && Signature[5] == 0xD)
4664cdb68ebSFrancis Visoiu Mistrih return LLVMIRBitstream;
4674cdb68ebSFrancis Visoiu Mistrih }
4684cdb68ebSFrancis Visoiu Mistrih return UnknownBitstream;
4694cdb68ebSFrancis Visoiu Mistrih }
4704cdb68ebSFrancis Visoiu Mistrih
analyzeHeader(Optional<BCDumpOptions> O,BitstreamCursor & Stream)4714cdb68ebSFrancis Visoiu Mistrih static Expected<CurStreamTypeType> analyzeHeader(Optional<BCDumpOptions> O,
4724cdb68ebSFrancis Visoiu Mistrih BitstreamCursor &Stream) {
4734cdb68ebSFrancis Visoiu Mistrih ArrayRef<uint8_t> Bytes = Stream.getBitcodeBytes();
4744cdb68ebSFrancis Visoiu Mistrih const unsigned char *BufPtr = (const unsigned char *)Bytes.data();
4754cdb68ebSFrancis Visoiu Mistrih const unsigned char *EndBufPtr = BufPtr + Bytes.size();
4764cdb68ebSFrancis Visoiu Mistrih
4774cdb68ebSFrancis Visoiu Mistrih // If we have a wrapper header, parse it and ignore the non-bc file
4784cdb68ebSFrancis Visoiu Mistrih // contents. The magic number is 0x0B17C0DE stored in little endian.
4794cdb68ebSFrancis Visoiu Mistrih if (isBitcodeWrapper(BufPtr, EndBufPtr)) {
4804cdb68ebSFrancis Visoiu Mistrih if (Bytes.size() < BWH_HeaderSize)
4814cdb68ebSFrancis Visoiu Mistrih return reportError("Invalid bitcode wrapper header");
4824cdb68ebSFrancis Visoiu Mistrih
4834cdb68ebSFrancis Visoiu Mistrih if (O) {
4844cdb68ebSFrancis Visoiu Mistrih unsigned Magic = support::endian::read32le(&BufPtr[BWH_MagicField]);
4854cdb68ebSFrancis Visoiu Mistrih unsigned Version = support::endian::read32le(&BufPtr[BWH_VersionField]);
4864cdb68ebSFrancis Visoiu Mistrih unsigned Offset = support::endian::read32le(&BufPtr[BWH_OffsetField]);
4874cdb68ebSFrancis Visoiu Mistrih unsigned Size = support::endian::read32le(&BufPtr[BWH_SizeField]);
4884cdb68ebSFrancis Visoiu Mistrih unsigned CPUType = support::endian::read32le(&BufPtr[BWH_CPUTypeField]);
4894cdb68ebSFrancis Visoiu Mistrih
4904cdb68ebSFrancis Visoiu Mistrih O->OS << "<BITCODE_WRAPPER_HEADER"
4914cdb68ebSFrancis Visoiu Mistrih << " Magic=" << format_hex(Magic, 10)
4924cdb68ebSFrancis Visoiu Mistrih << " Version=" << format_hex(Version, 10)
4934cdb68ebSFrancis Visoiu Mistrih << " Offset=" << format_hex(Offset, 10)
4944cdb68ebSFrancis Visoiu Mistrih << " Size=" << format_hex(Size, 10)
4954cdb68ebSFrancis Visoiu Mistrih << " CPUType=" << format_hex(CPUType, 10) << "/>\n";
4964cdb68ebSFrancis Visoiu Mistrih }
4974cdb68ebSFrancis Visoiu Mistrih
4984cdb68ebSFrancis Visoiu Mistrih if (SkipBitcodeWrapperHeader(BufPtr, EndBufPtr, true))
4994cdb68ebSFrancis Visoiu Mistrih return reportError("Invalid bitcode wrapper header");
5004cdb68ebSFrancis Visoiu Mistrih }
5014cdb68ebSFrancis Visoiu Mistrih
5024cdb68ebSFrancis Visoiu Mistrih // Use the cursor modified by skipping the wrapper header.
5034cdb68ebSFrancis Visoiu Mistrih Stream = BitstreamCursor(ArrayRef<uint8_t>(BufPtr, EndBufPtr));
5044cdb68ebSFrancis Visoiu Mistrih
5054cdb68ebSFrancis Visoiu Mistrih return ReadSignature(Stream);
5064cdb68ebSFrancis Visoiu Mistrih }
5074cdb68ebSFrancis Visoiu Mistrih
canDecodeBlob(unsigned Code,unsigned BlockID)5084cdb68ebSFrancis Visoiu Mistrih static bool canDecodeBlob(unsigned Code, unsigned BlockID) {
5094cdb68ebSFrancis Visoiu Mistrih return BlockID == bitc::METADATA_BLOCK_ID && Code == bitc::METADATA_STRINGS;
5104cdb68ebSFrancis Visoiu Mistrih }
5114cdb68ebSFrancis Visoiu Mistrih
decodeMetadataStringsBlob(StringRef Indent,ArrayRef<uint64_t> Record,StringRef Blob,raw_ostream & OS)5124cdb68ebSFrancis Visoiu Mistrih Error BitcodeAnalyzer::decodeMetadataStringsBlob(StringRef Indent,
5134cdb68ebSFrancis Visoiu Mistrih ArrayRef<uint64_t> Record,
5144cdb68ebSFrancis Visoiu Mistrih StringRef Blob,
5154cdb68ebSFrancis Visoiu Mistrih raw_ostream &OS) {
5164cdb68ebSFrancis Visoiu Mistrih if (Blob.empty())
5174cdb68ebSFrancis Visoiu Mistrih return reportError("Cannot decode empty blob.");
5184cdb68ebSFrancis Visoiu Mistrih
5194cdb68ebSFrancis Visoiu Mistrih if (Record.size() != 2)
5204cdb68ebSFrancis Visoiu Mistrih return reportError(
5214cdb68ebSFrancis Visoiu Mistrih "Decoding metadata strings blob needs two record entries.");
5224cdb68ebSFrancis Visoiu Mistrih
5234cdb68ebSFrancis Visoiu Mistrih unsigned NumStrings = Record[0];
5244cdb68ebSFrancis Visoiu Mistrih unsigned StringsOffset = Record[1];
5254cdb68ebSFrancis Visoiu Mistrih OS << " num-strings = " << NumStrings << " {\n";
5264cdb68ebSFrancis Visoiu Mistrih
5274cdb68ebSFrancis Visoiu Mistrih StringRef Lengths = Blob.slice(0, StringsOffset);
5284cdb68ebSFrancis Visoiu Mistrih SimpleBitstreamCursor R(Lengths);
5294cdb68ebSFrancis Visoiu Mistrih StringRef Strings = Blob.drop_front(StringsOffset);
5304cdb68ebSFrancis Visoiu Mistrih do {
5314cdb68ebSFrancis Visoiu Mistrih if (R.AtEndOfStream())
5324cdb68ebSFrancis Visoiu Mistrih return reportError("bad length");
5334cdb68ebSFrancis Visoiu Mistrih
534b12a864cSDuncan P. N. Exon Smith uint32_t Size;
535b12a864cSDuncan P. N. Exon Smith if (Error E = R.ReadVBR(6).moveInto(Size))
536b12a864cSDuncan P. N. Exon Smith return E;
5374cdb68ebSFrancis Visoiu Mistrih if (Strings.size() < Size)
5384cdb68ebSFrancis Visoiu Mistrih return reportError("truncated chars");
5394cdb68ebSFrancis Visoiu Mistrih
5404cdb68ebSFrancis Visoiu Mistrih OS << Indent << " '";
5414cdb68ebSFrancis Visoiu Mistrih OS.write_escaped(Strings.slice(0, Size), /*hex=*/true);
5424cdb68ebSFrancis Visoiu Mistrih OS << "'\n";
5434cdb68ebSFrancis Visoiu Mistrih Strings = Strings.drop_front(Size);
5444cdb68ebSFrancis Visoiu Mistrih } while (--NumStrings);
5454cdb68ebSFrancis Visoiu Mistrih
5464cdb68ebSFrancis Visoiu Mistrih OS << Indent << " }";
5474cdb68ebSFrancis Visoiu Mistrih return Error::success();
5484cdb68ebSFrancis Visoiu Mistrih }
5494cdb68ebSFrancis Visoiu Mistrih
BitcodeAnalyzer(StringRef Buffer,Optional<StringRef> BlockInfoBuffer)5504cdb68ebSFrancis Visoiu Mistrih BitcodeAnalyzer::BitcodeAnalyzer(StringRef Buffer,
5514cdb68ebSFrancis Visoiu Mistrih Optional<StringRef> BlockInfoBuffer)
5524cdb68ebSFrancis Visoiu Mistrih : Stream(Buffer) {
5534cdb68ebSFrancis Visoiu Mistrih if (BlockInfoBuffer)
5544cdb68ebSFrancis Visoiu Mistrih BlockInfoStream.emplace(*BlockInfoBuffer);
5554cdb68ebSFrancis Visoiu Mistrih }
5564cdb68ebSFrancis Visoiu Mistrih
analyze(Optional<BCDumpOptions> O,Optional<StringRef> CheckHash)5574cdb68ebSFrancis Visoiu Mistrih Error BitcodeAnalyzer::analyze(Optional<BCDumpOptions> O,
5584cdb68ebSFrancis Visoiu Mistrih Optional<StringRef> CheckHash) {
559b12a864cSDuncan P. N. Exon Smith if (Error E = analyzeHeader(O, Stream).moveInto(CurStreamType))
560b12a864cSDuncan P. N. Exon Smith return E;
5614cdb68ebSFrancis Visoiu Mistrih
5624cdb68ebSFrancis Visoiu Mistrih Stream.setBlockInfo(&BlockInfo);
5634cdb68ebSFrancis Visoiu Mistrih
5644cdb68ebSFrancis Visoiu Mistrih // Read block info from BlockInfoStream, if specified.
5654cdb68ebSFrancis Visoiu Mistrih // The block info must be a top-level block.
5664cdb68ebSFrancis Visoiu Mistrih if (BlockInfoStream) {
5674cdb68ebSFrancis Visoiu Mistrih BitstreamCursor BlockInfoCursor(*BlockInfoStream);
568b12a864cSDuncan P. N. Exon Smith if (Error E = analyzeHeader(O, BlockInfoCursor).takeError())
569b12a864cSDuncan P. N. Exon Smith return E;
5704cdb68ebSFrancis Visoiu Mistrih
5714cdb68ebSFrancis Visoiu Mistrih while (!BlockInfoCursor.AtEndOfStream()) {
5724cdb68ebSFrancis Visoiu Mistrih Expected<unsigned> MaybeCode = BlockInfoCursor.ReadCode();
5734cdb68ebSFrancis Visoiu Mistrih if (!MaybeCode)
5744cdb68ebSFrancis Visoiu Mistrih return MaybeCode.takeError();
5754cdb68ebSFrancis Visoiu Mistrih if (MaybeCode.get() != bitc::ENTER_SUBBLOCK)
5764cdb68ebSFrancis Visoiu Mistrih return reportError("Invalid record at top-level in block info file");
5774cdb68ebSFrancis Visoiu Mistrih
5784cdb68ebSFrancis Visoiu Mistrih Expected<unsigned> MaybeBlockID = BlockInfoCursor.ReadSubBlockID();
5794cdb68ebSFrancis Visoiu Mistrih if (!MaybeBlockID)
5804cdb68ebSFrancis Visoiu Mistrih return MaybeBlockID.takeError();
5814cdb68ebSFrancis Visoiu Mistrih if (MaybeBlockID.get() == bitc::BLOCKINFO_BLOCK_ID) {
582b12a864cSDuncan P. N. Exon Smith Optional<BitstreamBlockInfo> NewBlockInfo;
583b12a864cSDuncan P. N. Exon Smith if (Error E =
584b12a864cSDuncan P. N. Exon Smith BlockInfoCursor.ReadBlockInfoBlock(/*ReadBlockInfoNames=*/true)
585b12a864cSDuncan P. N. Exon Smith .moveInto(NewBlockInfo))
586b12a864cSDuncan P. N. Exon Smith return E;
5874cdb68ebSFrancis Visoiu Mistrih if (!NewBlockInfo)
5884cdb68ebSFrancis Visoiu Mistrih return reportError("Malformed BlockInfoBlock in block info file");
5894cdb68ebSFrancis Visoiu Mistrih BlockInfo = std::move(*NewBlockInfo);
5904cdb68ebSFrancis Visoiu Mistrih break;
5914cdb68ebSFrancis Visoiu Mistrih }
5924cdb68ebSFrancis Visoiu Mistrih
5934cdb68ebSFrancis Visoiu Mistrih if (Error Err = BlockInfoCursor.SkipBlock())
5944cdb68ebSFrancis Visoiu Mistrih return Err;
5954cdb68ebSFrancis Visoiu Mistrih }
5964cdb68ebSFrancis Visoiu Mistrih }
5974cdb68ebSFrancis Visoiu Mistrih
5984cdb68ebSFrancis Visoiu Mistrih // Parse the top-level structure. We only allow blocks at the top-level.
5994cdb68ebSFrancis Visoiu Mistrih while (!Stream.AtEndOfStream()) {
6004cdb68ebSFrancis Visoiu Mistrih Expected<unsigned> MaybeCode = Stream.ReadCode();
6014cdb68ebSFrancis Visoiu Mistrih if (!MaybeCode)
6024cdb68ebSFrancis Visoiu Mistrih return MaybeCode.takeError();
6034cdb68ebSFrancis Visoiu Mistrih if (MaybeCode.get() != bitc::ENTER_SUBBLOCK)
6044cdb68ebSFrancis Visoiu Mistrih return reportError("Invalid record at top-level");
6054cdb68ebSFrancis Visoiu Mistrih
6064cdb68ebSFrancis Visoiu Mistrih Expected<unsigned> MaybeBlockID = Stream.ReadSubBlockID();
6074cdb68ebSFrancis Visoiu Mistrih if (!MaybeBlockID)
6084cdb68ebSFrancis Visoiu Mistrih return MaybeBlockID.takeError();
6094cdb68ebSFrancis Visoiu Mistrih
6104cdb68ebSFrancis Visoiu Mistrih if (Error E = parseBlock(MaybeBlockID.get(), 0, O, CheckHash))
6114cdb68ebSFrancis Visoiu Mistrih return E;
6124cdb68ebSFrancis Visoiu Mistrih ++NumTopBlocks;
6134cdb68ebSFrancis Visoiu Mistrih }
6144cdb68ebSFrancis Visoiu Mistrih
6154cdb68ebSFrancis Visoiu Mistrih return Error::success();
6164cdb68ebSFrancis Visoiu Mistrih }
6174cdb68ebSFrancis Visoiu Mistrih
printStats(BCDumpOptions O,Optional<StringRef> Filename)6184cdb68ebSFrancis Visoiu Mistrih void BitcodeAnalyzer::printStats(BCDumpOptions O,
6194cdb68ebSFrancis Visoiu Mistrih Optional<StringRef> Filename) {
6204cdb68ebSFrancis Visoiu Mistrih uint64_t BufferSizeBits = Stream.getBitcodeBytes().size() * CHAR_BIT;
6214cdb68ebSFrancis Visoiu Mistrih // Print a summary of the read file.
6224cdb68ebSFrancis Visoiu Mistrih O.OS << "Summary ";
6234cdb68ebSFrancis Visoiu Mistrih if (Filename)
6244cdb68ebSFrancis Visoiu Mistrih O.OS << "of " << Filename->data() << ":\n";
6254cdb68ebSFrancis Visoiu Mistrih O.OS << " Total size: ";
6264cdb68ebSFrancis Visoiu Mistrih printSize(O.OS, BufferSizeBits);
6274cdb68ebSFrancis Visoiu Mistrih O.OS << "\n";
6284cdb68ebSFrancis Visoiu Mistrih O.OS << " Stream type: ";
6294cdb68ebSFrancis Visoiu Mistrih switch (CurStreamType) {
6304cdb68ebSFrancis Visoiu Mistrih case UnknownBitstream:
6314cdb68ebSFrancis Visoiu Mistrih O.OS << "unknown\n";
6324cdb68ebSFrancis Visoiu Mistrih break;
6334cdb68ebSFrancis Visoiu Mistrih case LLVMIRBitstream:
6344cdb68ebSFrancis Visoiu Mistrih O.OS << "LLVM IR\n";
6354cdb68ebSFrancis Visoiu Mistrih break;
6364cdb68ebSFrancis Visoiu Mistrih case ClangSerializedASTBitstream:
6374cdb68ebSFrancis Visoiu Mistrih O.OS << "Clang Serialized AST\n";
6384cdb68ebSFrancis Visoiu Mistrih break;
6394cdb68ebSFrancis Visoiu Mistrih case ClangSerializedDiagnosticsBitstream:
6404cdb68ebSFrancis Visoiu Mistrih O.OS << "Clang Serialized Diagnostics\n";
6414cdb68ebSFrancis Visoiu Mistrih break;
64284e80979SFrancis Visoiu Mistrih case LLVMBitstreamRemarks:
64384e80979SFrancis Visoiu Mistrih O.OS << "LLVM Remarks\n";
64484e80979SFrancis Visoiu Mistrih break;
6454cdb68ebSFrancis Visoiu Mistrih }
6464cdb68ebSFrancis Visoiu Mistrih O.OS << " # Toplevel Blocks: " << NumTopBlocks << "\n";
6474cdb68ebSFrancis Visoiu Mistrih O.OS << "\n";
6484cdb68ebSFrancis Visoiu Mistrih
6494cdb68ebSFrancis Visoiu Mistrih // Emit per-block stats.
6504cdb68ebSFrancis Visoiu Mistrih O.OS << "Per-block Summary:\n";
6511457e783SKazu Hirata for (const auto &Stat : BlockIDStats) {
6521457e783SKazu Hirata O.OS << " Block ID #" << Stat.first;
6534cdb68ebSFrancis Visoiu Mistrih if (Optional<const char *> BlockName =
6541457e783SKazu Hirata GetBlockName(Stat.first, BlockInfo, CurStreamType))
6554cdb68ebSFrancis Visoiu Mistrih O.OS << " (" << *BlockName << ")";
6564cdb68ebSFrancis Visoiu Mistrih O.OS << ":\n";
6574cdb68ebSFrancis Visoiu Mistrih
6581457e783SKazu Hirata const PerBlockIDStats &Stats = Stat.second;
6594cdb68ebSFrancis Visoiu Mistrih O.OS << " Num Instances: " << Stats.NumInstances << "\n";
6604cdb68ebSFrancis Visoiu Mistrih O.OS << " Total Size: ";
6614cdb68ebSFrancis Visoiu Mistrih printSize(O.OS, Stats.NumBits);
6624cdb68ebSFrancis Visoiu Mistrih O.OS << "\n";
6634cdb68ebSFrancis Visoiu Mistrih double pct = (Stats.NumBits * 100.0) / BufferSizeBits;
6644cdb68ebSFrancis Visoiu Mistrih O.OS << " Percent of file: " << format("%2.4f%%", pct) << "\n";
6654cdb68ebSFrancis Visoiu Mistrih if (Stats.NumInstances > 1) {
6664cdb68ebSFrancis Visoiu Mistrih O.OS << " Average Size: ";
6674cdb68ebSFrancis Visoiu Mistrih printSize(O.OS, Stats.NumBits / (double)Stats.NumInstances);
6684cdb68ebSFrancis Visoiu Mistrih O.OS << "\n";
6694cdb68ebSFrancis Visoiu Mistrih O.OS << " Tot/Avg SubBlocks: " << Stats.NumSubBlocks << "/"
6704cdb68ebSFrancis Visoiu Mistrih << Stats.NumSubBlocks / (double)Stats.NumInstances << "\n";
6714cdb68ebSFrancis Visoiu Mistrih O.OS << " Tot/Avg Abbrevs: " << Stats.NumAbbrevs << "/"
6724cdb68ebSFrancis Visoiu Mistrih << Stats.NumAbbrevs / (double)Stats.NumInstances << "\n";
6734cdb68ebSFrancis Visoiu Mistrih O.OS << " Tot/Avg Records: " << Stats.NumRecords << "/"
6744cdb68ebSFrancis Visoiu Mistrih << Stats.NumRecords / (double)Stats.NumInstances << "\n";
6754cdb68ebSFrancis Visoiu Mistrih } else {
6764cdb68ebSFrancis Visoiu Mistrih O.OS << " Num SubBlocks: " << Stats.NumSubBlocks << "\n";
6774cdb68ebSFrancis Visoiu Mistrih O.OS << " Num Abbrevs: " << Stats.NumAbbrevs << "\n";
6784cdb68ebSFrancis Visoiu Mistrih O.OS << " Num Records: " << Stats.NumRecords << "\n";
6794cdb68ebSFrancis Visoiu Mistrih }
6804cdb68ebSFrancis Visoiu Mistrih if (Stats.NumRecords) {
6814cdb68ebSFrancis Visoiu Mistrih double pct = (Stats.NumAbbreviatedRecords * 100.0) / Stats.NumRecords;
6824cdb68ebSFrancis Visoiu Mistrih O.OS << " Percent Abbrevs: " << format("%2.4f%%", pct) << "\n";
6834cdb68ebSFrancis Visoiu Mistrih }
6844cdb68ebSFrancis Visoiu Mistrih O.OS << "\n";
6854cdb68ebSFrancis Visoiu Mistrih
6864cdb68ebSFrancis Visoiu Mistrih // Print a histogram of the codes we see.
6874cdb68ebSFrancis Visoiu Mistrih if (O.Histogram && !Stats.CodeFreq.empty()) {
6884cdb68ebSFrancis Visoiu Mistrih std::vector<std::pair<unsigned, unsigned>> FreqPairs; // <freq,code>
6894cdb68ebSFrancis Visoiu Mistrih for (unsigned i = 0, e = Stats.CodeFreq.size(); i != e; ++i)
6904cdb68ebSFrancis Visoiu Mistrih if (unsigned Freq = Stats.CodeFreq[i].NumInstances)
6914cdb68ebSFrancis Visoiu Mistrih FreqPairs.push_back(std::make_pair(Freq, i));
6924cdb68ebSFrancis Visoiu Mistrih llvm::stable_sort(FreqPairs);
6934cdb68ebSFrancis Visoiu Mistrih std::reverse(FreqPairs.begin(), FreqPairs.end());
6944cdb68ebSFrancis Visoiu Mistrih
6954cdb68ebSFrancis Visoiu Mistrih O.OS << "\tRecord Histogram:\n";
6964cdb68ebSFrancis Visoiu Mistrih O.OS << "\t\t Count # Bits b/Rec % Abv Record Kind\n";
6971457e783SKazu Hirata for (const auto &FreqPair : FreqPairs) {
6981457e783SKazu Hirata const PerRecordStats &RecStats = Stats.CodeFreq[FreqPair.second];
6994cdb68ebSFrancis Visoiu Mistrih
7004cdb68ebSFrancis Visoiu Mistrih O.OS << format("\t\t%7d %9lu", RecStats.NumInstances,
7014cdb68ebSFrancis Visoiu Mistrih (unsigned long)RecStats.TotalBits);
7024cdb68ebSFrancis Visoiu Mistrih
7034cdb68ebSFrancis Visoiu Mistrih if (RecStats.NumInstances > 1)
7044cdb68ebSFrancis Visoiu Mistrih O.OS << format(" %9.1f",
7054cdb68ebSFrancis Visoiu Mistrih (double)RecStats.TotalBits / RecStats.NumInstances);
7064cdb68ebSFrancis Visoiu Mistrih else
7074cdb68ebSFrancis Visoiu Mistrih O.OS << " ";
7084cdb68ebSFrancis Visoiu Mistrih
7094cdb68ebSFrancis Visoiu Mistrih if (RecStats.NumAbbrev)
7104cdb68ebSFrancis Visoiu Mistrih O.OS << format(" %7.2f", (double)RecStats.NumAbbrev /
7114cdb68ebSFrancis Visoiu Mistrih RecStats.NumInstances * 100);
7124cdb68ebSFrancis Visoiu Mistrih else
7134cdb68ebSFrancis Visoiu Mistrih O.OS << " ";
7144cdb68ebSFrancis Visoiu Mistrih
7154cdb68ebSFrancis Visoiu Mistrih O.OS << " ";
7164cdb68ebSFrancis Visoiu Mistrih if (Optional<const char *> CodeName = GetCodeName(
7171457e783SKazu Hirata FreqPair.second, Stat.first, BlockInfo, CurStreamType))
7184cdb68ebSFrancis Visoiu Mistrih O.OS << *CodeName << "\n";
7194cdb68ebSFrancis Visoiu Mistrih else
7201457e783SKazu Hirata O.OS << "UnknownCode" << FreqPair.second << "\n";
7214cdb68ebSFrancis Visoiu Mistrih }
7224cdb68ebSFrancis Visoiu Mistrih O.OS << "\n";
7234cdb68ebSFrancis Visoiu Mistrih }
7244cdb68ebSFrancis Visoiu Mistrih }
7254cdb68ebSFrancis Visoiu Mistrih }
7264cdb68ebSFrancis Visoiu Mistrih
parseBlock(unsigned BlockID,unsigned IndentLevel,Optional<BCDumpOptions> O,Optional<StringRef> CheckHash)7274cdb68ebSFrancis Visoiu Mistrih Error BitcodeAnalyzer::parseBlock(unsigned BlockID, unsigned IndentLevel,
7284cdb68ebSFrancis Visoiu Mistrih Optional<BCDumpOptions> O,
7294cdb68ebSFrancis Visoiu Mistrih Optional<StringRef> CheckHash) {
7304cdb68ebSFrancis Visoiu Mistrih std::string Indent(IndentLevel * 2, ' ');
7314cdb68ebSFrancis Visoiu Mistrih uint64_t BlockBitStart = Stream.GetCurrentBitNo();
7324cdb68ebSFrancis Visoiu Mistrih
7334cdb68ebSFrancis Visoiu Mistrih // Get the statistics for this BlockID.
7344cdb68ebSFrancis Visoiu Mistrih PerBlockIDStats &BlockStats = BlockIDStats[BlockID];
7354cdb68ebSFrancis Visoiu Mistrih
7364cdb68ebSFrancis Visoiu Mistrih BlockStats.NumInstances++;
7374cdb68ebSFrancis Visoiu Mistrih
7384cdb68ebSFrancis Visoiu Mistrih // BLOCKINFO is a special part of the stream.
739*0916d96dSKazu Hirata bool DumpRecords = O.has_value();
7404cdb68ebSFrancis Visoiu Mistrih if (BlockID == bitc::BLOCKINFO_BLOCK_ID) {
741e7fc2548Swilliam woodruff if (O && !O->DumpBlockinfo)
7424cdb68ebSFrancis Visoiu Mistrih O->OS << Indent << "<BLOCKINFO_BLOCK/>\n";
743b12a864cSDuncan P. N. Exon Smith Optional<BitstreamBlockInfo> NewBlockInfo;
744b12a864cSDuncan P. N. Exon Smith if (Error E = Stream.ReadBlockInfoBlock(/*ReadBlockInfoNames=*/true)
745b12a864cSDuncan P. N. Exon Smith .moveInto(NewBlockInfo))
746b12a864cSDuncan P. N. Exon Smith return E;
7474cdb68ebSFrancis Visoiu Mistrih if (!NewBlockInfo)
7484cdb68ebSFrancis Visoiu Mistrih return reportError("Malformed BlockInfoBlock");
7494cdb68ebSFrancis Visoiu Mistrih BlockInfo = std::move(*NewBlockInfo);
7504cdb68ebSFrancis Visoiu Mistrih if (Error Err = Stream.JumpToBit(BlockBitStart))
7514cdb68ebSFrancis Visoiu Mistrih return Err;
7524cdb68ebSFrancis Visoiu Mistrih // It's not really interesting to dump the contents of the blockinfo
753e7fc2548Swilliam woodruff // block, so only do it if the user explicitly requests it.
754e7fc2548Swilliam woodruff DumpRecords = O && O->DumpBlockinfo;
7554cdb68ebSFrancis Visoiu Mistrih }
7564cdb68ebSFrancis Visoiu Mistrih
7574cdb68ebSFrancis Visoiu Mistrih unsigned NumWords = 0;
7584cdb68ebSFrancis Visoiu Mistrih if (Error Err = Stream.EnterSubBlock(BlockID, &NumWords))
7594cdb68ebSFrancis Visoiu Mistrih return Err;
7604cdb68ebSFrancis Visoiu Mistrih
7614cdb68ebSFrancis Visoiu Mistrih // Keep it for later, when we see a MODULE_HASH record
7624cdb68ebSFrancis Visoiu Mistrih uint64_t BlockEntryPos = Stream.getCurrentByteNo();
7634cdb68ebSFrancis Visoiu Mistrih
7644cdb68ebSFrancis Visoiu Mistrih Optional<const char *> BlockName = None;
7654cdb68ebSFrancis Visoiu Mistrih if (DumpRecords) {
7664cdb68ebSFrancis Visoiu Mistrih O->OS << Indent << "<";
7674cdb68ebSFrancis Visoiu Mistrih if ((BlockName = GetBlockName(BlockID, BlockInfo, CurStreamType)))
7684cdb68ebSFrancis Visoiu Mistrih O->OS << *BlockName;
7694cdb68ebSFrancis Visoiu Mistrih else
7704cdb68ebSFrancis Visoiu Mistrih O->OS << "UnknownBlock" << BlockID;
7714cdb68ebSFrancis Visoiu Mistrih
7724cdb68ebSFrancis Visoiu Mistrih if (!O->Symbolic && BlockName)
7734cdb68ebSFrancis Visoiu Mistrih O->OS << " BlockID=" << BlockID;
7744cdb68ebSFrancis Visoiu Mistrih
7754cdb68ebSFrancis Visoiu Mistrih O->OS << " NumWords=" << NumWords
7764cdb68ebSFrancis Visoiu Mistrih << " BlockCodeSize=" << Stream.getAbbrevIDWidth() << ">\n";
7774cdb68ebSFrancis Visoiu Mistrih }
7784cdb68ebSFrancis Visoiu Mistrih
7794cdb68ebSFrancis Visoiu Mistrih SmallVector<uint64_t, 64> Record;
7804cdb68ebSFrancis Visoiu Mistrih
7814cdb68ebSFrancis Visoiu Mistrih // Keep the offset to the metadata index if seen.
7824cdb68ebSFrancis Visoiu Mistrih uint64_t MetadataIndexOffset = 0;
7834cdb68ebSFrancis Visoiu Mistrih
7844cdb68ebSFrancis Visoiu Mistrih // Read all the records for this block.
7852aed0813SKazu Hirata while (true) {
7864cdb68ebSFrancis Visoiu Mistrih if (Stream.AtEndOfStream())
7874cdb68ebSFrancis Visoiu Mistrih return reportError("Premature end of bitstream");
7884cdb68ebSFrancis Visoiu Mistrih
7894cdb68ebSFrancis Visoiu Mistrih uint64_t RecordStartBit = Stream.GetCurrentBitNo();
7904cdb68ebSFrancis Visoiu Mistrih
791b12a864cSDuncan P. N. Exon Smith BitstreamEntry Entry;
792b12a864cSDuncan P. N. Exon Smith if (Error E = Stream.advance(BitstreamCursor::AF_DontAutoprocessAbbrevs)
793b12a864cSDuncan P. N. Exon Smith .moveInto(Entry))
794b12a864cSDuncan P. N. Exon Smith return E;
7954cdb68ebSFrancis Visoiu Mistrih
7964cdb68ebSFrancis Visoiu Mistrih switch (Entry.Kind) {
7974cdb68ebSFrancis Visoiu Mistrih case BitstreamEntry::Error:
7984cdb68ebSFrancis Visoiu Mistrih return reportError("malformed bitcode file");
7994cdb68ebSFrancis Visoiu Mistrih case BitstreamEntry::EndBlock: {
8004cdb68ebSFrancis Visoiu Mistrih uint64_t BlockBitEnd = Stream.GetCurrentBitNo();
8014cdb68ebSFrancis Visoiu Mistrih BlockStats.NumBits += BlockBitEnd - BlockBitStart;
8024cdb68ebSFrancis Visoiu Mistrih if (DumpRecords) {
8034cdb68ebSFrancis Visoiu Mistrih O->OS << Indent << "</";
8044cdb68ebSFrancis Visoiu Mistrih if (BlockName)
8054cdb68ebSFrancis Visoiu Mistrih O->OS << *BlockName << ">\n";
8064cdb68ebSFrancis Visoiu Mistrih else
8074cdb68ebSFrancis Visoiu Mistrih O->OS << "UnknownBlock" << BlockID << ">\n";
8084cdb68ebSFrancis Visoiu Mistrih }
8094cdb68ebSFrancis Visoiu Mistrih return Error::success();
8104cdb68ebSFrancis Visoiu Mistrih }
8114cdb68ebSFrancis Visoiu Mistrih
8124cdb68ebSFrancis Visoiu Mistrih case BitstreamEntry::SubBlock: {
8134cdb68ebSFrancis Visoiu Mistrih uint64_t SubBlockBitStart = Stream.GetCurrentBitNo();
8144cdb68ebSFrancis Visoiu Mistrih if (Error E = parseBlock(Entry.ID, IndentLevel + 1, O, CheckHash))
8154cdb68ebSFrancis Visoiu Mistrih return E;
8164cdb68ebSFrancis Visoiu Mistrih ++BlockStats.NumSubBlocks;
8174cdb68ebSFrancis Visoiu Mistrih uint64_t SubBlockBitEnd = Stream.GetCurrentBitNo();
8184cdb68ebSFrancis Visoiu Mistrih
8194cdb68ebSFrancis Visoiu Mistrih // Don't include subblock sizes in the size of this block.
8204cdb68ebSFrancis Visoiu Mistrih BlockBitStart += SubBlockBitEnd - SubBlockBitStart;
8214cdb68ebSFrancis Visoiu Mistrih continue;
8224cdb68ebSFrancis Visoiu Mistrih }
8234cdb68ebSFrancis Visoiu Mistrih case BitstreamEntry::Record:
8244cdb68ebSFrancis Visoiu Mistrih // The interesting case.
8254cdb68ebSFrancis Visoiu Mistrih break;
8264cdb68ebSFrancis Visoiu Mistrih }
8274cdb68ebSFrancis Visoiu Mistrih
8284cdb68ebSFrancis Visoiu Mistrih if (Entry.ID == bitc::DEFINE_ABBREV) {
8294cdb68ebSFrancis Visoiu Mistrih if (Error Err = Stream.ReadAbbrevRecord())
8304cdb68ebSFrancis Visoiu Mistrih return Err;
8314cdb68ebSFrancis Visoiu Mistrih ++BlockStats.NumAbbrevs;
8324cdb68ebSFrancis Visoiu Mistrih continue;
8334cdb68ebSFrancis Visoiu Mistrih }
8344cdb68ebSFrancis Visoiu Mistrih
8354cdb68ebSFrancis Visoiu Mistrih Record.clear();
8364cdb68ebSFrancis Visoiu Mistrih
8374cdb68ebSFrancis Visoiu Mistrih ++BlockStats.NumRecords;
8384cdb68ebSFrancis Visoiu Mistrih
8394cdb68ebSFrancis Visoiu Mistrih StringRef Blob;
8404cdb68ebSFrancis Visoiu Mistrih uint64_t CurrentRecordPos = Stream.GetCurrentBitNo();
841b12a864cSDuncan P. N. Exon Smith unsigned Code;
842b12a864cSDuncan P. N. Exon Smith if (Error E = Stream.readRecord(Entry.ID, Record, &Blob).moveInto(Code))
843b12a864cSDuncan P. N. Exon Smith return E;
8444cdb68ebSFrancis Visoiu Mistrih
8454cdb68ebSFrancis Visoiu Mistrih // Increment the # occurrences of this code.
8464cdb68ebSFrancis Visoiu Mistrih if (BlockStats.CodeFreq.size() <= Code)
8474cdb68ebSFrancis Visoiu Mistrih BlockStats.CodeFreq.resize(Code + 1);
8484cdb68ebSFrancis Visoiu Mistrih BlockStats.CodeFreq[Code].NumInstances++;
8494cdb68ebSFrancis Visoiu Mistrih BlockStats.CodeFreq[Code].TotalBits +=
8504cdb68ebSFrancis Visoiu Mistrih Stream.GetCurrentBitNo() - RecordStartBit;
8514cdb68ebSFrancis Visoiu Mistrih if (Entry.ID != bitc::UNABBREV_RECORD) {
8524cdb68ebSFrancis Visoiu Mistrih BlockStats.CodeFreq[Code].NumAbbrev++;
8534cdb68ebSFrancis Visoiu Mistrih ++BlockStats.NumAbbreviatedRecords;
8544cdb68ebSFrancis Visoiu Mistrih }
8554cdb68ebSFrancis Visoiu Mistrih
8564cdb68ebSFrancis Visoiu Mistrih if (DumpRecords) {
8574cdb68ebSFrancis Visoiu Mistrih O->OS << Indent << " <";
8584cdb68ebSFrancis Visoiu Mistrih Optional<const char *> CodeName =
8594cdb68ebSFrancis Visoiu Mistrih GetCodeName(Code, BlockID, BlockInfo, CurStreamType);
8604cdb68ebSFrancis Visoiu Mistrih if (CodeName)
8614cdb68ebSFrancis Visoiu Mistrih O->OS << *CodeName;
8624cdb68ebSFrancis Visoiu Mistrih else
8634cdb68ebSFrancis Visoiu Mistrih O->OS << "UnknownCode" << Code;
8644cdb68ebSFrancis Visoiu Mistrih if (!O->Symbolic && CodeName)
8654cdb68ebSFrancis Visoiu Mistrih O->OS << " codeid=" << Code;
8664cdb68ebSFrancis Visoiu Mistrih const BitCodeAbbrev *Abbv = nullptr;
8674cdb68ebSFrancis Visoiu Mistrih if (Entry.ID != bitc::UNABBREV_RECORD) {
8688a718541SNikita Popov Expected<const BitCodeAbbrev *> MaybeAbbv = Stream.getAbbrev(Entry.ID);
8698a718541SNikita Popov if (!MaybeAbbv)
8708a718541SNikita Popov return MaybeAbbv.takeError();
8718a718541SNikita Popov Abbv = MaybeAbbv.get();
8724cdb68ebSFrancis Visoiu Mistrih O->OS << " abbrevid=" << Entry.ID;
8734cdb68ebSFrancis Visoiu Mistrih }
8744cdb68ebSFrancis Visoiu Mistrih
8754cdb68ebSFrancis Visoiu Mistrih for (unsigned i = 0, e = Record.size(); i != e; ++i)
8764cdb68ebSFrancis Visoiu Mistrih O->OS << " op" << i << "=" << (int64_t)Record[i];
8774cdb68ebSFrancis Visoiu Mistrih
8784cdb68ebSFrancis Visoiu Mistrih // If we found a metadata index, let's verify that we had an offset
8794cdb68ebSFrancis Visoiu Mistrih // before and validate its forward reference offset was correct!
8804cdb68ebSFrancis Visoiu Mistrih if (BlockID == bitc::METADATA_BLOCK_ID) {
8814cdb68ebSFrancis Visoiu Mistrih if (Code == bitc::METADATA_INDEX_OFFSET) {
8824cdb68ebSFrancis Visoiu Mistrih if (Record.size() != 2)
8834cdb68ebSFrancis Visoiu Mistrih O->OS << "(Invalid record)";
8844cdb68ebSFrancis Visoiu Mistrih else {
8854cdb68ebSFrancis Visoiu Mistrih auto Offset = Record[0] + (Record[1] << 32);
8864cdb68ebSFrancis Visoiu Mistrih MetadataIndexOffset = Stream.GetCurrentBitNo() + Offset;
8874cdb68ebSFrancis Visoiu Mistrih }
8884cdb68ebSFrancis Visoiu Mistrih }
8894cdb68ebSFrancis Visoiu Mistrih if (Code == bitc::METADATA_INDEX) {
8904cdb68ebSFrancis Visoiu Mistrih O->OS << " (offset ";
8914cdb68ebSFrancis Visoiu Mistrih if (MetadataIndexOffset == RecordStartBit)
8924cdb68ebSFrancis Visoiu Mistrih O->OS << "match)";
8934cdb68ebSFrancis Visoiu Mistrih else
8944cdb68ebSFrancis Visoiu Mistrih O->OS << "mismatch: " << MetadataIndexOffset << " vs "
8954cdb68ebSFrancis Visoiu Mistrih << RecordStartBit << ")";
8964cdb68ebSFrancis Visoiu Mistrih }
8974cdb68ebSFrancis Visoiu Mistrih }
8984cdb68ebSFrancis Visoiu Mistrih
8994cdb68ebSFrancis Visoiu Mistrih // If we found a module hash, let's verify that it matches!
9004cdb68ebSFrancis Visoiu Mistrih if (BlockID == bitc::MODULE_BLOCK_ID && Code == bitc::MODULE_CODE_HASH &&
901*0916d96dSKazu Hirata CheckHash) {
9024cdb68ebSFrancis Visoiu Mistrih if (Record.size() != 5)
9034cdb68ebSFrancis Visoiu Mistrih O->OS << " (invalid)";
9044cdb68ebSFrancis Visoiu Mistrih else {
9054cdb68ebSFrancis Visoiu Mistrih // Recompute the hash and compare it to the one in the bitcode
9064cdb68ebSFrancis Visoiu Mistrih SHA1 Hasher;
907330268baSArgyrios Kyrtzidis std::array<uint8_t, 20> Hash;
9084cdb68ebSFrancis Visoiu Mistrih Hasher.update(*CheckHash);
9094cdb68ebSFrancis Visoiu Mistrih {
9104cdb68ebSFrancis Visoiu Mistrih int BlockSize = (CurrentRecordPos / 8) - BlockEntryPos;
9114cdb68ebSFrancis Visoiu Mistrih auto Ptr = Stream.getPointerToByte(BlockEntryPos, BlockSize);
9124cdb68ebSFrancis Visoiu Mistrih Hasher.update(ArrayRef<uint8_t>(Ptr, BlockSize));
9134cdb68ebSFrancis Visoiu Mistrih Hash = Hasher.result();
9144cdb68ebSFrancis Visoiu Mistrih }
915330268baSArgyrios Kyrtzidis std::array<uint8_t, 20> RecordedHash;
9164cdb68ebSFrancis Visoiu Mistrih int Pos = 0;
9174cdb68ebSFrancis Visoiu Mistrih for (auto &Val : Record) {
9184cdb68ebSFrancis Visoiu Mistrih assert(!(Val >> 32) && "Unexpected high bits set");
9199a9bc236SBenjamin Kramer support::endian::write32be(&RecordedHash[Pos], Val);
9209a9bc236SBenjamin Kramer Pos += 4;
9214cdb68ebSFrancis Visoiu Mistrih }
922330268baSArgyrios Kyrtzidis if (Hash == RecordedHash)
9234cdb68ebSFrancis Visoiu Mistrih O->OS << " (match)";
9244cdb68ebSFrancis Visoiu Mistrih else
9254cdb68ebSFrancis Visoiu Mistrih O->OS << " (!mismatch!)";
9264cdb68ebSFrancis Visoiu Mistrih }
9274cdb68ebSFrancis Visoiu Mistrih }
9284cdb68ebSFrancis Visoiu Mistrih
9294cdb68ebSFrancis Visoiu Mistrih O->OS << "/>";
9304cdb68ebSFrancis Visoiu Mistrih
9314cdb68ebSFrancis Visoiu Mistrih if (Abbv) {
9324cdb68ebSFrancis Visoiu Mistrih for (unsigned i = 1, e = Abbv->getNumOperandInfos(); i != e; ++i) {
9334cdb68ebSFrancis Visoiu Mistrih const BitCodeAbbrevOp &Op = Abbv->getOperandInfo(i);
9344cdb68ebSFrancis Visoiu Mistrih if (!Op.isEncoding() || Op.getEncoding() != BitCodeAbbrevOp::Array)
9354cdb68ebSFrancis Visoiu Mistrih continue;
9364cdb68ebSFrancis Visoiu Mistrih assert(i + 2 == e && "Array op not second to last");
9374cdb68ebSFrancis Visoiu Mistrih std::string Str;
9384cdb68ebSFrancis Visoiu Mistrih bool ArrayIsPrintable = true;
9394cdb68ebSFrancis Visoiu Mistrih for (unsigned j = i - 1, je = Record.size(); j != je; ++j) {
9404cdb68ebSFrancis Visoiu Mistrih if (!isPrint(static_cast<unsigned char>(Record[j]))) {
9414cdb68ebSFrancis Visoiu Mistrih ArrayIsPrintable = false;
9424cdb68ebSFrancis Visoiu Mistrih break;
9434cdb68ebSFrancis Visoiu Mistrih }
9444cdb68ebSFrancis Visoiu Mistrih Str += (char)Record[j];
9454cdb68ebSFrancis Visoiu Mistrih }
9464cdb68ebSFrancis Visoiu Mistrih if (ArrayIsPrintable)
9474cdb68ebSFrancis Visoiu Mistrih O->OS << " record string = '" << Str << "'";
9484cdb68ebSFrancis Visoiu Mistrih break;
9494cdb68ebSFrancis Visoiu Mistrih }
9504cdb68ebSFrancis Visoiu Mistrih }
9514cdb68ebSFrancis Visoiu Mistrih
9524cdb68ebSFrancis Visoiu Mistrih if (Blob.data()) {
9534cdb68ebSFrancis Visoiu Mistrih if (canDecodeBlob(Code, BlockID)) {
9544cdb68ebSFrancis Visoiu Mistrih if (Error E = decodeMetadataStringsBlob(Indent, Record, Blob, O->OS))
9554cdb68ebSFrancis Visoiu Mistrih return E;
9564cdb68ebSFrancis Visoiu Mistrih } else {
9574cdb68ebSFrancis Visoiu Mistrih O->OS << " blob data = ";
9584cdb68ebSFrancis Visoiu Mistrih if (O->ShowBinaryBlobs) {
9594cdb68ebSFrancis Visoiu Mistrih O->OS << "'";
9604cdb68ebSFrancis Visoiu Mistrih O->OS.write_escaped(Blob, /*hex=*/true) << "'";
9614cdb68ebSFrancis Visoiu Mistrih } else {
9624cdb68ebSFrancis Visoiu Mistrih bool BlobIsPrintable = true;
963f6bce30cSKazu Hirata for (char C : Blob)
964f6bce30cSKazu Hirata if (!isPrint(static_cast<unsigned char>(C))) {
9654cdb68ebSFrancis Visoiu Mistrih BlobIsPrintable = false;
9664cdb68ebSFrancis Visoiu Mistrih break;
9674cdb68ebSFrancis Visoiu Mistrih }
9684cdb68ebSFrancis Visoiu Mistrih
9694cdb68ebSFrancis Visoiu Mistrih if (BlobIsPrintable)
9704cdb68ebSFrancis Visoiu Mistrih O->OS << "'" << Blob << "'";
9714cdb68ebSFrancis Visoiu Mistrih else
9724cdb68ebSFrancis Visoiu Mistrih O->OS << "unprintable, " << Blob.size() << " bytes.";
9734cdb68ebSFrancis Visoiu Mistrih }
9744cdb68ebSFrancis Visoiu Mistrih }
9754cdb68ebSFrancis Visoiu Mistrih }
9764cdb68ebSFrancis Visoiu Mistrih
9774cdb68ebSFrancis Visoiu Mistrih O->OS << "\n";
9784cdb68ebSFrancis Visoiu Mistrih }
9794cdb68ebSFrancis Visoiu Mistrih
9804cdb68ebSFrancis Visoiu Mistrih // Make sure that we can skip the current record.
9814cdb68ebSFrancis Visoiu Mistrih if (Error Err = Stream.JumpToBit(CurrentRecordPos))
9824cdb68ebSFrancis Visoiu Mistrih return Err;
9834cdb68ebSFrancis Visoiu Mistrih if (Expected<unsigned> Skipped = Stream.skipRecord(Entry.ID))
9844cdb68ebSFrancis Visoiu Mistrih ; // Do nothing.
9854cdb68ebSFrancis Visoiu Mistrih else
9864cdb68ebSFrancis Visoiu Mistrih return Skipped.takeError();
9874cdb68ebSFrancis Visoiu Mistrih }
9884cdb68ebSFrancis Visoiu Mistrih }
9894cdb68ebSFrancis Visoiu Mistrih
990