TypeBuilder.h revision 5e24737d16e1c2aab65d24ff2a10ffc5255864f9
1096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner//===---- llvm/Support/TypeBuilder.h - Builder for LLVM types ---*- C++ -*-===// 2096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// 3096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// The LLVM Compiler Infrastructure 4096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// 5096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// This file is distributed under the University of Illinois Open Source 6096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// License. See LICENSE.TXT for details. 7096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// 8096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner//===----------------------------------------------------------------------===// 9096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// 10096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// This file defines the TypeBuilder class, which is used as a convenient way to 11096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// create LLVM types with a consistent and simplified interface. 12096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// 13096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner//===----------------------------------------------------------------------===// 14096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 15096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner#ifndef LLVM_SUPPORT_TYPEBUILDER_H 16096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner#define LLVM_SUPPORT_TYPEBUILDER_H 17096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 18096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner#include "llvm/DerivedTypes.h" 19a439ee027bc908cd18e75703370174e053699b8aOwen Anderson#include "llvm/LLVMContext.h" 2042da7f754235a85d2334760212cf69400c439dd2Dan Gohman#include <limits.h> 21096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 22096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnernamespace llvm { 23096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 24096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// TypeBuilder - This provides a uniform API for looking up types 25096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// known at compile time. To support cross-compilation, we define a 26096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// series of tag types in the llvm::types namespace, like i<N>, 27096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// ieee_float, ppc_fp128, etc. TypeBuilder<T, false> allows T to be 28096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// any of these, a native C type (whose size may depend on the host 29096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// compiler), or a pointer, function, or struct type built out of 30096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// these. TypeBuilder<T, true> removes native C types from this set 31096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// to guarantee that its result is suitable for cross-compilation. 32096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// We define the primitive types, pointer types, and functions up to 33096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// 5 arguments here, but to use this class with your own types, 34096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// you'll need to specialize it. For example, say you want to call a 35096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// function defined externally as: 36096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// 37096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// struct MyType { 38096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// int32 a; 39096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// int32 *b; 40096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// void *array[1]; // Intended as a flexible array. 41096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// }; 42096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// int8 AFunction(struct MyType *value); 43096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// 44096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// You'll want to use 45714257f5deec6049a4170bdd77ca1c3df989d67eJeffrey Yasskin/// Function::Create(TypeBuilder<types::i<8>(MyType*), true>::get(), ...) 46096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// to declare the function, but when you first try this, your compiler will 47714257f5deec6049a4170bdd77ca1c3df989d67eJeffrey Yasskin/// complain that TypeBuilder<MyType, true>::get() doesn't exist. To fix this, 48714257f5deec6049a4170bdd77ca1c3df989d67eJeffrey Yasskin/// write: 49096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// 50096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// namespace llvm { 51096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// template<bool xcompile> class TypeBuilder<MyType, xcompile> { 52096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// public: 534a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin/// static const StructType *get(LLVMContext &Context) { 544a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin/// // If you cache this result, be sure to cache it separately 554a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin/// // for each LLVMContext. 564a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin/// return StructType::get( 574a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin/// TypeBuilder<types::i<32>, xcompile>::get(Context), 584a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin/// TypeBuilder<types::i<32>*, xcompile>::get(Context), 594a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin/// TypeBuilder<types::i<8>*[], xcompile>::get(Context), 60096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// NULL); 61096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// } 62096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// 63096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// // You may find this a convenient place to put some constants 64096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// // to help with getelementptr. They don't have any effect on 65096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// // the operation of TypeBuilder. 66096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// enum Fields { 67096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// FIELD_A, 68096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// FIELD_B, 69096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// FIELD_ARRAY 70096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// }; 71096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// } 72096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// } // namespace llvm 73096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// 74096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// TypeBuilder cannot handle recursive types or types you only know at runtime. 75096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// If you try to give it a recursive type, it will deadlock, infinitely 76096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// recurse, or throw a recursive_init exception. 77096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename T, bool cross_compilable> class TypeBuilder {}; 78096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 79096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// Types for use with cross-compilable TypeBuilders. These correspond 80096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// exactly with an LLVM-native type. 81096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnernamespace types { 82096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// i<N> corresponds to the LLVM IntegerType with N bits. 83096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<uint32_t num_bits> class i {}; 84096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 85096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// The following classes represent the LLVM floating types. 86096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass ieee_float {}; 87096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass ieee_double {}; 88096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass x86_fp80 {}; 89096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass fp128 {}; 90096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass ppc_fp128 {}; 91096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner} // namespace types 92096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 93096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// LLVM doesn't have const or volatile types. 94096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename T, bool cross> class TypeBuilder<const T, cross> 95096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner : public TypeBuilder<T, cross> {}; 96096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename T, bool cross> class TypeBuilder<volatile T, cross> 97096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner : public TypeBuilder<T, cross> {}; 98096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename T, bool cross> class TypeBuilder<const volatile T, cross> 99096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner : public TypeBuilder<T, cross> {}; 100096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 101096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// Pointers 102096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename T, bool cross> class TypeBuilder<T*, cross> { 103096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 1042e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const PointerType *get(LLVMContext &Context) { 1054a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin return PointerType::getUnqual(TypeBuilder<T,cross>::get(Context)); 106096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 107096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 108096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 109096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// There is no support for references 110096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename T, bool cross> class TypeBuilder<T&, cross> {}; 111096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 112096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// Arrays 113096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename T, size_t N, bool cross> class TypeBuilder<T[N], cross> { 114096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 1152e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const ArrayType *get(LLVMContext &Context) { 1164a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin return ArrayType::get(TypeBuilder<T, cross>::get(Context), N); 117096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 118096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 119096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// LLVM uses an array of length 0 to represent an unknown-length array. 120096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename T, bool cross> class TypeBuilder<T[], cross> { 121096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 1222e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const ArrayType *get(LLVMContext &Context) { 1234a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin return ArrayType::get(TypeBuilder<T, cross>::get(Context), 0); 124096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 125096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 126096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 127096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// Define the C integral types only for TypeBuilder<T, false>. 128096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// 129096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// C integral types do not have a defined size. It would be nice to use the 130096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// stdint.h-defined typedefs that do have defined sizes, but we'd run into the 131096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// following problem: 132096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// 133096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// On an ILP32 machine, stdint.h might define: 134096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// 135096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// typedef int int32_t; 136096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// typedef long long int64_t; 137096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// typedef long size_t; 138096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// 139096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// If we defined TypeBuilder<int32_t> and TypeBuilder<int64_t>, then any use of 140096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// TypeBuilder<size_t> would fail. We couldn't define TypeBuilder<size_t> in 141096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// addition to the defined-size types because we'd get duplicate definitions on 142096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// platforms where stdint.h instead defines: 143096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// 144096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// typedef int int32_t; 145096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// typedef long long int64_t; 146096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// typedef int size_t; 147096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// 148096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner// So we define all the primitive C types and nothing else. 149096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner#define DEFINE_INTEGRAL_TYPEBUILDER(T) \ 150096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<> class TypeBuilder<T, false> { \ 151096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: \ 1522e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const IntegerType *get(LLVMContext &Context) { \ 1534a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin return IntegerType::get(Context, sizeof(T) * CHAR_BIT); \ 154096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } \ 155096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; \ 156096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<> class TypeBuilder<T, true> { \ 157096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner /* We provide a definition here so users don't accidentally */ \ 158096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner /* define these types to work. */ \ 159096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner} 160096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(char); 161096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(signed char); 162096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(unsigned char); 163096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(short); 164096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(unsigned short); 165096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(int); 166096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(unsigned int); 167096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(long); 168096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(unsigned long); 169096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner#ifdef _MSC_VER 170096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(__int64); 171096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(unsigned __int64); 172096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner#else /* _MSC_VER */ 173096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(long long); 174096fd7b5a7b19912bfedeaef870a0c655f16e325Chris LattnerDEFINE_INTEGRAL_TYPEBUILDER(unsigned long long); 175096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner#endif /* _MSC_VER */ 176096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner#undef DEFINE_INTEGRAL_TYPEBUILDER 177096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 178096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<uint32_t num_bits, bool cross> 179096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass TypeBuilder<types::i<num_bits>, cross> { 180096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 1811d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson static const IntegerType *get(LLVMContext &C) { 1824a38930a4595d94b1f379d6955c531c48e5c2aa0Jeffrey Yasskin return IntegerType::get(C, num_bits); 183096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 184096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 185096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 186096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<> class TypeBuilder<float, false> { 187096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 1881d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson static const Type *get(LLVMContext& C) { 1891d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson return Type::getFloatTy(C); 190096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 191096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 192096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<> class TypeBuilder<float, true> {}; 193096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 194096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<> class TypeBuilder<double, false> { 195096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 1961d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson static const Type *get(LLVMContext& C) { 1971d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson return Type::getDoubleTy(C); 198096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 199096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 200096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<> class TypeBuilder<double, true> {}; 201096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 202096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<bool cross> class TypeBuilder<types::ieee_float, cross> { 203096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 2041d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson static const Type *get(LLVMContext& C) { return Type::getFloatTy(C); } 205096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 206096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<bool cross> class TypeBuilder<types::ieee_double, cross> { 207096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 2081d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson static const Type *get(LLVMContext& C) { return Type::getDoubleTy(C); } 209096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 210096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<bool cross> class TypeBuilder<types::x86_fp80, cross> { 211096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 2121d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson static const Type *get(LLVMContext& C) { return Type::getX86_FP80Ty(C); } 213096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 214096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<bool cross> class TypeBuilder<types::fp128, cross> { 215096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 2161d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson static const Type *get(LLVMContext& C) { return Type::getFP128Ty(C); } 217096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 218096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<bool cross> class TypeBuilder<types::ppc_fp128, cross> { 219096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 2201d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson static const Type *get(LLVMContext& C) { return Type::getPPC_FP128Ty(C); } 221096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 222096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 223096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<bool cross> class TypeBuilder<void, cross> { 224096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 2251d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson static const Type *get(LLVMContext &C) { 2261d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson return Type::getVoidTy(C); 227096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 228096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 229096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 230096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// void* is disallowed in LLVM types, but it occurs often enough in C code that 231096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner/// we special case it. 232096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<> class TypeBuilder<void*, false> 233096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner : public TypeBuilder<types::i<8>*, false> {}; 2345e24737d16e1c2aab65d24ff2a10ffc5255864f9Jeffrey Yasskintemplate<> class TypeBuilder<const void*, false> 2355e24737d16e1c2aab65d24ff2a10ffc5255864f9Jeffrey Yasskin : public TypeBuilder<types::i<8>*, false> {}; 2365e24737d16e1c2aab65d24ff2a10ffc5255864f9Jeffrey Yasskintemplate<> class TypeBuilder<volatile void*, false> 2375e24737d16e1c2aab65d24ff2a10ffc5255864f9Jeffrey Yasskin : public TypeBuilder<types::i<8>*, false> {}; 2385e24737d16e1c2aab65d24ff2a10ffc5255864f9Jeffrey Yasskintemplate<> class TypeBuilder<const volatile void*, false> 2395e24737d16e1c2aab65d24ff2a10ffc5255864f9Jeffrey Yasskin : public TypeBuilder<types::i<8>*, false> {}; 240096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 241096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, bool cross> class TypeBuilder<R(), cross> { 242096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 2432e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 244debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), false); 245096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 246096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 247096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, typename A1, bool cross> class TypeBuilder<R(A1), cross> { 248096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 2492e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 250096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner std::vector<const Type*> params; 251096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner params.reserve(1); 2522e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A1, cross>::get(Context)); 253debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), 2542e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params, false); 255096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 256096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 257096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, typename A1, typename A2, bool cross> 258096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass TypeBuilder<R(A1, A2), cross> { 259096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 2602e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 261096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner std::vector<const Type*> params; 262096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner params.reserve(2); 2632e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A1, cross>::get(Context)); 2642e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A2, cross>::get(Context)); 265debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), 2662e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params, false); 267096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 268096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 269096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, typename A1, typename A2, typename A3, bool cross> 270096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass TypeBuilder<R(A1, A2, A3), cross> { 271096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 2722e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 273096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner std::vector<const Type*> params; 274096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner params.reserve(3); 2752e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A1, cross>::get(Context)); 2762e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A2, cross>::get(Context)); 2772e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A3, cross>::get(Context)); 278debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), 2792e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params, false); 280096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 281096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 282096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 283096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, typename A1, typename A2, typename A3, typename A4, 284096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner bool cross> 285096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass TypeBuilder<R(A1, A2, A3, A4), cross> { 286096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 2872e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 288096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner std::vector<const Type*> params; 289096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner params.reserve(4); 2902e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A1, cross>::get(Context)); 2912e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A2, cross>::get(Context)); 2922e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A3, cross>::get(Context)); 2932e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A4, cross>::get(Context)); 294debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), 2952e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params, false); 296096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 297096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 298096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 299096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, typename A1, typename A2, typename A3, typename A4, 300096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner typename A5, bool cross> 301096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass TypeBuilder<R(A1, A2, A3, A4, A5), cross> { 302096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 3032e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 304096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner std::vector<const Type*> params; 305096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner params.reserve(5); 3062e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A1, cross>::get(Context)); 3072e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A2, cross>::get(Context)); 3082e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A3, cross>::get(Context)); 3092e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A4, cross>::get(Context)); 3102e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A5, cross>::get(Context)); 311debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), 3122e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params, false); 313096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 314096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 315096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 316096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, bool cross> class TypeBuilder<R(...), cross> { 317096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 3182e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 319debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), true); 320096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 321096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 322096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, typename A1, bool cross> 323096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass TypeBuilder<R(A1, ...), cross> { 324096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 3252e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 326096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner std::vector<const Type*> params; 327096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner params.reserve(1); 3282e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A1, cross>::get(Context)); 329debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), params, true); 330096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 331096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 332096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, typename A1, typename A2, bool cross> 333096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass TypeBuilder<R(A1, A2, ...), cross> { 334096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 3352e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 336096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner std::vector<const Type*> params; 337096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner params.reserve(2); 3382e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A1, cross>::get(Context)); 3392e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A2, cross>::get(Context)); 340debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), 3412e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params, true); 342096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 343096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 344096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, typename A1, typename A2, typename A3, bool cross> 345096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass TypeBuilder<R(A1, A2, A3, ...), cross> { 346096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 3472e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 348096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner std::vector<const Type*> params; 349096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner params.reserve(3); 3502e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A1, cross>::get(Context)); 3512e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A2, cross>::get(Context)); 3522e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A3, cross>::get(Context)); 353debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), 3542e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params, true); 355096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 356096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 357096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 358096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, typename A1, typename A2, typename A3, typename A4, 359096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner bool cross> 360096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass TypeBuilder<R(A1, A2, A3, A4, ...), cross> { 361096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 3622e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 363096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner std::vector<const Type*> params; 364096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner params.reserve(4); 3652e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A1, cross>::get(Context)); 3662e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A2, cross>::get(Context)); 3672e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A3, cross>::get(Context)); 3682e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A4, cross>::get(Context)); 369debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), 3702e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params, true); 371096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 372096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 373096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 374096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnertemplate<typename R, typename A1, typename A2, typename A3, typename A4, 375096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner typename A5, bool cross> 376096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerclass TypeBuilder<R(A1, A2, A3, A4, A5, ...), cross> { 377096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattnerpublic: 3782e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson static const FunctionType *get(LLVMContext &Context) { 379096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner std::vector<const Type*> params; 380096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner params.reserve(5); 3812e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A1, cross>::get(Context)); 3822e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A2, cross>::get(Context)); 3832e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A3, cross>::get(Context)); 3842e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A4, cross>::get(Context)); 3852e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params.push_back(TypeBuilder<A5, cross>::get(Context)); 386debcb01b0f0a15f568ca69e8f288fade4bfc7297Owen Anderson return FunctionType::get(TypeBuilder<R, cross>::get(Context), 3872e4ddf6218d1a7360a3d3836f80056703f149e85Owen Anderson params, true); 388096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner } 389096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner}; 390096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 391096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner} // namespace llvm 392096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner 393096fd7b5a7b19912bfedeaef870a0c655f16e325Chris Lattner#endif 394