1 //===-- llvm/Instrinsics.h - LLVM Intrinsic Function Handling ---*- C++ -*-===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file defines a set of enums which allow processing of intrinsic 11 // functions. Values of these enum types are returned by 12 // Function::getIntrinsicID. 13 // 14 //===----------------------------------------------------------------------===// 15 16 #ifndef LLVM_IR_INTRINSICS_H 17 #define LLVM_IR_INTRINSICS_H 18 19 #include "llvm/ADT/ArrayRef.h" 20 #include <string> 21 22 namespace llvm { 23 24 class Type; 25 class FunctionType; 26 class Function; 27 class LLVMContext; 28 class Module; 29 class AttributeSet; 30 31 /// Intrinsic Namespace - This namespace contains an enum with a value for 32 /// every intrinsic/builtin function known by LLVM. These enum values are 33 /// returned by Function::getIntrinsicID(). 34 /// 35 namespace Intrinsic { 36 enum ID { 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/Intrinsics.gen" 42 #undef GET_INTRINSIC_ENUM_VALUES 43 , num_intrinsics 44 }; 45 46 /// Intrinsic::getName(ID) - Return the LLVM name for an intrinsic, such as 47 /// "llvm.ppc.altivec.lvx". 48 std::string getName(ID id, ArrayRef<Type*> Tys = None); 49 50 /// Intrinsic::getType(ID) - Return the function type for an intrinsic. 51 /// 52 FunctionType *getType(LLVMContext &Context, ID id, 53 ArrayRef<Type*> Tys = None); 54 55 /// Intrinsic::isOverloaded(ID) - Returns true if the intrinsic can be 56 /// overloaded. 57 bool isOverloaded(ID id); 58 59 /// Intrinsic::getAttributes(ID) - Return the attributes for an intrinsic. 60 /// 61 AttributeSet getAttributes(LLVMContext &C, ID id); 62 63 /// Intrinsic::getDeclaration(M, ID) - Create or insert an LLVM Function 64 /// declaration for an intrinsic, and return it. 65 /// 66 /// The Tys parameter is for intrinsics with overloaded types (e.g., those 67 /// using iAny, fAny, vAny, or iPTRAny). For a declaration of an overloaded 68 /// intrinsic, Tys must provide exactly one type for each overloaded type in 69 /// the intrinsic. 70 Function *getDeclaration(Module *M, ID id, ArrayRef<Type*> Tys = None); 71 72 /// Map a GCC builtin name to an intrinsic ID. 73 ID getIntrinsicForGCCBuiltin(const char *Prefix, const char *BuiltinName); 74 75 /// IITDescriptor - This is a type descriptor which explains the type 76 /// requirements of an intrinsic. This is returned by 77 /// getIntrinsicInfoTableEntries. 78 struct IITDescriptor { 79 enum IITDescriptorKind { 80 Void, MMX, Metadata, Half, Float, Double, 81 Integer, Vector, Pointer, Struct, 82 Argument, ExtendVecArgument, TruncVecArgument 83 } Kind; 84 85 union { 86 unsigned Integer_Width; 87 unsigned Float_Width; 88 unsigned Vector_Width; 89 unsigned Pointer_AddressSpace; 90 unsigned Struct_NumElements; 91 unsigned Argument_Info; 92 }; 93 94 enum ArgKind { 95 AK_AnyInteger, 96 AK_AnyFloat, 97 AK_AnyVector, 98 AK_AnyPointer 99 }; getArgumentNumberIITDescriptor100 unsigned getArgumentNumber() const { 101 assert(Kind == Argument || Kind == ExtendVecArgument || 102 Kind == TruncVecArgument); 103 return Argument_Info >> 2; 104 } getArgumentKindIITDescriptor105 ArgKind getArgumentKind() const { 106 assert(Kind == Argument || Kind == ExtendVecArgument || 107 Kind == TruncVecArgument); 108 return (ArgKind)(Argument_Info&3); 109 } 110 getIITDescriptor111 static IITDescriptor get(IITDescriptorKind K, unsigned Field) { 112 IITDescriptor Result = { K, { Field } }; 113 return Result; 114 } 115 }; 116 117 /// getIntrinsicInfoTableEntries - Return the IIT table descriptor for the 118 /// specified intrinsic into an array of IITDescriptors. 119 /// 120 void getIntrinsicInfoTableEntries(ID id, SmallVectorImpl<IITDescriptor> &T); 121 122 } // End Intrinsic namespace 123 124 } // End llvm namespace 125 126 #endif 127