blob: 0d446d6640c3e82bb82b2b3384eaf21c4a3abf02 [file] [log] [blame]
Gordon Henriksen76a03742007-09-18 03:18:57 +00001/*===-- llvm-c/Core.h - Core Library C Interface ------------------*- C -*-===*\
2|* *|
3|* The LLVM Compiler Infrastructure *|
4|* *|
Chris Lattnere9cc7422007-12-29 19:59:42 +00005|* This file is distributed under the University of Illinois Open Source *|
6|* License. See LICENSE.TXT for details. *|
Gordon Henriksen76a03742007-09-18 03:18:57 +00007|* *|
8|*===----------------------------------------------------------------------===*|
9|* *|
10|* This header declares the C interface to libLLVMCore.a, which implements *|
11|* the LLVM intermediate representation. *|
12|* *|
13|* LLVM uses a polymorphic type hierarchy which C cannot represent, therefore *|
14|* parameters must be passed as base types. Despite the declared types, most *|
15|* of the functions provided operate only on branches of the type hierarchy. *|
16|* The declared parameter names are descriptive and specify which type is *|
17|* required. Additionally, each type hierarchy is documented along with the *|
18|* functions that operate upon it. For more detail, refer to LLVM's C++ code. *|
19|* If in doubt, refer to Core.cpp, which performs paramter downcasts in the *|
20|* form unwrap<RequiredType>(Param). *|
21|* *|
22|* Many exotic languages can interoperate with C code but have a harder time *|
23|* with C++ due to name mangling. So in addition to C, this interface enables *|
24|* tools written in such languages. *|
25|* *|
Gordon Henriksen7330acd2007-10-05 23:59:36 +000026|* When included into a C++ source file, also declares 'wrap' and 'unwrap' *|
27|* helpers to perform opaque reference<-->pointer conversions. These helpers *|
28|* are shorter and more tightly typed than writing the casts by hand when *|
29|* authoring bindings. In assert builds, they will do runtime type checking. *|
30|* *|
Gordon Henriksen76a03742007-09-18 03:18:57 +000031\*===----------------------------------------------------------------------===*/
32
33#ifndef LLVM_C_CORE_H
34#define LLVM_C_CORE_H
35
36#ifdef __cplusplus
Gordon Henriksen7330acd2007-10-05 23:59:36 +000037
38/* Need these includes to support the LLVM 'cast' template for the C++ 'wrap'
39 and 'unwrap' conversion functions. */
40#include "llvm/Module.h"
41#include "llvm/Support/LLVMBuilder.h"
42
Gordon Henriksen76a03742007-09-18 03:18:57 +000043extern "C" {
44#endif
45
46
47/* Opaque types. */
Gordon Henriksen4a4d7352007-12-30 17:46:33 +000048
49/**
50 * The top-level container for all other LLVM Intermediate Representation (IR)
51 * objects. See the llvm::Module class.
52 */
Gordon Henriksen76a03742007-09-18 03:18:57 +000053typedef struct LLVMOpaqueModule *LLVMModuleRef;
Gordon Henriksen4a4d7352007-12-30 17:46:33 +000054
55/**
56 * Each value in the LLVM IR has a type, an instance of [lltype]. See the
57 * llvm::Type class.
58 */
Gordon Henriksen76a03742007-09-18 03:18:57 +000059typedef struct LLVMOpaqueType *LLVMTypeRef;
Gordon Henriksen4a4d7352007-12-30 17:46:33 +000060
61/**
62 * When building recursive types using [refine_type], [lltype] values may become
63 * invalid; use [lltypehandle] to resolve this problem. See the
64 * llvm::AbstractTypeHolder] class.
65 */
Gordon Henriksenffb48762007-10-07 00:13:35 +000066typedef struct LLVMOpaqueTypeHandle *LLVMTypeHandleRef;
Gordon Henriksen4a4d7352007-12-30 17:46:33 +000067
Gordon Henriksen76a03742007-09-18 03:18:57 +000068typedef struct LLVMOpaqueValue *LLVMValueRef;
Gordon Henriksenc23b66c2007-09-26 20:56:12 +000069typedef struct LLVMOpaqueBasicBlock *LLVMBasicBlockRef;
70typedef struct LLVMOpaqueBuilder *LLVMBuilderRef;
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000071
72/* Used to provide a module to JIT or interpreter.
73 * See the llvm::ModuleProvider class.
74 */
Gordon Henriksen0a68fe22007-12-12 01:04:30 +000075typedef struct LLVMOpaqueModuleProvider *LLVMModuleProviderRef;
Gordon Henriksen76a03742007-09-18 03:18:57 +000076
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000077/* Used to provide a module to JIT or interpreter.
78 * See the llvm::MemoryBuffer class.
79 */
80typedef struct LLVMOpaqueMemoryBuffer *LLVMMemoryBufferRef;
81
Gordon Henriksen76a03742007-09-18 03:18:57 +000082typedef enum {
Gordon Henriksen4a4d7352007-12-30 17:46:33 +000083 LLVMVoidTypeKind, /**< type with no size */
84 LLVMFloatTypeKind, /**< 32 bit floating point type */
85 LLVMDoubleTypeKind, /**< 64 bit floating point type */
86 LLVMX86_FP80TypeKind, /**< 80 bit floating point type (X87) */
87 LLVMFP128TypeKind, /**< 128 bit floating point type (112-bit mantissa)*/
88 LLVMPPC_FP128TypeKind, /**< 128 bit floating point type (two 64-bits) */
89 LLVMLabelTypeKind, /**< Labels */
90 LLVMIntegerTypeKind, /**< Arbitrary bit width integers */
91 LLVMFunctionTypeKind, /**< Functions */
92 LLVMStructTypeKind, /**< Structures */
93 LLVMArrayTypeKind, /**< Arrays */
94 LLVMPointerTypeKind, /**< Pointers */
95 LLVMOpaqueTypeKind, /**< Opaque: type with unknown structure */
96 LLVMVectorTypeKind /**< SIMD 'packed' format, or other vector type */
Gordon Henriksen76a03742007-09-18 03:18:57 +000097} LLVMTypeKind;
98
99typedef enum {
Gordon Henriksen4a4d7352007-12-30 17:46:33 +0000100 LLVMExternalLinkage, /**< Externally visible function */
101 LLVMLinkOnceLinkage, /**< Keep one copy of function when linking (inline)*/
102 LLVMWeakLinkage, /**< Keep one copy of function when linking (weak) */
103 LLVMAppendingLinkage, /**< Special purpose, only applies to global arrays */
104 LLVMInternalLinkage, /**< Rename collisions when linking (static
105 functions) */
106 LLVMDLLImportLinkage, /**< Function to be imported from DLL */
107 LLVMDLLExportLinkage, /**< Function to be accessible from DLL */
108 LLVMExternalWeakLinkage,/**< ExternalWeak linkage description */
109 LLVMGhostLinkage /**< Stand-in functions for streaming fns from
110 bitcode */
Gordon Henriksen76a03742007-09-18 03:18:57 +0000111} LLVMLinkage;
112
113typedef enum {
Gordon Henriksen4a4d7352007-12-30 17:46:33 +0000114 LLVMDefaultVisibility, /**< The GV is visible */
115 LLVMHiddenVisibility, /**< The GV is hidden */
116 LLVMProtectedVisibility /**< The GV is protected */
Gordon Henriksen76a03742007-09-18 03:18:57 +0000117} LLVMVisibility;
118
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000119typedef enum {
120 LLVMCCallConv = 0,
121 LLVMFastCallConv = 8,
122 LLVMColdCallConv = 9,
123 LLVMX86StdcallCallConv = 64,
124 LLVMX86FastcallCallConv = 65
125} LLVMCallConv;
126
127typedef enum {
Gordon Henriksen4a4d7352007-12-30 17:46:33 +0000128 LLVMIntEQ = 32, /**< equal */
129 LLVMIntNE, /**< not equal */
130 LLVMIntUGT, /**< unsigned greater than */
131 LLVMIntUGE, /**< unsigned greater or equal */
132 LLVMIntULT, /**< unsigned less than */
133 LLVMIntULE, /**< unsigned less or equal */
134 LLVMIntSGT, /**< signed greater than */
135 LLVMIntSGE, /**< signed greater or equal */
136 LLVMIntSLT, /**< signed less than */
137 LLVMIntSLE /**< signed less or equal */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000138} LLVMIntPredicate;
139
140typedef enum {
Gordon Henriksen4a4d7352007-12-30 17:46:33 +0000141 LLVMRealPredicateFalse, /**< Always false (always folded) */
142 LLVMRealOEQ, /**< True if ordered and equal */
143 LLVMRealOGT, /**< True if ordered and greater than */
144 LLVMRealOGE, /**< True if ordered and greater than or equal */
145 LLVMRealOLT, /**< True if ordered and less than */
146 LLVMRealOLE, /**< True if ordered and less than or equal */
147 LLVMRealONE, /**< True if ordered and operands are unequal */
148 LLVMRealORD, /**< True if ordered (no nans) */
149 LLVMRealUNO, /**< True if unordered: isnan(X) | isnan(Y) */
150 LLVMRealUEQ, /**< True if unordered or equal */
151 LLVMRealUGT, /**< True if unordered or greater than */
152 LLVMRealUGE, /**< True if unordered, greater than, or equal */
153 LLVMRealULT, /**< True if unordered or less than */
154 LLVMRealULE, /**< True if unordered, less than, or equal */
155 LLVMRealUNE, /**< True if unordered or not equal */
156 LLVMRealPredicateTrue /**< Always true (always folded) */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000157} LLVMRealPredicate;
158
Gordon Henriksen76a03742007-09-18 03:18:57 +0000159
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000160/*===-- Error handling ----------------------------------------------------===*/
161
162void LLVMDisposeMessage(char *Message);
163
164
Gordon Henriksen76a03742007-09-18 03:18:57 +0000165/*===-- Modules -----------------------------------------------------------===*/
166
167/* Create and destroy modules. */
168LLVMModuleRef LLVMModuleCreateWithName(const char *ModuleID);
169void LLVMDisposeModule(LLVMModuleRef M);
170
Gordon Henriksen05568bb2007-12-27 20:13:47 +0000171/* Data layout */
172const char *LLVMGetDataLayout(LLVMModuleRef M);
173void LLVMSetDataLayout(LLVMModuleRef M, const char *Triple);
174
175/* Target triple */
176const char *LLVMGetTarget(LLVMModuleRef M);
177void LLVMSetTarget(LLVMModuleRef M, const char *Triple);
178
Gordon Henriksen76a03742007-09-18 03:18:57 +0000179/* Same as Module::addTypeName. */
180int LLVMAddTypeName(LLVMModuleRef M, const char *Name, LLVMTypeRef Ty);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000181void LLVMDeleteTypeName(LLVMModuleRef M, const char *Name);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000182
183
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000184/*===-- Types -------------------------------------------------------------===*/
Gordon Henriksen76a03742007-09-18 03:18:57 +0000185
186/* LLVM types conform to the following hierarchy:
187 *
188 * types:
189 * integer type
190 * real type
191 * function type
192 * sequence types:
193 * array type
194 * pointer type
195 * vector type
196 * void type
197 * label type
198 * opaque type
199 */
200
201LLVMTypeKind LLVMGetTypeKind(LLVMTypeRef Ty);
202void LLVMRefineAbstractType(LLVMTypeRef AbstractType, LLVMTypeRef ConcreteType);
203
204/* Operations on integer types */
205LLVMTypeRef LLVMInt1Type();
206LLVMTypeRef LLVMInt8Type();
207LLVMTypeRef LLVMInt16Type();
208LLVMTypeRef LLVMInt32Type();
209LLVMTypeRef LLVMInt64Type();
Gordon Henriksened7beaa2007-10-06 16:05:20 +0000210LLVMTypeRef LLVMIntType(unsigned NumBits);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000211unsigned LLVMGetIntTypeWidth(LLVMTypeRef IntegerTy);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000212
213/* Operations on real types */
214LLVMTypeRef LLVMFloatType();
215LLVMTypeRef LLVMDoubleType();
216LLVMTypeRef LLVMX86FP80Type();
217LLVMTypeRef LLVMFP128Type();
218LLVMTypeRef LLVMPPCFP128Type();
219
220/* Operations on function types */
Gordon Henriksened7beaa2007-10-06 16:05:20 +0000221LLVMTypeRef LLVMFunctionType(LLVMTypeRef ReturnType,
222 LLVMTypeRef *ParamTypes, unsigned ParamCount,
223 int IsVarArg);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000224int LLVMIsFunctionVarArg(LLVMTypeRef FunctionTy);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000225LLVMTypeRef LLVMGetReturnType(LLVMTypeRef FunctionTy);
226unsigned LLVMCountParamTypes(LLVMTypeRef FunctionTy);
227void LLVMGetParamTypes(LLVMTypeRef FunctionTy, LLVMTypeRef *Dest);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000228
229/* Operations on struct types */
Gordon Henriksened7beaa2007-10-06 16:05:20 +0000230LLVMTypeRef LLVMStructType(LLVMTypeRef *ElementTypes, unsigned ElementCount,
231 int Packed);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000232unsigned LLVMCountStructElementTypes(LLVMTypeRef StructTy);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000233void LLVMGetStructElementTypes(LLVMTypeRef StructTy, LLVMTypeRef *Dest);
234int LLVMIsPackedStruct(LLVMTypeRef StructTy);
235
236/* Operations on array, pointer, and vector types (sequence types) */
Gordon Henriksened7beaa2007-10-06 16:05:20 +0000237LLVMTypeRef LLVMArrayType(LLVMTypeRef ElementType, unsigned ElementCount);
Gordon Henriksen5a3fe032007-12-17 16:08:32 +0000238LLVMTypeRef LLVMPointerType(LLVMTypeRef ElementType, unsigned AddressSpace);
Gordon Henriksened7beaa2007-10-06 16:05:20 +0000239LLVMTypeRef LLVMVectorType(LLVMTypeRef ElementType, unsigned ElementCount);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000240
241LLVMTypeRef LLVMGetElementType(LLVMTypeRef Ty);
242unsigned LLVMGetArrayLength(LLVMTypeRef ArrayTy);
Gordon Henriksen5a3fe032007-12-17 16:08:32 +0000243unsigned LLVMGetPointerAddressSpace(LLVMTypeRef PointerTy);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000244unsigned LLVMGetVectorSize(LLVMTypeRef VectorTy);
245
246/* Operations on other types */
247LLVMTypeRef LLVMVoidType();
248LLVMTypeRef LLVMLabelType();
Gordon Henriksened7beaa2007-10-06 16:05:20 +0000249LLVMTypeRef LLVMOpaqueType();
Gordon Henriksen76a03742007-09-18 03:18:57 +0000250
Gordon Henriksenffb48762007-10-07 00:13:35 +0000251/* Operations on type handles */
252LLVMTypeHandleRef LLVMCreateTypeHandle(LLVMTypeRef PotentiallyAbstractTy);
253void LLVMRefineType(LLVMTypeRef AbstractTy, LLVMTypeRef ConcreteTy);
254LLVMTypeRef LLVMResolveTypeHandle(LLVMTypeHandleRef TypeHandle);
255void LLVMDisposeTypeHandle(LLVMTypeHandleRef TypeHandle);
256
Gordon Henriksen76a03742007-09-18 03:18:57 +0000257
258/*===-- Values ------------------------------------------------------------===*/
259
260/* The bulk of LLVM's object model consists of values, which comprise a very
261 * rich type hierarchy.
262 *
263 * values:
264 * constants:
265 * scalar constants
266 * composite contants
267 * globals:
268 * global variable
269 * function
270 * alias
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000271 * basic blocks
Gordon Henriksen76a03742007-09-18 03:18:57 +0000272 */
273
274/* Operations on all values */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000275LLVMTypeRef LLVMTypeOf(LLVMValueRef Val);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000276const char *LLVMGetValueName(LLVMValueRef Val);
277void LLVMSetValueName(LLVMValueRef Val, const char *Name);
Gordon Henriksen1d0d24c2007-10-06 00:08:49 +0000278void LLVMDumpValue(LLVMValueRef Val);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000279
280/* Operations on constants of any type */
Gordon Henriksen1046c732007-10-06 15:11:06 +0000281LLVMValueRef LLVMConstNull(LLVMTypeRef Ty); /* all zeroes */
282LLVMValueRef LLVMConstAllOnes(LLVMTypeRef Ty); /* only for int/vector */
Gordon Henriksen76a03742007-09-18 03:18:57 +0000283LLVMValueRef LLVMGetUndef(LLVMTypeRef Ty);
Gordon Henriksendc88c062007-09-18 18:07:51 +0000284int LLVMIsConstant(LLVMValueRef Val);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000285int LLVMIsNull(LLVMValueRef Val);
Gordon Henriksendc88c062007-09-18 18:07:51 +0000286int LLVMIsUndef(LLVMValueRef Val);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000287
288/* Operations on scalar constants */
Gordon Henriksen1046c732007-10-06 15:11:06 +0000289LLVMValueRef LLVMConstInt(LLVMTypeRef IntTy, unsigned long long N,
290 int SignExtend);
291LLVMValueRef LLVMConstReal(LLVMTypeRef RealTy, double N);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000292
293/* Operations on composite constants */
Gordon Henriksen1046c732007-10-06 15:11:06 +0000294LLVMValueRef LLVMConstString(const char *Str, unsigned Length,
295 int DontNullTerminate);
296LLVMValueRef LLVMConstArray(LLVMTypeRef ArrayTy,
297 LLVMValueRef *ConstantVals, unsigned Length);
298LLVMValueRef LLVMConstStruct(LLVMValueRef *ConstantVals, unsigned Count,
299 int packed);
300LLVMValueRef LLVMConstVector(LLVMValueRef *ScalarConstantVals, unsigned Size);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000301
Gordon Henriksen7ce31762007-10-06 14:29:36 +0000302/* Constant expressions */
303LLVMValueRef LLVMSizeOf(LLVMTypeRef Ty);
304LLVMValueRef LLVMConstNeg(LLVMValueRef ConstantVal);
305LLVMValueRef LLVMConstNot(LLVMValueRef ConstantVal);
306LLVMValueRef LLVMConstAdd(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
307LLVMValueRef LLVMConstSub(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
308LLVMValueRef LLVMConstMul(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
309LLVMValueRef LLVMConstUDiv(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
310LLVMValueRef LLVMConstSDiv(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
311LLVMValueRef LLVMConstFDiv(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
312LLVMValueRef LLVMConstURem(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
313LLVMValueRef LLVMConstSRem(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
314LLVMValueRef LLVMConstFRem(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
315LLVMValueRef LLVMConstAnd(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
316LLVMValueRef LLVMConstOr(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
317LLVMValueRef LLVMConstXor(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
318LLVMValueRef LLVMConstICmp(LLVMIntPredicate Predicate,
319 LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
320LLVMValueRef LLVMConstFCmp(LLVMRealPredicate Predicate,
321 LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
322LLVMValueRef LLVMConstShl(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
323LLVMValueRef LLVMConstLShr(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
324LLVMValueRef LLVMConstAShr(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
325LLVMValueRef LLVMConstGEP(LLVMValueRef ConstantVal,
326 LLVMValueRef *ConstantIndices, unsigned NumIndices);
327LLVMValueRef LLVMConstTrunc(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
328LLVMValueRef LLVMConstSExt(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
329LLVMValueRef LLVMConstZExt(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
330LLVMValueRef LLVMConstFPTrunc(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
331LLVMValueRef LLVMConstFPExt(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
332LLVMValueRef LLVMConstUIToFP(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
333LLVMValueRef LLVMConstSIToFP(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
334LLVMValueRef LLVMConstFPToUI(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
335LLVMValueRef LLVMConstFPToSI(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
336LLVMValueRef LLVMConstPtrToInt(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
337LLVMValueRef LLVMConstIntToPtr(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
338LLVMValueRef LLVMConstBitCast(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
339LLVMValueRef LLVMConstSelect(LLVMValueRef ConstantCondition,
340 LLVMValueRef ConstantIfTrue,
341 LLVMValueRef ConstantIfFalse);
342LLVMValueRef LLVMConstExtractElement(LLVMValueRef VectorConstant,
343 LLVMValueRef IndexConstant);
344LLVMValueRef LLVMConstInsertElement(LLVMValueRef VectorConstant,
345 LLVMValueRef ElementValueConstant,
346 LLVMValueRef IndexConstant);
347LLVMValueRef LLVMConstShuffleVector(LLVMValueRef VectorAConstant,
348 LLVMValueRef VectorBConstant,
349 LLVMValueRef MaskConstant);
350
Gordon Henriksen76a03742007-09-18 03:18:57 +0000351/* Operations on global variables, functions, and aliases (globals) */
352int LLVMIsDeclaration(LLVMValueRef Global);
353LLVMLinkage LLVMGetLinkage(LLVMValueRef Global);
354void LLVMSetLinkage(LLVMValueRef Global, LLVMLinkage Linkage);
355const char *LLVMGetSection(LLVMValueRef Global);
356void LLVMSetSection(LLVMValueRef Global, const char *Section);
357LLVMVisibility LLVMGetVisibility(LLVMValueRef Global);
358void LLVMSetVisibility(LLVMValueRef Global, LLVMVisibility Viz);
359unsigned LLVMGetAlignment(LLVMValueRef Global);
360void LLVMSetAlignment(LLVMValueRef Global, unsigned Bytes);
361
362/* Operations on global variables */
363LLVMValueRef LLVMAddGlobal(LLVMModuleRef M, LLVMTypeRef Ty, const char *Name);
Gordon Henriksen783f7bb2007-10-08 03:45:09 +0000364LLVMValueRef LLVMGetNamedGlobal(LLVMModuleRef M, const char *Name);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000365void LLVMDeleteGlobal(LLVMValueRef GlobalVar);
366int LLVMHasInitializer(LLVMValueRef GlobalVar);
367LLVMValueRef LLVMGetInitializer(LLVMValueRef GlobalVar);
368void LLVMSetInitializer(LLVMValueRef GlobalVar, LLVMValueRef ConstantVal);
369int LLVMIsThreadLocal(LLVMValueRef GlobalVar);
370void LLVMSetThreadLocal(LLVMValueRef GlobalVar, int IsThreadLocal);
Gordon Henriksen751ebf72007-10-07 17:31:42 +0000371int LLVMIsGlobalConstant(LLVMValueRef GlobalVar);
372void LLVMSetGlobalConstant(LLVMValueRef GlobalVar, int IsConstant);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000373
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000374/* Operations on functions */
375LLVMValueRef LLVMAddFunction(LLVMModuleRef M, const char *Name,
376 LLVMTypeRef FunctionTy);
Gordon Henriksen783f7bb2007-10-08 03:45:09 +0000377LLVMValueRef LLVMGetNamedFunction(LLVMModuleRef M, const char *Name);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000378void LLVMDeleteFunction(LLVMValueRef Fn);
379unsigned LLVMCountParams(LLVMValueRef Fn);
380void LLVMGetParams(LLVMValueRef Fn, LLVMValueRef *Params);
381LLVMValueRef LLVMGetParam(LLVMValueRef Fn, unsigned Index);
382unsigned LLVMGetIntrinsicID(LLVMValueRef Fn);
383unsigned LLVMGetFunctionCallConv(LLVMValueRef Fn);
384void LLVMSetFunctionCallConv(LLVMValueRef Fn, unsigned CC);
Gordon Henriksen71183b62007-12-10 03:18:06 +0000385const char *LLVMGetCollector(LLVMValueRef Fn);
386void LLVMSetCollector(LLVMValueRef Fn, const char *Coll);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000387
388/* Operations on basic blocks */
389LLVMValueRef LLVMBasicBlockAsValue(LLVMBasicBlockRef Bb);
390int LLVMValueIsBasicBlock(LLVMValueRef Val);
391LLVMBasicBlockRef LLVMValueAsBasicBlock(LLVMValueRef Val);
392unsigned LLVMCountBasicBlocks(LLVMValueRef Fn);
393void LLVMGetBasicBlocks(LLVMValueRef Fn, LLVMBasicBlockRef *BasicBlocks);
394LLVMBasicBlockRef LLVMGetEntryBasicBlock(LLVMValueRef Fn);
395LLVMBasicBlockRef LLVMAppendBasicBlock(LLVMValueRef Fn, const char *Name);
396LLVMBasicBlockRef LLVMInsertBasicBlock(LLVMBasicBlockRef InsertBeforeBB,
397 const char *Name);
398void LLVMDeleteBasicBlock(LLVMBasicBlockRef BB);
399
Gordon Henriksen1158c532007-12-29 20:45:00 +0000400/* Operations on call sites */
401void LLVMSetInstructionCallConv(LLVMValueRef Instr, unsigned CC);
402unsigned LLVMGetInstructionCallConv(LLVMValueRef Instr);
403
Gordon Henriksen44dd8fb2007-10-08 18:14:39 +0000404/* Operations on phi nodes */
405void LLVMAddIncoming(LLVMValueRef PhiNode, LLVMValueRef *IncomingValues,
406 LLVMBasicBlockRef *IncomingBlocks, unsigned Count);
407unsigned LLVMCountIncoming(LLVMValueRef PhiNode);
408LLVMValueRef LLVMGetIncomingValue(LLVMValueRef PhiNode, unsigned Index);
409LLVMBasicBlockRef LLVMGetIncomingBlock(LLVMValueRef PhiNode, unsigned Index);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000410
411/*===-- Instruction builders ----------------------------------------------===*/
412
413/* An instruction builder represents a point within a basic block, and is the
414 * exclusive means of building instructions using the C interface.
415 */
416
417LLVMBuilderRef LLVMCreateBuilder();
418void LLVMPositionBuilderBefore(LLVMBuilderRef Builder, LLVMValueRef Instr);
419void LLVMPositionBuilderAtEnd(LLVMBuilderRef Builder, LLVMBasicBlockRef Block);
420void LLVMDisposeBuilder(LLVMBuilderRef Builder);
421
422/* Terminators */
423LLVMValueRef LLVMBuildRetVoid(LLVMBuilderRef);
424LLVMValueRef LLVMBuildRet(LLVMBuilderRef, LLVMValueRef V);
425LLVMValueRef LLVMBuildBr(LLVMBuilderRef, LLVMBasicBlockRef Dest);
426LLVMValueRef LLVMBuildCondBr(LLVMBuilderRef, LLVMValueRef If,
427 LLVMBasicBlockRef Then, LLVMBasicBlockRef Else);
428LLVMValueRef LLVMBuildSwitch(LLVMBuilderRef, LLVMValueRef V,
429 LLVMBasicBlockRef Else, unsigned NumCases);
430LLVMValueRef LLVMBuildInvoke(LLVMBuilderRef, LLVMValueRef Fn,
431 LLVMValueRef *Args, unsigned NumArgs,
432 LLVMBasicBlockRef Then, LLVMBasicBlockRef Catch,
433 const char *Name);
434LLVMValueRef LLVMBuildUnwind(LLVMBuilderRef);
435LLVMValueRef LLVMBuildUnreachable(LLVMBuilderRef);
436
437/* Arithmetic */
438LLVMValueRef LLVMBuildAdd(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
439 const char *Name);
440LLVMValueRef LLVMBuildSub(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
441 const char *Name);
442LLVMValueRef LLVMBuildMul(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
443 const char *Name);
444LLVMValueRef LLVMBuildUDiv(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
445 const char *Name);
446LLVMValueRef LLVMBuildSDiv(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
447 const char *Name);
448LLVMValueRef LLVMBuildFDiv(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
449 const char *Name);
450LLVMValueRef LLVMBuildURem(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
451 const char *Name);
452LLVMValueRef LLVMBuildSRem(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
453 const char *Name);
454LLVMValueRef LLVMBuildFRem(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
455 const char *Name);
456LLVMValueRef LLVMBuildShl(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
457 const char *Name);
458LLVMValueRef LLVMBuildLShr(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
459 const char *Name);
460LLVMValueRef LLVMBuildAShr(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
461 const char *Name);
462LLVMValueRef LLVMBuildAnd(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
463 const char *Name);
464LLVMValueRef LLVMBuildOr(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
465 const char *Name);
466LLVMValueRef LLVMBuildXor(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
467 const char *Name);
468LLVMValueRef LLVMBuildNeg(LLVMBuilderRef, LLVMValueRef V, const char *Name);
469LLVMValueRef LLVMBuildNot(LLVMBuilderRef, LLVMValueRef V, const char *Name);
470
471/* Memory */
472LLVMValueRef LLVMBuildMalloc(LLVMBuilderRef, LLVMTypeRef Ty, const char *Name);
473LLVMValueRef LLVMBuildArrayMalloc(LLVMBuilderRef, LLVMTypeRef Ty,
474 LLVMValueRef Val, const char *Name);
475LLVMValueRef LLVMBuildAlloca(LLVMBuilderRef, LLVMTypeRef Ty, const char *Name);
476LLVMValueRef LLVMBuildArrayAlloca(LLVMBuilderRef, LLVMTypeRef Ty,
477 LLVMValueRef Val, const char *Name);
478LLVMValueRef LLVMBuildFree(LLVMBuilderRef, LLVMValueRef PointerVal);
479LLVMValueRef LLVMBuildLoad(LLVMBuilderRef, LLVMValueRef PointerVal,
480 const char *Name);
481LLVMValueRef LLVMBuildStore(LLVMBuilderRef, LLVMValueRef Val, LLVMValueRef Ptr);
482LLVMValueRef LLVMBuildGEP(LLVMBuilderRef B, LLVMValueRef Pointer,
483 LLVMValueRef *Indices, unsigned NumIndices,
484 const char *Name);
485
486/* Casts */
487LLVMValueRef LLVMBuildTrunc(LLVMBuilderRef, LLVMValueRef Val,
488 LLVMTypeRef DestTy, const char *Name);
489LLVMValueRef LLVMBuildZExt(LLVMBuilderRef, LLVMValueRef Val,
490 LLVMTypeRef DestTy, const char *Name);
491LLVMValueRef LLVMBuildSExt(LLVMBuilderRef, LLVMValueRef Val,
492 LLVMTypeRef DestTy, const char *Name);
493LLVMValueRef LLVMBuildFPToUI(LLVMBuilderRef, LLVMValueRef Val,
494 LLVMTypeRef DestTy, const char *Name);
495LLVMValueRef LLVMBuildFPToSI(LLVMBuilderRef, LLVMValueRef Val,
496 LLVMTypeRef DestTy, const char *Name);
497LLVMValueRef LLVMBuildUIToFP(LLVMBuilderRef, LLVMValueRef Val,
498 LLVMTypeRef DestTy, const char *Name);
499LLVMValueRef LLVMBuildSIToFP(LLVMBuilderRef, LLVMValueRef Val,
500 LLVMTypeRef DestTy, const char *Name);
501LLVMValueRef LLVMBuildFPTrunc(LLVMBuilderRef, LLVMValueRef Val,
502 LLVMTypeRef DestTy, const char *Name);
503LLVMValueRef LLVMBuildFPExt(LLVMBuilderRef, LLVMValueRef Val,
504 LLVMTypeRef DestTy, const char *Name);
505LLVMValueRef LLVMBuildPtrToInt(LLVMBuilderRef, LLVMValueRef Val,
506 LLVMTypeRef DestTy, const char *Name);
507LLVMValueRef LLVMBuildIntToPtr(LLVMBuilderRef, LLVMValueRef Val,
508 LLVMTypeRef DestTy, const char *Name);
509LLVMValueRef LLVMBuildBitCast(LLVMBuilderRef, LLVMValueRef Val,
510 LLVMTypeRef DestTy, const char *Name);
511
512/* Comparisons */
513LLVMValueRef LLVMBuildICmp(LLVMBuilderRef, LLVMIntPredicate Op,
514 LLVMValueRef LHS, LLVMValueRef RHS,
515 const char *Name);
516LLVMValueRef LLVMBuildFCmp(LLVMBuilderRef, LLVMRealPredicate Op,
517 LLVMValueRef LHS, LLVMValueRef RHS,
518 const char *Name);
519
520/* Miscellaneous instructions */
521LLVMValueRef LLVMBuildPhi(LLVMBuilderRef, LLVMTypeRef Ty, const char *Name);
522LLVMValueRef LLVMBuildCall(LLVMBuilderRef, LLVMValueRef Fn,
523 LLVMValueRef *Args, unsigned NumArgs,
524 const char *Name);
525LLVMValueRef LLVMBuildSelect(LLVMBuilderRef, LLVMValueRef If,
526 LLVMValueRef Then, LLVMValueRef Else,
527 const char *Name);
528LLVMValueRef LLVMBuildVAArg(LLVMBuilderRef, LLVMValueRef List, LLVMTypeRef Ty,
529 const char *Name);
530LLVMValueRef LLVMBuildExtractElement(LLVMBuilderRef, LLVMValueRef VecVal,
531 LLVMValueRef Index, const char *Name);
532LLVMValueRef LLVMBuildInsertElement(LLVMBuilderRef, LLVMValueRef VecVal,
533 LLVMValueRef EltVal, LLVMValueRef Index,
534 const char *Name);
535LLVMValueRef LLVMBuildShuffleVector(LLVMBuilderRef, LLVMValueRef V1,
536 LLVMValueRef V2, LLVMValueRef Mask,
537 const char *Name);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000538
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000539
Gordon Henriksen0a68fe22007-12-12 01:04:30 +0000540/*===-- Module providers --------------------------------------------------===*/
541
542/* Encapsulates the module M in a module provider, taking ownership of the
543 * module.
544 * See the constructor llvm::ExistingModuleProvider::ExistingModuleProvider.
545 */
546LLVMModuleProviderRef
547LLVMCreateModuleProviderForExistingModule(LLVMModuleRef M);
548
549/* Destroys the module provider MP as well as the contained module.
550 * See the destructor llvm::ModuleProvider::~ModuleProvider.
551 */
552void LLVMDisposeModuleProvider(LLVMModuleProviderRef MP);
553
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000554
555/*===-- Memory buffers ----------------------------------------------------===*/
556
557int LLVMCreateMemoryBufferWithContentsOfFile(const char *Path,
558 LLVMMemoryBufferRef *OutMemBuf,
559 char **OutMessage);
560int LLVMCreateMemoryBufferWithSTDIN(LLVMMemoryBufferRef *OutMemBuf,
561 char **OutMessage);
562void LLVMDisposeMemoryBuffer(LLVMMemoryBufferRef MemBuf);
563
Gordon Henriksen76a03742007-09-18 03:18:57 +0000564#ifdef __cplusplus
565}
Gordon Henriksen76a03742007-09-18 03:18:57 +0000566
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000567namespace llvm {
Gordon Henriksen0a68fe22007-12-12 01:04:30 +0000568 class ModuleProvider;
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000569 class MemoryBuffer;
Gordon Henriksen0a68fe22007-12-12 01:04:30 +0000570
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000571 #define DEFINE_SIMPLE_CONVERSION_FUNCTIONS(ty, ref) \
572 inline ty *unwrap(ref P) { \
573 return reinterpret_cast<ty*>(P); \
574 } \
575 \
576 inline ref wrap(const ty *P) { \
577 return reinterpret_cast<ref>(const_cast<ty*>(P)); \
578 }
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000579
Gordon Henriksen823f9732007-12-27 18:25:59 +0000580 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(Type, LLVMTypeRef )
581 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(Value, LLVMValueRef )
582 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(Module, LLVMModuleRef )
583 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(BasicBlock, LLVMBasicBlockRef )
584 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(LLVMFoldingBuilder, LLVMBuilderRef )
585 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(PATypeHolder, LLVMTypeHandleRef )
586 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(ModuleProvider, LLVMModuleProviderRef)
587 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(MemoryBuffer, LLVMMemoryBufferRef )
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000588
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000589 #undef DEFINE_SIMPLE_CONVERSION_FUNCTIONS
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000590
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000591 /* Specialized opaque type conversions.
592 */
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000593 template<typename T>
594 inline T *unwrap(LLVMTypeRef Ty) {
595 return cast<T>(unwrap(Ty));
596 }
597
598 inline Type **unwrap(LLVMTypeRef* Tys) {
599 return reinterpret_cast<Type**>(Tys);
600 }
601
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000602 inline LLVMTypeRef *wrap(const Type **Tys) {
603 return reinterpret_cast<LLVMTypeRef*>(const_cast<Type**>(Tys));
604 }
605
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000606 /* Specialized opaque value conversions.
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000607 */
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000608 template<typename T>
609 inline T *unwrap(LLVMValueRef Val) {
610 return cast<T>(unwrap(Val));
611 }
612
613 inline Value **unwrap(LLVMValueRef *Vals) {
614 return reinterpret_cast<Value**>(Vals);
615 }
616
617 template<typename T>
618 inline T **unwrap(LLVMValueRef *Vals, unsigned Length) {
619 #if DEBUG
620 for (LLVMValueRef *I = Vals, E = Vals + Length; I != E; ++I)
621 cast<T>(*I);
622 #endif
623 return reinterpret_cast<T**>(Vals);
624 }
625
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000626 inline LLVMValueRef *wrap(const Value **Vals) {
627 return reinterpret_cast<LLVMValueRef*>(const_cast<Value**>(Vals));
628 }
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000629}
630
631#endif /* !defined(__cplusplus) */
632
633#endif /* !defined(LLVM_C_CORE_H) */