Fix undefined behavior.
[oota-llvm.git] / tools / llvm-bcanalyzer / llvm-bcanalyzer.cpp
1 //===-- llvm-bcanalyzer.cpp - Bitcode Analyzer --------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This tool may be invoked in the following manner:
11 //  llvm-bcanalyzer [options]      - Read LLVM bitcode from stdin
12 //  llvm-bcanalyzer [options] x.bc - Read LLVM bitcode from the x.bc file
13 //
14 //  Options:
15 //      --help      - Output information about command line switches
16 //      --dump      - Dump low-level bitcode structure in readable format
17 //
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
21 // statistics about the contents of the file. By default this information is
22 // detailed and contains information about individual bitcode blocks and the
23 // functions in the module.
24 // The tool is also able to print a bitcode file in a straight forward text
25 // format that shows the containment and relationships of the information in
26 // the bitcode file (-dump option).
27 //
28 //===----------------------------------------------------------------------===//
29
30 #include "llvm/ADT/OwningPtr.h"
31 #include "llvm/Analysis/Verifier.h"
32 #include "llvm/Bitcode/BitstreamReader.h"
33 #include "llvm/Bitcode/LLVMBitCodes.h"
34 #include "llvm/Bitcode/ReaderWriter.h"
35 #include "llvm/Support/CommandLine.h"
36 #include "llvm/Support/Format.h"
37 #include "llvm/Support/ManagedStatic.h"
38 #include "llvm/Support/MemoryBuffer.h"
39 #include "llvm/Support/PrettyStackTrace.h"
40 #include "llvm/Support/raw_ostream.h"
41 #include "llvm/Support/Signals.h"
42 #include "llvm/Support/system_error.h"
43 #include <cstdio>
44 #include <map>
45 #include <algorithm>
46 using namespace llvm;
47
48 static cl::opt<std::string>
49   InputFilename(cl::Positional, cl::desc("<input bitcode>"), cl::init("-"));
50
51 static cl::opt<bool> Dump("dump", cl::desc("Dump low level bitcode trace"));
52
53 //===----------------------------------------------------------------------===//
54 // Bitcode specific analysis.
55 //===----------------------------------------------------------------------===//
56
57 static cl::opt<bool> NoHistogram("disable-histogram",
58                                  cl::desc("Do not print per-code histogram"));
59
60 static cl::opt<bool>
61 NonSymbolic("non-symbolic",
62             cl::desc("Emit numeric info in dump even if"
63                      " symbolic info is available"));
64
65 namespace {
66
67 /// CurStreamTypeType - A type for CurStreamType
68 enum CurStreamTypeType {
69   UnknownBitstream,
70   LLVMIRBitstream
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;
78
79
80 /// GetBlockName - Return a symbolic block name if known, otherwise return
81 /// null.
82 static const char *GetBlockName(unsigned BlockID,
83                                 const BitstreamReader &StreamFile) {
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   }
90
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   }
97
98
99   if (CurStreamType != LLVMIRBitstream) return 0;
100
101   switch (BlockID) {
102   default:                           return 0;
103   case bitc::MODULE_BLOCK_ID:        return "MODULE_BLOCK";
104   case bitc::PARAMATTR_BLOCK_ID:     return "PARAMATTR_BLOCK";
105   case bitc::TYPE_BLOCK_ID_NEW:      return "TYPE_BLOCK_ID";
106   case bitc::CONSTANTS_BLOCK_ID:     return "CONSTANTS_BLOCK";
107   case bitc::FUNCTION_BLOCK_ID:      return "FUNCTION_BLOCK";
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";
111   case bitc::USELIST_BLOCK_ID:       return "USELIST_BLOCK_ID";
112   }
113 }
114
115 /// GetCodeName - Return a symbolic code name if known, otherwise return
116 /// null.
117 static const char *GetCodeName(unsigned CodeID, unsigned BlockID,
118                                const BitstreamReader &StreamFile) {
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;
124       case bitc::BLOCKINFO_CODE_SETBID:        return "SETBID";
125       case bitc::BLOCKINFO_CODE_BLOCKNAME:     return "BLOCKNAME";
126       case bitc::BLOCKINFO_CODE_SETRECORDNAME: return "SETRECORDNAME";
127       }
128     }
129     return 0;
130   }
131
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   }
139
140
141   if (CurStreamType != LLVMIRBitstream) return 0;
142
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";
153     case bitc::MODULE_CODE_DEPLIB:      return "DEPLIB";
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";
158     case bitc::MODULE_CODE_GCNAME:      return "GCNAME";
159     }
160   case bitc::PARAMATTR_BLOCK_ID:
161     switch (CodeID) {
162     default: return 0;
163     case bitc::PARAMATTR_CODE_ENTRY: return "ENTRY";
164     }
165   case bitc::TYPE_BLOCK_ID_NEW:
166     switch (CodeID) {
167     default: return 0;
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";
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";
185     case bitc::TYPE_CODE_FUNCTION:     return "FUNCTION";
186     }
187
188   case bitc::CONSTANTS_BLOCK_ID:
189     switch (CodeID) {
190     default: return 0;
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";
211     case bitc::CST_CODE_BLOCKADDRESS:    return "CST_CODE_BLOCKADDRESS";
212     case bitc::CST_CODE_DATA:            return "DATA";
213     }
214   case bitc::FUNCTION_BLOCK_ID:
215     switch (CodeID) {
216     default: return 0;
217     case bitc::FUNC_CODE_DECLAREBLOCKS: return "DECLAREBLOCKS";
218
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";
228
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";
233     case bitc::FUNC_CODE_INST_UNREACHABLE:  return "INST_UNREACHABLE";
234
235     case bitc::FUNC_CODE_INST_PHI:          return "INST_PHI";
236     case bitc::FUNC_CODE_INST_ALLOCA:       return "INST_ALLOCA";
237     case bitc::FUNC_CODE_INST_LOAD:         return "INST_LOAD";
238     case bitc::FUNC_CODE_INST_VAARG:        return "INST_VAARG";
239     case bitc::FUNC_CODE_INST_STORE:        return "INST_STORE";
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";
244     case bitc::FUNC_CODE_DEBUG_LOC_AGAIN:   return "DEBUG_LOC_AGAIN";
245     case bitc::FUNC_CODE_INST_CALL:         return "INST_CALL";
246     case bitc::FUNC_CODE_DEBUG_LOC:         return "DEBUG_LOC";
247     }
248   case bitc::VALUE_SYMTAB_BLOCK_ID:
249     switch (CodeID) {
250     default: return 0;
251     case bitc::VST_CODE_ENTRY: return "ENTRY";
252     case bitc::VST_CODE_BBENTRY: return "BBENTRY";
253     }
254   case bitc::METADATA_ATTACHMENT_ID:
255     switch(CodeID) {
256     default:return 0;
257     case bitc::METADATA_ATTACHMENT: return "METADATA_ATTACHMENT";
258     }
259   case bitc::METADATA_BLOCK_ID:
260     switch(CodeID) {
261     default:return 0;
262     case bitc::METADATA_STRING:      return "METADATA_STRING";
263     case bitc::METADATA_NAME:        return "METADATA_NAME";
264     case bitc::METADATA_KIND:        return "METADATA_KIND";
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";
268     }
269   case bitc::USELIST_BLOCK_ID:
270     switch(CodeID) {
271     default:return 0;
272     case bitc::USELIST_CODE_ENTRY:   return "USELIST_CODE_ENTRY";
273     }
274   }
275 }
276
277 struct PerRecordStats {
278   unsigned NumInstances;
279   unsigned NumAbbrev;
280   uint64_t TotalBits;
281
282   PerRecordStats() : NumInstances(0), NumAbbrev(0), TotalBits(0) {}
283 };
284
285 struct PerBlockIDStats {
286   /// NumInstances - This the number of times this block ID has been seen.
287   unsigned NumInstances;
288
289   /// NumBits - The total size in bits of all of these blocks.
290   uint64_t NumBits;
291
292   /// NumSubBlocks - The total number of blocks these blocks contain.
293   unsigned NumSubBlocks;
294
295   /// NumAbbrevs - The total number of abbreviations.
296   unsigned NumAbbrevs;
297
298   /// NumRecords - The total number of records these blocks contain, and the
299   /// number that are abbreviated.
300   unsigned NumRecords, NumAbbreviatedRecords;
301
302   /// CodeFreq - Keep track of the number of times we see each code.
303   std::vector<PerRecordStats> CodeFreq;
304
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
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) {
317   errs() << Err << "\n";
318   return true;
319 }
320
321 /// ParseBlock - Read a block, updating statistics, etc.
322 static bool ParseBlock(BitstreamCursor &Stream, unsigned IndentLevel) {
323   std::string Indent(IndentLevel*2, ' ');
324   uint64_t BlockBitStart = Stream.GetCurrentBitNo();
325   unsigned BlockID = Stream.ReadSubBlockID();
326
327   // Get the statistics for this BlockID.
328   PerBlockIDStats &BlockStats = BlockIDStats[BlockID];
329
330   BlockStats.NumInstances++;
331
332   // BLOCKINFO is a special part of the stream.
333   if (BlockID == bitc::BLOCKINFO_BLOCK_ID) {
334     if (Dump) errs() << Indent << "<BLOCKINFO_BLOCK/>\n";
335     if (Stream.ReadBlockInfoBlock())
336       return Error("Malformed BlockInfoBlock");
337     uint64_t BlockBitEnd = Stream.GetCurrentBitNo();
338     BlockStats.NumBits += BlockBitEnd-BlockBitStart;
339     return false;
340   }
341
342   unsigned NumWords = 0;
343   if (Stream.EnterSubBlock(BlockID, &NumWords))
344     return Error("Malformed block record");
345
346   const char *BlockName = 0;
347   if (Dump) {
348     errs() << Indent << "<";
349     if ((BlockName = GetBlockName(BlockID, *Stream.getBitStreamReader())))
350       errs() << BlockName;
351     else
352       errs() << "UnknownBlock" << BlockID;
353
354     if (NonSymbolic && BlockName)
355       errs() << " BlockID=" << BlockID;
356
357     errs() << " NumWords=" << NumWords
358            << " BlockCodeSize=" << Stream.GetAbbrevIDWidth() << ">\n";
359   }
360
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
368     uint64_t RecordStartBit = Stream.GetCurrentBitNo();
369
370     // Read the code for this record.
371     unsigned AbbrevID = Stream.ReadCode();
372     switch (AbbrevID) {
373     case bitc::END_BLOCK: {
374       if (Stream.ReadBlockEnd())
375         return Error("Error at end of block");
376       uint64_t BlockBitEnd = Stream.GetCurrentBitNo();
377       BlockStats.NumBits += BlockBitEnd-BlockBitStart;
378       if (Dump) {
379         errs() << Indent << "</";
380         if (BlockName)
381           errs() << BlockName << ">\n";
382         else
383           errs() << "UnknownBlock" << BlockID << ">\n";
384       }
385       return false;
386     }
387     case bitc::ENTER_SUBBLOCK: {
388       uint64_t SubBlockBitStart = Stream.GetCurrentBitNo();
389       if (ParseBlock(Stream, IndentLevel+1))
390         return true;
391       ++BlockStats.NumSubBlocks;
392       uint64_t SubBlockBitEnd = Stream.GetCurrentBitNo();
393
394       // Don't include subblock sizes in the size of this block.
395       BlockBitStart += SubBlockBitEnd-SubBlockBitStart;
396       break;
397     }
398     case bitc::DEFINE_ABBREV:
399       Stream.ReadAbbrevRecord();
400       ++BlockStats.NumAbbrevs;
401       break;
402     default:
403       Record.clear();
404
405       ++BlockStats.NumRecords;
406       if (AbbrevID != bitc::UNABBREV_RECORD)
407         ++BlockStats.NumAbbreviatedRecords;
408
409       const char *BlobStart = 0;
410       unsigned BlobLen = 0;
411       unsigned Code = Stream.ReadRecord(AbbrevID, Record, BlobStart, BlobLen);
412
413
414
415       // Increment the # occurrences of this code.
416       if (BlockStats.CodeFreq.size() <= Code)
417         BlockStats.CodeFreq.resize(Code+1);
418       BlockStats.CodeFreq[Code].NumInstances++;
419       BlockStats.CodeFreq[Code].TotalBits +=
420         Stream.GetCurrentBitNo()-RecordStartBit;
421       if (AbbrevID != bitc::UNABBREV_RECORD)
422         BlockStats.CodeFreq[Code].NumAbbrev++;
423
424       if (Dump) {
425         errs() << Indent << "  <";
426         if (const char *CodeName =
427               GetCodeName(Code, BlockID, *Stream.getBitStreamReader()))
428           errs() << CodeName;
429         else
430           errs() << "UnknownCode" << Code;
431         if (NonSymbolic &&
432             GetCodeName(Code, BlockID, *Stream.getBitStreamReader()))
433           errs() << " codeid=" << Code;
434         if (AbbrevID != bitc::UNABBREV_RECORD)
435           errs() << " abbrevid=" << AbbrevID;
436
437         for (unsigned i = 0, e = Record.size(); i != e; ++i)
438           errs() << " op" << i << "=" << (int64_t)Record[i];
439
440         errs() << "/>";
441
442         if (BlobStart) {
443           errs() << " blob data = ";
444           bool BlobIsPrintable = true;
445           for (unsigned i = 0; i != BlobLen; ++i)
446             if (!isprint(BlobStart[i])) {
447               BlobIsPrintable = false;
448               break;
449             }
450
451           if (BlobIsPrintable)
452             errs() << "'" << std::string(BlobStart, BlobStart+BlobLen) <<"'";
453           else
454             errs() << "unprintable, " << BlobLen << " bytes.";
455         }
456
457         errs() << "\n";
458       }
459
460       break;
461     }
462   }
463 }
464
465 static void PrintSize(double Bits) {
466   fprintf(stderr, "%.2f/%.2fB/%luW", Bits, Bits/8,(unsigned long)(Bits/32));
467 }
468 static void PrintSize(uint64_t Bits) {
469   fprintf(stderr, "%lub/%.2fB/%luW", (unsigned long)Bits,
470           (double)Bits/8, (unsigned long)(Bits/32));
471 }
472
473
474 /// AnalyzeBitcode - Analyze the bitcode file specified by InputFilename.
475 static int AnalyzeBitcode() {
476   // Read the input file.
477   OwningPtr<MemoryBuffer> MemBuf;
478
479   if (error_code ec =
480         MemoryBuffer::getFileOrSTDIN(InputFilename.c_str(), MemBuf))
481     return Error("Error reading '" + InputFilename + "': " + ec.message());
482
483   if (MemBuf->getBufferSize() & 3)
484     return Error("Bitcode stream should be a multiple of 4 bytes in length");
485
486   const unsigned char *BufPtr = (unsigned char *)MemBuf->getBufferStart();
487   const unsigned char *EndBufPtr = BufPtr+MemBuf->getBufferSize();
488
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))
492     if (SkipBitcodeWrapperHeader(BufPtr, EndBufPtr, true))
493       return Error("Invalid bitcode wrapper header");
494
495   BitstreamReader StreamFile(BufPtr, EndBufPtr);
496   BitstreamCursor Stream(StreamFile);
497   StreamFile.CollectBlockInfoNames();
498
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);
507
508   // Autodetect the file contents, if it is one we know.
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
515   unsigned NumTopBlocks = 0;
516
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");
522
523     if (ParseBlock(Stream, 0))
524       return true;
525     ++NumTopBlocks;
526   }
527
528   if (Dump) errs() << "\n\n";
529
530   uint64_t BufferSizeBits = (EndBufPtr-BufPtr)*CHAR_BIT;
531   // Print a summary of the read file.
532   errs() << "Summary of " << InputFilename << ":\n";
533   errs() << "         Total size: ";
534   PrintSize(BufferSizeBits);
535   errs() << "\n";
536   errs() << "        Stream type: ";
537   switch (CurStreamType) {
538   case UnknownBitstream: errs() << "unknown\n"; break;
539   case LLVMIRBitstream:  errs() << "LLVM IR\n"; break;
540   }
541   errs() << "  # Toplevel Blocks: " << NumTopBlocks << "\n";
542   errs() << "\n";
543
544   // Emit per-block stats.
545   errs() << "Per-block Summary:\n";
546   for (std::map<unsigned, PerBlockIDStats>::iterator I = BlockIDStats.begin(),
547        E = BlockIDStats.end(); I != E; ++I) {
548     errs() << "  Block ID #" << I->first;
549     if (const char *BlockName = GetBlockName(I->first, StreamFile))
550       errs() << " (" << BlockName << ")";
551     errs() << ":\n";
552
553     const PerBlockIDStats &Stats = I->second;
554     errs() << "      Num Instances: " << Stats.NumInstances << "\n";
555     errs() << "         Total Size: ";
556     PrintSize(Stats.NumBits);
557     errs() << "\n";
558     double pct = (Stats.NumBits * 100.0) / BufferSizeBits;
559     errs() << "    Percent of file: " << format("%2.4f%%", pct) << "\n";
560     if (Stats.NumInstances > 1) {
561       errs() << "       Average Size: ";
562       PrintSize(Stats.NumBits/(double)Stats.NumInstances);
563       errs() << "\n";
564       errs() << "  Tot/Avg SubBlocks: " << Stats.NumSubBlocks << "/"
565              << Stats.NumSubBlocks/(double)Stats.NumInstances << "\n";
566       errs() << "    Tot/Avg Abbrevs: " << Stats.NumAbbrevs << "/"
567              << Stats.NumAbbrevs/(double)Stats.NumInstances << "\n";
568       errs() << "    Tot/Avg Records: " << Stats.NumRecords << "/"
569              << Stats.NumRecords/(double)Stats.NumInstances << "\n";
570     } else {
571       errs() << "      Num SubBlocks: " << Stats.NumSubBlocks << "\n";
572       errs() << "        Num Abbrevs: " << Stats.NumAbbrevs << "\n";
573       errs() << "        Num Records: " << Stats.NumRecords << "\n";
574     }
575     if (Stats.NumRecords) {
576       double pct = (Stats.NumAbbreviatedRecords * 100.0) / Stats.NumRecords;
577       errs() << "    Percent Abbrevs: " << format("%2.4f%%", pct) << "\n";
578     }
579     errs() << "\n";
580
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)
585         if (unsigned Freq = Stats.CodeFreq[i].NumInstances)
586           FreqPairs.push_back(std::make_pair(Freq, i));
587       std::stable_sort(FreqPairs.begin(), FreqPairs.end());
588       std::reverse(FreqPairs.begin(), FreqPairs.end());
589
590       errs() << "\tRecord Histogram:\n";
591       fprintf(stderr, "\t\t  Count    # Bits   %% Abv  Record Kind\n");
592       for (unsigned i = 0, e = FreqPairs.size(); i != e; ++i) {
593         const PerRecordStats &RecStats = Stats.CodeFreq[FreqPairs[i].second];
594
595         fprintf(stderr, "\t\t%7d %9lu ", RecStats.NumInstances,
596                 (unsigned long)RecStats.TotalBits);
597
598         if (RecStats.NumAbbrev)
599           fprintf(stderr, "%7.2f  ",
600                   (double)RecStats.NumAbbrev/RecStats.NumInstances*100);
601         else
602           fprintf(stderr, "         ");
603
604         if (const char *CodeName =
605               GetCodeName(FreqPairs[i].second, I->first, StreamFile))
606           fprintf(stderr, "%s\n", CodeName);
607         else
608           fprintf(stderr, "UnknownCode%d\n", FreqPairs[i].second);
609       }
610       errs() << "\n";
611
612     }
613   }
614   return 0;
615 }
616
617
618 int main(int argc, char **argv) {
619   // Print a stack trace if we signal out.
620   sys::PrintStackTraceOnErrorSignal();
621   PrettyStackTraceProgram X(argc, argv);
622   llvm_shutdown_obj Y;  // Call llvm_shutdown() on exit.
623   cl::ParseCommandLineOptions(argc, argv, "llvm-bcanalyzer file analyzer\n");
624
625   return AnalyzeBitcode();
626 }