xref: /src/contrib/llvm-project/llvm/tools/llvm-diff/llvm-diff.cpp (revision 647cbc5de815c5651677bf8582797f716ec7b48d)
1d39c594dSDimitry Andric //===-- llvm-diff.cpp - Module comparator command-line driver ---*- C++ -*-===//
2d39c594dSDimitry Andric //
3e6d15924SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e6d15924SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5e6d15924SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6d39c594dSDimitry Andric //
7d39c594dSDimitry Andric //===----------------------------------------------------------------------===//
8d39c594dSDimitry Andric //
9d39c594dSDimitry Andric // This file defines the command-line driver for the difference engine.
10d39c594dSDimitry Andric //
11d39c594dSDimitry Andric //===----------------------------------------------------------------------===//
12d39c594dSDimitry Andric 
13c0981da4SDimitry Andric #include "lib/DiffLog.h"
14c0981da4SDimitry Andric #include "lib/DifferenceEngine.h"
15d39c594dSDimitry Andric #include "llvm/ADT/StringRef.h"
164a16efa3SDimitry Andric #include "llvm/IR/LLVMContext.h"
174a16efa3SDimitry Andric #include "llvm/IR/Module.h"
184a16efa3SDimitry Andric #include "llvm/IR/Type.h"
194a16efa3SDimitry Andric #include "llvm/IRReader/IRReader.h"
20d39c594dSDimitry Andric #include "llvm/Support/CommandLine.h"
21d39c594dSDimitry Andric #include "llvm/Support/MemoryBuffer.h"
22d39c594dSDimitry Andric #include "llvm/Support/SourceMgr.h"
234a16efa3SDimitry Andric #include "llvm/Support/raw_ostream.h"
246f8fc217SDimitry Andric #include "llvm/Support/WithColor.h"
25d39c594dSDimitry Andric #include <string>
26d39c594dSDimitry Andric #include <utility>
27d39c594dSDimitry Andric 
28d39c594dSDimitry Andric 
29d39c594dSDimitry Andric using namespace llvm;
30d39c594dSDimitry Andric 
31cf099d11SDimitry Andric /// Reads a module from a file.  On error, messages are written to stderr
32cf099d11SDimitry Andric /// and null is returned.
readModule(LLVMContext & Context,StringRef Name)3367c32a98SDimitry Andric static std::unique_ptr<Module> readModule(LLVMContext &Context,
3467c32a98SDimitry Andric                                           StringRef Name) {
35d39c594dSDimitry Andric   SMDiagnostic Diag;
3667c32a98SDimitry Andric   std::unique_ptr<Module> M = parseIRFile(Name, Diag, Context);
37cf099d11SDimitry Andric   if (!M)
3863faed5bSDimitry Andric     Diag.print("llvm-diff", errs());
39cf099d11SDimitry Andric   return M;
40d39c594dSDimitry Andric }
41d39c594dSDimitry Andric 
diffGlobal(DifferenceEngine & Engine,Module & L,Module & R,StringRef Name)4267c32a98SDimitry Andric static void diffGlobal(DifferenceEngine &Engine, Module &L, Module &R,
43d39c594dSDimitry Andric                        StringRef Name) {
44d39c594dSDimitry Andric   // Drop leading sigils from the global name.
4577dbea07SDimitry Andric   Name.consume_front("@");
46d39c594dSDimitry Andric 
4767c32a98SDimitry Andric   Function *LFn = L.getFunction(Name);
4867c32a98SDimitry Andric   Function *RFn = R.getFunction(Name);
49d39c594dSDimitry Andric   if (LFn && RFn)
50d39c594dSDimitry Andric     Engine.diff(LFn, RFn);
51d39c594dSDimitry Andric   else if (!LFn && !RFn)
52d39c594dSDimitry Andric     errs() << "No function named @" << Name << " in either module\n";
53d39c594dSDimitry Andric   else if (!LFn)
54d39c594dSDimitry Andric     errs() << "No function named @" << Name << " in left module\n";
55d39c594dSDimitry Andric   else
56d39c594dSDimitry Andric     errs() << "No function named @" << Name << " in right module\n";
57d39c594dSDimitry Andric }
58d39c594dSDimitry Andric 
59344a3780SDimitry Andric cl::OptionCategory DiffCategory("Diff Options");
60344a3780SDimitry Andric 
61cf099d11SDimitry Andric static cl::opt<std::string> LeftFilename(cl::Positional,
62344a3780SDimitry Andric                                          cl::desc("<first file>"), cl::Required,
63344a3780SDimitry Andric                                          cl::cat(DiffCategory));
64cf099d11SDimitry Andric static cl::opt<std::string> RightFilename(cl::Positional,
65d39c594dSDimitry Andric                                           cl::desc("<second file>"),
66344a3780SDimitry Andric                                           cl::Required, cl::cat(DiffCategory));
67cf099d11SDimitry Andric static cl::list<std::string> GlobalsToCompare(cl::Positional,
68344a3780SDimitry Andric                                               cl::desc("<globals to compare>"),
69344a3780SDimitry Andric                                               cl::cat(DiffCategory));
70d39c594dSDimitry Andric 
main(int argc,char ** argv)71d39c594dSDimitry Andric int main(int argc, char **argv) {
72344a3780SDimitry Andric   cl::HideUnrelatedOptions({&DiffCategory, &getColorCategory()});
73d39c594dSDimitry Andric   cl::ParseCommandLineOptions(argc, argv);
74d39c594dSDimitry Andric 
75d39c594dSDimitry Andric   LLVMContext Context;
76d39c594dSDimitry Andric 
77d39c594dSDimitry Andric   // Load both modules.  Die if that fails.
7867c32a98SDimitry Andric   std::unique_ptr<Module> LModule = readModule(Context, LeftFilename);
7967c32a98SDimitry Andric   std::unique_ptr<Module> RModule = readModule(Context, RightFilename);
80d39c594dSDimitry Andric   if (!LModule || !RModule) return 1;
81d39c594dSDimitry Andric 
8258b69754SDimitry Andric   DiffConsumer Consumer;
8358b69754SDimitry Andric   DifferenceEngine Engine(Consumer);
84d39c594dSDimitry Andric 
85d39c594dSDimitry Andric   // If any global names were given, just diff those.
86d39c594dSDimitry Andric   if (!GlobalsToCompare.empty()) {
87d39c594dSDimitry Andric     for (unsigned I = 0, E = GlobalsToCompare.size(); I != E; ++I)
8867c32a98SDimitry Andric       diffGlobal(Engine, *LModule, *RModule, GlobalsToCompare[I]);
89d39c594dSDimitry Andric 
90d39c594dSDimitry Andric   // Otherwise, diff everything in the module.
91d39c594dSDimitry Andric   } else {
9267c32a98SDimitry Andric     Engine.diff(LModule.get(), RModule.get());
93d39c594dSDimitry Andric   }
94d39c594dSDimitry Andric 
95d39c594dSDimitry Andric   return Consumer.hadDifferences();
96d39c594dSDimitry Andric }
97