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