blob: 30c75950a5aa808ba56d8e9be964d0f47a66ab7c [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|* *|
Gordon Henriksen76a03742007-09-18 03:18:57 +000013\*===----------------------------------------------------------------------===*/
14
15#ifndef LLVM_C_CORE_H
16#define LLVM_C_CORE_H
17
Chandler Carruth3c57aa42014-03-06 04:13:12 +000018#include "llvm-c/Support.h"
Erick Tryzelaardd991352009-08-16 23:36:46 +000019
Evan Cheng2e254d02013-04-04 17:40:53 +000020#ifdef __cplusplus
Gordon Henriksen76a03742007-09-18 03:18:57 +000021extern "C" {
22#endif
23
Gregory Szorc34c863a2012-03-21 03:54:29 +000024/**
25 * @defgroup LLVMC LLVM-C: C interface to LLVM
26 *
27 * This module exposes parts of the LLVM library as a C API.
28 *
29 * @{
30 */
31
32/**
33 * @defgroup LLVMCTransforms Transforms
34 */
35
36/**
37 * @defgroup LLVMCCore Core
38 *
39 * This modules provide an interface to libLLVMCore, which implements
40 * the LLVM intermediate representation as well as other related types
41 * and utilities.
42 *
43 * LLVM uses a polymorphic type hierarchy which C cannot represent, therefore
44 * parameters must be passed as base types. Despite the declared types, most
45 * of the functions provided operate only on branches of the type hierarchy.
46 * The declared parameter names are descriptive and specify which type is
47 * required. Additionally, each type hierarchy is documented along with the
48 * functions that operate upon it. For more detail, refer to LLVM's C++ code.
Eli Bendersky870d0572012-08-10 18:26:20 +000049 * If in doubt, refer to Core.cpp, which performs parameter downcasts in the
Gregory Szorc34c863a2012-03-21 03:54:29 +000050 * form unwrap<RequiredType>(Param).
51 *
52 * Many exotic languages can interoperate with C code but have a harder time
53 * with C++ due to name mangling. So in addition to C, this interface enables
54 * tools written in such languages.
55 *
Gregory Szorc34c863a2012-03-21 03:54:29 +000056 * @{
57 */
58
59/**
60 * @defgroup LLVMCCoreTypes Types and Enumerations
61 *
62 * @{
63 */
Gordon Henriksen76a03742007-09-18 03:18:57 +000064
65/* Opaque types. */
Gordon Henriksen4a4d7352007-12-30 17:46:33 +000066
67/**
Gregory Szorc34c863a2012-03-21 03:54:29 +000068 * The top-level container for all LLVM global data. See the LLVMContext class.
Owen Anderson6773d382009-07-01 16:58:40 +000069 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +000070typedef struct LLVMOpaqueContext *LLVMContextRef;
Owen Anderson6773d382009-07-01 16:58:40 +000071
72/**
Gordon Henriksen4a4d7352007-12-30 17:46:33 +000073 * The top-level container for all other LLVM Intermediate Representation (IR)
Gregory Szorc34c863a2012-03-21 03:54:29 +000074 * objects.
75 *
76 * @see llvm::Module
Gordon Henriksen4a4d7352007-12-30 17:46:33 +000077 */
Gordon Henriksen76a03742007-09-18 03:18:57 +000078typedef struct LLVMOpaqueModule *LLVMModuleRef;
Gordon Henriksen4a4d7352007-12-30 17:46:33 +000079
80/**
Gregory Szorc34c863a2012-03-21 03:54:29 +000081 * Each value in the LLVM IR has a type, an LLVMTypeRef.
82 *
83 * @see llvm::Type
Gordon Henriksen4a4d7352007-12-30 17:46:33 +000084 */
Gordon Henriksen76a03742007-09-18 03:18:57 +000085typedef struct LLVMOpaqueType *LLVMTypeRef;
Gordon Henriksen4a4d7352007-12-30 17:46:33 +000086
Gregory Szorc34c863a2012-03-21 03:54:29 +000087/**
88 * Represents an individual value in LLVM IR.
89 *
90 * This models llvm::Value.
91 */
Gordon Henriksen76a03742007-09-18 03:18:57 +000092typedef struct LLVMOpaqueValue *LLVMValueRef;
Gregory Szorc34c863a2012-03-21 03:54:29 +000093
94/**
Eli Bendersky870d0572012-08-10 18:26:20 +000095 * Represents a basic block of instructions in LLVM IR.
Gregory Szorc34c863a2012-03-21 03:54:29 +000096 *
97 * This models llvm::BasicBlock.
98 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +000099typedef struct LLVMOpaqueBasicBlock *LLVMBasicBlockRef;
Gregory Szorc34c863a2012-03-21 03:54:29 +0000100
101/**
102 * Represents an LLVM basic block builder.
103 *
104 * This models llvm::IRBuilder.
105 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000106typedef struct LLVMOpaqueBuilder *LLVMBuilderRef;
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000107
Gregory Szorc34c863a2012-03-21 03:54:29 +0000108/**
109 * Interface used to provide a module to JIT or interpreter.
110 * This is now just a synonym for llvm::Module, but we have to keep using the
111 * different type to keep binary compatibility.
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000112 */
Gordon Henriksen0a68fe22007-12-12 01:04:30 +0000113typedef struct LLVMOpaqueModuleProvider *LLVMModuleProviderRef;
Gordon Henriksen76a03742007-09-18 03:18:57 +0000114
Gregory Szorc34c863a2012-03-21 03:54:29 +0000115/** @see llvm::PassManagerBase */
Gordon Henriksen878114b2008-03-16 04:20:44 +0000116typedef struct LLVMOpaquePassManager *LLVMPassManagerRef;
117
Gregory Szorc34c863a2012-03-21 03:54:29 +0000118/** @see llvm::PassRegistry */
Owen Anderson4698c5d2010-10-07 17:55:47 +0000119typedef struct LLVMOpaquePassRegistry *LLVMPassRegistryRef;
120
Gregory Szorc34c863a2012-03-21 03:54:29 +0000121/**
122 * Used to get the users and usees of a Value.
123 *
124 * @see llvm::Use */
Erick Tryzelaar9f9857e2010-03-02 20:32:28 +0000125typedef struct LLVMOpaqueUse *LLVMUseRef;
Chris Lattner40cf28d2009-10-12 04:01:02 +0000126
Tom Stellard1580dc72014-04-16 17:45:04 +0000127
128/**
129 * @see llvm::DiagnosticInfo
130 */
131typedef struct LLVMOpaqueDiagnosticInfo *LLVMDiagnosticInfoRef;
132
Gordon Henriksen76a03742007-09-18 03:18:57 +0000133typedef enum {
Devang Patel4c758ea2008-09-25 21:00:45 +0000134 LLVMZExtAttribute = 1<<0,
135 LLVMSExtAttribute = 1<<1,
136 LLVMNoReturnAttribute = 1<<2,
137 LLVMInRegAttribute = 1<<3,
138 LLVMStructRetAttribute = 1<<4,
139 LLVMNoUnwindAttribute = 1<<5,
140 LLVMNoAliasAttribute = 1<<6,
141 LLVMByValAttribute = 1<<7,
142 LLVMNestAttribute = 1<<8,
143 LLVMReadNoneAttribute = 1<<9,
Anton Korobeynikovc8ce7b082009-07-17 18:07:26 +0000144 LLVMReadOnlyAttribute = 1<<10,
Anton Korobeynikov9750be92009-07-17 18:57:16 +0000145 LLVMNoInlineAttribute = 1<<11,
146 LLVMAlwaysInlineAttribute = 1<<12,
147 LLVMOptimizeForSizeAttribute = 1<<13,
148 LLVMStackProtectAttribute = 1<<14,
149 LLVMStackProtectReqAttribute = 1<<15,
Erick Tryzelaar8f69fea2010-03-03 23:51:25 +0000150 LLVMAlignment = 31<<16,
Anton Korobeynikov9750be92009-07-17 18:57:16 +0000151 LLVMNoCaptureAttribute = 1<<21,
152 LLVMNoRedZoneAttribute = 1<<22,
153 LLVMNoImplicitFloatAttribute = 1<<23,
Jakob Stoklund Olesen74bb06c2010-02-06 01:16:28 +0000154 LLVMNakedAttribute = 1<<24,
Erick Tryzelaar8f69fea2010-03-03 23:51:25 +0000155 LLVMInlineHintAttribute = 1<<25,
Torok Edwin1db48c02011-10-06 12:13:32 +0000156 LLVMStackAlignment = 7<<26,
157 LLVMReturnsTwice = 1 << 29,
158 LLVMUWTable = 1 << 30,
Chandler Carruth44d69d92012-01-25 07:40:15 +0000159 LLVMNonLazyBind = 1 << 31
160
Bill Wendlingd154e2832013-01-23 06:41:41 +0000161 /* FIXME: These attributes are currently not included in the C API as
Nuno Lopesdef4229972012-09-02 14:19:21 +0000162 a temporary measure until the API/ABI impact to the C API is understood
163 and the path forward agreed upon.
Bill Wendlingd154e2832013-01-23 06:41:41 +0000164 LLVMAddressSafety = 1ULL << 32,
Andrea Di Biagio377496b2013-08-23 11:53:55 +0000165 LLVMStackProtectStrongAttribute = 1ULL<<33,
166 LLVMCold = 1ULL << 34,
Reid Klecknera534a382013-12-19 02:14:12 +0000167 LLVMOptimizeNone = 1ULL << 35,
Nick Lewyckyd52b1522014-05-20 01:23:40 +0000168 LLVMInAllocaAttribute = 1ULL << 36,
Tom Roeder44cb65f2014-06-05 19:29:43 +0000169 LLVMNonNullAttribute = 1ULL << 37,
170 LLVMJumpTableAttribute = 1ULL << 38,
Hal Finkelb0407ba2014-07-18 15:51:28 +0000171 LLVMDereferenceableAttribute = 1ULL << 39,
Nuno Lopesdef4229972012-09-02 14:19:21 +0000172 */
Devang Patel4c758ea2008-09-25 21:00:45 +0000173} LLVMAttribute;
Gordon Henriksen2d9cc212008-04-28 17:37:06 +0000174
175typedef enum {
Bill Wendlingda52cec2010-02-15 20:53:17 +0000176 /* Terminator Instructions */
Chris Lattner40cf28d2009-10-12 04:01:02 +0000177 LLVMRet = 1,
178 LLVMBr = 2,
179 LLVMSwitch = 3,
Bill Wendling07d6d762010-02-15 20:50:51 +0000180 LLVMIndirectBr = 4,
181 LLVMInvoke = 5,
Bill Wendling46ffaa92011-08-02 06:20:17 +0000182 /* removed 6 due to API changes */
Bill Wendling2641d132011-07-27 21:00:28 +0000183 LLVMUnreachable = 7,
Bill Wendling07d6d762010-02-15 20:50:51 +0000184
Bill Wendlingda52cec2010-02-15 20:53:17 +0000185 /* Standard Binary Operators */
Bill Wendling2641d132011-07-27 21:00:28 +0000186 LLVMAdd = 8,
187 LLVMFAdd = 9,
188 LLVMSub = 10,
189 LLVMFSub = 11,
190 LLVMMul = 12,
191 LLVMFMul = 13,
192 LLVMUDiv = 14,
193 LLVMSDiv = 15,
194 LLVMFDiv = 16,
195 LLVMURem = 17,
196 LLVMSRem = 18,
197 LLVMFRem = 19,
Bill Wendling07d6d762010-02-15 20:50:51 +0000198
Bill Wendlingda52cec2010-02-15 20:53:17 +0000199 /* Logical Operators */
Bill Wendling2641d132011-07-27 21:00:28 +0000200 LLVMShl = 20,
201 LLVMLShr = 21,
202 LLVMAShr = 22,
203 LLVMAnd = 23,
204 LLVMOr = 24,
205 LLVMXor = 25,
Bill Wendling07d6d762010-02-15 20:50:51 +0000206
Bill Wendlingda52cec2010-02-15 20:53:17 +0000207 /* Memory Operators */
Bill Wendling2641d132011-07-27 21:00:28 +0000208 LLVMAlloca = 26,
209 LLVMLoad = 27,
210 LLVMStore = 28,
211 LLVMGetElementPtr = 29,
Bill Wendling07d6d762010-02-15 20:50:51 +0000212
Bill Wendlingda52cec2010-02-15 20:53:17 +0000213 /* Cast Operators */
Bill Wendling2641d132011-07-27 21:00:28 +0000214 LLVMTrunc = 30,
215 LLVMZExt = 31,
216 LLVMSExt = 32,
217 LLVMFPToUI = 33,
218 LLVMFPToSI = 34,
219 LLVMUIToFP = 35,
220 LLVMSIToFP = 36,
221 LLVMFPTrunc = 37,
222 LLVMFPExt = 38,
223 LLVMPtrToInt = 39,
224 LLVMIntToPtr = 40,
225 LLVMBitCast = 41,
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +0000226 LLVMAddrSpaceCast = 60,
Bill Wendling07d6d762010-02-15 20:50:51 +0000227
Bill Wendlingda52cec2010-02-15 20:53:17 +0000228 /* Other Operators */
Bill Wendling2641d132011-07-27 21:00:28 +0000229 LLVMICmp = 42,
230 LLVMFCmp = 43,
231 LLVMPHI = 44,
232 LLVMCall = 45,
233 LLVMSelect = 46,
Torok Edwin05dc9d62011-10-06 12:39:34 +0000234 LLVMUserOp1 = 47,
235 LLVMUserOp2 = 48,
Bill Wendling2641d132011-07-27 21:00:28 +0000236 LLVMVAArg = 49,
237 LLVMExtractElement = 50,
238 LLVMInsertElement = 51,
239 LLVMShuffleVector = 52,
240 LLVMExtractValue = 53,
241 LLVMInsertValue = 54,
Eli Friedman4fc946c2011-07-27 18:59:19 +0000242
243 /* Atomic operators */
Bill Wendling2641d132011-07-27 21:00:28 +0000244 LLVMFence = 55,
Eli Friedmanc9a551e2011-07-28 21:48:00 +0000245 LLVMAtomicCmpXchg = 56,
Bill Wendlingf891bf82011-07-31 06:30:59 +0000246 LLVMAtomicRMW = 57,
247
248 /* Exception Handling Operators */
Bill Wendlingfae14752011-08-12 20:24:12 +0000249 LLVMResume = 58,
Bill Wendling0aef16a2012-02-06 21:44:22 +0000250 LLVMLandingPad = 59
Bill Wendling2641d132011-07-27 21:00:28 +0000251
Chris Lattner40cf28d2009-10-12 04:01:02 +0000252} LLVMOpcode;
253
254typedef enum {
Gordon Henriksen4a4d7352007-12-30 17:46:33 +0000255 LLVMVoidTypeKind, /**< type with no size */
Dan Gohman518cda42011-12-17 00:04:22 +0000256 LLVMHalfTypeKind, /**< 16 bit floating point type */
Gordon Henriksen4a4d7352007-12-30 17:46:33 +0000257 LLVMFloatTypeKind, /**< 32 bit floating point type */
258 LLVMDoubleTypeKind, /**< 64 bit floating point type */
259 LLVMX86_FP80TypeKind, /**< 80 bit floating point type (X87) */
260 LLVMFP128TypeKind, /**< 128 bit floating point type (112-bit mantissa)*/
261 LLVMPPC_FP128TypeKind, /**< 128 bit floating point type (two 64-bits) */
262 LLVMLabelTypeKind, /**< Labels */
263 LLVMIntegerTypeKind, /**< Arbitrary bit width integers */
264 LLVMFunctionTypeKind, /**< Functions */
265 LLVMStructTypeKind, /**< Structures */
266 LLVMArrayTypeKind, /**< Arrays */
267 LLVMPointerTypeKind, /**< Pointers */
Chris Lattnerdac44ec2009-07-15 22:00:31 +0000268 LLVMVectorTypeKind, /**< SIMD 'packed' format, or other vector type */
Dale Johannesenbaa5d042010-09-10 20:55:01 +0000269 LLVMMetadataTypeKind, /**< Metadata */
270 LLVMX86_MMXTypeKind /**< X86 MMX */
Gordon Henriksen76a03742007-09-18 03:18:57 +0000271} LLVMTypeKind;
272
273typedef enum {
Gordon Henriksen4a4d7352007-12-30 17:46:33 +0000274 LLVMExternalLinkage, /**< Externally visible function */
Chris Lattner2dba0f02009-04-13 06:25:37 +0000275 LLVMAvailableExternallyLinkage,
Duncan Sands12da8ce2009-03-07 15:45:40 +0000276 LLVMLinkOnceAnyLinkage, /**< Keep one copy of function when linking (inline)*/
277 LLVMLinkOnceODRLinkage, /**< Same, but only replaced by something
278 equivalent. */
Rafael Espindola716e7402013-11-01 17:09:14 +0000279 LLVMLinkOnceODRAutoHideLinkage, /**< Obsolete */
Duncan Sands12da8ce2009-03-07 15:45:40 +0000280 LLVMWeakAnyLinkage, /**< Keep one copy of function when linking (weak) */
281 LLVMWeakODRLinkage, /**< Same, but only replaced by something
282 equivalent. */
Gordon Henriksen4a4d7352007-12-30 17:46:33 +0000283 LLVMAppendingLinkage, /**< Special purpose, only applies to global arrays */
284 LLVMInternalLinkage, /**< Rename collisions when linking (static
285 functions) */
Duncan Sands12da8ce2009-03-07 15:45:40 +0000286 LLVMPrivateLinkage, /**< Like Internal, but omit from symbol table */
Nico Rieck7157bb72014-01-14 15:22:47 +0000287 LLVMDLLImportLinkage, /**< Obsolete */
288 LLVMDLLExportLinkage, /**< Obsolete */
Duncan Sandse2881052009-03-11 08:08:06 +0000289 LLVMExternalWeakLinkage,/**< ExternalWeak linkage description */
Jeffrey Yasskin091217b2010-01-27 20:34:15 +0000290 LLVMGhostLinkage, /**< Obsolete */
Bill Wendling002b1672009-07-20 18:22:52 +0000291 LLVMCommonLinkage, /**< Tentative definitions */
Bill Wendling03bcd6e2010-07-01 21:55:59 +0000292 LLVMLinkerPrivateLinkage, /**< Like Private, but linker removes. */
Bill Wendling34bc34e2012-08-17 18:33:14 +0000293 LLVMLinkerPrivateWeakLinkage /**< Like LinkerPrivate, but is weak. */
Gordon Henriksen76a03742007-09-18 03:18:57 +0000294} LLVMLinkage;
295
296typedef enum {
Gordon Henriksen4a4d7352007-12-30 17:46:33 +0000297 LLVMDefaultVisibility, /**< The GV is visible */
298 LLVMHiddenVisibility, /**< The GV is hidden */
299 LLVMProtectedVisibility /**< The GV is protected */
Gordon Henriksen76a03742007-09-18 03:18:57 +0000300} LLVMVisibility;
301
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000302typedef enum {
Reid Kleckner2fae26f2014-03-05 02:34:23 +0000303 LLVMDefaultStorageClass = 0,
304 LLVMDLLImportStorageClass = 1, /**< Function to be imported from DLL. */
305 LLVMDLLExportStorageClass = 2 /**< Function to be accessible from DLL. */
306} LLVMDLLStorageClass;
307
308typedef enum {
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000309 LLVMCCallConv = 0,
310 LLVMFastCallConv = 8,
311 LLVMColdCallConv = 9,
Filip Pizlodfc9b582013-11-09 06:00:03 +0000312 LLVMWebKitJSCallConv = 12,
313 LLVMAnyRegCallConv = 13,
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000314 LLVMX86StdcallCallConv = 64,
315 LLVMX86FastcallCallConv = 65
316} LLVMCallConv;
317
318typedef enum {
Gordon Henriksen4a4d7352007-12-30 17:46:33 +0000319 LLVMIntEQ = 32, /**< equal */
320 LLVMIntNE, /**< not equal */
321 LLVMIntUGT, /**< unsigned greater than */
322 LLVMIntUGE, /**< unsigned greater or equal */
323 LLVMIntULT, /**< unsigned less than */
324 LLVMIntULE, /**< unsigned less or equal */
325 LLVMIntSGT, /**< signed greater than */
326 LLVMIntSGE, /**< signed greater or equal */
327 LLVMIntSLT, /**< signed less than */
328 LLVMIntSLE /**< signed less or equal */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000329} LLVMIntPredicate;
330
331typedef enum {
Gordon Henriksen4a4d7352007-12-30 17:46:33 +0000332 LLVMRealPredicateFalse, /**< Always false (always folded) */
333 LLVMRealOEQ, /**< True if ordered and equal */
334 LLVMRealOGT, /**< True if ordered and greater than */
335 LLVMRealOGE, /**< True if ordered and greater than or equal */
336 LLVMRealOLT, /**< True if ordered and less than */
337 LLVMRealOLE, /**< True if ordered and less than or equal */
338 LLVMRealONE, /**< True if ordered and operands are unequal */
339 LLVMRealORD, /**< True if ordered (no nans) */
340 LLVMRealUNO, /**< True if unordered: isnan(X) | isnan(Y) */
341 LLVMRealUEQ, /**< True if unordered or equal */
342 LLVMRealUGT, /**< True if unordered or greater than */
343 LLVMRealUGE, /**< True if unordered, greater than, or equal */
344 LLVMRealULT, /**< True if unordered or less than */
345 LLVMRealULE, /**< True if unordered, less than, or equal */
346 LLVMRealUNE, /**< True if unordered or not equal */
347 LLVMRealPredicateTrue /**< Always true (always folded) */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000348} LLVMRealPredicate;
349
Bill Wendlingfae14752011-08-12 20:24:12 +0000350typedef enum {
351 LLVMLandingPadCatch, /**< A catch clause */
352 LLVMLandingPadFilter /**< A filter clause */
353} LLVMLandingPadClauseTy;
354
Hans Wennborg5ff71202013-04-16 08:58:59 +0000355typedef enum {
356 LLVMNotThreadLocal = 0,
357 LLVMGeneralDynamicTLSModel,
358 LLVMLocalDynamicTLSModel,
359 LLVMInitialExecTLSModel,
360 LLVMLocalExecTLSModel
361} LLVMThreadLocalMode;
362
Carlo Kokda0ac722013-04-23 13:45:37 +0000363typedef enum {
Carlo Kok8c6719b2013-04-23 13:21:19 +0000364 LLVMAtomicOrderingNotAtomic = 0, /**< A load or store which is not atomic */
365 LLVMAtomicOrderingUnordered = 1, /**< Lowest level of atomicity, guarantees
366 somewhat sane results, lock free. */
NAKAMURA Takumia3a81352013-10-23 17:56:29 +0000367 LLVMAtomicOrderingMonotonic = 2, /**< guarantees that if you take all the
368 operations affecting a specific address,
Carlo Kok8c6719b2013-04-23 13:21:19 +0000369 a consistent ordering exists */
NAKAMURA Takumia3a81352013-10-23 17:56:29 +0000370 LLVMAtomicOrderingAcquire = 4, /**< Acquire provides a barrier of the sort
371 necessary to acquire a lock to access other
Carlo Kok8c6719b2013-04-23 13:21:19 +0000372 memory with normal loads and stores. */
NAKAMURA Takumia3a81352013-10-23 17:56:29 +0000373 LLVMAtomicOrderingRelease = 5, /**< Release is similar to Acquire, but with
374 a barrier of the sort necessary to release
Carlo Kok8c6719b2013-04-23 13:21:19 +0000375 a lock. */
NAKAMURA Takumia3a81352013-10-23 17:56:29 +0000376 LLVMAtomicOrderingAcquireRelease = 6, /**< provides both an Acquire and a
377 Release barrier (for fences and
Carlo Kok8c6719b2013-04-23 13:21:19 +0000378 operations which both read and write
379 memory). */
NAKAMURA Takumia3a81352013-10-23 17:56:29 +0000380 LLVMAtomicOrderingSequentiallyConsistent = 7 /**< provides Acquire semantics
381 for loads and Release
382 semantics for stores.
383 Additionally, it guarantees
384 that a total ordering exists
385 between all
386 SequentiallyConsistent
Carlo Kok8c6719b2013-04-23 13:21:19 +0000387 operations. */
Carlo Kokda0ac722013-04-23 13:45:37 +0000388} LLVMAtomicOrdering;
Carlo Kok8c6719b2013-04-23 13:21:19 +0000389
Carlo Kokda0ac722013-04-23 13:45:37 +0000390typedef enum {
Carlo Kok8c6719b2013-04-23 13:21:19 +0000391 LLVMAtomicRMWBinOpXchg, /**< Set the new value and return the one old */
392 LLVMAtomicRMWBinOpAdd, /**< Add a value and return the old one */
393 LLVMAtomicRMWBinOpSub, /**< Subtract a value and return the old one */
394 LLVMAtomicRMWBinOpAnd, /**< And a value and return the old one */
395 LLVMAtomicRMWBinOpNand, /**< Not-And a value and return the old one */
396 LLVMAtomicRMWBinOpOr, /**< OR a value and return the old one */
397 LLVMAtomicRMWBinOpXor, /**< Xor a value and return the old one */
398 LLVMAtomicRMWBinOpMax, /**< Sets the value if it's greater than the
NAKAMURA Takumia3a81352013-10-23 17:56:29 +0000399 original using a signed comparison and return
Carlo Kok8c6719b2013-04-23 13:21:19 +0000400 the old one */
401 LLVMAtomicRMWBinOpMin, /**< Sets the value if it's Smaller than the
NAKAMURA Takumia3a81352013-10-23 17:56:29 +0000402 original using a signed comparison and return
Carlo Kok8c6719b2013-04-23 13:21:19 +0000403 the old one */
404 LLVMAtomicRMWBinOpUMax, /**< Sets the value if it's greater than the
NAKAMURA Takumia3a81352013-10-23 17:56:29 +0000405 original using an unsigned comparison and return
Carlo Kok8c6719b2013-04-23 13:21:19 +0000406 the old one */
407 LLVMAtomicRMWBinOpUMin /**< Sets the value if it's greater than the
NAKAMURA Takumia3a81352013-10-23 17:56:29 +0000408 original using an unsigned comparison and return
Carlo Kok8c6719b2013-04-23 13:21:19 +0000409 the old one */
Carlo Kokda0ac722013-04-23 13:45:37 +0000410} LLVMAtomicRMWBinOp;
Carlo Kok8c6719b2013-04-23 13:21:19 +0000411
Tom Stellard1580dc72014-04-16 17:45:04 +0000412typedef enum {
413 LLVMDSError,
414 LLVMDSWarning,
415 LLVMDSRemark,
416 LLVMDSNote
417} LLVMDiagnosticSeverity;
418
Gregory Szorc34c863a2012-03-21 03:54:29 +0000419/**
420 * @}
421 */
422
Nick Lewycky0db26542011-05-15 07:20:34 +0000423void LLVMInitializeCore(LLVMPassRegistryRef R);
424
Duncan Sands1cba0a82013-02-17 16:35:51 +0000425/** Deallocate and destroy all ManagedStatic variables.
426 @see llvm::llvm_shutdown
427 @see ManagedStatic */
Benjamin Kramer325ec892013-10-23 16:57:34 +0000428void LLVMShutdown(void);
Duncan Sands1cba0a82013-02-17 16:35:51 +0000429
Gordon Henriksen76a03742007-09-18 03:18:57 +0000430
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000431/*===-- Error handling ----------------------------------------------------===*/
432
Filip Pizlo3fdbaff2013-05-22 02:46:43 +0000433char *LLVMCreateMessage(const char *Message);
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000434void LLVMDisposeMessage(char *Message);
435
Filip Pizloa535b142013-10-17 01:38:28 +0000436typedef void (*LLVMFatalErrorHandler)(const char *Reason);
437
438/**
439 * Install a fatal error handler. By default, if LLVM detects a fatal error, it
440 * will call exit(1). This may not be appropriate in many contexts. For example,
441 * doing exit(1) will bypass many crash reporting/tracing system tools. This
442 * function allows you to install a callback that will be invoked prior to the
443 * call to exit(1).
444 */
445void LLVMInstallFatalErrorHandler(LLVMFatalErrorHandler Handler);
446
447/**
448 * Reset the fatal error handler. This resets LLVM's fatal error handling
449 * behavior to the default.
450 */
451void LLVMResetFatalErrorHandler(void);
Gordon Henriksen34eb6d82007-12-19 22:30:40 +0000452
Gregory Szorc34c863a2012-03-21 03:54:29 +0000453/**
Filip Pizloc10ca902013-11-04 02:22:25 +0000454 * Enable LLVM's built-in stack trace code. This intercepts the OS's crash
455 * signals and prints which component of LLVM you were in at the time if the
456 * crash.
Filip Pizlo9f50ccd2013-11-03 00:29:47 +0000457 */
Filip Pizloc10ca902013-11-04 02:22:25 +0000458void LLVMEnablePrettyStackTrace(void);
Filip Pizlo9f50ccd2013-11-03 00:29:47 +0000459
460/**
Gregory Szorc34c863a2012-03-21 03:54:29 +0000461 * @defgroup LLVMCCoreContext Contexts
462 *
463 * Contexts are execution states for the core LLVM IR system.
464 *
465 * Most types are tied to a context instance. Multiple contexts can
466 * exist simultaneously. A single context is not thread safe. However,
467 * different contexts can execute on different threads simultaneously.
468 *
469 * @{
470 */
Gordon Henriksen76a03742007-09-18 03:18:57 +0000471
Tom Stellard1580dc72014-04-16 17:45:04 +0000472typedef void (*LLVMDiagnosticHandler)(LLVMDiagnosticInfoRef, void *);
Juergen Ributzka34390c72014-05-16 02:33:15 +0000473typedef void (*LLVMYieldCallback)(LLVMContextRef, void *);
Tom Stellard1580dc72014-04-16 17:45:04 +0000474
Gregory Szorc34c863a2012-03-21 03:54:29 +0000475/**
476 * Create a new context.
477 *
478 * Every call to this function should be paired with a call to
479 * LLVMContextDispose() or the context will leak memory.
480 */
Erick Tryzelaarf34cb0c2009-08-30 23:38:06 +0000481LLVMContextRef LLVMContextCreate(void);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000482
483/**
484 * Obtain the global context instance.
485 */
Erick Tryzelaarf34cb0c2009-08-30 23:38:06 +0000486LLVMContextRef LLVMGetGlobalContext(void);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000487
488/**
Tom Stellard1580dc72014-04-16 17:45:04 +0000489 * Set the diagnostic handler for this context.
490 */
491void LLVMContextSetDiagnosticHandler(LLVMContextRef C,
492 LLVMDiagnosticHandler Handler,
493 void *DiagnosticContext);
494
495/**
Juergen Ributzka34390c72014-05-16 02:33:15 +0000496 * Set the yield callback function for this context.
497 *
498 * @see LLVMContext::setYieldCallback()
499 */
500void LLVMContextSetYieldCallback(LLVMContextRef C, LLVMYieldCallback Callback,
501 void *OpaqueHandle);
502
503/**
Gregory Szorc34c863a2012-03-21 03:54:29 +0000504 * Destroy a context instance.
505 *
506 * This should be called for every call to LLVMContextCreate() or memory
507 * will be leaked.
508 */
Owen Anderson6773d382009-07-01 16:58:40 +0000509void LLVMContextDispose(LLVMContextRef C);
510
Tom Stellard1580dc72014-04-16 17:45:04 +0000511/**
512 * Return a string representation of the DiagnosticInfo. Use
513 * LLVMDisposeMessage to free the string.
514 *
515 * @see DiagnosticInfo::print()
516 */
517char *LLVMGetDiagInfoDescription(LLVMDiagnosticInfoRef DI);
518
519/**
520 * Return an enum LLVMDiagnosticSeverity.
521 *
522 * @see DiagnosticInfo::getSeverity()
523 */
524LLVMDiagnosticSeverity LLVMGetDiagInfoSeverity(LLVMDiagnosticInfoRef DI);
525
Erick Tryzelaard8531fa2010-02-28 09:45:59 +0000526unsigned LLVMGetMDKindIDInContext(LLVMContextRef C, const char* Name,
527 unsigned SLen);
528unsigned LLVMGetMDKindID(const char* Name, unsigned SLen);
529
Gregory Szorc34c863a2012-03-21 03:54:29 +0000530/**
531 * @}
532 */
533
Gregory Szorc52d26602012-03-21 07:28:27 +0000534/**
535 * @defgroup LLVMCCoreModule Modules
Gregory Szorc34c863a2012-03-21 03:54:29 +0000536 *
Daniel Dunbar06b9f9e2013-08-16 23:30:19 +0000537 * Modules represent the top-level structure in an LLVM program. An LLVM
Gregory Szorc34c863a2012-03-21 03:54:29 +0000538 * module is effectively a translation unit or a collection of
539 * translation units merged together.
540 *
541 * @{
542 */
543
Gregory Szorc34c863a2012-03-21 03:54:29 +0000544/**
545 * Create a new, empty module in the global context.
546 *
547 * This is equivalent to calling LLVMModuleCreateWithNameInContext with
548 * LLVMGetGlobalContext() as the context parameter.
549 *
550 * Every invocation should be paired with LLVMDisposeModule() or memory
551 * will be leaked.
552 */
Gordon Henriksen76a03742007-09-18 03:18:57 +0000553LLVMModuleRef LLVMModuleCreateWithName(const char *ModuleID);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000554
555/**
556 * Create a new, empty module in a specific context.
557 *
558 * Every invocation should be paired with LLVMDisposeModule() or memory
559 * will be leaked.
560 */
Owen Anderson31d44e42009-07-02 07:17:57 +0000561LLVMModuleRef LLVMModuleCreateWithNameInContext(const char *ModuleID,
562 LLVMContextRef C);
Tom Stellard0a4e9a32014-10-01 17:14:57 +0000563/**
564 * Return an exact copy of the specified module.
565 */
566LLVMModuleRef LLVMCloneModule(LLVMModuleRef M);
Gordon Henriksena49d4352008-03-07 19:13:06 +0000567
Gregory Szorc34c863a2012-03-21 03:54:29 +0000568/**
569 * Destroy a module instance.
570 *
571 * This must be called for every created module or memory will be
572 * leaked.
573 */
Gordon Henriksen76a03742007-09-18 03:18:57 +0000574void LLVMDisposeModule(LLVMModuleRef M);
575
Gregory Szorc34c863a2012-03-21 03:54:29 +0000576/**
577 * Obtain the data layout for a module.
578 *
579 * @see Module::getDataLayout()
580 */
Gordon Henriksen05568bb2007-12-27 20:13:47 +0000581const char *LLVMGetDataLayout(LLVMModuleRef M);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000582
583/**
584 * Set the data layout for a module.
585 *
586 * @see Module::setDataLayout()
587 */
Gordon Henriksen05568bb2007-12-27 20:13:47 +0000588void LLVMSetDataLayout(LLVMModuleRef M, const char *Triple);
589
Gregory Szorc34c863a2012-03-21 03:54:29 +0000590/**
591 * Obtain the target triple for a module.
592 *
593 * @see Module::getTargetTriple()
594 */
Gordon Henriksen05568bb2007-12-27 20:13:47 +0000595const char *LLVMGetTarget(LLVMModuleRef M);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000596
597/**
598 * Set the target triple for a module.
599 *
600 * @see Module::setTargetTriple()
601 */
Gordon Henriksen05568bb2007-12-27 20:13:47 +0000602void LLVMSetTarget(LLVMModuleRef M, const char *Triple);
603
Gregory Szorc34c863a2012-03-21 03:54:29 +0000604/**
605 * Dump a representation of a module to stderr.
606 *
607 * @see Module::dump()
608 */
Gordon Henriksen6c6075e2008-03-14 23:58:56 +0000609void LLVMDumpModule(LLVMModuleRef M);
610
Gregory Szorc34c863a2012-03-21 03:54:29 +0000611/**
Hans Wennborgb7ef2fe2012-05-09 16:54:17 +0000612 * Print a representation of a module to a file. The ErrorMessage needs to be
613 * disposed with LLVMDisposeMessage. Returns 0 on success, 1 otherwise.
614 *
615 * @see Module::print()
616 */
617LLVMBool LLVMPrintModuleToFile(LLVMModuleRef M, const char *Filename,
618 char **ErrorMessage);
619
620/**
Anders Waldenborg84355db2013-10-16 18:00:54 +0000621 * Return a string representation of the module. Use
622 * LLVMDisposeMessage to free the string.
623 *
624 * @see Module::print()
625 */
626char *LLVMPrintModuleToString(LLVMModuleRef M);
627
628/**
Gregory Szorc34c863a2012-03-21 03:54:29 +0000629 * Set inline assembly for a module.
630 *
631 * @see Module::setModuleInlineAsm()
632 */
Chris Lattner26941452010-04-10 17:52:58 +0000633void LLVMSetModuleInlineAsm(LLVMModuleRef M, const char *Asm);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000634
Gregory Szorc34c863a2012-03-21 03:54:29 +0000635/**
636 * Obtain the context to which this module is associated.
637 *
638 * @see Module::getContext()
639 */
Chris Lattnera7e04b02010-11-28 20:03:44 +0000640LLVMContextRef LLVMGetModuleContext(LLVMModuleRef M);
641
Gregory Szorc34c863a2012-03-21 03:54:29 +0000642/**
643 * Obtain a Type from a module by its registered name.
644 */
645LLVMTypeRef LLVMGetTypeByName(LLVMModuleRef M, const char *Name);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000646
Gregory Szorc34c863a2012-03-21 03:54:29 +0000647/**
648 * Obtain the number of operands for named metadata in a module.
649 *
650 * @see llvm::Module::getNamedMetadata()
651 */
652unsigned LLVMGetNamedMetadataNumOperands(LLVMModuleRef M, const char* name);
653
654/**
655 * Obtain the named metadata operands for a module.
656 *
657 * The passed LLVMValueRef pointer should refer to an array of
658 * LLVMValueRef at least LLVMGetNamedMetadataNumOperands long. This
659 * array will be populated with the LLVMValueRef instances. Each
660 * instance corresponds to a llvm::MDNode.
661 *
662 * @see llvm::Module::getNamedMetadata()
663 * @see llvm::MDNode::getOperand()
664 */
665void LLVMGetNamedMetadataOperands(LLVMModuleRef M, const char* name, LLVMValueRef *Dest);
666
667/**
668 * Add an operand to named metadata.
669 *
670 * @see llvm::Module::getNamedMetadata()
671 * @see llvm::MDNode::addOperand()
672 */
673void LLVMAddNamedMetadataOperand(LLVMModuleRef M, const char* name,
674 LLVMValueRef Val);
675
Gregory Szorc52d26602012-03-21 07:28:27 +0000676/**
677 * Add a function to a module under a specified name.
678 *
679 * @see llvm::Function::Create()
680 */
681LLVMValueRef LLVMAddFunction(LLVMModuleRef M, const char *Name,
682 LLVMTypeRef FunctionTy);
683
684/**
685 * Obtain a Function value from a Module by its name.
686 *
687 * The returned value corresponds to a llvm::Function value.
688 *
689 * @see llvm::Module::getFunction()
690 */
691LLVMValueRef LLVMGetNamedFunction(LLVMModuleRef M, const char *Name);
692
693/**
694 * Obtain an iterator to the first Function in a Module.
695 *
696 * @see llvm::Module::begin()
697 */
698LLVMValueRef LLVMGetFirstFunction(LLVMModuleRef M);
699
700/**
701 * Obtain an iterator to the last Function in a Module.
702 *
703 * @see llvm::Module::end()
704 */
705LLVMValueRef LLVMGetLastFunction(LLVMModuleRef M);
706
707/**
708 * Advance a Function iterator to the next Function.
709 *
710 * Returns NULL if the iterator was already at the end and there are no more
711 * functions.
712 */
713LLVMValueRef LLVMGetNextFunction(LLVMValueRef Fn);
714
715/**
716 * Decrement a Function iterator to the previous Function.
717 *
718 * Returns NULL if the iterator was already at the beginning and there are
719 * no previous functions.
720 */
721LLVMValueRef LLVMGetPreviousFunction(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000722
723/**
724 * @}
725 */
726
727/**
728 * @defgroup LLVMCCoreType Types
729 *
730 * Types represent the type of a value.
731 *
732 * Types are associated with a context instance. The context internally
733 * deduplicates types so there is only 1 instance of a specific type
734 * alive at a time. In other words, a unique type is shared among all
735 * consumers within a context.
736 *
737 * A Type in the C API corresponds to llvm::Type.
738 *
739 * Types have the following hierarchy:
740 *
Gordon Henriksen76a03742007-09-18 03:18:57 +0000741 * types:
742 * integer type
743 * real type
744 * function type
745 * sequence types:
746 * array type
747 * pointer type
748 * vector type
749 * void type
750 * label type
751 * opaque type
Gregory Szorc34c863a2012-03-21 03:54:29 +0000752 *
753 * @{
Gordon Henriksen76a03742007-09-18 03:18:57 +0000754 */
755
Gregory Szorc34c863a2012-03-21 03:54:29 +0000756/**
757 * Obtain the enumerated type of a Type instance.
758 *
759 * @see llvm::Type:getTypeID()
760 */
Gordon Henriksen76a03742007-09-18 03:18:57 +0000761LLVMTypeKind LLVMGetTypeKind(LLVMTypeRef Ty);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000762
763/**
764 * Whether the type has a known size.
765 *
766 * Things that don't have a size are abstract types, labels, and void.a
767 *
768 * @see llvm::Type::isSized()
769 */
Torok Edwin1cd9ade2011-10-06 12:13:28 +0000770LLVMBool LLVMTypeIsSized(LLVMTypeRef Ty);
Gordon Henriksena49d4352008-03-07 19:13:06 +0000771
Gregory Szorc34c863a2012-03-21 03:54:29 +0000772/**
773 * Obtain the context to which this type instance is associated.
774 *
775 * @see llvm::Type::getContext()
776 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +0000777LLVMContextRef LLVMGetTypeContext(LLVMTypeRef Ty);
778
Gregory Szorc34c863a2012-03-21 03:54:29 +0000779/**
Anders Waldenborgb822cff2013-10-16 21:30:25 +0000780 * Dump a representation of a type to stderr.
781 *
782 * @see llvm::Type::dump()
783 */
784void LLVMDumpType(LLVMTypeRef Val);
785
786/**
Anders Waldenborg47b3bd32013-10-22 06:58:34 +0000787 * Return a string representation of the type. Use
788 * LLVMDisposeMessage to free the string.
789 *
790 * @see llvm::Type::print()
791 */
792char *LLVMPrintTypeToString(LLVMTypeRef Val);
793
794/**
Gregory Szorc34c863a2012-03-21 03:54:29 +0000795 * @defgroup LLVMCCoreTypeInt Integer Types
796 *
797 * Functions in this section operate on integer types.
798 *
799 * @{
800 */
801
802/**
803 * Obtain an integer type from a context with specified bit width.
804 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +0000805LLVMTypeRef LLVMInt1TypeInContext(LLVMContextRef C);
806LLVMTypeRef LLVMInt8TypeInContext(LLVMContextRef C);
807LLVMTypeRef LLVMInt16TypeInContext(LLVMContextRef C);
808LLVMTypeRef LLVMInt32TypeInContext(LLVMContextRef C);
809LLVMTypeRef LLVMInt64TypeInContext(LLVMContextRef C);
810LLVMTypeRef LLVMIntTypeInContext(LLVMContextRef C, unsigned NumBits);
811
Gregory Szorc34c863a2012-03-21 03:54:29 +0000812/**
813 * Obtain an integer type from the global context with a specified bit
814 * width.
815 */
Gordon Henriksena735a9c2008-05-04 12:55:34 +0000816LLVMTypeRef LLVMInt1Type(void);
817LLVMTypeRef LLVMInt8Type(void);
818LLVMTypeRef LLVMInt16Type(void);
819LLVMTypeRef LLVMInt32Type(void);
820LLVMTypeRef LLVMInt64Type(void);
Gordon Henriksened7beaa2007-10-06 16:05:20 +0000821LLVMTypeRef LLVMIntType(unsigned NumBits);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000822unsigned LLVMGetIntTypeWidth(LLVMTypeRef IntegerTy);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000823
Gregory Szorc34c863a2012-03-21 03:54:29 +0000824/**
825 * @}
826 */
827
828/**
829 * @defgroup LLVMCCoreTypeFloat Floating Point Types
830 *
831 * @{
832 */
833
834/**
835 * Obtain a 16-bit floating point type from a context.
836 */
Dan Gohman518cda42011-12-17 00:04:22 +0000837LLVMTypeRef LLVMHalfTypeInContext(LLVMContextRef C);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000838
839/**
840 * Obtain a 32-bit floating point type from a context.
841 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +0000842LLVMTypeRef LLVMFloatTypeInContext(LLVMContextRef C);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000843
844/**
845 * Obtain a 64-bit floating point type from a context.
846 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +0000847LLVMTypeRef LLVMDoubleTypeInContext(LLVMContextRef C);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000848
849/**
850 * Obtain a 80-bit floating point type (X87) from a context.
851 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +0000852LLVMTypeRef LLVMX86FP80TypeInContext(LLVMContextRef C);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000853
854/**
855 * Obtain a 128-bit floating point type (112-bit mantissa) from a
856 * context.
857 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +0000858LLVMTypeRef LLVMFP128TypeInContext(LLVMContextRef C);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000859
860/**
861 * Obtain a 128-bit floating point type (two 64-bits) from a context.
862 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +0000863LLVMTypeRef LLVMPPCFP128TypeInContext(LLVMContextRef C);
864
Gregory Szorc34c863a2012-03-21 03:54:29 +0000865/**
866 * Obtain a floating point type from the global context.
867 *
868 * These map to the functions in this group of the same name.
869 */
Dan Gohman518cda42011-12-17 00:04:22 +0000870LLVMTypeRef LLVMHalfType(void);
Gordon Henriksena735a9c2008-05-04 12:55:34 +0000871LLVMTypeRef LLVMFloatType(void);
872LLVMTypeRef LLVMDoubleType(void);
873LLVMTypeRef LLVMX86FP80Type(void);
874LLVMTypeRef LLVMFP128Type(void);
875LLVMTypeRef LLVMPPCFP128Type(void);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000876
Gregory Szorc34c863a2012-03-21 03:54:29 +0000877/**
878 * @}
879 */
880
881/**
882 * @defgroup LLVMCCoreTypeFunction Function Types
883 *
884 * @{
885 */
886
887/**
888 * Obtain a function type consisting of a specified signature.
889 *
890 * The function is defined as a tuple of a return Type, a list of
891 * parameter types, and whether the function is variadic.
892 */
Gordon Henriksened7beaa2007-10-06 16:05:20 +0000893LLVMTypeRef LLVMFunctionType(LLVMTypeRef ReturnType,
894 LLVMTypeRef *ParamTypes, unsigned ParamCount,
Chris Lattner25963c62010-01-09 22:27:07 +0000895 LLVMBool IsVarArg);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000896
897/**
898 * Returns whether a function type is variadic.
899 */
Chris Lattner25963c62010-01-09 22:27:07 +0000900LLVMBool LLVMIsFunctionVarArg(LLVMTypeRef FunctionTy);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000901
902/**
903 * Obtain the Type this function Type returns.
904 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000905LLVMTypeRef LLVMGetReturnType(LLVMTypeRef FunctionTy);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000906
907/**
908 * Obtain the number of parameters this function accepts.
909 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000910unsigned LLVMCountParamTypes(LLVMTypeRef FunctionTy);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000911
912/**
913 * Obtain the types of a function's parameters.
914 *
915 * The Dest parameter should point to a pre-allocated array of
916 * LLVMTypeRef at least LLVMCountParamTypes() large. On return, the
917 * first LLVMCountParamTypes() entries in the array will be populated
918 * with LLVMTypeRef instances.
919 *
920 * @param FunctionTy The function type to operate on.
921 * @param Dest Memory address of an array to be filled with result.
922 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000923void LLVMGetParamTypes(LLVMTypeRef FunctionTy, LLVMTypeRef *Dest);
Gordon Henriksen76a03742007-09-18 03:18:57 +0000924
Gregory Szorc34c863a2012-03-21 03:54:29 +0000925/**
926 * @}
927 */
928
929/**
930 * @defgroup LLVMCCoreTypeStruct Structure Types
931 *
932 * These functions relate to LLVMTypeRef instances.
933 *
934 * @see llvm::StructType
935 *
936 * @{
937 */
938
939/**
940 * Create a new structure type in a context.
941 *
942 * A structure is specified by a list of inner elements/types and
943 * whether these can be packed together.
944 *
945 * @see llvm::StructType::create()
946 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +0000947LLVMTypeRef LLVMStructTypeInContext(LLVMContextRef C, LLVMTypeRef *ElementTypes,
Chris Lattner25963c62010-01-09 22:27:07 +0000948 unsigned ElementCount, LLVMBool Packed);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000949
950/**
951 * Create a new structure type in the global context.
952 *
953 * @see llvm::StructType::create()
954 */
Gordon Henriksened7beaa2007-10-06 16:05:20 +0000955LLVMTypeRef LLVMStructType(LLVMTypeRef *ElementTypes, unsigned ElementCount,
Chris Lattner25963c62010-01-09 22:27:07 +0000956 LLVMBool Packed);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000957
958/**
959 * Create an empty structure in a context having a specified name.
960 *
961 * @see llvm::StructType::create()
962 */
Chris Lattnere71ccde2011-07-14 05:53:17 +0000963LLVMTypeRef LLVMStructCreateNamed(LLVMContextRef C, const char *Name);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000964
965/**
966 * Obtain the name of a structure.
967 *
968 * @see llvm::StructType::getName()
969 */
Torok Edwin0d5f6ae2011-10-06 12:12:50 +0000970const char *LLVMGetStructName(LLVMTypeRef Ty);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000971
972/**
973 * Set the contents of a structure type.
974 *
975 * @see llvm::StructType::setBody()
976 */
Chris Lattnere71ccde2011-07-14 05:53:17 +0000977void LLVMStructSetBody(LLVMTypeRef StructTy, LLVMTypeRef *ElementTypes,
978 unsigned ElementCount, LLVMBool Packed);
979
Gregory Szorc34c863a2012-03-21 03:54:29 +0000980/**
981 * Get the number of elements defined inside the structure.
982 *
983 * @see llvm::StructType::getNumElements()
984 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +0000985unsigned LLVMCountStructElementTypes(LLVMTypeRef StructTy);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000986
987/**
988 * Get the elements within a structure.
989 *
990 * The function is passed the address of a pre-allocated array of
991 * LLVMTypeRef at least LLVMCountStructElementTypes() long. After
992 * invocation, this array will be populated with the structure's
993 * elements. The objects in the destination array will have a lifetime
994 * of the structure type itself, which is the lifetime of the context it
995 * is contained in.
996 */
Gordon Henriksen76a03742007-09-18 03:18:57 +0000997void LLVMGetStructElementTypes(LLVMTypeRef StructTy, LLVMTypeRef *Dest);
Gregory Szorc34c863a2012-03-21 03:54:29 +0000998
999/**
1000 * Determine whether a structure is packed.
1001 *
1002 * @see llvm::StructType::isPacked()
1003 */
Chris Lattner25963c62010-01-09 22:27:07 +00001004LLVMBool LLVMIsPackedStruct(LLVMTypeRef StructTy);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001005
1006/**
1007 * Determine whether a structure is opaque.
1008 *
1009 * @see llvm::StructType::isOpaque()
1010 */
Chris Lattner17cf05b2011-07-14 16:20:28 +00001011LLVMBool LLVMIsOpaqueStruct(LLVMTypeRef StructTy);
1012
Gregory Szorc34c863a2012-03-21 03:54:29 +00001013/**
1014 * @}
1015 */
Gordon Henriksen76a03742007-09-18 03:18:57 +00001016
Gregory Szorc34c863a2012-03-21 03:54:29 +00001017
1018/**
1019 * @defgroup LLVMCCoreTypeSequential Sequential Types
1020 *
1021 * Sequential types represents "arrays" of types. This is a super class
1022 * for array, vector, and pointer types.
1023 *
1024 * @{
1025 */
1026
1027/**
1028 * Obtain the type of elements within a sequential type.
1029 *
1030 * This works on array, vector, and pointer types.
1031 *
1032 * @see llvm::SequentialType::getElementType()
1033 */
1034LLVMTypeRef LLVMGetElementType(LLVMTypeRef Ty);
1035
1036/**
1037 * Create a fixed size array type that refers to a specific type.
1038 *
1039 * The created type will exist in the context that its element type
1040 * exists in.
1041 *
1042 * @see llvm::ArrayType::get()
1043 */
Gordon Henriksened7beaa2007-10-06 16:05:20 +00001044LLVMTypeRef LLVMArrayType(LLVMTypeRef ElementType, unsigned ElementCount);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001045
1046/**
1047 * Obtain the length of an array type.
1048 *
1049 * This only works on types that represent arrays.
1050 *
1051 * @see llvm::ArrayType::getNumElements()
1052 */
1053unsigned LLVMGetArrayLength(LLVMTypeRef ArrayTy);
1054
1055/**
1056 * Create a pointer type that points to a defined type.
1057 *
1058 * The created type will exist in the context that its pointee type
1059 * exists in.
1060 *
1061 * @see llvm::PointerType::get()
1062 */
Gordon Henriksen5a3fe032007-12-17 16:08:32 +00001063LLVMTypeRef LLVMPointerType(LLVMTypeRef ElementType, unsigned AddressSpace);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001064
1065/**
1066 * Obtain the address space of a pointer type.
1067 *
1068 * This only works on types that represent pointers.
1069 *
1070 * @see llvm::PointerType::getAddressSpace()
1071 */
1072unsigned LLVMGetPointerAddressSpace(LLVMTypeRef PointerTy);
1073
1074/**
1075 * Create a vector type that contains a defined type and has a specific
1076 * number of elements.
1077 *
1078 * The created type will exist in the context thats its element type
1079 * exists in.
1080 *
1081 * @see llvm::VectorType::get()
1082 */
Gordon Henriksened7beaa2007-10-06 16:05:20 +00001083LLVMTypeRef LLVMVectorType(LLVMTypeRef ElementType, unsigned ElementCount);
Gordon Henriksen76a03742007-09-18 03:18:57 +00001084
Gregory Szorc34c863a2012-03-21 03:54:29 +00001085/**
1086 * Obtain the number of elements in a vector type.
1087 *
1088 * This only works on types that represent vectors.
1089 *
1090 * @see llvm::VectorType::getNumElements()
1091 */
Gordon Henriksen76a03742007-09-18 03:18:57 +00001092unsigned LLVMGetVectorSize(LLVMTypeRef VectorTy);
1093
Gregory Szorc34c863a2012-03-21 03:54:29 +00001094/**
1095 * @}
1096 */
1097
1098/**
1099 * @defgroup LLVMCCoreTypeOther Other Types
1100 *
1101 * @{
1102 */
1103
1104/**
1105 * Create a void type in a context.
1106 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +00001107LLVMTypeRef LLVMVoidTypeInContext(LLVMContextRef C);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001108
1109/**
1110 * Create a label type in a context.
1111 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +00001112LLVMTypeRef LLVMLabelTypeInContext(LLVMContextRef C);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001113
1114/**
1115 * Create a X86 MMX type in a context.
1116 */
Dale Johannesen95b67af2010-09-10 21:58:02 +00001117LLVMTypeRef LLVMX86MMXTypeInContext(LLVMContextRef C);
Erick Tryzelaar262332f2009-08-14 00:01:31 +00001118
Gregory Szorc34c863a2012-03-21 03:54:29 +00001119/**
1120 * These are similar to the above functions except they operate on the
1121 * global context.
1122 */
Gordon Henriksena735a9c2008-05-04 12:55:34 +00001123LLVMTypeRef LLVMVoidType(void);
1124LLVMTypeRef LLVMLabelType(void);
Dale Johannesen95b67af2010-09-10 21:58:02 +00001125LLVMTypeRef LLVMX86MMXType(void);
Gordon Henriksen76a03742007-09-18 03:18:57 +00001126
Gregory Szorc34c863a2012-03-21 03:54:29 +00001127/**
1128 * @}
1129 */
Gordon Henriksen76a03742007-09-18 03:18:57 +00001130
Gregory Szorc34c863a2012-03-21 03:54:29 +00001131/**
1132 * @}
1133 */
1134
1135/**
1136 * @defgroup LLVMCCoreValues Values
1137 *
1138 * The bulk of LLVM's object model consists of values, which comprise a very
Gordon Henriksen76a03742007-09-18 03:18:57 +00001139 * rich type hierarchy.
Gregory Szorc34c863a2012-03-21 03:54:29 +00001140 *
1141 * LLVMValueRef essentially represents llvm::Value. There is a rich
1142 * hierarchy of classes within this type. Depending on the instance
Eli Benderskyc52863c2012-08-10 18:30:44 +00001143 * obtained, not all APIs are available.
Gregory Szorc34c863a2012-03-21 03:54:29 +00001144 *
Daniel Dunbar06b9f9e2013-08-16 23:30:19 +00001145 * Callers can determine the type of an LLVMValueRef by calling the
Gregory Szorc34c863a2012-03-21 03:54:29 +00001146 * LLVMIsA* family of functions (e.g. LLVMIsAArgument()). These
1147 * functions are defined by a macro, so it isn't obvious which are
1148 * available by looking at the Doxygen source code. Instead, look at the
1149 * source definition of LLVM_FOR_EACH_VALUE_SUBCLASS and note the list
1150 * of value names given. These value names also correspond to classes in
1151 * the llvm::Value hierarchy.
1152 *
1153 * @{
Gordon Henriksen76a03742007-09-18 03:18:57 +00001154 */
1155
Gordon Henriksen29e38942008-12-19 18:39:45 +00001156#define LLVM_FOR_EACH_VALUE_SUBCLASS(macro) \
1157 macro(Argument) \
1158 macro(BasicBlock) \
1159 macro(InlineAsm) \
Torok Edwind09b7572011-10-14 20:37:56 +00001160 macro(MDNode) \
1161 macro(MDString) \
Gordon Henriksen29e38942008-12-19 18:39:45 +00001162 macro(User) \
1163 macro(Constant) \
Torok Edwind09b7572011-10-14 20:37:56 +00001164 macro(BlockAddress) \
Gordon Henriksen29e38942008-12-19 18:39:45 +00001165 macro(ConstantAggregateZero) \
1166 macro(ConstantArray) \
Peter Zotovae0344b2013-11-05 12:55:37 +00001167 macro(ConstantDataSequential) \
1168 macro(ConstantDataArray) \
1169 macro(ConstantDataVector) \
Gordon Henriksen29e38942008-12-19 18:39:45 +00001170 macro(ConstantExpr) \
1171 macro(ConstantFP) \
1172 macro(ConstantInt) \
1173 macro(ConstantPointerNull) \
1174 macro(ConstantStruct) \
1175 macro(ConstantVector) \
1176 macro(GlobalValue) \
Gordon Henriksen29e38942008-12-19 18:39:45 +00001177 macro(GlobalAlias) \
Rafael Espindola99e05cf2014-05-13 18:45:48 +00001178 macro(GlobalObject) \
1179 macro(Function) \
1180 macro(GlobalVariable) \
Gordon Henriksen29e38942008-12-19 18:39:45 +00001181 macro(UndefValue) \
1182 macro(Instruction) \
1183 macro(BinaryOperator) \
1184 macro(CallInst) \
1185 macro(IntrinsicInst) \
1186 macro(DbgInfoIntrinsic) \
1187 macro(DbgDeclareInst) \
Gordon Henriksen29e38942008-12-19 18:39:45 +00001188 macro(MemIntrinsic) \
1189 macro(MemCpyInst) \
1190 macro(MemMoveInst) \
1191 macro(MemSetInst) \
1192 macro(CmpInst) \
Torok Edwind09b7572011-10-14 20:37:56 +00001193 macro(FCmpInst) \
1194 macro(ICmpInst) \
Gordon Henriksen29e38942008-12-19 18:39:45 +00001195 macro(ExtractElementInst) \
1196 macro(GetElementPtrInst) \
1197 macro(InsertElementInst) \
1198 macro(InsertValueInst) \
Bill Wendlingfae14752011-08-12 20:24:12 +00001199 macro(LandingPadInst) \
Gordon Henriksen29e38942008-12-19 18:39:45 +00001200 macro(PHINode) \
1201 macro(SelectInst) \
1202 macro(ShuffleVectorInst) \
1203 macro(StoreInst) \
1204 macro(TerminatorInst) \
1205 macro(BranchInst) \
Torok Edwind09b7572011-10-14 20:37:56 +00001206 macro(IndirectBrInst) \
Gordon Henriksen29e38942008-12-19 18:39:45 +00001207 macro(InvokeInst) \
1208 macro(ReturnInst) \
1209 macro(SwitchInst) \
1210 macro(UnreachableInst) \
Bill Wendlingf891bf82011-07-31 06:30:59 +00001211 macro(ResumeInst) \
Duncan Sands5e37e992013-05-06 08:55:45 +00001212 macro(UnaryInstruction) \
1213 macro(AllocaInst) \
1214 macro(CastInst) \
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00001215 macro(AddrSpaceCastInst) \
Duncan Sands5e37e992013-05-06 08:55:45 +00001216 macro(BitCastInst) \
1217 macro(FPExtInst) \
1218 macro(FPToSIInst) \
1219 macro(FPToUIInst) \
1220 macro(FPTruncInst) \
1221 macro(IntToPtrInst) \
1222 macro(PtrToIntInst) \
1223 macro(SExtInst) \
1224 macro(SIToFPInst) \
1225 macro(TruncInst) \
1226 macro(UIToFPInst) \
1227 macro(ZExtInst) \
1228 macro(ExtractValueInst) \
1229 macro(LoadInst) \
1230 macro(VAArgInst)
Gordon Henriksen29e38942008-12-19 18:39:45 +00001231
Gregory Szorc34c863a2012-03-21 03:54:29 +00001232/**
1233 * @defgroup LLVMCCoreValueGeneral General APIs
1234 *
1235 * Functions in this section work on all LLVMValueRef instances,
1236 * regardless of their sub-type. They correspond to functions available
1237 * on llvm::Value.
1238 *
1239 * @{
1240 */
Gordon Henriksen76a03742007-09-18 03:18:57 +00001241
Gregory Szorc34c863a2012-03-21 03:54:29 +00001242/**
1243 * Obtain the type of a value.
1244 *
1245 * @see llvm::Value::getType()
1246 */
1247LLVMTypeRef LLVMTypeOf(LLVMValueRef Val);
1248
1249/**
1250 * Obtain the string name of a value.
1251 *
1252 * @see llvm::Value::getName()
1253 */
1254const char *LLVMGetValueName(LLVMValueRef Val);
1255
1256/**
1257 * Set the string name of a value.
1258 *
1259 * @see llvm::Value::setName()
1260 */
1261void LLVMSetValueName(LLVMValueRef Val, const char *Name);
1262
1263/**
1264 * Dump a representation of a value to stderr.
1265 *
1266 * @see llvm::Value::dump()
1267 */
1268void LLVMDumpValue(LLVMValueRef Val);
1269
1270/**
Peter Zotovcd93b372013-11-06 09:21:01 +00001271 * Return a string representation of the value. Use
1272 * LLVMDisposeMessage to free the string.
1273 *
1274 * @see llvm::Value::print()
1275 */
1276char *LLVMPrintValueToString(LLVMValueRef Val);
1277
1278/**
Gregory Szorc34c863a2012-03-21 03:54:29 +00001279 * Replace all uses of a value with another one.
1280 *
1281 * @see llvm::Value::replaceAllUsesWith()
1282 */
1283void LLVMReplaceAllUsesWith(LLVMValueRef OldVal, LLVMValueRef NewVal);
1284
1285/**
1286 * Determine whether the specified constant instance is constant.
1287 */
1288LLVMBool LLVMIsConstant(LLVMValueRef Val);
1289
1290/**
1291 * Determine whether a value instance is undefined.
1292 */
1293LLVMBool LLVMIsUndef(LLVMValueRef Val);
1294
1295/**
1296 * Convert value instances between types.
1297 *
Daniel Dunbar06b9f9e2013-08-16 23:30:19 +00001298 * Internally, an LLVMValueRef is "pinned" to a specific type. This
Gregory Szorc34c863a2012-03-21 03:54:29 +00001299 * series of functions allows you to cast an instance to a specific
1300 * type.
1301 *
1302 * If the cast is not valid for the specified type, NULL is returned.
1303 *
1304 * @see llvm::dyn_cast_or_null<>
1305 */
Gordon Henriksen29e38942008-12-19 18:39:45 +00001306#define LLVM_DECLARE_VALUE_CAST(name) \
1307 LLVMValueRef LLVMIsA##name(LLVMValueRef Val);
1308LLVM_FOR_EACH_VALUE_SUBCLASS(LLVM_DECLARE_VALUE_CAST)
1309
Gregory Szorc34c863a2012-03-21 03:54:29 +00001310/**
1311 * @}
1312 */
1313
1314/**
1315 * @defgroup LLVMCCoreValueUses Usage
1316 *
1317 * This module defines functions that allow you to inspect the uses of a
1318 * LLVMValueRef.
1319 *
Daniel Dunbar06b9f9e2013-08-16 23:30:19 +00001320 * It is possible to obtain an LLVMUseRef for any LLVMValueRef instance.
Gregory Szorc34c863a2012-03-21 03:54:29 +00001321 * Each LLVMUseRef (which corresponds to a llvm::Use instance) holds a
1322 * llvm::User and llvm::Value.
1323 *
1324 * @{
1325 */
1326
1327/**
1328 * Obtain the first use of a value.
1329 *
1330 * Uses are obtained in an iterator fashion. First, call this function
1331 * to obtain a reference to the first use. Then, call LLVMGetNextUse()
Eli Benderskyc52863c2012-08-10 18:30:44 +00001332 * on that instance and all subsequently obtained instances until
Gregory Szorc34c863a2012-03-21 03:54:29 +00001333 * LLVMGetNextUse() returns NULL.
1334 *
1335 * @see llvm::Value::use_begin()
1336 */
Erick Tryzelaar9f9857e2010-03-02 20:32:28 +00001337LLVMUseRef LLVMGetFirstUse(LLVMValueRef Val);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001338
1339/**
1340 * Obtain the next use of a value.
1341 *
1342 * This effectively advances the iterator. It returns NULL if you are on
1343 * the final use and no more are available.
1344 */
Erick Tryzelaar9f9857e2010-03-02 20:32:28 +00001345LLVMUseRef LLVMGetNextUse(LLVMUseRef U);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001346
1347/**
1348 * Obtain the user value for a user.
1349 *
1350 * The returned value corresponds to a llvm::User type.
1351 *
1352 * @see llvm::Use::getUser()
1353 */
Erick Tryzelaar9f9857e2010-03-02 20:32:28 +00001354LLVMValueRef LLVMGetUser(LLVMUseRef U);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001355
1356/**
1357 * Obtain the value this use corresponds to.
1358 *
1359 * @see llvm::Use::get().
1360 */
Erick Tryzelaar9f9857e2010-03-02 20:32:28 +00001361LLVMValueRef LLVMGetUsedValue(LLVMUseRef U);
Chris Lattner40cf28d2009-10-12 04:01:02 +00001362
Gregory Szorc34c863a2012-03-21 03:54:29 +00001363/**
1364 * @}
1365 */
1366
1367/**
Gregory Szorc52d26602012-03-21 07:28:27 +00001368 * @defgroup LLVMCCoreValueUser User value
Gregory Szorc34c863a2012-03-21 03:54:29 +00001369 *
1370 * Function in this group pertain to LLVMValueRef instances that descent
1371 * from llvm::User. This includes constants, instructions, and
1372 * operators.
1373 *
1374 * @{
1375 */
1376
1377/**
1378 * Obtain an operand at a specific index in a llvm::User value.
1379 *
1380 * @see llvm::User::getOperand()
1381 */
Chris Lattner40cf28d2009-10-12 04:01:02 +00001382LLVMValueRef LLVMGetOperand(LLVMValueRef Val, unsigned Index);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001383
1384/**
Peter Zotovb19f78f2014-08-12 02:55:40 +00001385 * Obtain the use of an operand at a specific index in a llvm::User value.
1386 *
1387 * @see llvm::User::getOperandUse()
1388 */
1389LLVMUseRef LLVMGetOperandUse(LLVMValueRef Val, unsigned Index);
1390
1391/**
Gregory Szorc34c863a2012-03-21 03:54:29 +00001392 * Set an operand at a specific index in a llvm::User value.
1393 *
1394 * @see llvm::User::setOperand()
1395 */
Erick Tryzelaarb4d48702010-08-20 14:51:22 +00001396void LLVMSetOperand(LLVMValueRef User, unsigned Index, LLVMValueRef Val);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001397
1398/**
1399 * Obtain the number of operands in a llvm::User value.
1400 *
1401 * @see llvm::User::getNumOperands()
1402 */
Erick Tryzelaarb4d48702010-08-20 14:51:22 +00001403int LLVMGetNumOperands(LLVMValueRef Val);
Chris Lattner40cf28d2009-10-12 04:01:02 +00001404
Gregory Szorc34c863a2012-03-21 03:54:29 +00001405/**
1406 * @}
1407 */
1408
1409/**
Gregory Szorc52d26602012-03-21 07:28:27 +00001410 * @defgroup LLVMCCoreValueConstant Constants
Gregory Szorc34c863a2012-03-21 03:54:29 +00001411 *
1412 * This section contains APIs for interacting with LLVMValueRef that
1413 * correspond to llvm::Constant instances.
1414 *
1415 * These functions will work for any LLVMValueRef in the llvm::Constant
1416 * class hierarchy.
1417 *
1418 * @{
1419 */
1420
1421/**
1422 * Obtain a constant value referring to the null instance of a type.
1423 *
1424 * @see llvm::Constant::getNullValue()
1425 */
Gordon Henriksen1046c732007-10-06 15:11:06 +00001426LLVMValueRef LLVMConstNull(LLVMTypeRef Ty); /* all zeroes */
Gregory Szorc34c863a2012-03-21 03:54:29 +00001427
1428/**
1429 * Obtain a constant value referring to the instance of a type
1430 * consisting of all ones.
1431 *
1432 * This is only valid for integer types.
1433 *
1434 * @see llvm::Constant::getAllOnesValue()
1435 */
1436LLVMValueRef LLVMConstAllOnes(LLVMTypeRef Ty);
1437
1438/**
1439 * Obtain a constant value referring to an undefined value of a type.
1440 *
1441 * @see llvm::UndefValue::get()
1442 */
Gordon Henriksen76a03742007-09-18 03:18:57 +00001443LLVMValueRef LLVMGetUndef(LLVMTypeRef Ty);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001444
1445/**
1446 * Determine whether a value instance is null.
1447 *
1448 * @see llvm::Constant::isNullValue()
1449 */
Chris Lattner25963c62010-01-09 22:27:07 +00001450LLVMBool LLVMIsNull(LLVMValueRef Val);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001451
1452/**
1453 * Obtain a constant that is a constant pointer pointing to NULL for a
1454 * specified type.
1455 */
Chris Lattner7f318242009-07-06 17:29:59 +00001456LLVMValueRef LLVMConstPointerNull(LLVMTypeRef Ty);
Gordon Henriksen76a03742007-09-18 03:18:57 +00001457
Gregory Szorc34c863a2012-03-21 03:54:29 +00001458/**
1459 * @defgroup LLVMCCoreValueConstantScalar Scalar constants
1460 *
1461 * Functions in this group model LLVMValueRef instances that correspond
1462 * to constants referring to scalar types.
1463 *
1464 * For integer types, the LLVMTypeRef parameter should correspond to a
1465 * llvm::IntegerType instance and the returned LLVMValueRef will
1466 * correspond to a llvm::ConstantInt.
1467 *
1468 * For floating point types, the LLVMTypeRef returned corresponds to a
1469 * llvm::ConstantFP.
1470 *
1471 * @{
1472 */
Erick Tryzelaard8531fa2010-02-28 09:45:59 +00001473
Gregory Szorc34c863a2012-03-21 03:54:29 +00001474/**
1475 * Obtain a constant value for an integer type.
1476 *
1477 * The returned value corresponds to a llvm::ConstantInt.
1478 *
1479 * @see llvm::ConstantInt::get()
1480 *
1481 * @param IntTy Integer type to obtain value of.
1482 * @param N The value the returned instance should refer to.
1483 * @param SignExtend Whether to sign extend the produced value.
1484 */
Gordon Henriksen1046c732007-10-06 15:11:06 +00001485LLVMValueRef LLVMConstInt(LLVMTypeRef IntTy, unsigned long long N,
Chris Lattner25963c62010-01-09 22:27:07 +00001486 LLVMBool SignExtend);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001487
1488/**
1489 * Obtain a constant value for an integer of arbitrary precision.
1490 *
1491 * @see llvm::ConstantInt::get()
1492 */
Chris Lattner4329e072010-11-23 02:47:22 +00001493LLVMValueRef LLVMConstIntOfArbitraryPrecision(LLVMTypeRef IntTy,
1494 unsigned NumWords,
1495 const uint64_t Words[]);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001496
1497/**
1498 * Obtain a constant value for an integer parsed from a string.
1499 *
1500 * A similar API, LLVMConstIntOfStringAndSize is also available. If the
1501 * string's length is available, it is preferred to call that function
1502 * instead.
1503 *
1504 * @see llvm::ConstantInt::get()
1505 */
Erick Tryzelaardd991352009-08-16 23:36:46 +00001506LLVMValueRef LLVMConstIntOfString(LLVMTypeRef IntTy, const char *Text,
1507 uint8_t Radix);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001508
1509/**
1510 * Obtain a constant value for an integer parsed from a string with
1511 * specified length.
1512 *
1513 * @see llvm::ConstantInt::get()
1514 */
Erick Tryzelaardd991352009-08-16 23:36:46 +00001515LLVMValueRef LLVMConstIntOfStringAndSize(LLVMTypeRef IntTy, const char *Text,
1516 unsigned SLen, uint8_t Radix);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001517
1518/**
1519 * Obtain a constant value referring to a double floating point value.
1520 */
Gordon Henriksen1046c732007-10-06 15:11:06 +00001521LLVMValueRef LLVMConstReal(LLVMTypeRef RealTy, double N);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001522
1523/**
1524 * Obtain a constant for a floating point value parsed from a string.
1525 *
1526 * A similar API, LLVMConstRealOfStringAndSize is also available. It
1527 * should be used if the input string's length is known.
1528 */
Gordon Henriksen931e1212008-02-02 01:07:50 +00001529LLVMValueRef LLVMConstRealOfString(LLVMTypeRef RealTy, const char *Text);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001530
1531/**
1532 * Obtain a constant for a floating point value parsed from a string.
1533 */
Erick Tryzelaardd991352009-08-16 23:36:46 +00001534LLVMValueRef LLVMConstRealOfStringAndSize(LLVMTypeRef RealTy, const char *Text,
1535 unsigned SLen);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001536
1537/**
1538 * Obtain the zero extended value for an integer constant value.
1539 *
1540 * @see llvm::ConstantInt::getZExtValue()
1541 */
Chris Lattner40cf28d2009-10-12 04:01:02 +00001542unsigned long long LLVMConstIntGetZExtValue(LLVMValueRef ConstantVal);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001543
1544/**
1545 * Obtain the sign extended value for an integer constant value.
1546 *
1547 * @see llvm::ConstantInt::getSExtValue()
1548 */
Chris Lattner40cf28d2009-10-12 04:01:02 +00001549long long LLVMConstIntGetSExtValue(LLVMValueRef ConstantVal);
Erick Tryzelaardd991352009-08-16 23:36:46 +00001550
Gregory Szorc34c863a2012-03-21 03:54:29 +00001551/**
Peter Zotov1d98e6d2014-10-28 19:46:44 +00001552 * Obtain the double value for an floating point constant value.
1553 * losesInfo indicates if some precision was lost in the conversion.
1554 *
1555 * @see llvm::ConstantFP::getDoubleValue
1556 */
1557double LLVMConstRealGetDouble(LLVMValueRef ConstantVal, LLVMBool *losesInfo);
1558
1559/**
Gregory Szorc34c863a2012-03-21 03:54:29 +00001560 * @}
1561 */
1562
1563/**
Gregory Szorc52d26602012-03-21 07:28:27 +00001564 * @defgroup LLVMCCoreValueConstantComposite Composite Constants
1565 *
1566 * Functions in this group operate on composite constants.
Gregory Szorc34c863a2012-03-21 03:54:29 +00001567 *
1568 * @{
1569 */
1570
1571/**
Gregory Szorc52d26602012-03-21 07:28:27 +00001572 * Create a ConstantDataSequential and initialize it with a string.
Gregory Szorc34c863a2012-03-21 03:54:29 +00001573 *
Gregory Szorc52d26602012-03-21 07:28:27 +00001574 * @see llvm::ConstantDataArray::getString()
Gregory Szorc34c863a2012-03-21 03:54:29 +00001575 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +00001576LLVMValueRef LLVMConstStringInContext(LLVMContextRef C, const char *Str,
Chris Lattner25963c62010-01-09 22:27:07 +00001577 unsigned Length, LLVMBool DontNullTerminate);
Gregory Szorc52d26602012-03-21 07:28:27 +00001578
1579/**
1580 * Create a ConstantDataSequential with string content in the global context.
1581 *
1582 * This is the same as LLVMConstStringInContext except it operates on the
1583 * global context.
1584 *
1585 * @see LLVMConstStringInContext()
1586 * @see llvm::ConstantDataArray::getString()
1587 */
1588LLVMValueRef LLVMConstString(const char *Str, unsigned Length,
1589 LLVMBool DontNullTerminate);
1590
1591/**
Peter Zotovf9aa8822014-08-03 23:54:16 +00001592 * Returns true if the specified constant is an array of i8.
1593 *
1594 * @see ConstantDataSequential::getAsString()
1595 */
1596LLVMBool LLVMIsConstantString(LLVMValueRef c);
1597
1598/**
1599 * Get the given constant data sequential as a string.
1600 *
1601 * @see ConstantDataSequential::getAsString()
1602 */
1603const char *LLVMGetAsString(LLVMValueRef c, size_t* out);
1604
1605/**
Gregory Szorc52d26602012-03-21 07:28:27 +00001606 * Create an anonymous ConstantStruct with the specified values.
1607 *
1608 * @see llvm::ConstantStruct::getAnon()
1609 */
1610LLVMValueRef LLVMConstStructInContext(LLVMContextRef C,
Erick Tryzelaar262332f2009-08-14 00:01:31 +00001611 LLVMValueRef *ConstantVals,
Chris Lattner25963c62010-01-09 22:27:07 +00001612 unsigned Count, LLVMBool Packed);
Erick Tryzelaar262332f2009-08-14 00:01:31 +00001613
Gregory Szorc52d26602012-03-21 07:28:27 +00001614/**
1615 * Create a ConstantStruct in the global Context.
1616 *
1617 * This is the same as LLVMConstStructInContext except it operates on the
1618 * global Context.
1619 *
1620 * @see LLVMConstStructInContext()
1621 */
Gordon Henriksen1046c732007-10-06 15:11:06 +00001622LLVMValueRef LLVMConstStruct(LLVMValueRef *ConstantVals, unsigned Count,
Chris Lattner25963c62010-01-09 22:27:07 +00001623 LLVMBool Packed);
Gregory Szorc52d26602012-03-21 07:28:27 +00001624
1625/**
1626 * Create a ConstantArray from values.
1627 *
1628 * @see llvm::ConstantArray::get()
1629 */
1630LLVMValueRef LLVMConstArray(LLVMTypeRef ElementTy,
1631 LLVMValueRef *ConstantVals, unsigned Length);
1632
1633/**
1634 * Create a non-anonymous ConstantStruct from values.
1635 *
1636 * @see llvm::ConstantStruct::get()
1637 */
Rafael Espindola784ad242011-07-14 19:09:08 +00001638LLVMValueRef LLVMConstNamedStruct(LLVMTypeRef StructTy,
1639 LLVMValueRef *ConstantVals,
1640 unsigned Count);
Gregory Szorc52d26602012-03-21 07:28:27 +00001641
1642/**
Peter Zotovf9aa8822014-08-03 23:54:16 +00001643 * Get an element at specified index as a constant.
1644 *
1645 * @see ConstantDataSequential::getElementAsConstant()
1646 */
1647LLVMValueRef LLVMGetElementAsConstant(LLVMValueRef c, unsigned idx);
1648
1649/**
Gregory Szorc52d26602012-03-21 07:28:27 +00001650 * Create a ConstantVector from values.
1651 *
1652 * @see llvm::ConstantVector::get()
1653 */
Gordon Henriksen1046c732007-10-06 15:11:06 +00001654LLVMValueRef LLVMConstVector(LLVMValueRef *ScalarConstantVals, unsigned Size);
Gordon Henriksen76a03742007-09-18 03:18:57 +00001655
Gregory Szorc52d26602012-03-21 07:28:27 +00001656/**
1657 * @}
1658 */
1659
1660/**
1661 * @defgroup LLVMCCoreValueConstantExpressions Constant Expressions
1662 *
1663 * Functions in this group correspond to APIs on llvm::ConstantExpr.
1664 *
1665 * @see llvm::ConstantExpr.
1666 *
1667 * @{
1668 */
Chris Lattner40cf28d2009-10-12 04:01:02 +00001669LLVMOpcode LLVMGetConstOpcode(LLVMValueRef ConstantVal);
Erick Tryzelaarfd529d72009-08-19 08:36:49 +00001670LLVMValueRef LLVMAlignOf(LLVMTypeRef Ty);
Gordon Henriksen7ce31762007-10-06 14:29:36 +00001671LLVMValueRef LLVMSizeOf(LLVMTypeRef Ty);
1672LLVMValueRef LLVMConstNeg(LLVMValueRef ConstantVal);
Erick Tryzelaar4c340c72010-02-28 05:51:43 +00001673LLVMValueRef LLVMConstNSWNeg(LLVMValueRef ConstantVal);
1674LLVMValueRef LLVMConstNUWNeg(LLVMValueRef ConstantVal);
Erick Tryzelaar4cc690c2009-08-16 02:20:12 +00001675LLVMValueRef LLVMConstFNeg(LLVMValueRef ConstantVal);
Gordon Henriksen7ce31762007-10-06 14:29:36 +00001676LLVMValueRef LLVMConstNot(LLVMValueRef ConstantVal);
1677LLVMValueRef LLVMConstAdd(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Dan Gohmane4ca02d2009-09-03 23:34:49 +00001678LLVMValueRef LLVMConstNSWAdd(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Erick Tryzelaar4c340c72010-02-28 05:51:43 +00001679LLVMValueRef LLVMConstNUWAdd(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Erick Tryzelaar4cc690c2009-08-16 02:20:12 +00001680LLVMValueRef LLVMConstFAdd(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Gordon Henriksen7ce31762007-10-06 14:29:36 +00001681LLVMValueRef LLVMConstSub(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Erick Tryzelaar4c340c72010-02-28 05:51:43 +00001682LLVMValueRef LLVMConstNSWSub(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1683LLVMValueRef LLVMConstNUWSub(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Erick Tryzelaar4cc690c2009-08-16 02:20:12 +00001684LLVMValueRef LLVMConstFSub(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Gordon Henriksen7ce31762007-10-06 14:29:36 +00001685LLVMValueRef LLVMConstMul(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Erick Tryzelaar4c340c72010-02-28 05:51:43 +00001686LLVMValueRef LLVMConstNSWMul(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1687LLVMValueRef LLVMConstNUWMul(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Erick Tryzelaar4cc690c2009-08-16 02:20:12 +00001688LLVMValueRef LLVMConstFMul(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Gordon Henriksen7ce31762007-10-06 14:29:36 +00001689LLVMValueRef LLVMConstUDiv(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1690LLVMValueRef LLVMConstSDiv(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Dan Gohmane4ca02d2009-09-03 23:34:49 +00001691LLVMValueRef LLVMConstExactSDiv(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
Gordon Henriksen7ce31762007-10-06 14:29:36 +00001692LLVMValueRef LLVMConstFDiv(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1693LLVMValueRef LLVMConstURem(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1694LLVMValueRef LLVMConstSRem(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1695LLVMValueRef LLVMConstFRem(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1696LLVMValueRef LLVMConstAnd(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1697LLVMValueRef LLVMConstOr(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1698LLVMValueRef LLVMConstXor(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1699LLVMValueRef LLVMConstICmp(LLVMIntPredicate Predicate,
1700 LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1701LLVMValueRef LLVMConstFCmp(LLVMRealPredicate Predicate,
1702 LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1703LLVMValueRef LLVMConstShl(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1704LLVMValueRef LLVMConstLShr(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1705LLVMValueRef LLVMConstAShr(LLVMValueRef LHSConstant, LLVMValueRef RHSConstant);
1706LLVMValueRef LLVMConstGEP(LLVMValueRef ConstantVal,
1707 LLVMValueRef *ConstantIndices, unsigned NumIndices);
Dan Gohmane4ca02d2009-09-03 23:34:49 +00001708LLVMValueRef LLVMConstInBoundsGEP(LLVMValueRef ConstantVal,
1709 LLVMValueRef *ConstantIndices,
1710 unsigned NumIndices);
Gordon Henriksen7ce31762007-10-06 14:29:36 +00001711LLVMValueRef LLVMConstTrunc(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
1712LLVMValueRef LLVMConstSExt(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
1713LLVMValueRef LLVMConstZExt(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
1714LLVMValueRef LLVMConstFPTrunc(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
1715LLVMValueRef LLVMConstFPExt(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
1716LLVMValueRef LLVMConstUIToFP(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
1717LLVMValueRef LLVMConstSIToFP(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
1718LLVMValueRef LLVMConstFPToUI(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
1719LLVMValueRef LLVMConstFPToSI(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
1720LLVMValueRef LLVMConstPtrToInt(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
1721LLVMValueRef LLVMConstIntToPtr(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
1722LLVMValueRef LLVMConstBitCast(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00001723LLVMValueRef LLVMConstAddrSpaceCast(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
Erick Tryzelaar4cc690c2009-08-16 02:20:12 +00001724LLVMValueRef LLVMConstZExtOrBitCast(LLVMValueRef ConstantVal,
1725 LLVMTypeRef ToType);
1726LLVMValueRef LLVMConstSExtOrBitCast(LLVMValueRef ConstantVal,
1727 LLVMTypeRef ToType);
1728LLVMValueRef LLVMConstTruncOrBitCast(LLVMValueRef ConstantVal,
1729 LLVMTypeRef ToType);
1730LLVMValueRef LLVMConstPointerCast(LLVMValueRef ConstantVal,
1731 LLVMTypeRef ToType);
1732LLVMValueRef LLVMConstIntCast(LLVMValueRef ConstantVal, LLVMTypeRef ToType,
Chris Lattner25963c62010-01-09 22:27:07 +00001733 LLVMBool isSigned);
Erick Tryzelaar4cc690c2009-08-16 02:20:12 +00001734LLVMValueRef LLVMConstFPCast(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
Gordon Henriksen7ce31762007-10-06 14:29:36 +00001735LLVMValueRef LLVMConstSelect(LLVMValueRef ConstantCondition,
1736 LLVMValueRef ConstantIfTrue,
1737 LLVMValueRef ConstantIfFalse);
1738LLVMValueRef LLVMConstExtractElement(LLVMValueRef VectorConstant,
1739 LLVMValueRef IndexConstant);
1740LLVMValueRef LLVMConstInsertElement(LLVMValueRef VectorConstant,
1741 LLVMValueRef ElementValueConstant,
1742 LLVMValueRef IndexConstant);
1743LLVMValueRef LLVMConstShuffleVector(LLVMValueRef VectorAConstant,
1744 LLVMValueRef VectorBConstant,
1745 LLVMValueRef MaskConstant);
Dan Gohmand5104a52008-11-03 22:55:43 +00001746LLVMValueRef LLVMConstExtractValue(LLVMValueRef AggConstant, unsigned *IdxList,
1747 unsigned NumIdx);
1748LLVMValueRef LLVMConstInsertValue(LLVMValueRef AggConstant,
1749 LLVMValueRef ElementValueConstant,
1750 unsigned *IdxList, unsigned NumIdx);
Chris Lattner25963c62010-01-09 22:27:07 +00001751LLVMValueRef LLVMConstInlineAsm(LLVMTypeRef Ty,
Chris Lattner3d1f5522008-12-17 21:39:50 +00001752 const char *AsmString, const char *Constraints,
Chris Lattner25963c62010-01-09 22:27:07 +00001753 LLVMBool HasSideEffects, LLVMBool IsAlignStack);
Erick Tryzelaar0fb26ef2010-02-28 09:46:06 +00001754LLVMValueRef LLVMBlockAddress(LLVMValueRef F, LLVMBasicBlockRef BB);
Gordon Henriksen7ce31762007-10-06 14:29:36 +00001755
Gregory Szorc52d26602012-03-21 07:28:27 +00001756/**
1757 * @}
1758 */
1759
1760/**
1761 * @defgroup LLVMCCoreValueConstantGlobals Global Values
1762 *
1763 * This group contains functions that operate on global values. Functions in
1764 * this group relate to functions in the llvm::GlobalValue class tree.
1765 *
1766 * @see llvm::GlobalValue
1767 *
1768 * @{
1769 */
1770
Gordon Henriksen265f7802008-03-19 01:11:35 +00001771LLVMModuleRef LLVMGetGlobalParent(LLVMValueRef Global);
Chris Lattner25963c62010-01-09 22:27:07 +00001772LLVMBool LLVMIsDeclaration(LLVMValueRef Global);
Gordon Henriksen76a03742007-09-18 03:18:57 +00001773LLVMLinkage LLVMGetLinkage(LLVMValueRef Global);
1774void LLVMSetLinkage(LLVMValueRef Global, LLVMLinkage Linkage);
1775const char *LLVMGetSection(LLVMValueRef Global);
1776void LLVMSetSection(LLVMValueRef Global, const char *Section);
1777LLVMVisibility LLVMGetVisibility(LLVMValueRef Global);
1778void LLVMSetVisibility(LLVMValueRef Global, LLVMVisibility Viz);
Reid Kleckner2fae26f2014-03-05 02:34:23 +00001779LLVMDLLStorageClass LLVMGetDLLStorageClass(LLVMValueRef Global);
1780void LLVMSetDLLStorageClass(LLVMValueRef Global, LLVMDLLStorageClass Class);
Tim Northoverad96d012014-03-10 19:24:35 +00001781LLVMBool LLVMHasUnnamedAddr(LLVMValueRef Global);
1782void LLVMSetUnnamedAddr(LLVMValueRef Global, LLVMBool HasUnnamedAddr);
Anders Waldenborg213a63f2013-10-29 09:02:02 +00001783
1784/**
1785 * @defgroup LLVMCCoreValueWithAlignment Values with alignment
1786 *
1787 * Functions in this group only apply to values with alignment, i.e.
1788 * global variables, load and store instructions.
1789 */
1790
1791/**
1792 * Obtain the preferred alignment of the value.
Peter Zotov9f584e62014-03-05 05:05:34 +00001793 * @see llvm::AllocaInst::getAlignment()
Anders Waldenborg213a63f2013-10-29 09:02:02 +00001794 * @see llvm::LoadInst::getAlignment()
1795 * @see llvm::StoreInst::getAlignment()
1796 * @see llvm::GlobalValue::getAlignment()
1797 */
1798unsigned LLVMGetAlignment(LLVMValueRef V);
1799
1800/**
1801 * Set the preferred alignment of the value.
Peter Zotov9f584e62014-03-05 05:05:34 +00001802 * @see llvm::AllocaInst::setAlignment()
Anders Waldenborg213a63f2013-10-29 09:02:02 +00001803 * @see llvm::LoadInst::setAlignment()
1804 * @see llvm::StoreInst::setAlignment()
1805 * @see llvm::GlobalValue::setAlignment()
1806 */
1807void LLVMSetAlignment(LLVMValueRef V, unsigned Bytes);
1808
1809/**
1810 * @}
1811 */
Gordon Henriksen76a03742007-09-18 03:18:57 +00001812
Gregory Szorc52d26602012-03-21 07:28:27 +00001813/**
1814 * @defgroup LLVMCoreValueConstantGlobalVariable Global Variables
1815 *
1816 * This group contains functions that operate on global variable values.
1817 *
1818 * @see llvm::GlobalVariable
1819 *
1820 * @{
1821 */
Gordon Henriksen76a03742007-09-18 03:18:57 +00001822LLVMValueRef LLVMAddGlobal(LLVMModuleRef M, LLVMTypeRef Ty, const char *Name);
Erick Tryzelaar06894b32010-02-28 09:46:13 +00001823LLVMValueRef LLVMAddGlobalInAddressSpace(LLVMModuleRef M, LLVMTypeRef Ty,
1824 const char *Name,
1825 unsigned AddressSpace);
Gordon Henriksen783f7bb2007-10-08 03:45:09 +00001826LLVMValueRef LLVMGetNamedGlobal(LLVMModuleRef M, const char *Name);
Gordon Henriksen07a45f42008-03-23 22:21:29 +00001827LLVMValueRef LLVMGetFirstGlobal(LLVMModuleRef M);
1828LLVMValueRef LLVMGetLastGlobal(LLVMModuleRef M);
1829LLVMValueRef LLVMGetNextGlobal(LLVMValueRef GlobalVar);
1830LLVMValueRef LLVMGetPreviousGlobal(LLVMValueRef GlobalVar);
Gordon Henriksen76a03742007-09-18 03:18:57 +00001831void LLVMDeleteGlobal(LLVMValueRef GlobalVar);
Gordon Henriksen76a03742007-09-18 03:18:57 +00001832LLVMValueRef LLVMGetInitializer(LLVMValueRef GlobalVar);
1833void LLVMSetInitializer(LLVMValueRef GlobalVar, LLVMValueRef ConstantVal);
Chris Lattner25963c62010-01-09 22:27:07 +00001834LLVMBool LLVMIsThreadLocal(LLVMValueRef GlobalVar);
1835void LLVMSetThreadLocal(LLVMValueRef GlobalVar, LLVMBool IsThreadLocal);
1836LLVMBool LLVMIsGlobalConstant(LLVMValueRef GlobalVar);
1837void LLVMSetGlobalConstant(LLVMValueRef GlobalVar, LLVMBool IsConstant);
Hans Wennborg5ff71202013-04-16 08:58:59 +00001838LLVMThreadLocalMode LLVMGetThreadLocalMode(LLVMValueRef GlobalVar);
1839void LLVMSetThreadLocalMode(LLVMValueRef GlobalVar, LLVMThreadLocalMode Mode);
1840LLVMBool LLVMIsExternallyInitialized(LLVMValueRef GlobalVar);
1841void LLVMSetExternallyInitialized(LLVMValueRef GlobalVar, LLVMBool IsExtInit);
Gordon Henriksen76a03742007-09-18 03:18:57 +00001842
Gregory Szorc52d26602012-03-21 07:28:27 +00001843/**
1844 * @}
1845 */
1846
1847/**
1848 * @defgroup LLVMCoreValueConstantGlobalAlias Global Aliases
1849 *
1850 * This group contains function that operate on global alias values.
1851 *
1852 * @see llvm::GlobalAlias
1853 *
1854 * @{
1855 */
Chris Lattner3d1f5522008-12-17 21:39:50 +00001856LLVMValueRef LLVMAddAlias(LLVMModuleRef M, LLVMTypeRef Ty, LLVMValueRef Aliasee,
1857 const char *Name);
1858
Gregory Szorc34c863a2012-03-21 03:54:29 +00001859/**
1860 * @}
1861 */
1862
1863/**
1864 * @defgroup LLVMCCoreValueFunction Function values
1865 *
1866 * Functions in this group operate on LLVMValueRef instances that
1867 * correspond to llvm::Function instances.
1868 *
1869 * @see llvm::Function
1870 *
1871 * @{
1872 */
1873
1874/**
1875 * Remove a function from its containing module and deletes it.
1876 *
1877 * @see llvm::Function::eraseFromParent()
1878 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00001879void LLVMDeleteFunction(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001880
1881/**
1882 * Obtain the ID number from a function instance.
1883 *
1884 * @see llvm::Function::getIntrinsicID()
1885 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00001886unsigned LLVMGetIntrinsicID(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001887
1888/**
1889 * Obtain the calling function of a function.
1890 *
1891 * The returned value corresponds to the LLVMCallConv enumeration.
1892 *
1893 * @see llvm::Function::getCallingConv()
1894 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00001895unsigned LLVMGetFunctionCallConv(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001896
1897/**
1898 * Set the calling convention of a function.
1899 *
1900 * @see llvm::Function::setCallingConv()
1901 *
1902 * @param Fn Function to operate on
1903 * @param CC LLVMCallConv to set calling convention to
1904 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00001905void LLVMSetFunctionCallConv(LLVMValueRef Fn, unsigned CC);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001906
1907/**
1908 * Obtain the name of the garbage collector to use during code
1909 * generation.
1910 *
1911 * @see llvm::Function::getGC()
1912 */
Gordon Henriksend930f912008-08-17 18:44:35 +00001913const char *LLVMGetGC(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001914
1915/**
1916 * Define the garbage collector to use during code generation.
1917 *
1918 * @see llvm::Function::setGC()
1919 */
Gordon Henriksend930f912008-08-17 18:44:35 +00001920void LLVMSetGC(LLVMValueRef Fn, const char *Name);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001921
1922/**
1923 * Add an attribute to a function.
1924 *
1925 * @see llvm::Function::addAttribute()
1926 */
Duncan Sands7374a012009-05-06 12:21:17 +00001927void LLVMAddFunctionAttr(LLVMValueRef Fn, LLVMAttribute PA);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001928
1929/**
Tom Stellarde8f35e12013-04-16 23:12:43 +00001930 * Add a target-dependent attribute to a fuction
1931 * @see llvm::AttrBuilder::addAttribute()
1932 */
1933void LLVMAddTargetDependentFunctionAttr(LLVMValueRef Fn, const char *A,
1934 const char *V);
1935
1936/**
Gregory Szorc34c863a2012-03-21 03:54:29 +00001937 * Obtain an attribute from a function.
1938 *
1939 * @see llvm::Function::getAttributes()
1940 */
Chris Lattner40cf28d2009-10-12 04:01:02 +00001941LLVMAttribute LLVMGetFunctionAttr(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001942
1943/**
1944 * Remove an attribute from a function.
1945 */
Duncan Sands7374a012009-05-06 12:21:17 +00001946void LLVMRemoveFunctionAttr(LLVMValueRef Fn, LLVMAttribute PA);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00001947
Gregory Szorc34c863a2012-03-21 03:54:29 +00001948/**
1949 * @defgroup LLVMCCoreValueFunctionParameters Function Parameters
1950 *
1951 * Functions in this group relate to arguments/parameters on functions.
1952 *
1953 * Functions in this group expect LLVMValueRef instances that correspond
1954 * to llvm::Function instances.
1955 *
1956 * @{
1957 */
1958
1959/**
1960 * Obtain the number of parameters in a function.
1961 *
1962 * @see llvm::Function::arg_size()
1963 */
Gordon Henriksen265f7802008-03-19 01:11:35 +00001964unsigned LLVMCountParams(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001965
1966/**
1967 * Obtain the parameters in a function.
1968 *
1969 * The takes a pointer to a pre-allocated array of LLVMValueRef that is
1970 * at least LLVMCountParams() long. This array will be filled with
1971 * LLVMValueRef instances which correspond to the parameters the
1972 * function receives. Each LLVMValueRef corresponds to a llvm::Argument
1973 * instance.
1974 *
1975 * @see llvm::Function::arg_begin()
1976 */
Gordon Henriksen265f7802008-03-19 01:11:35 +00001977void LLVMGetParams(LLVMValueRef Fn, LLVMValueRef *Params);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001978
1979/**
1980 * Obtain the parameter at the specified index.
1981 *
1982 * Parameters are indexed from 0.
1983 *
1984 * @see llvm::Function::arg_begin()
1985 */
Gordon Henriksen265f7802008-03-19 01:11:35 +00001986LLVMValueRef LLVMGetParam(LLVMValueRef Fn, unsigned Index);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001987
1988/**
1989 * Obtain the function to which this argument belongs.
1990 *
Daniel Dunbar06b9f9e2013-08-16 23:30:19 +00001991 * Unlike other functions in this group, this one takes an LLVMValueRef
Gregory Szorc34c863a2012-03-21 03:54:29 +00001992 * that corresponds to a llvm::Attribute.
1993 *
1994 * The returned LLVMValueRef is the llvm::Function to which this
1995 * argument belongs.
1996 */
Gordon Henriksen265f7802008-03-19 01:11:35 +00001997LLVMValueRef LLVMGetParamParent(LLVMValueRef Inst);
Gregory Szorc34c863a2012-03-21 03:54:29 +00001998
1999/**
2000 * Obtain the first parameter to a function.
2001 *
2002 * @see llvm::Function::arg_begin()
2003 */
Gordon Henriksen07a45f42008-03-23 22:21:29 +00002004LLVMValueRef LLVMGetFirstParam(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002005
2006/**
2007 * Obtain the last parameter to a function.
2008 *
2009 * @see llvm::Function::arg_end()
2010 */
Gordon Henriksen07a45f42008-03-23 22:21:29 +00002011LLVMValueRef LLVMGetLastParam(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002012
2013/**
2014 * Obtain the next parameter to a function.
2015 *
Daniel Dunbar06b9f9e2013-08-16 23:30:19 +00002016 * This takes an LLVMValueRef obtained from LLVMGetFirstParam() (which is
Gregory Szorc34c863a2012-03-21 03:54:29 +00002017 * actually a wrapped iterator) and obtains the next parameter from the
2018 * underlying iterator.
2019 */
Gordon Henriksen07a45f42008-03-23 22:21:29 +00002020LLVMValueRef LLVMGetNextParam(LLVMValueRef Arg);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002021
2022/**
2023 * Obtain the previous parameter to a function.
2024 *
2025 * This is the opposite of LLVMGetNextParam().
2026 */
Gordon Henriksen07a45f42008-03-23 22:21:29 +00002027LLVMValueRef LLVMGetPreviousParam(LLVMValueRef Arg);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002028
2029/**
2030 * Add an attribute to a function argument.
2031 *
2032 * @see llvm::Argument::addAttr()
2033 */
Devang Patel4c758ea2008-09-25 21:00:45 +00002034void LLVMAddAttribute(LLVMValueRef Arg, LLVMAttribute PA);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002035
2036/**
2037 * Remove an attribute from a function argument.
2038 *
2039 * @see llvm::Argument::removeAttr()
2040 */
Devang Patel4c758ea2008-09-25 21:00:45 +00002041void LLVMRemoveAttribute(LLVMValueRef Arg, LLVMAttribute PA);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002042
2043/**
2044 * Get an attribute from a function argument.
2045 */
Chris Lattner40cf28d2009-10-12 04:01:02 +00002046LLVMAttribute LLVMGetAttribute(LLVMValueRef Arg);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002047
2048/**
2049 * Set the alignment for a function parameter.
2050 *
2051 * @see llvm::Argument::addAttr()
Bill Wendling50d27842012-10-15 20:35:56 +00002052 * @see llvm::AttrBuilder::addAlignmentAttr()
Gregory Szorc34c863a2012-03-21 03:54:29 +00002053 */
Gordon Henriksen2d9cc212008-04-28 17:37:06 +00002054void LLVMSetParamAlignment(LLVMValueRef Arg, unsigned align);
Gordon Henriksen265f7802008-03-19 01:11:35 +00002055
Gregory Szorc34c863a2012-03-21 03:54:29 +00002056/**
2057 * @}
2058 */
2059
2060/**
2061 * @}
2062 */
2063
2064/**
Gregory Szorc52d26602012-03-21 07:28:27 +00002065 * @}
2066 */
2067
2068/**
2069 * @}
2070 */
2071
2072/**
2073 * @defgroup LLVMCCoreValueMetadata Metadata
2074 *
2075 * @{
2076 */
2077
2078/**
2079 * Obtain a MDString value from a context.
2080 *
2081 * The returned instance corresponds to the llvm::MDString class.
2082 *
2083 * The instance is specified by string data of a specified length. The
2084 * string content is copied, so the backing memory can be freed after
2085 * this function returns.
2086 */
2087LLVMValueRef LLVMMDStringInContext(LLVMContextRef C, const char *Str,
2088 unsigned SLen);
2089
2090/**
2091 * Obtain a MDString value from the global context.
2092 */
2093LLVMValueRef LLVMMDString(const char *Str, unsigned SLen);
2094
2095/**
2096 * Obtain a MDNode value from a context.
2097 *
2098 * The returned value corresponds to the llvm::MDNode class.
2099 */
2100LLVMValueRef LLVMMDNodeInContext(LLVMContextRef C, LLVMValueRef *Vals,
2101 unsigned Count);
2102
2103/**
2104 * Obtain a MDNode value from the global context.
2105 */
2106LLVMValueRef LLVMMDNode(LLVMValueRef *Vals, unsigned Count);
2107
2108/**
2109 * Obtain the underlying string from a MDString value.
2110 *
2111 * @param V Instance to obtain string from.
2112 * @param Len Memory address which will hold length of returned string.
2113 * @return String data in MDString.
2114 */
2115const char *LLVMGetMDString(LLVMValueRef V, unsigned* Len);
2116
2117/**
Duncan Sands12ccbe72012-09-19 20:29:39 +00002118 * Obtain the number of operands from an MDNode value.
2119 *
2120 * @param V MDNode to get number of operands from.
2121 * @return Number of operands of the MDNode.
2122 */
2123unsigned LLVMGetMDNodeNumOperands(LLVMValueRef V);
2124
2125/**
2126 * Obtain the given MDNode's operands.
2127 *
2128 * The passed LLVMValueRef pointer should point to enough memory to hold all of
2129 * the operands of the given MDNode (see LLVMGetMDNodeNumOperands) as
2130 * LLVMValueRefs. This memory will be populated with the LLVMValueRefs of the
2131 * MDNode's operands.
2132 *
2133 * @param V MDNode to get the operands from.
2134 * @param Dest Destination array for operands.
2135 */
2136void LLVMGetMDNodeOperands(LLVMValueRef V, LLVMValueRef *Dest);
2137
2138/**
Gregory Szorc52d26602012-03-21 07:28:27 +00002139 * @}
2140 */
2141
2142/**
Gregory Szorc34c863a2012-03-21 03:54:29 +00002143 * @defgroup LLVMCCoreValueBasicBlock Basic Block
2144 *
2145 * A basic block represents a single entry single exit section of code.
2146 * Basic blocks contain a list of instructions which form the body of
2147 * the block.
2148 *
2149 * Basic blocks belong to functions. They have the type of label.
2150 *
2151 * Basic blocks are themselves values. However, the C API models them as
2152 * LLVMBasicBlockRef.
2153 *
2154 * @see llvm::BasicBlock
2155 *
2156 * @{
2157 */
2158
2159/**
2160 * Convert a basic block instance to a value type.
2161 */
Gordon Henriksen07a45f42008-03-23 22:21:29 +00002162LLVMValueRef LLVMBasicBlockAsValue(LLVMBasicBlockRef BB);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002163
2164/**
Daniel Dunbar06b9f9e2013-08-16 23:30:19 +00002165 * Determine whether an LLVMValueRef is itself a basic block.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002166 */
Chris Lattner25963c62010-01-09 22:27:07 +00002167LLVMBool LLVMValueIsBasicBlock(LLVMValueRef Val);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002168
2169/**
Daniel Dunbar06b9f9e2013-08-16 23:30:19 +00002170 * Convert an LLVMValueRef to an LLVMBasicBlockRef instance.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002171 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002172LLVMBasicBlockRef LLVMValueAsBasicBlock(LLVMValueRef Val);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002173
2174/**
2175 * Obtain the function to which a basic block belongs.
2176 *
2177 * @see llvm::BasicBlock::getParent()
2178 */
Gordon Henriksen07a45f42008-03-23 22:21:29 +00002179LLVMValueRef LLVMGetBasicBlockParent(LLVMBasicBlockRef BB);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002180
2181/**
2182 * Obtain the terminator instruction for a basic block.
2183 *
2184 * If the basic block does not have a terminator (it is not well-formed
2185 * if it doesn't), then NULL is returned.
2186 *
2187 * The returned LLVMValueRef corresponds to a llvm::TerminatorInst.
2188 *
2189 * @see llvm::BasicBlock::getTerminator()
2190 */
Nate Begeman43c322b2011-08-23 20:27:46 +00002191LLVMValueRef LLVMGetBasicBlockTerminator(LLVMBasicBlockRef BB);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002192
2193/**
2194 * Obtain the number of basic blocks in a function.
2195 *
2196 * @param Fn Function value to operate on.
2197 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002198unsigned LLVMCountBasicBlocks(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002199
2200/**
2201 * Obtain all of the basic blocks in a function.
2202 *
2203 * This operates on a function value. The BasicBlocks parameter is a
2204 * pointer to a pre-allocated array of LLVMBasicBlockRef of at least
2205 * LLVMCountBasicBlocks() in length. This array is populated with
2206 * LLVMBasicBlockRef instances.
2207 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002208void LLVMGetBasicBlocks(LLVMValueRef Fn, LLVMBasicBlockRef *BasicBlocks);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002209
2210/**
2211 * Obtain the first basic block in a function.
2212 *
2213 * The returned basic block can be used as an iterator. You will likely
2214 * eventually call into LLVMGetNextBasicBlock() with it.
2215 *
2216 * @see llvm::Function::begin()
2217 */
Gordon Henriksen054817c2008-03-19 03:47:18 +00002218LLVMBasicBlockRef LLVMGetFirstBasicBlock(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002219
2220/**
2221 * Obtain the last basic block in a function.
2222 *
2223 * @see llvm::Function::end()
2224 */
Gordon Henriksen054817c2008-03-19 03:47:18 +00002225LLVMBasicBlockRef LLVMGetLastBasicBlock(LLVMValueRef Fn);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002226
2227/**
2228 * Advance a basic block iterator.
2229 */
Gordon Henriksen054817c2008-03-19 03:47:18 +00002230LLVMBasicBlockRef LLVMGetNextBasicBlock(LLVMBasicBlockRef BB);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002231
2232/**
2233 * Go backwards in a basic block iterator.
2234 */
Gordon Henriksen054817c2008-03-19 03:47:18 +00002235LLVMBasicBlockRef LLVMGetPreviousBasicBlock(LLVMBasicBlockRef BB);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002236
2237/**
2238 * Obtain the basic block that corresponds to the entry point of a
2239 * function.
2240 *
2241 * @see llvm::Function::getEntryBlock()
2242 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002243LLVMBasicBlockRef LLVMGetEntryBasicBlock(LLVMValueRef Fn);
Erick Tryzelaar262332f2009-08-14 00:01:31 +00002244
Gregory Szorc34c863a2012-03-21 03:54:29 +00002245/**
2246 * Append a basic block to the end of a function.
2247 *
2248 * @see llvm::BasicBlock::Create()
2249 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +00002250LLVMBasicBlockRef LLVMAppendBasicBlockInContext(LLVMContextRef C,
2251 LLVMValueRef Fn,
2252 const char *Name);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002253
2254/**
2255 * Append a basic block to the end of a function using the global
2256 * context.
2257 *
2258 * @see llvm::BasicBlock::Create()
2259 */
2260LLVMBasicBlockRef LLVMAppendBasicBlock(LLVMValueRef Fn, const char *Name);
2261
2262/**
2263 * Insert a basic block in a function before another basic block.
2264 *
2265 * The function to add to is determined by the function of the
2266 * passed basic block.
2267 *
2268 * @see llvm::BasicBlock::Create()
2269 */
Erick Tryzelaar262332f2009-08-14 00:01:31 +00002270LLVMBasicBlockRef LLVMInsertBasicBlockInContext(LLVMContextRef C,
2271 LLVMBasicBlockRef BB,
2272 const char *Name);
2273
Gregory Szorc34c863a2012-03-21 03:54:29 +00002274/**
2275 * Insert a basic block in a function using the global context.
2276 *
2277 * @see llvm::BasicBlock::Create()
2278 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002279LLVMBasicBlockRef LLVMInsertBasicBlock(LLVMBasicBlockRef InsertBeforeBB,
2280 const char *Name);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002281
2282/**
2283 * Remove a basic block from a function and delete it.
2284 *
2285 * This deletes the basic block from its containing function and deletes
2286 * the basic block itself.
2287 *
2288 * @see llvm::BasicBlock::eraseFromParent()
2289 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002290void LLVMDeleteBasicBlock(LLVMBasicBlockRef BB);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002291
2292/**
2293 * Remove a basic block from a function.
2294 *
2295 * This deletes the basic block from its containing function but keep
2296 * the basic block alive.
2297 *
2298 * @see llvm::BasicBlock::removeFromParent()
2299 */
Nate Begeman43c322b2011-08-23 20:27:46 +00002300void LLVMRemoveBasicBlockFromParent(LLVMBasicBlockRef BB);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002301
Gregory Szorc34c863a2012-03-21 03:54:29 +00002302/**
2303 * Move a basic block to before another one.
2304 *
2305 * @see llvm::BasicBlock::moveBefore()
2306 */
Duncan Sandsb1d61aa2010-07-19 15:31:07 +00002307void LLVMMoveBasicBlockBefore(LLVMBasicBlockRef BB, LLVMBasicBlockRef MovePos);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002308
2309/**
2310 * Move a basic block to after another one.
2311 *
2312 * @see llvm::BasicBlock::moveAfter()
2313 */
Duncan Sandsb1d61aa2010-07-19 15:31:07 +00002314void LLVMMoveBasicBlockAfter(LLVMBasicBlockRef BB, LLVMBasicBlockRef MovePos);
2315
Gregory Szorc34c863a2012-03-21 03:54:29 +00002316/**
2317 * Obtain the first instruction in a basic block.
2318 *
2319 * The returned LLVMValueRef corresponds to a llvm::Instruction
2320 * instance.
2321 */
Gordon Henriksen054817c2008-03-19 03:47:18 +00002322LLVMValueRef LLVMGetFirstInstruction(LLVMBasicBlockRef BB);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002323
2324/**
2325 * Obtain the last instruction in a basic block.
2326 *
Daniel Dunbar06b9f9e2013-08-16 23:30:19 +00002327 * The returned LLVMValueRef corresponds to an LLVM:Instruction.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002328 */
Gordon Henriksen054817c2008-03-19 03:47:18 +00002329LLVMValueRef LLVMGetLastInstruction(LLVMBasicBlockRef BB);
Nate Begeman43c322b2011-08-23 20:27:46 +00002330
Gregory Szorc34c863a2012-03-21 03:54:29 +00002331/**
2332 * @}
2333 */
2334
2335/**
2336 * @defgroup LLVMCCoreValueInstruction Instructions
2337 *
2338 * Functions in this group relate to the inspection and manipulation of
2339 * individual instructions.
2340 *
2341 * In the C++ API, an instruction is modeled by llvm::Instruction. This
2342 * class has a large number of descendents. llvm::Instruction is a
2343 * llvm::Value and in the C API, instructions are modeled by
2344 * LLVMValueRef.
2345 *
2346 * This group also contains sub-groups which operate on specific
2347 * llvm::Instruction types, e.g. llvm::CallInst.
2348 *
2349 * @{
2350 */
2351
2352/**
2353 * Determine whether an instruction has any metadata attached.
2354 */
2355int LLVMHasMetadata(LLVMValueRef Val);
2356
2357/**
2358 * Return metadata associated with an instruction value.
2359 */
2360LLVMValueRef LLVMGetMetadata(LLVMValueRef Val, unsigned KindID);
2361
2362/**
2363 * Set metadata associated with an instruction value.
2364 */
2365void LLVMSetMetadata(LLVMValueRef Val, unsigned KindID, LLVMValueRef Node);
2366
2367/**
2368 * Obtain the basic block to which an instruction belongs.
2369 *
2370 * @see llvm::Instruction::getParent()
2371 */
Nate Begeman43c322b2011-08-23 20:27:46 +00002372LLVMBasicBlockRef LLVMGetInstructionParent(LLVMValueRef Inst);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002373
2374/**
2375 * Obtain the instruction that occurs after the one specified.
2376 *
2377 * The next instruction will be from the same basic block.
2378 *
2379 * If this is the last instruction in a basic block, NULL will be
2380 * returned.
2381 */
Gordon Henriksen054817c2008-03-19 03:47:18 +00002382LLVMValueRef LLVMGetNextInstruction(LLVMValueRef Inst);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002383
2384/**
Benjamin Kramerbde91762012-06-02 10:20:22 +00002385 * Obtain the instruction that occurred before this one.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002386 *
2387 * If the instruction is the first instruction in a basic block, NULL
2388 * will be returned.
2389 */
Gordon Henriksen054817c2008-03-19 03:47:18 +00002390LLVMValueRef LLVMGetPreviousInstruction(LLVMValueRef Inst);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002391
2392/**
2393 * Remove and delete an instruction.
2394 *
2395 * The instruction specified is removed from its containing building
2396 * block and then deleted.
2397 *
2398 * @see llvm::Instruction::eraseFromParent()
2399 */
Devang Pateldbebc6f2011-10-03 20:59:18 +00002400void LLVMInstructionEraseFromParent(LLVMValueRef Inst);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002401
2402/**
2403 * Obtain the code opcode for an individual instruction.
2404 *
2405 * @see llvm::Instruction::getOpCode()
2406 */
Torok Edwinab6158e2011-10-14 20:37:49 +00002407LLVMOpcode LLVMGetInstructionOpcode(LLVMValueRef Inst);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002408
2409/**
2410 * Obtain the predicate of an instruction.
2411 *
2412 * This is only valid for instructions that correspond to llvm::ICmpInst
2413 * or llvm::ConstantExpr whose opcode is llvm::Instruction::ICmp.
2414 *
2415 * @see llvm::ICmpInst::getPredicate()
2416 */
Torok Edwin60c40de2011-10-06 12:13:20 +00002417LLVMIntPredicate LLVMGetICmpPredicate(LLVMValueRef Inst);
Gordon Henriksen265f7802008-03-19 01:11:35 +00002418
Gregory Szorc34c863a2012-03-21 03:54:29 +00002419/**
Peter Zotov1d98e6d2014-10-28 19:46:44 +00002420 * Obtain the float predicate of an instruction.
2421 *
2422 * This is only valid for instructions that correspond to llvm::FCmpInst
2423 * or llvm::ConstantExpr whose opcode is llvm::Instruction::FCmp.
2424 *
2425 * @see llvm::FCmpInst::getPredicate()
2426 */
2427LLVMRealPredicate LLVMGetFCmpPredicate(LLVMValueRef Inst);
2428
2429/**
Peter Zotovaff492c2014-10-17 01:02:34 +00002430 * Create a copy of 'this' instruction that is identical in all ways
2431 * except the following:
2432 * * The instruction has no parent
2433 * * The instruction has no name
2434 *
2435 * @see llvm::Instruction::clone()
2436 */
2437LLVMValueRef LLVMInstructionClone(LLVMValueRef Inst);
2438
2439/**
Gregory Szorc34c863a2012-03-21 03:54:29 +00002440 * @defgroup LLVMCCoreValueInstructionCall Call Sites and Invocations
2441 *
2442 * Functions in this group apply to instructions that refer to call
2443 * sites and invocations. These correspond to C++ types in the
2444 * llvm::CallInst class tree.
2445 *
2446 * @{
2447 */
2448
2449/**
2450 * Set the calling convention for a call instruction.
2451 *
2452 * This expects an LLVMValueRef that corresponds to a llvm::CallInst or
2453 * llvm::InvokeInst.
2454 *
2455 * @see llvm::CallInst::setCallingConv()
2456 * @see llvm::InvokeInst::setCallingConv()
2457 */
Gordon Henriksen1158c532007-12-29 20:45:00 +00002458void LLVMSetInstructionCallConv(LLVMValueRef Instr, unsigned CC);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002459
2460/**
2461 * Obtain the calling convention for a call instruction.
2462 *
2463 * This is the opposite of LLVMSetInstructionCallConv(). Reads its
2464 * usage.
2465 *
2466 * @see LLVMSetInstructionCallConv()
2467 */
Gordon Henriksen1158c532007-12-29 20:45:00 +00002468unsigned LLVMGetInstructionCallConv(LLVMValueRef Instr);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002469
2470
Devang Patel4c758ea2008-09-25 21:00:45 +00002471void LLVMAddInstrAttribute(LLVMValueRef Instr, unsigned index, LLVMAttribute);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002472void LLVMRemoveInstrAttribute(LLVMValueRef Instr, unsigned index,
Devang Patel4c758ea2008-09-25 21:00:45 +00002473 LLVMAttribute);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002474void LLVMSetInstrParamAlignment(LLVMValueRef Instr, unsigned index,
Gordon Henriksen2d9cc212008-04-28 17:37:06 +00002475 unsigned align);
Gordon Henriksen1158c532007-12-29 20:45:00 +00002476
Gregory Szorc34c863a2012-03-21 03:54:29 +00002477/**
2478 * Obtain whether a call instruction is a tail call.
2479 *
2480 * This only works on llvm::CallInst instructions.
2481 *
2482 * @see llvm::CallInst::isTailCall()
2483 */
Chris Lattner25963c62010-01-09 22:27:07 +00002484LLVMBool LLVMIsTailCall(LLVMValueRef CallInst);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002485
2486/**
2487 * Set whether a call instruction is a tail call.
2488 *
2489 * This only works on llvm::CallInst instructions.
2490 *
2491 * @see llvm::CallInst::setTailCall()
2492 */
Chris Lattner25963c62010-01-09 22:27:07 +00002493void LLVMSetTailCall(LLVMValueRef CallInst, LLVMBool IsTailCall);
Gordon Henrikseneeb65372008-08-30 16:34:54 +00002494
Gregory Szorc34c863a2012-03-21 03:54:29 +00002495/**
2496 * @}
2497 */
2498
2499/**
Peter Zotov2481c752014-10-28 19:46:56 +00002500 * @defgroup LLVMCCoreValueInstructionTerminator Terminators
2501 *
2502 * Functions in this group only apply to instructions that map to
2503 * llvm::TerminatorInst instances.
2504 *
2505 * @{
2506 */
2507
2508/**
2509 * Return the number of successors that this terminator has.
2510 *
2511 * @see llvm::TerminatorInst::getNumSuccessors
2512 */
2513unsigned LLVMGetNumSuccessors(LLVMValueRef Term);
2514
2515/**
2516 * Return the specified successor.
2517 *
2518 * @see llvm::TerminatorInst::getSuccessor
2519 */
2520LLVMBasicBlockRef LLVMGetSuccessor(LLVMValueRef Term, unsigned i);
2521
2522/**
2523 * Update the specified successor to point at the provided block.
2524 *
2525 * @see llvm::TerminatorInst::setSuccessor
2526 */
2527void LLVMSetSuccessor(LLVMValueRef Term, unsigned i, LLVMBasicBlockRef block);
2528
2529/**
2530 * Return if a branch is conditional.
2531 *
2532 * This only works on llvm::BranchInst instructions.
2533 *
2534 * @see llvm::BranchInst::isConditional
2535 */
2536LLVMBool LLVMIsConditional(LLVMValueRef Branch);
2537
2538/**
2539 * Return the condition of a branch instruction.
2540 *
2541 * This only works on llvm::BranchInst instructions.
2542 *
2543 * @see llvm::BranchInst::getCondition
2544 */
2545LLVMValueRef LLVMGetCondition(LLVMValueRef Branch);
2546
2547/**
2548 * Set the condition of a branch instruction.
2549 *
2550 * This only works on llvm::BranchInst instructions.
2551 *
2552 * @see llvm::BranchInst::setCondition
2553 */
2554void LLVMSetCondition(LLVMValueRef Branch, LLVMValueRef Cond);
2555
2556/**
Gregory Szorc34c863a2012-03-21 03:54:29 +00002557 * Obtain the default destination basic block of a switch instruction.
2558 *
2559 * This only works on llvm::SwitchInst instructions.
2560 *
2561 * @see llvm::SwitchInst::getDefaultDest()
2562 */
Nate Begeman43c322b2011-08-23 20:27:46 +00002563LLVMBasicBlockRef LLVMGetSwitchDefaultDest(LLVMValueRef SwitchInstr);
2564
Gregory Szorc34c863a2012-03-21 03:54:29 +00002565/**
Peter Zotov2481c752014-10-28 19:46:56 +00002566 * @}
2567 */
2568
2569/**
Gregory Szorc34c863a2012-03-21 03:54:29 +00002570 * @defgroup LLVMCCoreValueInstructionPHINode PHI Nodes
2571 *
2572 * Functions in this group only apply to instructions that map to
2573 * llvm::PHINode instances.
2574 *
2575 * @{
2576 */
2577
2578/**
2579 * Add an incoming value to the end of a PHI list.
2580 */
Gordon Henriksen44dd8fb2007-10-08 18:14:39 +00002581void LLVMAddIncoming(LLVMValueRef PhiNode, LLVMValueRef *IncomingValues,
2582 LLVMBasicBlockRef *IncomingBlocks, unsigned Count);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002583
2584/**
2585 * Obtain the number of incoming basic blocks to a PHI node.
2586 */
Gordon Henriksen44dd8fb2007-10-08 18:14:39 +00002587unsigned LLVMCountIncoming(LLVMValueRef PhiNode);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002588
2589/**
Daniel Dunbar06b9f9e2013-08-16 23:30:19 +00002590 * Obtain an incoming value to a PHI node as an LLVMValueRef.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002591 */
Gordon Henriksen44dd8fb2007-10-08 18:14:39 +00002592LLVMValueRef LLVMGetIncomingValue(LLVMValueRef PhiNode, unsigned Index);
Gregory Szorc34c863a2012-03-21 03:54:29 +00002593
2594/**
Daniel Dunbar06b9f9e2013-08-16 23:30:19 +00002595 * Obtain an incoming value to a PHI node as an LLVMBasicBlockRef.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002596 */
Gordon Henriksen44dd8fb2007-10-08 18:14:39 +00002597LLVMBasicBlockRef LLVMGetIncomingBlock(LLVMValueRef PhiNode, unsigned Index);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002598
Gregory Szorc34c863a2012-03-21 03:54:29 +00002599/**
2600 * @}
2601 */
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002602
Gregory Szorc34c863a2012-03-21 03:54:29 +00002603/**
2604 * @}
2605 */
2606
2607/**
2608 * @}
2609 */
2610
2611/**
2612 * @defgroup LLVMCCoreInstructionBuilder Instruction Builders
2613 *
2614 * An instruction builder represents a point within a basic block and is
2615 * the exclusive means of building instructions using the C interface.
2616 *
2617 * @{
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002618 */
2619
Erick Tryzelaar262332f2009-08-14 00:01:31 +00002620LLVMBuilderRef LLVMCreateBuilderInContext(LLVMContextRef C);
Gordon Henriksena735a9c2008-05-04 12:55:34 +00002621LLVMBuilderRef LLVMCreateBuilder(void);
Gordon Henriksen054817c2008-03-19 03:47:18 +00002622void LLVMPositionBuilder(LLVMBuilderRef Builder, LLVMBasicBlockRef Block,
2623 LLVMValueRef Instr);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002624void LLVMPositionBuilderBefore(LLVMBuilderRef Builder, LLVMValueRef Instr);
2625void LLVMPositionBuilderAtEnd(LLVMBuilderRef Builder, LLVMBasicBlockRef Block);
Gordon Henriksen265f7802008-03-19 01:11:35 +00002626LLVMBasicBlockRef LLVMGetInsertBlock(LLVMBuilderRef Builder);
Chris Lattner3d1f5522008-12-17 21:39:50 +00002627void LLVMClearInsertionPosition(LLVMBuilderRef Builder);
2628void LLVMInsertIntoBuilder(LLVMBuilderRef Builder, LLVMValueRef Instr);
Erick Tryzelaar9813bea2009-08-16 02:20:57 +00002629void LLVMInsertIntoBuilderWithName(LLVMBuilderRef Builder, LLVMValueRef Instr,
2630 const char *Name);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002631void LLVMDisposeBuilder(LLVMBuilderRef Builder);
2632
Erick Tryzelaard8531fa2010-02-28 09:45:59 +00002633/* Metadata */
2634void LLVMSetCurrentDebugLocation(LLVMBuilderRef Builder, LLVMValueRef L);
2635LLVMValueRef LLVMGetCurrentDebugLocation(LLVMBuilderRef Builder);
2636void LLVMSetInstDebugLocation(LLVMBuilderRef Builder, LLVMValueRef Inst);
2637
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002638/* Terminators */
2639LLVMValueRef LLVMBuildRetVoid(LLVMBuilderRef);
2640LLVMValueRef LLVMBuildRet(LLVMBuilderRef, LLVMValueRef V);
Erick Tryzelaarfd529d72009-08-19 08:36:49 +00002641LLVMValueRef LLVMBuildAggregateRet(LLVMBuilderRef, LLVMValueRef *RetVals,
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002642 unsigned N);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002643LLVMValueRef LLVMBuildBr(LLVMBuilderRef, LLVMBasicBlockRef Dest);
2644LLVMValueRef LLVMBuildCondBr(LLVMBuilderRef, LLVMValueRef If,
2645 LLVMBasicBlockRef Then, LLVMBasicBlockRef Else);
2646LLVMValueRef LLVMBuildSwitch(LLVMBuilderRef, LLVMValueRef V,
2647 LLVMBasicBlockRef Else, unsigned NumCases);
Erick Tryzelaar0fb26ef2010-02-28 09:46:06 +00002648LLVMValueRef LLVMBuildIndirectBr(LLVMBuilderRef B, LLVMValueRef Addr,
2649 unsigned NumDests);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002650LLVMValueRef LLVMBuildInvoke(LLVMBuilderRef, LLVMValueRef Fn,
2651 LLVMValueRef *Args, unsigned NumArgs,
2652 LLVMBasicBlockRef Then, LLVMBasicBlockRef Catch,
2653 const char *Name);
Benjamin Kramer5a6568832011-08-19 01:36:54 +00002654LLVMValueRef LLVMBuildLandingPad(LLVMBuilderRef B, LLVMTypeRef Ty,
2655 LLVMValueRef PersFn, unsigned NumClauses,
2656 const char *Name);
Bill Wendlingf891bf82011-07-31 06:30:59 +00002657LLVMValueRef LLVMBuildResume(LLVMBuilderRef B, LLVMValueRef Exn);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002658LLVMValueRef LLVMBuildUnreachable(LLVMBuilderRef);
2659
Gordon Henriksen097102c2008-01-01 05:50:53 +00002660/* Add a case to the switch instruction */
2661void LLVMAddCase(LLVMValueRef Switch, LLVMValueRef OnVal,
2662 LLVMBasicBlockRef Dest);
2663
Erick Tryzelaar0fb26ef2010-02-28 09:46:06 +00002664/* Add a destination to the indirectbr instruction */
2665void LLVMAddDestination(LLVMValueRef IndirectBr, LLVMBasicBlockRef Dest);
2666
Bill Wendlingfae14752011-08-12 20:24:12 +00002667/* Add a catch or filter clause to the landingpad instruction */
2668void LLVMAddClause(LLVMValueRef LandingPad, LLVMValueRef ClauseVal);
2669
2670/* Set the 'cleanup' flag in the landingpad instruction */
2671void LLVMSetCleanup(LLVMValueRef LandingPad, LLVMBool Val);
2672
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002673/* Arithmetic */
2674LLVMValueRef LLVMBuildAdd(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2675 const char *Name);
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002676LLVMValueRef LLVMBuildNSWAdd(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2677 const char *Name);
Erick Tryzelaar4c340c72010-02-28 05:51:43 +00002678LLVMValueRef LLVMBuildNUWAdd(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2679 const char *Name);
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002680LLVMValueRef LLVMBuildFAdd(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2681 const char *Name);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002682LLVMValueRef LLVMBuildSub(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2683 const char *Name);
Erick Tryzelaar4c340c72010-02-28 05:51:43 +00002684LLVMValueRef LLVMBuildNSWSub(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2685 const char *Name);
2686LLVMValueRef LLVMBuildNUWSub(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2687 const char *Name);
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002688LLVMValueRef LLVMBuildFSub(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2689 const char *Name);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002690LLVMValueRef LLVMBuildMul(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2691 const char *Name);
Erick Tryzelaar4c340c72010-02-28 05:51:43 +00002692LLVMValueRef LLVMBuildNSWMul(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2693 const char *Name);
2694LLVMValueRef LLVMBuildNUWMul(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2695 const char *Name);
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002696LLVMValueRef LLVMBuildFMul(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2697 const char *Name);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002698LLVMValueRef LLVMBuildUDiv(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2699 const char *Name);
2700LLVMValueRef LLVMBuildSDiv(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2701 const char *Name);
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002702LLVMValueRef LLVMBuildExactSDiv(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2703 const char *Name);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002704LLVMValueRef LLVMBuildFDiv(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2705 const char *Name);
2706LLVMValueRef LLVMBuildURem(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2707 const char *Name);
2708LLVMValueRef LLVMBuildSRem(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2709 const char *Name);
2710LLVMValueRef LLVMBuildFRem(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2711 const char *Name);
2712LLVMValueRef LLVMBuildShl(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2713 const char *Name);
2714LLVMValueRef LLVMBuildLShr(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2715 const char *Name);
2716LLVMValueRef LLVMBuildAShr(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2717 const char *Name);
2718LLVMValueRef LLVMBuildAnd(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2719 const char *Name);
2720LLVMValueRef LLVMBuildOr(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2721 const char *Name);
2722LLVMValueRef LLVMBuildXor(LLVMBuilderRef, LLVMValueRef LHS, LLVMValueRef RHS,
2723 const char *Name);
Erick Tryzelaar31831792010-02-28 05:51:27 +00002724LLVMValueRef LLVMBuildBinOp(LLVMBuilderRef B, LLVMOpcode Op,
2725 LLVMValueRef LHS, LLVMValueRef RHS,
2726 const char *Name);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002727LLVMValueRef LLVMBuildNeg(LLVMBuilderRef, LLVMValueRef V, const char *Name);
Erick Tryzelaar4c340c72010-02-28 05:51:43 +00002728LLVMValueRef LLVMBuildNSWNeg(LLVMBuilderRef B, LLVMValueRef V,
2729 const char *Name);
2730LLVMValueRef LLVMBuildNUWNeg(LLVMBuilderRef B, LLVMValueRef V,
2731 const char *Name);
Dan Gohmanf919bd62009-09-28 21:51:41 +00002732LLVMValueRef LLVMBuildFNeg(LLVMBuilderRef, LLVMValueRef V, const char *Name);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002733LLVMValueRef LLVMBuildNot(LLVMBuilderRef, LLVMValueRef V, const char *Name);
2734
2735/* Memory */
2736LLVMValueRef LLVMBuildMalloc(LLVMBuilderRef, LLVMTypeRef Ty, const char *Name);
2737LLVMValueRef LLVMBuildArrayMalloc(LLVMBuilderRef, LLVMTypeRef Ty,
2738 LLVMValueRef Val, const char *Name);
2739LLVMValueRef LLVMBuildAlloca(LLVMBuilderRef, LLVMTypeRef Ty, const char *Name);
2740LLVMValueRef LLVMBuildArrayAlloca(LLVMBuilderRef, LLVMTypeRef Ty,
2741 LLVMValueRef Val, const char *Name);
2742LLVMValueRef LLVMBuildFree(LLVMBuilderRef, LLVMValueRef PointerVal);
2743LLVMValueRef LLVMBuildLoad(LLVMBuilderRef, LLVMValueRef PointerVal,
2744 const char *Name);
2745LLVMValueRef LLVMBuildStore(LLVMBuilderRef, LLVMValueRef Val, LLVMValueRef Ptr);
2746LLVMValueRef LLVMBuildGEP(LLVMBuilderRef B, LLVMValueRef Pointer,
2747 LLVMValueRef *Indices, unsigned NumIndices,
2748 const char *Name);
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002749LLVMValueRef LLVMBuildInBoundsGEP(LLVMBuilderRef B, LLVMValueRef Pointer,
2750 LLVMValueRef *Indices, unsigned NumIndices,
2751 const char *Name);
2752LLVMValueRef LLVMBuildStructGEP(LLVMBuilderRef B, LLVMValueRef Pointer,
2753 unsigned Idx, const char *Name);
2754LLVMValueRef LLVMBuildGlobalString(LLVMBuilderRef B, const char *Str,
2755 const char *Name);
2756LLVMValueRef LLVMBuildGlobalStringPtr(LLVMBuilderRef B, const char *Str,
2757 const char *Name);
Chris Lattner2cc6f9d2012-03-22 03:54:15 +00002758LLVMBool LLVMGetVolatile(LLVMValueRef MemoryAccessInst);
2759void LLVMSetVolatile(LLVMValueRef MemoryAccessInst, LLVMBool IsVolatile);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002760
2761/* Casts */
2762LLVMValueRef LLVMBuildTrunc(LLVMBuilderRef, LLVMValueRef Val,
2763 LLVMTypeRef DestTy, const char *Name);
2764LLVMValueRef LLVMBuildZExt(LLVMBuilderRef, LLVMValueRef Val,
2765 LLVMTypeRef DestTy, const char *Name);
2766LLVMValueRef LLVMBuildSExt(LLVMBuilderRef, LLVMValueRef Val,
2767 LLVMTypeRef DestTy, const char *Name);
2768LLVMValueRef LLVMBuildFPToUI(LLVMBuilderRef, LLVMValueRef Val,
2769 LLVMTypeRef DestTy, const char *Name);
2770LLVMValueRef LLVMBuildFPToSI(LLVMBuilderRef, LLVMValueRef Val,
2771 LLVMTypeRef DestTy, const char *Name);
2772LLVMValueRef LLVMBuildUIToFP(LLVMBuilderRef, LLVMValueRef Val,
2773 LLVMTypeRef DestTy, const char *Name);
2774LLVMValueRef LLVMBuildSIToFP(LLVMBuilderRef, LLVMValueRef Val,
2775 LLVMTypeRef DestTy, const char *Name);
2776LLVMValueRef LLVMBuildFPTrunc(LLVMBuilderRef, LLVMValueRef Val,
2777 LLVMTypeRef DestTy, const char *Name);
2778LLVMValueRef LLVMBuildFPExt(LLVMBuilderRef, LLVMValueRef Val,
2779 LLVMTypeRef DestTy, const char *Name);
2780LLVMValueRef LLVMBuildPtrToInt(LLVMBuilderRef, LLVMValueRef Val,
2781 LLVMTypeRef DestTy, const char *Name);
2782LLVMValueRef LLVMBuildIntToPtr(LLVMBuilderRef, LLVMValueRef Val,
2783 LLVMTypeRef DestTy, const char *Name);
2784LLVMValueRef LLVMBuildBitCast(LLVMBuilderRef, LLVMValueRef Val,
2785 LLVMTypeRef DestTy, const char *Name);
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002786LLVMValueRef LLVMBuildAddrSpaceCast(LLVMBuilderRef, LLVMValueRef Val,
2787 LLVMTypeRef DestTy, const char *Name);
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002788LLVMValueRef LLVMBuildZExtOrBitCast(LLVMBuilderRef, LLVMValueRef Val,
2789 LLVMTypeRef DestTy, const char *Name);
2790LLVMValueRef LLVMBuildSExtOrBitCast(LLVMBuilderRef, LLVMValueRef Val,
2791 LLVMTypeRef DestTy, const char *Name);
2792LLVMValueRef LLVMBuildTruncOrBitCast(LLVMBuilderRef, LLVMValueRef Val,
2793 LLVMTypeRef DestTy, const char *Name);
Erick Tryzelaar31831792010-02-28 05:51:27 +00002794LLVMValueRef LLVMBuildCast(LLVMBuilderRef B, LLVMOpcode Op, LLVMValueRef Val,
2795 LLVMTypeRef DestTy, const char *Name);
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002796LLVMValueRef LLVMBuildPointerCast(LLVMBuilderRef, LLVMValueRef Val,
2797 LLVMTypeRef DestTy, const char *Name);
Duncan Sands9d786d72009-11-23 10:49:03 +00002798LLVMValueRef LLVMBuildIntCast(LLVMBuilderRef, LLVMValueRef Val, /*Signed cast!*/
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002799 LLVMTypeRef DestTy, const char *Name);
2800LLVMValueRef LLVMBuildFPCast(LLVMBuilderRef, LLVMValueRef Val,
2801 LLVMTypeRef DestTy, const char *Name);
Gordon Henriksenc23b66c2007-09-26 20:56:12 +00002802
2803/* Comparisons */
2804LLVMValueRef LLVMBuildICmp(LLVMBuilderRef, LLVMIntPredicate Op,
2805 LLVMValueRef LHS, LLVMValueRef RHS,
2806 const char *Name);
2807LLVMValueRef LLVMBuildFCmp(LLVMBuilderRef, LLVMRealPredicate Op,
2808 LLVMValueRef LHS, LLVMValueRef RHS,
2809 const char *Name);
2810
2811/* Miscellaneous instructions */
2812LLVMValueRef LLVMBuildPhi(LLVMBuilderRef, LLVMTypeRef Ty, const char *Name);
2813LLVMValueRef LLVMBuildCall(LLVMBuilderRef, LLVMValueRef Fn,
2814 LLVMValueRef *Args, unsigned NumArgs,
2815 const char *Name);
2816LLVMValueRef LLVMBuildSelect(LLVMBuilderRef, LLVMValueRef If,
2817 LLVMValueRef Then, LLVMValueRef Else,
2818 const char *Name);
2819LLVMValueRef LLVMBuildVAArg(LLVMBuilderRef, LLVMValueRef List, LLVMTypeRef Ty,
2820 const char *Name);
2821LLVMValueRef LLVMBuildExtractElement(LLVMBuilderRef, LLVMValueRef VecVal,
2822 LLVMValueRef Index, const char *Name);
2823LLVMValueRef LLVMBuildInsertElement(LLVMBuilderRef, LLVMValueRef VecVal,
2824 LLVMValueRef EltVal, LLVMValueRef Index,
2825 const char *Name);
2826LLVMValueRef LLVMBuildShuffleVector(LLVMBuilderRef, LLVMValueRef V1,
2827 LLVMValueRef V2, LLVMValueRef Mask,
2828 const char *Name);
Dan Gohmand5104a52008-11-03 22:55:43 +00002829LLVMValueRef LLVMBuildExtractValue(LLVMBuilderRef, LLVMValueRef AggVal,
2830 unsigned Index, const char *Name);
2831LLVMValueRef LLVMBuildInsertValue(LLVMBuilderRef, LLVMValueRef AggVal,
2832 LLVMValueRef EltVal, unsigned Index,
2833 const char *Name);
Gordon Henriksen76a03742007-09-18 03:18:57 +00002834
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002835LLVMValueRef LLVMBuildIsNull(LLVMBuilderRef, LLVMValueRef Val,
2836 const char *Name);
2837LLVMValueRef LLVMBuildIsNotNull(LLVMBuilderRef, LLVMValueRef Val,
2838 const char *Name);
2839LLVMValueRef LLVMBuildPtrDiff(LLVMBuilderRef, LLVMValueRef LHS,
2840 LLVMValueRef RHS, const char *Name);
Filip Pizlo0d3f7ec2013-11-20 00:07:49 +00002841LLVMValueRef LLVMBuildFence(LLVMBuilderRef B, LLVMAtomicOrdering ordering,
2842 LLVMBool singleThread, const char *Name);
2843LLVMValueRef LLVMBuildAtomicRMW(LLVMBuilderRef B, LLVMAtomicRMWBinOp op,
NAKAMURA Takumia3a81352013-10-23 17:56:29 +00002844 LLVMValueRef PTR, LLVMValueRef Val,
2845 LLVMAtomicOrdering ordering,
Carlo Kok8c6719b2013-04-23 13:21:19 +00002846 LLVMBool singleThread);
Erick Tryzelaar3045b8b2009-08-16 02:19:59 +00002847
Gregory Szorc34c863a2012-03-21 03:54:29 +00002848/**
2849 * @}
2850 */
Gordon Henriksen34eb6d82007-12-19 22:30:40 +00002851
Gregory Szorc34c863a2012-03-21 03:54:29 +00002852/**
2853 * @defgroup LLVMCCoreModuleProvider Module Providers
2854 *
2855 * @{
2856 */
Gordon Henriksen0a68fe22007-12-12 01:04:30 +00002857
Gregory Szorc34c863a2012-03-21 03:54:29 +00002858/**
2859 * Changes the type of M so it can be passed to FunctionPassManagers and the
Jeffrey Yasskin091217b2010-01-27 20:34:15 +00002860 * JIT. They take ModuleProviders for historical reasons.
Gordon Henriksen0a68fe22007-12-12 01:04:30 +00002861 */
2862LLVMModuleProviderRef
2863LLVMCreateModuleProviderForExistingModule(LLVMModuleRef M);
2864
Gregory Szorc34c863a2012-03-21 03:54:29 +00002865/**
2866 * Destroys the module M.
Gordon Henriksen0a68fe22007-12-12 01:04:30 +00002867 */
Jeffrey Yasskin091217b2010-01-27 20:34:15 +00002868void LLVMDisposeModuleProvider(LLVMModuleProviderRef M);
Gordon Henriksen0a68fe22007-12-12 01:04:30 +00002869
Gregory Szorc34c863a2012-03-21 03:54:29 +00002870/**
2871 * @}
2872 */
Gordon Henriksen34eb6d82007-12-19 22:30:40 +00002873
Gregory Szorc34c863a2012-03-21 03:54:29 +00002874/**
2875 * @defgroup LLVMCCoreMemoryBuffers Memory Buffers
2876 *
2877 * @{
2878 */
Gordon Henriksen34eb6d82007-12-19 22:30:40 +00002879
Chris Lattner25963c62010-01-09 22:27:07 +00002880LLVMBool LLVMCreateMemoryBufferWithContentsOfFile(const char *Path,
2881 LLVMMemoryBufferRef *OutMemBuf,
2882 char **OutMessage);
2883LLVMBool LLVMCreateMemoryBufferWithSTDIN(LLVMMemoryBufferRef *OutMemBuf,
2884 char **OutMessage);
Bill Wendling526276a2013-02-14 19:11:28 +00002885LLVMMemoryBufferRef LLVMCreateMemoryBufferWithMemoryRange(const char *InputData,
2886 size_t InputDataLength,
2887 const char *BufferName,
Bill Wendlingc9baa962013-02-14 19:39:14 +00002888 LLVMBool RequiresNullTerminator);
Bill Wendling526276a2013-02-14 19:11:28 +00002889LLVMMemoryBufferRef LLVMCreateMemoryBufferWithMemoryRangeCopy(const char *InputData,
2890 size_t InputDataLength,
2891 const char *BufferName);
Tom Stellard62c03202013-04-18 19:50:53 +00002892const char *LLVMGetBufferStart(LLVMMemoryBufferRef MemBuf);
Tom Stellardb7fb7242013-04-16 23:12:51 +00002893size_t LLVMGetBufferSize(LLVMMemoryBufferRef MemBuf);
Gordon Henriksen34eb6d82007-12-19 22:30:40 +00002894void LLVMDisposeMemoryBuffer(LLVMMemoryBufferRef MemBuf);
2895
Gregory Szorc34c863a2012-03-21 03:54:29 +00002896/**
2897 * @}
2898 */
2899
2900/**
2901 * @defgroup LLVMCCorePassRegistry Pass Registry
2902 *
2903 * @{
2904 */
Owen Anderson4698c5d2010-10-07 17:55:47 +00002905
2906/** Return the global pass registry, for use with initialization functions.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002907 @see llvm::PassRegistry::getPassRegistry */
Owen Anderson4698c5d2010-10-07 17:55:47 +00002908LLVMPassRegistryRef LLVMGetGlobalPassRegistry(void);
Gordon Henriksen878114b2008-03-16 04:20:44 +00002909
Gregory Szorc34c863a2012-03-21 03:54:29 +00002910/**
2911 * @}
2912 */
2913
2914/**
2915 * @defgroup LLVMCCorePassManagers Pass Managers
2916 *
2917 * @{
2918 */
Gordon Henriksen878114b2008-03-16 04:20:44 +00002919
2920/** Constructs a new whole-module pass pipeline. This type of pipeline is
2921 suitable for link-time optimization and whole-module transformations.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002922 @see llvm::PassManager::PassManager */
Gordon Henriksena735a9c2008-05-04 12:55:34 +00002923LLVMPassManagerRef LLVMCreatePassManager(void);
Gordon Henriksen878114b2008-03-16 04:20:44 +00002924
2925/** Constructs a new function-by-function pass pipeline over the module
2926 provider. It does not take ownership of the module provider. This type of
2927 pipeline is suitable for code generation and JIT compilation tasks.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002928 @see llvm::FunctionPassManager::FunctionPassManager */
Erick Tryzelaarad0e0cb2010-03-02 23:58:54 +00002929LLVMPassManagerRef LLVMCreateFunctionPassManagerForModule(LLVMModuleRef M);
2930
2931/** Deprecated: Use LLVMCreateFunctionPassManagerForModule instead. */
Gordon Henriksen878114b2008-03-16 04:20:44 +00002932LLVMPassManagerRef LLVMCreateFunctionPassManager(LLVMModuleProviderRef MP);
2933
2934/** Initializes, executes on the provided module, and finalizes all of the
2935 passes scheduled in the pass manager. Returns 1 if any of the passes
Gregory Szorc34c863a2012-03-21 03:54:29 +00002936 modified the module, 0 otherwise.
2937 @see llvm::PassManager::run(Module&) */
Chris Lattner25963c62010-01-09 22:27:07 +00002938LLVMBool LLVMRunPassManager(LLVMPassManagerRef PM, LLVMModuleRef M);
Gordon Henriksen878114b2008-03-16 04:20:44 +00002939
2940/** Initializes all of the function passes scheduled in the function pass
2941 manager. Returns 1 if any of the passes modified the module, 0 otherwise.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002942 @see llvm::FunctionPassManager::doInitialization */
Chris Lattner25963c62010-01-09 22:27:07 +00002943LLVMBool LLVMInitializeFunctionPassManager(LLVMPassManagerRef FPM);
Gordon Henriksen878114b2008-03-16 04:20:44 +00002944
2945/** Executes all of the function passes scheduled in the function pass manager
2946 on the provided function. Returns 1 if any of the passes modified the
2947 function, false otherwise.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002948 @see llvm::FunctionPassManager::run(Function&) */
Chris Lattner25963c62010-01-09 22:27:07 +00002949LLVMBool LLVMRunFunctionPassManager(LLVMPassManagerRef FPM, LLVMValueRef F);
Gordon Henriksen878114b2008-03-16 04:20:44 +00002950
2951/** Finalizes all of the function passes scheduled in in the function pass
2952 manager. Returns 1 if any of the passes modified the module, 0 otherwise.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002953 @see llvm::FunctionPassManager::doFinalization */
Chris Lattner25963c62010-01-09 22:27:07 +00002954LLVMBool LLVMFinalizeFunctionPassManager(LLVMPassManagerRef FPM);
Gordon Henriksen878114b2008-03-16 04:20:44 +00002955
2956/** Frees the memory of a pass pipeline. For function pipelines, does not free
2957 the module provider.
Gregory Szorc34c863a2012-03-21 03:54:29 +00002958 @see llvm::PassManagerBase::~PassManagerBase. */
Gordon Henriksen878114b2008-03-16 04:20:44 +00002959void LLVMDisposePassManager(LLVMPassManagerRef PM);
2960
Gregory Szorc34c863a2012-03-21 03:54:29 +00002961/**
2962 * @}
2963 */
2964
2965/**
Duncan Sands1cba0a82013-02-17 16:35:51 +00002966 * @defgroup LLVMCCoreThreading Threading
2967 *
2968 * Handle the structures needed to make LLVM safe for multithreading.
2969 *
2970 * @{
2971 */
2972
Chandler Carruth39cd2162014-06-27 15:13:01 +00002973/** Deprecated: Multi-threading can only be enabled/disabled with the compile
2974 time define LLVM_ENABLE_THREADS. This function always returns
2975 LLVMIsMultithreaded(). */
Benjamin Kramer325ec892013-10-23 16:57:34 +00002976LLVMBool LLVMStartMultithreaded(void);
Duncan Sands1cba0a82013-02-17 16:35:51 +00002977
Chandler Carruth39cd2162014-06-27 15:13:01 +00002978/** Deprecated: Multi-threading can only be enabled/disabled with the compile
2979 time define LLVM_ENABLE_THREADS. */
Benjamin Kramer325ec892013-10-23 16:57:34 +00002980void LLVMStopMultithreaded(void);
Duncan Sands1cba0a82013-02-17 16:35:51 +00002981
2982/** Check whether LLVM is executing in thread-safe mode or not.
2983 @see llvm::llvm_is_multithreaded */
Benjamin Kramer325ec892013-10-23 16:57:34 +00002984LLVMBool LLVMIsMultithreaded(void);
Duncan Sands1cba0a82013-02-17 16:35:51 +00002985
2986/**
2987 * @}
2988 */
2989
2990/**
Gregory Szorc34c863a2012-03-21 03:54:29 +00002991 * @}
2992 */
2993
2994/**
2995 * @}
2996 */
Gordon Henriksen878114b2008-03-16 04:20:44 +00002997
Gordon Henriksen76a03742007-09-18 03:18:57 +00002998#ifdef __cplusplus
2999}
Evan Cheng2e254d02013-04-04 17:40:53 +00003000#endif /* !defined(__cplusplus) */
Gordon Henriksen7330acd2007-10-05 23:59:36 +00003001
Evan Cheng2e254d02013-04-04 17:40:53 +00003002#endif /* !defined(LLVM_C_CORE_H) */