16bb1caddSDimitry Andric //===-- llvm-diff.cpp - Module comparator command-line driver ---*- C++ -*-===//
26bb1caddSDimitry Andric //
36bb1caddSDimitry Andric //                     The LLVM Compiler Infrastructure
46bb1caddSDimitry Andric //
56bb1caddSDimitry Andric // This file is distributed under the University of Illinois Open Source
66bb1caddSDimitry Andric // License. See LICENSE.TXT for details.
76bb1caddSDimitry Andric //
86bb1caddSDimitry Andric //===----------------------------------------------------------------------===//
96bb1caddSDimitry Andric //
106bb1caddSDimitry Andric // This file defines the command-line driver for the difference engine.
116bb1caddSDimitry Andric //
126bb1caddSDimitry Andric //===----------------------------------------------------------------------===//
136bb1caddSDimitry Andric 
146bb1caddSDimitry Andric #include "DiffLog.h"
156bb1caddSDimitry Andric #include "DifferenceEngine.h"
166bb1caddSDimitry Andric #include "llvm/ADT/StringRef.h"
17139f7f9bSDimitry Andric #include "llvm/IR/LLVMContext.h"
18139f7f9bSDimitry Andric #include "llvm/IR/Module.h"
19139f7f9bSDimitry Andric #include "llvm/IR/Type.h"
20139f7f9bSDimitry Andric #include "llvm/IRReader/IRReader.h"
216bb1caddSDimitry Andric #include "llvm/Support/CommandLine.h"
226bb1caddSDimitry Andric #include "llvm/Support/MemoryBuffer.h"
236bb1caddSDimitry Andric #include "llvm/Support/SourceMgr.h"
24139f7f9bSDimitry Andric #include "llvm/Support/raw_ostream.h"
256bb1caddSDimitry Andric #include <string>
266bb1caddSDimitry Andric #include <utility>
276bb1caddSDimitry Andric 
286bb1caddSDimitry Andric 
296bb1caddSDimitry Andric using namespace llvm;
306bb1caddSDimitry Andric 
316bb1caddSDimitry Andric /// Reads a module from a file.  On error, messages are written to stderr
326bb1caddSDimitry Andric /// and null is returned.
readModule(LLVMContext & Context,StringRef Name)33*39d628a0SDimitry Andric static std::unique_ptr<Module> readModule(LLVMContext &Context,
34*39d628a0SDimitry Andric                                           StringRef Name) {
356bb1caddSDimitry Andric   SMDiagnostic Diag;
36*39d628a0SDimitry Andric   std::unique_ptr<Module> M = parseIRFile(Name, Diag, Context);
376bb1caddSDimitry Andric   if (!M)
38dff0c46cSDimitry Andric     Diag.print("llvm-diff", errs());
396bb1caddSDimitry Andric   return M;
406bb1caddSDimitry Andric }
416bb1caddSDimitry Andric 
diffGlobal(DifferenceEngine & Engine,Module & L,Module & R,StringRef Name)42*39d628a0SDimitry Andric static void diffGlobal(DifferenceEngine &Engine, Module &L, Module &R,
436bb1caddSDimitry Andric                        StringRef Name) {
446bb1caddSDimitry Andric   // Drop leading sigils from the global name.
456bb1caddSDimitry Andric   if (Name.startswith("@")) Name = Name.substr(1);
466bb1caddSDimitry Andric 
47*39d628a0SDimitry Andric   Function *LFn = L.getFunction(Name);
48*39d628a0SDimitry Andric   Function *RFn = R.getFunction(Name);
496bb1caddSDimitry Andric   if (LFn && RFn)
506bb1caddSDimitry Andric     Engine.diff(LFn, RFn);
516bb1caddSDimitry Andric   else if (!LFn && !RFn)
526bb1caddSDimitry Andric     errs() << "No function named @" << Name << " in either module\n";
536bb1caddSDimitry Andric   else if (!LFn)
546bb1caddSDimitry Andric     errs() << "No function named @" << Name << " in left module\n";
556bb1caddSDimitry Andric   else
566bb1caddSDimitry Andric     errs() << "No function named @" << Name << " in right module\n";
576bb1caddSDimitry Andric }
586bb1caddSDimitry Andric 
596bb1caddSDimitry Andric static cl::opt<std::string> LeftFilename(cl::Positional,
606bb1caddSDimitry Andric                                          cl::desc("<first file>"),
616bb1caddSDimitry Andric                                          cl::Required);
626bb1caddSDimitry Andric static cl::opt<std::string> RightFilename(cl::Positional,
636bb1caddSDimitry Andric                                           cl::desc("<second file>"),
646bb1caddSDimitry Andric                                           cl::Required);
656bb1caddSDimitry Andric static cl::list<std::string> GlobalsToCompare(cl::Positional,
666bb1caddSDimitry Andric                                               cl::desc("<globals to compare>"));
676bb1caddSDimitry Andric 
main(int argc,char ** argv)686bb1caddSDimitry Andric int main(int argc, char **argv) {
696bb1caddSDimitry Andric   cl::ParseCommandLineOptions(argc, argv);
706bb1caddSDimitry Andric 
716bb1caddSDimitry Andric   LLVMContext Context;
726bb1caddSDimitry Andric 
736bb1caddSDimitry Andric   // Load both modules.  Die if that fails.
74*39d628a0SDimitry Andric   std::unique_ptr<Module> LModule = readModule(Context, LeftFilename);
75*39d628a0SDimitry Andric   std::unique_ptr<Module> RModule = readModule(Context, RightFilename);
766bb1caddSDimitry Andric   if (!LModule || !RModule) return 1;
776bb1caddSDimitry Andric 
787ae0e2c9SDimitry Andric   DiffConsumer Consumer;
797ae0e2c9SDimitry Andric   DifferenceEngine Engine(Consumer);
806bb1caddSDimitry Andric 
816bb1caddSDimitry Andric   // If any global names were given, just diff those.
826bb1caddSDimitry Andric   if (!GlobalsToCompare.empty()) {
836bb1caddSDimitry Andric     for (unsigned I = 0, E = GlobalsToCompare.size(); I != E; ++I)
84*39d628a0SDimitry Andric       diffGlobal(Engine, *LModule, *RModule, GlobalsToCompare[I]);
856bb1caddSDimitry Andric 
866bb1caddSDimitry Andric   // Otherwise, diff everything in the module.
876bb1caddSDimitry Andric   } else {
88*39d628a0SDimitry Andric     Engine.diff(LModule.get(), RModule.get());
896bb1caddSDimitry Andric   }
906bb1caddSDimitry Andric 
916bb1caddSDimitry Andric   return Consumer.hadDifferences();
926bb1caddSDimitry Andric }
93