llvm_ocaml.c revision 5c1c2082968ff4c36063ed09c4eea772eb808b6a
1bbf1c514bd832bf1306fe3e87221fd78bbc306efGordon Henriksen/*===-- llvm_ocaml.c - LLVM Ocaml Glue --------------------------*- C++ -*-===*\ 28ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* *| 38ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* The LLVM Compiler Infrastructure *| 48ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* *| 5234d529e582963ad4b5d83b911cd057fe99d1435Chris Lattner|* This file is distributed under the University of Illinois Open Source *| 6234d529e582963ad4b5d83b911cd057fe99d1435Chris Lattner|* License. See LICENSE.TXT for details. *| 78ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* *| 88ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|*===----------------------------------------------------------------------===*| 98ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* *| 108ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* This file glues LLVM's ocaml interface to its C interface. These functions *| 118ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* are by and large transparent wrappers to the corresponding C functions. *| 128ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* *| 138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* Note that these functions intentionally take liberties with the CAMLparamX *| 148ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* macros, since most of the parameters are not GC heap objects. *| 158ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* *| 168ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen\*===----------------------------------------------------------------------===*/ 178ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 188ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen#include "llvm-c/Core.h" 198ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen#include "caml/alloc.h" 2046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen#include "caml/custom.h" 218ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen#include "caml/memory.h" 22da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen#include "caml/fail.h" 23da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen#include "caml/callback.h" 246d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen#include "llvm/Config/config.h" 252618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen#include <assert.h> 26da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen#include <stdlib.h> 27da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 28da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 29da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen/* Can't use the recommended caml_named_value mechanism for backwards 30da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen compatibility reasons. This is largely equivalent. */ 31da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksenstatic value llvm_ioerror_exn; 32da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 33da1435f86ebc9886dd7704294e01d192d79e069cGordon HenriksenCAMLprim value llvm_register_core_exns(value IoError) { 34da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen llvm_ioerror_exn = Field(IoError, 0); 35da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen register_global_root(&llvm_ioerror_exn); 36da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen return Val_unit; 37da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen} 38da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 392e855e68d861224c9b61e2bc9cecad1536b1534bGordon Henriksenstatic void llvm_raise(value Prototype, char *Message) { 40da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen CAMLparam1(Prototype); 41da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen CAMLlocal1(CamlMessage); 42da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 43da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen CamlMessage = copy_string(Message); 44da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen LLVMDisposeMessage(Message); 45da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 46da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen raise_with_arg(Prototype, CamlMessage); 472e855e68d861224c9b61e2bc9cecad1536b1534bGordon Henriksen abort(); /* NOTREACHED */ 48a9d059693b0bfdaa27bad71c2b0769beaf6ee7ddGordon Henriksen#ifdef CAMLnoreturn 49a9d059693b0bfdaa27bad71c2b0769beaf6ee7ddGordon Henriksen CAMLnoreturn; /* Silences warnings, but is missing in some versions. */ 50a9d059693b0bfdaa27bad71c2b0769beaf6ee7ddGordon Henriksen#endif 51da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen} 528ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 534733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksenstatic value alloc_variant(int tag, void *Value) { 544733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen value Iter = alloc_small(1, tag); 554733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen Field(Iter, 0) = Val_op(Value); 564733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen return Iter; 574733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen} 584733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen 594733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen/* Macro to convert the C first/next/last/prev idiom to the Ocaml llpos/ 604733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen llrev_pos idiom. */ 614733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen#define DEFINE_ITERATORS(camlname, cname, pty, cty, pfun) \ 624733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen /* llmodule -> ('a, 'b) llpos */ \ 634733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen CAMLprim value llvm_##camlname##_begin(pty Mom) { \ 644733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen cty First = LLVMGetFirst##cname(Mom); \ 654733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen if (First) \ 664733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen return alloc_variant(1, First); \ 674733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen return alloc_variant(0, Mom); \ 684733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen } \ 694733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen \ 704733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen /* llvalue -> ('a, 'b) llpos */ \ 714733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen CAMLprim value llvm_##camlname##_succ(cty Kid) { \ 724733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen cty Next = LLVMGetNext##cname(Kid); \ 734733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen if (Next) \ 744733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen return alloc_variant(1, Next); \ 75f440691a20eff24cf59ac14e10057234ae182dbeGordon Henriksen return alloc_variant(0, pfun(Kid)); \ 764733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen } \ 774733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen \ 784733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen /* llmodule -> ('a, 'b) llrev_pos */ \ 794733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen CAMLprim value llvm_##camlname##_end(pty Mom) { \ 804733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen cty Last = LLVMGetLast##cname(Mom); \ 814733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen if (Last) \ 824733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen return alloc_variant(1, Last); \ 834733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen return alloc_variant(0, Mom); \ 844733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen } \ 854733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen \ 864733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen /* llvalue -> ('a, 'b) llrev_pos */ \ 874733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen CAMLprim value llvm_##camlname##_pred(cty Kid) { \ 884733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen cty Prev = LLVMGetPrevious##cname(Kid); \ 894733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen if (Prev) \ 904733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen return alloc_variant(1, Prev); \ 914733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen return alloc_variant(0, pfun(Kid)); \ 924733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen } 934733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen 948ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 958ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*===-- Modules -----------------------------------------------------------===*/ 968ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 978ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llmodule */ 9846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMModuleRef llvm_create_module(value ModuleID) { 9946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMModuleCreateWithName(String_val(ModuleID)); 1008ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1018ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1028ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llmodule -> unit */ 10346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_dispose_module(LLVMModuleRef M) { 10446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDisposeModule(M); 1058ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 1068ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1078ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 108a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen/* llmodule -> string */ 109a353ffa7e556bfd2864474911174da691117f691Gordon HenriksenCAMLprim value llvm_target_triple(LLVMModuleRef M) { 110a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen return copy_string(LLVMGetTarget(M)); 111a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen} 112a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen 113a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen/* string -> llmodule -> unit */ 114a353ffa7e556bfd2864474911174da691117f691Gordon HenriksenCAMLprim value llvm_set_target_triple(value Trip, LLVMModuleRef M) { 115a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen LLVMSetTarget(M, String_val(Trip)); 116a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen return Val_unit; 117a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen} 118a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen 119a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen/* llmodule -> string */ 120a353ffa7e556bfd2864474911174da691117f691Gordon HenriksenCAMLprim value llvm_data_layout(LLVMModuleRef M) { 121a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen return copy_string(LLVMGetDataLayout(M)); 122a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen} 123a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen 124a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen/* string -> llmodule -> unit */ 125a353ffa7e556bfd2864474911174da691117f691Gordon HenriksenCAMLprim value llvm_set_data_layout(value Layout, LLVMModuleRef M) { 126a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen LLVMSetDataLayout(M, String_val(Layout)); 127a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen return Val_unit; 128a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen} 129a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen 1308ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> lltype -> llmodule -> bool */ 13146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_add_type_name(value Name, LLVMTypeRef Ty, LLVMModuleRef M) { 13246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen int res = LLVMAddTypeName(M, String_val(Name), Ty); 1338ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_bool(res == 0); 1348ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1358ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 13646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> llmodule -> unit */ 13746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_type_name(value Name, LLVMModuleRef M) { 13846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteTypeName(M, String_val(Name)); 13946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 14046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 14146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 142af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon Henriksen/* llmodule -> unit */ 143af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon HenriksenCAMLprim value llvm_dump_module(LLVMModuleRef M) { 144af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon Henriksen LLVMDumpModule(M); 145af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon Henriksen return Val_unit; 146af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon Henriksen} 147af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon Henriksen 1488ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1498ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*===-- Types -------------------------------------------------------------===*/ 1508ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 151404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* lltype -> TypeKind.t */ 15246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_classify_type(LLVMTypeRef Ty) { 15346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetTypeKind(Ty)); 1548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1558ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1568ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on integer types ........................................--*/ 1578ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1588ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 15946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i1_type (value Unit) { return LLVMInt1Type(); } 16046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i8_type (value Unit) { return LLVMInt8Type(); } 16146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i16_type(value Unit) { return LLVMInt16Type(); } 16246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i32_type(value Unit) { return LLVMInt32Type(); } 16346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i64_type(value Unit) { return LLVMInt64Type(); } 1648ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1658ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* int -> lltype */ 166957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_integer_type(value Width) { 16781a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMIntType(Int_val(Width)); 1688ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1698ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1708ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int */ 17146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_integer_bitwidth(LLVMTypeRef IntegerTy) { 17246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetIntTypeWidth(IntegerTy)); 1738ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1748ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1758ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on real types ...........................................--*/ 1768ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1778ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 17846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_float_type(value Unit) { 17946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMFloatType(); 1808ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1818ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1828ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 18346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_double_type(value Unit) { 18446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMDoubleType(); 1858ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1868ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1878ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 18846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_x86fp80_type(value Unit) { 18946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMX86FP80Type(); 1908ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1918ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1928ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 19346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_fp128_type(value Unit) { 19446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMFP128Type(); 1958ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1968ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1978ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 19846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_ppc_fp128_type(value Unit) { 19946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMPPCFP128Type(); 2008ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2018ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2028ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on function types .......................................--*/ 2038ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 204957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype -> lltype array -> lltype */ 205957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_function_type(LLVMTypeRef RetTy, value ParamTys) { 20681a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMFunctionType(RetTy, (LLVMTypeRef *) ParamTys, 207957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ParamTys), 0); 208957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen} 209957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen 210957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype -> lltype array -> lltype */ 211957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_var_arg_function_type(LLVMTypeRef RetTy, 212957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen value ParamTys) { 213957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen return LLVMFunctionType(RetTy, (LLVMTypeRef *) ParamTys, 214957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ParamTys), 1); 2158ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2168ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2178ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> bool */ 21846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_var_arg(LLVMTypeRef FunTy) { 21946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsFunctionVarArg(FunTy)); 2208ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2218ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2228ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> lltype array */ 22346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_param_types(LLVMTypeRef FunTy) { 22446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Tys = alloc(LLVMCountParamTypes(FunTy), 0); 22546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMGetParamTypes(FunTy, (LLVMTypeRef *) Tys); 22646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Tys; 2278ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2288ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2298ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on struct types .........................................--*/ 2308ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 231957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype array -> lltype */ 232957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_struct_type(value ElementTypes) { 233957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen return LLVMStructType((LLVMTypeRef *) ElementTypes, 234957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ElementTypes), 0); 235957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen} 236957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen 237957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype array -> lltype */ 238957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_packed_struct_type(value ElementTypes) { 23981a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMStructType((LLVMTypeRef *) ElementTypes, 240957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ElementTypes), 1); 2418ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2428ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2438ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> lltype array */ 24446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_element_types(LLVMTypeRef StructTy) { 24546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Tys = alloc(LLVMCountStructElementTypes(StructTy), 0); 24646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMGetStructElementTypes(StructTy, (LLVMTypeRef *) Tys); 24746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Tys; 2488ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2498ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 25046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> bool */ 25146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_packed(LLVMTypeRef StructTy) { 25246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsPackedStruct(StructTy)); 2538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2558ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on array, pointer, and vector types .....................--*/ 2568ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2578ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int -> lltype */ 258957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_array_type(LLVMTypeRef ElementTy, value Count) { 25981a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMArrayType(ElementTy, Int_val(Count)); 2608ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2618ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 26257cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen/* lltype -> lltype */ 26357cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon HenriksenCAMLprim LLVMTypeRef llvm_pointer_type(LLVMTypeRef ElementTy) { 26457cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen return LLVMPointerType(ElementTy, 0); 26557cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen} 26657cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen 26757cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen/* lltype -> int -> lltype */ 26857cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon HenriksenCAMLprim LLVMTypeRef llvm_qualified_pointer_type(LLVMTypeRef ElementTy, 26957cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen value AddressSpace) { 27057cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen return LLVMPointerType(ElementTy, Int_val(AddressSpace)); 27157cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen} 27257cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen 2738ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int -> lltype */ 274957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_vector_type(LLVMTypeRef ElementTy, value Count) { 27581a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMVectorType(ElementTy, Int_val(Count)); 2768ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2778ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2788ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int */ 27946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_array_length(LLVMTypeRef ArrayTy) { 28046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetArrayLength(ArrayTy)); 2818ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2828ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2838ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int */ 28457cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon HenriksenCAMLprim value llvm_address_space(LLVMTypeRef PtrTy) { 28557cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen return Val_int(LLVMGetPointerAddressSpace(PtrTy)); 28657cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen} 28757cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen 28857cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen/* lltype -> int */ 28946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_vector_size(LLVMTypeRef VectorTy) { 29046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetVectorSize(VectorTy)); 2918ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2928ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2938ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on other types ..........................................--*/ 2948ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2958ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 29646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_void_type (value Unit) { return LLVMVoidType(); } 29746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_label_type(value Unit) { return LLVMLabelType(); } 2988ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2998ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 300957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_opaque_type(value Unit) { 30181a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMOpaqueType(); 3028ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3038ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3041cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen/*--... Operations on type handles .........................................--*/ 3051cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 3061cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen#define Typehandle_val(v) (*(LLVMTypeHandleRef *)(Data_custom_val(v))) 3071cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 3082e855e68d861224c9b61e2bc9cecad1536b1534bGordon Henriksenstatic void llvm_finalize_handle(value TH) { 3091cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen LLVMDisposeTypeHandle(Typehandle_val(TH)); 3101cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 3111cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 3121cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksenstatic struct custom_operations typehandle_ops = { 3131cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen (char *) "LLVMTypeHandle", 3141cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen llvm_finalize_handle, 3151cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_compare_default, 3161cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_hash_default, 3171cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_serialize_default, 3181cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_deserialize_default 3191cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen}; 3201cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 3211cf08fddc7413076dedad58dbb8d8d67e69a490fGordon HenriksenCAMLprim value llvm_handle_to_type(LLVMTypeRef PATy) { 3221cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen value TH = alloc_custom(&typehandle_ops, sizeof(LLVMBuilderRef), 0, 1); 3231cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen Typehandle_val(TH) = LLVMCreateTypeHandle(PATy); 3241cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen return TH; 3251cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 3261cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 3271cf08fddc7413076dedad58dbb8d8d67e69a490fGordon HenriksenCAMLprim LLVMTypeRef llvm_type_of_handle(value TH) { 3281cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen return LLVMResolveTypeHandle(Typehandle_val(TH)); 3291cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 3301cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 3311cf08fddc7413076dedad58dbb8d8d67e69a490fGordon HenriksenCAMLprim value llvm_refine_type(LLVMTypeRef AbstractTy, LLVMTypeRef ConcreteTy){ 33283eaae19add8031b299fc657cb69ceb5bfa44ae4Gordon Henriksen LLVMRefineType(AbstractTy, ConcreteTy); 3331cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen return Val_unit; 3341cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 3351cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 3368ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3378ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*===-- VALUES ------------------------------------------------------------===*/ 3388ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3398ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> lltype */ 34046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_type_of(LLVMValueRef Val) { 34146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMTypeOf(Val); 3428ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3438ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3448ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> string */ 34546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_value_name(LLVMValueRef Val) { 34646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return copy_string(LLVMGetValueName(Val)); 3478ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3488ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3498ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llvalue -> unit */ 35046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_value_name(value Name, LLVMValueRef Val) { 35146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetValueName(Val, String_val(Name)); 3528ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 3538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 35588cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen/* llvalue -> unit */ 35688cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon HenriksenCAMLprim value llvm_dump_value(LLVMValueRef Val) { 35788cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen LLVMDumpValue(Val); 35888cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen return Val_unit; 35988cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen} 36088cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen 3618ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on constants of (mostly) any type .......................--*/ 3628ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3638ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> bool */ 36446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_constant(LLVMValueRef Val) { 36546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsConstant(Val)); 366344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen} 367344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 368344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen/* llvalue -> bool */ 36946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_null(LLVMValueRef Val) { 37046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsNull(Val)); 3718ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3728ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 373344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen/* llvalue -> bool */ 37446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_undef(LLVMValueRef Val) { 37546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsUndef(Val)); 376344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen} 377344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 3788ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on scalar constants .....................................--*/ 3798ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 380e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* lltype -> int -> llvalue */ 381e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_int(LLVMTypeRef IntTy, value N) { 382e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstInt(IntTy, (long long) Int_val(N), 1); 3838ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3848ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 385344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen/* lltype -> Int64.t -> bool -> llvalue */ 386e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_of_int64(LLVMTypeRef IntTy, value N, 387e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen value SExt) { 388e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstInt(IntTy, Int64_val(N), Bool_val(SExt)); 389344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen} 390344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 3918ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> float -> llvalue */ 392e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_float(LLVMTypeRef RealTy, value N) { 393e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstReal(RealTy, Double_val(N)); 3948ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3958ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3968ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on composite constants ..................................--*/ 3978ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 398e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* string -> llvalue */ 399e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_string(value Str, value NullTerminate) { 400e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstString(String_val(Str), string_length(Str), 1); 401e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen} 402e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen 403e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* string -> llvalue */ 404e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_stringz(value Str, value NullTerminate) { 405e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstString(String_val(Str), string_length(Str), 0); 4068ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4078ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4088ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> llvalue array -> llvalue */ 409e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_array(LLVMTypeRef ElementTy, 41046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value ElementVals) { 411e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstArray(ElementTy, (LLVMValueRef*) Op_val(ElementVals), 412e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals)); 413e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen} 414e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen 415e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* llvalue array -> llvalue */ 416e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_struct(value ElementVals) { 417e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstStruct((LLVMValueRef *) Op_val(ElementVals), 418e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals), 0); 4198ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4208ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 421e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* llvalue array -> llvalue */ 422e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_packed_struct(value ElementVals) { 423e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstStruct((LLVMValueRef *) Op_val(ElementVals), 424e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals), 1); 4258ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4268ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4278ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue array -> llvalue */ 428e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_vector(value ElementVals) { 429e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstVector((LLVMValueRef*) Op_val(ElementVals), 430e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals)); 4314647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen} 4324647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 4334647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen/*--... Constant expressions ...............................................--*/ 4344647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 435404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Icmp.t -> llvalue -> llvalue -> llvalue */ 4364647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon HenriksenCAMLprim LLVMValueRef llvm_const_icmp(value Pred, 4374647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef LHSConstant, 4384647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef RHSConstant) { 4394647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen return LLVMConstICmp(Int_val(Pred) + LLVMIntEQ, LHSConstant, RHSConstant); 4404647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen} 4414647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 442404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Fcmp.t -> llvalue -> llvalue -> llvalue */ 4434647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon HenriksenCAMLprim LLVMValueRef llvm_const_fcmp(value Pred, 4444647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef LHSConstant, 4454647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef RHSConstant) { 4464647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen return LLVMConstFCmp(Int_val(Pred), LHSConstant, RHSConstant); 4474647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen} 4484647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 4494647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen/* llvalue -> llvalue array -> llvalue */ 4504647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon HenriksenCAMLprim LLVMValueRef llvm_const_gep(LLVMValueRef ConstantVal, value Indices) { 4514647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen return LLVMConstGEP(ConstantVal, (LLVMValueRef*) Op_val(Indices), 4524647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen Wosize_val(Indices)); 4538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4551b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar/* llvalue -> llvalue array -> llvalue */ 4561b42cfd1ca03e48835e8e4c91c5dbb598030257fErick TryzelaarCAMLprim LLVMValueRef llvm_const_in_bounds_gep(LLVMValueRef ConstantVal, 4571b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar value Indices) { 4581b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar return LLVMConstInBoundsGEP(ConstantVal, (LLVMValueRef*) Op_val(Indices), 4591b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar Wosize_val(Indices)); 4601b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar} 4611b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar 4621b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar/* llvalue -> int array -> llvalue */ 4631b42cfd1ca03e48835e8e4c91c5dbb598030257fErick TryzelaarCAMLprim LLVMValueRef llvm_const_extractvalue(LLVMValueRef Aggregate, 4641b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar value Indices) { 4651b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar CAMLparam1(Indices); 4661b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar int size = Wosize_val(Indices); 4671b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar int i; 4681b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar LLVMValueRef result; 4691b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar 4701b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar unsigned* idxs = (unsigned*)malloc(size * sizeof(unsigned)); 4711b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar for (i = 0; i < size; i++) { 4721b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar idxs[i] = Int_val(Field(Indices, i)); 4731b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar } 4741b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar 4751b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar result = LLVMConstExtractValue(Aggregate, idxs, size); 4761b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar free(idxs); 4771b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar CAMLreturnT(LLVMValueRef, result); 4781b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar} 4791b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar 4801b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar/* llvalue -> llvalue -> int array -> llvalue */ 4811b42cfd1ca03e48835e8e4c91c5dbb598030257fErick TryzelaarCAMLprim LLVMValueRef llvm_const_insertvalue(LLVMValueRef Aggregate, 4821b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar LLVMValueRef Val, value Indices) { 4831b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar CAMLparam1(Indices); 4841b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar int size = Wosize_val(Indices); 4851b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar int i; 4861b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar LLVMValueRef result; 4871b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar 4881b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar unsigned* idxs = (unsigned*)malloc(size * sizeof(unsigned)); 4891b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar for (i = 0; i < size; i++) { 4901b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar idxs[i] = Int_val(Field(Indices, i)); 4911b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar } 4921b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar 4931b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar result = LLVMConstInsertValue(Aggregate, Val, idxs, size); 4941b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar free(idxs); 4951b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar CAMLreturnT(LLVMValueRef, result); 4961b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar} 4971b42cfd1ca03e48835e8e4c91c5dbb598030257fErick Tryzelaar 4988ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on global variables, functions, and aliases (globals) ...--*/ 4998ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5008ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> bool */ 50146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_declaration(LLVMValueRef Global) { 50246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsDeclaration(Global)); 5038ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5048ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 505404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* llvalue -> Linkage.t */ 50646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_linkage(LLVMValueRef Global) { 50746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetLinkage(Global)); 5088ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5098ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 510404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Linkage.t -> llvalue -> unit */ 51146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_linkage(value Linkage, LLVMValueRef Global) { 51246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetLinkage(Global, Int_val(Linkage)); 5138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 5148ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5158ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5168ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> string */ 51746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_section(LLVMValueRef Global) { 51846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return copy_string(LLVMGetSection(Global)); 5198ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5208ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5218ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llvalue -> unit */ 52246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_section(value Section, LLVMValueRef Global) { 52346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetSection(Global, String_val(Section)); 5248ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 5258ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5268ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 527404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* llvalue -> Visibility.t */ 52846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_visibility(LLVMValueRef Global) { 52946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetVisibility(Global)); 5308ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5318ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 532404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Visibility.t -> llvalue -> unit */ 53346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_visibility(value Viz, LLVMValueRef Global) { 53446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetVisibility(Global, Int_val(Viz)); 5358ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 5368ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5378ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5388ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> int */ 53946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_alignment(LLVMValueRef Global) { 54046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetAlignment(Global)); 5418ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5428ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5438ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* int -> llvalue -> unit */ 54446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_alignment(value Bytes, LLVMValueRef Global) { 54546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetAlignment(Global, Int_val(Bytes)); 5468ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 5478ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5488ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5498ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on global variables .....................................--*/ 5508ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5514733be38930ae81716bba9ae75a8281bcb180634Gordon HenriksenDEFINE_ITERATORS(global, Global, LLVMModuleRef, LLVMValueRef, 5524733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen LLVMGetGlobalParent) 5534733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen 5548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> string -> llmodule -> llvalue */ 55546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_declare_global(LLVMTypeRef Ty, value Name, 55646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 5576d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef GlobalVar; 5586d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((GlobalVar = LLVMGetNamedGlobal(M, String_val(Name)))) { 5596d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if (LLVMGetElementType(LLVMTypeOf(GlobalVar)) != Ty) 56057cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen return LLVMConstBitCast(GlobalVar, LLVMPointerType(Ty, 0)); 5616d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen return GlobalVar; 5626d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 56346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMAddGlobal(M, Ty, String_val(Name)); 5648ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5658ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5666d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen/* string -> llmodule -> llvalue option */ 5676d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon HenriksenCAMLprim value llvm_lookup_global(value Name, LLVMModuleRef M) { 5686d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLparam1(Name); 5696d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef GlobalVar; 5706d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((GlobalVar = LLVMGetNamedGlobal(M, String_val(Name)))) { 57175e290f67aa7af3c0be993df4845c0defaf6ffa3Gordon Henriksen value Option = alloc(1, 0); 5726d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen Field(Option, 0) = (value) GlobalVar; 5736d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Option); 5746d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 5756d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Val_int(0)); 5766d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen} 5776d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen 5788ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llvalue -> llmodule -> llvalue */ 57946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_define_global(value Name, LLVMValueRef Initializer, 58046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 58146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef GlobalVar = LLVMAddGlobal(M, LLVMTypeOf(Initializer), 5828ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen String_val(Name)); 5838ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen LLVMSetInitializer(GlobalVar, Initializer); 58446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return GlobalVar; 5858ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5868ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5878ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> unit */ 58846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_global(LLVMValueRef GlobalVar) { 58946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteGlobal(GlobalVar); 5908ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 5918ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5928ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5938ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> llvalue -> unit */ 59446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_initializer(LLVMValueRef ConstantVal, 59546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef GlobalVar) { 59646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetInitializer(GlobalVar, ConstantVal); 5978ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 5988ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5998ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 6008ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> unit */ 60146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_remove_initializer(LLVMValueRef GlobalVar) { 60246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetInitializer(GlobalVar, NULL); 6038ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 6048ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 6058ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 6068ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> bool */ 60746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_thread_local(LLVMValueRef GlobalVar) { 60846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsThreadLocal(GlobalVar)); 6098ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 6108ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 6118ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* bool -> llvalue -> unit */ 61246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_thread_local(value IsThreadLocal, 61346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef GlobalVar) { 61446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetThreadLocal(GlobalVar, Bool_val(IsThreadLocal)); 61546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 61646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 61746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 618c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen/* llvalue -> bool */ 619c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon HenriksenCAMLprim value llvm_is_global_constant(LLVMValueRef GlobalVar) { 620c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen return Val_bool(LLVMIsGlobalConstant(GlobalVar)); 621c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen} 622c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen 623c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen/* bool -> llvalue -> unit */ 624c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon HenriksenCAMLprim value llvm_set_global_constant(value Flag, LLVMValueRef GlobalVar) { 625c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen LLVMSetGlobalConstant(GlobalVar, Bool_val(Flag)); 626c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen return Val_unit; 627c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen} 628c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen 62946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Operations on functions ............................................--*/ 63046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 6314733be38930ae81716bba9ae75a8281bcb180634Gordon HenriksenDEFINE_ITERATORS(function, Function, LLVMModuleRef, LLVMValueRef, 6324733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen LLVMGetGlobalParent) 6334733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen 63446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> lltype -> llmodule -> llvalue */ 63546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_declare_function(value Name, LLVMTypeRef Ty, 63646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 6376d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef Fn; 6386d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((Fn = LLVMGetNamedFunction(M, String_val(Name)))) { 6396d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if (LLVMGetElementType(LLVMTypeOf(Fn)) != Ty) 64057cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen return LLVMConstBitCast(Fn, LLVMPointerType(Ty, 0)); 6416d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen return Fn; 6426d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 64346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMAddFunction(M, String_val(Name), Ty); 64446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 64546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 6466d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen/* string -> llmodule -> llvalue option */ 6476d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon HenriksenCAMLprim value llvm_lookup_function(value Name, LLVMModuleRef M) { 6486d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLparam1(Name); 6496d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef Fn; 6506d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((Fn = LLVMGetNamedFunction(M, String_val(Name)))) { 65175e290f67aa7af3c0be993df4845c0defaf6ffa3Gordon Henriksen value Option = alloc(1, 0); 6526d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen Field(Option, 0) = (value) Fn; 6536d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Option); 6546d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 6556d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Val_int(0)); 6566d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen} 6576d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen 65846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> lltype -> llmodule -> llvalue */ 65946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_define_function(value Name, LLVMTypeRef Ty, 66046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 66146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Fn = LLVMAddFunction(M, String_val(Name), Ty); 66246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMAppendBasicBlock(Fn, "entry"); 66346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Fn; 66446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 66546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 66646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> unit */ 66746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_function(LLVMValueRef Fn) { 66846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteFunction(Fn); 66946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 67046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 67146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 67246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> bool */ 67346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_intrinsic(LLVMValueRef Fn) { 67446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMGetIntrinsicID(Fn)); 67546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 67646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 67746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> int */ 67846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_function_call_conv(LLVMValueRef Fn) { 67946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetFunctionCallConv(Fn)); 68046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 68146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 68246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* int -> llvalue -> unit */ 68346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_function_call_conv(value Id, LLVMValueRef Fn) { 68446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetFunctionCallConv(Fn, Int_val(Id)); 68546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 68646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 68746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 68880a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen/* llvalue -> string option */ 6895eca075b74d62c621b160aa216b4cd50829a2cc7Gordon HenriksenCAMLprim value llvm_gc(LLVMValueRef Fn) { 6905eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen const char *GC; 69180a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen CAMLparam0(); 69280a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen CAMLlocal2(Name, Option); 69380a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 6945eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen if ((GC = LLVMGetGC(Fn))) { 6955eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen Name = copy_string(GC); 69680a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 69780a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen Option = alloc(1, 0); 69880a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen Field(Option, 0) = Name; 69980a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen CAMLreturn(Option); 70080a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen } else { 70180a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen CAMLreturn(Val_int(0)); 70280a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen } 70380a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 70480a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 70580a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen/* string option -> llvalue -> unit */ 7065eca075b74d62c621b160aa216b4cd50829a2cc7Gordon HenriksenCAMLprim value llvm_set_gc(value GC, LLVMValueRef Fn) { 7075eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen LLVMSetGC(Fn, GC == Val_int(0)? 0 : String_val(Field(GC, 0))); 70880a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen return Val_unit; 70980a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 71080a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 711e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands/* llvalue -> Attribute.t -> unit */ 712e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan SandsCAMLprim value llvm_add_function_attr(LLVMValueRef Arg, value PA) { 713e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands LLVMAddFunctionAttr(Arg, 1<<Int_val(PA)); 714e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands return Val_unit; 715e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands} 716e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands 717e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands/* llvalue -> Attribute.t -> unit */ 718e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan SandsCAMLprim value llvm_remove_function_attr(LLVMValueRef Arg, value PA) { 719e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands LLVMRemoveFunctionAttr(Arg, 1<<Int_val(PA)); 720e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands return Val_unit; 721e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands} 7224733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen/*--... Operations on parameters ...........................................--*/ 7234733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen 7244733be38930ae81716bba9ae75a8281bcb180634Gordon HenriksenDEFINE_ITERATORS(param, Param, LLVMValueRef, LLVMValueRef, LLVMGetParamParent) 7254733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen 7264733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen/* llvalue -> int -> llvalue */ 7274733be38930ae81716bba9ae75a8281bcb180634Gordon HenriksenCAMLprim LLVMValueRef llvm_param(LLVMValueRef Fn, value Index) { 7284733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen return LLVMGetParam(Fn, Int_val(Index)); 7294733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen} 7304733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen 7314733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen/* llvalue -> int -> llvalue */ 7324733be38930ae81716bba9ae75a8281bcb180634Gordon HenriksenCAMLprim value llvm_params(LLVMValueRef Fn, value Index) { 7334733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen value Params = alloc(LLVMCountParams(Fn), 0); 7344733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen LLVMGetParams(Fn, (LLVMValueRef *) Op_val(Params)); 7354733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen return Params; 7364733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen} 7374733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen 738e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands/* llvalue -> Attribute.t -> unit */ 739e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan SandsCAMLprim value llvm_add_param_attr(LLVMValueRef Arg, value PA) { 740e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands LLVMAddAttribute(Arg, 1<<Int_val(PA)); 741e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands return Val_unit; 742e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands} 743e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands 744e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands/* llvalue -> Attribute.t -> unit */ 745e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan SandsCAMLprim value llvm_remove_param_attr(LLVMValueRef Arg, value PA) { 746e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands LLVMRemoveAttribute(Arg, 1<<Int_val(PA)); 747e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands return Val_unit; 748e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands} 749e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands 750e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands/* llvalue -> int -> unit */ 751e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan SandsCAMLprim value llvm_set_param_alignment(LLVMValueRef Arg, value align) { 752e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands LLVMSetParamAlignment(Arg, Int_val(align)); 753e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands return Val_unit; 754e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands} 755e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands 75646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Operations on basic blocks .........................................--*/ 75746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 7584733be38930ae81716bba9ae75a8281bcb180634Gordon HenriksenDEFINE_ITERATORS( 7594733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen block, BasicBlock, LLVMValueRef, LLVMBasicBlockRef, LLVMGetBasicBlockParent) 7604733be38930ae81716bba9ae75a8281bcb180634Gordon Henriksen 76146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbasicblock array */ 76246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_basic_blocks(LLVMValueRef Fn) { 76346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value MLArray = alloc(LLVMCountBasicBlocks(Fn), 0); 76446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMGetBasicBlocks(Fn, (LLVMBasicBlockRef *) Op_val(MLArray)); 76546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return MLArray; 76646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 76746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 76846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbasicblock -> unit */ 76946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_block(LLVMBasicBlockRef BB) { 77046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteBasicBlock(BB); 77146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 77246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 77346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 77446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> llvalue -> llbasicblock */ 77546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMBasicBlockRef llvm_append_block(value Name, LLVMValueRef Fn) { 77646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMAppendBasicBlock(Fn, String_val(Name)); 77746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 77846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 77946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> llbasicblock -> llbasicblock */ 78046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMBasicBlockRef llvm_insert_block(value Name, LLVMBasicBlockRef BB) { 78146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMInsertBasicBlock(BB, String_val(Name)); 78246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 78346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 78446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> bool */ 78546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_value_is_block(LLVMValueRef Val) { 78646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMValueIsBasicBlock(Val)); 78746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 78846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 789033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen/*--... Operations on instructions .........................................--*/ 790033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen 791033d778249e59548c495f39166a53fa80f48eb91Gordon HenriksenDEFINE_ITERATORS(instr, Instruction, LLVMBasicBlockRef, LLVMValueRef, 792033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen LLVMGetInstructionParent) 793033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen 794033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen 795cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen/*--... Operations on call sites ...........................................--*/ 796cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen 797cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen/* llvalue -> int */ 798cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon HenriksenCAMLprim value llvm_instruction_call_conv(LLVMValueRef Inst) { 799cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen return Val_int(LLVMGetInstructionCallConv(Inst)); 800cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen} 801cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen 802cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen/* int -> llvalue -> unit */ 803cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon HenriksenCAMLprim value llvm_set_instruction_call_conv(value CC, LLVMValueRef Inst) { 804cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen LLVMSetInstructionCallConv(Inst, Int_val(CC)); 805cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen return Val_unit; 806cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen} 807cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen 808e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands/* llvalue -> int -> Attribute.t -> unit */ 809e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan SandsCAMLprim value llvm_add_instruction_param_attr(LLVMValueRef Instr, 810e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands value index, 811e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands value PA) { 812e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands LLVMAddInstrAttribute(Instr, Int_val(index), 1<<Int_val(PA)); 813e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands return Val_unit; 814e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands} 815e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands 816e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands/* llvalue -> int -> Attribute.t -> unit */ 817e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan SandsCAMLprim value llvm_remove_instruction_param_attr(LLVMValueRef Instr, 818e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands value index, 819e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands value PA) { 820e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands LLVMRemoveInstrAttribute(Instr, Int_val(index), 1<<Int_val(PA)); 821e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands return Val_unit; 822e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands} 823e149e9960ba0726f4b084763f7ef95afa12d9a88Duncan Sands 82407cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen/*--... Operations on call instructions (only) .............................--*/ 82507cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen 82607cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen/* llvalue -> bool */ 82707cabf6102800aa701bc4d1bd282fafb63b8a416Gordon HenriksenCAMLprim value llvm_is_tail_call(LLVMValueRef CallInst) { 82807cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen return Val_bool(LLVMIsTailCall(CallInst)); 82907cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen} 83007cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen 83107cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen/* bool -> llvalue -> unit */ 83207cabf6102800aa701bc4d1bd282fafb63b8a416Gordon HenriksenCAMLprim value llvm_set_tail_call(value IsTailCall, 83307cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen LLVMValueRef CallInst) { 83407cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen LLVMSetTailCall(CallInst, Bool_val(IsTailCall)); 83507cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen return Val_unit; 83607cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen} 83707cabf6102800aa701bc4d1bd282fafb63b8a416Gordon Henriksen 8382618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/*--... Operations on phi nodes ............................................--*/ 8392618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 8402618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/* (llvalue * llbasicblock) -> llvalue -> unit */ 8412618a6c1122d5d2007787fb56156be44b21ab32aGordon HenriksenCAMLprim value llvm_add_incoming(value Incoming, LLVMValueRef PhiNode) { 8422618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen LLVMAddIncoming(PhiNode, 8432618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen (LLVMValueRef*) &Field(Incoming, 0), 8442618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen (LLVMBasicBlockRef*) &Field(Incoming, 1), 8452618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 1); 8462618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen return Val_unit; 8472618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen} 8482618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 8492618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/* llvalue -> (llvalue * llbasicblock) list */ 8502618a6c1122d5d2007787fb56156be44b21ab32aGordon HenriksenCAMLprim value llvm_incoming(LLVMValueRef PhiNode) { 8512618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen unsigned I; 8522618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen CAMLparam0(); 8532618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen CAMLlocal3(Hd, Tl, Tmp); 8542618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 8552618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen /* Build a tuple list of them. */ 8562618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Tl = Val_int(0); 8572618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen for (I = LLVMCountIncoming(PhiNode); I != 0; ) { 8582618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Hd = alloc(2, 0); 8592618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Hd, 0, (value) LLVMGetIncomingValue(PhiNode, --I)); 8602618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Hd, 1, (value) LLVMGetIncomingBlock(PhiNode, I)); 8612618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 8622618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Tmp = alloc(2, 0); 8632618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Tmp, 0, Hd); 8642618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Tmp, 1, Tl); 8652618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Tl = Tmp; 8662618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen } 8672618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 8682618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen CAMLreturn(Tl); 8692618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen} 8702618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 87146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 87246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*===-- Instruction builders ----------------------------------------------===*/ 87346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 87446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen#define Builder_val(v) (*(LLVMBuilderRef *)(Data_custom_val(v))) 87546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 876a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksenstatic void llvm_finalize_builder(value B) { 87746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDisposeBuilder(Builder_val(B)); 87846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 87946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 88046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksenstatic struct custom_operations builder_ops = { 88189f6d88db334ba088672ae0753deb7d7b7509bacDuncan Sands (char *) "IRBuilder", 88246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen llvm_finalize_builder, 88346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_compare_default, 88446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_hash_default, 88546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_serialize_default, 88646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_deserialize_default 88746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen}; 88846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 889a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksenstatic value alloc_builder(LLVMBuilderRef B) { 890a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen value V = alloc_custom(&builder_ops, sizeof(LLVMBuilderRef), 0, 1); 891a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen Builder_val(V) = B; 892a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen return V; 893a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen} 894a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen 895a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen/* unit-> llbuilder */ 896a09a89983bf51aa70d3067282e4817ec3057eb51Gordon HenriksenCAMLprim value llvm_builder(value Unit) { 897a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen return alloc_builder(LLVMCreateBuilder()); 898a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen} 899a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen 900033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen/* (llbasicblock, llvalue) llpos -> llbuilder -> unit */ 901033d778249e59548c495f39166a53fa80f48eb91Gordon HenriksenCAMLprim value llvm_position_builder(value Pos, value B) { 902033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen if (Tag_val(Pos) == 0) { 903033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen LLVMBasicBlockRef BB = (LLVMBasicBlockRef) Op_val(Field(Pos, 0)); 904033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen LLVMPositionBuilderAtEnd(Builder_val(B), BB); 905033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen } else { 906033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen LLVMValueRef I = (LLVMValueRef) Op_val(Field(Pos, 0)); 907033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen LLVMPositionBuilderBefore(Builder_val(B), I); 908033d778249e59548c495f39166a53fa80f48eb91Gordon Henriksen } 9098ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 9108ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 91146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 912dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen/* llbuilder -> llbasicblock */ 913dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon HenriksenCAMLprim LLVMBasicBlockRef llvm_insertion_block(LLVMBuilderRef B) { 914dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen LLVMBasicBlockRef InsertBlock = LLVMGetInsertBlock(Builder_val(B)); 915dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen if (!InsertBlock) 916dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen raise_not_found(); 917dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen return InsertBlock; 918dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen} 919dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen 9205c1c2082968ff4c36063ed09c4eea772eb808b6aErick Tryzelaar/* llvalue -> string -> llbuilder -> unit */ 9215c1c2082968ff4c36063ed09c4eea772eb808b6aErick TryzelaarCAMLprim value llvm_insert_into_builder(LLVMValueRef I, value Name, 9225c1c2082968ff4c36063ed09c4eea772eb808b6aErick Tryzelaar LLVMBuilderRef B) { 9235c1c2082968ff4c36063ed09c4eea772eb808b6aErick Tryzelaar LLVMInsertIntoBuilderWithName(B, I, String_val(Name)); 9245c1c2082968ff4c36063ed09c4eea772eb808b6aErick Tryzelaar return Val_unit; 9255c1c2082968ff4c36063ed09c4eea772eb808b6aErick Tryzelaar} 9265c1c2082968ff4c36063ed09c4eea772eb808b6aErick Tryzelaar 92746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Terminators ........................................................--*/ 92846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 92946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbuilder -> llvalue */ 93046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_ret_void(value B) { 93146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildRetVoid(Builder_val(B)); 93246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 93346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 93446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbuilder -> llvalue */ 93546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_ret(LLVMValueRef Val, value B) { 93646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildRet(Builder_val(B), Val); 93746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 93846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 93946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbasicblock -> llbuilder -> llvalue */ 94046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_br(LLVMBasicBlockRef BB, value B) { 94146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildBr(Builder_val(B), BB); 94246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 94346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 94446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbasicblock -> llbasicblock -> llbuilder -> llvalue */ 94546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_cond_br(LLVMValueRef If, 94646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Then, 94746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Else, 94846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value B) { 94946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildCondBr(Builder_val(B), If, Then, Else); 95046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 95146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 95246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbasicblock -> int -> llbuilder -> llvalue */ 95346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_switch(LLVMValueRef Of, 95446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Else, 95546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value EstimatedCount, 95646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value B) { 95746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSwitch(Builder_val(B), Of, Else, Int_val(EstimatedCount)); 95846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 95946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 96021491edbf4027df4db559eb1a9aa8fbf3779cfabGordon HenriksenCAMLprim value llvm_add_case(LLVMValueRef Switch, 96121491edbf4027df4db559eb1a9aa8fbf3779cfabGordon Henriksen LLVMValueRef OnVal, 96221491edbf4027df4db559eb1a9aa8fbf3779cfabGordon Henriksen LLVMBasicBlockRef Dest) { 96321491edbf4027df4db559eb1a9aa8fbf3779cfabGordon Henriksen LLVMAddCase(Switch, OnVal, Dest); 96421491edbf4027df4db559eb1a9aa8fbf3779cfabGordon Henriksen return Val_unit; 96521491edbf4027df4db559eb1a9aa8fbf3779cfabGordon Henriksen} 96621491edbf4027df4db559eb1a9aa8fbf3779cfabGordon Henriksen 96746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> llbasicblock -> llbasicblock -> string -> 96846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen llbuilder -> llvalue */ 96946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_invoke_nat(LLVMValueRef Fn, value Args, 97046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Then, 97146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Catch, 97246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 97346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildInvoke(Builder_val(B), Fn, (LLVMValueRef *) Op_val(Args), 97446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen Wosize_val(Args), Then, Catch, String_val(Name)); 97546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 97646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 97746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> llbasicblock -> llbasicblock -> string -> 97846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen llbuilder -> llvalue */ 97946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_invoke_bc(value Args[], int NumArgs) { 98046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return llvm_build_invoke_nat((LLVMValueRef) Args[0], Args[1], 98146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen (LLVMBasicBlockRef) Args[2], 98246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen (LLVMBasicBlockRef) Args[3], 98346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen Args[4], Args[5]); 98446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 98546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 98646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbuilder -> llvalue */ 98746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_unwind(value B) { 98846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUnwind(Builder_val(B)); 98946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 99046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 99146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbuilder -> llvalue */ 99246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_unreachable(value B) { 99346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUnreachable(Builder_val(B)); 99446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 99546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 99646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Arithmetic .........................................................--*/ 99746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 99846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 99946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_add(LLVMValueRef LHS, LLVMValueRef RHS, 100046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 100146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAdd(Builder_val(B), LHS, RHS, String_val(Name)); 100246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 100346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 100446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 1005e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_nsw_add(LLVMValueRef LHS, LLVMValueRef RHS, 1006e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1007e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildNSWAdd(Builder_val(B), LHS, RHS, String_val(Name)); 1008e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1009e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1010e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 1011e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_fadd(LLVMValueRef LHS, LLVMValueRef RHS, 1012e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1013e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildFAdd(Builder_val(B), LHS, RHS, String_val(Name)); 1014e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1015e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1016e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 101746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sub(LLVMValueRef LHS, LLVMValueRef RHS, 101846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 101946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSub(Builder_val(B), LHS, RHS, String_val(Name)); 102046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 102146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 102246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 1023e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_fsub(LLVMValueRef LHS, LLVMValueRef RHS, 1024e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1025e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildFSub(Builder_val(B), LHS, RHS, String_val(Name)); 1026e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1027e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1028e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 102946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_mul(LLVMValueRef LHS, LLVMValueRef RHS, 103046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 103146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildMul(Builder_val(B), LHS, RHS, String_val(Name)); 103246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 103346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 103446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 1035e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_fmul(LLVMValueRef LHS, LLVMValueRef RHS, 1036e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1037e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildFMul(Builder_val(B), LHS, RHS, String_val(Name)); 1038e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1039e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1040e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 104146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_udiv(LLVMValueRef LHS, LLVMValueRef RHS, 104246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 104346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUDiv(Builder_val(B), LHS, RHS, String_val(Name)); 104446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 104546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 104646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 104746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sdiv(LLVMValueRef LHS, LLVMValueRef RHS, 104846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 104946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSDiv(Builder_val(B), LHS, RHS, String_val(Name)); 105046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 105146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 105246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 1053e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_exact_sdiv(LLVMValueRef LHS, LLVMValueRef RHS, 1054e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1055e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildExactSDiv(Builder_val(B), LHS, RHS, String_val(Name)); 1056e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1057e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1058e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 105946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fdiv(LLVMValueRef LHS, LLVMValueRef RHS, 106046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 106146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFDiv(Builder_val(B), LHS, RHS, String_val(Name)); 106246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 106346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 106446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 106546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_urem(LLVMValueRef LHS, LLVMValueRef RHS, 106646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 106746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildURem(Builder_val(B), LHS, RHS, String_val(Name)); 106846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 106946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 107046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 107146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_srem(LLVMValueRef LHS, LLVMValueRef RHS, 107246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 107346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSRem(Builder_val(B), LHS, RHS, String_val(Name)); 107446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 107546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 107646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 107746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_frem(LLVMValueRef LHS, LLVMValueRef RHS, 107846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 107946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFRem(Builder_val(B), LHS, RHS, String_val(Name)); 108046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 108146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 108246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 108346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_shl(LLVMValueRef LHS, LLVMValueRef RHS, 108446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 108546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildShl(Builder_val(B), LHS, RHS, String_val(Name)); 108646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 108746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 108846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 108946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_lshr(LLVMValueRef LHS, LLVMValueRef RHS, 109046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 109146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildLShr(Builder_val(B), LHS, RHS, String_val(Name)); 109246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 109346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 109446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 109546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_ashr(LLVMValueRef LHS, LLVMValueRef RHS, 109646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 109746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAShr(Builder_val(B), LHS, RHS, String_val(Name)); 109846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 109946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 110046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 110146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_and(LLVMValueRef LHS, LLVMValueRef RHS, 110246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 110346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAnd(Builder_val(B), LHS, RHS, String_val(Name)); 110446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 110546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 110646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 110746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_or(LLVMValueRef LHS, LLVMValueRef RHS, 110846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 110946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildOr(Builder_val(B), LHS, RHS, String_val(Name)); 111046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 111146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 111246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 111346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_xor(LLVMValueRef LHS, LLVMValueRef RHS, 111446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 111546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildXor(Builder_val(B), LHS, RHS, String_val(Name)); 111646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 111746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 111846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> string -> llbuilder -> llvalue */ 111946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_neg(LLVMValueRef X, 112046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 112146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildNeg(Builder_val(B), X, String_val(Name)); 112246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 112346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 112446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> string -> llbuilder -> llvalue */ 112546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_not(LLVMValueRef X, 112646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 112746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildNot(Builder_val(B), X, String_val(Name)); 112846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 112946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 113046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Memory .............................................................--*/ 113146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 113246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> string -> llbuilder -> llvalue */ 113346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_malloc(LLVMTypeRef Ty, 113446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 113546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildMalloc(Builder_val(B), Ty, String_val(Name)); 113646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 113746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 113846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> llvalue -> string -> llbuilder -> llvalue */ 113946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_array_malloc(LLVMTypeRef Ty, LLVMValueRef Size, 114046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 114146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildArrayMalloc(Builder_val(B), Ty, Size, String_val(Name)); 114246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 114346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 114446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> string -> llbuilder -> llvalue */ 114546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_alloca(LLVMTypeRef Ty, 114646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 114746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAlloca(Builder_val(B), Ty, String_val(Name)); 114846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 114946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 115046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> llvalue -> string -> llbuilder -> llvalue */ 115146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_array_alloca(LLVMTypeRef Ty, LLVMValueRef Size, 115246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 115346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildArrayAlloca(Builder_val(B), Ty, Size, String_val(Name)); 115446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 115546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 115646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbuilder -> llvalue */ 115746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_free(LLVMValueRef Pointer, value B) { 115846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFree(Builder_val(B), Pointer); 115946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 116046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 116146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> string -> llbuilder -> llvalue */ 116246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_load(LLVMValueRef Pointer, 116346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 116446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildLoad(Builder_val(B), Pointer, String_val(Name)); 116546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 116646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 116746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llbuilder -> llvalue */ 116846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_store(LLVMValueRef Value, LLVMValueRef Pointer, 116946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value B) { 117046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildStore(Builder_val(B), Value, Pointer); 117146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 117246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 117346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> string -> llbuilder -> llvalue */ 117446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_gep(LLVMValueRef Pointer, value Indices, 117546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 117646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildGEP(Builder_val(B), Pointer, 117746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen (LLVMValueRef *) Op_val(Indices), Wosize_val(Indices), 117846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 117946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 118046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 1181e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> llvalue array -> string -> llbuilder -> llvalue */ 1182e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_in_bounds_gep(LLVMValueRef Pointer, 1183e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Indices, value Name, 1184e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value B) { 1185e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildInBoundsGEP(Builder_val(B), Pointer, 1186e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar (LLVMValueRef *) Op_val(Indices), 1187e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar Wosize_val(Indices), String_val(Name)); 1188e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1189e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1190e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> int -> string -> llbuilder -> llvalue */ 1191e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_struct_gep(LLVMValueRef Pointer, 1192e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Indices, value Name, 1193e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value B) { 1194e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildInBoundsGEP(Builder_val(B), Pointer, 1195e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar (LLVMValueRef *) Op_val(Indices), 1196e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar Wosize_val(Indices), String_val(Name)); 1197e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1198e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1199e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* string -> string -> llbuilder -> llvalue */ 1200e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_global_string(value Str, value Name, value B) { 1201e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildGlobalString(Builder_val(B), String_val(Str), 1202e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar String_val(Name)); 1203e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1204e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1205e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* string -> string -> llbuilder -> llvalue */ 1206e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_global_stringptr(value Str, value Name, 1207e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value B) { 1208e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildGlobalStringPtr(Builder_val(B), String_val(Str), 1209e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar String_val(Name)); 1210e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1211e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 121246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Casts ..............................................................--*/ 121346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 121446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 121546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_trunc(LLVMValueRef X, LLVMTypeRef Ty, 121646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 121746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildTrunc(Builder_val(B), X, Ty, String_val(Name)); 121846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 121946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 122046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 122146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_zext(LLVMValueRef X, LLVMTypeRef Ty, 122246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 122346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildZExt(Builder_val(B), X, Ty, String_val(Name)); 122446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 122546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 122646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 122746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sext(LLVMValueRef X, LLVMTypeRef Ty, 122846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 122946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSExt(Builder_val(B), X, Ty, String_val(Name)); 123046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 123146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 123246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 123346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fptoui(LLVMValueRef X, LLVMTypeRef Ty, 123446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 123546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPToUI(Builder_val(B), X, Ty, String_val(Name)); 123646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 123746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 123846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 123946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fptosi(LLVMValueRef X, LLVMTypeRef Ty, 124046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 124146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPToSI(Builder_val(B), X, Ty, String_val(Name)); 124246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 124346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 124446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 124546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_uitofp(LLVMValueRef X, LLVMTypeRef Ty, 124646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 124746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUIToFP(Builder_val(B), X, Ty, String_val(Name)); 124846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 124946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 125046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 125146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sitofp(LLVMValueRef X, LLVMTypeRef Ty, 125246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 125346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSIToFP(Builder_val(B), X, Ty, String_val(Name)); 125446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 125546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 125646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 125746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fptrunc(LLVMValueRef X, LLVMTypeRef Ty, 125846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 125946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPTrunc(Builder_val(B), X, Ty, String_val(Name)); 126046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 126146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 126246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 126346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fpext(LLVMValueRef X, LLVMTypeRef Ty, 126446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 126546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPExt(Builder_val(B), X, Ty, String_val(Name)); 126646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 126746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 126846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 126946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_prttoint(LLVMValueRef X, LLVMTypeRef Ty, 127046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 127146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildPtrToInt(Builder_val(B), X, Ty, String_val(Name)); 127246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 127346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 127446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 127546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_inttoptr(LLVMValueRef X, LLVMTypeRef Ty, 127646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 127746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildIntToPtr(Builder_val(B), X, Ty, String_val(Name)); 127846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 127946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 128046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 128146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_bitcast(LLVMValueRef X, LLVMTypeRef Ty, 128246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 128346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildBitCast(Builder_val(B), X, Ty, String_val(Name)); 128446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 128546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 1286e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 1287e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_zext_or_bitcast(LLVMValueRef X, LLVMTypeRef Ty, 1288e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1289e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildZExtOrBitCast(Builder_val(B), X, Ty, String_val(Name)); 1290e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1291e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1292e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 1293e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_sext_or_bitcast(LLVMValueRef X, LLVMTypeRef Ty, 1294e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1295e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildSExtOrBitCast(Builder_val(B), X, Ty, String_val(Name)); 1296e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1297e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1298e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 1299e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_trunc_or_bitcast(LLVMValueRef X, 1300e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar LLVMTypeRef Ty, value Name, 1301e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value B) { 1302e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildTruncOrBitCast(Builder_val(B), X, Ty, String_val(Name)); 1303e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1304e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1305e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 1306e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_pointercast(LLVMValueRef X, LLVMTypeRef Ty, 1307e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1308e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildPointerCast(Builder_val(B), X, Ty, String_val(Name)); 1309e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1310e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1311e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 1312e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_intcast(LLVMValueRef X, LLVMTypeRef Ty, 1313e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1314e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildIntCast(Builder_val(B), X, Ty, String_val(Name)); 1315e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1316e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1317e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 1318e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_fpcast(LLVMValueRef X, LLVMTypeRef Ty, 1319e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1320e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildFPCast(Builder_val(B), X, Ty, String_val(Name)); 1321e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1322e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 132346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Comparisons ........................................................--*/ 132446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 1325404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Icmp.t -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 132646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_icmp(value Pred, 132746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef LHS, LLVMValueRef RHS, 132846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 132946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildICmp(Builder_val(B), Int_val(Pred) + LLVMIntEQ, LHS, RHS, 133046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 133146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 133246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 1333404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Fcmp.t -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 133446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fcmp(value Pred, 133546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef LHS, LLVMValueRef RHS, 133646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 133746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFCmp(Builder_val(B), Int_val(Pred), LHS, RHS, 133846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 133946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 134046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 134146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Miscellaneous instructions .........................................--*/ 134246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 13432618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/* (llvalue * llbasicblock) list -> string -> llbuilder -> llvalue */ 13442618a6c1122d5d2007787fb56156be44b21ab32aGordon HenriksenCAMLprim LLVMValueRef llvm_build_phi(value Incoming, value Name, value B) { 13452618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen value Hd, Tl; 13462618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen LLVMValueRef FirstValue, PhiNode; 13472618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 13482618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen assert(Incoming != Val_int(0) && "Empty list passed to Llvm.build_phi!"); 13492618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 13502618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Hd = Field(Incoming, 0); 13512618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen FirstValue = (LLVMValueRef) Field(Hd, 0); 13522618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen PhiNode = LLVMBuildPhi(Builder_val(B), LLVMTypeOf(FirstValue), 13532618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen String_val(Name)); 13542618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 13552618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen for (Tl = Incoming; Tl != Val_int(0); Tl = Field(Tl, 1)) { 13562618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen value Hd = Field(Tl, 0); 13572618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen LLVMAddIncoming(PhiNode, (LLVMValueRef*) &Field(Hd, 0), 13582618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen (LLVMBasicBlockRef*) &Field(Hd, 1), 1); 13592618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen } 13602618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 13612618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen return PhiNode; 136246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 136346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 136446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> string -> llbuilder -> llvalue */ 136546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_call(LLVMValueRef Fn, value Params, 136646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 136746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildCall(Builder_val(B), Fn, (LLVMValueRef *) Op_val(Params), 136846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen Wosize_val(Params), String_val(Name)); 136946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 137046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 137146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 137246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_select(LLVMValueRef If, 137346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Then, LLVMValueRef Else, 137446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 137546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSelect(Builder_val(B), If, Then, Else, String_val(Name)); 137646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 137746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 137846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 137946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_va_arg(LLVMValueRef List, LLVMTypeRef Ty, 138046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 138146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildVAArg(Builder_val(B), List, Ty, String_val(Name)); 138246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 138346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 138446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 138546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_extractelement(LLVMValueRef Vec, 138646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Idx, 138746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 138846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildExtractElement(Builder_val(B), Vec, Idx, String_val(Name)); 138946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 139046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 139146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 139246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_insertelement(LLVMValueRef Vec, 139346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Element, 139446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Idx, 139546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 139646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildInsertElement(Builder_val(B), Vec, Element, Idx, 139746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 139846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 139946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 140046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 140146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_shufflevector(LLVMValueRef V1, LLVMValueRef V2, 140246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Mask, 140346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 140446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildShuffleVector(Builder_val(B), V1, V2, Mask, String_val(Name)); 140546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 140646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 1407e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> int -> string -> llbuilder -> llvalue */ 1408e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_extractvalue(LLVMValueRef Aggregate, 1409e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Idx, value Name, value B) { 1410e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildExtractValue(Builder_val(B), Aggregate, Int_val(Idx), 1411e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar String_val(Name)); 1412e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1413e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1414e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> llvalue -> int -> string -> llbuilder -> llvalue */ 1415e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_insertvalue(LLVMValueRef Aggregate, 1416e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar LLVMValueRef Val, value Idx, 1417e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1418e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildInsertValue(Builder_val(B), Aggregate, Val, Int_val(Idx), 1419e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar String_val(Name)); 1420e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1421e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1422e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> string -> llbuilder -> llvalue */ 1423e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_is_null(LLVMValueRef Val, value Name, 1424e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value B) { 1425e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildIsNull(Builder_val(B), Val, String_val(Name)); 1426e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1427e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1428e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> string -> llbuilder -> llvalue */ 1429e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_is_not_null(LLVMValueRef Val, value Name, 1430e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value B) { 1431e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildIsNotNull(Builder_val(B), Val, String_val(Name)); 1432e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 1433e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar 1434e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 1435e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick TryzelaarCAMLprim LLVMValueRef llvm_build_ptrdiff(LLVMValueRef LHS, LLVMValueRef RHS, 1436e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar value Name, value B) { 1437e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar return LLVMBuildPtrDiff(Builder_val(B), LHS, RHS, String_val(Name)); 1438e0f8bf6cbe1bee904021a8ae45008e3703dde283Erick Tryzelaar} 14391ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen 14401ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen/*===-- Module Providers --------------------------------------------------===*/ 14411ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen 14421ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen/* llmoduleprovider -> unit */ 14431ae6135fa37eb061499d079b9b33dc82dcc1283fGordon HenriksenCAMLprim value llvm_dispose_module_provider(LLVMModuleProviderRef MP) { 14441ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen LLVMDisposeModuleProvider(MP); 14451ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen return Val_unit; 14461ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen} 1447da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1448da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1449da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen/*===-- Memory buffers ----------------------------------------------------===*/ 1450da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1451da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen/* string -> llmemorybuffer 1452da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen raises IoError msg on error */ 1453da1435f86ebc9886dd7704294e01d192d79e069cGordon HenriksenCAMLprim value llvm_memorybuffer_of_file(value Path) { 1454da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen CAMLparam1(Path); 1455da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen char *Message; 1456da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen LLVMMemoryBufferRef MemBuf; 1457da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1458da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen if (LLVMCreateMemoryBufferWithContentsOfFile(String_val(Path), 1459da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen &MemBuf, &Message)) 1460da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen llvm_raise(llvm_ioerror_exn, Message); 1461da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1462da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen CAMLreturn((value) MemBuf); 1463da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen} 1464da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1465da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen/* unit -> llmemorybuffer 1466da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen raises IoError msg on error */ 1467da1435f86ebc9886dd7704294e01d192d79e069cGordon HenriksenCAMLprim LLVMMemoryBufferRef llvm_memorybuffer_of_stdin(value Unit) { 1468da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen char *Message; 1469da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen LLVMMemoryBufferRef MemBuf; 1470da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1471da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen if (LLVMCreateMemoryBufferWithSTDIN(&MemBuf, &Message)) 1472da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen llvm_raise(llvm_ioerror_exn, Message); 1473da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1474da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen return MemBuf; 1475da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen} 1476da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1477da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen/* llmemorybuffer -> unit */ 1478da1435f86ebc9886dd7704294e01d192d79e069cGordon HenriksenCAMLprim value llvm_memorybuffer_dispose(LLVMMemoryBufferRef MemBuf) { 1479da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen LLVMDisposeMemoryBuffer(MemBuf); 1480da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen return Val_unit; 1481da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen} 1482da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1483d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/*===-- Pass Managers -----------------------------------------------------===*/ 1484d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1485d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* unit -> [ `Module ] PassManager.t */ 1486d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim LLVMPassManagerRef llvm_passmanager_create(value Unit) { 1487d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return LLVMCreatePassManager(); 1488d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1489d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1490d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* llmodule -> [ `Function ] PassManager.t -> bool */ 1491d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim value llvm_passmanager_run_module(LLVMModuleRef M, 1492d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen LLVMPassManagerRef PM) { 1493d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return Val_bool(LLVMRunPassManager(PM, M)); 1494d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1495d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1496d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* [ `Function ] PassManager.t -> bool */ 1497d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim value llvm_passmanager_initialize(LLVMPassManagerRef FPM) { 1498d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return Val_bool(LLVMInitializeFunctionPassManager(FPM)); 1499d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1500d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1501d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* llvalue -> [ `Function ] PassManager.t -> bool */ 1502d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim value llvm_passmanager_run_function(LLVMValueRef F, 1503d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen LLVMPassManagerRef FPM) { 1504d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return Val_bool(LLVMRunFunctionPassManager(FPM, F)); 1505d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1506d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1507d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* [ `Function ] PassManager.t -> bool */ 1508d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim value llvm_passmanager_finalize(LLVMPassManagerRef FPM) { 1509d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return Val_bool(LLVMFinalizeFunctionPassManager(FPM)); 1510d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1511d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1512d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* PassManager.any PassManager.t -> unit */ 1513d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim value llvm_passmanager_dispose(LLVMPassManagerRef PM) { 1514d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen LLVMDisposePassManager(PM); 1515d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return Val_unit; 1516d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1517