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

Side by Side Diff: src/IceLiveness.cpp

Issue 1844713004: Subzero: Ignore variables with no actual uses. (Closed) Base URL: https://chromium.googlesource.com/native_client/pnacl-subzero.git@master
Patch Set: Also ignore rematerializable variables Created 4 years, 8 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/IceLiveness.h ('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.cpp - Liveness analysis implementation -----===// 1 //===- subzero/src/IceLiveness.cpp - Liveness analysis implementation -----===//
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 /// \file 10 /// \file
(...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after
43 VariablesMetadata *VMetadata = Func->getVMetadata(); 43 VariablesMetadata *VMetadata = Func->getVMetadata();
44 Nodes.resize(NumNodes); 44 Nodes.resize(NumNodes);
45 VarToLiveMap.resize(NumVars); 45 VarToLiveMap.resize(NumVars);
46 46
47 // Count the number of globals, and the number of locals for each block. 47 // Count the number of globals, and the number of locals for each block.
48 SizeT TmpNumGlobals = 0; 48 SizeT TmpNumGlobals = 0;
49 for (auto I = FirstVar, E = Func->getVariables().end(); I != E; ++I) { 49 for (auto I = FirstVar, E = Func->getVariables().end(); I != E; ++I) {
50 Variable *Var = *I; 50 Variable *Var = *I;
51 if (VMetadata->isMultiBlock(Var)) { 51 if (VMetadata->isMultiBlock(Var)) {
52 ++TmpNumGlobals; 52 ++TmpNumGlobals;
53 } else { 53 } else if (VMetadata->isSingleBlock(Var)) {
54 SizeT Index = VMetadata->getLocalUseNode(Var)->getIndex(); 54 SizeT Index = VMetadata->getLocalUseNode(Var)->getIndex();
55 ++Nodes[Index].NumLocals; 55 ++Nodes[Index].NumLocals;
56 } 56 }
57 } 57 }
58 if (IsFullInit) 58 if (IsFullInit)
59 NumGlobals = TmpNumGlobals; 59 NumGlobals = TmpNumGlobals;
60 else 60 else
61 assert(TmpNumGlobals == 0); 61 assert(TmpNumGlobals == 0);
62 62
63 // Resize each LivenessNode::LiveToVarMap, and the global LiveToVarMap. Reset 63 // Resize each LivenessNode::LiveToVarMap, and the global LiveToVarMap. Reset
(...skipping 10 matching lines...) Expand all
74 // Initialize the bitmask of which variables to track. 74 // Initialize the bitmask of which variables to track.
75 RangeMask.resize(NumVars); 75 RangeMask.resize(NumVars);
76 RangeMask.set(0, NumVars); // Track all variables by default. 76 RangeMask.set(0, NumVars); // Track all variables by default.
77 77
78 // Sort each variable into the appropriate LiveToVarMap. Set VarToLiveMap. 78 // Sort each variable into the appropriate LiveToVarMap. Set VarToLiveMap.
79 // Set RangeMask correctly for each variable. 79 // Set RangeMask correctly for each variable.
80 TmpNumGlobals = 0; 80 TmpNumGlobals = 0;
81 for (auto I = FirstVar, E = Func->getVariables().end(); I != E; ++I) { 81 for (auto I = FirstVar, E = Func->getVariables().end(); I != E; ++I) {
82 Variable *Var = *I; 82 Variable *Var = *I;
83 SizeT VarIndex = Var->getIndex(); 83 SizeT VarIndex = Var->getIndex();
84 SizeT LiveIndex; 84 SizeT LiveIndex = InvalidLiveIndex;
85 if (VMetadata->isMultiBlock(Var)) { 85 if (VMetadata->isMultiBlock(Var)) {
86 LiveIndex = TmpNumGlobals++; 86 LiveIndex = TmpNumGlobals++;
87 LiveToVarMap[LiveIndex] = Var; 87 LiveToVarMap[LiveIndex] = Var;
88 } else { 88 } else if (VMetadata->isSingleBlock(Var)) {
89 SizeT NodeIndex = VMetadata->getLocalUseNode(Var)->getIndex(); 89 SizeT NodeIndex = VMetadata->getLocalUseNode(Var)->getIndex();
90 LiveIndex = Nodes[NodeIndex].NumLocals++; 90 LiveIndex = Nodes[NodeIndex].NumLocals++;
91 Nodes[NodeIndex].LiveToVarMap[LiveIndex] = Var; 91 Nodes[NodeIndex].LiveToVarMap[LiveIndex] = Var;
92 LiveIndex += NumGlobals; 92 LiveIndex += NumGlobals;
93 } 93 }
94 VarToLiveMap[VarIndex] = LiveIndex; 94 VarToLiveMap[VarIndex] = LiveIndex;
95 if (Var->getIgnoreLiveness()) 95 if (LiveIndex == InvalidLiveIndex || Var->getIgnoreLiveness())
96 RangeMask[VarIndex] = false; 96 RangeMask[VarIndex] = false;
97 } 97 }
98 assert(TmpNumGlobals == (IsFullInit ? NumGlobals : 0)); 98 assert(TmpNumGlobals == (IsFullInit ? NumGlobals : 0));
99 99
100 // Fix up RangeMask for variables before FirstVar. 100 // Fix up RangeMask for variables before FirstVar.
101 for (auto I = Func->getVariables().begin(); I != FirstVar; ++I) { 101 for (auto I = Func->getVariables().begin(); I != FirstVar; ++I) {
102 Variable *Var = *I; 102 Variable *Var = *I;
103 SizeT VarIndex = Var->getIndex(); 103 SizeT VarIndex = Var->getIndex();
104 if (Var->getIgnoreLiveness() || 104 if (Var->getIgnoreLiveness() ||
105 (!IsFullInit && !Var->hasReg() && !Var->mustHaveReg())) 105 (!IsFullInit && !Var->hasReg() && !Var->mustHaveReg()))
(...skipping 27 matching lines...) Expand all
133 } 133 }
134 134
135 Variable *Liveness::getVariable(SizeT LiveIndex, const CfgNode *Node) const { 135 Variable *Liveness::getVariable(SizeT LiveIndex, const CfgNode *Node) const {
136 if (LiveIndex < NumGlobals) 136 if (LiveIndex < NumGlobals)
137 return LiveToVarMap[LiveIndex]; 137 return LiveToVarMap[LiveIndex];
138 SizeT NodeIndex = Node->getIndex(); 138 SizeT NodeIndex = Node->getIndex();
139 return Nodes[NodeIndex].LiveToVarMap[LiveIndex - NumGlobals]; 139 return Nodes[NodeIndex].LiveToVarMap[LiveIndex - NumGlobals];
140 } 140 }
141 141
142 } // end of namespace Ice 142 } // end of namespace Ice
OLDNEW
« no previous file with comments | « src/IceLiveness.h ('k') | src/IceOperand.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698