| Gabor Greif | 0e535c3c | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 1 | //===-- llvm-bcanalyzer.cpp - Bitcode Analyzer --------------------------===// |
| Misha Brukman | 650ba8e | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 2 | // |
| Reid Spencer | db5c86d | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| Chris Lattner | 345353d | 2007-12-29 20:44:31 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| Misha Brukman | 650ba8e | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 7 | // |
| Reid Spencer | db5c86d | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| Reid Spencer | ddc6fb1 | 2004-06-08 05:56:58 +0000 | [diff] [blame] | 10 | // This tool may be invoked in the following manner: |
| Gabor Greif | 0e535c3c | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 11 | // llvm-bcanalyzer [options] - Read LLVM bitcode from stdin |
| 12 | // llvm-bcanalyzer [options] x.bc - Read LLVM bitcode from the x.bc file |
| Reid Spencer | db5c86d | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 13 | // |
| Reid Spencer | ddc6fb1 | 2004-06-08 05:56:58 +0000 | [diff] [blame] | 14 | // Options: |
| Reid Spencer | b3a4e0b | 2004-06-10 18:38:44 +0000 | [diff] [blame] | 15 | // --help - Output information about command line switches |
| Gabor Greif | 0e535c3c | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 16 | // --dump - Dump low-level bitcode structure in readable format |
| Reid Spencer | ddc6fb1 | 2004-06-08 05:56:58 +0000 | [diff] [blame] | 17 | // |
| Gabor Greif | 0e535c3c | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 18 | // This tool provides analytical information about a bitcode file. It is |
| 19 | // intended as an aid to developers of bitcode reading and writing software. It |
| 20 | // produces on std::out a summary of the bitcode file that shows various |
| Reid Spencer | b3a4e0b | 2004-06-10 18:38:44 +0000 | [diff] [blame] | 21 | // statistics about the contents of the file. By default this information is |
| Gabor Greif | 0e535c3c | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 22 | // detailed and contains information about individual bitcode blocks and the |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 23 | // functions in the module. |
| Gabor Greif | 0e535c3c | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 24 | // The tool is also able to print a bitcode file in a straight forward text |
| Misha Brukman | 650ba8e | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 25 | // format that shows the containment and relationships of the information in |
| Gabor Greif | 0e535c3c | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 26 | // the bitcode file (-dump option). |
| Chris Lattner | cc18989 | 2007-04-29 05:51:00 +0000 | [diff] [blame] | 27 | // |
| Reid Spencer | db5c86d | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 28 | //===----------------------------------------------------------------------===// |
| 29 | |
| Mehdi Amini | d7ad221 | 2016-04-01 05:33:11 +0000 | [diff] [blame] | 30 | #include "llvm/ADT/StringExtras.h" |
| Mehdi Amini | b550cb1 | 2016-04-18 09:17:29 +0000 | [diff] [blame] | 31 | #include "llvm/Bitcode/BitstreamReader.h" |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 32 | #include "llvm/Bitcode/LLVMBitCodes.h" |
| Chris Lattner | b9e07fd | 2009-04-06 20:54:32 +0000 | [diff] [blame] | 33 | #include "llvm/Bitcode/ReaderWriter.h" |
| Chandler Carruth | 5ad5f15 | 2014-01-13 09:26:24 +0000 | [diff] [blame] | 34 | #include "llvm/IR/Verifier.h" |
| Reid Spencer | 7c16caa | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 35 | #include "llvm/Support/CommandLine.h" |
| Daniel Dunbar | e813b22 | 2009-09-25 16:04:21 +0000 | [diff] [blame] | 36 | #include "llvm/Support/Format.h" |
| Chris Lattner | 76d4632 | 2006-12-06 01:18:01 +0000 | [diff] [blame] | 37 | #include "llvm/Support/ManagedStatic.h" |
| Chris Lattner | 0399758 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 38 | #include "llvm/Support/MemoryBuffer.h" |
| Chris Lattner | e3fc2d1 | 2009-03-06 05:34:10 +0000 | [diff] [blame] | 39 | #include "llvm/Support/PrettyStackTrace.h" |
| Mehdi Amini | d7ad221 | 2016-04-01 05:33:11 +0000 | [diff] [blame] | 40 | #include "llvm/Support/SHA1.h" |
| Mehdi Amini | b550cb1 | 2016-04-18 09:17:29 +0000 | [diff] [blame] | 41 | #include "llvm/Support/Signals.h" |
| Chandler Carruth | 4d88a1c | 2012-12-04 10:44:52 +0000 | [diff] [blame] | 42 | #include "llvm/Support/raw_ostream.h" |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 43 | #include <algorithm> |
| Will Dietz | 981af00 | 2013-10-12 00:55:57 +0000 | [diff] [blame] | 44 | #include <cctype> |
| Chandler Carruth | 4d88a1c | 2012-12-04 10:44:52 +0000 | [diff] [blame] | 45 | #include <map> |
| Rafael Espindola | a6e9c3e | 2014-06-12 17:38:55 +0000 | [diff] [blame] | 46 | #include <system_error> |
| Reid Spencer | db5c86d | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 47 | using namespace llvm; |
| 48 | |
| 49 | static cl::opt<std::string> |
| Gabor Greif | 0e535c3c | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 50 | InputFilename(cl::Positional, cl::desc("<input bitcode>"), cl::init("-")); |
| Reid Spencer | db5c86d | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 51 | |
| Gabor Greif | 0e535c3c | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 52 | static cl::opt<bool> Dump("dump", cl::desc("Dump low level bitcode trace")); |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 53 | |
| 54 | //===----------------------------------------------------------------------===// |
| 55 | // Bitcode specific analysis. |
| 56 | //===----------------------------------------------------------------------===// |
| 57 | |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 58 | static cl::opt<bool> NoHistogram("disable-histogram", |
| 59 | cl::desc("Do not print per-code histogram")); |
| Chris Lattner | 0399758 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 60 | |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 61 | static cl::opt<bool> |
| 62 | NonSymbolic("non-symbolic", |
| Michael J. Spencer | 39a0ffc | 2010-12-16 03:29:14 +0000 | [diff] [blame] | 63 | cl::desc("Emit numeric info in dump even if" |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 64 | " symbolic info is available")); |
| 65 | |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 66 | static cl::opt<std::string> |
| 67 | BlockInfoFilename("block-info", |
| 68 | cl::desc("Use the BLOCK_INFO from the given file")); |
| 69 | |
| Jordan Rose | 0fa38b8 | 2015-05-13 18:51:49 +0000 | [diff] [blame] | 70 | static cl::opt<bool> |
| 71 | ShowBinaryBlobs("show-binary-blobs", |
| 72 | cl::desc("Print binary blobs using hex escapes")); |
| 73 | |
| Dan Gohman | f749ad7 | 2010-12-09 20:35:40 +0000 | [diff] [blame] | 74 | namespace { |
| 75 | |
| 76 | /// CurStreamTypeType - A type for CurStreamType |
| 77 | enum CurStreamTypeType { |
| Chris Lattner | 0399758 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 78 | UnknownBitstream, |
| 79 | LLVMIRBitstream |
| Dan Gohman | f749ad7 | 2010-12-09 20:35:40 +0000 | [diff] [blame] | 80 | }; |
| 81 | |
| 82 | } |
| 83 | |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 84 | /// GetBlockName - Return a symbolic block name if known, otherwise return |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 85 | /// null. |
| Chris Lattner | a6fdf5a | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 86 | static const char *GetBlockName(unsigned BlockID, |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 87 | const BitstreamReader &StreamFile, |
| 88 | CurStreamTypeType CurStreamType) { |
| Chris Lattner | 9181ddf | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 89 | // Standard blocks for all bitcode files. |
| 90 | if (BlockID < bitc::FIRST_APPLICATION_BLOCKID) { |
| 91 | if (BlockID == bitc::BLOCKINFO_BLOCK_ID) |
| 92 | return "BLOCKINFO_BLOCK"; |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 93 | return nullptr; |
| Chris Lattner | 9181ddf | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 94 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 95 | |
| Chris Lattner | a6fdf5a | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 96 | // Check to see if we have a blockinfo record for this block, with a name. |
| 97 | if (const BitstreamReader::BlockInfo *Info = |
| 98 | StreamFile.getBlockInfo(BlockID)) { |
| 99 | if (!Info->Name.empty()) |
| 100 | return Info->Name.c_str(); |
| 101 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 102 | |
| 103 | |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 104 | if (CurStreamType != LLVMIRBitstream) return nullptr; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 105 | |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 106 | switch (BlockID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 107 | default: return nullptr; |
| Bill Wendling | d7e05d6 | 2013-02-10 23:17:10 +0000 | [diff] [blame] | 108 | case bitc::MODULE_BLOCK_ID: return "MODULE_BLOCK"; |
| 109 | case bitc::PARAMATTR_BLOCK_ID: return "PARAMATTR_BLOCK"; |
| 110 | case bitc::PARAMATTR_GROUP_BLOCK_ID: return "PARAMATTR_GROUP_BLOCK_ID"; |
| 111 | case bitc::TYPE_BLOCK_ID_NEW: return "TYPE_BLOCK_ID"; |
| 112 | case bitc::CONSTANTS_BLOCK_ID: return "CONSTANTS_BLOCK"; |
| 113 | case bitc::FUNCTION_BLOCK_ID: return "FUNCTION_BLOCK"; |
| Mehdi Amini | 5d30328 | 2015-10-26 18:37:00 +0000 | [diff] [blame] | 114 | case bitc::IDENTIFICATION_BLOCK_ID: |
| 115 | return "IDENTIFICATION_BLOCK_ID"; |
| Bill Wendling | d7e05d6 | 2013-02-10 23:17:10 +0000 | [diff] [blame] | 116 | case bitc::VALUE_SYMTAB_BLOCK_ID: return "VALUE_SYMTAB"; |
| 117 | case bitc::METADATA_BLOCK_ID: return "METADATA_BLOCK"; |
| Teresa Johnson | 1254507 | 2015-11-15 02:00:09 +0000 | [diff] [blame] | 118 | case bitc::METADATA_KIND_BLOCK_ID: return "METADATA_KIND_BLOCK"; |
| Bill Wendling | d7e05d6 | 2013-02-10 23:17:10 +0000 | [diff] [blame] | 119 | case bitc::METADATA_ATTACHMENT_ID: return "METADATA_ATTACHMENT_BLOCK"; |
| 120 | case bitc::USELIST_BLOCK_ID: return "USELIST_BLOCK_ID"; |
| Teresa Johnson | 76a1c1d | 2016-03-11 18:52:24 +0000 | [diff] [blame] | 121 | case bitc::GLOBALVAL_SUMMARY_BLOCK_ID: |
| 122 | return "GLOBALVAL_SUMMARY_BLOCK"; |
| Teresa Johnson | 403a787 | 2015-10-04 14:33:43 +0000 | [diff] [blame] | 123 | case bitc::MODULE_STRTAB_BLOCK_ID: return "MODULE_STRTAB_BLOCK"; |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 124 | } |
| 125 | } |
| 126 | |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 127 | /// GetCodeName - Return a symbolic code name if known, otherwise return |
| 128 | /// null. |
| Chris Lattner | a6fdf5a | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 129 | static const char *GetCodeName(unsigned CodeID, unsigned BlockID, |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 130 | const BitstreamReader &StreamFile, |
| 131 | CurStreamTypeType CurStreamType) { |
| Chris Lattner | 9181ddf | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 132 | // Standard blocks for all bitcode files. |
| 133 | if (BlockID < bitc::FIRST_APPLICATION_BLOCKID) { |
| 134 | if (BlockID == bitc::BLOCKINFO_BLOCK_ID) { |
| 135 | switch (CodeID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 136 | default: return nullptr; |
| Chris Lattner | a6fdf5a | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 137 | case bitc::BLOCKINFO_CODE_SETBID: return "SETBID"; |
| 138 | case bitc::BLOCKINFO_CODE_BLOCKNAME: return "BLOCKNAME"; |
| 139 | case bitc::BLOCKINFO_CODE_SETRECORDNAME: return "SETRECORDNAME"; |
| Chris Lattner | 9181ddf | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 140 | } |
| 141 | } |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 142 | return nullptr; |
| Chris Lattner | 9181ddf | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 143 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 144 | |
| Chris Lattner | a6fdf5a | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 145 | // Check to see if we have a blockinfo record for this record, with a name. |
| 146 | if (const BitstreamReader::BlockInfo *Info = |
| 147 | StreamFile.getBlockInfo(BlockID)) { |
| 148 | for (unsigned i = 0, e = Info->RecordNames.size(); i != e; ++i) |
| 149 | if (Info->RecordNames[i].first == CodeID) |
| 150 | return Info->RecordNames[i].second.c_str(); |
| 151 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 152 | |
| 153 | |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 154 | if (CurStreamType != LLVMIRBitstream) return nullptr; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 155 | |
| Duncan P. N. Exon Smith | cb8ee00 | 2015-06-29 22:50:32 +0000 | [diff] [blame] | 156 | #define STRINGIFY_CODE(PREFIX, CODE) \ |
| 157 | case bitc::PREFIX##_##CODE: \ |
| 158 | return #CODE; |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 159 | switch (BlockID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 160 | default: return nullptr; |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 161 | case bitc::MODULE_BLOCK_ID: |
| 162 | switch (CodeID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 163 | default: return nullptr; |
| Duncan P. N. Exon Smith | cb8ee00 | 2015-06-29 22:50:32 +0000 | [diff] [blame] | 164 | STRINGIFY_CODE(MODULE_CODE, VERSION) |
| 165 | STRINGIFY_CODE(MODULE_CODE, TRIPLE) |
| 166 | STRINGIFY_CODE(MODULE_CODE, DATALAYOUT) |
| 167 | STRINGIFY_CODE(MODULE_CODE, ASM) |
| 168 | STRINGIFY_CODE(MODULE_CODE, SECTIONNAME) |
| 169 | STRINGIFY_CODE(MODULE_CODE, DEPLIB) // FIXME: Remove in 4.0 |
| 170 | STRINGIFY_CODE(MODULE_CODE, GLOBALVAR) |
| 171 | STRINGIFY_CODE(MODULE_CODE, FUNCTION) |
| 172 | STRINGIFY_CODE(MODULE_CODE, ALIAS) |
| 173 | STRINGIFY_CODE(MODULE_CODE, PURGEVALS) |
| 174 | STRINGIFY_CODE(MODULE_CODE, GCNAME) |
| Teresa Johnson | ff642b9 | 2015-09-17 20:12:00 +0000 | [diff] [blame] | 175 | STRINGIFY_CODE(MODULE_CODE, VSTOFFSET) |
| Duncan P. N. Exon Smith | 68f5624 | 2016-03-25 01:29:50 +0000 | [diff] [blame] | 176 | STRINGIFY_CODE(MODULE_CODE, METADATA_VALUES_UNUSED) |
| Teresa Johnson | e1164de | 2016-02-10 21:55:02 +0000 | [diff] [blame] | 177 | STRINGIFY_CODE(MODULE_CODE, SOURCE_FILENAME) |
| Mehdi Amini | d7ad221 | 2016-04-01 05:33:11 +0000 | [diff] [blame] | 178 | STRINGIFY_CODE(MODULE_CODE, HASH) |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 179 | } |
| Mehdi Amini | 5d30328 | 2015-10-26 18:37:00 +0000 | [diff] [blame] | 180 | case bitc::IDENTIFICATION_BLOCK_ID: |
| 181 | switch (CodeID) { |
| 182 | default: |
| 183 | return nullptr; |
| 184 | STRINGIFY_CODE(IDENTIFICATION_CODE, STRING) |
| 185 | STRINGIFY_CODE(IDENTIFICATION_CODE, EPOCH) |
| 186 | } |
| Chris Lattner | 0b7c512 | 2007-05-04 03:01:41 +0000 | [diff] [blame] | 187 | case bitc::PARAMATTR_BLOCK_ID: |
| 188 | switch (CodeID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 189 | default: return nullptr; |
| Duncan P. N. Exon Smith | cb8ee00 | 2015-06-29 22:50:32 +0000 | [diff] [blame] | 190 | // FIXME: Should these be different? |
| Bill Wendling | d7e05d6 | 2013-02-10 23:17:10 +0000 | [diff] [blame] | 191 | case bitc::PARAMATTR_CODE_ENTRY_OLD: return "ENTRY"; |
| 192 | case bitc::PARAMATTR_CODE_ENTRY: return "ENTRY"; |
| Justin Bogner | 68b28d0 | 2016-03-15 22:37:25 +0000 | [diff] [blame] | 193 | } |
| 194 | case bitc::PARAMATTR_GROUP_BLOCK_ID: |
| 195 | switch (CodeID) { |
| 196 | default: return nullptr; |
| Bill Wendling | d7e05d6 | 2013-02-10 23:17:10 +0000 | [diff] [blame] | 197 | case bitc::PARAMATTR_GRP_CODE_ENTRY: return "ENTRY"; |
| Chris Lattner | 0b7c512 | 2007-05-04 03:01:41 +0000 | [diff] [blame] | 198 | } |
| Chris Lattner | b1ed91f | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 199 | case bitc::TYPE_BLOCK_ID_NEW: |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 200 | switch (CodeID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 201 | default: return nullptr; |
| Duncan P. N. Exon Smith | cb8ee00 | 2015-06-29 22:50:32 +0000 | [diff] [blame] | 202 | STRINGIFY_CODE(TYPE_CODE, NUMENTRY) |
| 203 | STRINGIFY_CODE(TYPE_CODE, VOID) |
| 204 | STRINGIFY_CODE(TYPE_CODE, FLOAT) |
| 205 | STRINGIFY_CODE(TYPE_CODE, DOUBLE) |
| 206 | STRINGIFY_CODE(TYPE_CODE, LABEL) |
| 207 | STRINGIFY_CODE(TYPE_CODE, OPAQUE) |
| 208 | STRINGIFY_CODE(TYPE_CODE, INTEGER) |
| 209 | STRINGIFY_CODE(TYPE_CODE, POINTER) |
| 210 | STRINGIFY_CODE(TYPE_CODE, ARRAY) |
| 211 | STRINGIFY_CODE(TYPE_CODE, VECTOR) |
| 212 | STRINGIFY_CODE(TYPE_CODE, X86_FP80) |
| 213 | STRINGIFY_CODE(TYPE_CODE, FP128) |
| 214 | STRINGIFY_CODE(TYPE_CODE, PPC_FP128) |
| 215 | STRINGIFY_CODE(TYPE_CODE, METADATA) |
| 216 | STRINGIFY_CODE(TYPE_CODE, STRUCT_ANON) |
| 217 | STRINGIFY_CODE(TYPE_CODE, STRUCT_NAME) |
| 218 | STRINGIFY_CODE(TYPE_CODE, STRUCT_NAMED) |
| 219 | STRINGIFY_CODE(TYPE_CODE, FUNCTION) |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 220 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 221 | |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 222 | case bitc::CONSTANTS_BLOCK_ID: |
| 223 | switch (CodeID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 224 | default: return nullptr; |
| Duncan P. N. Exon Smith | cb8ee00 | 2015-06-29 22:50:32 +0000 | [diff] [blame] | 225 | STRINGIFY_CODE(CST_CODE, SETTYPE) |
| 226 | STRINGIFY_CODE(CST_CODE, NULL) |
| 227 | STRINGIFY_CODE(CST_CODE, UNDEF) |
| 228 | STRINGIFY_CODE(CST_CODE, INTEGER) |
| 229 | STRINGIFY_CODE(CST_CODE, WIDE_INTEGER) |
| 230 | STRINGIFY_CODE(CST_CODE, FLOAT) |
| 231 | STRINGIFY_CODE(CST_CODE, AGGREGATE) |
| 232 | STRINGIFY_CODE(CST_CODE, STRING) |
| 233 | STRINGIFY_CODE(CST_CODE, CSTRING) |
| 234 | STRINGIFY_CODE(CST_CODE, CE_BINOP) |
| 235 | STRINGIFY_CODE(CST_CODE, CE_CAST) |
| 236 | STRINGIFY_CODE(CST_CODE, CE_GEP) |
| 237 | STRINGIFY_CODE(CST_CODE, CE_INBOUNDS_GEP) |
| 238 | STRINGIFY_CODE(CST_CODE, CE_SELECT) |
| 239 | STRINGIFY_CODE(CST_CODE, CE_EXTRACTELT) |
| 240 | STRINGIFY_CODE(CST_CODE, CE_INSERTELT) |
| 241 | STRINGIFY_CODE(CST_CODE, CE_SHUFFLEVEC) |
| 242 | STRINGIFY_CODE(CST_CODE, CE_CMP) |
| 243 | STRINGIFY_CODE(CST_CODE, INLINEASM) |
| 244 | STRINGIFY_CODE(CST_CODE, CE_SHUFVEC_EX) |
| Chris Lattner | 372dd1e | 2012-01-30 00:51:16 +0000 | [diff] [blame] | 245 | case bitc::CST_CODE_BLOCKADDRESS: return "CST_CODE_BLOCKADDRESS"; |
| Duncan P. N. Exon Smith | cb8ee00 | 2015-06-29 22:50:32 +0000 | [diff] [blame] | 246 | STRINGIFY_CODE(CST_CODE, DATA) |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 247 | } |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 248 | case bitc::FUNCTION_BLOCK_ID: |
| 249 | switch (CodeID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 250 | default: return nullptr; |
| Duncan P. N. Exon Smith | cb8ee00 | 2015-06-29 22:50:32 +0000 | [diff] [blame] | 251 | STRINGIFY_CODE(FUNC_CODE, DECLAREBLOCKS) |
| 252 | STRINGIFY_CODE(FUNC_CODE, INST_BINOP) |
| 253 | STRINGIFY_CODE(FUNC_CODE, INST_CAST) |
| 254 | STRINGIFY_CODE(FUNC_CODE, INST_GEP_OLD) |
| 255 | STRINGIFY_CODE(FUNC_CODE, INST_INBOUNDS_GEP_OLD) |
| 256 | STRINGIFY_CODE(FUNC_CODE, INST_SELECT) |
| 257 | STRINGIFY_CODE(FUNC_CODE, INST_EXTRACTELT) |
| 258 | STRINGIFY_CODE(FUNC_CODE, INST_INSERTELT) |
| 259 | STRINGIFY_CODE(FUNC_CODE, INST_SHUFFLEVEC) |
| 260 | STRINGIFY_CODE(FUNC_CODE, INST_CMP) |
| 261 | STRINGIFY_CODE(FUNC_CODE, INST_RET) |
| 262 | STRINGIFY_CODE(FUNC_CODE, INST_BR) |
| 263 | STRINGIFY_CODE(FUNC_CODE, INST_SWITCH) |
| 264 | STRINGIFY_CODE(FUNC_CODE, INST_INVOKE) |
| 265 | STRINGIFY_CODE(FUNC_CODE, INST_UNREACHABLE) |
| David Majnemer | 654e130 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 266 | STRINGIFY_CODE(FUNC_CODE, INST_CLEANUPRET) |
| 267 | STRINGIFY_CODE(FUNC_CODE, INST_CATCHRET) |
| 268 | STRINGIFY_CODE(FUNC_CODE, INST_CATCHPAD) |
| Duncan P. N. Exon Smith | cb8ee00 | 2015-06-29 22:50:32 +0000 | [diff] [blame] | 269 | STRINGIFY_CODE(FUNC_CODE, INST_PHI) |
| 270 | STRINGIFY_CODE(FUNC_CODE, INST_ALLOCA) |
| 271 | STRINGIFY_CODE(FUNC_CODE, INST_LOAD) |
| 272 | STRINGIFY_CODE(FUNC_CODE, INST_VAARG) |
| 273 | STRINGIFY_CODE(FUNC_CODE, INST_STORE) |
| 274 | STRINGIFY_CODE(FUNC_CODE, INST_EXTRACTVAL) |
| 275 | STRINGIFY_CODE(FUNC_CODE, INST_INSERTVAL) |
| 276 | STRINGIFY_CODE(FUNC_CODE, INST_CMP2) |
| 277 | STRINGIFY_CODE(FUNC_CODE, INST_VSELECT) |
| 278 | STRINGIFY_CODE(FUNC_CODE, DEBUG_LOC_AGAIN) |
| 279 | STRINGIFY_CODE(FUNC_CODE, INST_CALL) |
| 280 | STRINGIFY_CODE(FUNC_CODE, DEBUG_LOC) |
| 281 | STRINGIFY_CODE(FUNC_CODE, INST_GEP) |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 282 | } |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 283 | case bitc::VALUE_SYMTAB_BLOCK_ID: |
| 284 | switch (CodeID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 285 | default: return nullptr; |
| Duncan P. N. Exon Smith | cb8ee00 | 2015-06-29 22:50:32 +0000 | [diff] [blame] | 286 | STRINGIFY_CODE(VST_CODE, ENTRY) |
| 287 | STRINGIFY_CODE(VST_CODE, BBENTRY) |
| Teresa Johnson | ff642b9 | 2015-09-17 20:12:00 +0000 | [diff] [blame] | 288 | STRINGIFY_CODE(VST_CODE, FNENTRY) |
| Teresa Johnson | 76a1c1d | 2016-03-11 18:52:24 +0000 | [diff] [blame] | 289 | STRINGIFY_CODE(VST_CODE, COMBINED_GVDEFENTRY) |
| 290 | STRINGIFY_CODE(VST_CODE, COMBINED_ENTRY) |
| Teresa Johnson | 403a787 | 2015-10-04 14:33:43 +0000 | [diff] [blame] | 291 | } |
| 292 | case bitc::MODULE_STRTAB_BLOCK_ID: |
| 293 | switch (CodeID) { |
| Teresa Johnson | f72278f | 2015-11-02 18:02:11 +0000 | [diff] [blame] | 294 | default: |
| 295 | return nullptr; |
| 296 | STRINGIFY_CODE(MST_CODE, ENTRY) |
| Mehdi Amini | d7ad221 | 2016-04-01 05:33:11 +0000 | [diff] [blame] | 297 | STRINGIFY_CODE(MST_CODE, HASH) |
| Teresa Johnson | 403a787 | 2015-10-04 14:33:43 +0000 | [diff] [blame] | 298 | } |
| Teresa Johnson | 76a1c1d | 2016-03-11 18:52:24 +0000 | [diff] [blame] | 299 | case bitc::GLOBALVAL_SUMMARY_BLOCK_ID: |
| Teresa Johnson | 403a787 | 2015-10-04 14:33:43 +0000 | [diff] [blame] | 300 | switch (CodeID) { |
| Teresa Johnson | f72278f | 2015-11-02 18:02:11 +0000 | [diff] [blame] | 301 | default: |
| 302 | return nullptr; |
| Teresa Johnson | 76a1c1d | 2016-03-11 18:52:24 +0000 | [diff] [blame] | 303 | STRINGIFY_CODE(FS, PERMODULE) |
| 304 | STRINGIFY_CODE(FS, PERMODULE_PROFILE) |
| 305 | STRINGIFY_CODE(FS, PERMODULE_GLOBALVAR_INIT_REFS) |
| 306 | STRINGIFY_CODE(FS, COMBINED) |
| 307 | STRINGIFY_CODE(FS, COMBINED_PROFILE) |
| 308 | STRINGIFY_CODE(FS, COMBINED_GLOBALVAR_INIT_REFS) |
| Mehdi Amini | 2d28f7a | 2016-04-16 06:56:44 +0000 | [diff] [blame] | 309 | STRINGIFY_CODE(FS, ALIAS) |
| 310 | STRINGIFY_CODE(FS, COMBINED_ALIAS) |
| Mehdi Amini | ae64eaf | 2016-04-23 23:38:17 +0000 | [diff] [blame^] | 311 | STRINGIFY_CODE(FS, COMBINED_ORIGINAL_NAME) |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 312 | } |
| Devang Patel | af206b8 | 2009-09-18 19:26:43 +0000 | [diff] [blame] | 313 | case bitc::METADATA_ATTACHMENT_ID: |
| 314 | switch(CodeID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 315 | default:return nullptr; |
| Duncan P. N. Exon Smith | 706b80d | 2015-06-29 22:50:35 +0000 | [diff] [blame] | 316 | STRINGIFY_CODE(METADATA, ATTACHMENT) |
| Devang Patel | af206b8 | 2009-09-18 19:26:43 +0000 | [diff] [blame] | 317 | } |
| Devang Patel | 7428d8a | 2009-07-22 17:43:22 +0000 | [diff] [blame] | 318 | case bitc::METADATA_BLOCK_ID: |
| 319 | switch(CodeID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 320 | default:return nullptr; |
| Duncan P. N. Exon Smith | 6565a0d | 2016-03-27 23:17:54 +0000 | [diff] [blame] | 321 | STRINGIFY_CODE(METADATA, STRING_OLD) |
| 322 | STRINGIFY_CODE(METADATA, STRINGS) |
| Duncan P. N. Exon Smith | 706b80d | 2015-06-29 22:50:35 +0000 | [diff] [blame] | 323 | STRINGIFY_CODE(METADATA, NAME) |
| Teresa Johnson | 1254507 | 2015-11-15 02:00:09 +0000 | [diff] [blame] | 324 | STRINGIFY_CODE(METADATA, KIND) // Older bitcode has it in a MODULE_BLOCK |
| Duncan P. N. Exon Smith | 706b80d | 2015-06-29 22:50:35 +0000 | [diff] [blame] | 325 | STRINGIFY_CODE(METADATA, NODE) |
| 326 | STRINGIFY_CODE(METADATA, VALUE) |
| 327 | STRINGIFY_CODE(METADATA, OLD_NODE) |
| 328 | STRINGIFY_CODE(METADATA, OLD_FN_NODE) |
| 329 | STRINGIFY_CODE(METADATA, NAMED_NODE) |
| 330 | STRINGIFY_CODE(METADATA, DISTINCT_NODE) |
| 331 | STRINGIFY_CODE(METADATA, LOCATION) |
| 332 | STRINGIFY_CODE(METADATA, GENERIC_DEBUG) |
| 333 | STRINGIFY_CODE(METADATA, SUBRANGE) |
| 334 | STRINGIFY_CODE(METADATA, ENUMERATOR) |
| 335 | STRINGIFY_CODE(METADATA, BASIC_TYPE) |
| 336 | STRINGIFY_CODE(METADATA, FILE) |
| 337 | STRINGIFY_CODE(METADATA, DERIVED_TYPE) |
| 338 | STRINGIFY_CODE(METADATA, COMPOSITE_TYPE) |
| 339 | STRINGIFY_CODE(METADATA, SUBROUTINE_TYPE) |
| 340 | STRINGIFY_CODE(METADATA, COMPILE_UNIT) |
| 341 | STRINGIFY_CODE(METADATA, SUBPROGRAM) |
| 342 | STRINGIFY_CODE(METADATA, LEXICAL_BLOCK) |
| 343 | STRINGIFY_CODE(METADATA, LEXICAL_BLOCK_FILE) |
| 344 | STRINGIFY_CODE(METADATA, NAMESPACE) |
| 345 | STRINGIFY_CODE(METADATA, TEMPLATE_TYPE) |
| 346 | STRINGIFY_CODE(METADATA, TEMPLATE_VALUE) |
| 347 | STRINGIFY_CODE(METADATA, GLOBAL_VAR) |
| 348 | STRINGIFY_CODE(METADATA, LOCAL_VAR) |
| 349 | STRINGIFY_CODE(METADATA, EXPRESSION) |
| 350 | STRINGIFY_CODE(METADATA, OBJC_PROPERTY) |
| 351 | STRINGIFY_CODE(METADATA, IMPORTED_ENTITY) |
| Adrian Prantl | a7ad09d | 2015-06-30 00:25:41 +0000 | [diff] [blame] | 352 | STRINGIFY_CODE(METADATA, MODULE) |
| Devang Patel | 7428d8a | 2009-07-22 17:43:22 +0000 | [diff] [blame] | 353 | } |
| Teresa Johnson | 1254507 | 2015-11-15 02:00:09 +0000 | [diff] [blame] | 354 | case bitc::METADATA_KIND_BLOCK_ID: |
| 355 | switch (CodeID) { |
| 356 | default: |
| 357 | return nullptr; |
| 358 | STRINGIFY_CODE(METADATA, KIND) |
| 359 | } |
| Chad Rosier | dd4ffae | 2011-12-07 21:45:13 +0000 | [diff] [blame] | 360 | case bitc::USELIST_BLOCK_ID: |
| 361 | switch(CodeID) { |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 362 | default:return nullptr; |
| Duncan P. N. Exon Smith | 1f66c85 | 2014-07-28 21:19:41 +0000 | [diff] [blame] | 363 | case bitc::USELIST_CODE_DEFAULT: return "USELIST_CODE_DEFAULT"; |
| 364 | case bitc::USELIST_CODE_BB: return "USELIST_CODE_BB"; |
| Chad Rosier | dd4ffae | 2011-12-07 21:45:13 +0000 | [diff] [blame] | 365 | } |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 366 | } |
| Duncan P. N. Exon Smith | cb8ee00 | 2015-06-29 22:50:32 +0000 | [diff] [blame] | 367 | #undef STRINGIFY_CODE |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 368 | } |
| 369 | |
| Chris Lattner | bf419a9 | 2009-04-27 17:59:34 +0000 | [diff] [blame] | 370 | struct PerRecordStats { |
| 371 | unsigned NumInstances; |
| Chris Lattner | 1cf8069 | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 372 | unsigned NumAbbrev; |
| 373 | uint64_t TotalBits; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 374 | |
| Mehdi Amini | d263856 | 2015-10-21 06:10:55 +0000 | [diff] [blame] | 375 | PerRecordStats() : NumInstances(0), NumAbbrev(0), TotalBits(0) {} |
| Chris Lattner | bf419a9 | 2009-04-27 17:59:34 +0000 | [diff] [blame] | 376 | }; |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 377 | |
| 378 | struct PerBlockIDStats { |
| 379 | /// NumInstances - This the number of times this block ID has been seen. |
| 380 | unsigned NumInstances; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 381 | |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 382 | /// NumBits - The total size in bits of all of these blocks. |
| 383 | uint64_t NumBits; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 384 | |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 385 | /// NumSubBlocks - The total number of blocks these blocks contain. |
| 386 | unsigned NumSubBlocks; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 387 | |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 388 | /// NumAbbrevs - The total number of abbreviations. |
| 389 | unsigned NumAbbrevs; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 390 | |
| 391 | /// NumRecords - The total number of records these blocks contain, and the |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 392 | /// number that are abbreviated. |
| 393 | unsigned NumRecords, NumAbbreviatedRecords; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 394 | |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 395 | /// CodeFreq - Keep track of the number of times we see each code. |
| Chris Lattner | bf419a9 | 2009-04-27 17:59:34 +0000 | [diff] [blame] | 396 | std::vector<PerRecordStats> CodeFreq; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 397 | |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 398 | PerBlockIDStats() |
| 399 | : NumInstances(0), NumBits(0), |
| 400 | NumSubBlocks(0), NumAbbrevs(0), NumRecords(0), NumAbbreviatedRecords(0) {} |
| 401 | }; |
| 402 | |
| 403 | static std::map<unsigned, PerBlockIDStats> BlockIDStats; |
| 404 | |
| 405 | |
| 406 | |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 407 | /// Error - All bitcode analysis errors go through this function, making this a |
| 408 | /// good place to breakpoint if debugging. |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 409 | static bool Error(const Twine &Err) { |
| Dan Gohman | d8db376 | 2009-07-15 16:35:29 +0000 | [diff] [blame] | 410 | errs() << Err << "\n"; |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 411 | return true; |
| 412 | } |
| 413 | |
| Duncan P. N. Exon Smith | 6565a0d | 2016-03-27 23:17:54 +0000 | [diff] [blame] | 414 | static bool decodeMetadataStringsBlob(BitstreamReader &Reader, StringRef Indent, |
| 415 | ArrayRef<uint64_t> Record, |
| 416 | StringRef Blob) { |
| 417 | if (Blob.empty()) |
| 418 | return true; |
| 419 | |
| 420 | if (Record.size() != 2) |
| 421 | return true; |
| 422 | |
| 423 | unsigned NumStrings = Record[0]; |
| 424 | unsigned StringsOffset = Record[1]; |
| 425 | outs() << " num-strings = " << NumStrings << " {\n"; |
| 426 | |
| 427 | StringRef Lengths = Blob.slice(0, StringsOffset); |
| 428 | SimpleBitstreamCursor R(Reader); |
| 429 | R.jumpToPointer(Lengths.begin()); |
| 430 | |
| 431 | // Ensure that Blob doesn't get invalidated, even if this is reading from a |
| 432 | // StreamingMemoryObject with corrupt data. |
| 433 | R.setArtificialByteLimit(R.getCurrentByteNo() + StringsOffset); |
| 434 | |
| 435 | StringRef Strings = Blob.drop_front(StringsOffset); |
| 436 | do { |
| 437 | if (R.AtEndOfStream()) |
| 438 | return Error("bad length"); |
| 439 | |
| 440 | unsigned Size = R.ReadVBR(6); |
| 441 | if (Strings.size() < Size) |
| 442 | return Error("truncated chars"); |
| 443 | |
| 444 | outs() << Indent << " '"; |
| 445 | outs().write_escaped(Strings.slice(0, Size), /*hex=*/true); |
| 446 | outs() << "'\n"; |
| 447 | Strings = Strings.drop_front(Size); |
| 448 | } while (--NumStrings); |
| 449 | |
| 450 | outs() << Indent << " }"; |
| 451 | return false; |
| 452 | } |
| 453 | |
| 454 | static bool decodeBlob(unsigned Code, unsigned BlockID, BitstreamReader &Reader, |
| 455 | StringRef Indent, ArrayRef<uint64_t> Record, |
| 456 | StringRef Blob) { |
| 457 | if (BlockID != bitc::METADATA_BLOCK_ID) |
| 458 | return true; |
| 459 | if (Code != bitc::METADATA_STRINGS) |
| 460 | return true; |
| 461 | |
| 462 | return decodeMetadataStringsBlob(Reader, Indent, Record, Blob); |
| 463 | } |
| 464 | |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 465 | /// ParseBlock - Read a block, updating statistics, etc. |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 466 | static bool ParseBlock(BitstreamCursor &Stream, unsigned BlockID, |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 467 | unsigned IndentLevel, CurStreamTypeType CurStreamType) { |
| Chris Lattner | 9181ddf | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 468 | std::string Indent(IndentLevel*2, ' '); |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 469 | uint64_t BlockBitStart = Stream.GetCurrentBitNo(); |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 470 | |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 471 | // Get the statistics for this BlockID. |
| 472 | PerBlockIDStats &BlockStats = BlockIDStats[BlockID]; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 473 | |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 474 | BlockStats.NumInstances++; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 475 | |
| Chris Lattner | 9181ddf | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 476 | // BLOCKINFO is a special part of the stream. |
| Richard Smith | dc1414b | 2016-02-06 00:46:09 +0000 | [diff] [blame] | 477 | bool DumpRecords = Dump; |
| Chris Lattner | 9181ddf | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 478 | if (BlockID == bitc::BLOCKINFO_BLOCK_ID) { |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 479 | if (Dump) outs() << Indent << "<BLOCKINFO_BLOCK/>\n"; |
| Richard Smith | dc1414b | 2016-02-06 00:46:09 +0000 | [diff] [blame] | 480 | if (BitstreamCursor(Stream).ReadBlockInfoBlock()) |
| Chris Lattner | 9181ddf | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 481 | return Error("Malformed BlockInfoBlock"); |
| Richard Smith | dc1414b | 2016-02-06 00:46:09 +0000 | [diff] [blame] | 482 | // It's not really interesting to dump the contents of the blockinfo block. |
| 483 | DumpRecords = false; |
| Chris Lattner | 9181ddf | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 484 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 485 | |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 486 | unsigned NumWords = 0; |
| Chris Lattner | 9181ddf | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 487 | if (Stream.EnterSubBlock(BlockID, &NumWords)) |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 488 | return Error("Malformed block record"); |
| 489 | |
| Mehdi Amini | d7ad221 | 2016-04-01 05:33:11 +0000 | [diff] [blame] | 490 | // Keep it for later, when we see a MODULE_HASH record |
| 491 | uint64_t BlockEntryPos = Stream.getCurrentByteNo(); |
| 492 | |
| Craig Topper | e6cb63e | 2014-04-25 04:24:47 +0000 | [diff] [blame] | 493 | const char *BlockName = nullptr; |
| Richard Smith | dc1414b | 2016-02-06 00:46:09 +0000 | [diff] [blame] | 494 | if (DumpRecords) { |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 495 | outs() << Indent << "<"; |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 496 | if ((BlockName = GetBlockName(BlockID, *Stream.getBitStreamReader(), |
| 497 | CurStreamType))) |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 498 | outs() << BlockName; |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 499 | else |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 500 | outs() << "UnknownBlock" << BlockID; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 501 | |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 502 | if (NonSymbolic && BlockName) |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 503 | outs() << " BlockID=" << BlockID; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 504 | |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 505 | outs() << " NumWords=" << NumWords |
| Chris Lattner | 3fa323d | 2013-01-19 21:37:14 +0000 | [diff] [blame] | 506 | << " BlockCodeSize=" << Stream.getAbbrevIDWidth() << ">\n"; |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 507 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 508 | |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 509 | SmallVector<uint64_t, 64> Record; |
| 510 | |
| 511 | // Read all the records for this block. |
| 512 | while (1) { |
| 513 | if (Stream.AtEndOfStream()) |
| 514 | return Error("Premature end of bitstream"); |
| 515 | |
| Chris Lattner | 1cf8069 | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 516 | uint64_t RecordStartBit = Stream.GetCurrentBitNo(); |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 517 | |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 518 | BitstreamEntry Entry = |
| 519 | Stream.advance(BitstreamCursor::AF_DontAutoprocessAbbrevs); |
| 520 | |
| 521 | switch (Entry.Kind) { |
| 522 | case BitstreamEntry::Error: |
| 523 | return Error("malformed bitcode file"); |
| 524 | case BitstreamEntry::EndBlock: { |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 525 | uint64_t BlockBitEnd = Stream.GetCurrentBitNo(); |
| 526 | BlockStats.NumBits += BlockBitEnd-BlockBitStart; |
| Richard Smith | dc1414b | 2016-02-06 00:46:09 +0000 | [diff] [blame] | 527 | if (DumpRecords) { |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 528 | outs() << Indent << "</"; |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 529 | if (BlockName) |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 530 | outs() << BlockName << ">\n"; |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 531 | else |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 532 | outs() << "UnknownBlock" << BlockID << ">\n"; |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 533 | } |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 534 | return false; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 535 | } |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 536 | |
| 537 | case BitstreamEntry::SubBlock: { |
| Chris Lattner | 9e808cd | 2007-05-05 01:29:31 +0000 | [diff] [blame] | 538 | uint64_t SubBlockBitStart = Stream.GetCurrentBitNo(); |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 539 | if (ParseBlock(Stream, Entry.ID, IndentLevel+1, CurStreamType)) |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 540 | return true; |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 541 | ++BlockStats.NumSubBlocks; |
| Chris Lattner | 9e808cd | 2007-05-05 01:29:31 +0000 | [diff] [blame] | 542 | uint64_t SubBlockBitEnd = Stream.GetCurrentBitNo(); |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 543 | |
| Chris Lattner | 9e808cd | 2007-05-05 01:29:31 +0000 | [diff] [blame] | 544 | // Don't include subblock sizes in the size of this block. |
| 545 | BlockBitStart += SubBlockBitEnd-SubBlockBitStart; |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 546 | continue; |
| 547 | } |
| 548 | case BitstreamEntry::Record: |
| 549 | // The interesting case. |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 550 | break; |
| Chris Lattner | 9e808cd | 2007-05-05 01:29:31 +0000 | [diff] [blame] | 551 | } |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 552 | |
| 553 | if (Entry.ID == bitc::DEFINE_ABBREV) { |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 554 | Stream.ReadAbbrevRecord(); |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 555 | ++BlockStats.NumAbbrevs; |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 556 | continue; |
| 557 | } |
| 558 | |
| 559 | Record.clear(); |
| Chris Lattner | 2ed6a20 | 2009-04-06 22:44:40 +0000 | [diff] [blame] | 560 | |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 561 | ++BlockStats.NumRecords; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 562 | |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 563 | StringRef Blob; |
| Mehdi Amini | d7ad221 | 2016-04-01 05:33:11 +0000 | [diff] [blame] | 564 | unsigned CurrentRecordPos = Stream.getCurrentByteNo(); |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 565 | unsigned Code = Stream.readRecord(Entry.ID, Record, &Blob); |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 566 | |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 567 | // Increment the # occurrences of this code. |
| 568 | if (BlockStats.CodeFreq.size() <= Code) |
| 569 | BlockStats.CodeFreq.resize(Code+1); |
| 570 | BlockStats.CodeFreq[Code].NumInstances++; |
| 571 | BlockStats.CodeFreq[Code].TotalBits += |
| 572 | Stream.GetCurrentBitNo()-RecordStartBit; |
| 573 | if (Entry.ID != bitc::UNABBREV_RECORD) { |
| 574 | BlockStats.CodeFreq[Code].NumAbbrev++; |
| 575 | ++BlockStats.NumAbbreviatedRecords; |
| 576 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 577 | |
| Richard Smith | dc1414b | 2016-02-06 00:46:09 +0000 | [diff] [blame] | 578 | if (DumpRecords) { |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 579 | outs() << Indent << " <"; |
| 580 | if (const char *CodeName = |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 581 | GetCodeName(Code, BlockID, *Stream.getBitStreamReader(), |
| 582 | CurStreamType)) |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 583 | outs() << CodeName; |
| 584 | else |
| 585 | outs() << "UnknownCode" << Code; |
| 586 | if (NonSymbolic && |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 587 | GetCodeName(Code, BlockID, *Stream.getBitStreamReader(), |
| 588 | CurStreamType)) |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 589 | outs() << " codeid=" << Code; |
| Teresa Johnson | b1cfcd4 | 2015-10-08 15:56:24 +0000 | [diff] [blame] | 590 | const BitCodeAbbrev *Abbv = nullptr; |
| 591 | if (Entry.ID != bitc::UNABBREV_RECORD) { |
| 592 | Abbv = Stream.getAbbrev(Entry.ID); |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 593 | outs() << " abbrevid=" << Entry.ID; |
| Teresa Johnson | b1cfcd4 | 2015-10-08 15:56:24 +0000 | [diff] [blame] | 594 | } |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 595 | |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 596 | for (unsigned i = 0, e = Record.size(); i != e; ++i) |
| 597 | outs() << " op" << i << "=" << (int64_t)Record[i]; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 598 | |
| Mehdi Amini | d7ad221 | 2016-04-01 05:33:11 +0000 | [diff] [blame] | 599 | // If we found a module hash, let's verify that it matches! |
| 600 | if (BlockID == bitc::MODULE_BLOCK_ID && Code == bitc::MODULE_CODE_HASH) { |
| 601 | if (Record.size() != 5) |
| 602 | outs() << " (invalid)"; |
| 603 | else { |
| 604 | // Recompute the hash and compare it to the one in the bitcode |
| 605 | SHA1 Hasher; |
| 606 | StringRef Hash; |
| 607 | { |
| 608 | int BlockSize = CurrentRecordPos - BlockEntryPos; |
| 609 | auto Ptr = Stream.getPointerToByte(BlockEntryPos, BlockSize); |
| 610 | Hasher.update(ArrayRef<uint8_t>(Ptr, BlockSize)); |
| 611 | Hash = Hasher.result(); |
| 612 | } |
| 613 | SmallString<20> RecordedHash; |
| 614 | RecordedHash.resize(20); |
| 615 | int Pos = 0; |
| 616 | for (auto &Val : Record) { |
| 617 | assert(!(Val >> 32) && "Unexpected high bits set"); |
| 618 | RecordedHash[Pos++] = (Val >> 24) & 0xFF; |
| 619 | RecordedHash[Pos++] = (Val >> 16) & 0xFF; |
| 620 | RecordedHash[Pos++] = (Val >> 8) & 0xFF; |
| 621 | RecordedHash[Pos++] = (Val >> 0) & 0xFF; |
| 622 | } |
| 623 | if (Hash == RecordedHash) |
| 624 | outs() << " (match)"; |
| 625 | else |
| 626 | outs() << " (!mismatch!)"; |
| 627 | } |
| 628 | } |
| 629 | |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 630 | outs() << "/>"; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 631 | |
| Teresa Johnson | b1cfcd4 | 2015-10-08 15:56:24 +0000 | [diff] [blame] | 632 | if (Abbv) { |
| 633 | for (unsigned i = 1, e = Abbv->getNumOperandInfos(); i != e; ++i) { |
| 634 | const BitCodeAbbrevOp &Op = Abbv->getOperandInfo(i); |
| 635 | if (!Op.isEncoding() || Op.getEncoding() != BitCodeAbbrevOp::Array) |
| 636 | continue; |
| 637 | assert(i + 2 == e && "Array op not second to last"); |
| 638 | std::string Str; |
| 639 | bool ArrayIsPrintable = true; |
| 640 | for (unsigned j = i - 1, je = Record.size(); j != je; ++j) { |
| 641 | if (!isprint(static_cast<unsigned char>(Record[j]))) { |
| 642 | ArrayIsPrintable = false; |
| 643 | break; |
| 644 | } |
| 645 | Str += (char)Record[j]; |
| 646 | } |
| Teresa Johnson | f72278f | 2015-11-02 18:02:11 +0000 | [diff] [blame] | 647 | if (ArrayIsPrintable) |
| 648 | outs() << " record string = '" << Str << "'"; |
| Teresa Johnson | b1cfcd4 | 2015-10-08 15:56:24 +0000 | [diff] [blame] | 649 | break; |
| 650 | } |
| 651 | } |
| 652 | |
| Duncan P. N. Exon Smith | 6565a0d | 2016-03-27 23:17:54 +0000 | [diff] [blame] | 653 | if (Blob.data() && decodeBlob(Code, BlockID, *Stream.getBitStreamReader(), |
| 654 | Indent, Record, Blob)) { |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 655 | outs() << " blob data = "; |
| Jordan Rose | 0fa38b8 | 2015-05-13 18:51:49 +0000 | [diff] [blame] | 656 | if (ShowBinaryBlobs) { |
| 657 | outs() << "'"; |
| 658 | outs().write_escaped(Blob, /*hex=*/true) << "'"; |
| 659 | } else { |
| 660 | bool BlobIsPrintable = true; |
| 661 | for (unsigned i = 0, e = Blob.size(); i != e; ++i) |
| 662 | if (!isprint(static_cast<unsigned char>(Blob[i]))) { |
| 663 | BlobIsPrintable = false; |
| 664 | break; |
| 665 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 666 | |
| Jordan Rose | 0fa38b8 | 2015-05-13 18:51:49 +0000 | [diff] [blame] | 667 | if (BlobIsPrintable) |
| 668 | outs() << "'" << Blob << "'"; |
| 669 | else |
| 670 | outs() << "unprintable, " << Blob.size() << " bytes."; |
| 671 | } |
| Chris Lattner | 3543caa | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 672 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 673 | |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 674 | outs() << "\n"; |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 675 | } |
| 676 | } |
| 677 | } |
| 678 | |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 679 | static void PrintSize(double Bits) { |
| Jan Wen Voung | 52ad208 | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 680 | outs() << format("%.2f/%.2fB/%luW", Bits, Bits/8,(unsigned long)(Bits/32)); |
| Chris Lattner | bf419a9 | 2009-04-27 17:59:34 +0000 | [diff] [blame] | 681 | } |
| 682 | static void PrintSize(uint64_t Bits) { |
| Jan Wen Voung | 52ad208 | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 683 | outs() << format("%lub/%.2fB/%luW", (unsigned long)Bits, |
| 684 | (double)Bits/8, (unsigned long)(Bits/32)); |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 685 | } |
| 686 | |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 687 | static bool openBitcodeFile(StringRef Path, |
| 688 | std::unique_ptr<MemoryBuffer> &MemBuf, |
| 689 | BitstreamReader &StreamFile, |
| 690 | BitstreamCursor &Stream, |
| 691 | CurStreamTypeType &CurStreamType) { |
| Chris Lattner | 0399758 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 692 | // Read the input file. |
| Rafael Espindola | adf21f2 | 2014-07-06 17:43:13 +0000 | [diff] [blame] | 693 | ErrorOr<std::unique_ptr<MemoryBuffer>> MemBufOrErr = |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 694 | MemoryBuffer::getFileOrSTDIN(Path); |
| Rafael Espindola | adf21f2 | 2014-07-06 17:43:13 +0000 | [diff] [blame] | 695 | if (std::error_code EC = MemBufOrErr.getError()) |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 696 | return Error(Twine("Error reading '") + Path + "': " + EC.message()); |
| 697 | MemBuf = std::move(MemBufOrErr.get()); |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 698 | |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 699 | if (MemBuf->getBufferSize() & 3) |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 700 | return Error("Bitcode stream should be a multiple of 4 bytes in length"); |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 701 | |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 702 | const unsigned char *BufPtr = (const unsigned char *)MemBuf->getBufferStart(); |
| 703 | const unsigned char *EndBufPtr = BufPtr + MemBuf->getBufferSize(); |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 704 | |
| Chris Lattner | b9e07fd | 2009-04-06 20:54:32 +0000 | [diff] [blame] | 705 | // If we have a wrapper header, parse it and ignore the non-bc file contents. |
| 706 | // The magic number is 0x0B17C0DE stored in little endian. |
| Akira Hatanaka | 4f472a88 | 2016-01-29 05:55:09 +0000 | [diff] [blame] | 707 | if (isBitcodeWrapper(BufPtr, EndBufPtr)) { |
| Mehdi Amini | eed2693 | 2016-04-01 05:19:14 +0000 | [diff] [blame] | 708 | if (MemBuf->getBufferSize() < BWH_HeaderSize) |
| Akira Hatanaka | 4f472a88 | 2016-01-29 05:55:09 +0000 | [diff] [blame] | 709 | return Error("Invalid bitcode wrapper header"); |
| 710 | |
| 711 | if (Dump) { |
| 712 | unsigned Magic = support::endian::read32le(&BufPtr[BWH_MagicField]); |
| 713 | unsigned Version = support::endian::read32le(&BufPtr[BWH_VersionField]); |
| 714 | unsigned Offset = support::endian::read32le(&BufPtr[BWH_OffsetField]); |
| 715 | unsigned Size = support::endian::read32le(&BufPtr[BWH_SizeField]); |
| 716 | unsigned CPUType = support::endian::read32le(&BufPtr[BWH_CPUTypeField]); |
| 717 | |
| 718 | outs() << "<BITCODE_WRAPPER_HEADER" |
| 719 | << " Magic=" << format_hex(Magic, 10) |
| 720 | << " Version=" << format_hex(Version, 10) |
| 721 | << " Offset=" << format_hex(Offset, 10) |
| 722 | << " Size=" << format_hex(Size, 10) |
| 723 | << " CPUType=" << format_hex(CPUType, 10) << "/>\n"; |
| 724 | } |
| 725 | |
| Derek Schuff | 8b2dcad | 2012-02-06 22:30:29 +0000 | [diff] [blame] | 726 | if (SkipBitcodeWrapperHeader(BufPtr, EndBufPtr, true)) |
| Chris Lattner | b9e07fd | 2009-04-06 20:54:32 +0000 | [diff] [blame] | 727 | return Error("Invalid bitcode wrapper header"); |
| Akira Hatanaka | 4f472a88 | 2016-01-29 05:55:09 +0000 | [diff] [blame] | 728 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 729 | |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 730 | StreamFile = BitstreamReader(BufPtr, EndBufPtr); |
| 731 | Stream = BitstreamCursor(StreamFile); |
| Chris Lattner | 0e3f50d | 2009-04-27 20:04:08 +0000 | [diff] [blame] | 732 | StreamFile.CollectBlockInfoNames(); |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 733 | |
| Chris Lattner | 0399758 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 734 | // Read the stream signature. |
| 735 | char Signature[6]; |
| 736 | Signature[0] = Stream.Read(8); |
| 737 | Signature[1] = Stream.Read(8); |
| 738 | Signature[2] = Stream.Read(4); |
| 739 | Signature[3] = Stream.Read(4); |
| 740 | Signature[4] = Stream.Read(4); |
| 741 | Signature[5] = Stream.Read(4); |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 742 | |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 743 | // Autodetect the file contents, if it is one we know. |
| Chris Lattner | 0399758 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 744 | CurStreamType = UnknownBitstream; |
| 745 | if (Signature[0] == 'B' && Signature[1] == 'C' && |
| 746 | Signature[2] == 0x0 && Signature[3] == 0xC && |
| 747 | Signature[4] == 0xE && Signature[5] == 0xD) |
| 748 | CurStreamType = LLVMIRBitstream; |
| 749 | |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 750 | return false; |
| 751 | } |
| 752 | |
| 753 | /// AnalyzeBitcode - Analyze the bitcode file specified by InputFilename. |
| 754 | static int AnalyzeBitcode() { |
| 755 | std::unique_ptr<MemoryBuffer> StreamBuffer; |
| 756 | BitstreamReader StreamFile; |
| 757 | BitstreamCursor Stream; |
| 758 | CurStreamTypeType CurStreamType; |
| 759 | if (openBitcodeFile(InputFilename, StreamBuffer, StreamFile, Stream, |
| 760 | CurStreamType)) |
| 761 | return true; |
| 762 | |
| 763 | // Read block info from BlockInfoFilename, if specified. |
| 764 | // The block info must be a top-level block. |
| 765 | if (!BlockInfoFilename.empty()) { |
| 766 | std::unique_ptr<MemoryBuffer> BlockInfoBuffer; |
| 767 | BitstreamReader BlockInfoFile; |
| 768 | BitstreamCursor BlockInfoCursor; |
| 769 | CurStreamTypeType BlockInfoStreamType; |
| 770 | if (openBitcodeFile(BlockInfoFilename, BlockInfoBuffer, BlockInfoFile, |
| 771 | BlockInfoCursor, BlockInfoStreamType)) |
| 772 | return true; |
| 773 | |
| 774 | while (!BlockInfoCursor.AtEndOfStream()) { |
| 775 | unsigned Code = BlockInfoCursor.ReadCode(); |
| 776 | if (Code != bitc::ENTER_SUBBLOCK) |
| 777 | return Error("Invalid record at top-level in block info file"); |
| 778 | |
| 779 | unsigned BlockID = BlockInfoCursor.ReadSubBlockID(); |
| 780 | if (BlockID == bitc::BLOCKINFO_BLOCK_ID) { |
| 781 | if (BlockInfoCursor.ReadBlockInfoBlock()) |
| 782 | return Error("Malformed BlockInfoBlock in block info file"); |
| 783 | break; |
| 784 | } |
| 785 | |
| 786 | BlockInfoCursor.SkipBlock(); |
| 787 | } |
| 788 | |
| 789 | StreamFile.takeBlockInfo(std::move(BlockInfoFile)); |
| 790 | } |
| 791 | |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 792 | unsigned NumTopBlocks = 0; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 793 | |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 794 | // Parse the top-level structure. We only allow blocks at the top-level. |
| 795 | while (!Stream.AtEndOfStream()) { |
| 796 | unsigned Code = Stream.ReadCode(); |
| 797 | if (Code != bitc::ENTER_SUBBLOCK) |
| 798 | return Error("Invalid record at top-level"); |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 799 | |
| Chris Lattner | 0271af8 | 2013-01-20 02:50:32 +0000 | [diff] [blame] | 800 | unsigned BlockID = Stream.ReadSubBlockID(); |
| 801 | |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 802 | if (ParseBlock(Stream, BlockID, 0, CurStreamType)) |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 803 | return true; |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 804 | ++NumTopBlocks; |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 805 | } |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 806 | |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 807 | if (Dump) outs() << "\n\n"; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 808 | |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 809 | uint64_t BufferSizeBits = StreamFile.getBitcodeBytes().getExtent() * CHAR_BIT; |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 810 | // Print a summary of the read file. |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 811 | outs() << "Summary of " << InputFilename << ":\n"; |
| 812 | outs() << " Total size: "; |
| Chris Lattner | 5fab65d | 2007-05-01 02:43:46 +0000 | [diff] [blame] | 813 | PrintSize(BufferSizeBits); |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 814 | outs() << "\n"; |
| 815 | outs() << " Stream type: "; |
| Chris Lattner | 0399758 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 816 | switch (CurStreamType) { |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 817 | case UnknownBitstream: outs() << "unknown\n"; break; |
| 818 | case LLVMIRBitstream: outs() << "LLVM IR\n"; break; |
| Chris Lattner | 0399758 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 819 | } |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 820 | outs() << " # Toplevel Blocks: " << NumTopBlocks << "\n"; |
| 821 | outs() << "\n"; |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 822 | |
| 823 | // Emit per-block stats. |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 824 | outs() << "Per-block Summary:\n"; |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 825 | for (std::map<unsigned, PerBlockIDStats>::iterator I = BlockIDStats.begin(), |
| 826 | E = BlockIDStats.end(); I != E; ++I) { |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 827 | outs() << " Block ID #" << I->first; |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 828 | if (const char *BlockName = GetBlockName(I->first, StreamFile, |
| 829 | CurStreamType)) |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 830 | outs() << " (" << BlockName << ")"; |
| 831 | outs() << ":\n"; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 832 | |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 833 | const PerBlockIDStats &Stats = I->second; |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 834 | outs() << " Num Instances: " << Stats.NumInstances << "\n"; |
| 835 | outs() << " Total Size: "; |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 836 | PrintSize(Stats.NumBits); |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 837 | outs() << "\n"; |
| Daniel Dunbar | e813b22 | 2009-09-25 16:04:21 +0000 | [diff] [blame] | 838 | double pct = (Stats.NumBits * 100.0) / BufferSizeBits; |
| Jan Wen Voung | 52ad208 | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 839 | outs() << " Percent of file: " << format("%2.4f%%", pct) << "\n"; |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 840 | if (Stats.NumInstances > 1) { |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 841 | outs() << " Average Size: "; |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 842 | PrintSize(Stats.NumBits/(double)Stats.NumInstances); |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 843 | outs() << "\n"; |
| 844 | outs() << " Tot/Avg SubBlocks: " << Stats.NumSubBlocks << "/" |
| Dan Gohman | d8db376 | 2009-07-15 16:35:29 +0000 | [diff] [blame] | 845 | << Stats.NumSubBlocks/(double)Stats.NumInstances << "\n"; |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 846 | outs() << " Tot/Avg Abbrevs: " << Stats.NumAbbrevs << "/" |
| Dan Gohman | d8db376 | 2009-07-15 16:35:29 +0000 | [diff] [blame] | 847 | << Stats.NumAbbrevs/(double)Stats.NumInstances << "\n"; |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 848 | outs() << " Tot/Avg Records: " << Stats.NumRecords << "/" |
| Dan Gohman | d8db376 | 2009-07-15 16:35:29 +0000 | [diff] [blame] | 849 | << Stats.NumRecords/(double)Stats.NumInstances << "\n"; |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 850 | } else { |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 851 | outs() << " Num SubBlocks: " << Stats.NumSubBlocks << "\n"; |
| 852 | outs() << " Num Abbrevs: " << Stats.NumAbbrevs << "\n"; |
| 853 | outs() << " Num Records: " << Stats.NumRecords << "\n"; |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 854 | } |
| Daniel Dunbar | e813b22 | 2009-09-25 16:04:21 +0000 | [diff] [blame] | 855 | if (Stats.NumRecords) { |
| 856 | double pct = (Stats.NumAbbreviatedRecords * 100.0) / Stats.NumRecords; |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 857 | outs() << " Percent Abbrevs: " << format("%2.4f%%", pct) << "\n"; |
| Daniel Dunbar | e813b22 | 2009-09-25 16:04:21 +0000 | [diff] [blame] | 858 | } |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 859 | outs() << "\n"; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 860 | |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 861 | // Print a histogram of the codes we see. |
| 862 | if (!NoHistogram && !Stats.CodeFreq.empty()) { |
| Mehdi Amini | d263856 | 2015-10-21 06:10:55 +0000 | [diff] [blame] | 863 | std::vector<std::pair<unsigned, unsigned> > FreqPairs; // <freq,code> |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 864 | for (unsigned i = 0, e = Stats.CodeFreq.size(); i != e; ++i) |
| Mehdi Amini | d263856 | 2015-10-21 06:10:55 +0000 | [diff] [blame] | 865 | if (unsigned Freq = Stats.CodeFreq[i].NumInstances) |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 866 | FreqPairs.push_back(std::make_pair(Freq, i)); |
| 867 | std::stable_sort(FreqPairs.begin(), FreqPairs.end()); |
| 868 | std::reverse(FreqPairs.begin(), FreqPairs.end()); |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 869 | |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 870 | outs() << "\tRecord Histogram:\n"; |
| Richard Smith | dc1414b | 2016-02-06 00:46:09 +0000 | [diff] [blame] | 871 | outs() << "\t\t Count # Bits b/Rec % Abv Record Kind\n"; |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 872 | for (unsigned i = 0, e = FreqPairs.size(); i != e; ++i) { |
| Chris Lattner | 1cf8069 | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 873 | const PerRecordStats &RecStats = Stats.CodeFreq[FreqPairs[i].second]; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 874 | |
| Mehdi Amini | d263856 | 2015-10-21 06:10:55 +0000 | [diff] [blame] | 875 | outs() << format("\t\t%7d %9lu", |
| Jan Wen Voung | 05ff570 | 2012-09-05 20:55:57 +0000 | [diff] [blame] | 876 | RecStats.NumInstances, |
| 877 | (unsigned long)RecStats.TotalBits); |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 878 | |
| Richard Smith | dc1414b | 2016-02-06 00:46:09 +0000 | [diff] [blame] | 879 | if (RecStats.NumInstances > 1) |
| 880 | outs() << format(" %9.1f", |
| 881 | (double)RecStats.TotalBits/RecStats.NumInstances); |
| 882 | else |
| 883 | outs() << " "; |
| 884 | |
| Chris Lattner | 1cf8069 | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 885 | if (RecStats.NumAbbrev) |
| Jan Wen Voung | 52ad208 | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 886 | outs() << |
| Richard Smith | dc1414b | 2016-02-06 00:46:09 +0000 | [diff] [blame] | 887 | format(" %7.2f", |
| Jan Wen Voung | 52ad208 | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 888 | (double)RecStats.NumAbbrev/RecStats.NumInstances*100); |
| Chris Lattner | 1cf8069 | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 889 | else |
| Richard Smith | dc1414b | 2016-02-06 00:46:09 +0000 | [diff] [blame] | 890 | outs() << " "; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 891 | |
| Richard Smith | dc1414b | 2016-02-06 00:46:09 +0000 | [diff] [blame] | 892 | outs() << " "; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 893 | if (const char *CodeName = |
| Jordan Rose | 88eb534 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 894 | GetCodeName(FreqPairs[i].second, I->first, StreamFile, |
| 895 | CurStreamType)) |
| Jan Wen Voung | 52ad208 | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 896 | outs() << CodeName << "\n"; |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 897 | else |
| Jan Wen Voung | 52ad208 | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 898 | outs() << "UnknownCode" << FreqPairs[i].second << "\n"; |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 899 | } |
| Chris Lattner | 633ab16 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 900 | outs() << "\n"; |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 901 | |
| Chris Lattner | 4a7ac9f | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 902 | } |
| Chris Lattner | 1684cee | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 903 | } |
| Chris Lattner | 0399758 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 904 | return 0; |
| 905 | } |
| Reid Spencer | db5c86d | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 906 | |
| Chris Lattner | ca0ea54 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 907 | |
| Chris Lattner | 76d4632 | 2006-12-06 01:18:01 +0000 | [diff] [blame] | 908 | int main(int argc, char **argv) { |
| Chris Lattner | e3fc2d1 | 2009-03-06 05:34:10 +0000 | [diff] [blame] | 909 | // Print a stack trace if we signal out. |
| Chris Lattner | 0399758 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 910 | sys::PrintStackTraceOnErrorSignal(); |
| Chris Lattner | e3fc2d1 | 2009-03-06 05:34:10 +0000 | [diff] [blame] | 911 | PrettyStackTraceProgram X(argc, argv); |
| 912 | llvm_shutdown_obj Y; // Call llvm_shutdown() on exit. |
| 913 | cl::ParseCommandLineOptions(argc, argv, "llvm-bcanalyzer file analyzer\n"); |
| Daniel Dunbar | 75359a7c | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 914 | |
| Chris Lattner | 6d80e21 | 2007-05-06 09:29:57 +0000 | [diff] [blame] | 915 | return AnalyzeBitcode(); |
| Reid Spencer | db5c86d | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 916 | } |