1 //===-- llvm/GlobalValue.h - Class to represent a global value --*- C++ -*-===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 // This file is a common base class of all globally definable objects. As such, 10 // it is subclassed by GlobalVariable, GlobalAlias and by Function. This is 11 // used because you can do certain things with these global objects that you 12 // can't do to anything else. For example, use the address of one as a 13 // constant. 14 // 15 //===----------------------------------------------------------------------===// 16 17 #ifndef LLVM_IR_GLOBALVALUE_H 18 #define LLVM_IR_GLOBALVALUE_H 19 20 #include "llvm/ADT/StringRef.h" 21 #include "llvm/ADT/Twine.h" 22 #include "llvm/IR/Constant.h" 23 #include "llvm/IR/DerivedTypes.h" 24 #include "llvm/IR/Value.h" 25 #include "llvm/Support/Casting.h" 26 #include "llvm/Support/ErrorHandling.h" 27 #include "llvm/Support/MD5.h" 28 #include <cassert> 29 #include <cstdint> 30 #include <string> 31 32 namespace llvm { 33 34 class Comdat; 35 class ConstantRange; 36 class Error; 37 class GlobalObject; 38 class Module; 39 40 namespace Intrinsic { 41 typedef unsigned ID; 42 } // end namespace Intrinsic 43 44 class GlobalValue : public Constant { 45 public: 46 /// An enumeration for the kinds of linkage for global values. 47 enum LinkageTypes { 48 ExternalLinkage = 0,///< Externally visible function 49 AvailableExternallyLinkage, ///< Available for inspection, not emission. 50 LinkOnceAnyLinkage, ///< Keep one copy of function when linking (inline) 51 LinkOnceODRLinkage, ///< Same, but only replaced by something equivalent. 52 WeakAnyLinkage, ///< Keep one copy of named function when linking (weak) 53 WeakODRLinkage, ///< Same, but only replaced by something equivalent. 54 AppendingLinkage, ///< Special purpose, only applies to global arrays 55 InternalLinkage, ///< Rename collisions when linking (static functions). 56 PrivateLinkage, ///< Like Internal, but omit from symbol table. 57 ExternalWeakLinkage,///< ExternalWeak linkage description. 58 CommonLinkage ///< Tentative definitions. 59 }; 60 61 /// An enumeration for the kinds of visibility of global values. 62 enum VisibilityTypes { 63 DefaultVisibility = 0, ///< The GV is visible 64 HiddenVisibility, ///< The GV is hidden 65 ProtectedVisibility ///< The GV is protected 66 }; 67 68 /// Storage classes of global values for PE targets. 69 enum DLLStorageClassTypes { 70 DefaultStorageClass = 0, 71 DLLImportStorageClass = 1, ///< Function to be imported from DLL 72 DLLExportStorageClass = 2 ///< Function to be accessible from DLL. 73 }; 74 75 protected: GlobalValue(Type * Ty,ValueTy VTy,Use * Ops,unsigned NumOps,LinkageTypes Linkage,const Twine & Name,unsigned AddressSpace)76 GlobalValue(Type *Ty, ValueTy VTy, Use *Ops, unsigned NumOps, 77 LinkageTypes Linkage, const Twine &Name, unsigned AddressSpace) 78 : Constant(PointerType::get(Ty, AddressSpace), VTy, Ops, NumOps), 79 ValueType(Ty), Visibility(DefaultVisibility), 80 UnnamedAddrVal(unsigned(UnnamedAddr::None)), 81 DllStorageClass(DefaultStorageClass), ThreadLocal(NotThreadLocal), 82 HasLLVMReservedName(false), IsDSOLocal(false), HasPartition(false), 83 IntID((Intrinsic::ID)0U), Parent(nullptr) { 84 setLinkage(Linkage); 85 setName(Name); 86 } 87 88 Type *ValueType; 89 90 static const unsigned GlobalValueSubClassDataBits = 16; 91 92 // All bitfields use unsigned as the underlying type so that MSVC will pack 93 // them. 94 unsigned Linkage : 4; // The linkage of this global 95 unsigned Visibility : 2; // The visibility style of this global 96 unsigned UnnamedAddrVal : 2; // This value's address is not significant 97 unsigned DllStorageClass : 2; // DLL storage class 98 99 unsigned ThreadLocal : 3; // Is this symbol "Thread Local", if so, what is 100 // the desired model? 101 102 /// True if the function's name starts with "llvm.". This corresponds to the 103 /// value of Function::isIntrinsic(), which may be true even if 104 /// Function::intrinsicID() returns Intrinsic::not_intrinsic. 105 unsigned HasLLVMReservedName : 1; 106 107 /// If true then there is a definition within the same linkage unit and that 108 /// definition cannot be runtime preempted. 109 unsigned IsDSOLocal : 1; 110 111 /// True if this symbol has a partition name assigned (see 112 /// https://lld.llvm.org/Partitions.html). 113 unsigned HasPartition : 1; 114 115 private: 116 // Give subclasses access to what otherwise would be wasted padding. 117 // (16 + 4 + 2 + 2 + 2 + 3 + 1 + 1 + 1) == 32. 118 unsigned SubClassData : GlobalValueSubClassDataBits; 119 120 friend class Constant; 121 122 void destroyConstantImpl(); 123 Value *handleOperandChangeImpl(Value *From, Value *To); 124 125 /// Returns true if the definition of this global may be replaced by a 126 /// differently optimized variant of the same source level function at link 127 /// time. mayBeDerefined()128 bool mayBeDerefined() const { 129 switch (getLinkage()) { 130 case WeakODRLinkage: 131 case LinkOnceODRLinkage: 132 case AvailableExternallyLinkage: 133 return true; 134 135 case WeakAnyLinkage: 136 case LinkOnceAnyLinkage: 137 case CommonLinkage: 138 case ExternalWeakLinkage: 139 case ExternalLinkage: 140 case AppendingLinkage: 141 case InternalLinkage: 142 case PrivateLinkage: 143 return isInterposable(); 144 } 145 146 llvm_unreachable("Fully covered switch above!"); 147 } 148 maybeSetDsoLocal()149 void maybeSetDsoLocal() { 150 if (hasLocalLinkage() || 151 (!hasDefaultVisibility() && !hasExternalWeakLinkage())) 152 setDSOLocal(true); 153 } 154 155 protected: 156 /// The intrinsic ID for this subclass (which must be a Function). 157 /// 158 /// This member is defined by this class, but not used for anything. 159 /// Subclasses can use it to store their intrinsic ID, if they have one. 160 /// 161 /// This is stored here to save space in Function on 64-bit hosts. 162 Intrinsic::ID IntID; 163 getGlobalValueSubClassData()164 unsigned getGlobalValueSubClassData() const { 165 return SubClassData; 166 } setGlobalValueSubClassData(unsigned V)167 void setGlobalValueSubClassData(unsigned V) { 168 assert(V < (1 << GlobalValueSubClassDataBits) && "It will not fit"); 169 SubClassData = V; 170 } 171 172 Module *Parent; // The containing module. 173 174 // Used by SymbolTableListTraits. setParent(Module * parent)175 void setParent(Module *parent) { 176 Parent = parent; 177 } 178 ~GlobalValue()179 ~GlobalValue() { 180 removeDeadConstantUsers(); // remove any dead constants using this. 181 } 182 183 public: 184 enum ThreadLocalMode { 185 NotThreadLocal = 0, 186 GeneralDynamicTLSModel, 187 LocalDynamicTLSModel, 188 InitialExecTLSModel, 189 LocalExecTLSModel 190 }; 191 192 GlobalValue(const GlobalValue &) = delete; 193 194 unsigned getAlignment() const; 195 unsigned getAddressSpace() const; 196 197 enum class UnnamedAddr { 198 None, 199 Local, 200 Global, 201 }; 202 hasGlobalUnnamedAddr()203 bool hasGlobalUnnamedAddr() const { 204 return getUnnamedAddr() == UnnamedAddr::Global; 205 } 206 207 /// Returns true if this value's address is not significant in this module. 208 /// This attribute is intended to be used only by the code generator and LTO 209 /// to allow the linker to decide whether the global needs to be in the symbol 210 /// table. It should probably not be used in optimizations, as the value may 211 /// have uses outside the module; use hasGlobalUnnamedAddr() instead. hasAtLeastLocalUnnamedAddr()212 bool hasAtLeastLocalUnnamedAddr() const { 213 return getUnnamedAddr() != UnnamedAddr::None; 214 } 215 getUnnamedAddr()216 UnnamedAddr getUnnamedAddr() const { 217 return UnnamedAddr(UnnamedAddrVal); 218 } setUnnamedAddr(UnnamedAddr Val)219 void setUnnamedAddr(UnnamedAddr Val) { UnnamedAddrVal = unsigned(Val); } 220 getMinUnnamedAddr(UnnamedAddr A,UnnamedAddr B)221 static UnnamedAddr getMinUnnamedAddr(UnnamedAddr A, UnnamedAddr B) { 222 if (A == UnnamedAddr::None || B == UnnamedAddr::None) 223 return UnnamedAddr::None; 224 if (A == UnnamedAddr::Local || B == UnnamedAddr::Local) 225 return UnnamedAddr::Local; 226 return UnnamedAddr::Global; 227 } 228 hasComdat()229 bool hasComdat() const { return getComdat() != nullptr; } 230 const Comdat *getComdat() const; getComdat()231 Comdat *getComdat() { 232 return const_cast<Comdat *>( 233 static_cast<const GlobalValue *>(this)->getComdat()); 234 } 235 getVisibility()236 VisibilityTypes getVisibility() const { return VisibilityTypes(Visibility); } hasDefaultVisibility()237 bool hasDefaultVisibility() const { return Visibility == DefaultVisibility; } hasHiddenVisibility()238 bool hasHiddenVisibility() const { return Visibility == HiddenVisibility; } hasProtectedVisibility()239 bool hasProtectedVisibility() const { 240 return Visibility == ProtectedVisibility; 241 } setVisibility(VisibilityTypes V)242 void setVisibility(VisibilityTypes V) { 243 assert((!hasLocalLinkage() || V == DefaultVisibility) && 244 "local linkage requires default visibility"); 245 Visibility = V; 246 maybeSetDsoLocal(); 247 } 248 249 /// If the value is "Thread Local", its value isn't shared by the threads. isThreadLocal()250 bool isThreadLocal() const { return getThreadLocalMode() != NotThreadLocal; } setThreadLocal(bool Val)251 void setThreadLocal(bool Val) { 252 setThreadLocalMode(Val ? GeneralDynamicTLSModel : NotThreadLocal); 253 } setThreadLocalMode(ThreadLocalMode Val)254 void setThreadLocalMode(ThreadLocalMode Val) { 255 assert(Val == NotThreadLocal || getValueID() != Value::FunctionVal); 256 ThreadLocal = Val; 257 } getThreadLocalMode()258 ThreadLocalMode getThreadLocalMode() const { 259 return static_cast<ThreadLocalMode>(ThreadLocal); 260 } 261 getDLLStorageClass()262 DLLStorageClassTypes getDLLStorageClass() const { 263 return DLLStorageClassTypes(DllStorageClass); 264 } hasDLLImportStorageClass()265 bool hasDLLImportStorageClass() const { 266 return DllStorageClass == DLLImportStorageClass; 267 } hasDLLExportStorageClass()268 bool hasDLLExportStorageClass() const { 269 return DllStorageClass == DLLExportStorageClass; 270 } setDLLStorageClass(DLLStorageClassTypes C)271 void setDLLStorageClass(DLLStorageClassTypes C) { DllStorageClass = C; } 272 hasSection()273 bool hasSection() const { return !getSection().empty(); } 274 StringRef getSection() const; 275 276 /// Global values are always pointers. getType()277 PointerType *getType() const { return cast<PointerType>(User::getType()); } 278 getValueType()279 Type *getValueType() const { return ValueType; } 280 setDSOLocal(bool Local)281 void setDSOLocal(bool Local) { IsDSOLocal = Local; } 282 isDSOLocal()283 bool isDSOLocal() const { 284 return IsDSOLocal; 285 } 286 hasPartition()287 bool hasPartition() const { 288 return HasPartition; 289 } 290 StringRef getPartition() const; 291 void setPartition(StringRef Part); 292 getLinkOnceLinkage(bool ODR)293 static LinkageTypes getLinkOnceLinkage(bool ODR) { 294 return ODR ? LinkOnceODRLinkage : LinkOnceAnyLinkage; 295 } getWeakLinkage(bool ODR)296 static LinkageTypes getWeakLinkage(bool ODR) { 297 return ODR ? WeakODRLinkage : WeakAnyLinkage; 298 } 299 isExternalLinkage(LinkageTypes Linkage)300 static bool isExternalLinkage(LinkageTypes Linkage) { 301 return Linkage == ExternalLinkage; 302 } isAvailableExternallyLinkage(LinkageTypes Linkage)303 static bool isAvailableExternallyLinkage(LinkageTypes Linkage) { 304 return Linkage == AvailableExternallyLinkage; 305 } isLinkOnceODRLinkage(LinkageTypes Linkage)306 static bool isLinkOnceODRLinkage(LinkageTypes Linkage) { 307 return Linkage == LinkOnceODRLinkage; 308 } isLinkOnceLinkage(LinkageTypes Linkage)309 static bool isLinkOnceLinkage(LinkageTypes Linkage) { 310 return Linkage == LinkOnceAnyLinkage || Linkage == LinkOnceODRLinkage; 311 } isWeakAnyLinkage(LinkageTypes Linkage)312 static bool isWeakAnyLinkage(LinkageTypes Linkage) { 313 return Linkage == WeakAnyLinkage; 314 } isWeakODRLinkage(LinkageTypes Linkage)315 static bool isWeakODRLinkage(LinkageTypes Linkage) { 316 return Linkage == WeakODRLinkage; 317 } isWeakLinkage(LinkageTypes Linkage)318 static bool isWeakLinkage(LinkageTypes Linkage) { 319 return isWeakAnyLinkage(Linkage) || isWeakODRLinkage(Linkage); 320 } isAppendingLinkage(LinkageTypes Linkage)321 static bool isAppendingLinkage(LinkageTypes Linkage) { 322 return Linkage == AppendingLinkage; 323 } isInternalLinkage(LinkageTypes Linkage)324 static bool isInternalLinkage(LinkageTypes Linkage) { 325 return Linkage == InternalLinkage; 326 } isPrivateLinkage(LinkageTypes Linkage)327 static bool isPrivateLinkage(LinkageTypes Linkage) { 328 return Linkage == PrivateLinkage; 329 } isLocalLinkage(LinkageTypes Linkage)330 static bool isLocalLinkage(LinkageTypes Linkage) { 331 return isInternalLinkage(Linkage) || isPrivateLinkage(Linkage); 332 } isExternalWeakLinkage(LinkageTypes Linkage)333 static bool isExternalWeakLinkage(LinkageTypes Linkage) { 334 return Linkage == ExternalWeakLinkage; 335 } isCommonLinkage(LinkageTypes Linkage)336 static bool isCommonLinkage(LinkageTypes Linkage) { 337 return Linkage == CommonLinkage; 338 } isValidDeclarationLinkage(LinkageTypes Linkage)339 static bool isValidDeclarationLinkage(LinkageTypes Linkage) { 340 return isExternalWeakLinkage(Linkage) || isExternalLinkage(Linkage); 341 } 342 343 /// Whether the definition of this global may be replaced by something 344 /// non-equivalent at link time. For example, if a function has weak linkage 345 /// then the code defining it may be replaced by different code. isInterposableLinkage(LinkageTypes Linkage)346 static bool isInterposableLinkage(LinkageTypes Linkage) { 347 switch (Linkage) { 348 case WeakAnyLinkage: 349 case LinkOnceAnyLinkage: 350 case CommonLinkage: 351 case ExternalWeakLinkage: 352 return true; 353 354 case AvailableExternallyLinkage: 355 case LinkOnceODRLinkage: 356 case WeakODRLinkage: 357 // The above three cannot be overridden but can be de-refined. 358 359 case ExternalLinkage: 360 case AppendingLinkage: 361 case InternalLinkage: 362 case PrivateLinkage: 363 return false; 364 } 365 llvm_unreachable("Fully covered switch above!"); 366 } 367 368 /// Whether the definition of this global may be discarded if it is not used 369 /// in its compilation unit. isDiscardableIfUnused(LinkageTypes Linkage)370 static bool isDiscardableIfUnused(LinkageTypes Linkage) { 371 return isLinkOnceLinkage(Linkage) || isLocalLinkage(Linkage) || 372 isAvailableExternallyLinkage(Linkage); 373 } 374 375 /// Whether the definition of this global may be replaced at link time. NB: 376 /// Using this method outside of the code generators is almost always a 377 /// mistake: when working at the IR level use isInterposable instead as it 378 /// knows about ODR semantics. isWeakForLinker(LinkageTypes Linkage)379 static bool isWeakForLinker(LinkageTypes Linkage) { 380 return Linkage == WeakAnyLinkage || Linkage == WeakODRLinkage || 381 Linkage == LinkOnceAnyLinkage || Linkage == LinkOnceODRLinkage || 382 Linkage == CommonLinkage || Linkage == ExternalWeakLinkage; 383 } 384 385 /// Return true if the currently visible definition of this global (if any) is 386 /// exactly the definition we will see at runtime. 387 /// 388 /// Non-exact linkage types inhibits most non-inlining IPO, since a 389 /// differently optimized variant of the same function can have different 390 /// observable or undefined behavior than in the variant currently visible. 391 /// For instance, we could have started with 392 /// 393 /// void foo(int *v) { 394 /// int t = 5 / v[0]; 395 /// (void) t; 396 /// } 397 /// 398 /// and "refined" it to 399 /// 400 /// void foo(int *v) { } 401 /// 402 /// However, we cannot infer readnone for `foo`, since that would justify 403 /// DSE'ing a store to `v[0]` across a call to `foo`, which can cause 404 /// undefined behavior if the linker replaces the actual call destination with 405 /// the unoptimized `foo`. 406 /// 407 /// Inlining is okay across non-exact linkage types as long as they're not 408 /// interposable (see \c isInterposable), since in such cases the currently 409 /// visible variant is *a* correct implementation of the original source 410 /// function; it just isn't the *only* correct implementation. isDefinitionExact()411 bool isDefinitionExact() const { 412 return !mayBeDerefined(); 413 } 414 415 /// Return true if this global has an exact defintion. hasExactDefinition()416 bool hasExactDefinition() const { 417 // While this computes exactly the same thing as 418 // isStrongDefinitionForLinker, the intended uses are different. This 419 // function is intended to help decide if specific inter-procedural 420 // transforms are correct, while isStrongDefinitionForLinker's intended use 421 // is in low level code generation. 422 return !isDeclaration() && isDefinitionExact(); 423 } 424 425 /// Return true if this global's definition can be substituted with an 426 /// *arbitrary* definition at link time. We cannot do any IPO or inlinining 427 /// across interposable call edges, since the callee can be replaced with 428 /// something arbitrary at link time. isInterposable()429 bool isInterposable() const { return isInterposableLinkage(getLinkage()); } 430 hasExternalLinkage()431 bool hasExternalLinkage() const { return isExternalLinkage(getLinkage()); } hasAvailableExternallyLinkage()432 bool hasAvailableExternallyLinkage() const { 433 return isAvailableExternallyLinkage(getLinkage()); 434 } hasLinkOnceLinkage()435 bool hasLinkOnceLinkage() const { return isLinkOnceLinkage(getLinkage()); } hasLinkOnceODRLinkage()436 bool hasLinkOnceODRLinkage() const { 437 return isLinkOnceODRLinkage(getLinkage()); 438 } hasWeakLinkage()439 bool hasWeakLinkage() const { return isWeakLinkage(getLinkage()); } hasWeakAnyLinkage()440 bool hasWeakAnyLinkage() const { return isWeakAnyLinkage(getLinkage()); } hasWeakODRLinkage()441 bool hasWeakODRLinkage() const { return isWeakODRLinkage(getLinkage()); } hasAppendingLinkage()442 bool hasAppendingLinkage() const { return isAppendingLinkage(getLinkage()); } hasInternalLinkage()443 bool hasInternalLinkage() const { return isInternalLinkage(getLinkage()); } hasPrivateLinkage()444 bool hasPrivateLinkage() const { return isPrivateLinkage(getLinkage()); } hasLocalLinkage()445 bool hasLocalLinkage() const { return isLocalLinkage(getLinkage()); } hasExternalWeakLinkage()446 bool hasExternalWeakLinkage() const { 447 return isExternalWeakLinkage(getLinkage()); 448 } hasCommonLinkage()449 bool hasCommonLinkage() const { return isCommonLinkage(getLinkage()); } hasValidDeclarationLinkage()450 bool hasValidDeclarationLinkage() const { 451 return isValidDeclarationLinkage(getLinkage()); 452 } 453 setLinkage(LinkageTypes LT)454 void setLinkage(LinkageTypes LT) { 455 if (isLocalLinkage(LT)) 456 Visibility = DefaultVisibility; 457 Linkage = LT; 458 maybeSetDsoLocal(); 459 } getLinkage()460 LinkageTypes getLinkage() const { return LinkageTypes(Linkage); } 461 isDiscardableIfUnused()462 bool isDiscardableIfUnused() const { 463 return isDiscardableIfUnused(getLinkage()); 464 } 465 isWeakForLinker()466 bool isWeakForLinker() const { return isWeakForLinker(getLinkage()); } 467 468 protected: 469 /// Copy all additional attributes (those not needed to create a GlobalValue) 470 /// from the GlobalValue Src to this one. 471 void copyAttributesFrom(const GlobalValue *Src); 472 473 public: 474 /// If the given string begins with the GlobalValue name mangling escape 475 /// character '\1', drop it. 476 /// 477 /// This function applies a specific mangling that is used in PGO profiles, 478 /// among other things. If you're trying to get a symbol name for an 479 /// arbitrary GlobalValue, this is not the function you're looking for; see 480 /// Mangler.h. dropLLVMManglingEscape(StringRef Name)481 static StringRef dropLLVMManglingEscape(StringRef Name) { 482 if (!Name.empty() && Name[0] == '\1') 483 return Name.substr(1); 484 return Name; 485 } 486 487 /// Return the modified name for a global value suitable to be 488 /// used as the key for a global lookup (e.g. profile or ThinLTO). 489 /// The value's original name is \c Name and has linkage of type 490 /// \c Linkage. The value is defined in module \c FileName. 491 static std::string getGlobalIdentifier(StringRef Name, 492 GlobalValue::LinkageTypes Linkage, 493 StringRef FileName); 494 495 /// Return the modified name for this global value suitable to be 496 /// used as the key for a global lookup (e.g. profile or ThinLTO). 497 std::string getGlobalIdentifier() const; 498 499 /// Declare a type to represent a global unique identifier for a global value. 500 /// This is a 64 bits hash that is used by PGO and ThinLTO to have a compact 501 /// unique way to identify a symbol. 502 using GUID = uint64_t; 503 504 /// Return a 64-bit global unique ID constructed from global value name 505 /// (i.e. returned by getGlobalIdentifier()). getGUID(StringRef GlobalName)506 static GUID getGUID(StringRef GlobalName) { return MD5Hash(GlobalName); } 507 508 /// Return a 64-bit global unique ID constructed from global value name 509 /// (i.e. returned by getGlobalIdentifier()). getGUID()510 GUID getGUID() const { return getGUID(getGlobalIdentifier()); } 511 512 /// @name Materialization 513 /// Materialization is used to construct functions only as they're needed. 514 /// This 515 /// is useful to reduce memory usage in LLVM or parsing work done by the 516 /// BitcodeReader to load the Module. 517 /// @{ 518 519 /// If this function's Module is being lazily streamed in functions from disk 520 /// or some other source, this method can be used to check to see if the 521 /// function has been read in yet or not. 522 bool isMaterializable() const; 523 524 /// Make sure this GlobalValue is fully read. 525 Error materialize(); 526 527 /// @} 528 529 /// Return true if the primary definition of this global value is outside of 530 /// the current translation unit. 531 bool isDeclaration() const; 532 isDeclarationForLinker()533 bool isDeclarationForLinker() const { 534 if (hasAvailableExternallyLinkage()) 535 return true; 536 537 return isDeclaration(); 538 } 539 540 /// Returns true if this global's definition will be the one chosen by the 541 /// linker. 542 /// 543 /// NB! Ideally this should not be used at the IR level at all. If you're 544 /// interested in optimization constraints implied by the linker's ability to 545 /// choose an implementation, prefer using \c hasExactDefinition. isStrongDefinitionForLinker()546 bool isStrongDefinitionForLinker() const { 547 return !(isDeclarationForLinker() || isWeakForLinker()); 548 } 549 550 // Returns true if the alignment of the value can be unilaterally 551 // increased. 552 bool canIncreaseAlignment() const; 553 554 const GlobalObject *getBaseObject() const; getBaseObject()555 GlobalObject *getBaseObject() { 556 return const_cast<GlobalObject *>( 557 static_cast<const GlobalValue *>(this)->getBaseObject()); 558 } 559 560 /// Returns whether this is a reference to an absolute symbol. 561 bool isAbsoluteSymbolRef() const; 562 563 /// If this is an absolute symbol reference, returns the range of the symbol, 564 /// otherwise returns None. 565 Optional<ConstantRange> getAbsoluteSymbolRange() const; 566 567 /// This method unlinks 'this' from the containing module, but does not delete 568 /// it. 569 void removeFromParent(); 570 571 /// This method unlinks 'this' from the containing module and deletes it. 572 void eraseFromParent(); 573 574 /// Get the module that this global value is contained inside of... getParent()575 Module *getParent() { return Parent; } getParent()576 const Module *getParent() const { return Parent; } 577 578 // Methods for support type inquiry through isa, cast, and dyn_cast: classof(const Value * V)579 static bool classof(const Value *V) { 580 return V->getValueID() == Value::FunctionVal || 581 V->getValueID() == Value::GlobalVariableVal || 582 V->getValueID() == Value::GlobalAliasVal || 583 V->getValueID() == Value::GlobalIFuncVal; 584 } 585 586 /// True if GV can be left out of the object symbol table. This is the case 587 /// for linkonce_odr values whose address is not significant. While legal, it 588 /// is not normally profitable to omit them from the .o symbol table. Using 589 /// this analysis makes sense when the information can be passed down to the 590 /// linker or we are in LTO. 591 bool canBeOmittedFromSymbolTable() const; 592 }; 593 594 } // end namespace llvm 595 596 #endif // LLVM_IR_GLOBALVALUE_H 597