LLVM  10.0.0svn
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"
19 #include "llvm/ADT/None.h"
20 #include "llvm/ADT/Optional.h"
21 #include <string>
22 
23 namespace llvm {
24 
25 class Type;
26 class FunctionType;
27 class Function;
28 class LLVMContext;
29 class Module;
30 class 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().
35 namespace Intrinsic {
36  enum ID : unsigned {
37  not_intrinsic = 0, // Must be zero
38 
39  // Get the intrinsic enums generated from Intrinsics.td
40 #define GET_INTRINSIC_ENUM_VALUES
41 #include "llvm/IR/IntrinsicEnums.inc"
42 #undef GET_INTRINSIC_ENUM_VALUES
44  };
45 
46  /// Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx".
47  /// Note, this version is for intrinsics with no overloads. Use the other
48  /// version of getName if overloads are required.
49  StringRef getName(ID id);
50 
51  /// Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx".
52  /// Note, this version of getName supports overloads, but is less efficient
53  /// than the StringRef version of this function. If no overloads are
54  /// requried, it is safe to use this version, but better to use the StringRef
55  /// version.
56  std::string getName(ID id, ArrayRef<Type*> Tys);
57 
58  /// Return the function type for an intrinsic.
60  ArrayRef<Type*> Tys = None);
61 
62  /// Returns true if the intrinsic can be overloaded.
63  bool isOverloaded(ID id);
64 
65  /// Returns true if the intrinsic is a leaf, i.e. it does not make any calls
66  /// itself. Most intrinsics are leafs, the exceptions being the patchpoint
67  /// and statepoint intrinsics. These call (or invoke) their "target" argument.
68  bool isLeaf(ID id);
69 
70  /// Return the attributes for an intrinsic.
72 
73  /// Create or insert an LLVM Function declaration for an intrinsic, and return
74  /// it.
75  ///
76  /// The Tys parameter is for intrinsics with overloaded types (e.g., those
77  /// using iAny, fAny, vAny, or iPTRAny). For a declaration of an overloaded
78  /// intrinsic, Tys must provide exactly one type for each overloaded type in
79  /// the intrinsic.
80  Function *getDeclaration(Module *M, ID id, ArrayRef<Type*> Tys = None);
81 
82  /// Looks up Name in NameTable via binary search. NameTable must be sorted
83  /// and all entries must start with "llvm.". If NameTable contains an exact
84  /// match for Name or a prefix of Name followed by a dot, its index in
85  /// NameTable is returned. Otherwise, -1 is returned.
87  StringRef Name);
88 
89  /// Map a GCC builtin name to an intrinsic ID.
90  ID getIntrinsicForGCCBuiltin(const char *Prefix, StringRef BuiltinName);
91 
92  /// Map a MS builtin name to an intrinsic ID.
93  ID getIntrinsicForMSBuiltin(const char *Prefix, StringRef BuiltinName);
94 
95  /// This is a type descriptor which explains the type requirements of an
96  /// intrinsic. This is returned by getIntrinsicInfoTableEntries.
97  struct IITDescriptor {
105  } Kind;
106 
107  union {
108  unsigned Integer_Width;
109  unsigned Float_Width;
110  unsigned Vector_Width;
113  unsigned Argument_Info;
114  };
115 
116  enum ArgKind {
123  };
124 
125  unsigned getArgumentNumber() const {
126  assert(Kind == Argument || Kind == ExtendArgument ||
127  Kind == TruncArgument || Kind == HalfVecArgument ||
128  Kind == SameVecWidthArgument || Kind == PtrToArgument ||
129  Kind == PtrToElt || Kind == VecElementArgument ||
130  Kind == Subdivide2Argument || Kind == Subdivide4Argument ||
131  Kind == VecOfBitcastsToInt);
132  return Argument_Info >> 3;
133  }
135  assert(Kind == Argument || Kind == ExtendArgument ||
136  Kind == TruncArgument || Kind == HalfVecArgument ||
137  Kind == SameVecWidthArgument || Kind == PtrToArgument ||
138  Kind == VecElementArgument || Kind == Subdivide2Argument ||
139  Kind == Subdivide4Argument || Kind == VecOfBitcastsToInt);
140  return (ArgKind)(Argument_Info & 7);
141  }
142 
143  // VecOfAnyPtrsToElt uses both an overloaded argument (for address space)
144  // and a reference argument (for matching vector width and element types)
145  unsigned getOverloadArgNumber() const {
146  assert(Kind == VecOfAnyPtrsToElt);
147  return Argument_Info >> 16;
148  }
149  unsigned getRefArgNumber() const {
150  assert(Kind == VecOfAnyPtrsToElt);
151  return Argument_Info & 0xFFFF;
152  }
153 
154  static IITDescriptor get(IITDescriptorKind K, unsigned Field) {
155  IITDescriptor Result = { K, { Field } };
156  return Result;
157  }
158 
159  static IITDescriptor get(IITDescriptorKind K, unsigned short Hi,
160  unsigned short Lo) {
161  unsigned Field = Hi << 16 | Lo;
162  IITDescriptor Result = {K, {Field}};
163  return Result;
164  }
165  };
166 
167  /// Return the IIT table descriptor for the specified intrinsic into an array
168  /// of IITDescriptors.
170 
175  };
176 
177  /// Match the specified function type with the type constraints specified by
178  /// the .td file. If the given type is an overloaded type it is pushed to the
179  /// ArgTys vector.
180  ///
181  /// Returns false if the given type matches with the constraints, true
182  /// otherwise.
185  SmallVectorImpl<Type *> &ArgTys);
186 
187  /// Verify if the intrinsic has variable arguments. This method is intended to
188  /// be called after all the fixed arguments have been matched first.
189  ///
190  /// This method returns true on error.
191  bool matchIntrinsicVarArg(bool isVarArg, ArrayRef<IITDescriptor> &Infos);
192 
193  // Checks if the intrinsic name matches with its signature and if not
194  // returns the declaration with the same signature and remangled name.
196 
197 } // End Intrinsic namespace
198 
199 } // End llvm namespace
200 
201 #endif
uint64_t CallInst * C
This class represents an incoming formal argument to a Function.
Definition: Argument.h:29
LLVMContext & Context
ArgKind getArgumentKind() const
Definition: Intrinsics.h:134
This class represents lattice values for constants.
Definition: AllocatorList.h:23
A Module instance is used to store all the information related to an LLVM module. ...
Definition: Module.h:66
amdgpu Simplify well known AMD library false FunctionCallee Value const Twine & Name
bool isOverloaded(ID id)
Returns true if the intrinsic can be overloaded.
Definition: Function.cpp:1070
F(f)
This is a type descriptor which explains the type requirements of an intrinsic.
Definition: Intrinsics.h:97
StringRef getName(ID id)
Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx".
Definition: Function.cpp:640
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: APFloat.h:41
unsigned getArgumentNumber() const
Definition: Intrinsics.h:125
AttributeList getAttributes(LLVMContext &C, ID id)
Return the attributes for an intrinsic.
llvm::Optional< Function * > remangleIntrinsicFunction(Function *F)
Definition: Function.cpp:1389
Class to represent function types.
Definition: DerivedTypes.h:108
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory)...
Definition: APInt.h:32
Function * getDeclaration(Module *M, ID id, ArrayRef< Type *> Tys=None)
Create or insert an LLVM Function declaration for an intrinsic, and return it.
Definition: Function.cpp:1093
bool isLeaf(ID id)
Returns true if the intrinsic is a leaf, i.e.
Definition: Function.cpp:1076
This is an important class for using LLVM in a threaded context.
Definition: LLVMContext.h:64
unsigned getOverloadArgNumber() const
Definition: Intrinsics.h:145
enum llvm::Intrinsic::IITDescriptor::IITDescriptorKind Kind
bool matchIntrinsicVarArg(bool isVarArg, ArrayRef< IITDescriptor > &Infos)
Verify if the intrinsic has variable arguments.
Definition: Function.cpp:1370
ID getIntrinsicForGCCBuiltin(const char *Prefix, StringRef BuiltinName)
Map a GCC builtin name to an intrinsic ID.
void getIntrinsicInfoTableEntries(ID id, SmallVectorImpl< IITDescriptor > &T)
Return the IIT table descriptor for the specified intrinsic into an array of IITDescriptors.
Definition: Function.cpp:913
FunctionType * getType(LLVMContext &Context, ID id, ArrayRef< Type *> Tys=None)
Return the function type for an intrinsic.
Definition: Function.cpp:1049
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:1344
unsigned getRefArgNumber() const
Definition: Intrinsics.h:149
ID getIntrinsicForMSBuiltin(const char *Prefix, StringRef BuiltinName)
Map a MS builtin name to an intrinsic ID.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:48
int lookupLLVMIntrinsicByName(ArrayRef< const char *> NameTable, StringRef Name)
Looks up Name in NameTable via binary search.