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