LLVM 24.0.0git
RuntimeLibcalls.h
Go to the documentation of this file.
1//===- RuntimeLibcalls.h - Interface for runtime libcalls -------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements a common interface to work with library calls into a
10// runtime that may be emitted by a given backend.
11//
12// FIXME: This should probably move to Analysis
13//
14//===----------------------------------------------------------------------===//
15
16#ifndef LLVM_IR_RUNTIME_LIBCALLS_H
17#define LLVM_IR_RUNTIME_LIBCALLS_H
18
19#include "llvm/ADT/ArrayRef.h"
20#include "llvm/ADT/Bitset.h"
21#include "llvm/ADT/Sequence.h"
23#include "llvm/IR/CallingConv.h"
24#include "llvm/IR/InstrTypes.h"
25#include "llvm/IR/PassManager.h"
31
32/// TableGen will produce 2 enums, RTLIB::Libcall and
33/// RTLIB::LibcallImpl. RTLIB::Libcall describes abstract functionality the
34/// compiler may choose to access, RTLIB::LibcallImpl describes a particular ABI
35/// implementation, which includes a name and type signature.
36#define GET_RUNTIME_LIBCALL_ENUM
37#include "llvm/IR/RuntimeLibcalls.inc"
38
39namespace llvm {
40
41template <> struct enum_iteration_traits<RTLIB::Libcall> {
42 static constexpr bool is_iterable = true;
43};
44
45template <> struct enum_iteration_traits<RTLIB::LibcallImpl> {
46 static constexpr bool is_iterable = true;
47};
48
50class Type;
51
52namespace Intrinsic {
53typedef unsigned ID;
54}
55
56namespace RTLIB {
57
58// Return an iterator over all Libcall values.
59static inline auto libcalls() {
60 return enum_seq(static_cast<RTLIB::Libcall>(0), RTLIB::UNKNOWN_LIBCALL);
61}
62
63static inline auto libcall_impls() {
64 return enum_seq(static_cast<RTLIB::LibcallImpl>(1),
65 static_cast<RTLIB::LibcallImpl>(RTLIB::NumLibcallImpls));
66}
67
68/// Manage a bitset representing the list of available libcalls for a module.
69class LibcallImplBitset : public Bitset<RTLIB::NumLibcallImpls> {
70public:
71 constexpr LibcallImplBitset() = default;
73 const std::array<uint64_t, (RTLIB::NumLibcallImpls + 63) / 64> &Src)
74 : Bitset(Src) {}
75};
76
77/// A simple container for information about the supported runtime calls.
79private:
80 /// Bitset of libcalls a module may emit a call to.
81 LibcallImplBitset AvailableLibcallImpls;
82
83public:
85
87
89 const Triple &TT,
92 EABI EABIVersion = EABI::Default, StringRef ABIName = "",
94
95 // FIXME: The floating-point ABI is read from the "float-abi" module flag, but
96 // the ExceptionModel/EABIVersion/ABIName/VecLib parameters are still
97 // TargetOptions values that are not yet represented in the IR. Delete these
98 // parameters (and build everything from the Module) once those fields are
99 // migrated to module flags.
101 const Module &M,
103 EABI EABIVersion = EABI::Default, StringRef ABIName = "",
105
106 LLVM_ABI bool invalidate(Module &M, const PreservedAnalyses &PA,
107 ModuleAnalysisManager::Invalidator &);
108
109 /// Get the libcall routine name for the specified libcall implementation.
110 static StringRef getLibcallImplName(RTLIB::LibcallImpl CallImpl) {
111 if (CallImpl == RTLIB::Unsupported)
112 return StringRef();
113 return StringRef(RuntimeLibcallImplNameTable.getCString(
114 RuntimeLibcallNameOffsetTable[CallImpl]),
115 RuntimeLibcallNameSizeTable[CallImpl]);
116 }
117
118 /// Set the CallingConv that should be used for the specified libcall
119 /// implementation
120 void setLibcallImplCallingConv(RTLIB::LibcallImpl Call, CallingConv::ID CC) {
121 LibcallImplCallingConvs[Call] = CC;
122 }
123
124 /// Get the CallingConv that should be used for the specified libcall.
126 return LibcallImplCallingConvs[Call];
127 }
128
129 /// Return the libcall provided by \p Impl
130 static RTLIB::Libcall getLibcallFromImpl(RTLIB::LibcallImpl Impl) {
131 return ImplToLibcall[Impl];
132 }
133
134 /// Return the runtime libcall that the floating-point math intrinsic \p ID
135 /// may be lowered to, or RTLIB::UNKNOWN_LIBCALL if there is no such mapping.
136 ///
137 /// \p FTy must be the intrinsic's call signature.
139 FunctionType *FTy);
140
142 return AvailableLibcallImpls.count();
143 }
144
145 bool isAvailable(RTLIB::LibcallImpl Impl) const {
146 return AvailableLibcallImpls.test(Impl);
147 }
148
149 void setAvailable(RTLIB::LibcallImpl Impl) {
150 AvailableLibcallImpls.set(Impl);
151 }
152
153 /// Check if a function name is a recognized runtime call of any kind. This
154 /// does not consider if this call is available for any current compilation,
155 /// just that it is a known call somewhere. This returns the set of all
156 /// LibcallImpls which match the name; multiple implementations with the same
157 /// name may exist but differ in interpretation based on the target context.
158 ///
159 /// Generated by tablegen.
162 // Inlining the early exit on the string name appears to be worthwhile when
163 // querying a real set of symbols
164#define GET_LOOKUP_LIBCALL_IMPL_NAME_BODY
165#include "llvm/IR/RuntimeLibcalls.inc"
166 }
167
168 /// Check if this is valid libcall for the current module, otherwise
169 /// RTLIB::Unsupported.
170 RTLIB::LibcallImpl getSupportedLibcallImpl(StringRef FuncName) const {
171 for (RTLIB::LibcallImpl Impl : lookupLibcallImplName(FuncName)) {
172 if (isAvailable(Impl))
173 return Impl;
174 }
175
176 return RTLIB::Unsupported;
177 }
178
179 /// \returns the function type and attributes for the \p LibcallImpl,
180 /// depending on the target \p TT. If the function has incomplete type
181 /// information, return nullptr for the function type.
182 LLVM_ABI std::pair<FunctionType *, AttributeList>
183 getFunctionTy(LLVMContext &Ctx, const Triple &TT, const DataLayout &DL,
184 RTLIB::LibcallImpl LibcallImpl) const;
185
186 /// Returns true if the function has a vector mask argument, which is assumed
187 /// to be the last argument.
188 LLVM_ABI static bool hasVectorMaskArgument(RTLIB::LibcallImpl Impl);
189
190private:
192 lookupLibcallImplNameImpl(StringRef Name);
193
194 static_assert(static_cast<int>(CallingConv::C) == 0,
195 "default calling conv should be encoded as 0");
196
197 /// Stores the CallingConv that should be used for each libcall
198 /// implementation.;
199 CallingConv::ID LibcallImplCallingConvs[RTLIB::NumLibcallImpls] = {};
200
201 /// Names of concrete implementations of runtime calls. e.g. __ashlsi3 for
202 /// SHL_I32
203 LLVM_ABI static const char RuntimeLibcallImplNameTableStorage[];
204 LLVM_ABI static const StringTable RuntimeLibcallImplNameTable;
205 LLVM_ABI static const uint16_t RuntimeLibcallNameOffsetTable[];
206 LLVM_ABI static const uint8_t RuntimeLibcallNameSizeTable[];
207
208 /// Map from a concrete LibcallImpl implementation to its RTLIB::Libcall kind.
209 LLVM_ABI static const RTLIB::Libcall ImplToLibcall[RTLIB::NumLibcallImpls];
210
211 /// Utility function for tablegenerated lookup function. Return a range of
212 /// enum values that apply for the function name at \p NameOffsetEntry with
213 /// the value \p StrOffset.
215 libcallImplNameHit(uint16_t NameOffsetEntry, uint16_t StrOffset);
216
217 static bool darwinHasSinCosStret(const Triple &TT) {
218 if (!TT.isOSDarwin())
219 return false;
220
221 // Don't bother with 32 bit x86.
222 if (TT.getArch() == Triple::x86)
223 return false;
224 // Macos < 10.9 has no sincos_stret.
225 if (TT.isMacOSX())
226 return !TT.isMacOSXVersionLT(10, 9) && TT.isArch64Bit();
227 // iOS < 7.0 has no sincos_stret.
228 if (TT.isiOS())
229 return !TT.isOSVersionLT(7, 0);
230 // Any other darwin such as WatchOS/TvOS is new enough.
231 return true;
232 }
233
235 static bool isAAPCS_ABI(const Triple &TT, StringRef ABIName);
236
237 /// Generated by tablegen.
238 void setTargetRuntimeLibcallSets(const Triple &TT,
239 ExceptionHandling ExceptionModel,
240 FloatABI::ABIType FloatABI, EABI ABIType,
241 StringRef ABIName,
243
244 /// Set default libcall names. If a target wants to opt-out of a libcall it
245 /// should be placed here.
246 LLVM_ABI void initLibcalls(const Triple &TT, ExceptionHandling ExceptionModel,
247 FloatABI::ABIType FloatABI, EABI ABIType,
248 StringRef ABIName,
250};
251
252} // namespace RTLIB
253
254} // namespace llvm
255
256#endif // LLVM_IR_RUNTIME_LIBCALLS_H
unsigned uint64_t
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
Atomic ordering constants.
#define LLVM_ABI
Definition Compiler.h:215
#define LLVM_READONLY
Definition Compiler.h:330
This header defines various interfaces for pass management in LLVM.
Provides some synthesis utilities to produce sequences of values.
constexpr Bitset(const std::array< uint64_t,(NumBits+63)/64 > &B)
Definition Bitset.h:56
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:64
Class to represent function types.
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
Tracks which library functions to use for a particular subtarget or function.
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
A set of analyses that are preserved following a run of a transformation pass.
Definition Analysis.h:112
Manage a bitset representing the list of available libcalls for a module.
constexpr LibcallImplBitset(const std::array< uint64_t,(RTLIB::NumLibcallImpls+63)/64 > &Src)
constexpr LibcallImplBitset()=default
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
A table of densely packed, null-terminated strings indexed by offset.
Definition StringTable.h:34
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:48
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
CallInst * Call
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
This namespace contains an enum with a value for every intrinsic/builtin function known by LLVM.
static auto libcall_impls()
static auto libcalls()
This is an optimization pass for GlobalISel generic memory operations.
LongDoubleFormat
The floating-point format used for the target's "long double" type.
Definition CodeGen.h:67
constexpr auto enum_seq(EnumT Begin, EnumT End)
Iterate over an enum type from Begin up to - but not including - End.
Definition Sequence.h:373
ExceptionHandling
Definition CodeGen.h:54
@ None
No exception support.
Definition CodeGen.h:55
VectorLibrary
List of known vector-functions libraries.
CallingConv::ID getLibcallImplCallingConv(RTLIB::LibcallImpl Call) const
Get the CallingConv that should be used for the specified libcall.
static LLVM_ABI RTLIB::Libcall getLibcallForIntrinsic(Intrinsic::ID ID, FunctionType *FTy)
Return the runtime libcall that the floating-point math intrinsic ID may be lowered to,...
unsigned getNumAvailableLibcallImpls() const
bool isAvailable(RTLIB::LibcallImpl Impl) const
LLVM_ABI std::pair< FunctionType *, AttributeList > getFunctionTy(LLVMContext &Ctx, const Triple &TT, const DataLayout &DL, RTLIB::LibcallImpl LibcallImpl) const
void setAvailable(RTLIB::LibcallImpl Impl)
static LLVM_ABI bool hasVectorMaskArgument(RTLIB::LibcallImpl Impl)
Returns true if the function has a vector mask argument, which is assumed to be the last argument.
static iota_range< RTLIB::LibcallImpl > lookupLibcallImplName(StringRef Name)
Check if a function name is a recognized runtime call of any kind.
RTLIB::LibcallImpl getSupportedLibcallImpl(StringRef FuncName) const
Check if this is valid libcall for the current module, otherwise RTLIB::Unsupported.
static StringRef getLibcallImplName(RTLIB::LibcallImpl CallImpl)
Get the libcall routine name for the specified libcall implementation.
void setLibcallImplCallingConv(RTLIB::LibcallImpl Call, CallingConv::ID CC)
Set the CallingConv that should be used for the specified libcall implementation.
static RTLIB::Libcall getLibcallFromImpl(RTLIB::LibcallImpl Impl)
Return the libcall provided by Impl.
LLVM_ABI bool invalidate(Module &M, const PreservedAnalyses &PA, ModuleAnalysisManager::Invalidator &)