blob: 6a3ac67fbbc98c197f66c4955b9e582db9c6787b [file] [log] [blame]
Krzysztof Parzyszekc09d6302016-01-12 17:23:48 +00001//===--- RDFCopy.h --------------------------------------------------------===//
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#ifndef RDF_COPY_H
11#define RDF_COPY_H
12
13#include "RDFGraph.h"
14#include <map>
15#include <vector>
16
17namespace llvm {
18 class MachineBasicBlock;
19 class MachineDominatorTree;
20 class MachineInstr;
21}
22
23namespace rdf {
24 struct CopyPropagation {
25 CopyPropagation(DataFlowGraph &dfg) : MDT(dfg.getDT()), DFG(dfg),
26 Trace(false) {}
Krzysztof Parzyszekadc64b72016-01-18 20:43:57 +000027 virtual ~CopyPropagation() {}
Krzysztof Parzyszekc09d6302016-01-12 17:23:48 +000028
29 bool run();
30 void trace(bool On) { Trace = On; }
31 bool trace() const { return Trace; }
32
Krzysztof Parzyszekadc64b72016-01-18 20:43:57 +000033 typedef std::map<RegisterRef, RegisterRef> EqualityMap;
34 virtual bool interpretAsCopy(const MachineInstr *MI, EqualityMap &EM);
35
Krzysztof Parzyszekc09d6302016-01-12 17:23:48 +000036 private:
37 const MachineDominatorTree &MDT;
38 DataFlowGraph &DFG;
39 DataFlowGraph::DefStackMap DefM;
40 bool Trace;
41
42 // map: register -> (map: stmt -> reaching def)
43 std::map<RegisterRef,std::map<NodeId,NodeId>> RDefMap;
Krzysztof Parzyszekadc64b72016-01-18 20:43:57 +000044 // map: statement -> (map: dst reg -> src reg)
45 std::map<NodeId, EqualityMap> CopyMap;
Krzysztof Parzyszekc09d6302016-01-12 17:23:48 +000046 std::vector<NodeId> Copies;
47
Krzysztof Parzyszekadc64b72016-01-18 20:43:57 +000048 void recordCopy(NodeAddr<StmtNode*> SA, EqualityMap &EM);
Krzysztof Parzyszekc09d6302016-01-12 17:23:48 +000049 void updateMap(NodeAddr<InstrNode*> IA);
50 bool scanBlock(MachineBasicBlock *B);
51 };
52}
53
54#endif