OLD | NEW |
1 //===- subzero/src/IceOperand.cpp - High-level operand implementation -----===// | 1 //===- subzero/src/IceOperand.cpp - High-level operand 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 // This file implements the Operand class and its target-independent | 10 // This file implements the Operand class and its target-independent |
(...skipping 166 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
177 // Note: This returns a Variable, even if the "this" object is a | 177 // Note: This returns a Variable, even if the "this" object is a |
178 // subclass of Variable. | 178 // subclass of Variable. |
179 Variable V(kVariable, Ty, Number, Name); | 179 Variable V(kVariable, Ty, Number, Name); |
180 V.RegNum = RegNum; | 180 V.RegNum = RegNum; |
181 V.StackOffset = StackOffset; | 181 V.StackOffset = StackOffset; |
182 return V; | 182 return V; |
183 } | 183 } |
184 | 184 |
185 void VariableTracking::markUse(const Inst *Instr, const CfgNode *Node, | 185 void VariableTracking::markUse(const Inst *Instr, const CfgNode *Node, |
186 bool IsFromDef, bool IsImplicit) { | 186 bool IsFromDef, bool IsImplicit) { |
| 187 if (MultiBlock == MBS_MultiBlock) |
| 188 return; |
187 // TODO(stichnot): If the use occurs as a source operand in the | 189 // TODO(stichnot): If the use occurs as a source operand in the |
188 // first instruction of the block, and its definition is in this | 190 // first instruction of the block, and its definition is in this |
189 // block's only predecessor, we might consider not marking this as a | 191 // block's only predecessor, we might consider not marking this as a |
190 // separate use. This may also apply if it's the first instruction | 192 // separate use. This may also apply if it's the first instruction |
191 // of the block that actually uses a Variable. | 193 // of the block that actually uses a Variable. |
192 assert(Node); | 194 assert(Node); |
193 bool MakeMulti = false; | 195 bool MakeMulti = false; |
194 if (IsImplicit) | 196 if (IsImplicit) |
195 MakeMulti = true; | 197 MakeMulti = true; |
196 // A phi source variable conservatively needs to be marked as | 198 // A phi source variable conservatively needs to be marked as |
(...skipping 97 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
294 | 296 |
295 // Mark implicit args as being used in the entry node. | 297 // Mark implicit args as being used in the entry node. |
296 for (Variable *Var : Func->getImplicitArgs()) { | 298 for (Variable *Var : Func->getImplicitArgs()) { |
297 const Inst *NoInst = NULL; | 299 const Inst *NoInst = NULL; |
298 const CfgNode *EntryNode = Func->getEntryNode(); | 300 const CfgNode *EntryNode = Func->getEntryNode(); |
299 const bool IsFromDef = false; | 301 const bool IsFromDef = false; |
300 const bool IsImplicit = true; | 302 const bool IsImplicit = true; |
301 Metadata[Var->getIndex()].markUse(NoInst, EntryNode, IsFromDef, IsImplicit); | 303 Metadata[Var->getIndex()].markUse(NoInst, EntryNode, IsFromDef, IsImplicit); |
302 } | 304 } |
303 | 305 |
304 SizeT NumNodes = Func->getNumNodes(); | 306 for (CfgNode *Node : Func->getNodes()) { |
305 for (SizeT N = 0; N < NumNodes; ++N) { | |
306 CfgNode *Node = Func->getNodes()[N]; | |
307 for (Inst *I : Node->getInsts()) { | 307 for (Inst *I : Node->getInsts()) { |
308 if (I->isDeleted()) | 308 if (I->isDeleted()) |
309 continue; | 309 continue; |
310 if (InstFakeKill *Kill = llvm::dyn_cast<InstFakeKill>(I)) { | 310 if (InstFakeKill *Kill = llvm::dyn_cast<InstFakeKill>(I)) { |
311 // A FakeKill instruction indicates certain Variables (usually | 311 // A FakeKill instruction indicates certain Variables (usually |
312 // physical scratch registers) are redefined, so we register | 312 // physical scratch registers) are redefined, so we register |
313 // them as defs. | 313 // them as defs. |
314 for (SizeT SrcNum = 0; SrcNum < I->getSrcSize(); ++SrcNum) { | 314 for (SizeT SrcNum = 0; SrcNum < I->getSrcSize(); ++SrcNum) { |
315 Variable *Var = llvm::cast<Variable>(I->getSrc(SrcNum)); | 315 Variable *Var = llvm::cast<Variable>(I->getSrc(SrcNum)); |
316 SizeT VarNum = Var->getIndex(); | 316 SizeT VarNum = Var->getIndex(); |
(...skipping 144 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
461 | 461 |
462 Ostream &operator<<(Ostream &Str, const RegWeight &W) { | 462 Ostream &operator<<(Ostream &Str, const RegWeight &W) { |
463 if (W.getWeight() == RegWeight::Inf) | 463 if (W.getWeight() == RegWeight::Inf) |
464 Str << "Inf"; | 464 Str << "Inf"; |
465 else | 465 else |
466 Str << W.getWeight(); | 466 Str << W.getWeight(); |
467 return Str; | 467 return Str; |
468 } | 468 } |
469 | 469 |
470 } // end of namespace Ice | 470 } // end of namespace Ice |
OLD | NEW |