1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978 |
- //===- Attributes.cpp - Implement AttributesList --------------------------===//
- //
- // 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
- //
- //===----------------------------------------------------------------------===//
- //
- // \file
- // This file implements the Attribute, AttributeImpl, AttrBuilder,
- // AttributeListImpl, and AttributeList classes.
- //
- //===----------------------------------------------------------------------===//
- #include "llvm/IR/Attributes.h"
- #include "AttributeImpl.h"
- #include "LLVMContextImpl.h"
- #include "llvm/ADT/ArrayRef.h"
- #include "llvm/ADT/FoldingSet.h"
- #include "llvm/ADT/Optional.h"
- #include "llvm/ADT/STLExtras.h"
- #include "llvm/ADT/SmallVector.h"
- #include "llvm/ADT/StringExtras.h"
- #include "llvm/ADT/StringRef.h"
- #include "llvm/ADT/StringSwitch.h"
- #include "llvm/Config/llvm-config.h"
- #include "llvm/IR/Function.h"
- #include "llvm/IR/LLVMContext.h"
- #include "llvm/IR/Type.h"
- #include "llvm/Support/Compiler.h"
- #include "llvm/Support/Debug.h"
- #include "llvm/Support/ErrorHandling.h"
- #include "llvm/Support/raw_ostream.h"
- #include <algorithm>
- #include <cassert>
- #include <cstddef>
- #include <cstdint>
- #include <limits>
- #include <string>
- #include <tuple>
- #include <utility>
- using namespace llvm;
- //===----------------------------------------------------------------------===//
- // Attribute Construction Methods
- //===----------------------------------------------------------------------===//
- // allocsize has two integer arguments, but because they're both 32 bits, we can
- // pack them into one 64-bit value, at the cost of making said value
- // nonsensical.
- //
- // In order to do this, we need to reserve one value of the second (optional)
- // allocsize argument to signify "not present."
- static const unsigned AllocSizeNumElemsNotPresent = -1;
- static uint64_t packAllocSizeArgs(unsigned ElemSizeArg,
- const Optional<unsigned> &NumElemsArg) {
- assert((!NumElemsArg.hasValue() ||
- *NumElemsArg != AllocSizeNumElemsNotPresent) &&
- "Attempting to pack a reserved value");
- return uint64_t(ElemSizeArg) << 32 |
- NumElemsArg.getValueOr(AllocSizeNumElemsNotPresent);
- }
- static std::pair<unsigned, Optional<unsigned>>
- unpackAllocSizeArgs(uint64_t Num) {
- unsigned NumElems = Num & std::numeric_limits<unsigned>::max();
- unsigned ElemSizeArg = Num >> 32;
- Optional<unsigned> NumElemsArg;
- if (NumElems != AllocSizeNumElemsNotPresent)
- NumElemsArg = NumElems;
- return std::make_pair(ElemSizeArg, NumElemsArg);
- }
- static uint64_t packVScaleRangeArgs(unsigned MinValue,
- Optional<unsigned> MaxValue) {
- return uint64_t(MinValue) << 32 | MaxValue.getValueOr(0);
- }
- static std::pair<unsigned, Optional<unsigned>>
- unpackVScaleRangeArgs(uint64_t Value) {
- unsigned MaxValue = Value & std::numeric_limits<unsigned>::max();
- unsigned MinValue = Value >> 32;
- return std::make_pair(MinValue,
- MaxValue > 0 ? MaxValue : Optional<unsigned>());
- }
- Attribute Attribute::get(LLVMContext &Context, Attribute::AttrKind Kind,
- uint64_t Val) {
- if (Val)
- assert(Attribute::isIntAttrKind(Kind) && "Not an int attribute");
- else
- assert(Attribute::isEnumAttrKind(Kind) && "Not an enum attribute");
- LLVMContextImpl *pImpl = Context.pImpl;
- FoldingSetNodeID ID;
- ID.AddInteger(Kind);
- if (Val) ID.AddInteger(Val);
- void *InsertPoint;
- AttributeImpl *PA = pImpl->AttrsSet.FindNodeOrInsertPos(ID, InsertPoint);
- if (!PA) {
- // If we didn't find any existing attributes of the same shape then create a
- // new one and insert it.
- if (!Val)
- PA = new (pImpl->Alloc) EnumAttributeImpl(Kind);
- else
- PA = new (pImpl->Alloc) IntAttributeImpl(Kind, Val);
- pImpl->AttrsSet.InsertNode(PA, InsertPoint);
- }
- // Return the Attribute that we found or created.
- return Attribute(PA);
- }
- Attribute Attribute::get(LLVMContext &Context, StringRef Kind, StringRef Val) {
- LLVMContextImpl *pImpl = Context.pImpl;
- FoldingSetNodeID ID;
- ID.AddString(Kind);
- if (!Val.empty()) ID.AddString(Val);
- void *InsertPoint;
- AttributeImpl *PA = pImpl->AttrsSet.FindNodeOrInsertPos(ID, InsertPoint);
- if (!PA) {
- // If we didn't find any existing attributes of the same shape then create a
- // new one and insert it.
- void *Mem =
- pImpl->Alloc.Allocate(StringAttributeImpl::totalSizeToAlloc(Kind, Val),
- alignof(StringAttributeImpl));
- PA = new (Mem) StringAttributeImpl(Kind, Val);
- pImpl->AttrsSet.InsertNode(PA, InsertPoint);
- }
- // Return the Attribute that we found or created.
- return Attribute(PA);
- }
- Attribute Attribute::get(LLVMContext &Context, Attribute::AttrKind Kind,
- Type *Ty) {
- assert(Attribute::isTypeAttrKind(Kind) && "Not a type attribute");
- LLVMContextImpl *pImpl = Context.pImpl;
- FoldingSetNodeID ID;
- ID.AddInteger(Kind);
- ID.AddPointer(Ty);
- void *InsertPoint;
- AttributeImpl *PA = pImpl->AttrsSet.FindNodeOrInsertPos(ID, InsertPoint);
- if (!PA) {
- // If we didn't find any existing attributes of the same shape then create a
- // new one and insert it.
- PA = new (pImpl->Alloc) TypeAttributeImpl(Kind, Ty);
- pImpl->AttrsSet.InsertNode(PA, InsertPoint);
- }
- // Return the Attribute that we found or created.
- return Attribute(PA);
- }
- Attribute Attribute::getWithAlignment(LLVMContext &Context, Align A) {
- assert(A <= llvm::Value::MaximumAlignment && "Alignment too large.");
- return get(Context, Alignment, A.value());
- }
- Attribute Attribute::getWithStackAlignment(LLVMContext &Context, Align A) {
- assert(A <= 0x100 && "Alignment too large.");
- return get(Context, StackAlignment, A.value());
- }
- Attribute Attribute::getWithDereferenceableBytes(LLVMContext &Context,
- uint64_t Bytes) {
- assert(Bytes && "Bytes must be non-zero.");
- return get(Context, Dereferenceable, Bytes);
- }
- Attribute Attribute::getWithDereferenceableOrNullBytes(LLVMContext &Context,
- uint64_t Bytes) {
- assert(Bytes && "Bytes must be non-zero.");
- return get(Context, DereferenceableOrNull, Bytes);
- }
- Attribute Attribute::getWithByValType(LLVMContext &Context, Type *Ty) {
- return get(Context, ByVal, Ty);
- }
- Attribute Attribute::getWithStructRetType(LLVMContext &Context, Type *Ty) {
- return get(Context, StructRet, Ty);
- }
- Attribute Attribute::getWithByRefType(LLVMContext &Context, Type *Ty) {
- return get(Context, ByRef, Ty);
- }
- Attribute Attribute::getWithPreallocatedType(LLVMContext &Context, Type *Ty) {
- return get(Context, Preallocated, Ty);
- }
- Attribute Attribute::getWithInAllocaType(LLVMContext &Context, Type *Ty) {
- return get(Context, InAlloca, Ty);
- }
- Attribute
- Attribute::getWithAllocSizeArgs(LLVMContext &Context, unsigned ElemSizeArg,
- const Optional<unsigned> &NumElemsArg) {
- assert(!(ElemSizeArg == 0 && NumElemsArg && *NumElemsArg == 0) &&
- "Invalid allocsize arguments -- given allocsize(0, 0)");
- return get(Context, AllocSize, packAllocSizeArgs(ElemSizeArg, NumElemsArg));
- }
- Attribute Attribute::getWithVScaleRangeArgs(LLVMContext &Context,
- unsigned MinValue,
- unsigned MaxValue) {
- return get(Context, VScaleRange, packVScaleRangeArgs(MinValue, MaxValue));
- }
- Attribute::AttrKind Attribute::getAttrKindFromName(StringRef AttrName) {
- return StringSwitch<Attribute::AttrKind>(AttrName)
- #define GET_ATTR_NAMES
- #define ATTRIBUTE_ENUM(ENUM_NAME, DISPLAY_NAME) \
- .Case(#DISPLAY_NAME, Attribute::ENUM_NAME)
- #include "llvm/IR/Attributes.inc"
- .Default(Attribute::None);
- }
- StringRef Attribute::getNameFromAttrKind(Attribute::AttrKind AttrKind) {
- switch (AttrKind) {
- #define GET_ATTR_NAMES
- #define ATTRIBUTE_ENUM(ENUM_NAME, DISPLAY_NAME) \
- case Attribute::ENUM_NAME: \
- return #DISPLAY_NAME;
- #include "llvm/IR/Attributes.inc"
- case Attribute::None:
- return "none";
- default:
- llvm_unreachable("invalid Kind");
- }
- }
- bool Attribute::isExistingAttribute(StringRef Name) {
- return StringSwitch<bool>(Name)
- #define GET_ATTR_NAMES
- #define ATTRIBUTE_ALL(ENUM_NAME, DISPLAY_NAME) .Case(#DISPLAY_NAME, true)
- #include "llvm/IR/Attributes.inc"
- .Default(false);
- }
- //===----------------------------------------------------------------------===//
- // Attribute Accessor Methods
- //===----------------------------------------------------------------------===//
- bool Attribute::isEnumAttribute() const {
- return pImpl && pImpl->isEnumAttribute();
- }
- bool Attribute::isIntAttribute() const {
- return pImpl && pImpl->isIntAttribute();
- }
- bool Attribute::isStringAttribute() const {
- return pImpl && pImpl->isStringAttribute();
- }
- bool Attribute::isTypeAttribute() const {
- return pImpl && pImpl->isTypeAttribute();
- }
- Attribute::AttrKind Attribute::getKindAsEnum() const {
- if (!pImpl) return None;
- assert((isEnumAttribute() || isIntAttribute() || isTypeAttribute()) &&
- "Invalid attribute type to get the kind as an enum!");
- return pImpl->getKindAsEnum();
- }
- uint64_t Attribute::getValueAsInt() const {
- if (!pImpl) return 0;
- assert(isIntAttribute() &&
- "Expected the attribute to be an integer attribute!");
- return pImpl->getValueAsInt();
- }
- bool Attribute::getValueAsBool() const {
- if (!pImpl) return false;
- assert(isStringAttribute() &&
- "Expected the attribute to be a string attribute!");
- return pImpl->getValueAsBool();
- }
- StringRef Attribute::getKindAsString() const {
- if (!pImpl) return {};
- assert(isStringAttribute() &&
- "Invalid attribute type to get the kind as a string!");
- return pImpl->getKindAsString();
- }
- StringRef Attribute::getValueAsString() const {
- if (!pImpl) return {};
- assert(isStringAttribute() &&
- "Invalid attribute type to get the value as a string!");
- return pImpl->getValueAsString();
- }
- Type *Attribute::getValueAsType() const {
- if (!pImpl) return {};
- assert(isTypeAttribute() &&
- "Invalid attribute type to get the value as a type!");
- return pImpl->getValueAsType();
- }
- bool Attribute::hasAttribute(AttrKind Kind) const {
- return (pImpl && pImpl->hasAttribute(Kind)) || (!pImpl && Kind == None);
- }
- bool Attribute::hasAttribute(StringRef Kind) const {
- if (!isStringAttribute()) return false;
- return pImpl && pImpl->hasAttribute(Kind);
- }
- MaybeAlign Attribute::getAlignment() const {
- assert(hasAttribute(Attribute::Alignment) &&
- "Trying to get alignment from non-alignment attribute!");
- return MaybeAlign(pImpl->getValueAsInt());
- }
- MaybeAlign Attribute::getStackAlignment() const {
- assert(hasAttribute(Attribute::StackAlignment) &&
- "Trying to get alignment from non-alignment attribute!");
- return MaybeAlign(pImpl->getValueAsInt());
- }
- uint64_t Attribute::getDereferenceableBytes() const {
- assert(hasAttribute(Attribute::Dereferenceable) &&
- "Trying to get dereferenceable bytes from "
- "non-dereferenceable attribute!");
- return pImpl->getValueAsInt();
- }
- uint64_t Attribute::getDereferenceableOrNullBytes() const {
- assert(hasAttribute(Attribute::DereferenceableOrNull) &&
- "Trying to get dereferenceable bytes from "
- "non-dereferenceable attribute!");
- return pImpl->getValueAsInt();
- }
- std::pair<unsigned, Optional<unsigned>> Attribute::getAllocSizeArgs() const {
- assert(hasAttribute(Attribute::AllocSize) &&
- "Trying to get allocsize args from non-allocsize attribute");
- return unpackAllocSizeArgs(pImpl->getValueAsInt());
- }
- unsigned Attribute::getVScaleRangeMin() const {
- assert(hasAttribute(Attribute::VScaleRange) &&
- "Trying to get vscale args from non-vscale attribute");
- return unpackVScaleRangeArgs(pImpl->getValueAsInt()).first;
- }
- Optional<unsigned> Attribute::getVScaleRangeMax() const {
- assert(hasAttribute(Attribute::VScaleRange) &&
- "Trying to get vscale args from non-vscale attribute");
- return unpackVScaleRangeArgs(pImpl->getValueAsInt()).second;
- }
- std::string Attribute::getAsString(bool InAttrGrp) const {
- if (!pImpl) return {};
- if (isEnumAttribute())
- return getNameFromAttrKind(getKindAsEnum()).str();
- if (isTypeAttribute()) {
- std::string Result = getNameFromAttrKind(getKindAsEnum()).str();
- Result += '(';
- raw_string_ostream OS(Result);
- getValueAsType()->print(OS, false, true);
- OS.flush();
- Result += ')';
- return Result;
- }
- // FIXME: These should be output like this:
- //
- // align=4
- // alignstack=8
- //
- if (hasAttribute(Attribute::Alignment))
- return (InAttrGrp ? "align=" + Twine(getValueAsInt())
- : "align " + Twine(getValueAsInt()))
- .str();
- auto AttrWithBytesToString = [&](const char *Name) {
- return (InAttrGrp ? Name + ("=" + Twine(getValueAsInt()))
- : Name + ("(" + Twine(getValueAsInt())) + ")")
- .str();
- };
- if (hasAttribute(Attribute::StackAlignment))
- return AttrWithBytesToString("alignstack");
- if (hasAttribute(Attribute::Dereferenceable))
- return AttrWithBytesToString("dereferenceable");
- if (hasAttribute(Attribute::DereferenceableOrNull))
- return AttrWithBytesToString("dereferenceable_or_null");
- if (hasAttribute(Attribute::AllocSize)) {
- unsigned ElemSize;
- Optional<unsigned> NumElems;
- std::tie(ElemSize, NumElems) = getAllocSizeArgs();
- return (NumElems
- ? "allocsize(" + Twine(ElemSize) + "," + Twine(*NumElems) + ")"
- : "allocsize(" + Twine(ElemSize) + ")")
- .str();
- }
- if (hasAttribute(Attribute::VScaleRange)) {
- unsigned MinValue = getVScaleRangeMin();
- Optional<unsigned> MaxValue = getVScaleRangeMax();
- return ("vscale_range(" + Twine(MinValue) + "," +
- Twine(MaxValue.getValueOr(0)) + ")")
- .str();
- }
- // Convert target-dependent attributes to strings of the form:
- //
- // "kind"
- // "kind" = "value"
- //
- if (isStringAttribute()) {
- std::string Result;
- {
- raw_string_ostream OS(Result);
- OS << '"' << getKindAsString() << '"';
- // Since some attribute strings contain special characters that cannot be
- // printable, those have to be escaped to make the attribute value
- // printable as is. e.g. "\01__gnu_mcount_nc"
- const auto &AttrVal = pImpl->getValueAsString();
- if (!AttrVal.empty()) {
- OS << "=\"";
- printEscapedString(AttrVal, OS);
- OS << "\"";
- }
- }
- return Result;
- }
- llvm_unreachable("Unknown attribute");
- }
- bool Attribute::hasParentContext(LLVMContext &C) const {
- assert(isValid() && "invalid Attribute doesn't refer to any context");
- FoldingSetNodeID ID;
- pImpl->Profile(ID);
- void *Unused;
- return C.pImpl->AttrsSet.FindNodeOrInsertPos(ID, Unused) == pImpl;
- }
- bool Attribute::operator<(Attribute A) const {
- if (!pImpl && !A.pImpl) return false;
- if (!pImpl) return true;
- if (!A.pImpl) return false;
- return *pImpl < *A.pImpl;
- }
- void Attribute::Profile(FoldingSetNodeID &ID) const {
- ID.AddPointer(pImpl);
- }
- enum AttributeProperty {
- FnAttr = (1 << 0),
- ParamAttr = (1 << 1),
- RetAttr = (1 << 2),
- };
- #define GET_ATTR_PROP_TABLE
- #include "llvm/IR/Attributes.inc"
- static bool hasAttributeProperty(Attribute::AttrKind Kind,
- AttributeProperty Prop) {
- unsigned Index = Kind - 1;
- assert(Index < sizeof(AttrPropTable) / sizeof(AttrPropTable[0]) &&
- "Invalid attribute kind");
- return AttrPropTable[Index] & Prop;
- }
- bool Attribute::canUseAsFnAttr(AttrKind Kind) {
- return hasAttributeProperty(Kind, AttributeProperty::FnAttr);
- }
- bool Attribute::canUseAsParamAttr(AttrKind Kind) {
- return hasAttributeProperty(Kind, AttributeProperty::ParamAttr);
- }
- bool Attribute::canUseAsRetAttr(AttrKind Kind) {
- return hasAttributeProperty(Kind, AttributeProperty::RetAttr);
- }
- //===----------------------------------------------------------------------===//
- // AttributeImpl Definition
- //===----------------------------------------------------------------------===//
- bool AttributeImpl::hasAttribute(Attribute::AttrKind A) const {
- if (isStringAttribute()) return false;
- return getKindAsEnum() == A;
- }
- bool AttributeImpl::hasAttribute(StringRef Kind) const {
- if (!isStringAttribute()) return false;
- return getKindAsString() == Kind;
- }
- Attribute::AttrKind AttributeImpl::getKindAsEnum() const {
- assert(isEnumAttribute() || isIntAttribute() || isTypeAttribute());
- return static_cast<const EnumAttributeImpl *>(this)->getEnumKind();
- }
- uint64_t AttributeImpl::getValueAsInt() const {
- assert(isIntAttribute());
- return static_cast<const IntAttributeImpl *>(this)->getValue();
- }
- bool AttributeImpl::getValueAsBool() const {
- assert(getValueAsString().empty() || getValueAsString() == "false" || getValueAsString() == "true");
- return getValueAsString() == "true";
- }
- StringRef AttributeImpl::getKindAsString() const {
- assert(isStringAttribute());
- return static_cast<const StringAttributeImpl *>(this)->getStringKind();
- }
- StringRef AttributeImpl::getValueAsString() const {
- assert(isStringAttribute());
- return static_cast<const StringAttributeImpl *>(this)->getStringValue();
- }
- Type *AttributeImpl::getValueAsType() const {
- assert(isTypeAttribute());
- return static_cast<const TypeAttributeImpl *>(this)->getTypeValue();
- }
- bool AttributeImpl::operator<(const AttributeImpl &AI) const {
- if (this == &AI)
- return false;
- // This sorts the attributes with Attribute::AttrKinds coming first (sorted
- // relative to their enum value) and then strings.
- if (!isStringAttribute()) {
- if (AI.isStringAttribute())
- return true;
- if (getKindAsEnum() != AI.getKindAsEnum())
- return getKindAsEnum() < AI.getKindAsEnum();
- assert(!AI.isEnumAttribute() && "Non-unique attribute");
- assert(!AI.isTypeAttribute() && "Comparison of types would be unstable");
- // TODO: Is this actually needed?
- assert(AI.isIntAttribute() && "Only possibility left");
- return getValueAsInt() < AI.getValueAsInt();
- }
- if (!AI.isStringAttribute())
- return false;
- if (getKindAsString() == AI.getKindAsString())
- return getValueAsString() < AI.getValueAsString();
- return getKindAsString() < AI.getKindAsString();
- }
- //===----------------------------------------------------------------------===//
- // AttributeSet Definition
- //===----------------------------------------------------------------------===//
- AttributeSet AttributeSet::get(LLVMContext &C, const AttrBuilder &B) {
- return AttributeSet(AttributeSetNode::get(C, B));
- }
- AttributeSet AttributeSet::get(LLVMContext &C, ArrayRef<Attribute> Attrs) {
- return AttributeSet(AttributeSetNode::get(C, Attrs));
- }
- AttributeSet AttributeSet::addAttribute(LLVMContext &C,
- Attribute::AttrKind Kind) const {
- if (hasAttribute(Kind)) return *this;
- AttrBuilder B(C);
- B.addAttribute(Kind);
- return addAttributes(C, AttributeSet::get(C, B));
- }
- AttributeSet AttributeSet::addAttribute(LLVMContext &C, StringRef Kind,
- StringRef Value) const {
- AttrBuilder B(C);
- B.addAttribute(Kind, Value);
- return addAttributes(C, AttributeSet::get(C, B));
- }
- AttributeSet AttributeSet::addAttributes(LLVMContext &C,
- const AttributeSet AS) const {
- if (!hasAttributes())
- return AS;
- if (!AS.hasAttributes())
- return *this;
- AttrBuilder B(C, *this);
- B.merge(AttrBuilder(C, AS));
- return get(C, B);
- }
- AttributeSet AttributeSet::removeAttribute(LLVMContext &C,
- Attribute::AttrKind Kind) const {
- if (!hasAttribute(Kind)) return *this;
- AttrBuilder B(C, *this);
- B.removeAttribute(Kind);
- return get(C, B);
- }
- AttributeSet AttributeSet::removeAttribute(LLVMContext &C,
- StringRef Kind) const {
- if (!hasAttribute(Kind)) return *this;
- AttrBuilder B(C, *this);
- B.removeAttribute(Kind);
- return get(C, B);
- }
- AttributeSet AttributeSet::removeAttributes(LLVMContext &C,
- const AttributeMask &Attrs) const {
- AttrBuilder B(C, *this);
- // If there is nothing to remove, directly return the original set.
- if (!B.overlaps(Attrs))
- return *this;
- B.remove(Attrs);
- return get(C, B);
- }
- unsigned AttributeSet::getNumAttributes() const {
- return SetNode ? SetNode->getNumAttributes() : 0;
- }
- bool AttributeSet::hasAttribute(Attribute::AttrKind Kind) const {
- return SetNode ? SetNode->hasAttribute(Kind) : false;
- }
- bool AttributeSet::hasAttribute(StringRef Kind) const {
- return SetNode ? SetNode->hasAttribute(Kind) : false;
- }
- Attribute AttributeSet::getAttribute(Attribute::AttrKind Kind) const {
- return SetNode ? SetNode->getAttribute(Kind) : Attribute();
- }
- Attribute AttributeSet::getAttribute(StringRef Kind) const {
- return SetNode ? SetNode->getAttribute(Kind) : Attribute();
- }
- MaybeAlign AttributeSet::getAlignment() const {
- return SetNode ? SetNode->getAlignment() : None;
- }
- MaybeAlign AttributeSet::getStackAlignment() const {
- return SetNode ? SetNode->getStackAlignment() : None;
- }
- uint64_t AttributeSet::getDereferenceableBytes() const {
- return SetNode ? SetNode->getDereferenceableBytes() : 0;
- }
- uint64_t AttributeSet::getDereferenceableOrNullBytes() const {
- return SetNode ? SetNode->getDereferenceableOrNullBytes() : 0;
- }
- Type *AttributeSet::getByRefType() const {
- return SetNode ? SetNode->getAttributeType(Attribute::ByRef) : nullptr;
- }
- Type *AttributeSet::getByValType() const {
- return SetNode ? SetNode->getAttributeType(Attribute::ByVal) : nullptr;
- }
- Type *AttributeSet::getStructRetType() const {
- return SetNode ? SetNode->getAttributeType(Attribute::StructRet) : nullptr;
- }
- Type *AttributeSet::getPreallocatedType() const {
- return SetNode ? SetNode->getAttributeType(Attribute::Preallocated) : nullptr;
- }
- Type *AttributeSet::getInAllocaType() const {
- return SetNode ? SetNode->getAttributeType(Attribute::InAlloca) : nullptr;
- }
- Type *AttributeSet::getElementType() const {
- return SetNode ? SetNode->getAttributeType(Attribute::ElementType) : nullptr;
- }
- std::pair<unsigned, Optional<unsigned>> AttributeSet::getAllocSizeArgs() const {
- return SetNode ? SetNode->getAllocSizeArgs()
- : std::pair<unsigned, Optional<unsigned>>(0, 0);
- }
- unsigned AttributeSet::getVScaleRangeMin() const {
- return SetNode ? SetNode->getVScaleRangeMin() : 1;
- }
- Optional<unsigned> AttributeSet::getVScaleRangeMax() const {
- return SetNode ? SetNode->getVScaleRangeMax() : None;
- }
- std::string AttributeSet::getAsString(bool InAttrGrp) const {
- return SetNode ? SetNode->getAsString(InAttrGrp) : "";
- }
- bool AttributeSet::hasParentContext(LLVMContext &C) const {
- assert(hasAttributes() && "empty AttributeSet doesn't refer to any context");
- FoldingSetNodeID ID;
- SetNode->Profile(ID);
- void *Unused;
- return C.pImpl->AttrsSetNodes.FindNodeOrInsertPos(ID, Unused) == SetNode;
- }
- AttributeSet::iterator AttributeSet::begin() const {
- return SetNode ? SetNode->begin() : nullptr;
- }
- AttributeSet::iterator AttributeSet::end() const {
- return SetNode ? SetNode->end() : nullptr;
- }
- #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
- LLVM_DUMP_METHOD void AttributeSet::dump() const {
- dbgs() << "AS =\n";
- dbgs() << " { ";
- dbgs() << getAsString(true) << " }\n";
- }
- #endif
- //===----------------------------------------------------------------------===//
- // AttributeSetNode Definition
- //===----------------------------------------------------------------------===//
- AttributeSetNode::AttributeSetNode(ArrayRef<Attribute> Attrs)
- : NumAttrs(Attrs.size()) {
- // There's memory after the node where we can store the entries in.
- llvm::copy(Attrs, getTrailingObjects<Attribute>());
- for (const auto &I : *this) {
- if (I.isStringAttribute())
- StringAttrs.insert({ I.getKindAsString(), I });
- else
- AvailableAttrs.addAttribute(I.getKindAsEnum());
- }
- }
- AttributeSetNode *AttributeSetNode::get(LLVMContext &C,
- ArrayRef<Attribute> Attrs) {
- SmallVector<Attribute, 8> SortedAttrs(Attrs.begin(), Attrs.end());
- llvm::sort(SortedAttrs);
- return getSorted(C, SortedAttrs);
- }
- AttributeSetNode *AttributeSetNode::getSorted(LLVMContext &C,
- ArrayRef<Attribute> SortedAttrs) {
- if (SortedAttrs.empty())
- return nullptr;
- // Build a key to look up the existing attributes.
- LLVMContextImpl *pImpl = C.pImpl;
- FoldingSetNodeID ID;
- assert(llvm::is_sorted(SortedAttrs) && "Expected sorted attributes!");
- for (const auto &Attr : SortedAttrs)
- Attr.Profile(ID);
- void *InsertPoint;
- AttributeSetNode *PA =
- pImpl->AttrsSetNodes.FindNodeOrInsertPos(ID, InsertPoint);
- // If we didn't find any existing attributes of the same shape then create a
- // new one and insert it.
- if (!PA) {
- // Coallocate entries after the AttributeSetNode itself.
- void *Mem = ::operator new(totalSizeToAlloc<Attribute>(SortedAttrs.size()));
- PA = new (Mem) AttributeSetNode(SortedAttrs);
- pImpl->AttrsSetNodes.InsertNode(PA, InsertPoint);
- }
- // Return the AttributeSetNode that we found or created.
- return PA;
- }
- AttributeSetNode *AttributeSetNode::get(LLVMContext &C, const AttrBuilder &B) {
- return getSorted(C, B.attrs());
- }
- bool AttributeSetNode::hasAttribute(StringRef Kind) const {
- return StringAttrs.count(Kind);
- }
- Optional<Attribute>
- AttributeSetNode::findEnumAttribute(Attribute::AttrKind Kind) const {
- // Do a quick presence check.
- if (!hasAttribute(Kind))
- return None;
- // Attributes in a set are sorted by enum value, followed by string
- // attributes. Binary search the one we want.
- const Attribute *I =
- std::lower_bound(begin(), end() - StringAttrs.size(), Kind,
- [](Attribute A, Attribute::AttrKind Kind) {
- return A.getKindAsEnum() < Kind;
- });
- assert(I != end() && I->hasAttribute(Kind) && "Presence check failed?");
- return *I;
- }
- Attribute AttributeSetNode::getAttribute(Attribute::AttrKind Kind) const {
- if (auto A = findEnumAttribute(Kind))
- return *A;
- return {};
- }
- Attribute AttributeSetNode::getAttribute(StringRef Kind) const {
- return StringAttrs.lookup(Kind);
- }
- MaybeAlign AttributeSetNode::getAlignment() const {
- if (auto A = findEnumAttribute(Attribute::Alignment))
- return A->getAlignment();
- return None;
- }
- MaybeAlign AttributeSetNode::getStackAlignment() const {
- if (auto A = findEnumAttribute(Attribute::StackAlignment))
- return A->getStackAlignment();
- return None;
- }
- Type *AttributeSetNode::getAttributeType(Attribute::AttrKind Kind) const {
- if (auto A = findEnumAttribute(Kind))
- return A->getValueAsType();
- return nullptr;
- }
- uint64_t AttributeSetNode::getDereferenceableBytes() const {
- if (auto A = findEnumAttribute(Attribute::Dereferenceable))
- return A->getDereferenceableBytes();
- return 0;
- }
- uint64_t AttributeSetNode::getDereferenceableOrNullBytes() const {
- if (auto A = findEnumAttribute(Attribute::DereferenceableOrNull))
- return A->getDereferenceableOrNullBytes();
- return 0;
- }
- std::pair<unsigned, Optional<unsigned>>
- AttributeSetNode::getAllocSizeArgs() const {
- if (auto A = findEnumAttribute(Attribute::AllocSize))
- return A->getAllocSizeArgs();
- return std::make_pair(0, 0);
- }
- unsigned AttributeSetNode::getVScaleRangeMin() const {
- if (auto A = findEnumAttribute(Attribute::VScaleRange))
- return A->getVScaleRangeMin();
- return 1;
- }
- Optional<unsigned> AttributeSetNode::getVScaleRangeMax() const {
- if (auto A = findEnumAttribute(Attribute::VScaleRange))
- return A->getVScaleRangeMax();
- return None;
- }
- std::string AttributeSetNode::getAsString(bool InAttrGrp) const {
- std::string Str;
- for (iterator I = begin(), E = end(); I != E; ++I) {
- if (I != begin())
- Str += ' ';
- Str += I->getAsString(InAttrGrp);
- }
- return Str;
- }
- //===----------------------------------------------------------------------===//
- // AttributeListImpl Definition
- //===----------------------------------------------------------------------===//
- /// Map from AttributeList index to the internal array index. Adding one happens
- /// to work, because -1 wraps around to 0.
- static unsigned attrIdxToArrayIdx(unsigned Index) {
- return Index + 1;
- }
- AttributeListImpl::AttributeListImpl(ArrayRef<AttributeSet> Sets)
- : NumAttrSets(Sets.size()) {
- assert(!Sets.empty() && "pointless AttributeListImpl");
- // There's memory after the node where we can store the entries in.
- llvm::copy(Sets, getTrailingObjects<AttributeSet>());
- // Initialize AvailableFunctionAttrs and AvailableSomewhereAttrs
- // summary bitsets.
- for (const auto &I : Sets[attrIdxToArrayIdx(AttributeList::FunctionIndex)])
- if (!I.isStringAttribute())
- AvailableFunctionAttrs.addAttribute(I.getKindAsEnum());
- for (const auto &Set : Sets)
- for (const auto &I : Set)
- if (!I.isStringAttribute())
- AvailableSomewhereAttrs.addAttribute(I.getKindAsEnum());
- }
- void AttributeListImpl::Profile(FoldingSetNodeID &ID) const {
- Profile(ID, makeArrayRef(begin(), end()));
- }
- void AttributeListImpl::Profile(FoldingSetNodeID &ID,
- ArrayRef<AttributeSet> Sets) {
- for (const auto &Set : Sets)
- ID.AddPointer(Set.SetNode);
- }
- bool AttributeListImpl::hasAttrSomewhere(Attribute::AttrKind Kind,
- unsigned *Index) const {
- if (!AvailableSomewhereAttrs.hasAttribute(Kind))
- return false;
- if (Index) {
- for (unsigned I = 0, E = NumAttrSets; I != E; ++I) {
- if (begin()[I].hasAttribute(Kind)) {
- *Index = I - 1;
- break;
- }
- }
- }
- return true;
- }
- #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
- LLVM_DUMP_METHOD void AttributeListImpl::dump() const {
- AttributeList(const_cast<AttributeListImpl *>(this)).dump();
- }
- #endif
- //===----------------------------------------------------------------------===//
- // AttributeList Construction and Mutation Methods
- //===----------------------------------------------------------------------===//
- AttributeList AttributeList::getImpl(LLVMContext &C,
- ArrayRef<AttributeSet> AttrSets) {
- assert(!AttrSets.empty() && "pointless AttributeListImpl");
- LLVMContextImpl *pImpl = C.pImpl;
- FoldingSetNodeID ID;
- AttributeListImpl::Profile(ID, AttrSets);
- void *InsertPoint;
- AttributeListImpl *PA =
- pImpl->AttrsLists.FindNodeOrInsertPos(ID, InsertPoint);
- // If we didn't find any existing attributes of the same shape then
- // create a new one and insert it.
- if (!PA) {
- // Coallocate entries after the AttributeListImpl itself.
- void *Mem = pImpl->Alloc.Allocate(
- AttributeListImpl::totalSizeToAlloc<AttributeSet>(AttrSets.size()),
- alignof(AttributeListImpl));
- PA = new (Mem) AttributeListImpl(AttrSets);
- pImpl->AttrsLists.InsertNode(PA, InsertPoint);
- }
- // Return the AttributesList that we found or created.
- return AttributeList(PA);
- }
- AttributeList
- AttributeList::get(LLVMContext &C,
- ArrayRef<std::pair<unsigned, Attribute>> Attrs) {
- // If there are no attributes then return a null AttributesList pointer.
- if (Attrs.empty())
- return {};
- assert(llvm::is_sorted(Attrs,
- [](const std::pair<unsigned, Attribute> &LHS,
- const std::pair<unsigned, Attribute> &RHS) {
- return LHS.first < RHS.first;
- }) &&
- "Misordered Attributes list!");
- assert(llvm::all_of(Attrs,
- [](const std::pair<unsigned, Attribute> &Pair) {
- return Pair.second.isValid();
- }) &&
- "Pointless attribute!");
- // Create a vector if (unsigned, AttributeSetNode*) pairs from the attributes
- // list.
- SmallVector<std::pair<unsigned, AttributeSet>, 8> AttrPairVec;
- for (ArrayRef<std::pair<unsigned, Attribute>>::iterator I = Attrs.begin(),
- E = Attrs.end(); I != E; ) {
- unsigned Index = I->first;
- SmallVector<Attribute, 4> AttrVec;
- while (I != E && I->first == Index) {
- AttrVec.push_back(I->second);
- ++I;
- }
- AttrPairVec.emplace_back(Index, AttributeSet::get(C, AttrVec));
- }
- return get(C, AttrPairVec);
- }
- AttributeList
- AttributeList::get(LLVMContext &C,
- ArrayRef<std::pair<unsigned, AttributeSet>> Attrs) {
- // If there are no attributes then return a null AttributesList pointer.
- if (Attrs.empty())
- return {};
- assert(llvm::is_sorted(Attrs,
- [](const std::pair<unsigned, AttributeSet> &LHS,
- const std::pair<unsigned, AttributeSet> &RHS) {
- return LHS.first < RHS.first;
- }) &&
- "Misordered Attributes list!");
- assert(llvm::none_of(Attrs,
- [](const std::pair<unsigned, AttributeSet> &Pair) {
- return !Pair.second.hasAttributes();
- }) &&
- "Pointless attribute!");
- unsigned MaxIndex = Attrs.back().first;
- // If the MaxIndex is FunctionIndex and there are other indices in front
- // of it, we need to use the largest of those to get the right size.
- if (MaxIndex == FunctionIndex && Attrs.size() > 1)
- MaxIndex = Attrs[Attrs.size() - 2].first;
- SmallVector<AttributeSet, 4> AttrVec(attrIdxToArrayIdx(MaxIndex) + 1);
- for (const auto &Pair : Attrs)
- AttrVec[attrIdxToArrayIdx(Pair.first)] = Pair.second;
- return getImpl(C, AttrVec);
- }
- AttributeList AttributeList::get(LLVMContext &C, AttributeSet FnAttrs,
- AttributeSet RetAttrs,
- ArrayRef<AttributeSet> ArgAttrs) {
- // Scan from the end to find the last argument with attributes. Most
- // arguments don't have attributes, so it's nice if we can have fewer unique
- // AttributeListImpls by dropping empty attribute sets at the end of the list.
- unsigned NumSets = 0;
- for (size_t I = ArgAttrs.size(); I != 0; --I) {
- if (ArgAttrs[I - 1].hasAttributes()) {
- NumSets = I + 2;
- break;
- }
- }
- if (NumSets == 0) {
- // Check function and return attributes if we didn't have argument
- // attributes.
- if (RetAttrs.hasAttributes())
- NumSets = 2;
- else if (FnAttrs.hasAttributes())
- NumSets = 1;
- }
- // If all attribute sets were empty, we can use the empty attribute list.
- if (NumSets == 0)
- return {};
- SmallVector<AttributeSet, 8> AttrSets;
- AttrSets.reserve(NumSets);
- // If we have any attributes, we always have function attributes.
- AttrSets.push_back(FnAttrs);
- if (NumSets > 1)
- AttrSets.push_back(RetAttrs);
- if (NumSets > 2) {
- // Drop the empty argument attribute sets at the end.
- ArgAttrs = ArgAttrs.take_front(NumSets - 2);
- llvm::append_range(AttrSets, ArgAttrs);
- }
- return getImpl(C, AttrSets);
- }
- AttributeList AttributeList::get(LLVMContext &C, unsigned Index,
- AttributeSet Attrs) {
- if (!Attrs.hasAttributes())
- return {};
- Index = attrIdxToArrayIdx(Index);
- SmallVector<AttributeSet, 8> AttrSets(Index + 1);
- AttrSets[Index] = Attrs;
- return getImpl(C, AttrSets);
- }
- AttributeList AttributeList::get(LLVMContext &C, unsigned Index,
- const AttrBuilder &B) {
- return get(C, Index, AttributeSet::get(C, B));
- }
- AttributeList AttributeList::get(LLVMContext &C, unsigned Index,
- ArrayRef<Attribute::AttrKind> Kinds) {
- SmallVector<std::pair<unsigned, Attribute>, 8> Attrs;
- for (const auto K : Kinds)
- Attrs.emplace_back(Index, Attribute::get(C, K));
- return get(C, Attrs);
- }
- AttributeList AttributeList::get(LLVMContext &C, unsigned Index,
- ArrayRef<Attribute::AttrKind> Kinds,
- ArrayRef<uint64_t> Values) {
- assert(Kinds.size() == Values.size() && "Mismatched attribute values.");
- SmallVector<std::pair<unsigned, Attribute>, 8> Attrs;
- auto VI = Values.begin();
- for (const auto K : Kinds)
- Attrs.emplace_back(Index, Attribute::get(C, K, *VI++));
- return get(C, Attrs);
- }
- AttributeList AttributeList::get(LLVMContext &C, unsigned Index,
- ArrayRef<StringRef> Kinds) {
- SmallVector<std::pair<unsigned, Attribute>, 8> Attrs;
- for (const auto &K : Kinds)
- Attrs.emplace_back(Index, Attribute::get(C, K));
- return get(C, Attrs);
- }
- AttributeList AttributeList::get(LLVMContext &C,
- ArrayRef<AttributeList> Attrs) {
- if (Attrs.empty())
- return {};
- if (Attrs.size() == 1)
- return Attrs[0];
- unsigned MaxSize = 0;
- for (const auto &List : Attrs)
- MaxSize = std::max(MaxSize, List.getNumAttrSets());
- // If every list was empty, there is no point in merging the lists.
- if (MaxSize == 0)
- return {};
- SmallVector<AttributeSet, 8> NewAttrSets(MaxSize);
- for (unsigned I = 0; I < MaxSize; ++I) {
- AttrBuilder CurBuilder(C);
- for (const auto &List : Attrs)
- CurBuilder.merge(AttrBuilder(C, List.getAttributes(I - 1)));
- NewAttrSets[I] = AttributeSet::get(C, CurBuilder);
- }
- return getImpl(C, NewAttrSets);
- }
- AttributeList
- AttributeList::addAttributeAtIndex(LLVMContext &C, unsigned Index,
- Attribute::AttrKind Kind) const {
- if (hasAttributeAtIndex(Index, Kind))
- return *this;
- AttributeSet Attrs = getAttributes(Index);
- // TODO: Insert at correct position and avoid sort.
- SmallVector<Attribute, 8> NewAttrs(Attrs.begin(), Attrs.end());
- NewAttrs.push_back(Attribute::get(C, Kind));
- return setAttributesAtIndex(C, Index, AttributeSet::get(C, NewAttrs));
- }
- AttributeList AttributeList::addAttributeAtIndex(LLVMContext &C, unsigned Index,
- StringRef Kind,
- StringRef Value) const {
- AttrBuilder B(C);
- B.addAttribute(Kind, Value);
- return addAttributesAtIndex(C, Index, B);
- }
- AttributeList AttributeList::addAttributeAtIndex(LLVMContext &C, unsigned Index,
- Attribute A) const {
- AttrBuilder B(C);
- B.addAttribute(A);
- return addAttributesAtIndex(C, Index, B);
- }
- AttributeList AttributeList::setAttributesAtIndex(LLVMContext &C,
- unsigned Index,
- AttributeSet Attrs) const {
- Index = attrIdxToArrayIdx(Index);
- SmallVector<AttributeSet, 4> AttrSets(this->begin(), this->end());
- if (Index >= AttrSets.size())
- AttrSets.resize(Index + 1);
- AttrSets[Index] = Attrs;
- return AttributeList::getImpl(C, AttrSets);
- }
- AttributeList AttributeList::addAttributesAtIndex(LLVMContext &C,
- unsigned Index,
- const AttrBuilder &B) const {
- if (!B.hasAttributes())
- return *this;
- if (!pImpl)
- return AttributeList::get(C, {{Index, AttributeSet::get(C, B)}});
- AttrBuilder Merged(C, getAttributes(Index));
- Merged.merge(B);
- return setAttributesAtIndex(C, Index, AttributeSet::get(C, Merged));
- }
- AttributeList AttributeList::addParamAttribute(LLVMContext &C,
- ArrayRef<unsigned> ArgNos,
- Attribute A) const {
- assert(llvm::is_sorted(ArgNos));
- SmallVector<AttributeSet, 4> AttrSets(this->begin(), this->end());
- unsigned MaxIndex = attrIdxToArrayIdx(ArgNos.back() + FirstArgIndex);
- if (MaxIndex >= AttrSets.size())
- AttrSets.resize(MaxIndex + 1);
- for (unsigned ArgNo : ArgNos) {
- unsigned Index = attrIdxToArrayIdx(ArgNo + FirstArgIndex);
- AttrBuilder B(C, AttrSets[Index]);
- B.addAttribute(A);
- AttrSets[Index] = AttributeSet::get(C, B);
- }
- return getImpl(C, AttrSets);
- }
- AttributeList
- AttributeList::removeAttributeAtIndex(LLVMContext &C, unsigned Index,
- Attribute::AttrKind Kind) const {
- if (!hasAttributeAtIndex(Index, Kind))
- return *this;
- Index = attrIdxToArrayIdx(Index);
- SmallVector<AttributeSet, 4> AttrSets(this->begin(), this->end());
- assert(Index < AttrSets.size());
- AttrSets[Index] = AttrSets[Index].removeAttribute(C, Kind);
- return getImpl(C, AttrSets);
- }
- AttributeList AttributeList::removeAttributeAtIndex(LLVMContext &C,
- unsigned Index,
- StringRef Kind) const {
- if (!hasAttributeAtIndex(Index, Kind))
- return *this;
- Index = attrIdxToArrayIdx(Index);
- SmallVector<AttributeSet, 4> AttrSets(this->begin(), this->end());
- assert(Index < AttrSets.size());
- AttrSets[Index] = AttrSets[Index].removeAttribute(C, Kind);
- return getImpl(C, AttrSets);
- }
- AttributeList AttributeList::removeAttributesAtIndex(
- LLVMContext &C, unsigned Index, const AttributeMask &AttrsToRemove) const {
- AttributeSet Attrs = getAttributes(Index);
- AttributeSet NewAttrs = Attrs.removeAttributes(C, AttrsToRemove);
- // If nothing was removed, return the original list.
- if (Attrs == NewAttrs)
- return *this;
- return setAttributesAtIndex(C, Index, NewAttrs);
- }
- AttributeList
- AttributeList::removeAttributesAtIndex(LLVMContext &C,
- unsigned WithoutIndex) const {
- if (!pImpl)
- return {};
- WithoutIndex = attrIdxToArrayIdx(WithoutIndex);
- if (WithoutIndex >= getNumAttrSets())
- return *this;
- SmallVector<AttributeSet, 4> AttrSets(this->begin(), this->end());
- AttrSets[WithoutIndex] = AttributeSet();
- return getImpl(C, AttrSets);
- }
- AttributeList AttributeList::addDereferenceableRetAttr(LLVMContext &C,
- uint64_t Bytes) const {
- AttrBuilder B(C);
- B.addDereferenceableAttr(Bytes);
- return addRetAttributes(C, B);
- }
- AttributeList AttributeList::addDereferenceableParamAttr(LLVMContext &C,
- unsigned Index,
- uint64_t Bytes) const {
- AttrBuilder B(C);
- B.addDereferenceableAttr(Bytes);
- return addParamAttributes(C, Index, B);
- }
- AttributeList
- AttributeList::addDereferenceableOrNullParamAttr(LLVMContext &C, unsigned Index,
- uint64_t Bytes) const {
- AttrBuilder B(C);
- B.addDereferenceableOrNullAttr(Bytes);
- return addParamAttributes(C, Index, B);
- }
- AttributeList
- AttributeList::addAllocSizeParamAttr(LLVMContext &C, unsigned Index,
- unsigned ElemSizeArg,
- const Optional<unsigned> &NumElemsArg) {
- AttrBuilder B(C);
- B.addAllocSizeAttr(ElemSizeArg, NumElemsArg);
- return addParamAttributes(C, Index, B);
- }
- //===----------------------------------------------------------------------===//
- // AttributeList Accessor Methods
- //===----------------------------------------------------------------------===//
- AttributeSet AttributeList::getParamAttrs(unsigned ArgNo) const {
- return getAttributes(ArgNo + FirstArgIndex);
- }
- AttributeSet AttributeList::getRetAttrs() const {
- return getAttributes(ReturnIndex);
- }
- AttributeSet AttributeList::getFnAttrs() const {
- return getAttributes(FunctionIndex);
- }
- bool AttributeList::hasAttributeAtIndex(unsigned Index,
- Attribute::AttrKind Kind) const {
- return getAttributes(Index).hasAttribute(Kind);
- }
- bool AttributeList::hasAttributeAtIndex(unsigned Index, StringRef Kind) const {
- return getAttributes(Index).hasAttribute(Kind);
- }
- bool AttributeList::hasAttributesAtIndex(unsigned Index) const {
- return getAttributes(Index).hasAttributes();
- }
- bool AttributeList::hasFnAttr(Attribute::AttrKind Kind) const {
- return pImpl && pImpl->hasFnAttribute(Kind);
- }
- bool AttributeList::hasFnAttr(StringRef Kind) const {
- return hasAttributeAtIndex(AttributeList::FunctionIndex, Kind);
- }
- bool AttributeList::hasAttrSomewhere(Attribute::AttrKind Attr,
- unsigned *Index) const {
- return pImpl && pImpl->hasAttrSomewhere(Attr, Index);
- }
- Attribute AttributeList::getAttributeAtIndex(unsigned Index,
- Attribute::AttrKind Kind) const {
- return getAttributes(Index).getAttribute(Kind);
- }
- Attribute AttributeList::getAttributeAtIndex(unsigned Index,
- StringRef Kind) const {
- return getAttributes(Index).getAttribute(Kind);
- }
- MaybeAlign AttributeList::getRetAlignment() const {
- return getAttributes(ReturnIndex).getAlignment();
- }
- MaybeAlign AttributeList::getParamAlignment(unsigned ArgNo) const {
- return getAttributes(ArgNo + FirstArgIndex).getAlignment();
- }
- MaybeAlign AttributeList::getParamStackAlignment(unsigned ArgNo) const {
- return getAttributes(ArgNo + FirstArgIndex).getStackAlignment();
- }
- Type *AttributeList::getParamByValType(unsigned Index) const {
- return getAttributes(Index+FirstArgIndex).getByValType();
- }
- Type *AttributeList::getParamStructRetType(unsigned Index) const {
- return getAttributes(Index + FirstArgIndex).getStructRetType();
- }
- Type *AttributeList::getParamByRefType(unsigned Index) const {
- return getAttributes(Index + FirstArgIndex).getByRefType();
- }
- Type *AttributeList::getParamPreallocatedType(unsigned Index) const {
- return getAttributes(Index + FirstArgIndex).getPreallocatedType();
- }
- Type *AttributeList::getParamInAllocaType(unsigned Index) const {
- return getAttributes(Index + FirstArgIndex).getInAllocaType();
- }
- Type *AttributeList::getParamElementType(unsigned Index) const {
- return getAttributes(Index + FirstArgIndex).getElementType();
- }
- MaybeAlign AttributeList::getFnStackAlignment() const {
- return getFnAttrs().getStackAlignment();
- }
- MaybeAlign AttributeList::getRetStackAlignment() const {
- return getRetAttrs().getStackAlignment();
- }
- uint64_t AttributeList::getRetDereferenceableBytes() const {
- return getRetAttrs().getDereferenceableBytes();
- }
- uint64_t AttributeList::getParamDereferenceableBytes(unsigned Index) const {
- return getParamAttrs(Index).getDereferenceableBytes();
- }
- uint64_t AttributeList::getRetDereferenceableOrNullBytes() const {
- return getRetAttrs().getDereferenceableOrNullBytes();
- }
- uint64_t
- AttributeList::getParamDereferenceableOrNullBytes(unsigned Index) const {
- return getParamAttrs(Index).getDereferenceableOrNullBytes();
- }
- std::string AttributeList::getAsString(unsigned Index, bool InAttrGrp) const {
- return getAttributes(Index).getAsString(InAttrGrp);
- }
- AttributeSet AttributeList::getAttributes(unsigned Index) const {
- Index = attrIdxToArrayIdx(Index);
- if (!pImpl || Index >= getNumAttrSets())
- return {};
- return pImpl->begin()[Index];
- }
- bool AttributeList::hasParentContext(LLVMContext &C) const {
- assert(!isEmpty() && "an empty attribute list has no parent context");
- FoldingSetNodeID ID;
- pImpl->Profile(ID);
- void *Unused;
- return C.pImpl->AttrsLists.FindNodeOrInsertPos(ID, Unused) == pImpl;
- }
- AttributeList::iterator AttributeList::begin() const {
- return pImpl ? pImpl->begin() : nullptr;
- }
- AttributeList::iterator AttributeList::end() const {
- return pImpl ? pImpl->end() : nullptr;
- }
- //===----------------------------------------------------------------------===//
- // AttributeList Introspection Methods
- //===----------------------------------------------------------------------===//
- unsigned AttributeList::getNumAttrSets() const {
- return pImpl ? pImpl->NumAttrSets : 0;
- }
- void AttributeList::print(raw_ostream &O) const {
- O << "AttributeList[\n";
- for (unsigned i : indexes()) {
- if (!getAttributes(i).hasAttributes())
- continue;
- O << " { ";
- switch (i) {
- case AttrIndex::ReturnIndex:
- O << "return";
- break;
- case AttrIndex::FunctionIndex:
- O << "function";
- break;
- default:
- O << "arg(" << i - AttrIndex::FirstArgIndex << ")";
- }
- O << " => " << getAsString(i) << " }\n";
- }
- O << "]\n";
- }
- #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
- LLVM_DUMP_METHOD void AttributeList::dump() const { print(dbgs()); }
- #endif
- //===----------------------------------------------------------------------===//
- // AttrBuilder Method Implementations
- //===----------------------------------------------------------------------===//
- AttrBuilder::AttrBuilder(LLVMContext &Ctx, AttributeSet AS) : Ctx(Ctx) {
- append_range(Attrs, AS);
- assert(is_sorted(Attrs) && "AttributeSet should be sorted");
- }
- void AttrBuilder::clear() { Attrs.clear(); }
- /// Attribute comparator that only compares attribute keys. Enum attributes are
- /// sorted before string attributes.
- struct AttributeComparator {
- bool operator()(Attribute A0, Attribute A1) const {
- bool A0IsString = A0.isStringAttribute();
- bool A1IsString = A1.isStringAttribute();
- if (A0IsString) {
- if (A1IsString)
- return A0.getKindAsString() < A1.getKindAsString();
- else
- return false;
- }
- if (A1IsString)
- return true;
- return A0.getKindAsEnum() < A1.getKindAsEnum();
- }
- bool operator()(Attribute A0, Attribute::AttrKind Kind) const {
- if (A0.isStringAttribute())
- return false;
- return A0.getKindAsEnum() < Kind;
- }
- bool operator()(Attribute A0, StringRef Kind) const {
- if (A0.isStringAttribute())
- return A0.getKindAsString() < Kind;
- return true;
- }
- };
- template <typename K>
- static void addAttributeImpl(SmallVectorImpl<Attribute> &Attrs, K Kind,
- Attribute Attr) {
- auto It = lower_bound(Attrs, Kind, AttributeComparator());
- if (It != Attrs.end() && It->hasAttribute(Kind))
- std::swap(*It, Attr);
- else
- Attrs.insert(It, Attr);
- }
- AttrBuilder &AttrBuilder::addAttribute(Attribute Attr) {
- if (Attr.isStringAttribute())
- addAttributeImpl(Attrs, Attr.getKindAsString(), Attr);
- else
- addAttributeImpl(Attrs, Attr.getKindAsEnum(), Attr);
- return *this;
- }
- AttrBuilder &AttrBuilder::addAttribute(Attribute::AttrKind Kind) {
- addAttributeImpl(Attrs, Kind, Attribute::get(Ctx, Kind));
- return *this;
- }
- AttrBuilder &AttrBuilder::addAttribute(StringRef A, StringRef V) {
- addAttributeImpl(Attrs, A, Attribute::get(Ctx, A, V));
- return *this;
- }
- AttrBuilder &AttrBuilder::removeAttribute(Attribute::AttrKind Val) {
- assert((unsigned)Val < Attribute::EndAttrKinds && "Attribute out of range!");
- auto It = lower_bound(Attrs, Val, AttributeComparator());
- if (It != Attrs.end() && It->hasAttribute(Val))
- Attrs.erase(It);
- return *this;
- }
- AttrBuilder &AttrBuilder::removeAttribute(StringRef A) {
- auto It = lower_bound(Attrs, A, AttributeComparator());
- if (It != Attrs.end() && It->hasAttribute(A))
- Attrs.erase(It);
- return *this;
- }
- uint64_t AttrBuilder::getRawIntAttr(Attribute::AttrKind Kind) const {
- assert(Attribute::isIntAttrKind(Kind) && "Not an int attribute");
- Attribute A = getAttribute(Kind);
- return A.isValid() ? A.getValueAsInt() : 0;
- }
- AttrBuilder &AttrBuilder::addRawIntAttr(Attribute::AttrKind Kind,
- uint64_t Value) {
- return addAttribute(Attribute::get(Ctx, Kind, Value));
- }
- std::pair<unsigned, Optional<unsigned>> AttrBuilder::getAllocSizeArgs() const {
- return unpackAllocSizeArgs(getRawIntAttr(Attribute::AllocSize));
- }
- unsigned AttrBuilder::getVScaleRangeMin() const {
- return unpackVScaleRangeArgs(getRawIntAttr(Attribute::VScaleRange)).first;
- }
- Optional<unsigned> AttrBuilder::getVScaleRangeMax() const {
- return unpackVScaleRangeArgs(getRawIntAttr(Attribute::VScaleRange)).second;
- }
- AttrBuilder &AttrBuilder::addAlignmentAttr(MaybeAlign Align) {
- if (!Align)
- return *this;
- assert(*Align <= llvm::Value::MaximumAlignment && "Alignment too large.");
- return addRawIntAttr(Attribute::Alignment, Align->value());
- }
- AttrBuilder &AttrBuilder::addStackAlignmentAttr(MaybeAlign Align) {
- // Default alignment, allow the target to define how to align it.
- if (!Align)
- return *this;
- assert(*Align <= 0x100 && "Alignment too large.");
- return addRawIntAttr(Attribute::StackAlignment, Align->value());
- }
- AttrBuilder &AttrBuilder::addDereferenceableAttr(uint64_t Bytes) {
- if (Bytes == 0) return *this;
- return addRawIntAttr(Attribute::Dereferenceable, Bytes);
- }
- AttrBuilder &AttrBuilder::addDereferenceableOrNullAttr(uint64_t Bytes) {
- if (Bytes == 0)
- return *this;
- return addRawIntAttr(Attribute::DereferenceableOrNull, Bytes);
- }
- AttrBuilder &AttrBuilder::addAllocSizeAttr(unsigned ElemSize,
- const Optional<unsigned> &NumElems) {
- return addAllocSizeAttrFromRawRepr(packAllocSizeArgs(ElemSize, NumElems));
- }
- AttrBuilder &AttrBuilder::addAllocSizeAttrFromRawRepr(uint64_t RawArgs) {
- // (0, 0) is our "not present" value, so we need to check for it here.
- assert(RawArgs && "Invalid allocsize arguments -- given allocsize(0, 0)");
- return addRawIntAttr(Attribute::AllocSize, RawArgs);
- }
- AttrBuilder &AttrBuilder::addVScaleRangeAttr(unsigned MinValue,
- Optional<unsigned> MaxValue) {
- return addVScaleRangeAttrFromRawRepr(packVScaleRangeArgs(MinValue, MaxValue));
- }
- AttrBuilder &AttrBuilder::addVScaleRangeAttrFromRawRepr(uint64_t RawArgs) {
- // (0, 0) is not present hence ignore this case
- if (RawArgs == 0)
- return *this;
- return addRawIntAttr(Attribute::VScaleRange, RawArgs);
- }
- Type *AttrBuilder::getTypeAttr(Attribute::AttrKind Kind) const {
- assert(Attribute::isTypeAttrKind(Kind) && "Not a type attribute");
- Attribute A = getAttribute(Kind);
- return A.isValid() ? A.getValueAsType() : nullptr;
- }
- AttrBuilder &AttrBuilder::addTypeAttr(Attribute::AttrKind Kind, Type *Ty) {
- return addAttribute(Attribute::get(Ctx, Kind, Ty));
- }
- AttrBuilder &AttrBuilder::addByValAttr(Type *Ty) {
- return addTypeAttr(Attribute::ByVal, Ty);
- }
- AttrBuilder &AttrBuilder::addStructRetAttr(Type *Ty) {
- return addTypeAttr(Attribute::StructRet, Ty);
- }
- AttrBuilder &AttrBuilder::addByRefAttr(Type *Ty) {
- return addTypeAttr(Attribute::ByRef, Ty);
- }
- AttrBuilder &AttrBuilder::addPreallocatedAttr(Type *Ty) {
- return addTypeAttr(Attribute::Preallocated, Ty);
- }
- AttrBuilder &AttrBuilder::addInAllocaAttr(Type *Ty) {
- return addTypeAttr(Attribute::InAlloca, Ty);
- }
- AttrBuilder &AttrBuilder::merge(const AttrBuilder &B) {
- // TODO: Could make this O(n) as we're merging two sorted lists.
- for (const auto &I : B.attrs())
- addAttribute(I);
- return *this;
- }
- AttrBuilder &AttrBuilder::remove(const AttributeMask &AM) {
- erase_if(Attrs, [&](Attribute A) { return AM.contains(A); });
- return *this;
- }
- bool AttrBuilder::overlaps(const AttributeMask &AM) const {
- return any_of(Attrs, [&](Attribute A) { return AM.contains(A); });
- }
- Attribute AttrBuilder::getAttribute(Attribute::AttrKind A) const {
- assert((unsigned)A < Attribute::EndAttrKinds && "Attribute out of range!");
- auto It = lower_bound(Attrs, A, AttributeComparator());
- if (It != Attrs.end() && It->hasAttribute(A))
- return *It;
- return {};
- }
- Attribute AttrBuilder::getAttribute(StringRef A) const {
- auto It = lower_bound(Attrs, A, AttributeComparator());
- if (It != Attrs.end() && It->hasAttribute(A))
- return *It;
- return {};
- }
- bool AttrBuilder::contains(Attribute::AttrKind A) const {
- return getAttribute(A).isValid();
- }
- bool AttrBuilder::contains(StringRef A) const {
- return getAttribute(A).isValid();
- }
- bool AttrBuilder::hasAlignmentAttr() const {
- return getRawIntAttr(Attribute::Alignment) != 0;
- }
- bool AttrBuilder::operator==(const AttrBuilder &B) const {
- return Attrs == B.Attrs;
- }
- //===----------------------------------------------------------------------===//
- // AttributeFuncs Function Defintions
- //===----------------------------------------------------------------------===//
- /// Which attributes cannot be applied to a type.
- AttributeMask AttributeFuncs::typeIncompatible(Type *Ty) {
- AttributeMask Incompatible;
- if (!Ty->isIntegerTy())
- // Attributes that only apply to integers.
- Incompatible.addAttribute(Attribute::SExt)
- .addAttribute(Attribute::ZExt);
- if (!Ty->isPointerTy())
- // Attributes that only apply to pointers.
- Incompatible.addAttribute(Attribute::Nest)
- .addAttribute(Attribute::NoAlias)
- .addAttribute(Attribute::NoCapture)
- .addAttribute(Attribute::NonNull)
- .addAttribute(Attribute::ReadNone)
- .addAttribute(Attribute::ReadOnly)
- .addAttribute(Attribute::SwiftError)
- .addAttribute(Attribute::Dereferenceable)
- .addAttribute(Attribute::DereferenceableOrNull)
- .addAttribute(Attribute::Preallocated)
- .addAttribute(Attribute::InAlloca)
- .addAttribute(Attribute::ByVal)
- .addAttribute(Attribute::StructRet)
- .addAttribute(Attribute::ByRef)
- .addAttribute(Attribute::ElementType);
- if (!Ty->isPtrOrPtrVectorTy())
- // Attributes that only apply to pointers or vectors of pointers.
- Incompatible.addAttribute(Attribute::Alignment);
- // Some attributes can apply to all "values" but there are no `void` values.
- if (Ty->isVoidTy())
- Incompatible.addAttribute(Attribute::NoUndef);
- return Incompatible;
- }
- AttributeMask AttributeFuncs::getUBImplyingAttributes() {
- AttributeMask AM;
- AM.addAttribute(Attribute::NoUndef);
- AM.addAttribute(Attribute::Dereferenceable);
- AM.addAttribute(Attribute::DereferenceableOrNull);
- return AM;
- }
- template<typename AttrClass>
- static bool isEqual(const Function &Caller, const Function &Callee) {
- return Caller.getFnAttribute(AttrClass::getKind()) ==
- Callee.getFnAttribute(AttrClass::getKind());
- }
- /// Compute the logical AND of the attributes of the caller and the
- /// callee.
- ///
- /// This function sets the caller's attribute to false if the callee's attribute
- /// is false.
- template<typename AttrClass>
- static void setAND(Function &Caller, const Function &Callee) {
- if (AttrClass::isSet(Caller, AttrClass::getKind()) &&
- !AttrClass::isSet(Callee, AttrClass::getKind()))
- AttrClass::set(Caller, AttrClass::getKind(), false);
- }
- /// Compute the logical OR of the attributes of the caller and the
- /// callee.
- ///
- /// This function sets the caller's attribute to true if the callee's attribute
- /// is true.
- template<typename AttrClass>
- static void setOR(Function &Caller, const Function &Callee) {
- if (!AttrClass::isSet(Caller, AttrClass::getKind()) &&
- AttrClass::isSet(Callee, AttrClass::getKind()))
- AttrClass::set(Caller, AttrClass::getKind(), true);
- }
- /// If the inlined function had a higher stack protection level than the
- /// calling function, then bump up the caller's stack protection level.
- static void adjustCallerSSPLevel(Function &Caller, const Function &Callee) {
- // If the calling function has *no* stack protection level (e.g. it was built
- // with Clang's -fno-stack-protector or no_stack_protector attribute), don't
- // change it as that could change the program's semantics.
- if (!Caller.hasStackProtectorFnAttr())
- return;
- // If upgrading the SSP attribute, clear out the old SSP Attributes first.
- // Having multiple SSP attributes doesn't actually hurt, but it adds useless
- // clutter to the IR.
- AttributeMask OldSSPAttr;
- OldSSPAttr.addAttribute(Attribute::StackProtect)
- .addAttribute(Attribute::StackProtectStrong)
- .addAttribute(Attribute::StackProtectReq);
- if (Callee.hasFnAttribute(Attribute::StackProtectReq)) {
- Caller.removeFnAttrs(OldSSPAttr);
- Caller.addFnAttr(Attribute::StackProtectReq);
- } else if (Callee.hasFnAttribute(Attribute::StackProtectStrong) &&
- !Caller.hasFnAttribute(Attribute::StackProtectReq)) {
- Caller.removeFnAttrs(OldSSPAttr);
- Caller.addFnAttr(Attribute::StackProtectStrong);
- } else if (Callee.hasFnAttribute(Attribute::StackProtect) &&
- !Caller.hasFnAttribute(Attribute::StackProtectReq) &&
- !Caller.hasFnAttribute(Attribute::StackProtectStrong))
- Caller.addFnAttr(Attribute::StackProtect);
- }
- /// If the inlined function required stack probes, then ensure that
- /// the calling function has those too.
- static void adjustCallerStackProbes(Function &Caller, const Function &Callee) {
- if (!Caller.hasFnAttribute("probe-stack") &&
- Callee.hasFnAttribute("probe-stack")) {
- Caller.addFnAttr(Callee.getFnAttribute("probe-stack"));
- }
- }
- /// If the inlined function defines the size of guard region
- /// on the stack, then ensure that the calling function defines a guard region
- /// that is no larger.
- static void
- adjustCallerStackProbeSize(Function &Caller, const Function &Callee) {
- Attribute CalleeAttr = Callee.getFnAttribute("stack-probe-size");
- if (CalleeAttr.isValid()) {
- Attribute CallerAttr = Caller.getFnAttribute("stack-probe-size");
- if (CallerAttr.isValid()) {
- uint64_t CallerStackProbeSize, CalleeStackProbeSize;
- CallerAttr.getValueAsString().getAsInteger(0, CallerStackProbeSize);
- CalleeAttr.getValueAsString().getAsInteger(0, CalleeStackProbeSize);
- if (CallerStackProbeSize > CalleeStackProbeSize) {
- Caller.addFnAttr(CalleeAttr);
- }
- } else {
- Caller.addFnAttr(CalleeAttr);
- }
- }
- }
- /// If the inlined function defines a min legal vector width, then ensure
- /// the calling function has the same or larger min legal vector width. If the
- /// caller has the attribute, but the callee doesn't, we need to remove the
- /// attribute from the caller since we can't make any guarantees about the
- /// caller's requirements.
- /// This function is called after the inlining decision has been made so we have
- /// to merge the attribute this way. Heuristics that would use
- /// min-legal-vector-width to determine inline compatibility would need to be
- /// handled as part of inline cost analysis.
- static void
- adjustMinLegalVectorWidth(Function &Caller, const Function &Callee) {
- Attribute CallerAttr = Caller.getFnAttribute("min-legal-vector-width");
- if (CallerAttr.isValid()) {
- Attribute CalleeAttr = Callee.getFnAttribute("min-legal-vector-width");
- if (CalleeAttr.isValid()) {
- uint64_t CallerVectorWidth, CalleeVectorWidth;
- CallerAttr.getValueAsString().getAsInteger(0, CallerVectorWidth);
- CalleeAttr.getValueAsString().getAsInteger(0, CalleeVectorWidth);
- if (CallerVectorWidth < CalleeVectorWidth)
- Caller.addFnAttr(CalleeAttr);
- } else {
- // If the callee doesn't have the attribute then we don't know anything
- // and must drop the attribute from the caller.
- Caller.removeFnAttr("min-legal-vector-width");
- }
- }
- }
- /// If the inlined function has null_pointer_is_valid attribute,
- /// set this attribute in the caller post inlining.
- static void
- adjustNullPointerValidAttr(Function &Caller, const Function &Callee) {
- if (Callee.nullPointerIsDefined() && !Caller.nullPointerIsDefined()) {
- Caller.addFnAttr(Attribute::NullPointerIsValid);
- }
- }
- struct EnumAttr {
- static bool isSet(const Function &Fn,
- Attribute::AttrKind Kind) {
- return Fn.hasFnAttribute(Kind);
- }
- static void set(Function &Fn,
- Attribute::AttrKind Kind, bool Val) {
- if (Val)
- Fn.addFnAttr(Kind);
- else
- Fn.removeFnAttr(Kind);
- }
- };
- struct StrBoolAttr {
- static bool isSet(const Function &Fn,
- StringRef Kind) {
- auto A = Fn.getFnAttribute(Kind);
- return A.getValueAsString().equals("true");
- }
- static void set(Function &Fn,
- StringRef Kind, bool Val) {
- Fn.addFnAttr(Kind, Val ? "true" : "false");
- }
- };
- #define GET_ATTR_NAMES
- #define ATTRIBUTE_ENUM(ENUM_NAME, DISPLAY_NAME) \
- struct ENUM_NAME##Attr : EnumAttr { \
- static enum Attribute::AttrKind getKind() { \
- return llvm::Attribute::ENUM_NAME; \
- } \
- };
- #define ATTRIBUTE_STRBOOL(ENUM_NAME, DISPLAY_NAME) \
- struct ENUM_NAME##Attr : StrBoolAttr { \
- static StringRef getKind() { return #DISPLAY_NAME; } \
- };
- #include "llvm/IR/Attributes.inc"
- #define GET_ATTR_COMPAT_FUNC
- #include "llvm/IR/Attributes.inc"
- bool AttributeFuncs::areInlineCompatible(const Function &Caller,
- const Function &Callee) {
- return hasCompatibleFnAttrs(Caller, Callee);
- }
- bool AttributeFuncs::areOutlineCompatible(const Function &A,
- const Function &B) {
- return hasCompatibleFnAttrs(A, B);
- }
- void AttributeFuncs::mergeAttributesForInlining(Function &Caller,
- const Function &Callee) {
- mergeFnAttrs(Caller, Callee);
- }
- void AttributeFuncs::mergeAttributesForOutlining(Function &Base,
- const Function &ToMerge) {
- // We merge functions so that they meet the most general case.
- // For example, if the NoNansFPMathAttr is set in one function, but not in
- // the other, in the merged function we can say that the NoNansFPMathAttr
- // is not set.
- // However if we have the SpeculativeLoadHardeningAttr set true in one
- // function, but not the other, we make sure that the function retains
- // that aspect in the merged function.
- mergeFnAttrs(Base, ToMerge);
- }
|