llvm_ocaml.c revision dc1ce7bdc6e32e7a4c4a110caa32834730183c1b
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 538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*===-- Modules -----------------------------------------------------------===*/ 558ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 568ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llmodule */ 5746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMModuleRef llvm_create_module(value ModuleID) { 5846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMModuleCreateWithName(String_val(ModuleID)); 598ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 608ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 618ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llmodule -> unit */ 6246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_dispose_module(LLVMModuleRef M) { 6346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDisposeModule(M); 648ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 658ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 668ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 67a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen/* llmodule -> string */ 68a353ffa7e556bfd2864474911174da691117f691Gordon HenriksenCAMLprim value llvm_target_triple(LLVMModuleRef M) { 69a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen return copy_string(LLVMGetTarget(M)); 70a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen} 71a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen 72a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen/* string -> llmodule -> unit */ 73a353ffa7e556bfd2864474911174da691117f691Gordon HenriksenCAMLprim value llvm_set_target_triple(value Trip, LLVMModuleRef M) { 74a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen LLVMSetTarget(M, String_val(Trip)); 75a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen return Val_unit; 76a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen} 77a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen 78a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen/* llmodule -> string */ 79a353ffa7e556bfd2864474911174da691117f691Gordon HenriksenCAMLprim value llvm_data_layout(LLVMModuleRef M) { 80a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen return copy_string(LLVMGetDataLayout(M)); 81a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen} 82a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen 83a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen/* string -> llmodule -> unit */ 84a353ffa7e556bfd2864474911174da691117f691Gordon HenriksenCAMLprim value llvm_set_data_layout(value Layout, LLVMModuleRef M) { 85a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen LLVMSetDataLayout(M, String_val(Layout)); 86a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen return Val_unit; 87a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen} 88a353ffa7e556bfd2864474911174da691117f691Gordon Henriksen 898ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> lltype -> llmodule -> bool */ 9046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_add_type_name(value Name, LLVMTypeRef Ty, LLVMModuleRef M) { 9146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen int res = LLVMAddTypeName(M, String_val(Name), Ty); 928ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_bool(res == 0); 938ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 948ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 9546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> llmodule -> unit */ 9646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_type_name(value Name, LLVMModuleRef M) { 9746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteTypeName(M, String_val(Name)); 9846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 9946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 10046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 101af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon Henriksen/* llmodule -> unit */ 102af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon HenriksenCAMLprim value llvm_dump_module(LLVMModuleRef M) { 103af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon Henriksen LLVMDumpModule(M); 104af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon Henriksen return Val_unit; 105af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon Henriksen} 106af59b105bb3f9a31f1812e470eb9db28a8a1b491Gordon Henriksen 1078ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1088ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*===-- Types -------------------------------------------------------------===*/ 1098ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 110404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* lltype -> TypeKind.t */ 11146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_classify_type(LLVMTypeRef Ty) { 11246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetTypeKind(Ty)); 1138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1148ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1158ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on integer types ........................................--*/ 1168ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1178ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 11846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i1_type (value Unit) { return LLVMInt1Type(); } 11946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i8_type (value Unit) { return LLVMInt8Type(); } 12046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i16_type(value Unit) { return LLVMInt16Type(); } 12146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i32_type(value Unit) { return LLVMInt32Type(); } 12246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i64_type(value Unit) { return LLVMInt64Type(); } 1238ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1248ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* int -> lltype */ 125957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_integer_type(value Width) { 12681a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMIntType(Int_val(Width)); 1278ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1288ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1298ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int */ 13046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_integer_bitwidth(LLVMTypeRef IntegerTy) { 13146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetIntTypeWidth(IntegerTy)); 1328ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1338ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1348ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on real types ...........................................--*/ 1358ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1368ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 13746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_float_type(value Unit) { 13846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMFloatType(); 1398ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1408ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1418ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 14246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_double_type(value Unit) { 14346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMDoubleType(); 1448ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1458ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1468ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 14746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_x86fp80_type(value Unit) { 14846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMX86FP80Type(); 1498ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1508ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1518ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 15246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_fp128_type(value Unit) { 15346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMFP128Type(); 1548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1558ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1568ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 15746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_ppc_fp128_type(value Unit) { 15846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMPPCFP128Type(); 1598ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1608ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1618ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on function types .......................................--*/ 1628ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 163957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype -> lltype array -> lltype */ 164957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_function_type(LLVMTypeRef RetTy, value ParamTys) { 16581a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMFunctionType(RetTy, (LLVMTypeRef *) ParamTys, 166957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ParamTys), 0); 167957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen} 168957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen 169957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype -> lltype array -> lltype */ 170957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_var_arg_function_type(LLVMTypeRef RetTy, 171957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen value ParamTys) { 172957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen return LLVMFunctionType(RetTy, (LLVMTypeRef *) ParamTys, 173957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ParamTys), 1); 1748ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1758ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1768ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> bool */ 17746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_var_arg(LLVMTypeRef FunTy) { 17846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsFunctionVarArg(FunTy)); 1798ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1808ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1818ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> lltype array */ 18246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_param_types(LLVMTypeRef FunTy) { 18346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Tys = alloc(LLVMCountParamTypes(FunTy), 0); 18446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMGetParamTypes(FunTy, (LLVMTypeRef *) Tys); 18546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Tys; 1868ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1878ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1888ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on struct types .........................................--*/ 1898ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 190957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype array -> lltype */ 191957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_struct_type(value ElementTypes) { 192957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen return LLVMStructType((LLVMTypeRef *) ElementTypes, 193957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ElementTypes), 0); 194957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen} 195957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen 196957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype array -> lltype */ 197957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_packed_struct_type(value ElementTypes) { 19881a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMStructType((LLVMTypeRef *) ElementTypes, 199957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ElementTypes), 1); 2008ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2018ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2028ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> lltype array */ 20346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_element_types(LLVMTypeRef StructTy) { 20446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Tys = alloc(LLVMCountStructElementTypes(StructTy), 0); 20546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMGetStructElementTypes(StructTy, (LLVMTypeRef *) Tys); 20646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Tys; 2078ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2088ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 20946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> bool */ 21046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_packed(LLVMTypeRef StructTy) { 21146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsPackedStruct(StructTy)); 2128ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2148ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on array, pointer, and vector types .....................--*/ 2158ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2168ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int -> lltype */ 217957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_array_type(LLVMTypeRef ElementTy, value Count) { 21881a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMArrayType(ElementTy, Int_val(Count)); 2198ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2208ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 22157cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen/* lltype -> lltype */ 22257cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon HenriksenCAMLprim LLVMTypeRef llvm_pointer_type(LLVMTypeRef ElementTy) { 22357cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen return LLVMPointerType(ElementTy, 0); 22457cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen} 22557cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen 22657cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen/* lltype -> int -> lltype */ 22757cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon HenriksenCAMLprim LLVMTypeRef llvm_qualified_pointer_type(LLVMTypeRef ElementTy, 22857cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen value AddressSpace) { 22957cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen return LLVMPointerType(ElementTy, Int_val(AddressSpace)); 23057cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen} 23157cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen 2328ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int -> lltype */ 233957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_vector_type(LLVMTypeRef ElementTy, value Count) { 23481a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMVectorType(ElementTy, Int_val(Count)); 2358ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2368ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2378ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int */ 23846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_array_length(LLVMTypeRef ArrayTy) { 23946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetArrayLength(ArrayTy)); 2408ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2418ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2428ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int */ 24357cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon HenriksenCAMLprim value llvm_address_space(LLVMTypeRef PtrTy) { 24457cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen return Val_int(LLVMGetPointerAddressSpace(PtrTy)); 24557cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen} 24657cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen 24757cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen/* lltype -> int */ 24846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_vector_size(LLVMTypeRef VectorTy) { 24946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetVectorSize(VectorTy)); 2508ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2518ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2528ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on other types ..........................................--*/ 2538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 25546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_void_type (value Unit) { return LLVMVoidType(); } 25646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_label_type(value Unit) { return LLVMLabelType(); } 2578ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2588ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 259957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_opaque_type(value Unit) { 26081a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMOpaqueType(); 2618ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2628ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2631cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen/*--... Operations on type handles .........................................--*/ 2641cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2651cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen#define Typehandle_val(v) (*(LLVMTypeHandleRef *)(Data_custom_val(v))) 2661cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2672e855e68d861224c9b61e2bc9cecad1536b1534bGordon Henriksenstatic void llvm_finalize_handle(value TH) { 2681cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen LLVMDisposeTypeHandle(Typehandle_val(TH)); 2691cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 2701cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2711cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksenstatic struct custom_operations typehandle_ops = { 2721cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen (char *) "LLVMTypeHandle", 2731cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen llvm_finalize_handle, 2741cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_compare_default, 2751cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_hash_default, 2761cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_serialize_default, 2771cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_deserialize_default 2781cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen}; 2791cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2801cf08fddc7413076dedad58dbb8d8d67e69a490fGordon HenriksenCAMLprim value llvm_handle_to_type(LLVMTypeRef PATy) { 2811cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen value TH = alloc_custom(&typehandle_ops, sizeof(LLVMBuilderRef), 0, 1); 2821cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen Typehandle_val(TH) = LLVMCreateTypeHandle(PATy); 2831cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen return TH; 2841cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 2851cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2861cf08fddc7413076dedad58dbb8d8d67e69a490fGordon HenriksenCAMLprim LLVMTypeRef llvm_type_of_handle(value TH) { 2871cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen return LLVMResolveTypeHandle(Typehandle_val(TH)); 2881cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 2891cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2901cf08fddc7413076dedad58dbb8d8d67e69a490fGordon HenriksenCAMLprim value llvm_refine_type(LLVMTypeRef AbstractTy, LLVMTypeRef ConcreteTy){ 2911cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen LLVMRefineAbstractType(AbstractTy, ConcreteTy); 2921cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen return Val_unit; 2931cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 2941cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2958ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2968ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*===-- VALUES ------------------------------------------------------------===*/ 2978ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2988ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> lltype */ 29946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_type_of(LLVMValueRef Val) { 30046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMTypeOf(Val); 3018ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3028ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3038ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> string */ 30446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_value_name(LLVMValueRef Val) { 30546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return copy_string(LLVMGetValueName(Val)); 3068ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3078ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3088ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llvalue -> unit */ 30946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_value_name(value Name, LLVMValueRef Val) { 31046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetValueName(Val, String_val(Name)); 3118ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 3128ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 31488cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen/* llvalue -> unit */ 31588cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon HenriksenCAMLprim value llvm_dump_value(LLVMValueRef Val) { 31688cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen LLVMDumpValue(Val); 31788cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen return Val_unit; 31888cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen} 31988cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen 3208ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on constants of (mostly) any type .......................--*/ 3218ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3228ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> bool */ 32346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_constant(LLVMValueRef Val) { 32446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsConstant(Val)); 325344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen} 326344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 327344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen/* llvalue -> bool */ 32846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_null(LLVMValueRef Val) { 32946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsNull(Val)); 3308ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3318ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 332344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen/* llvalue -> bool */ 33346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_undef(LLVMValueRef Val) { 33446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsUndef(Val)); 335344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen} 336344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 3378ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on scalar constants .....................................--*/ 3388ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 339e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* lltype -> int -> llvalue */ 340e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_int(LLVMTypeRef IntTy, value N) { 341e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstInt(IntTy, (long long) Int_val(N), 1); 3428ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3438ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 344344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen/* lltype -> Int64.t -> bool -> llvalue */ 345e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_of_int64(LLVMTypeRef IntTy, value N, 346e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen value SExt) { 347e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstInt(IntTy, Int64_val(N), Bool_val(SExt)); 348344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen} 349344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 3508ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> float -> llvalue */ 351e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_float(LLVMTypeRef RealTy, value N) { 352e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstReal(RealTy, Double_val(N)); 3538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3558ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on composite constants ..................................--*/ 3568ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 357e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* string -> llvalue */ 358e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_string(value Str, value NullTerminate) { 359e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstString(String_val(Str), string_length(Str), 1); 360e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen} 361e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen 362e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* string -> llvalue */ 363e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_stringz(value Str, value NullTerminate) { 364e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstString(String_val(Str), string_length(Str), 0); 3658ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3668ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3678ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> llvalue array -> llvalue */ 368e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_array(LLVMTypeRef ElementTy, 36946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value ElementVals) { 370e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstArray(ElementTy, (LLVMValueRef*) Op_val(ElementVals), 371e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals)); 372e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen} 373e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen 374e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* llvalue array -> llvalue */ 375e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_struct(value ElementVals) { 376e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstStruct((LLVMValueRef *) Op_val(ElementVals), 377e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals), 0); 3788ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3798ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 380e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* llvalue array -> llvalue */ 381e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_packed_struct(value ElementVals) { 382e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstStruct((LLVMValueRef *) Op_val(ElementVals), 383e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals), 1); 3848ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3858ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3868ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue array -> llvalue */ 387e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_vector(value ElementVals) { 388e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstVector((LLVMValueRef*) Op_val(ElementVals), 389e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals)); 3904647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen} 3914647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 3924647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen/*--... Constant expressions ...............................................--*/ 3934647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 394404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Icmp.t -> llvalue -> llvalue -> llvalue */ 3954647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon HenriksenCAMLprim LLVMValueRef llvm_const_icmp(value Pred, 3964647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef LHSConstant, 3974647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef RHSConstant) { 3984647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen return LLVMConstICmp(Int_val(Pred) + LLVMIntEQ, LHSConstant, RHSConstant); 3994647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen} 4004647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 401404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Fcmp.t -> llvalue -> llvalue -> llvalue */ 4024647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon HenriksenCAMLprim LLVMValueRef llvm_const_fcmp(value Pred, 4034647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef LHSConstant, 4044647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef RHSConstant) { 4054647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen return LLVMConstFCmp(Int_val(Pred), LHSConstant, RHSConstant); 4064647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen} 4074647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 4084647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen/* llvalue -> llvalue array -> llvalue */ 4094647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon HenriksenCAMLprim LLVMValueRef llvm_const_gep(LLVMValueRef ConstantVal, value Indices) { 4104647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen return LLVMConstGEP(ConstantVal, (LLVMValueRef*) Op_val(Indices), 4114647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen Wosize_val(Indices)); 4128ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4148ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on global variables, functions, and aliases (globals) ...--*/ 4158ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4168ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> bool */ 41746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_declaration(LLVMValueRef Global) { 41846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsDeclaration(Global)); 4198ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4208ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 421404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* llvalue -> Linkage.t */ 42246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_linkage(LLVMValueRef Global) { 42346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetLinkage(Global)); 4248ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4258ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 426404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Linkage.t -> llvalue -> unit */ 42746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_linkage(value Linkage, LLVMValueRef Global) { 42846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetLinkage(Global, Int_val(Linkage)); 4298ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 4308ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4318ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4328ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> string */ 43346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_section(LLVMValueRef Global) { 43446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return copy_string(LLVMGetSection(Global)); 4358ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4368ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4378ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llvalue -> unit */ 43846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_section(value Section, LLVMValueRef Global) { 43946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetSection(Global, String_val(Section)); 4408ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 4418ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4428ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 443404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* llvalue -> Visibility.t */ 44446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_visibility(LLVMValueRef Global) { 44546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetVisibility(Global)); 4468ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4478ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 448404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Visibility.t -> llvalue -> unit */ 44946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_visibility(value Viz, LLVMValueRef Global) { 45046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetVisibility(Global, Int_val(Viz)); 4518ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 4528ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> int */ 45546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_alignment(LLVMValueRef Global) { 45646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetAlignment(Global)); 4578ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4588ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4598ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* int -> llvalue -> unit */ 46046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_alignment(value Bytes, LLVMValueRef Global) { 46146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetAlignment(Global, Int_val(Bytes)); 4628ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 4638ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4648ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4658ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on global variables .....................................--*/ 4668ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4678ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> string -> llmodule -> llvalue */ 46846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_declare_global(LLVMTypeRef Ty, value Name, 46946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 4706d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef GlobalVar; 4716d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((GlobalVar = LLVMGetNamedGlobal(M, String_val(Name)))) { 4726d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if (LLVMGetElementType(LLVMTypeOf(GlobalVar)) != Ty) 47357cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen return LLVMConstBitCast(GlobalVar, LLVMPointerType(Ty, 0)); 4746d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen return GlobalVar; 4756d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 47646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMAddGlobal(M, Ty, String_val(Name)); 4778ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4788ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4796d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen/* string -> llmodule -> llvalue option */ 4806d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon HenriksenCAMLprim value llvm_lookup_global(value Name, LLVMModuleRef M) { 4816d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLparam1(Name); 4826d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef GlobalVar; 4836d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((GlobalVar = LLVMGetNamedGlobal(M, String_val(Name)))) { 48475e290f67aa7af3c0be993df4845c0defaf6ffa3Gordon Henriksen value Option = alloc(1, 0); 4856d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen Field(Option, 0) = (value) GlobalVar; 4866d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Option); 4876d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 4886d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Val_int(0)); 4896d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen} 4906d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen 4918ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llvalue -> llmodule -> llvalue */ 49246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_define_global(value Name, LLVMValueRef Initializer, 49346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 49446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef GlobalVar = LLVMAddGlobal(M, LLVMTypeOf(Initializer), 4958ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen String_val(Name)); 4968ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen LLVMSetInitializer(GlobalVar, Initializer); 49746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return GlobalVar; 4988ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4998ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5008ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> unit */ 50146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_global(LLVMValueRef GlobalVar) { 50246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteGlobal(GlobalVar); 5038ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 5048ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5058ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5068ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> llvalue -> unit */ 50746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_initializer(LLVMValueRef ConstantVal, 50846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef GlobalVar) { 50946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetInitializer(GlobalVar, ConstantVal); 5108ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 5118ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5128ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> unit */ 51446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_remove_initializer(LLVMValueRef GlobalVar) { 51546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetInitializer(GlobalVar, NULL); 5168ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 5178ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5188ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5198ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> bool */ 52046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_thread_local(LLVMValueRef GlobalVar) { 52146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsThreadLocal(GlobalVar)); 5228ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 5238ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 5248ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* bool -> llvalue -> unit */ 52546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_thread_local(value IsThreadLocal, 52646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef GlobalVar) { 52746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetThreadLocal(GlobalVar, Bool_val(IsThreadLocal)); 52846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 52946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 53046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 531c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen/* llvalue -> bool */ 532c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon HenriksenCAMLprim value llvm_is_global_constant(LLVMValueRef GlobalVar) { 533c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen return Val_bool(LLVMIsGlobalConstant(GlobalVar)); 534c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen} 535c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen 536c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen/* bool -> llvalue -> unit */ 537c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon HenriksenCAMLprim value llvm_set_global_constant(value Flag, LLVMValueRef GlobalVar) { 538c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen LLVMSetGlobalConstant(GlobalVar, Bool_val(Flag)); 539c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen return Val_unit; 540c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen} 541c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen 54246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Operations on functions ............................................--*/ 54346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 54446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> lltype -> llmodule -> llvalue */ 54546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_declare_function(value Name, LLVMTypeRef Ty, 54646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 5476d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef Fn; 5486d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((Fn = LLVMGetNamedFunction(M, String_val(Name)))) { 5496d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if (LLVMGetElementType(LLVMTypeOf(Fn)) != Ty) 55057cebeec7ba08b55f29f5bf98ad0a3a17e9d0c71Gordon Henriksen return LLVMConstBitCast(Fn, LLVMPointerType(Ty, 0)); 5516d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen return Fn; 5526d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 55346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMAddFunction(M, String_val(Name), Ty); 55446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 55546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 5566d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen/* string -> llmodule -> llvalue option */ 5576d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon HenriksenCAMLprim value llvm_lookup_function(value Name, LLVMModuleRef M) { 5586d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLparam1(Name); 5596d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef Fn; 5606d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((Fn = LLVMGetNamedFunction(M, String_val(Name)))) { 56175e290f67aa7af3c0be993df4845c0defaf6ffa3Gordon Henriksen value Option = alloc(1, 0); 5626d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen Field(Option, 0) = (value) Fn; 5636d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Option); 5646d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 5656d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Val_int(0)); 5666d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen} 5676d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen 56846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> lltype -> llmodule -> llvalue */ 56946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_define_function(value Name, LLVMTypeRef Ty, 57046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 57146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Fn = LLVMAddFunction(M, String_val(Name), Ty); 57246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMAppendBasicBlock(Fn, "entry"); 57346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Fn; 57446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 57546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 57646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> unit */ 57746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_function(LLVMValueRef Fn) { 57846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteFunction(Fn); 57946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 58046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 58146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 58246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> int -> llvalue */ 58346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_param(LLVMValueRef Fn, value Index) { 58446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMGetParam(Fn, Int_val(Index)); 58546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 58646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 58746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> int -> llvalue */ 58846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_params(LLVMValueRef Fn, value Index) { 58946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Params = alloc(LLVMCountParams(Fn), 0); 59046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMGetParams(Fn, (LLVMValueRef *) Op_val(Params)); 59146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Params; 59246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 59346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 59446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> bool */ 59546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_intrinsic(LLVMValueRef Fn) { 59646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMGetIntrinsicID(Fn)); 59746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 59846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 59946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> int */ 60046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_function_call_conv(LLVMValueRef Fn) { 60146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetFunctionCallConv(Fn)); 60246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 60346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 60446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* int -> llvalue -> unit */ 60546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_function_call_conv(value Id, LLVMValueRef Fn) { 60646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetFunctionCallConv(Fn, Int_val(Id)); 60746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 60846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 60946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 61080a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen/* llvalue -> string option */ 61180a75bfae980df96f969f1c05b0c4a80ce975240Gordon HenriksenCAMLprim value llvm_collector(LLVMValueRef Fn) { 61280a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen const char *Collector; 61380a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen CAMLparam0(); 61480a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen CAMLlocal2(Name, Option); 61580a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 61680a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen if ((Collector = LLVMGetCollector(Fn))) { 61780a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen Name = copy_string(Collector); 61880a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 61980a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen Option = alloc(1, 0); 62080a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen Field(Option, 0) = Name; 62180a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen CAMLreturn(Option); 62280a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen } else { 62380a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen CAMLreturn(Val_int(0)); 62480a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen } 62580a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 62680a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 62780a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen/* string option -> llvalue -> unit */ 62880a75bfae980df96f969f1c05b0c4a80ce975240Gordon HenriksenCAMLprim value llvm_set_collector(value GC, LLVMValueRef Fn) { 62980a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen LLVMSetCollector(Fn, GC == Val_int(0)? 0 : String_val(Field(GC, 0))); 63080a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen return Val_unit; 63180a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 63280a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 63346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Operations on basic blocks .........................................--*/ 63446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 63546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbasicblock array */ 63646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_basic_blocks(LLVMValueRef Fn) { 63746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value MLArray = alloc(LLVMCountBasicBlocks(Fn), 0); 63846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMGetBasicBlocks(Fn, (LLVMBasicBlockRef *) Op_val(MLArray)); 63946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return MLArray; 64046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 64146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 64246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbasicblock -> unit */ 64346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_block(LLVMBasicBlockRef BB) { 64446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteBasicBlock(BB); 64546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 64646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 64746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 64846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> llvalue -> llbasicblock */ 64946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMBasicBlockRef llvm_append_block(value Name, LLVMValueRef Fn) { 65046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMAppendBasicBlock(Fn, String_val(Name)); 65146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 65246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 65346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> llbasicblock -> llbasicblock */ 65446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMBasicBlockRef llvm_insert_block(value Name, LLVMBasicBlockRef BB) { 65546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMInsertBasicBlock(BB, String_val(Name)); 65646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 65746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 65846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> bool */ 65946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_value_is_block(LLVMValueRef Val) { 66046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMValueIsBasicBlock(Val)); 66146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 66246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 663cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen/*--... Operations on call sites ...........................................--*/ 664cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen 665cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen/* llvalue -> int */ 666cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon HenriksenCAMLprim value llvm_instruction_call_conv(LLVMValueRef Inst) { 667cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen return Val_int(LLVMGetInstructionCallConv(Inst)); 668cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen} 669cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen 670cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen/* int -> llvalue -> unit */ 671cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon HenriksenCAMLprim value llvm_set_instruction_call_conv(value CC, LLVMValueRef Inst) { 672cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen LLVMSetInstructionCallConv(Inst, Int_val(CC)); 673cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen return Val_unit; 674cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen} 675cc0928ff22d9f3e8f2930874f6727db8c700ec35Gordon Henriksen 6762618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/*--... Operations on phi nodes ............................................--*/ 6772618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 6782618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/* (llvalue * llbasicblock) -> llvalue -> unit */ 6792618a6c1122d5d2007787fb56156be44b21ab32aGordon HenriksenCAMLprim value llvm_add_incoming(value Incoming, LLVMValueRef PhiNode) { 6802618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen LLVMAddIncoming(PhiNode, 6812618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen (LLVMValueRef*) &Field(Incoming, 0), 6822618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen (LLVMBasicBlockRef*) &Field(Incoming, 1), 6832618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 1); 6842618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen return Val_unit; 6852618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen} 6862618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 6872618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/* llvalue -> (llvalue * llbasicblock) list */ 6882618a6c1122d5d2007787fb56156be44b21ab32aGordon HenriksenCAMLprim value llvm_incoming(LLVMValueRef PhiNode) { 6892618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen unsigned I; 6902618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen CAMLparam0(); 6912618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen CAMLlocal3(Hd, Tl, Tmp); 6922618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 6932618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen /* Build a tuple list of them. */ 6942618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Tl = Val_int(0); 6952618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen for (I = LLVMCountIncoming(PhiNode); I != 0; ) { 6962618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Hd = alloc(2, 0); 6972618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Hd, 0, (value) LLVMGetIncomingValue(PhiNode, --I)); 6982618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Hd, 1, (value) LLVMGetIncomingBlock(PhiNode, I)); 6992618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 7002618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Tmp = alloc(2, 0); 7012618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Tmp, 0, Hd); 7022618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Tmp, 1, Tl); 7032618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Tl = Tmp; 7042618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen } 7052618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 7062618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen CAMLreturn(Tl); 7072618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen} 7082618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 70946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 71046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*===-- Instruction builders ----------------------------------------------===*/ 71146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 71246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen#define Builder_val(v) (*(LLVMBuilderRef *)(Data_custom_val(v))) 71346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 714a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksenstatic void llvm_finalize_builder(value B) { 71546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDisposeBuilder(Builder_val(B)); 71646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 71746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 71846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksenstatic struct custom_operations builder_ops = { 71946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen (char *) "LLVMBuilder", 72046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen llvm_finalize_builder, 72146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_compare_default, 72246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_hash_default, 72346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_serialize_default, 72446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_deserialize_default 72546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen}; 72646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 727a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksenstatic value alloc_builder(LLVMBuilderRef B) { 728a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen value V = alloc_custom(&builder_ops, sizeof(LLVMBuilderRef), 0, 1); 729a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen Builder_val(V) = B; 730a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen return V; 731a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen} 732a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen 733a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen/* unit-> llbuilder */ 734a09a89983bf51aa70d3067282e4817ec3057eb51Gordon HenriksenCAMLprim value llvm_builder(value Unit) { 735a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen return alloc_builder(LLVMCreateBuilder()); 736a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen} 737a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen 73846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbuilder */ 73946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_builder_before(LLVMValueRef Inst) { 74046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBuilderRef B = LLVMCreateBuilder(); 74146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMPositionBuilderBefore(B, Inst); 742a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen return alloc_builder(B); 74346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 74446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 74546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbasicblock -> llbuilder */ 74646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_builder_at_end(LLVMBasicBlockRef BB) { 74746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBuilderRef B = LLVMCreateBuilder(); 74846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMPositionBuilderAtEnd(B, BB); 749a09a89983bf51aa70d3067282e4817ec3057eb51Gordon Henriksen return alloc_builder(B); 75046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 75146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 75246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbuilder -> unit */ 75346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_position_before(LLVMValueRef Inst, value B) { 75446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMPositionBuilderBefore(Builder_val(B), Inst); 75546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 75646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 75746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 75846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbasicblock -> llbuilder -> unit */ 75946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_position_at_end(LLVMBasicBlockRef BB, value B) { 76046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMPositionBuilderAtEnd(Builder_val(B), BB); 7618ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 7628ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 76346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 764dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen/* llbuilder -> llbasicblock */ 765dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon HenriksenCAMLprim LLVMBasicBlockRef llvm_insertion_block(LLVMBuilderRef B) { 766dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen LLVMBasicBlockRef InsertBlock = LLVMGetInsertBlock(Builder_val(B)); 767dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen if (!InsertBlock) 768dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen raise_not_found(); 769dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen return InsertBlock; 770dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen} 771dc1ce7bdc6e32e7a4c4a110caa32834730183c1bGordon Henriksen 77246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Terminators ........................................................--*/ 77346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 77446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbuilder -> llvalue */ 77546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_ret_void(value B) { 77646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildRetVoid(Builder_val(B)); 77746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 77846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 77946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbuilder -> llvalue */ 78046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_ret(LLVMValueRef Val, value B) { 78146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildRet(Builder_val(B), Val); 78246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 78346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 78446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbasicblock -> llbuilder -> llvalue */ 78546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_br(LLVMBasicBlockRef BB, value B) { 78646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildBr(Builder_val(B), BB); 78746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 78846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 78946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbasicblock -> llbasicblock -> llbuilder -> llvalue */ 79046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_cond_br(LLVMValueRef If, 79146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Then, 79246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Else, 79346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value B) { 79446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildCondBr(Builder_val(B), If, Then, Else); 79546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 79646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 79746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbasicblock -> int -> llbuilder -> llvalue */ 79846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_switch(LLVMValueRef Of, 79946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Else, 80046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value EstimatedCount, 80146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value B) { 80246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSwitch(Builder_val(B), Of, Else, Int_val(EstimatedCount)); 80346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 80446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 80546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> llbasicblock -> llbasicblock -> string -> 80646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen llbuilder -> llvalue */ 80746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_invoke_nat(LLVMValueRef Fn, value Args, 80846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Then, 80946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Catch, 81046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 81146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildInvoke(Builder_val(B), Fn, (LLVMValueRef *) Op_val(Args), 81246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen Wosize_val(Args), Then, Catch, String_val(Name)); 81346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 81446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 81546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> llbasicblock -> llbasicblock -> string -> 81646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen llbuilder -> llvalue */ 81746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_invoke_bc(value Args[], int NumArgs) { 81846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return llvm_build_invoke_nat((LLVMValueRef) Args[0], Args[1], 81946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen (LLVMBasicBlockRef) Args[2], 82046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen (LLVMBasicBlockRef) Args[3], 82146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen Args[4], Args[5]); 82246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 82346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 82446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbuilder -> llvalue */ 82546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_unwind(value B) { 82646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUnwind(Builder_val(B)); 82746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 82846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 82946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbuilder -> llvalue */ 83046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_unreachable(value B) { 83146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUnreachable(Builder_val(B)); 83246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 83346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 83446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Arithmetic .........................................................--*/ 83546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 83646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 83746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_add(LLVMValueRef LHS, LLVMValueRef RHS, 83846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 83946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAdd(Builder_val(B), LHS, RHS, String_val(Name)); 84046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 84146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 84246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 84346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sub(LLVMValueRef LHS, LLVMValueRef RHS, 84446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 84546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSub(Builder_val(B), LHS, RHS, String_val(Name)); 84646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 84746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 84846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 84946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_mul(LLVMValueRef LHS, LLVMValueRef RHS, 85046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 85146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildMul(Builder_val(B), LHS, RHS, String_val(Name)); 85246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 85346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 85446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 85546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_udiv(LLVMValueRef LHS, LLVMValueRef RHS, 85646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 85746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUDiv(Builder_val(B), LHS, RHS, String_val(Name)); 85846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 85946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 86046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 86146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sdiv(LLVMValueRef LHS, LLVMValueRef RHS, 86246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 86346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSDiv(Builder_val(B), LHS, RHS, String_val(Name)); 86446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 86546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 86646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 86746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fdiv(LLVMValueRef LHS, LLVMValueRef RHS, 86846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 86946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFDiv(Builder_val(B), LHS, RHS, String_val(Name)); 87046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 87146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 87246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 87346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_urem(LLVMValueRef LHS, LLVMValueRef RHS, 87446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 87546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildURem(Builder_val(B), LHS, RHS, String_val(Name)); 87646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 87746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 87846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 87946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_srem(LLVMValueRef LHS, LLVMValueRef RHS, 88046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 88146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSRem(Builder_val(B), LHS, RHS, String_val(Name)); 88246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 88346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 88446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 88546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_frem(LLVMValueRef LHS, LLVMValueRef RHS, 88646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 88746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFRem(Builder_val(B), LHS, RHS, String_val(Name)); 88846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 88946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 89046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 89146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_shl(LLVMValueRef LHS, LLVMValueRef RHS, 89246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 89346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildShl(Builder_val(B), LHS, RHS, String_val(Name)); 89446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 89546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 89646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 89746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_lshr(LLVMValueRef LHS, LLVMValueRef RHS, 89846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 89946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildLShr(Builder_val(B), LHS, RHS, String_val(Name)); 90046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 90146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 90246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 90346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_ashr(LLVMValueRef LHS, LLVMValueRef RHS, 90446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 90546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAShr(Builder_val(B), LHS, RHS, String_val(Name)); 90646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 90746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 90846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 90946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_and(LLVMValueRef LHS, LLVMValueRef RHS, 91046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 91146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAnd(Builder_val(B), LHS, RHS, String_val(Name)); 91246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 91346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 91446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 91546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_or(LLVMValueRef LHS, LLVMValueRef RHS, 91646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 91746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildOr(Builder_val(B), LHS, RHS, String_val(Name)); 91846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 91946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 92046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 92146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_xor(LLVMValueRef LHS, LLVMValueRef RHS, 92246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 92346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildXor(Builder_val(B), LHS, RHS, String_val(Name)); 92446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 92546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 92646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> string -> llbuilder -> llvalue */ 92746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_neg(LLVMValueRef X, 92846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 92946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildNeg(Builder_val(B), X, String_val(Name)); 93046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 93146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 93246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> string -> llbuilder -> llvalue */ 93346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_not(LLVMValueRef X, 93446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 93546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildNot(Builder_val(B), X, String_val(Name)); 93646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 93746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 93846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Memory .............................................................--*/ 93946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 94046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> string -> llbuilder -> llvalue */ 94146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_malloc(LLVMTypeRef Ty, 94246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 94346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildMalloc(Builder_val(B), Ty, String_val(Name)); 94446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 94546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 94646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> llvalue -> string -> llbuilder -> llvalue */ 94746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_array_malloc(LLVMTypeRef Ty, LLVMValueRef Size, 94846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 94946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildArrayMalloc(Builder_val(B), Ty, Size, String_val(Name)); 95046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 95146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 95246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> string -> llbuilder -> llvalue */ 95346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_alloca(LLVMTypeRef Ty, 95446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 95546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAlloca(Builder_val(B), Ty, String_val(Name)); 95646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 95746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 95846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> llvalue -> string -> llbuilder -> llvalue */ 95946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_array_alloca(LLVMTypeRef Ty, LLVMValueRef Size, 96046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 96146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildArrayAlloca(Builder_val(B), Ty, Size, String_val(Name)); 96246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 96346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 96446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbuilder -> llvalue */ 96546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_free(LLVMValueRef Pointer, value B) { 96646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFree(Builder_val(B), Pointer); 96746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 96846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 96946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> string -> llbuilder -> llvalue */ 97046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_load(LLVMValueRef Pointer, 97146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 97246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildLoad(Builder_val(B), Pointer, String_val(Name)); 97346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 97446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 97546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llbuilder -> llvalue */ 97646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_store(LLVMValueRef Value, LLVMValueRef Pointer, 97746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value B) { 97846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildStore(Builder_val(B), Value, Pointer); 97946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 98046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 98146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> string -> llbuilder -> llvalue */ 98246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_gep(LLVMValueRef Pointer, value Indices, 98346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 98446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildGEP(Builder_val(B), Pointer, 98546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen (LLVMValueRef *) Op_val(Indices), Wosize_val(Indices), 98646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 98746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 98846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 98946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Casts ..............................................................--*/ 99046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 99146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 99246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_trunc(LLVMValueRef X, LLVMTypeRef Ty, 99346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 99446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildTrunc(Builder_val(B), X, Ty, String_val(Name)); 99546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 99646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 99746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 99846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_zext(LLVMValueRef X, LLVMTypeRef Ty, 99946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 100046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildZExt(Builder_val(B), X, Ty, String_val(Name)); 100146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 100246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 100346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 100446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sext(LLVMValueRef X, LLVMTypeRef Ty, 100546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 100646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSExt(Builder_val(B), X, Ty, String_val(Name)); 100746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 100846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 100946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 101046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fptoui(LLVMValueRef X, LLVMTypeRef Ty, 101146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 101246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPToUI(Builder_val(B), X, Ty, String_val(Name)); 101346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 101446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 101546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 101646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fptosi(LLVMValueRef X, LLVMTypeRef Ty, 101746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 101846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPToSI(Builder_val(B), X, Ty, String_val(Name)); 101946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 102046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 102146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 102246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_uitofp(LLVMValueRef X, LLVMTypeRef Ty, 102346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 102446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUIToFP(Builder_val(B), X, Ty, String_val(Name)); 102546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 102646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 102746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 102846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sitofp(LLVMValueRef X, LLVMTypeRef Ty, 102946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 103046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSIToFP(Builder_val(B), X, Ty, String_val(Name)); 103146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 103246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 103346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 103446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fptrunc(LLVMValueRef X, LLVMTypeRef Ty, 103546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 103646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPTrunc(Builder_val(B), X, Ty, String_val(Name)); 103746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 103846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 103946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 104046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fpext(LLVMValueRef X, LLVMTypeRef Ty, 104146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 104246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPExt(Builder_val(B), X, Ty, String_val(Name)); 104346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 104446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 104546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 104646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_prttoint(LLVMValueRef X, LLVMTypeRef Ty, 104746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 104846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildPtrToInt(Builder_val(B), X, Ty, String_val(Name)); 104946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 105046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 105146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 105246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_inttoptr(LLVMValueRef X, LLVMTypeRef Ty, 105346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 105446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildIntToPtr(Builder_val(B), X, Ty, String_val(Name)); 105546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 105646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 105746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 105846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_bitcast(LLVMValueRef X, LLVMTypeRef Ty, 105946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 106046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildBitCast(Builder_val(B), X, Ty, String_val(Name)); 106146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 106246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 106346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Comparisons ........................................................--*/ 106446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 1065404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Icmp.t -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 106646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_icmp(value Pred, 106746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef LHS, LLVMValueRef RHS, 106846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 106946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildICmp(Builder_val(B), Int_val(Pred) + LLVMIntEQ, LHS, RHS, 107046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 107146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 107246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 1073404a1942e43ca967700cc2608eb97b863add2677Gordon Henriksen/* Fcmp.t -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 107446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fcmp(value Pred, 107546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef LHS, LLVMValueRef RHS, 107646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 107746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFCmp(Builder_val(B), Int_val(Pred), LHS, RHS, 107846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 107946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 108046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 108146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Miscellaneous instructions .........................................--*/ 108246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 10832618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/* (llvalue * llbasicblock) list -> string -> llbuilder -> llvalue */ 10842618a6c1122d5d2007787fb56156be44b21ab32aGordon HenriksenCAMLprim LLVMValueRef llvm_build_phi(value Incoming, value Name, value B) { 10852618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen value Hd, Tl; 10862618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen LLVMValueRef FirstValue, PhiNode; 10872618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 10882618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen assert(Incoming != Val_int(0) && "Empty list passed to Llvm.build_phi!"); 10892618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 10902618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Hd = Field(Incoming, 0); 10912618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen FirstValue = (LLVMValueRef) Field(Hd, 0); 10922618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen PhiNode = LLVMBuildPhi(Builder_val(B), LLVMTypeOf(FirstValue), 10932618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen String_val(Name)); 10942618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 10952618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen for (Tl = Incoming; Tl != Val_int(0); Tl = Field(Tl, 1)) { 10962618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen value Hd = Field(Tl, 0); 10972618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen LLVMAddIncoming(PhiNode, (LLVMValueRef*) &Field(Hd, 0), 10982618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen (LLVMBasicBlockRef*) &Field(Hd, 1), 1); 10992618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen } 11002618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 11012618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen return PhiNode; 110246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 110346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 110446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> string -> llbuilder -> llvalue */ 110546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_call(LLVMValueRef Fn, value Params, 110646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 110746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildCall(Builder_val(B), Fn, (LLVMValueRef *) Op_val(Params), 110846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen Wosize_val(Params), String_val(Name)); 110946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 111046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 111146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 111246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_select(LLVMValueRef If, 111346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Then, LLVMValueRef Else, 111446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 111546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSelect(Builder_val(B), If, Then, Else, String_val(Name)); 111646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 111746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 111846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 111946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_va_arg(LLVMValueRef List, LLVMTypeRef Ty, 112046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 112146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildVAArg(Builder_val(B), List, Ty, String_val(Name)); 112246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 112346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 112446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 112546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_extractelement(LLVMValueRef Vec, 112646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Idx, 112746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 112846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildExtractElement(Builder_val(B), Vec, Idx, String_val(Name)); 112946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 113046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 113146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 113246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_insertelement(LLVMValueRef Vec, 113346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Element, 113446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Idx, 113546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 113646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildInsertElement(Builder_val(B), Vec, Element, Idx, 113746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 113846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 113946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 114046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 114146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_shufflevector(LLVMValueRef V1, LLVMValueRef V2, 114246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Mask, 114346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 114446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildShuffleVector(Builder_val(B), V1, V2, Mask, String_val(Name)); 114546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 114646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 11471ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen 11481ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen/*===-- Module Providers --------------------------------------------------===*/ 11491ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen 11501ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen/* llmoduleprovider -> unit */ 11511ae6135fa37eb061499d079b9b33dc82dcc1283fGordon HenriksenCAMLprim value llvm_dispose_module_provider(LLVMModuleProviderRef MP) { 11521ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen LLVMDisposeModuleProvider(MP); 11531ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen return Val_unit; 11541ae6135fa37eb061499d079b9b33dc82dcc1283fGordon Henriksen} 1155da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1156da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1157da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen/*===-- Memory buffers ----------------------------------------------------===*/ 1158da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1159da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen/* string -> llmemorybuffer 1160da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen raises IoError msg on error */ 1161da1435f86ebc9886dd7704294e01d192d79e069cGordon HenriksenCAMLprim value llvm_memorybuffer_of_file(value Path) { 1162da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen CAMLparam1(Path); 1163da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen char *Message; 1164da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen LLVMMemoryBufferRef MemBuf; 1165da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1166da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen if (LLVMCreateMemoryBufferWithContentsOfFile(String_val(Path), 1167da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen &MemBuf, &Message)) 1168da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen llvm_raise(llvm_ioerror_exn, Message); 1169da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1170da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen CAMLreturn((value) MemBuf); 1171da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen} 1172da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1173da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen/* unit -> llmemorybuffer 1174da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen raises IoError msg on error */ 1175da1435f86ebc9886dd7704294e01d192d79e069cGordon HenriksenCAMLprim LLVMMemoryBufferRef llvm_memorybuffer_of_stdin(value Unit) { 1176da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen char *Message; 1177da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen LLVMMemoryBufferRef MemBuf; 1178da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1179da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen if (LLVMCreateMemoryBufferWithSTDIN(&MemBuf, &Message)) 1180da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen llvm_raise(llvm_ioerror_exn, Message); 1181da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1182da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen return MemBuf; 1183da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen} 1184da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1185da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen/* llmemorybuffer -> unit */ 1186da1435f86ebc9886dd7704294e01d192d79e069cGordon HenriksenCAMLprim value llvm_memorybuffer_dispose(LLVMMemoryBufferRef MemBuf) { 1187da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen LLVMDisposeMemoryBuffer(MemBuf); 1188da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen return Val_unit; 1189da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen} 1190da1435f86ebc9886dd7704294e01d192d79e069cGordon Henriksen 1191d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/*===-- Pass Managers -----------------------------------------------------===*/ 1192d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1193d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* unit -> [ `Module ] PassManager.t */ 1194d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim LLVMPassManagerRef llvm_passmanager_create(value Unit) { 1195d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return LLVMCreatePassManager(); 1196d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1197d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1198d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* llmodule -> [ `Function ] PassManager.t -> bool */ 1199d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim value llvm_passmanager_run_module(LLVMModuleRef M, 1200d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen LLVMPassManagerRef PM) { 1201d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return Val_bool(LLVMRunPassManager(PM, M)); 1202d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1203d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1204d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* [ `Function ] PassManager.t -> bool */ 1205d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim value llvm_passmanager_initialize(LLVMPassManagerRef FPM) { 1206d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return Val_bool(LLVMInitializeFunctionPassManager(FPM)); 1207d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1208d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1209d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* llvalue -> [ `Function ] PassManager.t -> bool */ 1210d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim value llvm_passmanager_run_function(LLVMValueRef F, 1211d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen LLVMPassManagerRef FPM) { 1212d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return Val_bool(LLVMRunFunctionPassManager(FPM, F)); 1213d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1214d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1215d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* [ `Function ] PassManager.t -> bool */ 1216d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim value llvm_passmanager_finalize(LLVMPassManagerRef FPM) { 1217d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return Val_bool(LLVMFinalizeFunctionPassManager(FPM)); 1218d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1219d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen 1220d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen/* PassManager.any PassManager.t -> unit */ 1221d78c0f5a7255e4347cbd82f7435c51401096652cGordon HenriksenCAMLprim value llvm_passmanager_dispose(LLVMPassManagerRef PM) { 1222d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen LLVMDisposePassManager(PM); 1223d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen return Val_unit; 1224d78c0f5a7255e4347cbd82f7435c51401096652cGordon Henriksen} 1225