1212793Sdim//===-- llvm-diff.cpp - Module comparator command-line driver ---*- C++ -*-===//
2212793Sdim//
3212793Sdim//                     The LLVM Compiler Infrastructure
4212793Sdim//
5212793Sdim// This file is distributed under the University of Illinois Open Source
6212793Sdim// License. See LICENSE.TXT for details.
7212793Sdim//
8212793Sdim//===----------------------------------------------------------------------===//
9212793Sdim//
10212793Sdim// This file defines the command-line driver for the difference engine.
11212793Sdim//
12212793Sdim//===----------------------------------------------------------------------===//
13212793Sdim
14221337Sdim#include "DiffLog.h"
15212793Sdim#include "DifferenceEngine.h"
16212793Sdim#include "llvm/ADT/DenseMap.h"
17212793Sdim#include "llvm/ADT/SmallVector.h"
18212793Sdim#include "llvm/ADT/StringRef.h"
19252723Sdim#include "llvm/IR/LLVMContext.h"
20252723Sdim#include "llvm/IR/Module.h"
21252723Sdim#include "llvm/IR/Type.h"
22252723Sdim#include "llvm/IRReader/IRReader.h"
23212793Sdim#include "llvm/Support/CommandLine.h"
24212793Sdim#include "llvm/Support/MemoryBuffer.h"
25252723Sdim#include "llvm/Support/SourceMgr.h"
26212793Sdim#include "llvm/Support/raw_ostream.h"
27212793Sdim#include <string>
28212793Sdim#include <utility>
29212793Sdim
30212793Sdim
31212793Sdimusing namespace llvm;
32212793Sdim
33218885Sdim/// Reads a module from a file.  On error, messages are written to stderr
34218885Sdim/// and null is returned.
35212793Sdimstatic Module *ReadModule(LLVMContext &Context, StringRef Name) {
36218885Sdim  SMDiagnostic Diag;
37218885Sdim  Module *M = ParseIRFile(Name, Diag, Context);
38218885Sdim  if (!M)
39235633Sdim    Diag.print("llvm-diff", errs());
40218885Sdim  return M;
41212793Sdim}
42212793Sdim
43212793Sdimstatic void diffGlobal(DifferenceEngine &Engine, Module *L, Module *R,
44212793Sdim                       StringRef Name) {
45212793Sdim  // Drop leading sigils from the global name.
46212793Sdim  if (Name.startswith("@")) Name = Name.substr(1);
47212793Sdim
48212793Sdim  Function *LFn = L->getFunction(Name);
49212793Sdim  Function *RFn = R->getFunction(Name);
50212793Sdim  if (LFn && RFn)
51212793Sdim    Engine.diff(LFn, RFn);
52212793Sdim  else if (!LFn && !RFn)
53212793Sdim    errs() << "No function named @" << Name << " in either module\n";
54212793Sdim  else if (!LFn)
55212793Sdim    errs() << "No function named @" << Name << " in left module\n";
56212793Sdim  else
57212793Sdim    errs() << "No function named @" << Name << " in right module\n";
58212793Sdim}
59212793Sdim
60218885Sdimstatic cl::opt<std::string> LeftFilename(cl::Positional,
61218885Sdim                                         cl::desc("<first file>"),
62218885Sdim                                         cl::Required);
63218885Sdimstatic cl::opt<std::string> RightFilename(cl::Positional,
64218885Sdim                                          cl::desc("<second file>"),
65218885Sdim                                          cl::Required);
66218885Sdimstatic cl::list<std::string> GlobalsToCompare(cl::Positional,
67218885Sdim                                              cl::desc("<globals to compare>"));
68212793Sdim
69212793Sdimint main(int argc, char **argv) {
70212793Sdim  cl::ParseCommandLineOptions(argc, argv);
71212793Sdim
72212793Sdim  LLVMContext Context;
73263509Sdim
74212793Sdim  // Load both modules.  Die if that fails.
75212793Sdim  Module *LModule = ReadModule(Context, LeftFilename);
76212793Sdim  Module *RModule = ReadModule(Context, RightFilename);
77212793Sdim  if (!LModule || !RModule) return 1;
78212793Sdim
79245431Sdim  DiffConsumer Consumer;
80245431Sdim  DifferenceEngine Engine(Consumer);
81212793Sdim
82212793Sdim  // If any global names were given, just diff those.
83212793Sdim  if (!GlobalsToCompare.empty()) {
84212793Sdim    for (unsigned I = 0, E = GlobalsToCompare.size(); I != E; ++I)
85212793Sdim      diffGlobal(Engine, LModule, RModule, GlobalsToCompare[I]);
86212793Sdim
87212793Sdim  // Otherwise, diff everything in the module.
88212793Sdim  } else {
89212793Sdim    Engine.diff(LModule, RModule);
90212793Sdim  }
91212793Sdim
92212793Sdim  delete LModule;
93212793Sdim  delete RModule;
94212793Sdim
95212793Sdim  return Consumer.hadDifferences();
96212793Sdim}
97