xref: /freebsd-src/contrib/llvm-project/llvm/tools/llvm-diff/llvm-diff.cpp (revision 647cbc5de815c5651677bf8582797f716ec7b48d)
10b57cec5SDimitry Andric //===-- llvm-diff.cpp - Module comparator command-line driver ---*- C++ -*-===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file defines the command-line driver for the difference engine.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
13349cc55cSDimitry Andric #include "lib/DiffLog.h"
14349cc55cSDimitry Andric #include "lib/DifferenceEngine.h"
150b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h"
160b57cec5SDimitry Andric #include "llvm/IR/LLVMContext.h"
170b57cec5SDimitry Andric #include "llvm/IR/Module.h"
180b57cec5SDimitry Andric #include "llvm/IR/Type.h"
190b57cec5SDimitry Andric #include "llvm/IRReader/IRReader.h"
200b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
210b57cec5SDimitry Andric #include "llvm/Support/MemoryBuffer.h"
220b57cec5SDimitry Andric #include "llvm/Support/SourceMgr.h"
230b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
2404eeddc0SDimitry Andric #include "llvm/Support/WithColor.h"
250b57cec5SDimitry Andric #include <string>
260b57cec5SDimitry Andric #include <utility>
270b57cec5SDimitry Andric 
280b57cec5SDimitry Andric 
290b57cec5SDimitry Andric using namespace llvm;
300b57cec5SDimitry Andric 
310b57cec5SDimitry Andric /// Reads a module from a file.  On error, messages are written to stderr
320b57cec5SDimitry Andric /// and null is returned.
readModule(LLVMContext & Context,StringRef Name)330b57cec5SDimitry Andric static std::unique_ptr<Module> readModule(LLVMContext &Context,
340b57cec5SDimitry Andric                                           StringRef Name) {
350b57cec5SDimitry Andric   SMDiagnostic Diag;
360b57cec5SDimitry Andric   std::unique_ptr<Module> M = parseIRFile(Name, Diag, Context);
370b57cec5SDimitry Andric   if (!M)
380b57cec5SDimitry Andric     Diag.print("llvm-diff", errs());
390b57cec5SDimitry Andric   return M;
400b57cec5SDimitry Andric }
410b57cec5SDimitry Andric 
diffGlobal(DifferenceEngine & Engine,Module & L,Module & R,StringRef Name)420b57cec5SDimitry Andric static void diffGlobal(DifferenceEngine &Engine, Module &L, Module &R,
430b57cec5SDimitry Andric                        StringRef Name) {
440b57cec5SDimitry Andric   // Drop leading sigils from the global name.
45*647cbc5dSDimitry Andric   Name.consume_front("@");
460b57cec5SDimitry Andric 
470b57cec5SDimitry Andric   Function *LFn = L.getFunction(Name);
480b57cec5SDimitry Andric   Function *RFn = R.getFunction(Name);
490b57cec5SDimitry Andric   if (LFn && RFn)
500b57cec5SDimitry Andric     Engine.diff(LFn, RFn);
510b57cec5SDimitry Andric   else if (!LFn && !RFn)
520b57cec5SDimitry Andric     errs() << "No function named @" << Name << " in either module\n";
530b57cec5SDimitry Andric   else if (!LFn)
540b57cec5SDimitry Andric     errs() << "No function named @" << Name << " in left module\n";
550b57cec5SDimitry Andric   else
560b57cec5SDimitry Andric     errs() << "No function named @" << Name << " in right module\n";
570b57cec5SDimitry Andric }
580b57cec5SDimitry Andric 
59fe6060f1SDimitry Andric cl::OptionCategory DiffCategory("Diff Options");
60fe6060f1SDimitry Andric 
610b57cec5SDimitry Andric static cl::opt<std::string> LeftFilename(cl::Positional,
62fe6060f1SDimitry Andric                                          cl::desc("<first file>"), cl::Required,
63fe6060f1SDimitry Andric                                          cl::cat(DiffCategory));
640b57cec5SDimitry Andric static cl::opt<std::string> RightFilename(cl::Positional,
650b57cec5SDimitry Andric                                           cl::desc("<second file>"),
66fe6060f1SDimitry Andric                                           cl::Required, cl::cat(DiffCategory));
670b57cec5SDimitry Andric static cl::list<std::string> GlobalsToCompare(cl::Positional,
68fe6060f1SDimitry Andric                                               cl::desc("<globals to compare>"),
69fe6060f1SDimitry Andric                                               cl::cat(DiffCategory));
700b57cec5SDimitry Andric 
main(int argc,char ** argv)710b57cec5SDimitry Andric int main(int argc, char **argv) {
72fe6060f1SDimitry Andric   cl::HideUnrelatedOptions({&DiffCategory, &getColorCategory()});
730b57cec5SDimitry Andric   cl::ParseCommandLineOptions(argc, argv);
740b57cec5SDimitry Andric 
750b57cec5SDimitry Andric   LLVMContext Context;
760b57cec5SDimitry Andric 
770b57cec5SDimitry Andric   // Load both modules.  Die if that fails.
780b57cec5SDimitry Andric   std::unique_ptr<Module> LModule = readModule(Context, LeftFilename);
790b57cec5SDimitry Andric   std::unique_ptr<Module> RModule = readModule(Context, RightFilename);
800b57cec5SDimitry Andric   if (!LModule || !RModule) return 1;
810b57cec5SDimitry Andric 
820b57cec5SDimitry Andric   DiffConsumer Consumer;
830b57cec5SDimitry Andric   DifferenceEngine Engine(Consumer);
840b57cec5SDimitry Andric 
850b57cec5SDimitry Andric   // If any global names were given, just diff those.
860b57cec5SDimitry Andric   if (!GlobalsToCompare.empty()) {
870b57cec5SDimitry Andric     for (unsigned I = 0, E = GlobalsToCompare.size(); I != E; ++I)
880b57cec5SDimitry Andric       diffGlobal(Engine, *LModule, *RModule, GlobalsToCompare[I]);
890b57cec5SDimitry Andric 
900b57cec5SDimitry Andric   // Otherwise, diff everything in the module.
910b57cec5SDimitry Andric   } else {
920b57cec5SDimitry Andric     Engine.diff(LModule.get(), RModule.get());
930b57cec5SDimitry Andric   }
940b57cec5SDimitry Andric 
950b57cec5SDimitry Andric   return Consumer.hadDifferences();
960b57cec5SDimitry Andric }
97