//===-- llvm/Instrinsics.h - LLVM Intrinsic Function Handling ---*- C++ -*-===//
-//
+//
// The LLVM Compiler Infrastructure
//
-// This file was developed by the LLVM research group and is distributed under
-// the University of Illinois Open Source License. See LICENSE.TXT for details.
-//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
//===----------------------------------------------------------------------===//
//
// This file defines a set of enums which allow processing of intrinsic
#ifndef LLVM_INTRINSICS_H
#define LLVM_INTRINSICS_H
+#include "llvm/ADT/ArrayRef.h"
+#include <string>
+
namespace llvm {
+class Type;
+class FunctionType;
+class Function;
+class LLVMContext;
+class Module;
+class AttrListPtr;
+
/// Intrinsic Namespace - This namespace contains an enum with a value for
/// every intrinsic/builtin function known by LLVM. These enum values are
/// returned by Function::getIntrinsicID().
enum ID {
not_intrinsic = 0, // Must be zero
- // Varargs handling intrinsics...
- vastart, // Used to implement the va_start macro in C
- vaend, // Used to implement the va_end macro in C
- vacopy, // Used to implement the va_copy macro in C
-
- // Code generator intrinsics...
- returnaddress, // Yields the return address of a dynamic call frame
- frameaddress, // Yields the frame address of a dynamic call frame
-
- // Standard libc functions...
- memcpy, // Copy non-overlapping memory blocks
- memmove, // Copy potentially overlapping memory blocks
- memset, // Fill memory with a byte value
-
- // Setjmp/Longjmp intrinsics...
- setjmp, // Used to represent a setjmp call in C
- longjmp, // Used to represent a longjmp call in C
- sigsetjmp, // Used to represent a sigsetjmp call in C
- siglongjmp, // Used to represent a siglongjmp call in C
-
- // Debugging intrinsics...
- dbg_stoppoint, // Represents source lines and breakpointable places
- dbg_region_start, // Start of a region
- dbg_region_end, // End of a region
- dbg_func_start, // Start of a function
- dbg_declare, // Declare a local object
-
-
- // Standard libm functions...
+ // Get the intrinsic enums generated from Intrinsics.td
+#define GET_INTRINSIC_ENUM_VALUES
+#include "llvm/Intrinsics.gen"
+#undef GET_INTRINSIC_ENUM_VALUES
+ , num_intrinsics
+ };
+
+ /// Intrinsic::getName(ID) - Return the LLVM name for an intrinsic, such as
+ /// "llvm.ppc.altivec.lvx".
+ std::string getName(ID id, ArrayRef<Type*> Tys = ArrayRef<Type*>());
+
+ /// Intrinsic::getType(ID) - Return the function type for an intrinsic.
+ ///
+ FunctionType *getType(LLVMContext &Context, ID id,
+ ArrayRef<Type*> Tys = ArrayRef<Type*>());
+
+ /// Intrinsic::isOverloaded(ID) - Returns true if the intrinsic can be
+ /// overloaded.
+ bool isOverloaded(ID id);
+
+ /// Intrinsic::getAttributes(ID) - Return the attributes for an intrinsic.
+ ///
+ AttrListPtr getAttributes(ID id);
+
+ /// Intrinsic::getDeclaration(M, ID) - Create or insert an LLVM Function
+ /// declaration for an intrinsic, and return it.
+ ///
+ /// The Tys and numTys parameters are for intrinsics with overloaded types
+ /// (e.g., those using iAny, fAny, vAny, or iPTRAny). For a declaration for an
+ /// overloaded intrinsic, Tys should point to an array of numTys pointers to
+ /// Type, and must provide exactly one type for each overloaded type in the
+ /// intrinsic.
+ Function *getDeclaration(Module *M, ID id,
+ ArrayRef<Type*> Tys = ArrayRef<Type*>());
+
+ /// Map a GCC builtin name to an intrinsic ID.
+ ID getIntrinsicForGCCBuiltin(const char *Prefix, const char *BuiltinName);
+
+ /// IITDescriptor - This is a type descriptor which explains the type
+ /// requirements of an intrinsic. This is returned by
+ /// getIntrinsicInfoTableEntries.
+ struct IITDescriptor {
+ enum IITDescriptorKind {
+ Void, MMX, Metadata, Float, Double,
+ Integer, Vector, Pointer, Struct,
+ Argument, ExtendVecArgument, TruncVecArgument
+ } Kind;
-
- // Input/Output intrinsics
- readport,
- writeport,
-
- //===------------------------------------------------------------------===//
- // This section defines intrinsic functions used to represent Alpha
- // instructions...
- //
- alpha_ctlz, // CTLZ (count leading zero): counts the number of leading
- // zeros in the given ulong value
-
- alpha_cttz, // CTTZ (count trailing zero): counts the number of trailing
- // zeros in the given ulong value
-
- alpha_ctpop, // CTPOP (count population): counts the number of ones in
- // the given ulong value
-
- alpha_umulh, // UMULH (unsigned multiply quadword high): Takes two 64-bit
- // (ulong) values, and returns the upper 64 bits of their
- // 128 bit product as a ulong
-
- alpha_vecop, // A generic vector operation. This function is used to
- // represent various Alpha vector/multimedia instructions.
- // It takes 4 parameters:
- // - the first two are 2 ulong vectors
- // - the third (uint) is the size (in bytes) of each
- // vector element. Thus a value of 1 means that the two
- // input vectors consist of 8 bytes
- // - the fourth (uint) is the operation to be performed on
- // the vectors. Its possible values are defined in the
- // enumeration AlphaVecOps.
-
- alpha_pup, // A pack/unpack operation. This function is used to
- // represent Alpha pack/unpack operations.
- // It takes 3 parameters:
- // - the first is an ulong to pack/unpack
- // - the second (uint) is the size of each component
- // Valid values are 2 (word) or 4 (longword)
- // - the third (uint) is the operation to be performed.
- // Possible values defined in the enumeration
- // AlphaPupOps
-
- alpha_bytezap, // This intrinsic function takes two parameters: a ulong
- // (64-bit) value and a ubyte value, and returns a ulong.
- // Each bit in the ubyte corresponds to a byte in the
- // ulong. If the bit is 0, the byte in the output equals
- // the corresponding byte in the input, else the byte in
- // the output is zero.
-
- alpha_bytemanip,// This intrinsic function represents all Alpha byte
- // manipulation instructions. It takes 3 parameters:
- // - The first two are ulong inputs to operate on
- // - The third (uint) is the operation to perform.
- // Possible values defined in the enumeration
- // AlphaByteManipOps
-
- alpha_dfpbop, // This intrinsic function represents Alpha instructions
- // that operate on two doubles and return a double. The
- // first two parameters are the two double values to
- // operate on, and the third is a uint that specifies the
- // operation to perform. Its possible values are defined in
- // the enumeration AlphaFloatingBinaryOps
-
- alpha_dfpuop, // This intrinsic function represents operation on a single
- // double precision floating point value. The first
- // paramters is the value and the second is the operation.
- // The possible values for the operations are defined in the
- // enumeration AlphaFloatingUnaryOps
-
- alpha_unordered,// This intrinsic function tests if two double precision
- // floating point values are unordered. It has two
- // parameters: the two values to be tested. It return a
- // boolean true if the two are unordered, else false.
-
- alpha_uqtodfp, // A generic function that converts a ulong to a double.
- // How the conversion is performed is specified by the
- // second parameter, the possible values for which are
- // defined in the AlphaUqToDfpOps enumeration
-
- alpha_uqtosfp, // A generic function that converts a ulong to a float.
- // How the conversion is performed is specified by the
- // second parameter, the possible values for which are
- // defined in the AlphaUqToSfpOps enumeration
-
- alpha_dfptosq, // A generic function that converts double to a long.
- // How the conversion is performed is specified by the
- // second parameter, the possible values for which are
- // defined in the AlphaDfpToSqOps enumeration
-
- alpha_sfptosq, // A generic function that converts a float to a long.
- // How the conversion is performed is specified by the
- // second parameter, the possible values for which are
- // defined in the AlphaSfpToSq enumeration
+ union {
+ unsigned Integer_Width;
+ unsigned Float_Width;
+ unsigned Vector_Width;
+ unsigned Pointer_AddressSpace;
+ unsigned Struct_NumElements;
+ unsigned Argument_Info;
+ };
+
+ enum ArgKind {
+ AK_AnyInteger,
+ AK_AnyFloat,
+ AK_AnyVector,
+ AK_AnyPointer
+ };
+ unsigned getArgumentNumber() const {
+ assert(Kind == Argument);
+ return Argument_Info >> 2;
+ }
+ ArgKind getArgumentKind() const {
+ assert(Kind == Argument);
+ return (ArgKind)(Argument_Info&3);
+ }
+
+ static IITDescriptor get(IITDescriptorKind K, unsigned Field) {
+ IITDescriptor Result = { K, { Field } };
+ return Result;
+ }
};
-
+
+ /// getIntrinsicInfoTableEntries - Return the IIT table descriptor for the
+ /// specified intrinsic into an array of IITDescriptors.
+ ///
+ void getIntrinsicInfoTableEntries(ID id, SmallVectorImpl<IITDescriptor> &T);
+
} // End Intrinsic namespace
} // End llvm namespace
projects / oota-llvm.git / blobdiff