LLVM 20.0.0git
Intrinsics.h
Go to the documentation of this file.
1//===- Intrinsics.h - LLVM Intrinsic Function Handling ----------*- 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 defines a set of enums which allow processing of intrinsic
10// functions. Values of these enum types are returned by
11// Function::getIntrinsicID.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_IR_INTRINSICS_H
16#define LLVM_IR_INTRINSICS_H
17
18#include "llvm/ADT/ArrayRef.h"
20#include <optional>
21#include <string>
22
23namespace llvm {
24
25class Type;
26class FunctionType;
27class Function;
28class LLVMContext;
29class Module;
30class AttributeList;
31
32/// This namespace contains an enum with a value for every intrinsic/builtin
33/// function known by LLVM. The enum values are returned by
34/// Function::getIntrinsicID().
35namespace Intrinsic {
36 // Abstraction for the arguments of the noalias intrinsics
37 static const int NoAliasScopeDeclScopeArg = 0;
38
39 // Intrinsic ID type. This is an opaque typedef to facilitate splitting up
40 // the enum into target-specific enums.
41 typedef unsigned ID;
42
43 enum IndependentIntrinsics : unsigned {
44 not_intrinsic = 0, // Must be zero
45
46 // Get the intrinsic enums generated from Intrinsics.td
47#define GET_INTRINSIC_ENUM_VALUES
48#include "llvm/IR/IntrinsicEnums.inc"
49#undef GET_INTRINSIC_ENUM_VALUES
50 };
51
52 /// Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx".
53 /// Note, this version is for intrinsics with no overloads. Use the other
54 /// version of getName if overloads are required.
55 StringRef getName(ID id);
56
57 /// Return the LLVM name for an intrinsic, without encoded types for
58 /// overloading, such as "llvm.ssa.copy".
59 StringRef getBaseName(ID id);
60
61 /// Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx" or
62 /// "llvm.ssa.copy.p0s_s.1". Note, this version of getName supports overloads.
63 /// This is less efficient than the StringRef version of this function. If no
64 /// overloads are required, it is safe to use this version, but better to use
65 /// the StringRef version. If one of the types is based on an unnamed type, a
66 /// function type will be computed. Providing FT will avoid this computation.
67 std::string getName(ID Id, ArrayRef<Type *> Tys, Module *M,
68 FunctionType *FT = nullptr);
69
70 /// Return the LLVM name for an intrinsic. This is a special version only to
71 /// be used by LLVMIntrinsicCopyOverloadedName. It only supports overloads
72 /// based on named types.
73 std::string getNameNoUnnamedTypes(ID Id, ArrayRef<Type *> Tys);
74
75 /// Return the function type for an intrinsic.
76 FunctionType *getType(LLVMContext &Context, ID id,
77 ArrayRef<Type *> Tys = std::nullopt);
78
79 /// Returns true if the intrinsic can be overloaded.
80 bool isOverloaded(ID id);
81
82 /// Return the attributes for an intrinsic.
84
85 /// Create or insert an LLVM Function declaration for an intrinsic, and return
86 /// it.
87 ///
88 /// The Tys parameter is for intrinsics with overloaded types (e.g., those
89 /// using iAny, fAny, vAny, or iPTRAny). For a declaration of an overloaded
90 /// intrinsic, Tys must provide exactly one type for each overloaded type in
91 /// the intrinsic.
93 ArrayRef<Type *> Tys = std::nullopt);
94
95 /// Looks up Name in NameTable via binary search. NameTable must be sorted
96 /// and all entries must start with "llvm.". If NameTable contains an exact
97 /// match for Name or a prefix of Name followed by a dot, its index in
98 /// NameTable is returned. Otherwise, -1 is returned.
101
102 /// Map a Clang builtin name to an intrinsic ID.
103 ID getIntrinsicForClangBuiltin(const char *Prefix, StringRef BuiltinName);
104
105 /// Map a MS builtin name to an intrinsic ID.
106 ID getIntrinsicForMSBuiltin(const char *Prefix, StringRef BuiltinName);
107
108 /// Returns true if the intrinsic ID is for one of the "Constrained
109 /// Floating-Point Intrinsics".
111
112 /// Returns true if the intrinsic ID is for one of the "Constrained
113 /// Floating-Point Intrinsics" that take rounding mode metadata.
115
116 /// This is a type descriptor which explains the type requirements of an
117 /// intrinsic. This is returned by getIntrinsicInfoTableEntries.
148
149 union {
151 unsigned Float_Width;
156 };
157
158 // AK_% : Defined in Intrinsics.td
159 enum ArgKind {
160#define GET_INTRINSIC_ARGKIND
161#include "llvm/IR/IntrinsicEnums.inc"
162#undef GET_INTRINSIC_ARGKIND
163 };
164
165 unsigned getArgumentNumber() const {
171 return Argument_Info >> 3;
172 }
179 return (ArgKind)(Argument_Info & 7);
180 }
181
182 // VecOfAnyPtrsToElt uses both an overloaded argument (for address space)
183 // and a reference argument (for matching vector width and element types)
184 unsigned getOverloadArgNumber() const {
186 return Argument_Info >> 16;
187 }
188 unsigned getRefArgNumber() const {
190 return Argument_Info & 0xFFFF;
191 }
192
194 IITDescriptor Result = { K, { Field } };
195 return Result;
196 }
197
198 static IITDescriptor get(IITDescriptorKind K, unsigned short Hi,
199 unsigned short Lo) {
200 unsigned Field = Hi << 16 | Lo;
201 IITDescriptor Result = {K, {Field}};
202 return Result;
203 }
204
205 static IITDescriptor getVector(unsigned Width, bool IsScalable) {
206 IITDescriptor Result = {Vector, {0}};
207 Result.Vector_Width = ElementCount::get(Width, IsScalable);
208 return Result;
209 }
210 };
211
212 /// Return the IIT table descriptor for the specified intrinsic into an array
213 /// of IITDescriptors.
215
220 };
221
222 /// Match the specified function type with the type constraints specified by
223 /// the .td file. If the given type is an overloaded type it is pushed to the
224 /// ArgTys vector.
225 ///
226 /// Returns false if the given type matches with the constraints, true
227 /// otherwise.
231
232 /// Verify if the intrinsic has variable arguments. This method is intended to
233 /// be called after all the fixed arguments have been matched first.
234 ///
235 /// This method returns true on error.
236 bool matchIntrinsicVarArg(bool isVarArg, ArrayRef<IITDescriptor> &Infos);
237
238 /// Gets the type arguments of an intrinsic call by matching type contraints
239 /// specified by the .td file. The overloaded types are pushed into the
240 /// AgTys vector.
241 ///
242 /// Returns false if the given ID and function type combination is not a
243 /// valid intrinsic call.
246
247 /// Same as previous, but accepts a Function instead of ID and FunctionType.
249
250 // Checks if the intrinsic name matches with its signature and if not
251 // returns the declaration with the same signature and remangled name.
252 // An existing GlobalValue with the wanted name but with a wrong prototype
253 // or of the wrong kind will be renamed by adding ".renamed" to the name.
254 std::optional<Function *> remangleIntrinsicFunction(Function *F);
255
256} // End Intrinsic namespace
257
258} // End llvm namespace
259
260#endif
RelocType Type
Definition: COFFYAML.cpp:391
std::string Name
#define F(x, y, z)
Definition: MD5.cpp:55
Machine Check Debug Module
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This class represents an incoming formal argument to a Function.
Definition: Argument.h:31
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
static constexpr ElementCount get(ScalarTy MinVal, bool Scalable)
Definition: TypeSize.h:317
Class to represent function types.
Definition: DerivedTypes.h:103
This is an important class for using LLVM in a threaded context.
Definition: LLVMContext.h:67
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:65
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: SmallVector.h:587
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
FunctionType * getType(LLVMContext &Context, ID id, ArrayRef< Type * > Tys=std::nullopt)
Return the function type for an intrinsic.
Definition: Function.cpp:1507
MatchIntrinsicTypesResult matchIntrinsicSignature(FunctionType *FTy, ArrayRef< IITDescriptor > &Infos, SmallVectorImpl< Type * > &ArgTys)
Match the specified function type with the type constraints specified by the .td file.
Definition: Function.cpp:1794
void getIntrinsicInfoTableEntries(ID id, SmallVectorImpl< IITDescriptor > &T)
Return the IIT table descriptor for the specified intrinsic into an array of IITDescriptors.
Definition: Function.cpp:1382
@ MatchIntrinsicTypes_Match
Definition: Intrinsics.h:217
@ MatchIntrinsicTypes_NoMatchRet
Definition: Intrinsics.h:218
@ MatchIntrinsicTypes_NoMatchArg
Definition: Intrinsics.h:219
int lookupLLVMIntrinsicByName(ArrayRef< const char * > NameTable, StringRef Name)
Looks up Name in NameTable via binary search.
std::string getNameNoUnnamedTypes(ID Id, ArrayRef< Type * > Tys)
Return the LLVM name for an intrinsic.
Definition: Function.cpp:1136
std::optional< Function * > remangleIntrinsicFunction(Function *F)
Definition: Function.cpp:1863
bool hasConstrainedFPRoundingModeOperand(ID QID)
Returns true if the intrinsic ID is for one of the "Constrained Floating-Point Intrinsics" that take ...
Definition: Function.cpp:1571
StringRef getName(ID id)
Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx".
Definition: Function.cpp:1096
bool isConstrainedFPIntrinsic(ID QID)
Returns true if the intrinsic ID is for one of the "Constrained Floating-Point Intrinsics".
Definition: Function.cpp:1559
AttributeList getAttributes(LLVMContext &C, ID id)
Return the attributes for an intrinsic.
ID getIntrinsicForMSBuiltin(const char *Prefix, StringRef BuiltinName)
Map a MS builtin name to an intrinsic ID.
static const int NoAliasScopeDeclScopeArg
Definition: Intrinsics.h:37
StringRef getBaseName(ID id)
Return the LLVM name for an intrinsic, without encoded types for overloading, such as "llvm....
Definition: Function.cpp:1091
bool isOverloaded(ID id)
Returns true if the intrinsic can be overloaded.
Definition: Function.cpp:1528
ID getIntrinsicForClangBuiltin(const char *Prefix, StringRef BuiltinName)
Map a Clang builtin name to an intrinsic ID.
bool getIntrinsicSignature(Intrinsic::ID, FunctionType *FT, SmallVectorImpl< Type * > &ArgTys)
Gets the type arguments of an intrinsic call by matching type contraints specified by the ....
Definition: Function.cpp:1839
Function * getDeclaration(Module *M, ID id, ArrayRef< Type * > Tys=std::nullopt)
Create or insert an LLVM Function declaration for an intrinsic, and return it.
Definition: Function.cpp:1539
bool matchIntrinsicVarArg(bool isVarArg, ArrayRef< IITDescriptor > &Infos)
Verify if the intrinsic has variable arguments.
Definition: Function.cpp:1820
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
This is a type descriptor which explains the type requirements of an intrinsic.
Definition: Intrinsics.h:118
enum llvm::Intrinsic::IITDescriptor::IITDescriptorKind Kind
static IITDescriptor get(IITDescriptorKind K, unsigned Field)
Definition: Intrinsics.h:193
unsigned getArgumentNumber() const
Definition: Intrinsics.h:165
static IITDescriptor getVector(unsigned Width, bool IsScalable)
Definition: Intrinsics.h:205
static IITDescriptor get(IITDescriptorKind K, unsigned short Hi, unsigned short Lo)
Definition: Intrinsics.h:198
ArgKind getArgumentKind() const
Definition: Intrinsics.h:173
unsigned getRefArgNumber() const
Definition: Intrinsics.h:188
unsigned getOverloadArgNumber() const
Definition: Intrinsics.h:184