aboutsummaryrefslogtreecommitdiff
path: root/contrib/llvm/tools/llvm-diff/DifferenceEngine.h
diff options
context:
space:
mode:
authorDimitry Andric <dim@FreeBSD.org>2010-10-11 17:22:16 +0000
committerDimitry Andric <dim@FreeBSD.org>2010-10-11 17:22:16 +0000
commit361680a51927577ccb20b14704dbaac762181843 (patch)
treede75a464c5dac7eceb2dbbad8b4d4e1479d79e08 /contrib/llvm/tools/llvm-diff/DifferenceEngine.h
parent72578a23bf85ae6f14444ee38e72f9b16899bb52 (diff)
downloadsrc-361680a51927577ccb20b14704dbaac762181843.tar.gz
src-361680a51927577ccb20b14704dbaac762181843.zip
Remove more unneeded files and directories from contrib/llvm. This
still allows us to build tblgen and clang, and further reduces the footprint in the tree. Approved by: rpaulo (mentor)
Notes
Notes: svn path=/head/; revision=213695
Diffstat (limited to 'contrib/llvm/tools/llvm-diff/DifferenceEngine.h')
-rw-r--r--contrib/llvm/tools/llvm-diff/DifferenceEngine.h179
1 files changed, 0 insertions, 179 deletions
diff --git a/contrib/llvm/tools/llvm-diff/DifferenceEngine.h b/contrib/llvm/tools/llvm-diff/DifferenceEngine.h
deleted file mode 100644
index 6eefb06118fa..000000000000
--- a/contrib/llvm/tools/llvm-diff/DifferenceEngine.h
+++ /dev/null
@@ -1,179 +0,0 @@
-//===-- DifferenceEngine.h - Module comparator ------------------*- C++ -*-===//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// This header defines the interface to the LLVM difference engine,
-// which structurally compares functions within a module.
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef _LLVM_DIFFERENCE_ENGINE_H_
-#define _LLVM_DIFFERENCE_ENGINE_H_
-
-#include "llvm/ADT/SmallVector.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 temporary-object class for building up log messages.
- class LogBuilder {
- DifferenceEngine &Engine;
-
- /// The use of a stored StringRef here is okay because
- /// LogBuilder should be used only as a temporary, and as a
- /// temporary it will be destructed before whatever temporary
- /// might be initializing this format.
- StringRef Format;
-
- SmallVector<Value*, 4> Arguments;
-
- public:
- LogBuilder(DifferenceEngine &Engine, StringRef Format)
- : Engine(Engine), Format(Format) {}
-
- LogBuilder &operator<<(Value *V) {
- Arguments.push_back(V);
- return *this;
- }
-
- ~LogBuilder() {
- Engine.consumer.logf(*this);
- }
-
- StringRef getFormat() const { return Format; }
-
- unsigned getNumArguments() const { return Arguments.size(); }
- Value *getArgument(unsigned I) const { return Arguments[I]; }
- };
-
- enum DiffChange { DC_match, DC_left, DC_right };
-
- /// A temporary-object class for building up diff messages.
- class DiffLogBuilder {
- typedef std::pair<Instruction*,Instruction*> DiffRecord;
- SmallVector<DiffRecord, 20> Diff;
-
- DifferenceEngine &Engine;
-
- public:
- DiffLogBuilder(DifferenceEngine &Engine) : Engine(Engine) {}
- ~DiffLogBuilder() { Engine.consumer.logd(*this); }
-
- void addMatch(Instruction *L, Instruction *R) {
- Diff.push_back(DiffRecord(L, R));
- }
- void addLeft(Instruction *L) {
- // HACK: VS 2010 has a bug in the stdlib that requires this.
- Diff.push_back(DiffRecord(L, DiffRecord::second_type(0)));
- }
- void addRight(Instruction *R) {
- // HACK: VS 2010 has a bug in the stdlib that requires this.
- Diff.push_back(DiffRecord(DiffRecord::first_type(0), R));
- }
-
- unsigned getNumLines() const { return Diff.size(); }
- DiffChange getLineKind(unsigned I) const {
- return (Diff[I].first ? (Diff[I].second ? DC_match : DC_left)
- : DC_right);
- }
- Instruction *getLeft(unsigned I) const { return Diff[I].first; }
- Instruction *getRight(unsigned I) const { return Diff[I].second; }
- };
-
- /// The interface for consumers of difference data.
- struct Consumer {
- /// Record that a local context has been entered. Left and
- /// Right are IR "containers" of some sort which are being
- /// considered for structural equivalence: global variables,
- /// functions, blocks, instructions, etc.
- virtual void enterContext(Value *Left, Value *Right) = 0;
-
- /// Record that a local context has been exited.
- virtual void exitContext() = 0;
-
- /// Record a difference within the current context.
- virtual void log(StringRef Text) = 0;
-
- /// Record a formatted difference within the current context.
- virtual void logf(const LogBuilder &Log) = 0;
-
- /// Record a line-by-line instruction diff.
- virtual void logd(const DiffLogBuilder &Log) = 0;
-
- protected:
- virtual ~Consumer() {}
- };
-
- /// A RAII object for recording the current context.
- struct Context {
- Context(DifferenceEngine &Engine, Value *L, 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.
- struct Oracle {
- virtual bool operator()(Value *L, Value *R) = 0;
-
- protected:
- virtual ~Oracle() {}
- };
-
- DifferenceEngine(LLVMContext &context, Consumer &consumer)
- : context(context), consumer(consumer), globalValueOracle(0) {}
-
- void diff(Module *L, Module *R);
- void diff(Function *L, Function *R);
-
- void log(StringRef text) {
- consumer.log(text);
- }
-
- LogBuilder logf(StringRef text) {
- return LogBuilder(*this, text);
- }
-
- /// 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(GlobalValue *L, GlobalValue *R);
-
- private:
- LLVMContext &context;
- Consumer &consumer;
- Oracle *globalValueOracle;
- };
-}
-
-#endif