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