tools/llvm-bcanalyzer/llvm-bcanalyzer.cpp

   1 //===-- llvm-bcanalyzer.cpp - Byte Code Analyzer --------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file was developed by Reid Spencer and is distributed under the
   6 // University of Illinois Open Source 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 bytecode from stdin
  12 //  llvm-bcanalyzer [options] x.bc - Read LLVM bytecode from the x.bc file
  13 //
  14 //  Options:
  15 //      --help      - Output information about command line switches
  16 //      --nodetails - Don't print out detailed informaton about individual
  17 //                    blocks and functions
  18 //      --dump      - Dump low-level bytecode structure in readable format
  19 //
  20 // This tool provides analytical information about a bytecode file. It is
  21 // intended as an aid to developers of bytecode reading and writing software. It
  22 // produces on std::out a summary of the bytecode file that shows various
  23 // statistics about the contents of the file. By default this information is
  24 // detailed and contains information about individual bytecode blocks and the
  25 // functions in the module. To avoid this more detailed output, use the
  26 // -nodetails option to limit the output to just module level information.
  27 // The tool is also able to print a bytecode file in a straight forward text
  28 // format that shows the containment and relationships of the information in
  29 // the bytecode file (-dump option).
  30 //
  31 //===----------------------------------------------------------------------===//
  32
  33 #include "llvm/Analysis/Verifier.h"
  34 #include "llvm/Bitcode/BitstreamReader.h"
  35 #include "llvm/Bitcode/LLVMBitCodes.h"
  36 #include "llvm/Bytecode/Analyzer.h"
  37 #include "llvm/Support/CommandLine.h"
  38 #include "llvm/Support/Compressor.h"
  39 #include "llvm/Support/ManagedStatic.h"
  40 #include "llvm/Support/MemoryBuffer.h"
  41 #include "llvm/System/Signals.h"
  42 #include <fstream>
  43 #include <iostream>
  44 #include <algorithm>
  45 using namespace llvm;
  46
  47 static cl::opt<std::string>
  48   InputFilename(cl::Positional, cl::desc("<input bytecode>"), cl::init("-"));
  49
  50 static cl::opt<std::string>
  51   OutputFilename("-o", cl::init("-"), cl::desc("<output file>"));
  52
  53 static cl::opt<bool> NoDetails("nodetails", cl::desc("Skip detailed output"));
  54 static cl::opt<bool> Dump("dump", cl::desc("Dump low level bytecode trace"));
  55 static cl::opt<bool> Verify("verify", cl::desc("Progressively verify module"));
  56
  57 //===----------------------------------------------------------------------===//
  58 // Bitcode specific analysis.
  59 //===----------------------------------------------------------------------===//
  60
  61 static cl::opt<bool> Bitcode("bitcode", cl::desc("Read a bitcode file"));
  62 static cl::opt<bool> NoHistogram("disable-histogram",
  63                                  cl::desc("Do not print per-code histogram"));
  64
  65 static cl::opt<bool>
  66 NonSymbolic("non-symbolic",
  67             cl::desc("Emit numberic info in dump even if"
  68                      " symbolic info is available"));
  69
  70 /// CurStreamType - If we can sniff the flavor of this stream, we can produce
  71 /// better dump info.
  72 static enum {
  73   UnknownBitstream,
  74   LLVMIRBitstream
  75 } CurStreamType;
  76
  77
  78 /// GetBlockName - Return a symbolic block name if known, otherwise return
  79 /// null.
  80 static const char *GetBlockName(unsigned BlockID) {
  81   // Standard blocks for all bitcode files.
  82   if (BlockID < bitc::FIRST_APPLICATION_BLOCKID) {
  83     if (BlockID == bitc::BLOCKINFO_BLOCK_ID)
  84       return "BLOCKINFO_BLOCK";
  85     return 0;
  86   }
  87
  88   if (CurStreamType != LLVMIRBitstream) return 0;
  89
  90   switch (BlockID) {
  91   default:                          return 0;
  92   case bitc::MODULE_BLOCK_ID:       return "MODULE_BLOCK";
  93   case bitc::PARAMATTR_BLOCK_ID:    return "PARAMATTR_BLOCK";
  94   case bitc::TYPE_BLOCK_ID:         return "TYPE_BLOCK";
  95   case bitc::CONSTANTS_BLOCK_ID:    return "CONSTANTS_BLOCK";
  96   case bitc::FUNCTION_BLOCK_ID:     return "FUNCTION_BLOCK";
  97   case bitc::TYPE_SYMTAB_BLOCK_ID:  return "TYPE_SYMTAB";
  98   case bitc::VALUE_SYMTAB_BLOCK_ID: return "VALUE_SYMTAB";
  99   }
 100 }
 101
 102 /// GetCodeName - Return a symbolic code name if known, otherwise return
 103 /// null.
 104 static const char *GetCodeName(unsigned CodeID, unsigned BlockID) {
 105   // Standard blocks for all bitcode files.
 106   if (BlockID < bitc::FIRST_APPLICATION_BLOCKID) {
 107     if (BlockID == bitc::BLOCKINFO_BLOCK_ID) {
 108       switch (CodeID) {
 109       default: return 0;
 110       case bitc::MODULE_CODE_VERSION:     return "VERSION";
 111       }
 112     }
 113     return 0;
 114   }
 115
 116   if (CurStreamType != LLVMIRBitstream) return 0;
 117
 118   switch (BlockID) {
 119   default: return 0;
 120   case bitc::MODULE_BLOCK_ID:
 121     switch (CodeID) {
 122     default: return 0;
 123     case bitc::MODULE_CODE_VERSION:     return "VERSION";
 124     case bitc::MODULE_CODE_TRIPLE:      return "TRIPLE";
 125     case bitc::MODULE_CODE_DATALAYOUT:  return "DATALAYOUT";
 126     case bitc::MODULE_CODE_ASM:         return "ASM";
 127     case bitc::MODULE_CODE_SECTIONNAME: return "SECTIONNAME";
 128     case bitc::MODULE_CODE_DEPLIB:      return "DEPLIB";
 129     case bitc::MODULE_CODE_GLOBALVAR:   return "GLOBALVAR";
 130     case bitc::MODULE_CODE_FUNCTION:    return "FUNCTION";
 131     case bitc::MODULE_CODE_ALIAS:       return "ALIAS";
 132     case bitc::MODULE_CODE_PURGEVALS:   return "PURGEVALS";
 133     }
 134   case bitc::PARAMATTR_BLOCK_ID:
 135     switch (CodeID) {
 136     default: return 0;
 137     case bitc::PARAMATTR_CODE_ENTRY: return "ENTRY";
 138     }
 139   case bitc::TYPE_BLOCK_ID:
 140     switch (CodeID) {
 141     default: return 0;
 142     case bitc::TYPE_CODE_NUMENTRY: return "NUMENTRY";
 143     case bitc::TYPE_CODE_VOID:     return "VOID";
 144     case bitc::TYPE_CODE_FLOAT:    return "FLOAT";
 145     case bitc::TYPE_CODE_DOUBLE:   return "DOUBLE";
 146     case bitc::TYPE_CODE_LABEL:    return "LABEL";
 147     case bitc::TYPE_CODE_OPAQUE:   return "OPAQUE";
 148     case bitc::TYPE_CODE_INTEGER:  return "INTEGER";
 149     case bitc::TYPE_CODE_POINTER:  return "POINTER";
 150     case bitc::TYPE_CODE_FUNCTION: return "FUNCTION";
 151     case bitc::TYPE_CODE_STRUCT:   return "STRUCT";
 152     case bitc::TYPE_CODE_ARRAY:    return "ARRAY";
 153     case bitc::TYPE_CODE_VECTOR:   return "VECTOR";
 154     }
 155
 156   case bitc::CONSTANTS_BLOCK_ID:
 157     switch (CodeID) {
 158     default: return 0;
 159     case bitc::CST_CODE_SETTYPE:       return "SETTYPE";
 160     case bitc::CST_CODE_NULL:          return "NULL";
 161     case bitc::CST_CODE_UNDEF:         return "UNDEF";
 162     case bitc::CST_CODE_INTEGER:       return "INTEGER";
 163     case bitc::CST_CODE_WIDE_INTEGER:  return "WIDE_INTEGER";
 164     case bitc::CST_CODE_FLOAT:         return "FLOAT";
 165     case bitc::CST_CODE_AGGREGATE:     return "AGGREGATE";
 166     case bitc::CST_CODE_STRING:        return "STRING";
 167     case bitc::CST_CODE_CSTRING:       return "CSTRING";
 168     case bitc::CST_CODE_CE_BINOP:      return "CE_BINOP";
 169     case bitc::CST_CODE_CE_CAST:       return "CE_CAST";
 170     case bitc::CST_CODE_CE_GEP:        return "CE_GEP";
 171     case bitc::CST_CODE_CE_SELECT:     return "CE_SELECT";
 172     case bitc::CST_CODE_CE_EXTRACTELT: return "CE_EXTRACTELT";
 173     case bitc::CST_CODE_CE_INSERTELT:  return "CE_INSERTELT";
 174     case bitc::CST_CODE_CE_SHUFFLEVEC: return "CE_SHUFFLEVEC";
 175     case bitc::CST_CODE_CE_CMP:        return "CE_CMP";
 176     }
 177   case bitc::FUNCTION_BLOCK_ID:
 178     switch (CodeID) {
 179     default: return 0;
 180     case bitc::FUNC_CODE_DECLAREBLOCKS: return "DECLAREBLOCKS";
 181
 182     case bitc::FUNC_CODE_INST_BINOP:       return "INST_BINOP";
 183     case bitc::FUNC_CODE_INST_CAST:        return "INST_CAST";
 184     case bitc::FUNC_CODE_INST_GEP:         return "INST_GEP";
 185     case bitc::FUNC_CODE_INST_SELECT:      return "INST_SELECT";
 186     case bitc::FUNC_CODE_INST_EXTRACTELT:  return "INST_EXTRACTELT";
 187     case bitc::FUNC_CODE_INST_INSERTELT:   return "INST_INSERTELT";
 188     case bitc::FUNC_CODE_INST_SHUFFLEVEC:  return "INST_SHUFFLEVEC";
 189     case bitc::FUNC_CODE_INST_CMP:         return "INST_CMP";
 190
 191     case bitc::FUNC_CODE_INST_RET:         return "INST_RET";
 192     case bitc::FUNC_CODE_INST_BR:          return "INST_BR";
 193     case bitc::FUNC_CODE_INST_SWITCH:      return "INST_SWITCH";
 194     case bitc::FUNC_CODE_INST_INVOKE:      return "INST_INVOKE";
 195     case bitc::FUNC_CODE_INST_UNWIND:      return "INST_UNWIND";
 196     case bitc::FUNC_CODE_INST_UNREACHABLE: return "INST_UNREACHABLE";
 197
 198     case bitc::FUNC_CODE_INST_PHI:         return "INST_PHI";
 199     case bitc::FUNC_CODE_INST_MALLOC:      return "INST_MALLOC";
 200     case bitc::FUNC_CODE_INST_FREE:        return "INST_FREE";
 201     case bitc::FUNC_CODE_INST_ALLOCA:      return "INST_ALLOCA";
 202     case bitc::FUNC_CODE_INST_LOAD:        return "INST_LOAD";
 203     case bitc::FUNC_CODE_INST_STORE:       return "INST_STORE";
 204     case bitc::FUNC_CODE_INST_CALL:        return "INST_CALL";
 205     case bitc::FUNC_CODE_INST_VAARG:       return "INST_VAARG";
 206     }
 207   case bitc::TYPE_SYMTAB_BLOCK_ID:
 208     switch (CodeID) {
 209     default: return 0;
 210     case bitc::TST_CODE_ENTRY: return "ENTRY";
 211     }
 212   case bitc::VALUE_SYMTAB_BLOCK_ID:
 213     switch (CodeID) {
 214     default: return 0;
 215     case bitc::VST_CODE_ENTRY: return "ENTRY";
 216     case bitc::VST_CODE_BBENTRY: return "BBENTRY";
 217     }
 218   }
 219 }
 220
 221
 222 struct PerBlockIDStats {
 223   /// NumInstances - This the number of times this block ID has been seen.
 224   unsigned NumInstances;
 225
 226   /// NumBits - The total size in bits of all of these blocks.
 227   uint64_t NumBits;
 228
 229   /// NumSubBlocks - The total number of blocks these blocks contain.
 230   unsigned NumSubBlocks;
 231
 232   /// NumAbbrevs - The total number of abbreviations.
 233   unsigned NumAbbrevs;
 234
 235   /// NumRecords - The total number of records these blocks contain, and the
 236   /// number that are abbreviated.
 237   unsigned NumRecords, NumAbbreviatedRecords;
 238
 239   /// CodeFreq - Keep track of the number of times we see each code.
 240   std::vector<unsigned> CodeFreq;
 241
 242   PerBlockIDStats()
 243     : NumInstances(0), NumBits(0),
 244       NumSubBlocks(0), NumAbbrevs(0), NumRecords(0), NumAbbreviatedRecords(0) {}
 245 };
 246
 247 static std::map<unsigned, PerBlockIDStats> BlockIDStats;
 248
 249
 250
 251 /// Error - All bitcode analysis errors go through this function, making this a
 252 /// good place to breakpoint if debugging.
 253 static bool Error(const std::string &Err) {
 254   std::cerr << Err << "\n";
 255   return true;
 256 }
 257
 258 /// ParseBlock - Read a block, updating statistics, etc.
 259 static bool ParseBlock(BitstreamReader &Stream, unsigned IndentLevel) {
 260   std::string Indent(IndentLevel*2, ' ');
 261   uint64_t BlockBitStart = Stream.GetCurrentBitNo();
 262   unsigned BlockID = Stream.ReadSubBlockID();
 263
 264   // Get the statistics for this BlockID.
 265   PerBlockIDStats &BlockStats = BlockIDStats[BlockID];
 266
 267   BlockStats.NumInstances++;
 268
 269   // BLOCKINFO is a special part of the stream.
 270   if (BlockID == bitc::BLOCKINFO_BLOCK_ID) {
 271     if (Dump) std::cerr << Indent << "<BLOCKINFO_BLOCK/>\n";
 272     if (Stream.ReadBlockInfoBlock())
 273       return Error("Malformed BlockInfoBlock");
 274     uint64_t BlockBitEnd = Stream.GetCurrentBitNo();
 275     BlockStats.NumBits += BlockBitEnd-BlockBitStart;
 276     return false;
 277   }
 278
 279   unsigned NumWords = 0;
 280   if (Stream.EnterSubBlock(BlockID, &NumWords))
 281     return Error("Malformed block record");
 282
 283   const char *BlockName = 0;
 284   if (Dump) {
 285     std::cerr << Indent << "<";
 286     if ((BlockName = GetBlockName(BlockID)))
 287       std::cerr << BlockName;
 288     else
 289       std::cerr << "UnknownBlock" << BlockID;
 290
 291     if (NonSymbolic && BlockName)
 292       std::cerr << " BlockID=" << BlockID;
 293
 294     std::cerr << " NumWords=" << NumWords
 295               << " BlockCodeSize=" << Stream.GetAbbrevIDWidth() << ">\n";
 296   }
 297
 298   SmallVector<uint64_t, 64> Record;
 299
 300   // Read all the records for this block.
 301   while (1) {
 302     if (Stream.AtEndOfStream())
 303       return Error("Premature end of bitstream");
 304
 305     // Read the code for this record.
 306     unsigned AbbrevID = Stream.ReadCode();
 307     switch (AbbrevID) {
 308     case bitc::END_BLOCK: {
 309       if (Stream.ReadBlockEnd())
 310         return Error("Error at end of block");
 311       uint64_t BlockBitEnd = Stream.GetCurrentBitNo();
 312       BlockStats.NumBits += BlockBitEnd-BlockBitStart;
 313       if (Dump) {
 314         std::cerr << Indent << "</";
 315         if (BlockName)
 316           std::cerr << BlockName << ">\n";
 317         else
 318           std::cerr << "UnknownBlock" << BlockID << ">\n";
 319       }
 320       return false;
 321     }
 322     case bitc::ENTER_SUBBLOCK: {
 323       uint64_t SubBlockBitStart = Stream.GetCurrentBitNo();
 324       if (ParseBlock(Stream, IndentLevel+1))
 325         return true;
 326       ++BlockStats.NumSubBlocks;
 327       uint64_t SubBlockBitEnd = Stream.GetCurrentBitNo();
 328
 329       // Don't include subblock sizes in the size of this block.
 330       BlockBitStart += SubBlockBitEnd-SubBlockBitStart;
 331       break;
 332     }
 333     case bitc::DEFINE_ABBREV:
 334       Stream.ReadAbbrevRecord();
 335       ++BlockStats.NumAbbrevs;
 336       break;
 337     default:
 338       ++BlockStats.NumRecords;
 339       if (AbbrevID != bitc::UNABBREV_RECORD)
 340         ++BlockStats.NumAbbreviatedRecords;
 341
 342       Record.clear();
 343       unsigned Code = Stream.ReadRecord(AbbrevID, Record);
 344
 345       // Increment the # occurrences of this code.
 346       if (BlockStats.CodeFreq.size() <= Code)
 347         BlockStats.CodeFreq.resize(Code+1);
 348       BlockStats.CodeFreq[Code]++;
 349
 350       if (Dump) {
 351         std::cerr << Indent << "  <";
 352         if (const char *CodeName = GetCodeName(Code, BlockID))
 353           std::cerr << CodeName;
 354         else
 355           std::cerr << "UnknownCode" << Code;
 356         if (NonSymbolic && GetCodeName(Code, BlockID))
 357           std::cerr << " codeid=" << Code;
 358         if (AbbrevID != bitc::UNABBREV_RECORD)
 359           std::cerr << " abbrevid=" << AbbrevID;
 360
 361         for (unsigned i = 0, e = Record.size(); i != e; ++i)
 362           std::cerr << " op" << i << "=" << (int64_t)Record[i];
 363
 364         std::cerr << "/>\n";
 365       }
 366
 367       break;
 368     }
 369   }
 370 }
 371
 372 static void PrintSize(double Bits) {
 373   std::cerr << Bits << "b/" << Bits/8 << "B/" << Bits/32 << "W";
 374 }
 375
 376
 377 /// AnalyzeBitcode - Analyze the bitcode file specified by InputFilename.
 378 static int AnalyzeBitcode() {
 379   // Read the input file.
 380   MemoryBuffer *Buffer;
 381   if (InputFilename == "-")
 382     Buffer = MemoryBuffer::getSTDIN();
 383   else
 384     Buffer = MemoryBuffer::getFile(&InputFilename[0], InputFilename.size());
 385
 386   if (Buffer == 0)
 387     return Error("Error reading '" + InputFilename + "'.");
 388
 389   if (Buffer->getBufferSize() & 3)
 390     return Error("Bitcode stream should be a multiple of 4 bytes in length");
 391
 392   unsigned char *BufPtr = (unsigned char *)Buffer->getBufferStart();
 393   BitstreamReader Stream(BufPtr, BufPtr+Buffer->getBufferSize());
 394
 395
 396   // Read the stream signature.
 397   char Signature[6];
 398   Signature[0] = Stream.Read(8);
 399   Signature[1] = Stream.Read(8);
 400   Signature[2] = Stream.Read(4);
 401   Signature[3] = Stream.Read(4);
 402   Signature[4] = Stream.Read(4);
 403   Signature[5] = Stream.Read(4);
 404
 405   // Autodetect the file contents, if it is one we know.
 406   CurStreamType = UnknownBitstream;
 407   if (Signature[0] == 'B' && Signature[1] == 'C' &&
 408       Signature[2] == 0x0 && Signature[3] == 0xC &&
 409       Signature[4] == 0xE && Signature[5] == 0xD)
 410     CurStreamType = LLVMIRBitstream;
 411
 412   unsigned NumTopBlocks = 0;
 413
 414   // Parse the top-level structure.  We only allow blocks at the top-level.
 415   while (!Stream.AtEndOfStream()) {
 416     unsigned Code = Stream.ReadCode();
 417     if (Code != bitc::ENTER_SUBBLOCK)
 418       return Error("Invalid record at top-level");
 419
 420     if (ParseBlock(Stream, 0))
 421       return true;
 422     ++NumTopBlocks;
 423   }
 424
 425   if (Dump) std::cerr << "\n\n";
 426
 427   uint64_t BufferSizeBits = Buffer->getBufferSize()*8;
 428   // Print a summary of the read file.
 429   std::cerr << "Summary of " << InputFilename << ":\n";
 430   std::cerr << "         Total size: ";
 431   PrintSize(BufferSizeBits);
 432   std::cerr << "\n";
 433   std::cerr << "        Stream type: ";
 434   switch (CurStreamType) {
 435   default: assert(0 && "Unknown bitstream type");
 436   case UnknownBitstream: std::cerr << "unknown\n"; break;
 437   case LLVMIRBitstream:  std::cerr << "LLVM IR\n"; break;
 438   }
 439   std::cerr << "  # Toplevel Blocks: " << NumTopBlocks << "\n";
 440   std::cerr << "\n";
 441
 442   // Emit per-block stats.
 443   std::cerr << "Per-block Summary:\n";
 444   for (std::map<unsigned, PerBlockIDStats>::iterator I = BlockIDStats.begin(),
 445        E = BlockIDStats.end(); I != E; ++I) {
 446     std::cerr << "  Block ID #" << I->first;
 447     if (const char *BlockName = GetBlockName(I->first))
 448       std::cerr << " (" << BlockName << ")";
 449     std::cerr << ":\n";
 450
 451     const PerBlockIDStats &Stats = I->second;
 452     std::cerr << "      Num Instances: " << Stats.NumInstances << "\n";
 453     std::cerr << "         Total Size: ";
 454     PrintSize(Stats.NumBits);
 455     std::cerr << "\n";
 456     std::cerr << "          % of file: "
 457               << Stats.NumBits/(double)BufferSizeBits*100 << "\n";
 458     if (Stats.NumInstances > 1) {
 459       std::cerr << "       Average Size: ";
 460       PrintSize(Stats.NumBits/(double)Stats.NumInstances);
 461       std::cerr << "\n";
 462       std::cerr << "  Tot/Avg SubBlocks: " << Stats.NumSubBlocks << "/"
 463                 << Stats.NumSubBlocks/(double)Stats.NumInstances << "\n";
 464       std::cerr << "    Tot/Avg Abbrevs: " << Stats.NumAbbrevs << "/"
 465                 << Stats.NumAbbrevs/(double)Stats.NumInstances << "\n";
 466       std::cerr << "    Tot/Avg Records: " << Stats.NumRecords << "/"
 467                 << Stats.NumRecords/(double)Stats.NumInstances << "\n";
 468     } else {
 469       std::cerr << "      Num SubBlocks: " << Stats.NumSubBlocks << "\n";
 470       std::cerr << "        Num Abbrevs: " << Stats.NumAbbrevs << "\n";
 471       std::cerr << "        Num Records: " << Stats.NumRecords << "\n";
 472     }
 473     if (Stats.NumRecords)
 474       std::cerr << "      % Abbrev Recs: " << (Stats.NumAbbreviatedRecords/
 475                    (double)Stats.NumRecords)*100 << "\n";
 476     std::cerr << "\n";
 477
 478     // Print a histogram of the codes we see.
 479     if (!NoHistogram && !Stats.CodeFreq.empty()) {
 480       std::vector<std::pair<unsigned, unsigned> > FreqPairs;  // <freq,code>
 481       for (unsigned i = 0, e = Stats.CodeFreq.size(); i != e; ++i)
 482         if (unsigned Freq = Stats.CodeFreq[i])
 483           FreqPairs.push_back(std::make_pair(Freq, i));
 484       std::stable_sort(FreqPairs.begin(), FreqPairs.end());
 485       std::reverse(FreqPairs.begin(), FreqPairs.end());
 486
 487       std::cerr << "\tCode Histogram:\n";
 488       for (unsigned i = 0, e = FreqPairs.size(); i != e; ++i) {
 489         std::cerr << "\t\t" << FreqPairs[i].first << "\t";
 490         if (const char *CodeName = GetCodeName(FreqPairs[i].second, I->first))
 491           std::cerr << CodeName << "\n";
 492         else
 493           std::cerr << "UnknownCode" << FreqPairs[i].second << "\n";
 494       }
 495       std::cerr << "\n";
 496
 497     }
 498   }
 499   return 0;
 500 }
 501
 502
 503 //===----------------------------------------------------------------------===//
 504 // Bytecode specific analysis.
 505 //===----------------------------------------------------------------------===//
 506
 507 int main(int argc, char **argv) {
 508   llvm_shutdown_obj X;  // Call llvm_shutdown() on exit.
 509   cl::ParseCommandLineOptions(argc, argv, " llvm-bcanalyzer file analyzer\n");
 510
 511   sys::PrintStackTraceOnErrorSignal();
 512
 513   if (Bitcode)
 514     return AnalyzeBitcode();
 515
 516   try {
 517     std::ostream *Out = &std::cout;  // Default to printing to stdout...
 518     std::string ErrorMessage;
 519     BytecodeAnalysis bca;
 520
 521     /// Determine what to generate
 522     bca.detailedResults = !NoDetails;
 523     bca.progressiveVerify = Verify;
 524
 525     /// Analyze the bytecode file
 526     Module* M = AnalyzeBytecodeFile(InputFilename, bca,
 527                                     Compressor::decompressToNewBuffer,
 528                                     &ErrorMessage, (Dump?Out:0));
 529
 530     // All that bcanalyzer does is write the gathered statistics to the output
 531     PrintBytecodeAnalysis(bca,*Out);
 532
 533     if (M && Verify) {
 534       std::string verificationMsg;
 535       if (verifyModule(*M, ReturnStatusAction, &verificationMsg))
 536         std::cerr << "Final Verification Message: " << verificationMsg << "\n";
 537     }
 538
 539     if (Out != &std::cout) {
 540       ((std::ofstream*)Out)->close();
 541       delete Out;
 542     }
 543     return 0;
 544   } catch (const std::string& msg) {
 545     std::cerr << argv[0] << ": " << msg << "\n";
 546   } catch (...) {
 547     std::cerr << argv[0] << ": Unexpected unknown exception occurred.\n";
 548   }
 549   return 1;
 550 }