blob: 9def5158299e4eec4d21ca0f2fc5796c746ff409 [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
Gordon Henriksen097102c2008-01-01 05:50:53 +0000437/* Add a case to the switch instruction */
438void LLVMAddCase(LLVMValueRef Switch, LLVMValueRef OnVal,
439 LLVMBasicBlockRef Dest);
440
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000441/* Arithmetic */
442LLVMValueRef LLVMBuildAdd(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
443 const char *Name);
444LLVMValueRef LLVMBuildSub(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
445 const char *Name);
446LLVMValueRef LLVMBuildMul(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
447 const char *Name);
448LLVMValueRef LLVMBuildUDiv(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
449 const char *Name);
450LLVMValueRef LLVMBuildSDiv(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
451 const char *Name);
452LLVMValueRef LLVMBuildFDiv(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
453 const char *Name);
454LLVMValueRef LLVMBuildURem(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
455 const char *Name);
456LLVMValueRef LLVMBuildSRem(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
457 const char *Name);
458LLVMValueRef LLVMBuildFRem(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
459 const char *Name);
460LLVMValueRef LLVMBuildShl(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
461 const char *Name);
462LLVMValueRef LLVMBuildLShr(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
463 const char *Name);
464LLVMValueRef LLVMBuildAShr(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
465 const char *Name);
466LLVMValueRef LLVMBuildAnd(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
467 const char *Name);
468LLVMValueRef LLVMBuildOr(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
469 const char *Name);
470LLVMValueRef LLVMBuildXor(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
471 const char *Name);
472LLVMValueRef LLVMBuildNeg(LLVMBuilderRef, LLVMValueRef V, const char *Name);
473LLVMValueRef LLVMBuildNot(LLVMBuilderRef, LLVMValueRef V, const char *Name);
474
475/* Memory */
476LLVMValueRef LLVMBuildMalloc(LLVMBuilderRef, LLVMTypeRef Ty, const char *Name);
477LLVMValueRef LLVMBuildArrayMalloc(LLVMBuilderRef, LLVMTypeRef Ty,
478 LLVMValueRef Val, const char *Name);
479LLVMValueRef LLVMBuildAlloca(LLVMBuilderRef, LLVMTypeRef Ty, const char *Name);
480LLVMValueRef LLVMBuildArrayAlloca(LLVMBuilderRef, LLVMTypeRef Ty,
481 LLVMValueRef Val, const char *Name);
482LLVMValueRef LLVMBuildFree(LLVMBuilderRef, LLVMValueRef PointerVal);
483LLVMValueRef LLVMBuildLoad(LLVMBuilderRef, LLVMValueRef PointerVal,
484 const char *Name);
485LLVMValueRef LLVMBuildStore(LLVMBuilderRef, LLVMValueRef Val, LLVMValueRef Ptr);
486LLVMValueRef LLVMBuildGEP(LLVMBuilderRef B, LLVMValueRef Pointer,
487 LLVMValueRef *Indices, unsigned NumIndices,
488 const char *Name);
489
490/* Casts */
491LLVMValueRef LLVMBuildTrunc(LLVMBuilderRef, LLVMValueRef Val,
492 LLVMTypeRef DestTy, const char *Name);
493LLVMValueRef LLVMBuildZExt(LLVMBuilderRef, LLVMValueRef Val,
494 LLVMTypeRef DestTy, const char *Name);
495LLVMValueRef LLVMBuildSExt(LLVMBuilderRef, LLVMValueRef Val,
496 LLVMTypeRef DestTy, const char *Name);
497LLVMValueRef LLVMBuildFPToUI(LLVMBuilderRef, LLVMValueRef Val,
498 LLVMTypeRef DestTy, const char *Name);
499LLVMValueRef LLVMBuildFPToSI(LLVMBuilderRef, LLVMValueRef Val,
500 LLVMTypeRef DestTy, const char *Name);
501LLVMValueRef LLVMBuildUIToFP(LLVMBuilderRef, LLVMValueRef Val,
502 LLVMTypeRef DestTy, const char *Name);
503LLVMValueRef LLVMBuildSIToFP(LLVMBuilderRef, LLVMValueRef Val,
504 LLVMTypeRef DestTy, const char *Name);
505LLVMValueRef LLVMBuildFPTrunc(LLVMBuilderRef, LLVMValueRef Val,
506 LLVMTypeRef DestTy, const char *Name);
507LLVMValueRef LLVMBuildFPExt(LLVMBuilderRef, LLVMValueRef Val,
508 LLVMTypeRef DestTy, const char *Name);
509LLVMValueRef LLVMBuildPtrToInt(LLVMBuilderRef, LLVMValueRef Val,
510 LLVMTypeRef DestTy, const char *Name);
511LLVMValueRef LLVMBuildIntToPtr(LLVMBuilderRef, LLVMValueRef Val,
512 LLVMTypeRef DestTy, const char *Name);
513LLVMValueRef LLVMBuildBitCast(LLVMBuilderRef, LLVMValueRef Val,
514 LLVMTypeRef DestTy, const char *Name);
515
516/* Comparisons */
517LLVMValueRef LLVMBuildICmp(LLVMBuilderRef, LLVMIntPredicate Op,
518 LLVMValueRef LHS, LLVMValueRef RHS,
519 const char *Name);
520LLVMValueRef LLVMBuildFCmp(LLVMBuilderRef, LLVMRealPredicate Op,
521 LLVMValueRef LHS, LLVMValueRef RHS,
522 const char *Name);
523
524/* Miscellaneous instructions */
525LLVMValueRef LLVMBuildPhi(LLVMBuilderRef, LLVMTypeRef Ty, const char *Name);
526LLVMValueRef LLVMBuildCall(LLVMBuilderRef, LLVMValueRef Fn,
527 LLVMValueRef *Args, unsigned NumArgs,
528 const char *Name);
529LLVMValueRef LLVMBuildSelect(LLVMBuilderRef, LLVMValueRef If,
530 LLVMValueRef Then, LLVMValueRef Else,
531 const char *Name);
532LLVMValueRef LLVMBuildVAArg(LLVMBuilderRef, LLVMValueRef List, LLVMTypeRef Ty,
533 const char *Name);
534LLVMValueRef LLVMBuildExtractElement(LLVMBuilderRef, LLVMValueRef VecVal,
535 LLVMValueRef Index, const char *Name);
536LLVMValueRef LLVMBuildInsertElement(LLVMBuilderRef, LLVMValueRef VecVal,
537 LLVMValueRef EltVal, LLVMValueRef Index,
538 const char *Name);
539LLVMValueRef LLVMBuildShuffleVector(LLVMBuilderRef, LLVMValueRef V1,
540 LLVMValueRef V2, LLVMValueRef Mask,
541 const char *Name);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000542
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000543
Gordon Henriksen0a68fe22007-12-12 01:04:30 +0000544/*===-- Module providers --------------------------------------------------===*/
545
546/* Encapsulates the module M in a module provider, taking ownership of the
547 * module.
548 * See the constructor llvm::ExistingModuleProvider::ExistingModuleProvider.
549 */
550LLVMModuleProviderRef
551LLVMCreateModuleProviderForExistingModule(LLVMModuleRef M);
552
553/* Destroys the module provider MP as well as the contained module.
554 * See the destructor llvm::ModuleProvider::~ModuleProvider.
555 */
556void LLVMDisposeModuleProvider(LLVMModuleProviderRef MP);
557
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000558
559/*===-- Memory buffers ----------------------------------------------------===*/
560
561int LLVMCreateMemoryBufferWithContentsOfFile(const char *Path,
562 LLVMMemoryBufferRef *OutMemBuf,
563 char **OutMessage);
564int LLVMCreateMemoryBufferWithSTDIN(LLVMMemoryBufferRef *OutMemBuf,
565 char **OutMessage);
566void LLVMDisposeMemoryBuffer(LLVMMemoryBufferRef MemBuf);
567
Gordon Henriksen76a03742007-09-18 03:18:57 +0000568#ifdef __cplusplus
569}
Gordon Henriksen76a03742007-09-18 03:18:57 +0000570
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000571namespace llvm {
Gordon Henriksen0a68fe22007-12-12 01:04:30 +0000572 class ModuleProvider;
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000573 class MemoryBuffer;
Gordon Henriksen0a68fe22007-12-12 01:04:30 +0000574
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000575 #define DEFINE_SIMPLE_CONVERSION_FUNCTIONS(ty, ref) \
576 inline ty *unwrap(ref P) { \
577 return reinterpret_cast<ty*>(P); \
578 } \
579 \
580 inline ref wrap(const ty *P) { \
581 return reinterpret_cast<ref>(const_cast<ty*>(P)); \
582 }
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000583
Gordon Henriksen823f9732007-12-27 18:25:59 +0000584 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(Type, LLVMTypeRef )
585 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(Value, LLVMValueRef )
586 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(Module, LLVMModuleRef )
587 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(BasicBlock, LLVMBasicBlockRef )
588 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(LLVMFoldingBuilder, LLVMBuilderRef )
589 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(PATypeHolder, LLVMTypeHandleRef )
590 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(ModuleProvider, LLVMModuleProviderRef)
591 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(MemoryBuffer, LLVMMemoryBufferRef )
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000592
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000593 #undef DEFINE_SIMPLE_CONVERSION_FUNCTIONS
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000594
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000595 /* Specialized opaque type conversions.
596 */
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000597 template<typename T>
598 inline T *unwrap(LLVMTypeRef Ty) {
599 return cast<T>(unwrap(Ty));
600 }
601
602 inline Type **unwrap(LLVMTypeRef* Tys) {
603 return reinterpret_cast<Type**>(Tys);
604 }
605
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000606 inline LLVMTypeRef *wrap(const Type **Tys) {
607 return reinterpret_cast<LLVMTypeRef*>(const_cast<Type**>(Tys));
608 }
609
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000610 /* Specialized opaque value conversions.
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000611 */
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000612 template<typename T>
613 inline T *unwrap(LLVMValueRef Val) {
614 return cast<T>(unwrap(Val));
615 }
616
617 inline Value **unwrap(LLVMValueRef *Vals) {
618 return reinterpret_cast<Value**>(Vals);
619 }
620
621 template<typename T>
622 inline T **unwrap(LLVMValueRef *Vals, unsigned Length) {
623 #if DEBUG
624 for (LLVMValueRef *I = Vals, E = Vals + Length; I != E; ++I)
625 cast<T>(*I);
626 #endif
627 return reinterpret_cast<T**>(Vals);
628 }
629
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000630 inline LLVMValueRef *wrap(const Value **Vals) {
631 return reinterpret_cast<LLVMValueRef*>(const_cast<Value**>(Vals));
632 }
Gordon Henriksen7330acd2007-10-05 23:59:36 +0000633}
634
635#endif /* !defined(__cplusplus) */
636
637#endif /* !defined(LLVM_C_CORE_H) */