blob: c88396f36bbba6a5d8aec5ced2f1e64bad9fc3dd [file] [log] [blame]
Krzysztof Parzyszekacdff462016-01-12 15:56:33 +00001//===--- RDFLiveness.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// Recalculate the liveness information given a data flow graph.
11// This includes block live-ins and kill flags.
12
13#ifndef RDF_LIVENESS_H
14#define RDF_LIVENESS_H
15
16#include "RDFGraph.h"
17#include "llvm/ADT/DenseMap.h"
18#include <map>
19
20using namespace llvm;
21
22namespace llvm {
23 class MachineBasicBlock;
24 class MachineFunction;
25 class MachineRegisterInfo;
26 class TargetRegisterInfo;
27 class MachineDominatorTree;
28 class MachineDominanceFrontier;
Krzysztof Parzyszekacdff462016-01-12 15:56:33 +000029
30namespace rdf {
31 struct Liveness {
32 public:
Krzysztof Parzyszek7bb63ac2016-10-19 16:30:56 +000033 // This is really a std::map, except that it provides a non-trivial
34 // default constructor to the element accessed via [].
35 struct LiveMapType {
36 LiveMapType(const TargetRegisterInfo &tri) : Empty(tri) {}
37
38 RegisterAggr &operator[] (MachineBasicBlock *B) {
39 return Map.emplace(B, Empty).first->second;
40 }
41 private:
42 RegisterAggr Empty;
43 std::map<MachineBasicBlock*,RegisterAggr> Map;
44 };
45
46 typedef std::pair<NodeId,LaneBitmask> NodeRef;
47 typedef std::set<NodeRef> NodeRefSet;
48 // RegisterId in RefMap must be normalized.
49 typedef std::map<RegisterId,NodeRefSet> RefMap;
Krzysztof Parzyszekacdff462016-01-12 15:56:33 +000050
51 Liveness(MachineRegisterInfo &mri, const DataFlowGraph &g)
52 : DFG(g), TRI(g.getTRI()), MDT(g.getDT()), MDF(g.getDF()),
Krzysztof Parzyszek7bb63ac2016-10-19 16:30:56 +000053 MRI(mri), LiveMap(g.getTRI()), Empty(), NoRegs(g.getTRI()),
54 Trace(false) {}
Krzysztof Parzyszekacdff462016-01-12 15:56:33 +000055
56 NodeList getAllReachingDefs(RegisterRef RefRR, NodeAddr<RefNode*> RefA,
Krzysztof Parzyszeka77fe4e2016-10-03 17:14:48 +000057 bool FullChain, const RegisterAggr &DefRRs);
58 NodeList getAllReachingDefs(NodeAddr<RefNode*> RefA) {
Krzysztof Parzyszek445bd122016-10-14 17:57:55 +000059 return getAllReachingDefs(RefA.Addr->getRegRef(DFG), RefA, false, NoRegs);
Krzysztof Parzyszeka77fe4e2016-10-03 17:14:48 +000060 }
61 NodeList getAllReachingDefs(RegisterRef RefRR, NodeAddr<RefNode*> RefA) {
62 return getAllReachingDefs(RefRR, RefA, false, NoRegs);
63 }
Krzysztof Parzyszekf5cbac92016-04-29 15:49:13 +000064 NodeSet getAllReachingDefsRec(RegisterRef RefRR, NodeAddr<RefNode*> RefA,
65 NodeSet &Visited, const NodeSet &Defs);
66 NodeSet getAllReachedUses(RegisterRef RefRR, NodeAddr<DefNode*> DefA,
Krzysztof Parzyszeka77fe4e2016-10-03 17:14:48 +000067 const RegisterAggr &DefRRs);
68 NodeSet getAllReachedUses(RegisterRef RefRR, NodeAddr<DefNode*> DefA) {
69 return getAllReachedUses(RefRR, DefA, NoRegs);
70 }
Krzysztof Parzyszekacdff462016-01-12 15:56:33 +000071
72 LiveMapType &getLiveMap() { return LiveMap; }
73 const LiveMapType &getLiveMap() const { return LiveMap; }
74 const RefMap &getRealUses(NodeId P) const {
75 auto F = RealUseMap.find(P);
76 return F == RealUseMap.end() ? Empty : F->second;
77 }
78
79 void computePhiInfo();
80 void computeLiveIns();
81 void resetLiveIns();
82 void resetKills();
83 void resetKills(MachineBasicBlock *B);
84
85 void trace(bool T) { Trace = T; }
86
87 private:
88 const DataFlowGraph &DFG;
89 const TargetRegisterInfo &TRI;
90 const MachineDominatorTree &MDT;
91 const MachineDominanceFrontier &MDF;
Krzysztof Parzyszekacdff462016-01-12 15:56:33 +000092 MachineRegisterInfo &MRI;
93 LiveMapType LiveMap;
94 const RefMap Empty;
Krzysztof Parzyszeka77fe4e2016-10-03 17:14:48 +000095 const RegisterAggr NoRegs;
Krzysztof Parzyszekacdff462016-01-12 15:56:33 +000096 bool Trace;
97
98 // Cache of mapping from node ids (for RefNodes) to the containing
99 // basic blocks. Not computing it each time for each node reduces
100 // the liveness calculation time by a large fraction.
101 typedef DenseMap<NodeId,MachineBasicBlock*> NodeBlockMap;
102 NodeBlockMap NBMap;
103
104 // Phi information:
105 //
Krzysztof Parzyszek6e7fa992016-10-21 19:12:13 +0000106 // RealUseMap
107 // map: NodeId -> (map: RegisterId -> NodeRefSet)
Krzysztof Parzyszekacdff462016-01-12 15:56:33 +0000108 // phi id -> (map: register -> set of reached non-phi uses)
109 std::map<NodeId, RefMap> RealUseMap;
110
111 // Inverse iterated dominance frontier.
112 std::map<MachineBasicBlock*,std::set<MachineBasicBlock*>> IIDF;
113
114 // Live on entry.
115 std::map<MachineBasicBlock*,RefMap> PhiLON;
116
117 // Phi uses are considered to be located at the end of the block that
118 // they are associated with. The reaching def of a phi use dominates the
119 // block that the use corresponds to, but not the block that contains
120 // the phi itself. To include these uses in the liveness propagation (up
121 // the dominator tree), create a map: block -> set of uses live on exit.
122 std::map<MachineBasicBlock*,RefMap> PhiLOX;
123
Krzysztof Parzyszek2db0c8b2016-09-07 20:37:05 +0000124 bool isRestrictedToRef(NodeAddr<InstrNode*> IA, NodeAddr<RefNode*> RA,
Krzysztof Parzyszekacdff462016-01-12 15:56:33 +0000125 RegisterRef RR) const;
126 RegisterRef getRestrictedRegRef(NodeAddr<RefNode*> RA) const;
Krzysztof Parzyszekacdff462016-01-12 15:56:33 +0000127 MachineBasicBlock *getBlockWithRef(NodeId RN) const;
128 void traverse(MachineBasicBlock *B, RefMap &LiveIn);
129 void emptify(RefMap &M);
130 };
Benjamin Kramer922efd72016-05-27 10:06:40 +0000131} // namespace rdf
132} // namespace llvm
Krzysztof Parzyszekacdff462016-01-12 15:56:33 +0000133
134#endif // RDF_LIVENESS_H