blob: 98e369ba976879c8581eac708d805134dfd66f3d [file] [log] [blame]
Renato Golin7d4fc4f2011-03-14 22:22:46 +00001//===-- DiffConsumer.h - Difference Consumer --------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This header defines the interface to the LLVM difference Consumer
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef _LLVM_DIFFCONSUMER_H_
15#define _LLVM_DIFFCONSUMER_H_
16
17#include "DiffLog.h"
18
19#include "llvm/ADT/SmallVector.h"
20#include "llvm/ADT/DenseMap.h"
21#include "llvm/ADT/StringRef.h"
22#include "llvm/Support/raw_ostream.h"
23#include "llvm/Support/Casting.h"
24
25namespace llvm {
26 class Module;
27 class Value;
28 class Function;
29
30 /// The interface for consumers of difference data.
Francois Pichet875c3ff2011-03-14 23:07:21 +000031 class Consumer {
David Blaikie2d24e2a2011-12-20 02:50:00 +000032 virtual void anchor();
Francois Pichet875c3ff2011-03-14 23:07:21 +000033 public:
Renato Golin7d4fc4f2011-03-14 22:22:46 +000034 /// Record that a local context has been entered. Left and
35 /// Right are IR "containers" of some sort which are being
36 /// considered for structural equivalence: global variables,
37 /// functions, blocks, instructions, etc.
38 virtual void enterContext(Value *Left, Value *Right) = 0;
39
40 /// Record that a local context has been exited.
41 virtual void exitContext() = 0;
42
43 /// Record a difference within the current context.
44 virtual void log(StringRef Text) = 0;
45
46 /// Record a formatted difference within the current context.
47 virtual void logf(const LogBuilder &Log) = 0;
48
49 /// Record a line-by-line instruction diff.
50 virtual void logd(const DiffLogBuilder &Log) = 0;
51
52 protected:
53 virtual ~Consumer() {}
54 };
55
56 class DiffConsumer : public Consumer {
57 private:
58 struct DiffContext {
59 DiffContext(Value *L, Value *R)
60 : L(L), R(R), Differences(false), IsFunction(isa<Function>(L)) {}
61 Value *L;
62 Value *R;
63 bool Differences;
64 bool IsFunction;
65 DenseMap<Value*,unsigned> LNumbering;
66 DenseMap<Value*,unsigned> RNumbering;
67 };
68
69 raw_ostream &out;
Renato Golin7d4fc4f2011-03-14 22:22:46 +000070 SmallVector<DiffContext, 5> contexts;
71 bool Differences;
72 unsigned Indent;
73
74 void printValue(Value *V, bool isL);
75 void header();
76 void indent();
77
78 public:
Benjamin Kramera7542d52012-06-06 18:25:08 +000079 DiffConsumer()
80 : out(errs()), Differences(false), Indent(0) {}
Renato Golin7d4fc4f2011-03-14 22:22:46 +000081
82 bool hadDifferences() const;
83 void enterContext(Value *L, Value *R);
84 void exitContext();
85 void log(StringRef text);
86 void logf(const LogBuilder &Log);
87 void logd(const DiffLogBuilder &Log);
88 };
89}
90
91#endif