9#ifndef LLVM_ANALYSIS_TARGETLIBRARYINFO_H
10#define LLVM_ANALYSIS_TARGETLIBRARYINFO_H
51 : ScalarFnName(ScalarFnName), VectorFnName(VectorFnName),
53 VABIPrefix(VABIPrefix) {}
67#define TLI_DEFINE_ENUM
68#include "llvm/Analysis/TargetLibraryInfo.def"
86 bool ShouldExtI32Param, ShouldExtI32Return, ShouldSignExtI32Param, ShouldSignExtI32Return;
89 enum AvailabilityState {
95 AvailableArray[
F/4] &= ~(3 << 2*(
F&3));
96 AvailableArray[
F/4] |= State << 2*(
F&3);
103 std::vector<VecDesc> VectorDescs;
106 std::vector<VecDesc> ScalarDescs;
168 setState(
F, StandardName);
174 if (StandardNames[
F] !=
Name) {
175 setState(
F, CustomName);
176 CustomNames[
F] = std::string(
Name);
177 assert(CustomNames.contains(
F));
179 setState(
F, StandardName);
223 ShouldExtI32Param = Val;
230 ShouldExtI32Return = Val;
236 ShouldSignExtI32Param = Val;
242 ShouldSignExtI32Return = Val;
287 std::bitset<NumLibFuncs> OverrideAsUnavailable;
291 std::optional<const Function *>
F = std::nullopt)
295 if ((*F)->hasFnAttribute(
"no-builtins"))
300 AttributeSet FnAttrs = (*F)->getAttributes().getFnAttrs();
302 if (!Attr.isStringAttribute())
304 auto AttrStr = Attr.getKindAsString();
305 if (!AttrStr.consume_front(
"no-builtin-"))
324 bool AllowCallerSuperset)
const {
325 if (!AllowCallerSuperset)
326 return OverrideAsUnavailable == CalleeTLI.OverrideAsUnavailable;
329 return (CalleeTLI.OverrideAsUnavailable & ~OverrideAsUnavailable).none();
336 return Impl->isValidProtoForLibFunc(FTy,
F, M);
368 OverrideAsUnavailable.set();
373 assert(
F < OverrideAsUnavailable.size() &&
"out-of-bounds LibFunc");
374 OverrideAsUnavailable.set(
F);
378 assert(
F < OverrideAsUnavailable.size() &&
"out-of-bounds LibFunc");
379 if (OverrideAsUnavailable[
F])
380 return TargetLibraryInfoImpl::Unavailable;
381 return Impl->getState(
F);
386 return getState(
F) != TargetLibraryInfoImpl::Unavailable;
395 bool Masked =
false)
const {
406 if (
getState(
F) == TargetLibraryInfoImpl::Unavailable)
411 case LibFunc_copysign:
case LibFunc_copysignf:
case LibFunc_copysignl:
412 case LibFunc_fabs:
case LibFunc_fabsf:
case LibFunc_fabsl:
413 case LibFunc_sin:
case LibFunc_sinf:
case LibFunc_sinl:
414 case LibFunc_cos:
case LibFunc_cosf:
case LibFunc_cosl:
415 case LibFunc_tan:
case LibFunc_tanf:
case LibFunc_tanl:
416 case LibFunc_sqrt:
case LibFunc_sqrtf:
case LibFunc_sqrtl:
417 case LibFunc_sqrt_finite:
case LibFunc_sqrtf_finite:
418 case LibFunc_sqrtl_finite:
419 case LibFunc_fmax:
case LibFunc_fmaxf:
case LibFunc_fmaxl:
420 case LibFunc_fmin:
case LibFunc_fminf:
case LibFunc_fminl:
421 case LibFunc_floor:
case LibFunc_floorf:
case LibFunc_floorl:
422 case LibFunc_nearbyint:
case LibFunc_nearbyintf:
case LibFunc_nearbyintl:
423 case LibFunc_ceil:
case LibFunc_ceilf:
case LibFunc_ceill:
424 case LibFunc_rint:
case LibFunc_rintf:
case LibFunc_rintl:
425 case LibFunc_round:
case LibFunc_roundf:
case LibFunc_roundl:
426 case LibFunc_trunc:
case LibFunc_truncf:
case LibFunc_truncl:
427 case LibFunc_log2:
case LibFunc_log2f:
case LibFunc_log2l:
428 case LibFunc_exp2:
case LibFunc_exp2f:
case LibFunc_exp2l:
429 case LibFunc_ldexp:
case LibFunc_ldexpf:
case LibFunc_ldexpl:
430 case LibFunc_memcpy:
case LibFunc_memset:
case LibFunc_memmove:
431 case LibFunc_memcmp:
case LibFunc_bcmp:
case LibFunc_strcmp:
432 case LibFunc_strcpy:
case LibFunc_stpcpy:
case LibFunc_strlen:
433 case LibFunc_strnlen:
case LibFunc_memchr:
case LibFunc_mempcpy:
442 if (State == TargetLibraryInfoImpl::Unavailable)
444 if (State == TargetLibraryInfoImpl::StandardName)
445 return Impl->StandardNames[
F];
446 assert(State == TargetLibraryInfoImpl::CustomName);
447 return Impl->CustomNames.
find(
F)->second;
451 bool &ShouldExtI32Return,
452 bool &ShouldSignExtI32Param,
453 bool &ShouldSignExtI32Return,
455 ShouldExtI32Param = ShouldExtI32Return =
false;
456 ShouldSignExtI32Param = ShouldSignExtI32Return =
false;
462 ShouldExtI32Param =
true;
463 ShouldExtI32Return =
true;
467 if (
T.isLoongArch() ||
T.isMIPS() ||
T.isRISCV64()) {
468 ShouldSignExtI32Param =
true;
472 if (
T.isLoongArch() ||
T.isRISCV64()) {
473 ShouldSignExtI32Return =
true;
482 bool ShouldSignExtI32Param_,
484 if (ShouldExtI32Param_)
485 return Signed ? Attribute::SExt : Attribute::ZExt;
486 if (ShouldSignExtI32Param_)
487 return Attribute::SExt;
494 bool ShouldExtI32Param, ShouldExtI32Return;
495 bool ShouldSignExtI32Param, ShouldSignExtI32Return;
497 ShouldSignExtI32Param, ShouldSignExtI32Return,
T);
498 return getExtAttrForI32Param(ShouldExtI32Param, ShouldSignExtI32Param,
503 return getExtAttrForI32Param(Impl->ShouldExtI32Param,
504 Impl->ShouldSignExtI32Param,
Signed);
512 bool ShouldSignExtI32Return_,
514 if (ShouldExtI32Return_)
515 return Signed ? Attribute::SExt : Attribute::ZExt;
516 if (ShouldSignExtI32Return_)
517 return Attribute::SExt;
524 bool ShouldExtI32Param, ShouldExtI32Return;
525 bool ShouldSignExtI32Param, ShouldSignExtI32Return;
527 ShouldSignExtI32Param, ShouldSignExtI32Return,
T);
528 return getExtAttrForI32Return(ShouldExtI32Return, ShouldSignExtI32Return,
533 return getExtAttrForI32Return(Impl->ShouldExtI32Return,
534 Impl->ShouldSignExtI32Return,
Signed);
541 bool Signed,
bool Ret =
false,
543 if (
auto AK = getExtAttrForI32Param(
Signed))
544 for (
auto ArgNo : ArgNos)
545 AL = AL.addParamAttribute(*
C, ArgNo, AK);
547 if (
auto AK = getExtAttrForI32Return(
Signed))
548 AL = AL.addRetAttribute(*
C, AK);
608 : BaselineInfoImpl(
std::
move(BaselineInfoImpl)) {}
616 std::optional<TargetLibraryInfoImpl> BaselineInfoImpl;
621 std::optional<TargetLibraryInfo> TLI;
623 virtual void anchor();
637 TLI = TLA.
run(
F, DummyFAM);
#define LLVM_ATTRIBUTE_UNUSED
This file defines the DenseMap class.
@ Unavailable
We know the block is not fully available. This is a fixpoint.
Machine Check Debug Module
This header defines various interfaces for pass management in LLVM.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
API to communicate dependencies between analyses during invalidation.
A container for analyses that lazily runs them and caches their results.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
AttrKind
This enumeration lists the attributes that can be associated with parameters, function results,...
@ None
No attributes have been set.
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
bool isNoBuiltin() const
Return true if the call should not be treated as a call to a builtin.
Function * getCalledFunction() const
Returns the function called, or null if this is an indirect function invocation or the function signa...
iterator find(const_arg_type_t< KeyT > Val)
Class to represent function types.
ImmutablePass class - This class is used to provide information that does not need to be run.
This is an important class for using LLVM in a threaded context.
A Module instance is used to store all the information related to an LLVM module.
A set of analyses that are preserved following a run of a transformation pass.
A wrapper around a string literal that serves as a proxy for constructing global tables of StringRefs...
StringRef - Represent a constant reference to a string, i.e.
constexpr bool empty() const
empty - Check if the string is empty.
Analysis pass providing the TargetLibraryInfo.
TargetLibraryAnalysis()=default
Default construct the library analysis.
TargetLibraryInfo run(const Function &F, FunctionAnalysisManager &)
TargetLibraryAnalysis(TargetLibraryInfoImpl BaselineInfoImpl)
Construct a library analysis with baseline Module-level info.
Implementation of the target library information.
void setShouldExtI32Param(bool Val)
Set to true iff i32 parameters to library functions should have signext or zeroext attributes if they...
void setShouldExtI32Return(bool Val)
Set to true iff i32 results from library functions should have signext or zeroext attributes if they ...
unsigned getWCharSize(const Module &M) const
Returns the size of the wchar_t type in bytes or 0 if the size is unknown.
bool getLibFunc(StringRef funcName, LibFunc &F) const
Searches for a particular function name.
void getWidestVF(StringRef ScalarF, ElementCount &FixedVF, ElementCount &Scalable) const
Returns the largest vectorization factor used in the list of vector functions.
bool isFunctionVectorizable(StringRef F, const ElementCount &VF) const
Return true if the function F has a vector equivalent with vectorization factor VF.
void setShouldSignExtI32Param(bool Val)
Set to true iff i32 parameters to library functions should have signext attribute if they correspond ...
void setAvailableWithName(LibFunc F, StringRef Name)
Forces a function to be marked as available and provide an alternate name that must be used.
unsigned getIntSize() const
Get size of a C-level int or unsigned int, in bits.
void addVectorizableFunctionsFromVecLib(enum VectorLibrary VecLib, const llvm::Triple &TargetTriple)
Calls addVectorizableFunctions with a known preset of functions for the given vector library.
void setIntSize(unsigned Bits)
Initialize the C-level size of an integer.
unsigned getSizeTSize(const Module &M) const
Returns the size of the size_t type in bits.
void addVectorizableFunctions(ArrayRef< VecDesc > Fns)
Add a set of scalar -> vector mappings, queryable via getVectorizedFunction and getScalarizedFunction...
const VecDesc * getVectorMappingInfo(StringRef F, const ElementCount &VF, bool Masked) const
Return a pointer to a VecDesc object holding all info for scalar to vector mappings in TLI for the eq...
static bool isCallingConvCCompatible(CallBase *CI)
Returns true if call site / callee has cdecl-compatible calling conventions.
void setShouldSignExtI32Return(bool Val)
Set to true iff i32 results from library functions should have signext attribute if they correspond t...
TargetLibraryInfoImpl & operator=(const TargetLibraryInfoImpl &TLI)
void disableAllFunctions()
Disables all builtins.
VectorLibrary
List of known vector-functions libraries.
void setUnavailable(LibFunc F)
Forces a function to be marked as unavailable.
StringRef getVectorizedFunction(StringRef F, const ElementCount &VF, bool Masked) const
Return the name of the equivalent of F, vectorized with factor VF.
void setAvailable(LibFunc F)
Forces a function to be marked as available.
TargetLibraryInfoWrapperPass()
TargetLibraryInfo & getTLI(const Function &F)
Provides information about what library functions are available for the current target.
AttributeList getAttrList(LLVMContext *C, ArrayRef< unsigned > ArgNos, bool Signed, bool Ret=false, AttributeList AL=AttributeList()) const
static Attribute::AttrKind getExtAttrForI32Param(const Triple &T, bool Signed=true)
bool areInlineCompatible(const TargetLibraryInfo &CalleeTLI, bool AllowCallerSuperset) const
Determine whether a callee with the given TLI can be inlined into caller with this TLI,...
bool getLibFunc(const CallBase &CB, LibFunc &F) const
If a callbase does not have the 'nobuiltin' attribute, return if the called function is a known libra...
bool invalidate(Module &, const PreservedAnalyses &, ModuleAnalysisManager::Invalidator &)
Handle invalidation from the pass manager.
bool isValidProtoForLibFunc(const FunctionType &FTy, LibFunc F, const Module &M) const
Return true if the function type FTy is valid for the library function F, regardless of whether the f...
unsigned getWCharSize(const Module &M) const
Returns the size of the wchar_t type in bytes or 0 if the size is unknown.
bool hasOptimizedCodeGen(LibFunc F) const
Tests if the function is both available and a candidate for optimized code generation.
Attribute::AttrKind getExtAttrForI32Return(bool Signed=true) const
bool invalidate(Function &, const PreservedAnalyses &, FunctionAnalysisManager::Invalidator &)
bool isKnownVectorFunctionInLibrary(StringRef F) const
Check if the function "F" is listed in a library known to LLVM.
bool isFunctionVectorizable(StringRef F) const
bool has(LibFunc F) const
Tests whether a library function is available.
unsigned getSizeTSize(const Module &M) const
Returns the size of the size_t type in bits.
TargetLibraryInfoImpl::AvailabilityState getState(LibFunc F) const
TargetLibraryInfo & operator=(const TargetLibraryInfo &TLI)=default
void disableAllFunctions() LLVM_ATTRIBUTE_UNUSED
Disables all builtins.
TargetLibraryInfo(const TargetLibraryInfo &TLI)=default
void getWidestVF(StringRef ScalarF, ElementCount &FixedVF, ElementCount &ScalableVF) const
Returns the largest vectorization factor used in the list of vector functions.
void setUnavailable(LibFunc F) LLVM_ATTRIBUTE_UNUSED
Forces a function to be marked as unavailable.
TargetLibraryInfo(const TargetLibraryInfoImpl &Impl, std::optional< const Function * > F=std::nullopt)
static Attribute::AttrKind getExtAttrForI32Return(const Triple &T, bool Signed=true)
bool getLibFunc(const Function &FDecl, LibFunc &F) const
bool getLibFunc(StringRef funcName, LibFunc &F) const
Searches for a particular function name.
static void initExtensionsForTriple(bool &ShouldExtI32Param, bool &ShouldExtI32Return, bool &ShouldSignExtI32Param, bool &ShouldSignExtI32Return, const Triple &T)
bool getLibFunc(unsigned int Opcode, Type *Ty, LibFunc &F) const
Searches for a function name using an Instruction Opcode.
StringRef getVectorizedFunction(StringRef F, const ElementCount &VF, bool Masked=false) const
StringRef getName(LibFunc F) const
const VecDesc * getVectorMappingInfo(StringRef F, const ElementCount &VF, bool Masked) const
TargetLibraryInfo & operator=(TargetLibraryInfo &&TLI)=default
unsigned getIntSize() const
Get size of a C-level int or unsigned int, in bits.
TargetLibraryInfo(TargetLibraryInfo &&TLI)=default
Attribute::AttrKind getExtAttrForI32Param(bool Signed=true) const
bool isFunctionVectorizable(StringRef F, const ElementCount &VF) const
Triple - Helper class for working with autoconf configuration names.
The instances of the Type class are immutable: once they are created, they are never changed.
Provides info so a possible vectorization of a function can be computed.
StringRef getVABIPrefix() const
std::string getVectorFunctionABIVariantString() const
Returns a vector function ABI variant string on the form: ZGV<isa><mask><vlen><vparams><scalarname>(<...
StringRef getScalarFnName() const
VecDesc(StringRef ScalarFnName, StringRef VectorFnName, ElementCount VectorizationFactor, bool Masked, StringRef VABIPrefix)
StringRef getVectorFnName() const
ElementCount getVectorizationFactor() const
@ C
The default llvm calling convention, compatible with C.
This is an optimization pass for GlobalISel generic memory operations.
ArrayRef(const T &OneElt) -> ArrayRef< T >
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
Implement std::hash so that hash_code can be used in STL containers.
A CRTP mix-in that provides informational APIs needed for analysis passes.
A special type used by analysis passes to provide an address that identifies that particular analysis...
TODO: The following VectorizationFactor was pulled out of LoopVectorizationCostModel class.