mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 03:02:36 +01:00
e71f7771a1
Some APIs work with const variables while others don't. This can cause conflicts when calling one from the other. This is NFC. Differential Revision: https://reviews.llvm.org/D104719
91 lines
2.5 KiB
C++
91 lines
2.5 KiB
C++
//===-- 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
|