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