Gabor Greif | 8ff70c2 | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 1 | //===-- llvm-bcanalyzer.cpp - Bitcode Analyzer --------------------------===// |
Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 2 | // |
Reid Spencer | dac69c8 | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 21c62da | 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 | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 7 | // |
Reid Spencer | dac69c8 | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Reid Spencer | 96684ef | 2004-06-08 05:56:58 +0000 | [diff] [blame] | 10 | // This tool may be invoked in the following manner: |
Gabor Greif | 8ff70c2 | 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 | dac69c8 | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 13 | // |
Reid Spencer | 96684ef | 2004-06-08 05:56:58 +0000 | [diff] [blame] | 14 | // Options: |
Reid Spencer | 23d46e7 | 2004-06-10 18:38:44 +0000 | [diff] [blame] | 15 | // --help - Output information about command line switches |
Gabor Greif | 8ff70c2 | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 16 | // --dump - Dump low-level bitcode structure in readable format |
Reid Spencer | 96684ef | 2004-06-08 05:56:58 +0000 | [diff] [blame] | 17 | // |
Gabor Greif | 8ff70c2 | 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 | 23d46e7 | 2004-06-10 18:38:44 +0000 | [diff] [blame] | 21 | // statistics about the contents of the file. By default this information is |
Gabor Greif | 8ff70c2 | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 22 | // detailed and contains information about individual bitcode blocks and the |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 23 | // functions in the module. |
Gabor Greif | 8ff70c2 | 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 | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 25 | // format that shows the containment and relationships of the information in |
Gabor Greif | 8ff70c2 | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 26 | // the bitcode file (-dump option). |
Chris Lattner | 63db485 | 2007-04-29 05:51:00 +0000 | [diff] [blame] | 27 | // |
Reid Spencer | dac69c8 | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 28 | //===----------------------------------------------------------------------===// |
| 29 | |
Michael J. Spencer | 3ff9563 | 2010-12-16 03:29:14 +0000 | [diff] [blame] | 30 | #include "llvm/ADT/OwningPtr.h" |
Reid Spencer | 86a9a7a | 2004-06-29 23:34:27 +0000 | [diff] [blame] | 31 | #include "llvm/Analysis/Verifier.h" |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 32 | #include "llvm/Bitcode/BitstreamReader.h" |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 33 | #include "llvm/Bitcode/LLVMBitCodes.h" |
Chris Lattner | e2a466b | 2009-04-06 20:54:32 +0000 | [diff] [blame] | 34 | #include "llvm/Bitcode/ReaderWriter.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 35 | #include "llvm/Support/CommandLine.h" |
Daniel Dunbar | 42985bb | 2009-09-25 16:04:21 +0000 | [diff] [blame] | 36 | #include "llvm/Support/Format.h" |
Chris Lattner | c30598b | 2006-12-06 01:18:01 +0000 | [diff] [blame] | 37 | #include "llvm/Support/ManagedStatic.h" |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 38 | #include "llvm/Support/MemoryBuffer.h" |
Chris Lattner | cc14d25 | 2009-03-06 05:34:10 +0000 | [diff] [blame] | 39 | #include "llvm/Support/PrettyStackTrace.h" |
Chris Lattner | 74382b7 | 2009-08-23 22:45:37 +0000 | [diff] [blame] | 40 | #include "llvm/Support/raw_ostream.h" |
Michael J. Spencer | 1f6efa3 | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 41 | #include "llvm/Support/Signals.h" |
Michael J. Spencer | 333fb04 | 2010-12-09 17:36:48 +0000 | [diff] [blame] | 42 | #include "llvm/Support/system_error.h" |
Jan Wen Voung | 851343c | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 43 | |
Chris Lattner | 44dadff | 2007-05-06 09:29:57 +0000 | [diff] [blame] | 44 | #include <map> |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 45 | #include <algorithm> |
Reid Spencer | dac69c8 | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 46 | using namespace llvm; |
| 47 | |
| 48 | static cl::opt<std::string> |
Gabor Greif | 8ff70c2 | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 49 | InputFilename(cl::Positional, cl::desc("<input bitcode>"), cl::init("-")); |
Reid Spencer | dac69c8 | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 50 | |
Gabor Greif | 8ff70c2 | 2007-07-04 21:55:50 +0000 | [diff] [blame] | 51 | static cl::opt<bool> Dump("dump", cl::desc("Dump low level bitcode trace")); |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 52 | |
| 53 | //===----------------------------------------------------------------------===// |
| 54 | // Bitcode specific analysis. |
| 55 | //===----------------------------------------------------------------------===// |
| 56 | |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 57 | static cl::opt<bool> NoHistogram("disable-histogram", |
| 58 | cl::desc("Do not print per-code histogram")); |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 59 | |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 60 | static cl::opt<bool> |
| 61 | NonSymbolic("non-symbolic", |
Michael J. Spencer | 3ff9563 | 2010-12-16 03:29:14 +0000 | [diff] [blame] | 62 | cl::desc("Emit numeric info in dump even if" |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 63 | " symbolic info is available")); |
| 64 | |
Dan Gohman | e7e4b51 | 2010-12-09 20:35:40 +0000 | [diff] [blame] | 65 | namespace { |
| 66 | |
| 67 | /// CurStreamTypeType - A type for CurStreamType |
| 68 | enum CurStreamTypeType { |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 69 | UnknownBitstream, |
| 70 | LLVMIRBitstream |
Dan Gohman | e7e4b51 | 2010-12-09 20:35:40 +0000 | [diff] [blame] | 71 | }; |
| 72 | |
| 73 | } |
| 74 | |
| 75 | /// CurStreamType - If we can sniff the flavor of this stream, we can produce |
| 76 | /// better dump info. |
| 77 | static CurStreamTypeType CurStreamType; |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 78 | |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 79 | |
| 80 | /// GetBlockName - Return a symbolic block name if known, otherwise return |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 81 | /// null. |
Chris Lattner | f9a3ec8 | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 82 | static const char *GetBlockName(unsigned BlockID, |
| 83 | const BitstreamReader &StreamFile) { |
Chris Lattner | 1772b12 | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 84 | // Standard blocks for all bitcode files. |
| 85 | if (BlockID < bitc::FIRST_APPLICATION_BLOCKID) { |
| 86 | if (BlockID == bitc::BLOCKINFO_BLOCK_ID) |
| 87 | return "BLOCKINFO_BLOCK"; |
| 88 | return 0; |
| 89 | } |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 90 | |
Chris Lattner | f9a3ec8 | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 91 | // Check to see if we have a blockinfo record for this block, with a name. |
| 92 | if (const BitstreamReader::BlockInfo *Info = |
| 93 | StreamFile.getBlockInfo(BlockID)) { |
| 94 | if (!Info->Name.empty()) |
| 95 | return Info->Name.c_str(); |
| 96 | } |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 97 | |
| 98 | |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 99 | if (CurStreamType != LLVMIRBitstream) return 0; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 100 | |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 101 | switch (BlockID) { |
Devang Patel | e8e0213 | 2009-09-18 19:26:43 +0000 | [diff] [blame] | 102 | default: return 0; |
| 103 | case bitc::MODULE_BLOCK_ID: return "MODULE_BLOCK"; |
| 104 | case bitc::PARAMATTR_BLOCK_ID: return "PARAMATTR_BLOCK"; |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 105 | case bitc::TYPE_BLOCK_ID_NEW: return "TYPE_BLOCK_ID"; |
Devang Patel | e8e0213 | 2009-09-18 19:26:43 +0000 | [diff] [blame] | 106 | case bitc::CONSTANTS_BLOCK_ID: return "CONSTANTS_BLOCK"; |
| 107 | case bitc::FUNCTION_BLOCK_ID: return "FUNCTION_BLOCK"; |
Devang Patel | e8e0213 | 2009-09-18 19:26:43 +0000 | [diff] [blame] | 108 | case bitc::VALUE_SYMTAB_BLOCK_ID: return "VALUE_SYMTAB"; |
| 109 | case bitc::METADATA_BLOCK_ID: return "METADATA_BLOCK"; |
| 110 | case bitc::METADATA_ATTACHMENT_ID: return "METADATA_ATTACHMENT_BLOCK"; |
Chad Rosier | 837b4e4 | 2011-12-07 21:45:13 +0000 | [diff] [blame] | 111 | case bitc::USELIST_BLOCK_ID: return "USELIST_BLOCK_ID"; |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 112 | } |
| 113 | } |
| 114 | |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 115 | /// GetCodeName - Return a symbolic code name if known, otherwise return |
| 116 | /// null. |
Chris Lattner | f9a3ec8 | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 117 | static const char *GetCodeName(unsigned CodeID, unsigned BlockID, |
| 118 | const BitstreamReader &StreamFile) { |
Chris Lattner | 1772b12 | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 119 | // Standard blocks for all bitcode files. |
| 120 | if (BlockID < bitc::FIRST_APPLICATION_BLOCKID) { |
| 121 | if (BlockID == bitc::BLOCKINFO_BLOCK_ID) { |
| 122 | switch (CodeID) { |
| 123 | default: return 0; |
Chris Lattner | f9a3ec8 | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 124 | case bitc::BLOCKINFO_CODE_SETBID: return "SETBID"; |
| 125 | case bitc::BLOCKINFO_CODE_BLOCKNAME: return "BLOCKNAME"; |
| 126 | case bitc::BLOCKINFO_CODE_SETRECORDNAME: return "SETRECORDNAME"; |
Chris Lattner | 1772b12 | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 127 | } |
| 128 | } |
| 129 | return 0; |
| 130 | } |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 131 | |
Chris Lattner | f9a3ec8 | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 132 | // Check to see if we have a blockinfo record for this record, with a name. |
| 133 | if (const BitstreamReader::BlockInfo *Info = |
| 134 | StreamFile.getBlockInfo(BlockID)) { |
| 135 | for (unsigned i = 0, e = Info->RecordNames.size(); i != e; ++i) |
| 136 | if (Info->RecordNames[i].first == CodeID) |
| 137 | return Info->RecordNames[i].second.c_str(); |
| 138 | } |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 139 | |
| 140 | |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 141 | if (CurStreamType != LLVMIRBitstream) return 0; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 142 | |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 143 | switch (BlockID) { |
| 144 | default: return 0; |
| 145 | case bitc::MODULE_BLOCK_ID: |
| 146 | switch (CodeID) { |
| 147 | default: return 0; |
| 148 | case bitc::MODULE_CODE_VERSION: return "VERSION"; |
| 149 | case bitc::MODULE_CODE_TRIPLE: return "TRIPLE"; |
| 150 | case bitc::MODULE_CODE_DATALAYOUT: return "DATALAYOUT"; |
| 151 | case bitc::MODULE_CODE_ASM: return "ASM"; |
| 152 | case bitc::MODULE_CODE_SECTIONNAME: return "SECTIONNAME"; |
Bill Wendling | 3defc0b | 2012-11-28 08:41:48 +0000 | [diff] [blame^] | 153 | case bitc::MODULE_CODE_DEPLIB: return "DEPLIB"; // FIXME: Remove in 4.0 |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 154 | case bitc::MODULE_CODE_GLOBALVAR: return "GLOBALVAR"; |
| 155 | case bitc::MODULE_CODE_FUNCTION: return "FUNCTION"; |
| 156 | case bitc::MODULE_CODE_ALIAS: return "ALIAS"; |
| 157 | case bitc::MODULE_CODE_PURGEVALS: return "PURGEVALS"; |
Nick Lewycky | 82b80d9 | 2008-11-07 14:52:51 +0000 | [diff] [blame] | 158 | case bitc::MODULE_CODE_GCNAME: return "GCNAME"; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 159 | } |
Chris Lattner | cd5b7d7 | 2007-05-04 03:01:41 +0000 | [diff] [blame] | 160 | case bitc::PARAMATTR_BLOCK_ID: |
| 161 | switch (CodeID) { |
| 162 | default: return 0; |
| 163 | case bitc::PARAMATTR_CODE_ENTRY: return "ENTRY"; |
| 164 | } |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 165 | case bitc::TYPE_BLOCK_ID_NEW: |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 166 | switch (CodeID) { |
| 167 | default: return 0; |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 168 | case bitc::TYPE_CODE_NUMENTRY: return "NUMENTRY"; |
| 169 | case bitc::TYPE_CODE_VOID: return "VOID"; |
| 170 | case bitc::TYPE_CODE_FLOAT: return "FLOAT"; |
| 171 | case bitc::TYPE_CODE_DOUBLE: return "DOUBLE"; |
| 172 | case bitc::TYPE_CODE_LABEL: return "LABEL"; |
| 173 | case bitc::TYPE_CODE_OPAQUE: return "OPAQUE"; |
| 174 | case bitc::TYPE_CODE_INTEGER: return "INTEGER"; |
| 175 | case bitc::TYPE_CODE_POINTER: return "POINTER"; |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 176 | case bitc::TYPE_CODE_ARRAY: return "ARRAY"; |
| 177 | case bitc::TYPE_CODE_VECTOR: return "VECTOR"; |
| 178 | case bitc::TYPE_CODE_X86_FP80: return "X86_FP80"; |
| 179 | case bitc::TYPE_CODE_FP128: return "FP128"; |
| 180 | case bitc::TYPE_CODE_PPC_FP128: return "PPC_FP128"; |
| 181 | case bitc::TYPE_CODE_METADATA: return "METADATA"; |
| 182 | case bitc::TYPE_CODE_STRUCT_ANON: return "STRUCT_ANON"; |
| 183 | case bitc::TYPE_CODE_STRUCT_NAME: return "STRUCT_NAME"; |
| 184 | case bitc::TYPE_CODE_STRUCT_NAMED: return "STRUCT_NAMED"; |
Chad Rosier | cde5464 | 2011-11-03 00:14:01 +0000 | [diff] [blame] | 185 | case bitc::TYPE_CODE_FUNCTION: return "FUNCTION"; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 186 | } |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 187 | |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 188 | case bitc::CONSTANTS_BLOCK_ID: |
| 189 | switch (CodeID) { |
| 190 | default: return 0; |
Duncan Sands | 0cad4e3 | 2009-09-25 12:28:37 +0000 | [diff] [blame] | 191 | case bitc::CST_CODE_SETTYPE: return "SETTYPE"; |
| 192 | case bitc::CST_CODE_NULL: return "NULL"; |
| 193 | case bitc::CST_CODE_UNDEF: return "UNDEF"; |
| 194 | case bitc::CST_CODE_INTEGER: return "INTEGER"; |
| 195 | case bitc::CST_CODE_WIDE_INTEGER: return "WIDE_INTEGER"; |
| 196 | case bitc::CST_CODE_FLOAT: return "FLOAT"; |
| 197 | case bitc::CST_CODE_AGGREGATE: return "AGGREGATE"; |
| 198 | case bitc::CST_CODE_STRING: return "STRING"; |
| 199 | case bitc::CST_CODE_CSTRING: return "CSTRING"; |
| 200 | case bitc::CST_CODE_CE_BINOP: return "CE_BINOP"; |
| 201 | case bitc::CST_CODE_CE_CAST: return "CE_CAST"; |
| 202 | case bitc::CST_CODE_CE_GEP: return "CE_GEP"; |
| 203 | case bitc::CST_CODE_CE_INBOUNDS_GEP: return "CE_INBOUNDS_GEP"; |
| 204 | case bitc::CST_CODE_CE_SELECT: return "CE_SELECT"; |
| 205 | case bitc::CST_CODE_CE_EXTRACTELT: return "CE_EXTRACTELT"; |
| 206 | case bitc::CST_CODE_CE_INSERTELT: return "CE_INSERTELT"; |
| 207 | case bitc::CST_CODE_CE_SHUFFLEVEC: return "CE_SHUFFLEVEC"; |
| 208 | case bitc::CST_CODE_CE_CMP: return "CE_CMP"; |
| 209 | case bitc::CST_CODE_INLINEASM: return "INLINEASM"; |
| 210 | case bitc::CST_CODE_CE_SHUFVEC_EX: return "CE_SHUFVEC_EX"; |
Chris Lattner | d408f06 | 2012-01-30 00:51:16 +0000 | [diff] [blame] | 211 | case bitc::CST_CODE_BLOCKADDRESS: return "CST_CODE_BLOCKADDRESS"; |
| 212 | case bitc::CST_CODE_DATA: return "DATA"; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 213 | } |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 214 | case bitc::FUNCTION_BLOCK_ID: |
| 215 | switch (CodeID) { |
| 216 | default: return 0; |
| 217 | case bitc::FUNC_CODE_DECLAREBLOCKS: return "DECLAREBLOCKS"; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 218 | |
Duncan Sands | 0cad4e3 | 2009-09-25 12:28:37 +0000 | [diff] [blame] | 219 | case bitc::FUNC_CODE_INST_BINOP: return "INST_BINOP"; |
| 220 | case bitc::FUNC_CODE_INST_CAST: return "INST_CAST"; |
| 221 | case bitc::FUNC_CODE_INST_GEP: return "INST_GEP"; |
| 222 | case bitc::FUNC_CODE_INST_INBOUNDS_GEP: return "INST_INBOUNDS_GEP"; |
| 223 | case bitc::FUNC_CODE_INST_SELECT: return "INST_SELECT"; |
| 224 | case bitc::FUNC_CODE_INST_EXTRACTELT: return "INST_EXTRACTELT"; |
| 225 | case bitc::FUNC_CODE_INST_INSERTELT: return "INST_INSERTELT"; |
| 226 | case bitc::FUNC_CODE_INST_SHUFFLEVEC: return "INST_SHUFFLEVEC"; |
| 227 | case bitc::FUNC_CODE_INST_CMP: return "INST_CMP"; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 228 | |
Duncan Sands | 0cad4e3 | 2009-09-25 12:28:37 +0000 | [diff] [blame] | 229 | case bitc::FUNC_CODE_INST_RET: return "INST_RET"; |
| 230 | case bitc::FUNC_CODE_INST_BR: return "INST_BR"; |
| 231 | case bitc::FUNC_CODE_INST_SWITCH: return "INST_SWITCH"; |
| 232 | case bitc::FUNC_CODE_INST_INVOKE: return "INST_INVOKE"; |
Duncan Sands | 0cad4e3 | 2009-09-25 12:28:37 +0000 | [diff] [blame] | 233 | case bitc::FUNC_CODE_INST_UNREACHABLE: return "INST_UNREACHABLE"; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 234 | |
Duncan Sands | 0cad4e3 | 2009-09-25 12:28:37 +0000 | [diff] [blame] | 235 | case bitc::FUNC_CODE_INST_PHI: return "INST_PHI"; |
Duncan Sands | 0cad4e3 | 2009-09-25 12:28:37 +0000 | [diff] [blame] | 236 | case bitc::FUNC_CODE_INST_ALLOCA: return "INST_ALLOCA"; |
| 237 | case bitc::FUNC_CODE_INST_LOAD: return "INST_LOAD"; |
Duncan Sands | 0cad4e3 | 2009-09-25 12:28:37 +0000 | [diff] [blame] | 238 | case bitc::FUNC_CODE_INST_VAARG: return "INST_VAARG"; |
Chris Lattner | 4f6bab9 | 2011-06-17 18:17:37 +0000 | [diff] [blame] | 239 | case bitc::FUNC_CODE_INST_STORE: return "INST_STORE"; |
Duncan Sands | 0cad4e3 | 2009-09-25 12:28:37 +0000 | [diff] [blame] | 240 | case bitc::FUNC_CODE_INST_EXTRACTVAL: return "INST_EXTRACTVAL"; |
| 241 | case bitc::FUNC_CODE_INST_INSERTVAL: return "INST_INSERTVAL"; |
| 242 | case bitc::FUNC_CODE_INST_CMP2: return "INST_CMP2"; |
| 243 | case bitc::FUNC_CODE_INST_VSELECT: return "INST_VSELECT"; |
Chris Lattner | a624524 | 2010-04-03 02:17:50 +0000 | [diff] [blame] | 244 | case bitc::FUNC_CODE_DEBUG_LOC_AGAIN: return "DEBUG_LOC_AGAIN"; |
Chris Lattner | 4f6bab9 | 2011-06-17 18:17:37 +0000 | [diff] [blame] | 245 | case bitc::FUNC_CODE_INST_CALL: return "INST_CALL"; |
| 246 | case bitc::FUNC_CODE_DEBUG_LOC: return "DEBUG_LOC"; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 247 | } |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 248 | case bitc::VALUE_SYMTAB_BLOCK_ID: |
| 249 | switch (CodeID) { |
| 250 | default: return 0; |
| 251 | case bitc::VST_CODE_ENTRY: return "ENTRY"; |
Chris Lattner | cd5b7d7 | 2007-05-04 03:01:41 +0000 | [diff] [blame] | 252 | case bitc::VST_CODE_BBENTRY: return "BBENTRY"; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 253 | } |
Devang Patel | e8e0213 | 2009-09-18 19:26:43 +0000 | [diff] [blame] | 254 | case bitc::METADATA_ATTACHMENT_ID: |
| 255 | switch(CodeID) { |
| 256 | default:return 0; |
Chris Lattner | 9d61dd9 | 2011-06-17 17:50:30 +0000 | [diff] [blame] | 257 | case bitc::METADATA_ATTACHMENT: return "METADATA_ATTACHMENT"; |
Devang Patel | e8e0213 | 2009-09-18 19:26:43 +0000 | [diff] [blame] | 258 | } |
Devang Patel | e54abc9 | 2009-07-22 17:43:22 +0000 | [diff] [blame] | 259 | case bitc::METADATA_BLOCK_ID: |
| 260 | switch(CodeID) { |
| 261 | default:return 0; |
Dan Gohman | 43906f9 | 2010-07-16 18:28:07 +0000 | [diff] [blame] | 262 | case bitc::METADATA_STRING: return "METADATA_STRING"; |
Devang Patel | 124e6eb | 2009-07-30 23:03:19 +0000 | [diff] [blame] | 263 | case bitc::METADATA_NAME: return "METADATA_NAME"; |
Devang Patel | e8e0213 | 2009-09-18 19:26:43 +0000 | [diff] [blame] | 264 | case bitc::METADATA_KIND: return "METADATA_KIND"; |
Chris Lattner | 9d61dd9 | 2011-06-17 17:50:30 +0000 | [diff] [blame] | 265 | case bitc::METADATA_NODE: return "METADATA_NODE"; |
| 266 | case bitc::METADATA_FN_NODE: return "METADATA_FN_NODE"; |
| 267 | case bitc::METADATA_NAMED_NODE: return "METADATA_NAMED_NODE"; |
Devang Patel | e54abc9 | 2009-07-22 17:43:22 +0000 | [diff] [blame] | 268 | } |
Chad Rosier | 837b4e4 | 2011-12-07 21:45:13 +0000 | [diff] [blame] | 269 | case bitc::USELIST_BLOCK_ID: |
| 270 | switch(CodeID) { |
| 271 | default:return 0; |
| 272 | case bitc::USELIST_CODE_ENTRY: return "USELIST_CODE_ENTRY"; |
| 273 | } |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 274 | } |
| 275 | } |
| 276 | |
Chris Lattner | 2443747 | 2009-04-27 17:59:34 +0000 | [diff] [blame] | 277 | struct PerRecordStats { |
| 278 | unsigned NumInstances; |
Chris Lattner | c167cac | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 279 | unsigned NumAbbrev; |
| 280 | uint64_t TotalBits; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 281 | |
Chris Lattner | c167cac | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 282 | PerRecordStats() : NumInstances(0), NumAbbrev(0), TotalBits(0) {} |
Chris Lattner | 2443747 | 2009-04-27 17:59:34 +0000 | [diff] [blame] | 283 | }; |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 284 | |
| 285 | struct PerBlockIDStats { |
| 286 | /// NumInstances - This the number of times this block ID has been seen. |
| 287 | unsigned NumInstances; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 288 | |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 289 | /// NumBits - The total size in bits of all of these blocks. |
| 290 | uint64_t NumBits; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 291 | |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 292 | /// NumSubBlocks - The total number of blocks these blocks contain. |
| 293 | unsigned NumSubBlocks; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 294 | |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 295 | /// NumAbbrevs - The total number of abbreviations. |
| 296 | unsigned NumAbbrevs; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 297 | |
| 298 | /// NumRecords - The total number of records these blocks contain, and the |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 299 | /// number that are abbreviated. |
| 300 | unsigned NumRecords, NumAbbreviatedRecords; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 301 | |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 302 | /// CodeFreq - Keep track of the number of times we see each code. |
Chris Lattner | 2443747 | 2009-04-27 17:59:34 +0000 | [diff] [blame] | 303 | std::vector<PerRecordStats> CodeFreq; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 304 | |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 305 | PerBlockIDStats() |
| 306 | : NumInstances(0), NumBits(0), |
| 307 | NumSubBlocks(0), NumAbbrevs(0), NumRecords(0), NumAbbreviatedRecords(0) {} |
| 308 | }; |
| 309 | |
| 310 | static std::map<unsigned, PerBlockIDStats> BlockIDStats; |
| 311 | |
| 312 | |
| 313 | |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 314 | /// Error - All bitcode analysis errors go through this function, making this a |
| 315 | /// good place to breakpoint if debugging. |
| 316 | static bool Error(const std::string &Err) { |
Dan Gohman | 65f57c2 | 2009-07-15 16:35:29 +0000 | [diff] [blame] | 317 | errs() << Err << "\n"; |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 318 | return true; |
| 319 | } |
| 320 | |
| 321 | /// ParseBlock - Read a block, updating statistics, etc. |
Chris Lattner | 962dde3 | 2009-04-26 20:59:02 +0000 | [diff] [blame] | 322 | static bool ParseBlock(BitstreamCursor &Stream, unsigned IndentLevel) { |
Chris Lattner | 1772b12 | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 323 | std::string Indent(IndentLevel*2, ' '); |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 324 | uint64_t BlockBitStart = Stream.GetCurrentBitNo(); |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 325 | unsigned BlockID = Stream.ReadSubBlockID(); |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 326 | |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 327 | // Get the statistics for this BlockID. |
| 328 | PerBlockIDStats &BlockStats = BlockIDStats[BlockID]; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 329 | |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 330 | BlockStats.NumInstances++; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 331 | |
Chris Lattner | 1772b12 | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 332 | // BLOCKINFO is a special part of the stream. |
| 333 | if (BlockID == bitc::BLOCKINFO_BLOCK_ID) { |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 334 | if (Dump) outs() << Indent << "<BLOCKINFO_BLOCK/>\n"; |
Chris Lattner | 1772b12 | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 335 | if (Stream.ReadBlockInfoBlock()) |
| 336 | return Error("Malformed BlockInfoBlock"); |
| 337 | uint64_t BlockBitEnd = Stream.GetCurrentBitNo(); |
| 338 | BlockStats.NumBits += BlockBitEnd-BlockBitStart; |
| 339 | return false; |
| 340 | } |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 341 | |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 342 | unsigned NumWords = 0; |
Chris Lattner | 1772b12 | 2007-05-05 00:17:42 +0000 | [diff] [blame] | 343 | if (Stream.EnterSubBlock(BlockID, &NumWords)) |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 344 | return Error("Malformed block record"); |
| 345 | |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 346 | const char *BlockName = 0; |
| 347 | if (Dump) { |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 348 | outs() << Indent << "<"; |
Chris Lattner | f9a3ec8 | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 349 | if ((BlockName = GetBlockName(BlockID, *Stream.getBitStreamReader()))) |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 350 | outs() << BlockName; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 351 | else |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 352 | outs() << "UnknownBlock" << BlockID; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 353 | |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 354 | if (NonSymbolic && BlockName) |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 355 | outs() << " BlockID=" << BlockID; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 356 | |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 357 | outs() << " NumWords=" << NumWords |
Dan Gohman | 65f57c2 | 2009-07-15 16:35:29 +0000 | [diff] [blame] | 358 | << " BlockCodeSize=" << Stream.GetAbbrevIDWidth() << ">\n"; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 359 | } |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 360 | |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 361 | SmallVector<uint64_t, 64> Record; |
| 362 | |
| 363 | // Read all the records for this block. |
| 364 | while (1) { |
| 365 | if (Stream.AtEndOfStream()) |
| 366 | return Error("Premature end of bitstream"); |
| 367 | |
Chris Lattner | c167cac | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 368 | uint64_t RecordStartBit = Stream.GetCurrentBitNo(); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 369 | |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 370 | // Read the code for this record. |
| 371 | unsigned AbbrevID = Stream.ReadCode(); |
| 372 | switch (AbbrevID) { |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 373 | case bitc::END_BLOCK: { |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 374 | if (Stream.ReadBlockEnd()) |
| 375 | return Error("Error at end of block"); |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 376 | uint64_t BlockBitEnd = Stream.GetCurrentBitNo(); |
| 377 | BlockStats.NumBits += BlockBitEnd-BlockBitStart; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 378 | if (Dump) { |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 379 | outs() << Indent << "</"; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 380 | if (BlockName) |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 381 | outs() << BlockName << ">\n"; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 382 | else |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 383 | outs() << "UnknownBlock" << BlockID << ">\n"; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 384 | } |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 385 | return false; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 386 | } |
Chris Lattner | 44b0f10 | 2007-05-05 01:29:31 +0000 | [diff] [blame] | 387 | case bitc::ENTER_SUBBLOCK: { |
| 388 | uint64_t SubBlockBitStart = Stream.GetCurrentBitNo(); |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 389 | if (ParseBlock(Stream, IndentLevel+1)) |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 390 | return true; |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 391 | ++BlockStats.NumSubBlocks; |
Chris Lattner | 44b0f10 | 2007-05-05 01:29:31 +0000 | [diff] [blame] | 392 | uint64_t SubBlockBitEnd = Stream.GetCurrentBitNo(); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 393 | |
Chris Lattner | 44b0f10 | 2007-05-05 01:29:31 +0000 | [diff] [blame] | 394 | // Don't include subblock sizes in the size of this block. |
| 395 | BlockBitStart += SubBlockBitEnd-SubBlockBitStart; |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 396 | break; |
Chris Lattner | 44b0f10 | 2007-05-05 01:29:31 +0000 | [diff] [blame] | 397 | } |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 398 | case bitc::DEFINE_ABBREV: |
| 399 | Stream.ReadAbbrevRecord(); |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 400 | ++BlockStats.NumAbbrevs; |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 401 | break; |
| 402 | default: |
| 403 | Record.clear(); |
Chris Lattner | 3f75d31 | 2009-04-06 22:44:40 +0000 | [diff] [blame] | 404 | |
| 405 | ++BlockStats.NumRecords; |
Chris Lattner | ae7dd80 | 2009-04-07 02:56:46 +0000 | [diff] [blame] | 406 | if (AbbrevID != bitc::UNABBREV_RECORD) |
Chris Lattner | 3f75d31 | 2009-04-06 22:44:40 +0000 | [diff] [blame] | 407 | ++BlockStats.NumAbbreviatedRecords; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 408 | |
Chris Lattner | 3f75d31 | 2009-04-06 22:44:40 +0000 | [diff] [blame] | 409 | const char *BlobStart = 0; |
| 410 | unsigned BlobLen = 0; |
Chris Lattner | ae7dd80 | 2009-04-07 02:56:46 +0000 | [diff] [blame] | 411 | unsigned Code = Stream.ReadRecord(AbbrevID, Record, BlobStart, BlobLen); |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 412 | |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 413 | |
| 414 | |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 415 | // Increment the # occurrences of this code. |
| 416 | if (BlockStats.CodeFreq.size() <= Code) |
| 417 | BlockStats.CodeFreq.resize(Code+1); |
Chris Lattner | 2443747 | 2009-04-27 17:59:34 +0000 | [diff] [blame] | 418 | BlockStats.CodeFreq[Code].NumInstances++; |
Chris Lattner | c167cac | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 419 | BlockStats.CodeFreq[Code].TotalBits += |
| 420 | Stream.GetCurrentBitNo()-RecordStartBit; |
| 421 | if (AbbrevID != bitc::UNABBREV_RECORD) |
| 422 | BlockStats.CodeFreq[Code].NumAbbrev++; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 423 | |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 424 | if (Dump) { |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 425 | outs() << Indent << " <"; |
Chris Lattner | f9a3ec8 | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 426 | if (const char *CodeName = |
| 427 | GetCodeName(Code, BlockID, *Stream.getBitStreamReader())) |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 428 | outs() << CodeName; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 429 | else |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 430 | outs() << "UnknownCode" << Code; |
Chris Lattner | f9a3ec8 | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 431 | if (NonSymbolic && |
| 432 | GetCodeName(Code, BlockID, *Stream.getBitStreamReader())) |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 433 | outs() << " codeid=" << Code; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 434 | if (AbbrevID != bitc::UNABBREV_RECORD) |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 435 | outs() << " abbrevid=" << AbbrevID; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 436 | |
| 437 | for (unsigned i = 0, e = Record.size(); i != e; ++i) |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 438 | outs() << " op" << i << "=" << (int64_t)Record[i]; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 439 | |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 440 | outs() << "/>"; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 441 | |
Chris Lattner | ae7dd80 | 2009-04-07 02:56:46 +0000 | [diff] [blame] | 442 | if (BlobStart) { |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 443 | outs() << " blob data = "; |
Chris Lattner | ae7dd80 | 2009-04-07 02:56:46 +0000 | [diff] [blame] | 444 | bool BlobIsPrintable = true; |
| 445 | for (unsigned i = 0; i != BlobLen; ++i) |
| 446 | if (!isprint(BlobStart[i])) { |
| 447 | BlobIsPrintable = false; |
| 448 | break; |
| 449 | } |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 450 | |
Chris Lattner | ae7dd80 | 2009-04-07 02:56:46 +0000 | [diff] [blame] | 451 | if (BlobIsPrintable) |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 452 | outs() << "'" << std::string(BlobStart, BlobStart+BlobLen) <<"'"; |
Chris Lattner | ae7dd80 | 2009-04-07 02:56:46 +0000 | [diff] [blame] | 453 | else |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 454 | outs() << "unprintable, " << BlobLen << " bytes."; |
Chris Lattner | ae7dd80 | 2009-04-07 02:56:46 +0000 | [diff] [blame] | 455 | } |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 456 | |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 457 | outs() << "\n"; |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 458 | } |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 459 | |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 460 | break; |
| 461 | } |
| 462 | } |
| 463 | } |
| 464 | |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 465 | static void PrintSize(double Bits) { |
Jan Wen Voung | 851343c | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 466 | outs() << format("%.2f/%.2fB/%luW", Bits, Bits/8,(unsigned long)(Bits/32)); |
Chris Lattner | 2443747 | 2009-04-27 17:59:34 +0000 | [diff] [blame] | 467 | } |
| 468 | static void PrintSize(uint64_t Bits) { |
Jan Wen Voung | 851343c | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 469 | outs() << format("%lub/%.2fB/%luW", (unsigned long)Bits, |
| 470 | (double)Bits/8, (unsigned long)(Bits/32)); |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 471 | } |
| 472 | |
| 473 | |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 474 | /// AnalyzeBitcode - Analyze the bitcode file specified by InputFilename. |
| 475 | static int AnalyzeBitcode() { |
| 476 | // Read the input file. |
Michael J. Spencer | 3ff9563 | 2010-12-16 03:29:14 +0000 | [diff] [blame] | 477 | OwningPtr<MemoryBuffer> MemBuf; |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 478 | |
Michael J. Spencer | 3ff9563 | 2010-12-16 03:29:14 +0000 | [diff] [blame] | 479 | if (error_code ec = |
| 480 | MemoryBuffer::getFileOrSTDIN(InputFilename.c_str(), MemBuf)) |
Michael J. Spencer | 333fb04 | 2010-12-09 17:36:48 +0000 | [diff] [blame] | 481 | return Error("Error reading '" + InputFilename + "': " + ec.message()); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 482 | |
Chris Lattner | e2a466b | 2009-04-06 20:54:32 +0000 | [diff] [blame] | 483 | if (MemBuf->getBufferSize() & 3) |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 484 | return Error("Bitcode stream should be a multiple of 4 bytes in length"); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 485 | |
Roman Divacky | 5932429 | 2012-09-05 22:26:57 +0000 | [diff] [blame] | 486 | const unsigned char *BufPtr = (const unsigned char *)MemBuf->getBufferStart(); |
Derek Schuff | 2ea9387 | 2012-02-06 22:30:29 +0000 | [diff] [blame] | 487 | const unsigned char *EndBufPtr = BufPtr+MemBuf->getBufferSize(); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 488 | |
Chris Lattner | e2a466b | 2009-04-06 20:54:32 +0000 | [diff] [blame] | 489 | // If we have a wrapper header, parse it and ignore the non-bc file contents. |
| 490 | // The magic number is 0x0B17C0DE stored in little endian. |
| 491 | if (isBitcodeWrapper(BufPtr, EndBufPtr)) |
Derek Schuff | 2ea9387 | 2012-02-06 22:30:29 +0000 | [diff] [blame] | 492 | if (SkipBitcodeWrapperHeader(BufPtr, EndBufPtr, true)) |
Chris Lattner | e2a466b | 2009-04-06 20:54:32 +0000 | [diff] [blame] | 493 | return Error("Invalid bitcode wrapper header"); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 494 | |
Chris Lattner | 962dde3 | 2009-04-26 20:59:02 +0000 | [diff] [blame] | 495 | BitstreamReader StreamFile(BufPtr, EndBufPtr); |
| 496 | BitstreamCursor Stream(StreamFile); |
Chris Lattner | 0370cc6 | 2009-04-27 20:04:08 +0000 | [diff] [blame] | 497 | StreamFile.CollectBlockInfoNames(); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 498 | |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 499 | // Read the stream signature. |
| 500 | char Signature[6]; |
| 501 | Signature[0] = Stream.Read(8); |
| 502 | Signature[1] = Stream.Read(8); |
| 503 | Signature[2] = Stream.Read(4); |
| 504 | Signature[3] = Stream.Read(4); |
| 505 | Signature[4] = Stream.Read(4); |
| 506 | Signature[5] = Stream.Read(4); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 507 | |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 508 | // Autodetect the file contents, if it is one we know. |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 509 | CurStreamType = UnknownBitstream; |
| 510 | if (Signature[0] == 'B' && Signature[1] == 'C' && |
| 511 | Signature[2] == 0x0 && Signature[3] == 0xC && |
| 512 | Signature[4] == 0xE && Signature[5] == 0xD) |
| 513 | CurStreamType = LLVMIRBitstream; |
| 514 | |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 515 | unsigned NumTopBlocks = 0; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 516 | |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 517 | // Parse the top-level structure. We only allow blocks at the top-level. |
| 518 | while (!Stream.AtEndOfStream()) { |
| 519 | unsigned Code = Stream.ReadCode(); |
| 520 | if (Code != bitc::ENTER_SUBBLOCK) |
| 521 | return Error("Invalid record at top-level"); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 522 | |
Chris Lattner | b30c925 | 2007-04-29 21:48:19 +0000 | [diff] [blame] | 523 | if (ParseBlock(Stream, 0)) |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 524 | return true; |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 525 | ++NumTopBlocks; |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 526 | } |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 527 | |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 528 | if (Dump) outs() << "\n\n"; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 529 | |
Chris Lattner | e2a466b | 2009-04-06 20:54:32 +0000 | [diff] [blame] | 530 | uint64_t BufferSizeBits = (EndBufPtr-BufPtr)*CHAR_BIT; |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 531 | // Print a summary of the read file. |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 532 | outs() << "Summary of " << InputFilename << ":\n"; |
| 533 | outs() << " Total size: "; |
Chris Lattner | 8f92668 | 2007-05-01 02:43:46 +0000 | [diff] [blame] | 534 | PrintSize(BufferSizeBits); |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 535 | outs() << "\n"; |
| 536 | outs() << " Stream type: "; |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 537 | switch (CurStreamType) { |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 538 | case UnknownBitstream: outs() << "unknown\n"; break; |
| 539 | case LLVMIRBitstream: outs() << "LLVM IR\n"; break; |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 540 | } |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 541 | outs() << " # Toplevel Blocks: " << NumTopBlocks << "\n"; |
| 542 | outs() << "\n"; |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 543 | |
| 544 | // Emit per-block stats. |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 545 | outs() << "Per-block Summary:\n"; |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 546 | for (std::map<unsigned, PerBlockIDStats>::iterator I = BlockIDStats.begin(), |
| 547 | E = BlockIDStats.end(); I != E; ++I) { |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 548 | outs() << " Block ID #" << I->first; |
Chris Lattner | f9a3ec8 | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 549 | if (const char *BlockName = GetBlockName(I->first, StreamFile)) |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 550 | outs() << " (" << BlockName << ")"; |
| 551 | outs() << ":\n"; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 552 | |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 553 | const PerBlockIDStats &Stats = I->second; |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 554 | outs() << " Num Instances: " << Stats.NumInstances << "\n"; |
| 555 | outs() << " Total Size: "; |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 556 | PrintSize(Stats.NumBits); |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 557 | outs() << "\n"; |
Daniel Dunbar | 42985bb | 2009-09-25 16:04:21 +0000 | [diff] [blame] | 558 | double pct = (Stats.NumBits * 100.0) / BufferSizeBits; |
Jan Wen Voung | 851343c | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 559 | outs() << " Percent of file: " << format("%2.4f%%", pct) << "\n"; |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 560 | if (Stats.NumInstances > 1) { |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 561 | outs() << " Average Size: "; |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 562 | PrintSize(Stats.NumBits/(double)Stats.NumInstances); |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 563 | outs() << "\n"; |
| 564 | outs() << " Tot/Avg SubBlocks: " << Stats.NumSubBlocks << "/" |
Dan Gohman | 65f57c2 | 2009-07-15 16:35:29 +0000 | [diff] [blame] | 565 | << Stats.NumSubBlocks/(double)Stats.NumInstances << "\n"; |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 566 | outs() << " Tot/Avg Abbrevs: " << Stats.NumAbbrevs << "/" |
Dan Gohman | 65f57c2 | 2009-07-15 16:35:29 +0000 | [diff] [blame] | 567 | << Stats.NumAbbrevs/(double)Stats.NumInstances << "\n"; |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 568 | outs() << " Tot/Avg Records: " << Stats.NumRecords << "/" |
Dan Gohman | 65f57c2 | 2009-07-15 16:35:29 +0000 | [diff] [blame] | 569 | << Stats.NumRecords/(double)Stats.NumInstances << "\n"; |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 570 | } else { |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 571 | outs() << " Num SubBlocks: " << Stats.NumSubBlocks << "\n"; |
| 572 | outs() << " Num Abbrevs: " << Stats.NumAbbrevs << "\n"; |
| 573 | outs() << " Num Records: " << Stats.NumRecords << "\n"; |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 574 | } |
Daniel Dunbar | 42985bb | 2009-09-25 16:04:21 +0000 | [diff] [blame] | 575 | if (Stats.NumRecords) { |
| 576 | double pct = (Stats.NumAbbreviatedRecords * 100.0) / Stats.NumRecords; |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 577 | outs() << " Percent Abbrevs: " << format("%2.4f%%", pct) << "\n"; |
Daniel Dunbar | 42985bb | 2009-09-25 16:04:21 +0000 | [diff] [blame] | 578 | } |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 579 | outs() << "\n"; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 580 | |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 581 | // Print a histogram of the codes we see. |
| 582 | if (!NoHistogram && !Stats.CodeFreq.empty()) { |
| 583 | std::vector<std::pair<unsigned, unsigned> > FreqPairs; // <freq,code> |
| 584 | for (unsigned i = 0, e = Stats.CodeFreq.size(); i != e; ++i) |
Chris Lattner | 2443747 | 2009-04-27 17:59:34 +0000 | [diff] [blame] | 585 | if (unsigned Freq = Stats.CodeFreq[i].NumInstances) |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 586 | FreqPairs.push_back(std::make_pair(Freq, i)); |
| 587 | std::stable_sort(FreqPairs.begin(), FreqPairs.end()); |
| 588 | std::reverse(FreqPairs.begin(), FreqPairs.end()); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 589 | |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 590 | outs() << "\tRecord Histogram:\n"; |
Jan Wen Voung | 73e562a | 2012-09-05 20:55:57 +0000 | [diff] [blame] | 591 | outs() << "\t\t Count # Bits %% Abv Record Kind\n"; |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 592 | for (unsigned i = 0, e = FreqPairs.size(); i != e; ++i) { |
Chris Lattner | c167cac | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 593 | const PerRecordStats &RecStats = Stats.CodeFreq[FreqPairs[i].second]; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 594 | |
Jan Wen Voung | a759eb3 | 2012-09-05 20:56:00 +0000 | [diff] [blame] | 595 | outs() << format("\t\t%7d %9lu", |
Jan Wen Voung | 73e562a | 2012-09-05 20:55:57 +0000 | [diff] [blame] | 596 | RecStats.NumInstances, |
| 597 | (unsigned long)RecStats.TotalBits); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 598 | |
Chris Lattner | c167cac | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 599 | if (RecStats.NumAbbrev) |
Jan Wen Voung | 851343c | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 600 | outs() << |
| 601 | format("%7.2f ", |
| 602 | (double)RecStats.NumAbbrev/RecStats.NumInstances*100); |
Chris Lattner | c167cac | 2009-04-27 18:15:27 +0000 | [diff] [blame] | 603 | else |
Jan Wen Voung | 851343c | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 604 | outs() << " "; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 605 | |
| 606 | if (const char *CodeName = |
Chris Lattner | f9a3ec8 | 2009-04-26 22:21:57 +0000 | [diff] [blame] | 607 | GetCodeName(FreqPairs[i].second, I->first, StreamFile)) |
Jan Wen Voung | 851343c | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 608 | outs() << CodeName << "\n"; |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 609 | else |
Jan Wen Voung | 851343c | 2012-09-05 20:55:54 +0000 | [diff] [blame] | 610 | outs() << "UnknownCode" << FreqPairs[i].second << "\n"; |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 611 | } |
Chris Lattner | e0ac6f8 | 2012-03-19 23:40:48 +0000 | [diff] [blame] | 612 | outs() << "\n"; |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 613 | |
Chris Lattner | b1e85b5 | 2007-05-05 01:46:49 +0000 | [diff] [blame] | 614 | } |
Chris Lattner | 4238d47 | 2007-04-29 20:00:02 +0000 | [diff] [blame] | 615 | } |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 616 | return 0; |
| 617 | } |
Reid Spencer | dac69c8 | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 618 | |
Chris Lattner | 32de633 | 2007-04-29 08:31:14 +0000 | [diff] [blame] | 619 | |
Chris Lattner | c30598b | 2006-12-06 01:18:01 +0000 | [diff] [blame] | 620 | int main(int argc, char **argv) { |
Chris Lattner | cc14d25 | 2009-03-06 05:34:10 +0000 | [diff] [blame] | 621 | // Print a stack trace if we signal out. |
Chris Lattner | 45e0f89 | 2007-04-29 08:12:22 +0000 | [diff] [blame] | 622 | sys::PrintStackTraceOnErrorSignal(); |
Chris Lattner | cc14d25 | 2009-03-06 05:34:10 +0000 | [diff] [blame] | 623 | PrettyStackTraceProgram X(argc, argv); |
| 624 | llvm_shutdown_obj Y; // Call llvm_shutdown() on exit. |
| 625 | cl::ParseCommandLineOptions(argc, argv, "llvm-bcanalyzer file analyzer\n"); |
Daniel Dunbar | 80ba3d2 | 2009-09-25 16:03:57 +0000 | [diff] [blame] | 626 | |
Chris Lattner | 44dadff | 2007-05-06 09:29:57 +0000 | [diff] [blame] | 627 | return AnalyzeBitcode(); |
Reid Spencer | dac69c8 | 2004-06-07 17:53:43 +0000 | [diff] [blame] | 628 | } |