diff options
author | vvvv <vvvv@ydb.tech> | 2024-02-06 20:01:22 +0300 |
---|---|---|
committer | vvvv <vvvv@ydb.tech> | 2024-02-06 20:22:16 +0300 |
commit | 0203b7a9a40828bb2bd4c32029b79ff0ea3d1f8f (patch) | |
tree | e630d0d5bd0bd29fc8c2d2842ed2cfde781b993a /contrib/libs/llvm16/tools/llvm-diff/lib/DifferenceEngine.h | |
parent | ba27db76d99d12a4f1c06960b5449423218614c4 (diff) | |
download | ydb-0203b7a9a40828bb2bd4c32029b79ff0ea3d1f8f.tar.gz |
llvm16 targets
Diffstat (limited to 'contrib/libs/llvm16/tools/llvm-diff/lib/DifferenceEngine.h')
-rw-r--r-- | contrib/libs/llvm16/tools/llvm-diff/lib/DifferenceEngine.h | 90 |
1 files changed, 90 insertions, 0 deletions
diff --git a/contrib/libs/llvm16/tools/llvm-diff/lib/DifferenceEngine.h b/contrib/libs/llvm16/tools/llvm-diff/lib/DifferenceEngine.h new file mode 100644 index 0000000000..436a355663 --- /dev/null +++ b/contrib/libs/llvm16/tools/llvm-diff/lib/DifferenceEngine.h @@ -0,0 +1,90 @@ +//===-- DifferenceEngine.h - Module comparator ------------------*- C++ -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// +// +// This header defines the interface to the LLVM difference engine, +// which structurally compares functions within a module. +// +//===----------------------------------------------------------------------===// + +#ifndef LLVM_TOOLS_LLVM_DIFF_DIFFERENCEENGINE_H +#define LLVM_TOOLS_LLVM_DIFF_DIFFERENCEENGINE_H + +#include "DiffConsumer.h" +#include "DiffLog.h" +#include "llvm/ADT/StringRef.h" +#include <utility> + +namespace llvm { + class Function; + class GlobalValue; + class Instruction; + class LLVMContext; + class Module; + class Twine; + class Value; + + /// A class for performing structural comparisons of LLVM assembly. + class DifferenceEngine { + public: + /// A RAII object for recording the current context. + struct Context { + Context(DifferenceEngine &Engine, const Value *L, const Value *R) + : Engine(Engine) { + Engine.consumer.enterContext(L, R); + } + + ~Context() { + Engine.consumer.exitContext(); + } + + private: + DifferenceEngine &Engine; + }; + + /// An oracle for answering whether two values are equivalent as + /// operands. + class Oracle { + virtual void anchor(); + public: + virtual bool operator()(const Value *L, const Value *R) = 0; + + protected: + virtual ~Oracle() {} + }; + + DifferenceEngine(Consumer &consumer) + : consumer(consumer), globalValueOracle(nullptr) {} + + void diff(const Module *L, const Module *R); + void diff(const Function *L, const Function *R); + void log(StringRef text) { + consumer.log(text); + } + LogBuilder logf(StringRef text) { + return LogBuilder(consumer, text); + } + Consumer& getConsumer() const { return consumer; } + + /// Installs an oracle to decide whether two global values are + /// equivalent as operands. Without an oracle, global values are + /// considered equivalent as operands precisely when they have the + /// same name. + void setGlobalValueOracle(Oracle *oracle) { + globalValueOracle = oracle; + } + + /// Determines whether two global values are equivalent. + bool equivalentAsOperands(const GlobalValue *L, const GlobalValue *R); + + private: + Consumer &consumer; + Oracle *globalValueOracle; + }; +} + +#endif |