Chromium Code Reviews| OLD | NEW |
|---|---|
| 1 //===- subzero/src/IceOperand.h - High-level operands -----------*- C++ -*-===// | 1 //===- subzero/src/IceOperand.h - High-level operands -----------*- 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 Operand class and its target-independent | 10 // This file declares the Operand class and its target-independent |
| (...skipping 69 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 80 // object's destructor should delete this object. Generally, | 80 // object's destructor should delete this object. Generally, |
| 81 // constants are pooled globally, variables are pooled per-CFG, and | 81 // constants are pooled globally, variables are pooled per-CFG, and |
| 82 // target-specific operands are not pooled. | 82 // target-specific operands are not pooled. |
| 83 virtual bool isPooled() const { return false; } | 83 virtual bool isPooled() const { return false; } |
| 84 | 84 |
| 85 virtual ~Operand() {} | 85 virtual ~Operand() {} |
| 86 | 86 |
| 87 protected: | 87 protected: |
| 88 Operand(OperandKind Kind, Type Ty) | 88 Operand(OperandKind Kind, Type Ty) |
| 89 : Ty(Ty), Kind(Kind), NumVars(0), Vars(NULL) {} | 89 : Ty(Ty), Kind(Kind), NumVars(0), Vars(NULL) {} |
| 90 Operand(Operand &&O) = default; | |
| 91 | 90 |
| 92 const Type Ty; | 91 const Type Ty; |
| 93 const OperandKind Kind; | 92 const OperandKind Kind; |
| 94 // Vars and NumVars are initialized by the derived class. | 93 // Vars and NumVars are initialized by the derived class. |
| 95 SizeT NumVars; | 94 SizeT NumVars; |
| 96 Variable **Vars; | 95 Variable **Vars; |
| 97 }; | 96 }; |
| 98 | 97 |
| 99 template<class StreamType> | 98 template<class StreamType> |
| 100 inline StreamType &operator<<(StreamType &Str, const Operand &Op) { | 99 inline StreamType &operator<<(StreamType &Str, const Operand &Op) { |
| (...skipping 254 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 355 void untrim() { TrimmedBegin = Range.begin(); } | 354 void untrim() { TrimmedBegin = Range.begin(); } |
| 356 void trim(InstNumberT Lower); | 355 void trim(InstNumberT Lower); |
| 357 | 356 |
| 358 RegWeight getWeight() const { return Weight; } | 357 RegWeight getWeight() const { return Weight; } |
| 359 void setWeight(const RegWeight &NewWeight) { Weight = NewWeight; } | 358 void setWeight(const RegWeight &NewWeight) { Weight = NewWeight; } |
| 360 void addWeight(uint32_t Delta) { Weight.addWeight(Delta); } | 359 void addWeight(uint32_t Delta) { Weight.addWeight(Delta); } |
| 361 void dump(Ostream &Str) const; | 360 void dump(Ostream &Str) const; |
| 362 | 361 |
| 363 private: | 362 private: |
| 364 typedef std::pair<InstNumberT, InstNumberT> RangeElementType; | 363 typedef std::pair<InstNumberT, InstNumberT> RangeElementType; |
| 365 // Assume a common case of 2 or fewer segments per live range. | 364 // RangeType is arena-allocated from the Cfg's allocator. |
| 366 typedef llvm::SmallVector<RangeElementType, 2> RangeType; | 365 typedef std::vector<RangeElementType, CfgLocalAllocator<RangeElementType> > |
|
JF
2014/12/18 06:36:53
>>
Jim Stichnoth
2014/12/18 23:39:56
Done.
| |
| 366 RangeType; | |
| 367 RangeType Range; | 367 RangeType Range; |
| 368 RegWeight Weight; | 368 RegWeight Weight; |
| 369 // TrimmedBegin is an optimization for the overlaps() computation. | 369 // TrimmedBegin is an optimization for the overlaps() computation. |
| 370 // Since the linear-scan algorithm always calls it as overlaps(Cur) | 370 // Since the linear-scan algorithm always calls it as overlaps(Cur) |
| 371 // and Cur advances monotonically according to live range start, we | 371 // and Cur advances monotonically according to live range start, we |
| 372 // can optimize overlaps() by ignoring all segments that end before | 372 // can optimize overlaps() by ignoring all segments that end before |
| 373 // the start of Cur's range. The linear-scan code enables this by | 373 // the start of Cur's range. The linear-scan code enables this by |
| 374 // calling trim() on the ranges of interest as Cur advances. Note | 374 // calling trim() on the ranges of interest as Cur advances. Note |
| 375 // that linear-scan also has to initialize TrimmedBegin at the | 375 // that linear-scan also has to initialize TrimmedBegin at the |
| 376 // beginning by calling untrim(). | 376 // beginning by calling untrim(). |
| 377 RangeType::const_iterator TrimmedBegin; | 377 RangeType::const_iterator TrimmedBegin; |
| 378 }; | 378 }; |
| 379 | 379 |
| 380 Ostream &operator<<(Ostream &Str, const LiveRange &L); | 380 Ostream &operator<<(Ostream &Str, const LiveRange &L); |
| 381 | 381 |
| 382 // Variable represents an operand that is register-allocated or | 382 // Variable represents an operand that is register-allocated or |
| 383 // stack-allocated. If it is register-allocated, it will ultimately | 383 // stack-allocated. If it is register-allocated, it will ultimately |
| 384 // have a non-negative RegNum field. | 384 // have a non-negative RegNum field. |
| 385 class Variable : public Operand { | 385 class Variable : public Operand { |
| 386 Variable(const Variable &) = delete; | 386 Variable(const Variable &) = delete; |
| 387 Variable &operator=(const Variable &) = delete; | 387 Variable &operator=(const Variable &) = delete; |
| 388 Variable(Variable &&V) = default; | |
| 389 | 388 |
| 390 public: | 389 public: |
| 391 static Variable *create(Cfg *Func, Type Ty, SizeT Index) { | 390 static Variable *create(Cfg *Func, Type Ty, SizeT Index) { |
| 392 return new (Func->allocate<Variable>()) Variable(kVariable, Ty, Index); | 391 return new (Func->allocate<Variable>()) Variable(kVariable, Ty, Index); |
| 393 } | 392 } |
| 394 | 393 |
| 395 SizeT getIndex() const { return Number; } | 394 SizeT getIndex() const { return Number; } |
| 396 IceString getName(const Cfg *Func) const; | 395 IceString getName(const Cfg *Func) const; |
| 397 void setName(Cfg *Func, const IceString &NewName) { | 396 void setName(Cfg *Func, const IceString &NewName) { |
| 398 // Make sure that the name can only be set once. | 397 // Make sure that the name can only be set once. |
| (...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 459 Variable *getHi() const { return HiVar; } | 458 Variable *getHi() const { return HiVar; } |
| 460 void setLoHi(Variable *Lo, Variable *Hi) { | 459 void setLoHi(Variable *Lo, Variable *Hi) { |
| 461 assert(LoVar == NULL); | 460 assert(LoVar == NULL); |
| 462 assert(HiVar == NULL); | 461 assert(HiVar == NULL); |
| 463 LoVar = Lo; | 462 LoVar = Lo; |
| 464 HiVar = Hi; | 463 HiVar = Hi; |
| 465 } | 464 } |
| 466 // Creates a temporary copy of the variable with a different type. | 465 // Creates a temporary copy of the variable with a different type. |
| 467 // Used primarily for syntactic correctness of textual assembly | 466 // Used primarily for syntactic correctness of textual assembly |
| 468 // emission. Note that only basic information is copied, in | 467 // emission. Note that only basic information is copied, in |
| 469 // particular not DefInst, IsArgument, Weight, LoVar, HiVar, | 468 // particular not IsArgument, IsImplicitArgument, IgnoreLiveness, |
| 470 // VarsReal. | 469 // RegNumTmp, Weight, Live, LoVar, HiVar, VarsReal. |
| 471 Variable asType(Type Ty); | 470 Variable *asType(Type Ty); |
| 472 | 471 |
| 473 void emit(const Cfg *Func) const override; | 472 void emit(const Cfg *Func) const override; |
| 474 using Operand::dump; | 473 using Operand::dump; |
| 475 void dump(const Cfg *Func, Ostream &Str) const override; | 474 void dump(const Cfg *Func, Ostream &Str) const override; |
| 476 | 475 |
| 477 static bool classof(const Operand *Operand) { | 476 static bool classof(const Operand *Operand) { |
| 478 OperandKind Kind = Operand->getKind(); | 477 OperandKind Kind = Operand->getKind(); |
| 479 return Kind >= kVariable && Kind <= kVariable_Num; | 478 return Kind >= kVariable && Kind <= kVariable_Num; |
| 480 } | 479 } |
| 481 | 480 |
| 482 // The destructor is public because of the asType() method. | |
| 483 ~Variable() override {} | |
| 484 | |
| 485 protected: | 481 protected: |
| 486 Variable(OperandKind K, Type Ty, SizeT Index) | 482 Variable(OperandKind K, Type Ty, SizeT Index) |
| 487 : Operand(K, Ty), Number(Index), NameIndex(Cfg::IdentifierIndexInvalid), | 483 : Operand(K, Ty), Number(Index), NameIndex(Cfg::IdentifierIndexInvalid), |
| 488 IsArgument(false), IsImplicitArgument(false), IgnoreLiveness(false), | 484 IsArgument(false), IsImplicitArgument(false), IgnoreLiveness(false), |
| 489 StackOffset(0), RegNum(NoRegister), RegNumTmp(NoRegister), Weight(1), | 485 StackOffset(0), RegNum(NoRegister), RegNumTmp(NoRegister), Weight(1), |
| 490 LoVar(NULL), HiVar(NULL) { | 486 LoVar(NULL), HiVar(NULL) { |
| 491 Vars = VarsReal; | 487 Vars = VarsReal; |
| 492 Vars[0] = this; | 488 Vars[0] = this; |
| 493 NumVars = 1; | 489 NumVars = 1; |
| 494 } | 490 } |
| 491 ~Variable() override {} | |
| 495 // Number is unique across all variables, and is used as a | 492 // Number is unique across all variables, and is used as a |
| 496 // (bit)vector index for liveness analysis. | 493 // (bit)vector index for liveness analysis. |
| 497 const SizeT Number; | 494 const SizeT Number; |
| 498 Cfg::IdentifierIndexType NameIndex; | 495 Cfg::IdentifierIndexType NameIndex; |
| 499 bool IsArgument; | 496 bool IsArgument; |
| 500 bool IsImplicitArgument; | 497 bool IsImplicitArgument; |
| 501 // IgnoreLiveness means that the variable should be ignored when | 498 // IgnoreLiveness means that the variable should be ignored when |
| 502 // constructing and validating live ranges. This is usually | 499 // constructing and validating live ranges. This is usually |
| 503 // reserved for the stack pointer. | 500 // reserved for the stack pointer. |
| 504 bool IgnoreLiveness; | 501 bool IgnoreLiveness; |
| (...skipping 126 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 631 private: | 628 private: |
| 632 const Cfg *Func; | 629 const Cfg *Func; |
| 633 MetadataKind Kind; | 630 MetadataKind Kind; |
| 634 std::vector<VariableTracking> Metadata; | 631 std::vector<VariableTracking> Metadata; |
| 635 const static InstDefList NoDefinitions; | 632 const static InstDefList NoDefinitions; |
| 636 }; | 633 }; |
| 637 | 634 |
| 638 } // end of namespace Ice | 635 } // end of namespace Ice |
| 639 | 636 |
| 640 #endif // SUBZERO_SRC_ICEOPERAND_H | 637 #endif // SUBZERO_SRC_ICEOPERAND_H |
| OLD | NEW |