123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593 |
- //===-- Globals.cpp - Implement the GlobalValue & GlobalVariable class ----===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // This file implements the GlobalValue & GlobalVariable classes for the IR
- // library.
- //
- //===----------------------------------------------------------------------===//
- #include "LLVMContextImpl.h"
- #include "llvm/ADT/Triple.h"
- #include "llvm/IR/ConstantRange.h"
- #include "llvm/IR/Constants.h"
- #include "llvm/IR/DerivedTypes.h"
- #include "llvm/IR/GlobalAlias.h"
- #include "llvm/IR/GlobalValue.h"
- #include "llvm/IR/GlobalVariable.h"
- #include "llvm/IR/Module.h"
- #include "llvm/Support/Error.h"
- #include "llvm/Support/ErrorHandling.h"
- using namespace llvm;
- //===----------------------------------------------------------------------===//
- // GlobalValue Class
- //===----------------------------------------------------------------------===//
- // GlobalValue should be a Constant, plus a type, a module, some flags, and an
- // intrinsic ID. Add an assert to prevent people from accidentally growing
- // GlobalValue while adding flags.
- static_assert(sizeof(GlobalValue) ==
- sizeof(Constant) + 2 * sizeof(void *) + 2 * sizeof(unsigned),
- "unexpected GlobalValue size growth");
- // GlobalObject adds a comdat.
- static_assert(sizeof(GlobalObject) == sizeof(GlobalValue) + sizeof(void *),
- "unexpected GlobalObject size growth");
- bool GlobalValue::isMaterializable() const {
- if (const Function *F = dyn_cast<Function>(this))
- return F->isMaterializable();
- return false;
- }
- Error GlobalValue::materialize() {
- return getParent()->materialize(this);
- }
- /// Override destroyConstantImpl to make sure it doesn't get called on
- /// GlobalValue's because they shouldn't be treated like other constants.
- void GlobalValue::destroyConstantImpl() {
- llvm_unreachable("You can't GV->destroyConstantImpl()!");
- }
- Value *GlobalValue::handleOperandChangeImpl(Value *From, Value *To) {
- llvm_unreachable("Unsupported class for handleOperandChange()!");
- }
- /// copyAttributesFrom - copy all additional attributes (those not needed to
- /// create a GlobalValue) from the GlobalValue Src to this one.
- void GlobalValue::copyAttributesFrom(const GlobalValue *Src) {
- setVisibility(Src->getVisibility());
- setUnnamedAddr(Src->getUnnamedAddr());
- setThreadLocalMode(Src->getThreadLocalMode());
- setDLLStorageClass(Src->getDLLStorageClass());
- setDSOLocal(Src->isDSOLocal());
- setPartition(Src->getPartition());
- if (Src->hasSanitizerMetadata())
- setSanitizerMetadata(Src->getSanitizerMetadata());
- else
- removeSanitizerMetadata();
- }
- void GlobalValue::removeFromParent() {
- switch (getValueID()) {
- #define HANDLE_GLOBAL_VALUE(NAME) \
- case Value::NAME##Val: \
- return static_cast<NAME *>(this)->removeFromParent();
- #include "llvm/IR/Value.def"
- default:
- break;
- }
- llvm_unreachable("not a global");
- }
- void GlobalValue::eraseFromParent() {
- switch (getValueID()) {
- #define HANDLE_GLOBAL_VALUE(NAME) \
- case Value::NAME##Val: \
- return static_cast<NAME *>(this)->eraseFromParent();
- #include "llvm/IR/Value.def"
- default:
- break;
- }
- llvm_unreachable("not a global");
- }
- GlobalObject::~GlobalObject() { setComdat(nullptr); }
- bool GlobalValue::isInterposable() const {
- if (isInterposableLinkage(getLinkage()))
- return true;
- return getParent() && getParent()->getSemanticInterposition() &&
- !isDSOLocal();
- }
- bool GlobalValue::canBenefitFromLocalAlias() const {
- // See AsmPrinter::getSymbolPreferLocal(). For a deduplicate comdat kind,
- // references to a discarded local symbol from outside the group are not
- // allowed, so avoid the local alias.
- auto isDeduplicateComdat = [](const Comdat *C) {
- return C && C->getSelectionKind() != Comdat::NoDeduplicate;
- };
- return hasDefaultVisibility() &&
- GlobalObject::isExternalLinkage(getLinkage()) && !isDeclaration() &&
- !isa<GlobalIFunc>(this) && !isDeduplicateComdat(getComdat());
- }
- void GlobalObject::setAlignment(MaybeAlign Align) {
- assert((!Align || *Align <= MaximumAlignment) &&
- "Alignment is greater than MaximumAlignment!");
- unsigned AlignmentData = encode(Align);
- unsigned OldData = getGlobalValueSubClassData();
- setGlobalValueSubClassData((OldData & ~AlignmentMask) | AlignmentData);
- assert(getAlign() == Align && "Alignment representation error!");
- }
- void GlobalObject::copyAttributesFrom(const GlobalObject *Src) {
- GlobalValue::copyAttributesFrom(Src);
- setAlignment(Src->getAlign());
- setSection(Src->getSection());
- }
- std::string GlobalValue::getGlobalIdentifier(StringRef Name,
- GlobalValue::LinkageTypes Linkage,
- StringRef FileName) {
- // Value names may be prefixed with a binary '1' to indicate
- // that the backend should not modify the symbols due to any platform
- // naming convention. Do not include that '1' in the PGO profile name.
- if (Name[0] == '\1')
- Name = Name.substr(1);
- std::string NewName = std::string(Name);
- if (llvm::GlobalValue::isLocalLinkage(Linkage)) {
- // For local symbols, prepend the main file name to distinguish them.
- // Do not include the full path in the file name since there's no guarantee
- // that it will stay the same, e.g., if the files are checked out from
- // version control in different locations.
- if (FileName.empty())
- NewName = NewName.insert(0, "<unknown>:");
- else
- NewName = NewName.insert(0, FileName.str() + ":");
- }
- return NewName;
- }
- std::string GlobalValue::getGlobalIdentifier() const {
- return getGlobalIdentifier(getName(), getLinkage(),
- getParent()->getSourceFileName());
- }
- StringRef GlobalValue::getSection() const {
- if (auto *GA = dyn_cast<GlobalAlias>(this)) {
- // In general we cannot compute this at the IR level, but we try.
- if (const GlobalObject *GO = GA->getAliaseeObject())
- return GO->getSection();
- return "";
- }
- return cast<GlobalObject>(this)->getSection();
- }
- const Comdat *GlobalValue::getComdat() const {
- if (auto *GA = dyn_cast<GlobalAlias>(this)) {
- // In general we cannot compute this at the IR level, but we try.
- if (const GlobalObject *GO = GA->getAliaseeObject())
- return const_cast<GlobalObject *>(GO)->getComdat();
- return nullptr;
- }
- // ifunc and its resolver are separate things so don't use resolver comdat.
- if (isa<GlobalIFunc>(this))
- return nullptr;
- return cast<GlobalObject>(this)->getComdat();
- }
- void GlobalObject::setComdat(Comdat *C) {
- if (ObjComdat)
- ObjComdat->removeUser(this);
- ObjComdat = C;
- if (C)
- C->addUser(this);
- }
- StringRef GlobalValue::getPartition() const {
- if (!hasPartition())
- return "";
- return getContext().pImpl->GlobalValuePartitions[this];
- }
- void GlobalValue::setPartition(StringRef S) {
- // Do nothing if we're clearing the partition and it is already empty.
- if (!hasPartition() && S.empty())
- return;
- // Get or create a stable partition name string and put it in the table in the
- // context.
- if (!S.empty())
- S = getContext().pImpl->Saver.save(S);
- getContext().pImpl->GlobalValuePartitions[this] = S;
- // Update the HasPartition field. Setting the partition to the empty string
- // means this global no longer has a partition.
- HasPartition = !S.empty();
- }
- using SanitizerMetadata = GlobalValue::SanitizerMetadata;
- const SanitizerMetadata &GlobalValue::getSanitizerMetadata() const {
- assert(hasSanitizerMetadata());
- assert(getContext().pImpl->GlobalValueSanitizerMetadata.count(this));
- return getContext().pImpl->GlobalValueSanitizerMetadata[this];
- }
- void GlobalValue::setSanitizerMetadata(SanitizerMetadata Meta) {
- getContext().pImpl->GlobalValueSanitizerMetadata[this] = Meta;
- HasSanitizerMetadata = true;
- }
- void GlobalValue::removeSanitizerMetadata() {
- DenseMap<const GlobalValue *, SanitizerMetadata> &MetadataMap =
- getContext().pImpl->GlobalValueSanitizerMetadata;
- MetadataMap.erase(this);
- HasSanitizerMetadata = false;
- }
- StringRef GlobalObject::getSectionImpl() const {
- assert(hasSection());
- return getContext().pImpl->GlobalObjectSections[this];
- }
- void GlobalObject::setSection(StringRef S) {
- // Do nothing if we're clearing the section and it is already empty.
- if (!hasSection() && S.empty())
- return;
- // Get or create a stable section name string and put it in the table in the
- // context.
- if (!S.empty())
- S = getContext().pImpl->Saver.save(S);
- getContext().pImpl->GlobalObjectSections[this] = S;
- // Update the HasSectionHashEntryBit. Setting the section to the empty string
- // means this global no longer has a section.
- setGlobalObjectFlag(HasSectionHashEntryBit, !S.empty());
- }
- bool GlobalValue::isNobuiltinFnDef() const {
- const Function *F = dyn_cast<Function>(this);
- if (!F || F->empty())
- return false;
- return F->hasFnAttribute(Attribute::NoBuiltin);
- }
- bool GlobalValue::isDeclaration() const {
- // Globals are definitions if they have an initializer.
- if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(this))
- return GV->getNumOperands() == 0;
- // Functions are definitions if they have a body.
- if (const Function *F = dyn_cast<Function>(this))
- return F->empty() && !F->isMaterializable();
- // Aliases and ifuncs are always definitions.
- assert(isa<GlobalAlias>(this) || isa<GlobalIFunc>(this));
- return false;
- }
- bool GlobalObject::canIncreaseAlignment() const {
- // Firstly, can only increase the alignment of a global if it
- // is a strong definition.
- if (!isStrongDefinitionForLinker())
- return false;
- // It also has to either not have a section defined, or, not have
- // alignment specified. (If it is assigned a section, the global
- // could be densely packed with other objects in the section, and
- // increasing the alignment could cause padding issues.)
- if (hasSection() && getAlign())
- return false;
- // On ELF platforms, we're further restricted in that we can't
- // increase the alignment of any variable which might be emitted
- // into a shared library, and which is exported. If the main
- // executable accesses a variable found in a shared-lib, the main
- // exe actually allocates memory for and exports the symbol ITSELF,
- // overriding the symbol found in the library. That is, at link
- // time, the observed alignment of the variable is copied into the
- // executable binary. (A COPY relocation is also generated, to copy
- // the initial data from the shadowed variable in the shared-lib
- // into the location in the main binary, before running code.)
- //
- // And thus, even though you might think you are defining the
- // global, and allocating the memory for the global in your object
- // file, and thus should be able to set the alignment arbitrarily,
- // that's not actually true. Doing so can cause an ABI breakage; an
- // executable might have already been built with the previous
- // alignment of the variable, and then assuming an increased
- // alignment will be incorrect.
- // Conservatively assume ELF if there's no parent pointer.
- bool isELF =
- (!Parent || Triple(Parent->getTargetTriple()).isOSBinFormatELF());
- if (isELF && !isDSOLocal())
- return false;
- return true;
- }
- template <typename Operation>
- static const GlobalObject *
- findBaseObject(const Constant *C, DenseSet<const GlobalAlias *> &Aliases,
- const Operation &Op) {
- if (auto *GO = dyn_cast<GlobalObject>(C)) {
- Op(*GO);
- return GO;
- }
- if (auto *GA = dyn_cast<GlobalAlias>(C)) {
- Op(*GA);
- if (Aliases.insert(GA).second)
- return findBaseObject(GA->getOperand(0), Aliases, Op);
- }
- if (auto *CE = dyn_cast<ConstantExpr>(C)) {
- switch (CE->getOpcode()) {
- case Instruction::Add: {
- auto *LHS = findBaseObject(CE->getOperand(0), Aliases, Op);
- auto *RHS = findBaseObject(CE->getOperand(1), Aliases, Op);
- if (LHS && RHS)
- return nullptr;
- return LHS ? LHS : RHS;
- }
- case Instruction::Sub: {
- if (findBaseObject(CE->getOperand(1), Aliases, Op))
- return nullptr;
- return findBaseObject(CE->getOperand(0), Aliases, Op);
- }
- case Instruction::IntToPtr:
- case Instruction::PtrToInt:
- case Instruction::BitCast:
- case Instruction::GetElementPtr:
- return findBaseObject(CE->getOperand(0), Aliases, Op);
- default:
- break;
- }
- }
- return nullptr;
- }
- const GlobalObject *GlobalValue::getAliaseeObject() const {
- DenseSet<const GlobalAlias *> Aliases;
- return findBaseObject(this, Aliases, [](const GlobalValue &) {});
- }
- bool GlobalValue::isAbsoluteSymbolRef() const {
- auto *GO = dyn_cast<GlobalObject>(this);
- if (!GO)
- return false;
- return GO->getMetadata(LLVMContext::MD_absolute_symbol);
- }
- std::optional<ConstantRange> GlobalValue::getAbsoluteSymbolRange() const {
- auto *GO = dyn_cast<GlobalObject>(this);
- if (!GO)
- return std::nullopt;
- MDNode *MD = GO->getMetadata(LLVMContext::MD_absolute_symbol);
- if (!MD)
- return std::nullopt;
- return getConstantRangeFromMetadata(*MD);
- }
- bool GlobalValue::canBeOmittedFromSymbolTable() const {
- if (!hasLinkOnceODRLinkage())
- return false;
- // We assume that anyone who sets global unnamed_addr on a non-constant
- // knows what they're doing.
- if (hasGlobalUnnamedAddr())
- return true;
- // If it is a non constant variable, it needs to be uniqued across shared
- // objects.
- if (auto *Var = dyn_cast<GlobalVariable>(this))
- if (!Var->isConstant())
- return false;
- return hasAtLeastLocalUnnamedAddr();
- }
- //===----------------------------------------------------------------------===//
- // GlobalVariable Implementation
- //===----------------------------------------------------------------------===//
- GlobalVariable::GlobalVariable(Type *Ty, bool constant, LinkageTypes Link,
- Constant *InitVal, const Twine &Name,
- ThreadLocalMode TLMode, unsigned AddressSpace,
- bool isExternallyInitialized)
- : GlobalObject(Ty, Value::GlobalVariableVal,
- OperandTraits<GlobalVariable>::op_begin(this),
- InitVal != nullptr, Link, Name, AddressSpace),
- isConstantGlobal(constant),
- isExternallyInitializedConstant(isExternallyInitialized) {
- assert(!Ty->isFunctionTy() && PointerType::isValidElementType(Ty) &&
- "invalid type for global variable");
- setThreadLocalMode(TLMode);
- if (InitVal) {
- assert(InitVal->getType() == Ty &&
- "Initializer should be the same type as the GlobalVariable!");
- Op<0>() = InitVal;
- }
- }
- GlobalVariable::GlobalVariable(Module &M, Type *Ty, bool constant,
- LinkageTypes Link, Constant *InitVal,
- const Twine &Name, GlobalVariable *Before,
- ThreadLocalMode TLMode,
- std::optional<unsigned> AddressSpace,
- bool isExternallyInitialized)
- : GlobalObject(Ty, Value::GlobalVariableVal,
- OperandTraits<GlobalVariable>::op_begin(this),
- InitVal != nullptr, Link, Name,
- AddressSpace
- ? *AddressSpace
- : M.getDataLayout().getDefaultGlobalsAddressSpace()),
- isConstantGlobal(constant),
- isExternallyInitializedConstant(isExternallyInitialized) {
- assert(!Ty->isFunctionTy() && PointerType::isValidElementType(Ty) &&
- "invalid type for global variable");
- setThreadLocalMode(TLMode);
- if (InitVal) {
- assert(InitVal->getType() == Ty &&
- "Initializer should be the same type as the GlobalVariable!");
- Op<0>() = InitVal;
- }
- if (Before)
- Before->getParent()->getGlobalList().insert(Before->getIterator(), this);
- else
- M.getGlobalList().push_back(this);
- }
- void GlobalVariable::removeFromParent() {
- getParent()->getGlobalList().remove(getIterator());
- }
- void GlobalVariable::eraseFromParent() {
- getParent()->getGlobalList().erase(getIterator());
- }
- void GlobalVariable::setInitializer(Constant *InitVal) {
- if (!InitVal) {
- if (hasInitializer()) {
- // Note, the num operands is used to compute the offset of the operand, so
- // the order here matters. Clearing the operand then clearing the num
- // operands ensures we have the correct offset to the operand.
- Op<0>().set(nullptr);
- setGlobalVariableNumOperands(0);
- }
- } else {
- assert(InitVal->getType() == getValueType() &&
- "Initializer type must match GlobalVariable type");
- // Note, the num operands is used to compute the offset of the operand, so
- // the order here matters. We need to set num operands to 1 first so that
- // we get the correct offset to the first operand when we set it.
- if (!hasInitializer())
- setGlobalVariableNumOperands(1);
- Op<0>().set(InitVal);
- }
- }
- /// Copy all additional attributes (those not needed to create a GlobalVariable)
- /// from the GlobalVariable Src to this one.
- void GlobalVariable::copyAttributesFrom(const GlobalVariable *Src) {
- GlobalObject::copyAttributesFrom(Src);
- setExternallyInitialized(Src->isExternallyInitialized());
- setAttributes(Src->getAttributes());
- }
- void GlobalVariable::dropAllReferences() {
- User::dropAllReferences();
- clearMetadata();
- }
- //===----------------------------------------------------------------------===//
- // GlobalAlias Implementation
- //===----------------------------------------------------------------------===//
- GlobalAlias::GlobalAlias(Type *Ty, unsigned AddressSpace, LinkageTypes Link,
- const Twine &Name, Constant *Aliasee,
- Module *ParentModule)
- : GlobalValue(Ty, Value::GlobalAliasVal, &Op<0>(), 1, Link, Name,
- AddressSpace) {
- setAliasee(Aliasee);
- if (ParentModule)
- ParentModule->getAliasList().push_back(this);
- }
- GlobalAlias *GlobalAlias::create(Type *Ty, unsigned AddressSpace,
- LinkageTypes Link, const Twine &Name,
- Constant *Aliasee, Module *ParentModule) {
- return new GlobalAlias(Ty, AddressSpace, Link, Name, Aliasee, ParentModule);
- }
- GlobalAlias *GlobalAlias::create(Type *Ty, unsigned AddressSpace,
- LinkageTypes Linkage, const Twine &Name,
- Module *Parent) {
- return create(Ty, AddressSpace, Linkage, Name, nullptr, Parent);
- }
- GlobalAlias *GlobalAlias::create(Type *Ty, unsigned AddressSpace,
- LinkageTypes Linkage, const Twine &Name,
- GlobalValue *Aliasee) {
- return create(Ty, AddressSpace, Linkage, Name, Aliasee, Aliasee->getParent());
- }
- GlobalAlias *GlobalAlias::create(LinkageTypes Link, const Twine &Name,
- GlobalValue *Aliasee) {
- return create(Aliasee->getValueType(), Aliasee->getAddressSpace(), Link, Name,
- Aliasee);
- }
- GlobalAlias *GlobalAlias::create(const Twine &Name, GlobalValue *Aliasee) {
- return create(Aliasee->getLinkage(), Name, Aliasee);
- }
- void GlobalAlias::removeFromParent() {
- getParent()->getAliasList().remove(getIterator());
- }
- void GlobalAlias::eraseFromParent() {
- getParent()->getAliasList().erase(getIterator());
- }
- void GlobalAlias::setAliasee(Constant *Aliasee) {
- assert((!Aliasee || Aliasee->getType() == getType()) &&
- "Alias and aliasee types should match!");
- Op<0>().set(Aliasee);
- }
- const GlobalObject *GlobalAlias::getAliaseeObject() const {
- DenseSet<const GlobalAlias *> Aliases;
- return findBaseObject(getOperand(0), Aliases, [](const GlobalValue &) {});
- }
- //===----------------------------------------------------------------------===//
- // GlobalIFunc Implementation
- //===----------------------------------------------------------------------===//
- GlobalIFunc::GlobalIFunc(Type *Ty, unsigned AddressSpace, LinkageTypes Link,
- const Twine &Name, Constant *Resolver,
- Module *ParentModule)
- : GlobalObject(Ty, Value::GlobalIFuncVal, &Op<0>(), 1, Link, Name,
- AddressSpace) {
- setResolver(Resolver);
- if (ParentModule)
- ParentModule->getIFuncList().push_back(this);
- }
- GlobalIFunc *GlobalIFunc::create(Type *Ty, unsigned AddressSpace,
- LinkageTypes Link, const Twine &Name,
- Constant *Resolver, Module *ParentModule) {
- return new GlobalIFunc(Ty, AddressSpace, Link, Name, Resolver, ParentModule);
- }
- void GlobalIFunc::removeFromParent() {
- getParent()->getIFuncList().remove(getIterator());
- }
- void GlobalIFunc::eraseFromParent() {
- getParent()->getIFuncList().erase(getIterator());
- }
- const Function *GlobalIFunc::getResolverFunction() const {
- return dyn_cast<Function>(getResolver()->stripPointerCastsAndAliases());
- }
- void GlobalIFunc::applyAlongResolverPath(
- function_ref<void(const GlobalValue &)> Op) const {
- DenseSet<const GlobalAlias *> Aliases;
- findBaseObject(getResolver(), Aliases, Op);
- }
|