Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1386)

Side by Side Diff: src/IceLiveness.h

Issue 830303003: Subzero: Clean up a few areas. (Closed) Base URL: https://chromium.googlesource.com/native_client/pnacl-subzero.git@master
Patch Set: Rewrite another loop using reverse_range() Created 5 years, 11 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « src/IceGlobalContext.cpp ('k') | src/IceOperand.h » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 //===- subzero/src/IceLiveness.h - Liveness analysis ------------*- C++ -*-===// 1 //===- subzero/src/IceLiveness.h - Liveness analysis ------------*- C++ -*-===//
2 // 2 //
3 // The Subzero Code Generator 3 // The Subzero Code Generator
4 // 4 //
5 // This file is distributed under the University of Illinois Open Source 5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details. 6 // License. See LICENSE.TXT for details.
7 // 7 //
8 //===----------------------------------------------------------------------===// 8 //===----------------------------------------------------------------------===//
9 // 9 //
10 // This file declares the Liveness and LivenessNode classes, 10 // This file declares the Liveness and LivenessNode classes,
11 // which are used for liveness analysis. The node-specific 11 // which are used for liveness analysis. The node-specific
12 // information tracked for each Variable includes whether it is 12 // information tracked for each Variable includes whether it is
13 // live on entry, whether it is live on exit, the instruction number 13 // live on entry, whether it is live on exit, the instruction number
14 // that starts its live range, and the instruction number that ends 14 // that starts its live range, and the instruction number that ends
15 // its live range. At the Cfg level, the actual live intervals are 15 // its live range. At the Cfg level, the actual live intervals are
16 // recorded. 16 // recorded.
17 // 17 //
18 //===----------------------------------------------------------------------===// 18 //===----------------------------------------------------------------------===//
19 19
20 #ifndef SUBZERO_SRC_ICELIVENESS_H 20 #ifndef SUBZERO_SRC_ICELIVENESS_H
21 #define SUBZERO_SRC_ICELIVENESS_H 21 #define SUBZERO_SRC_ICELIVENESS_H
22 22
23 #include "IceDefs.h" 23 #include "IceDefs.h"
24 #include "IceTypes.h" 24 #include "IceTypes.h"
25 25
26 namespace Ice { 26 namespace Ice {
27 27
28 class LivenessNode {
29 // TODO: Disable these constructors when Liveness::Nodes is no
30 // longer an STL container.
31 // LivenessNode(const LivenessNode &) = delete;
32 // LivenessNode &operator=(const LivenessNode &) = delete;
33
34 public:
35 LivenessNode() : NumLocals(0), NumNonDeadPhis(0) {}
36 // NumLocals is the number of Variables local to this block.
37 SizeT NumLocals;
38 // NumNonDeadPhis tracks the number of Phi instructions that
39 // Inst::liveness() identified as tentatively live. If
40 // NumNonDeadPhis changes from the last liveness pass, then liveness
41 // has not yet converged.
42 SizeT NumNonDeadPhis;
43 // LiveToVarMap maps a liveness bitvector index to a Variable. This
44 // is generally just for printing/dumping. The index should be less
45 // than NumLocals + Liveness::NumGlobals.
46 std::vector<Variable *> LiveToVarMap;
47 // LiveIn and LiveOut track the in- and out-liveness of the global
48 // variables. The size of each vector is
49 // LivenessNode::NumGlobals.
50 LivenessBV LiveIn, LiveOut;
51 // LiveBegin and LiveEnd track the instruction numbers of the start
52 // and end of each variable's live range within this block. The
53 // index/key of each element is less than NumLocals +
54 // Liveness::NumGlobals.
55 LiveBeginEndMap LiveBegin, LiveEnd;
56 };
57
58 class Liveness { 28 class Liveness {
59 Liveness(const Liveness &) = delete; 29 Liveness(const Liveness &) = delete;
60 Liveness &operator=(const Liveness &) = delete; 30 Liveness &operator=(const Liveness &) = delete;
61 31
32 class LivenessNode {
33 LivenessNode &operator=(const LivenessNode &) = delete;
34
35 public:
36 LivenessNode() : NumLocals(0), NumNonDeadPhis(0) {}
37 LivenessNode(const LivenessNode &) = default;
38 // NumLocals is the number of Variables local to this block.
39 SizeT NumLocals;
40 // NumNonDeadPhis tracks the number of Phi instructions that
41 // Inst::liveness() identified as tentatively live. If
42 // NumNonDeadPhis changes from the last liveness pass, then liveness
43 // has not yet converged.
44 SizeT NumNonDeadPhis;
45 // LiveToVarMap maps a liveness bitvector index to a Variable. This
46 // is generally just for printing/dumping. The index should be less
47 // than NumLocals + Liveness::NumGlobals.
48 std::vector<Variable *> LiveToVarMap;
49 // LiveIn and LiveOut track the in- and out-liveness of the global
50 // variables. The size of each vector is
51 // LivenessNode::NumGlobals.
52 LivenessBV LiveIn, LiveOut;
53 // LiveBegin and LiveEnd track the instruction numbers of the start
54 // and end of each variable's live range within this block. The
55 // index/key of each element is less than NumLocals +
56 // Liveness::NumGlobals.
57 LiveBeginEndMap LiveBegin, LiveEnd;
58 };
59
62 public: 60 public:
63 Liveness(Cfg *Func, LivenessMode Mode) 61 Liveness(Cfg *Func, LivenessMode Mode)
64 : Func(Func), Mode(Mode), NumGlobals(0) {} 62 : Func(Func), Mode(Mode), NumGlobals(0) {}
65 void init(); 63 void init();
66 Cfg *getFunc() const { return Func; } 64 Cfg *getFunc() const { return Func; }
67 LivenessMode getMode() const { return Mode; } 65 LivenessMode getMode() const { return Mode; }
68 Variable *getVariable(SizeT LiveIndex, const CfgNode *Node) const; 66 Variable *getVariable(SizeT LiveIndex, const CfgNode *Node) const;
69 SizeT getLiveIndex(SizeT VarIndex) const { return VarToLiveMap[VarIndex]; } 67 SizeT getLiveIndex(SizeT VarIndex) const { return VarToLiveMap[VarIndex]; }
70 SizeT getNumGlobalVars() const { return NumGlobals; } 68 SizeT getNumGlobalVars() const { return NumGlobals; }
71 SizeT getNumVarsInNode(const CfgNode *Node) const { 69 SizeT getNumVarsInNode(const CfgNode *Node) const {
(...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after
110 // within its basic block. 108 // within its basic block.
111 std::vector<SizeT> VarToLiveMap; 109 std::vector<SizeT> VarToLiveMap;
112 // LiveToVarMap is analogous to LivenessNode::LiveToVarMap, but for 110 // LiveToVarMap is analogous to LivenessNode::LiveToVarMap, but for
113 // non-local variables. 111 // non-local variables.
114 std::vector<Variable *> LiveToVarMap; 112 std::vector<Variable *> LiveToVarMap;
115 }; 113 };
116 114
117 } // end of namespace Ice 115 } // end of namespace Ice
118 116
119 #endif // SUBZERO_SRC_ICELIVENESS_H 117 #endif // SUBZERO_SRC_ICELIVENESS_H
OLDNEW
« no previous file with comments | « src/IceGlobalContext.cpp ('k') | src/IceOperand.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698