| OLD | NEW |
| 1 //===- subzero/src/IceGlobalInits.h - Global declarations -------*- C++ -*-===// | 1 //===- subzero/src/IceGlobalInits.h - Global declarations -------*- 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 /// \file | 10 /// \file |
| (...skipping 43 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 54 GlobalDeclaration(const GlobalDeclaration &) = delete; | 54 GlobalDeclaration(const GlobalDeclaration &) = delete; |
| 55 GlobalDeclaration &operator=(const GlobalDeclaration &) = delete; | 55 GlobalDeclaration &operator=(const GlobalDeclaration &) = delete; |
| 56 | 56 |
| 57 public: | 57 public: |
| 58 /// Discriminator for LLVM-style RTTI. | 58 /// Discriminator for LLVM-style RTTI. |
| 59 enum GlobalDeclarationKind { | 59 enum GlobalDeclarationKind { |
| 60 FunctionDeclarationKind, | 60 FunctionDeclarationKind, |
| 61 VariableDeclarationKind | 61 VariableDeclarationKind |
| 62 }; | 62 }; |
| 63 GlobalDeclarationKind getKind() const { return Kind; } | 63 GlobalDeclarationKind getKind() const { return Kind; } |
| 64 const IceString &getName() const { return Name; } | 64 GlobalString getName() const { return Name; } |
| 65 void setName(const IceString &NewName) { | 65 void setName(GlobalContext *Ctx, const std::string &NewName) { |
| 66 Name = getSuppressMangling() ? NewName : mangleName(NewName); | 66 Name = Ctx->getGlobalString(getSuppressMangling() ? NewName |
| 67 : mangleName(NewName)); |
| 67 } | 68 } |
| 68 bool hasName() const { return !Name.empty(); } | 69 void setName(GlobalString NewName) { Name = NewName; } |
| 70 void setName(GlobalContext *Ctx) { Name = GlobalString(Ctx); } |
| 71 bool hasName() const { return Name.hasString(); } |
| 69 bool isInternal() const { | 72 bool isInternal() const { |
| 70 return Linkage == llvm::GlobalValue::InternalLinkage; | 73 return Linkage == llvm::GlobalValue::InternalLinkage; |
| 71 } | 74 } |
| 72 llvm::GlobalValue::LinkageTypes getLinkage() const { return Linkage; } | 75 llvm::GlobalValue::LinkageTypes getLinkage() const { return Linkage; } |
| 73 void setLinkage(llvm::GlobalValue::LinkageTypes L) { | 76 void setLinkage(llvm::GlobalValue::LinkageTypes L) { |
| 74 assert(!hasName()); | 77 assert(!hasName()); |
| 75 Linkage = L; | 78 Linkage = L; |
| 76 } | 79 } |
| 77 bool isExternal() const { | 80 bool isExternal() const { |
| 78 return Linkage == llvm::GlobalValue::ExternalLinkage; | 81 return Linkage == llvm::GlobalValue::ExternalLinkage; |
| 79 } | 82 } |
| 80 virtual ~GlobalDeclaration() = default; | 83 virtual ~GlobalDeclaration() = default; |
| 81 | 84 |
| 82 /// Prints out type of the global declaration. | 85 /// Prints out type of the global declaration. |
| 83 virtual void dumpType(Ostream &Stream) const = 0; | 86 virtual void dumpType(Ostream &Stream) const = 0; |
| 84 | 87 |
| 85 /// Prints out the global declaration. | 88 /// Prints out the global declaration. |
| 86 virtual void dump(Ostream &Stream) const = 0; | 89 virtual void dump(Ostream &Stream) const = 0; |
| 87 | 90 |
| 88 /// Returns true if when emitting names, we should suppress mangling. | 91 /// Returns true if when emitting names, we should suppress mangling. |
| 89 virtual bool getSuppressMangling() const = 0; | 92 virtual bool getSuppressMangling() const = 0; |
| 90 | 93 |
| 91 /// Returns textual name of linkage. | 94 /// Returns textual name of linkage. |
| 92 const char *getLinkageName() const { | 95 const char *getLinkageName() const { |
| 93 return isInternal() ? "internal" : "external"; | 96 return isInternal() ? "internal" : "external"; |
| 94 } | 97 } |
| 95 | 98 |
| 96 /// Returns true if the name of this GlobalDeclaration indicates that it | 99 /// Returns true if the name of this GlobalDeclaration indicates that it |
| 97 /// should have ExternalLinkage (as a special case). | 100 /// should have ExternalLinkage (as a special case). |
| 98 virtual bool isPNaClABIExternalName(const IceString &Name) const = 0; | 101 virtual bool isPNaClABIExternalName(const std::string &Name) const = 0; |
| 99 | 102 |
| 100 protected: | 103 protected: |
| 101 GlobalDeclaration(GlobalDeclarationKind Kind, | 104 GlobalDeclaration(GlobalDeclarationKind Kind, |
| 102 llvm::GlobalValue::LinkageTypes Linkage) | 105 llvm::GlobalValue::LinkageTypes Linkage) |
| 103 : Kind(Kind), Linkage(Linkage) {} | 106 : Kind(Kind), Linkage(Linkage) {} |
| 104 | 107 |
| 105 /// Returns true if linkage is defined correctly for the global declaration, | 108 /// Returns true if linkage is defined correctly for the global declaration, |
| 106 /// based on default rules. | 109 /// based on default rules. |
| 107 bool verifyLinkageDefault(const GlobalContext *Ctx) const { | 110 bool verifyLinkageDefault(const GlobalContext *Ctx) const { |
| 108 switch (Linkage) { | 111 switch (Linkage) { |
| 109 default: | 112 default: |
| 110 return false; | 113 return false; |
| 111 case llvm::GlobalValue::InternalLinkage: | 114 case llvm::GlobalValue::InternalLinkage: |
| 112 return true; | 115 return true; |
| 113 case llvm::GlobalValue::ExternalLinkage: | 116 case llvm::GlobalValue::ExternalLinkage: |
| 114 return Ctx->getFlags().getAllowExternDefinedSymbols(); | 117 return Ctx->getFlags().getAllowExternDefinedSymbols(); |
| 115 } | 118 } |
| 116 } | 119 } |
| 117 | 120 |
| 118 const GlobalDeclarationKind Kind; | 121 const GlobalDeclarationKind Kind; |
| 119 llvm::GlobalValue::LinkageTypes Linkage; | 122 llvm::GlobalValue::LinkageTypes Linkage; |
| 120 IceString Name; | 123 GlobalString Name; |
| 121 }; | 124 }; |
| 122 | 125 |
| 123 /// Models a function declaration. This includes the type signature of the | 126 /// Models a function declaration. This includes the type signature of the |
| 124 /// function, its calling conventions, and its linkage. | 127 /// function, its calling conventions, and its linkage. |
| 125 class FunctionDeclaration : public GlobalDeclaration { | 128 class FunctionDeclaration : public GlobalDeclaration { |
| 126 FunctionDeclaration() = delete; | 129 FunctionDeclaration() = delete; |
| 127 FunctionDeclaration(const FunctionDeclaration &) = delete; | 130 FunctionDeclaration(const FunctionDeclaration &) = delete; |
| 128 FunctionDeclaration &operator=(const FunctionDeclaration &) = delete; | 131 FunctionDeclaration &operator=(const FunctionDeclaration &) = delete; |
| 129 | 132 |
| 130 public: | 133 public: |
| (...skipping 11 matching lines...) Expand all Loading... |
| 142 bool isProto() const { return IsProto; } | 145 bool isProto() const { return IsProto; } |
| 143 static bool classof(const GlobalDeclaration *Addr) { | 146 static bool classof(const GlobalDeclaration *Addr) { |
| 144 return Addr->getKind() == FunctionDeclarationKind; | 147 return Addr->getKind() == FunctionDeclarationKind; |
| 145 } | 148 } |
| 146 void dumpType(Ostream &Stream) const final; | 149 void dumpType(Ostream &Stream) const final; |
| 147 void dump(Ostream &Stream) const final; | 150 void dump(Ostream &Stream) const final; |
| 148 bool getSuppressMangling() const final { return isExternal() && IsProto; } | 151 bool getSuppressMangling() const final { return isExternal() && IsProto; } |
| 149 | 152 |
| 150 /// Returns true if linkage is correct for the function declaration. | 153 /// Returns true if linkage is correct for the function declaration. |
| 151 bool verifyLinkageCorrect(const GlobalContext *Ctx) const { | 154 bool verifyLinkageCorrect(const GlobalContext *Ctx) const { |
| 152 if (isPNaClABIExternalName(getName()) || isIntrinsicName(Ctx)) { | 155 if (getName().hasString()) { |
| 153 return Linkage == llvm::GlobalValue::ExternalLinkage; | 156 if (isPNaClABIExternalName(getName().toString()) || |
| 154 } else { | 157 isIntrinsicName(Ctx)) { |
| 155 return verifyLinkageDefault(Ctx); | 158 return Linkage == llvm::GlobalValue::ExternalLinkage; |
| 159 } |
| 156 } | 160 } |
| 161 return verifyLinkageDefault(Ctx); |
| 157 } | 162 } |
| 158 | 163 |
| 159 /// Validates that the type signature of the function is correct. Returns true | 164 /// Validates that the type signature of the function is correct. Returns true |
| 160 /// if valid. | 165 /// if valid. |
| 161 bool validateTypeSignature(const GlobalContext *Ctx) const { | 166 bool validateTypeSignature(const GlobalContext *Ctx) const { |
| 162 bool IsIntrinsic; | 167 bool IsIntrinsic; |
| 163 if (const Intrinsics::FullIntrinsicInfo *Info = | 168 if (const Intrinsics::FullIntrinsicInfo *Info = |
| 164 getIntrinsicInfo(Ctx, &IsIntrinsic)) | 169 getIntrinsicInfo(Ctx, &IsIntrinsic)) |
| 165 return validateIntrinsicTypeSignature(Info); | 170 return validateIntrinsicTypeSignature(Info); |
| 166 return !IsIntrinsic && validateRegularTypeSignature(); | 171 return !IsIntrinsic && validateRegularTypeSignature(); |
| 167 } | 172 } |
| 168 | 173 |
| 169 /// Generates an error message describing why validateTypeSignature returns | 174 /// Generates an error message describing why validateTypeSignature returns |
| 170 /// false. | 175 /// false. |
| 171 IceString getTypeSignatureError(const GlobalContext *Ctx); | 176 std::string getTypeSignatureError(const GlobalContext *Ctx); |
| 172 | 177 |
| 173 /// Returns corresponding PNaCl intrisic information. | 178 /// Returns corresponding PNaCl intrisic information. |
| 174 const Intrinsics::FullIntrinsicInfo * | 179 const Intrinsics::FullIntrinsicInfo * |
| 175 getIntrinsicInfo(const GlobalContext *Ctx) const { | 180 getIntrinsicInfo(const GlobalContext *Ctx) const { |
| 176 bool BadIntrinsic; | 181 bool BadIntrinsic; |
| 177 return getIntrinsicInfo(Ctx, &BadIntrinsic); | 182 return getIntrinsicInfo(Ctx, &BadIntrinsic); |
| 178 } | 183 } |
| 179 | 184 |
| 180 /// Same as above, except IsIntrinsic is true if the function is intrinsic | 185 /// Same as above, except IsIntrinsic is true if the function is intrinsic |
| 181 /// (even if not a PNaCl intrinsic). | 186 /// (even if not a PNaCl intrinsic). |
| 182 const Intrinsics::FullIntrinsicInfo * | 187 const Intrinsics::FullIntrinsicInfo * |
| 183 getIntrinsicInfo(const GlobalContext *Ctx, bool *IsIntrinsic) const; | 188 getIntrinsicInfo(const GlobalContext *Ctx, bool *IsIntrinsic) const; |
| 184 | 189 |
| 185 private: | 190 private: |
| 186 const Ice::FuncSigType Signature; | 191 const Ice::FuncSigType Signature; |
| 187 llvm::CallingConv::ID CallingConv; | 192 llvm::CallingConv::ID CallingConv; |
| 188 const bool IsProto; | 193 const bool IsProto; |
| 189 | 194 |
| 190 FunctionDeclaration(const FuncSigType &Signature, | 195 FunctionDeclaration(const FuncSigType &Signature, |
| 191 llvm::CallingConv::ID CallingConv, | 196 llvm::CallingConv::ID CallingConv, |
| 192 llvm::GlobalValue::LinkageTypes Linkage, bool IsProto) | 197 llvm::GlobalValue::LinkageTypes Linkage, bool IsProto) |
| 193 : GlobalDeclaration(FunctionDeclarationKind, Linkage), | 198 : GlobalDeclaration(FunctionDeclarationKind, Linkage), |
| 194 Signature(Signature), CallingConv(CallingConv), IsProto(IsProto) {} | 199 Signature(Signature), CallingConv(CallingConv), IsProto(IsProto) {} |
| 195 | 200 |
| 196 bool isPNaClABIExternalName(const IceString &Name) const override { | 201 bool isPNaClABIExternalName(const std::string &Name) const override { |
| 197 return Name == "_start"; | 202 return Name == "_start"; |
| 198 } | 203 } |
| 199 | 204 |
| 200 bool isIntrinsicName(const GlobalContext *Ctx) const { | 205 bool isIntrinsicName(const GlobalContext *Ctx) const { |
| 201 bool IsIntrinsic; | 206 bool IsIntrinsic; |
| 202 getIntrinsicInfo(Ctx, &IsIntrinsic); | 207 getIntrinsicInfo(Ctx, &IsIntrinsic); |
| 203 return IsIntrinsic; | 208 return IsIntrinsic; |
| 204 } | 209 } |
| 205 | 210 |
| 206 bool validateRegularTypeSignature() const; | 211 bool validateRegularTypeSignature() const; |
| (...skipping 229 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 436 void addInitializer(Initializer *Initializer) { | 441 void addInitializer(Initializer *Initializer) { |
| 437 const bool OldSuppressMangling = getSuppressMangling(); | 442 const bool OldSuppressMangling = getSuppressMangling(); |
| 438 Initializers.emplace_back(Initializer); | 443 Initializers.emplace_back(Initializer); |
| 439 HasInitializer = true; | 444 HasInitializer = true; |
| 440 // The getSuppressMangling() logic depends on whether the global variable | 445 // The getSuppressMangling() logic depends on whether the global variable |
| 441 // has initializers. If its value changed as a result of adding an | 446 // has initializers. If its value changed as a result of adding an |
| 442 // initializer, then make sure we haven't previously set the name based on | 447 // initializer, then make sure we haven't previously set the name based on |
| 443 // faulty SuppressMangling logic. | 448 // faulty SuppressMangling logic. |
| 444 const bool SameMangling = (OldSuppressMangling == getSuppressMangling()); | 449 const bool SameMangling = (OldSuppressMangling == getSuppressMangling()); |
| 445 (void)SameMangling; | 450 (void)SameMangling; |
| 446 assert(!Name.empty() || SameMangling); | 451 assert(Name.hasString() || SameMangling); |
| 447 } | 452 } |
| 448 | 453 |
| 449 /// Prints out type for initializer associated with the declaration to Stream. | 454 /// Prints out type for initializer associated with the declaration to Stream. |
| 450 void dumpType(Ostream &Stream) const final; | 455 void dumpType(Ostream &Stream) const final; |
| 451 | 456 |
| 452 /// Prints out the definition of the global variable declaration (including | 457 /// Prints out the definition of the global variable declaration (including |
| 453 /// initialization). | 458 /// initialization). |
| 454 virtual void dump(Ostream &Stream) const override; | 459 virtual void dump(Ostream &Stream) const override; |
| 455 | 460 |
| 456 /// Returns true if linkage is correct for the variable declaration. | 461 /// Returns true if linkage is correct for the variable declaration. |
| 457 bool verifyLinkageCorrect(const GlobalContext *Ctx) const { | 462 bool verifyLinkageCorrect(const GlobalContext *Ctx) const { |
| 458 if (isPNaClABIExternalName(getName())) { | 463 if (getName().hasString()) { |
| 459 return Linkage == llvm::GlobalValue::ExternalLinkage; | 464 if (isPNaClABIExternalName(getName().toString())) { |
| 465 return Linkage == llvm::GlobalValue::ExternalLinkage; |
| 466 } |
| 460 } | 467 } |
| 461 return verifyLinkageDefault(Ctx); | 468 return verifyLinkageDefault(Ctx); |
| 462 } | 469 } |
| 463 | 470 |
| 464 static bool classof(const GlobalDeclaration *Addr) { | 471 static bool classof(const GlobalDeclaration *Addr) { |
| 465 return Addr->getKind() == VariableDeclarationKind; | 472 return Addr->getKind() == VariableDeclarationKind; |
| 466 } | 473 } |
| 467 | 474 |
| 468 bool getSuppressMangling() const final { | 475 bool getSuppressMangling() const final { |
| 469 if (ForceSuppressMangling) | 476 if (ForceSuppressMangling) |
| 470 return true; | 477 return true; |
| 471 return isExternal() && !hasInitializer(); | 478 return isExternal() && !hasInitializer(); |
| 472 } | 479 } |
| 473 | 480 |
| 474 void discardInitializers() { Initializers.clear(); } | 481 void discardInitializers() { Initializers.clear(); } |
| 475 | 482 |
| 476 bool isPNaClABIExternalName(const IceString &Name) const override { | 483 bool isPNaClABIExternalName(const std::string &Name) const override { |
| 477 return Name == "__pnacl_pso_root"; | 484 return Name == "__pnacl_pso_root"; |
| 478 } | 485 } |
| 479 | 486 |
| 480 private: | 487 private: |
| 481 /// List of initializers for the declared variable. | 488 /// List of initializers for the declared variable. |
| 482 InitializerListType Initializers; | 489 InitializerListType Initializers; |
| 483 bool HasInitializer = false; | 490 bool HasInitializer = false; |
| 484 /// The alignment of the declared variable. | 491 /// The alignment of the declared variable. |
| 485 uint32_t Alignment = 0; | 492 uint32_t Alignment = 0; |
| 486 /// True if a declared (global) constant. | 493 /// True if a declared (global) constant. |
| (...skipping 17 matching lines...) Expand all Loading... |
| 504 template <class StreamType> | 511 template <class StreamType> |
| 505 inline StreamType &operator<<(StreamType &Stream, | 512 inline StreamType &operator<<(StreamType &Stream, |
| 506 const GlobalDeclaration &Addr) { | 513 const GlobalDeclaration &Addr) { |
| 507 Addr.dump(Stream); | 514 Addr.dump(Stream); |
| 508 return Stream; | 515 return Stream; |
| 509 } | 516 } |
| 510 | 517 |
| 511 } // end of namespace Ice | 518 } // end of namespace Ice |
| 512 | 519 |
| 513 #endif // SUBZERO_SRC_ICEGLOBALINITS_H | 520 #endif // SUBZERO_SRC_ICEGLOBALINITS_H |
| OLD | NEW |