llvm_ocaml.c revision 2618a6c1122d5d2007787fb56156be44b21ab32a
18ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*===-- llvm_ocaml.h - LLVM Ocaml Glue --------------------------*- C++ -*-===*\ 28ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* *| 38ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* The LLVM Compiler Infrastructure *| 48ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* *| 58ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* This file was developed by Gordon Henriksen and is distributed under the *| 68ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen|* University of Illinois Open Source 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/mlvalues.h" 228ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen#include "caml/memory.h" 236d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen#include "llvm/Config/config.h" 242618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen#include <assert.h> 258ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 268ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 278ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*===-- Modules -----------------------------------------------------------===*/ 288ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 298ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llmodule */ 3046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMModuleRef llvm_create_module(value ModuleID) { 3146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMModuleCreateWithName(String_val(ModuleID)); 328ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 338ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 348ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llmodule -> unit */ 3546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_dispose_module(LLVMModuleRef M) { 3646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDisposeModule(M); 378ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 388ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 398ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 408ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> lltype -> llmodule -> bool */ 4146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_add_type_name(value Name, LLVMTypeRef Ty, LLVMModuleRef M) { 4246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen int res = LLVMAddTypeName(M, String_val(Name), Ty); 438ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_bool(res == 0); 448ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 458ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> llmodule -> unit */ 4746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_type_name(value Name, LLVMModuleRef M) { 4846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteTypeName(M, String_val(Name)); 4946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 5046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 5146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 528ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*===-- Types -------------------------------------------------------------===*/ 548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 558ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> type_kind */ 5646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_classify_type(LLVMTypeRef Ty) { 5746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetTypeKind(Ty)); 588ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 598ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 608ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> lltype -> unit */ 6146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_refine_abstract_type(LLVMTypeRef ConcreteTy, 6246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMTypeRef AbstractTy) { 6346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMRefineAbstractType(AbstractTy, ConcreteTy); 6446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 658ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 668ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 678ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on integer types ........................................--*/ 688ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 698ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 7046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i1_type (value Unit) { return LLVMInt1Type(); } 7146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i8_type (value Unit) { return LLVMInt8Type(); } 7246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i16_type(value Unit) { return LLVMInt16Type(); } 7346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i32_type(value Unit) { return LLVMInt32Type(); } 7446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_i64_type(value Unit) { return LLVMInt64Type(); } 758ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 768ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* int -> lltype */ 77957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_integer_type(value Width) { 7881a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMIntType(Int_val(Width)); 798ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 808ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 818ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int */ 8246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_integer_bitwidth(LLVMTypeRef IntegerTy) { 8346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetIntTypeWidth(IntegerTy)); 848ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 858ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 868ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on real types ...........................................--*/ 878ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 888ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 8946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_float_type(value Unit) { 9046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMFloatType(); 918ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 928ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 938ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 9446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_double_type(value Unit) { 9546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMDoubleType(); 968ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 978ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 988ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 9946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_x86fp80_type(value Unit) { 10046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMX86FP80Type(); 1018ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1028ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1038ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 10446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_fp128_type(value Unit) { 10546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMFP128Type(); 1068ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1078ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1088ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 10946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_ppc_fp128_type(value Unit) { 11046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMPPCFP128Type(); 1118ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1128ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on function types .......................................--*/ 1148ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 115957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype -> lltype array -> lltype */ 116957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_function_type(LLVMTypeRef RetTy, value ParamTys) { 11781a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMFunctionType(RetTy, (LLVMTypeRef *) ParamTys, 118957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ParamTys), 0); 119957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen} 120957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen 121957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype -> lltype array -> lltype */ 122957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_var_arg_function_type(LLVMTypeRef RetTy, 123957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen value ParamTys) { 124957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen return LLVMFunctionType(RetTy, (LLVMTypeRef *) ParamTys, 125957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ParamTys), 1); 1268ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1278ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1288ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> bool */ 12946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_var_arg(LLVMTypeRef FunTy) { 13046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsFunctionVarArg(FunTy)); 1318ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1328ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1338ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> lltype array */ 13446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_param_types(LLVMTypeRef FunTy) { 13546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Tys = alloc(LLVMCountParamTypes(FunTy), 0); 13646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMGetParamTypes(FunTy, (LLVMTypeRef *) Tys); 13746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Tys; 1388ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1398ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1408ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on struct types .........................................--*/ 1418ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 142957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype array -> lltype */ 143957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_struct_type(value ElementTypes) { 144957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen return LLVMStructType((LLVMTypeRef *) ElementTypes, 145957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ElementTypes), 0); 146957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen} 147957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen 148957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen/* lltype array -> lltype */ 149957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_packed_struct_type(value ElementTypes) { 15081a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMStructType((LLVMTypeRef *) ElementTypes, 151957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon Henriksen Wosize_val(ElementTypes), 1); 1528ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> lltype array */ 15546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_element_types(LLVMTypeRef StructTy) { 15646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Tys = alloc(LLVMCountStructElementTypes(StructTy), 0); 15746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMGetStructElementTypes(StructTy, (LLVMTypeRef *) Tys); 15846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Tys; 1598ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1608ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 16146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> bool */ 16246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_packed(LLVMTypeRef StructTy) { 16346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsPackedStruct(StructTy)); 1648ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1658ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1668ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on array, pointer, and vector types .....................--*/ 1678ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1688ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int -> lltype */ 169957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_array_type(LLVMTypeRef ElementTy, value Count) { 17081a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMArrayType(ElementTy, Int_val(Count)); 1718ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1728ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1738ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int -> lltype */ 174957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_vector_type(LLVMTypeRef ElementTy, value Count) { 17581a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMVectorType(ElementTy, Int_val(Count)); 1768ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1778ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1788ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int */ 17946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_array_length(LLVMTypeRef ArrayTy) { 18046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetArrayLength(ArrayTy)); 1818ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1828ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1838ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> int */ 18446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_vector_size(LLVMTypeRef VectorTy) { 18546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetVectorSize(VectorTy)); 1868ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1878ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1888ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on other types ..........................................--*/ 1898ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1908ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 19146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_void_type (value Unit) { return LLVMVoidType(); } 19246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_label_type(value Unit) { return LLVMLabelType(); } 1938ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1948ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* unit -> lltype */ 195957f9fe1cce0957bcde4a1093da83e17aaec6764Gordon HenriksenCAMLprim LLVMTypeRef llvm_opaque_type(value Unit) { 19681a788176ecf158432af2b208b0a85321e5ec74aGordon Henriksen return LLVMOpaqueType(); 1978ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 1988ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1991cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen/*--... Operations on type handles .........................................--*/ 2001cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2011cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen#define Typehandle_val(v) (*(LLVMTypeHandleRef *)(Data_custom_val(v))) 2021cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2031cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksenvoid llvm_finalize_handle(value TH) { 2041cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen LLVMDisposeTypeHandle(Typehandle_val(TH)); 2051cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 2061cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2071cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksenstatic struct custom_operations typehandle_ops = { 2081cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen (char *) "LLVMTypeHandle", 2091cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen llvm_finalize_handle, 2101cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_compare_default, 2111cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_hash_default, 2121cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_serialize_default, 2131cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen custom_deserialize_default 2141cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen}; 2151cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2161cf08fddc7413076dedad58dbb8d8d67e69a490fGordon HenriksenCAMLprim value llvm_handle_to_type(LLVMTypeRef PATy) { 2171cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen value TH = alloc_custom(&typehandle_ops, sizeof(LLVMBuilderRef), 0, 1); 2181cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen Typehandle_val(TH) = LLVMCreateTypeHandle(PATy); 2191cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen return TH; 2201cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 2211cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2221cf08fddc7413076dedad58dbb8d8d67e69a490fGordon HenriksenCAMLprim LLVMTypeRef llvm_type_of_handle(value TH) { 2231cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen return LLVMResolveTypeHandle(Typehandle_val(TH)); 2241cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 2251cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2261cf08fddc7413076dedad58dbb8d8d67e69a490fGordon HenriksenCAMLprim value llvm_refine_type(LLVMTypeRef AbstractTy, LLVMTypeRef ConcreteTy){ 2271cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen LLVMRefineAbstractType(AbstractTy, ConcreteTy); 2281cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen return Val_unit; 2291cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen} 2301cf08fddc7413076dedad58dbb8d8d67e69a490fGordon Henriksen 2318ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2328ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*===-- VALUES ------------------------------------------------------------===*/ 2338ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2348ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> lltype */ 23546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMTypeRef llvm_type_of(LLVMValueRef Val) { 23646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMTypeOf(Val); 2378ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2388ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2398ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> string */ 24046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_value_name(LLVMValueRef Val) { 24146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return copy_string(LLVMGetValueName(Val)); 2428ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2438ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2448ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llvalue -> unit */ 24546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_value_name(value Name, LLVMValueRef Val) { 24646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetValueName(Val, String_val(Name)); 2478ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 2488ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2498ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 25088cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen/* llvalue -> unit */ 25188cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon HenriksenCAMLprim value llvm_dump_value(LLVMValueRef Val) { 25288cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen LLVMDumpValue(Val); 25388cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen return Val_unit; 25488cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen} 25588cc699942f7f972ef9bc3afa1df0a44d059e1d8Gordon Henriksen 2568ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on constants of (mostly) any type .......................--*/ 2578ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2588ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> bool */ 25946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_constant(LLVMValueRef Val) { 26046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsConstant(Val)); 261344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen} 262344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 263344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen/* llvalue -> bool */ 26446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_null(LLVMValueRef Val) { 26546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsNull(Val)); 2668ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2678ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 268344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen/* llvalue -> bool */ 26946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_undef(LLVMValueRef Val) { 27046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsUndef(Val)); 271344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen} 272344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 2738ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on scalar constants .....................................--*/ 2748ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 275e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* lltype -> int -> llvalue */ 276e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_int(LLVMTypeRef IntTy, value N) { 277e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstInt(IntTy, (long long) Int_val(N), 1); 2788ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2798ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 280344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen/* lltype -> Int64.t -> bool -> llvalue */ 281e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_of_int64(LLVMTypeRef IntTy, value N, 282e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen value SExt) { 283e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstInt(IntTy, Int64_val(N), Bool_val(SExt)); 284344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen} 285344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 2868ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> float -> llvalue */ 287e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_float(LLVMTypeRef RealTy, value N) { 288e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstReal(RealTy, Double_val(N)); 2898ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 2908ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2918ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on composite constants ..................................--*/ 2928ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 293e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* string -> llvalue */ 294e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_string(value Str, value NullTerminate) { 295e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstString(String_val(Str), string_length(Str), 1); 296e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen} 297e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen 298e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* string -> llvalue */ 299e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_stringz(value Str, value NullTerminate) { 300e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstString(String_val(Str), string_length(Str), 0); 3018ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3028ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3038ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> llvalue array -> llvalue */ 304e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_array(LLVMTypeRef ElementTy, 30546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value ElementVals) { 306e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstArray(ElementTy, (LLVMValueRef*) Op_val(ElementVals), 307e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals)); 308e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen} 309e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen 310e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* llvalue array -> llvalue */ 311e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_struct(value ElementVals) { 312e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstStruct((LLVMValueRef *) Op_val(ElementVals), 313e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals), 0); 3148ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3158ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 316e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen/* llvalue array -> llvalue */ 317e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_packed_struct(value ElementVals) { 318e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstStruct((LLVMValueRef *) Op_val(ElementVals), 319e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals), 1); 3208ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3218ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3228ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue array -> llvalue */ 323e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon HenriksenCAMLprim LLVMValueRef llvm_const_vector(value ElementVals) { 324e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen return LLVMConstVector((LLVMValueRef*) Op_val(ElementVals), 325e3b989d4a4ba47f77d5d38c35ff17e9673d9f87bGordon Henriksen Wosize_val(ElementVals)); 3264647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen} 3274647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 3284647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen/*--... Constant expressions ...............................................--*/ 3294647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 3304647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen/* int_predicate -> llvalue -> llvalue -> llvalue */ 3314647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon HenriksenCAMLprim LLVMValueRef llvm_const_icmp(value Pred, 3324647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef LHSConstant, 3334647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef RHSConstant) { 3344647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen return LLVMConstICmp(Int_val(Pred) + LLVMIntEQ, LHSConstant, RHSConstant); 3354647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen} 3364647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 3374647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen/* real_predicate -> llvalue -> llvalue -> llvalue */ 3384647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon HenriksenCAMLprim LLVMValueRef llvm_const_fcmp(value Pred, 3394647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef LHSConstant, 3404647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen LLVMValueRef RHSConstant) { 3414647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen return LLVMConstFCmp(Int_val(Pred), LHSConstant, RHSConstant); 3424647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen} 3434647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen 3444647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen/* llvalue -> llvalue array -> llvalue */ 3454647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon HenriksenCAMLprim LLVMValueRef llvm_const_gep(LLVMValueRef ConstantVal, value Indices) { 3464647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen return LLVMConstGEP(ConstantVal, (LLVMValueRef*) Op_val(Indices), 3474647569fe7706e76135a08ca0e5f90a447ccc5b4Gordon Henriksen Wosize_val(Indices)); 3488ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3498ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3508ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on global variables, functions, and aliases (globals) ...--*/ 3518ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3528ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> bool */ 35346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_declaration(LLVMValueRef Global) { 35446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsDeclaration(Global)); 3558ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3568ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3578ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> linkage */ 35846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_linkage(LLVMValueRef Global) { 35946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetLinkage(Global)); 3608ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3618ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3628ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* linkage -> llvalue -> unit */ 36346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_linkage(value Linkage, LLVMValueRef Global) { 36446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetLinkage(Global, Int_val(Linkage)); 3658ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 3668ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3678ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3688ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> string */ 36946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_section(LLVMValueRef Global) { 37046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return copy_string(LLVMGetSection(Global)); 3718ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3728ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3738ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llvalue -> unit */ 37446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_section(value Section, LLVMValueRef Global) { 37546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetSection(Global, String_val(Section)); 3768ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 3778ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3788ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3798ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> visibility */ 38046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_visibility(LLVMValueRef Global) { 38146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetVisibility(Global)); 3828ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3838ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3848ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* visibility -> llvalue -> unit */ 38546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_visibility(value Viz, LLVMValueRef Global) { 38646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetVisibility(Global, Int_val(Viz)); 3878ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 3888ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3898ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3908ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> int */ 39146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_alignment(LLVMValueRef Global) { 39246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetAlignment(Global)); 3938ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 3948ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3958ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* int -> llvalue -> unit */ 39646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_alignment(value Bytes, LLVMValueRef Global) { 39746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetAlignment(Global, Int_val(Bytes)); 3988ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 3998ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4008ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4018ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/*--... Operations on global variables .....................................--*/ 4028ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4038ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* lltype -> string -> llmodule -> llvalue */ 40446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_declare_global(LLVMTypeRef Ty, value Name, 40546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 4066d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef GlobalVar; 4076d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((GlobalVar = LLVMGetNamedGlobal(M, String_val(Name)))) { 4086d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if (LLVMGetElementType(LLVMTypeOf(GlobalVar)) != Ty) 4096d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen return LLVMConstBitCast(GlobalVar, LLVMPointerType(Ty)); 4106d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen return GlobalVar; 4116d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 41246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMAddGlobal(M, Ty, String_val(Name)); 4138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4148ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4156d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen/* string -> llmodule -> llvalue option */ 4166d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon HenriksenCAMLprim value llvm_lookup_global(value Name, LLVMModuleRef M) { 4176d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLparam1(Name); 4186d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef GlobalVar; 4196d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((GlobalVar = LLVMGetNamedGlobal(M, String_val(Name)))) { 420633360c9d9312cd159ab4ef98e918924a06cfdbdGordon Henriksen value Option = alloc(1, 1); 4216d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen Field(Option, 0) = (value) GlobalVar; 4226d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Option); 4236d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 4246d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Val_int(0)); 4256d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen} 4266d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen 4278ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* string -> llvalue -> llmodule -> llvalue */ 42846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_define_global(value Name, LLVMValueRef Initializer, 42946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 43046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef GlobalVar = LLVMAddGlobal(M, LLVMTypeOf(Initializer), 4318ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen String_val(Name)); 4328ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen LLVMSetInitializer(GlobalVar, Initializer); 43346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return GlobalVar; 4348ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4358ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4368ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> unit */ 43746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_global(LLVMValueRef GlobalVar) { 43846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteGlobal(GlobalVar); 4398ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 4408ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4418ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4428ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> llvalue -> unit */ 44346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_initializer(LLVMValueRef ConstantVal, 44446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef GlobalVar) { 44546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetInitializer(GlobalVar, ConstantVal); 4468ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 4478ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4488ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4498ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> unit */ 45046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_remove_initializer(LLVMValueRef GlobalVar) { 45146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetInitializer(GlobalVar, NULL); 4528ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 4538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4558ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* llvalue -> bool */ 45646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_thread_local(LLVMValueRef GlobalVar) { 45746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMIsThreadLocal(GlobalVar)); 4588ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 4598ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 4608ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen/* bool -> llvalue -> unit */ 46146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_thread_local(value IsThreadLocal, 46246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef GlobalVar) { 46346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetThreadLocal(GlobalVar, Bool_val(IsThreadLocal)); 46446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 46546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 46646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 467c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen/* llvalue -> bool */ 468c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon HenriksenCAMLprim value llvm_is_global_constant(LLVMValueRef GlobalVar) { 469c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen return Val_bool(LLVMIsGlobalConstant(GlobalVar)); 470c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen} 471c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen 472c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen/* bool -> llvalue -> unit */ 473c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon HenriksenCAMLprim value llvm_set_global_constant(value Flag, LLVMValueRef GlobalVar) { 474c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen LLVMSetGlobalConstant(GlobalVar, Bool_val(Flag)); 475c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen return Val_unit; 476c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen} 477c84c16be9b29b4f805b92bfc2d93e2dfaa952f8fGordon Henriksen 47846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Operations on functions ............................................--*/ 47946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 48046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> lltype -> llmodule -> llvalue */ 48146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_declare_function(value Name, LLVMTypeRef Ty, 48246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 4836d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef Fn; 4846d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((Fn = LLVMGetNamedFunction(M, String_val(Name)))) { 4856d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if (LLVMGetElementType(LLVMTypeOf(Fn)) != Ty) 4866d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen return LLVMConstBitCast(Fn, LLVMPointerType(Ty)); 4876d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen return Fn; 4886d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 48946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMAddFunction(M, String_val(Name), Ty); 49046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 49146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 4926d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen/* string -> llmodule -> llvalue option */ 4936d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon HenriksenCAMLprim value llvm_lookup_function(value Name, LLVMModuleRef M) { 4946d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLparam1(Name); 4956d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen LLVMValueRef Fn; 4966d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen if ((Fn = LLVMGetNamedFunction(M, String_val(Name)))) { 497633360c9d9312cd159ab4ef98e918924a06cfdbdGordon Henriksen value Option = alloc(1, 1); 4986d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen Field(Option, 0) = (value) Fn; 4996d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Option); 5006d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen } 5016d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen CAMLreturn(Val_int(0)); 5026d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen} 5036d6203dff3560a2cc3ac8ec620ac3b105b0c7cc7Gordon Henriksen 50446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> lltype -> llmodule -> llvalue */ 50546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_define_function(value Name, LLVMTypeRef Ty, 50646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMModuleRef M) { 50746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Fn = LLVMAddFunction(M, String_val(Name), Ty); 50846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMAppendBasicBlock(Fn, "entry"); 50946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Fn; 51046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 51146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 51246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> unit */ 51346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_function(LLVMValueRef Fn) { 51446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteFunction(Fn); 51546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 51646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 51746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 51846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> int -> llvalue */ 51946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_param(LLVMValueRef Fn, value Index) { 52046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMGetParam(Fn, Int_val(Index)); 52146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 52246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 52346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> int -> llvalue */ 52446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_params(LLVMValueRef Fn, value Index) { 52546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Params = alloc(LLVMCountParams(Fn), 0); 52646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMGetParams(Fn, (LLVMValueRef *) Op_val(Params)); 52746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Params; 52846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 52946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 53046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> bool */ 53146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_is_intrinsic(LLVMValueRef Fn) { 53246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMGetIntrinsicID(Fn)); 53346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 53446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 53546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> int */ 53646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_function_call_conv(LLVMValueRef Fn) { 53746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_int(LLVMGetFunctionCallConv(Fn)); 53846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 53946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 54046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* int -> llvalue -> unit */ 54146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_set_function_call_conv(value Id, LLVMValueRef Fn) { 54246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMSetFunctionCallConv(Fn, Int_val(Id)); 54346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 54446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 54546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 54646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Operations on basic blocks .........................................--*/ 54746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 54846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbasicblock array */ 54946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_basic_blocks(LLVMValueRef Fn) { 55046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value MLArray = alloc(LLVMCountBasicBlocks(Fn), 0); 55146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMGetBasicBlocks(Fn, (LLVMBasicBlockRef *) Op_val(MLArray)); 55246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return MLArray; 55346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 55446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 55546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbasicblock -> unit */ 55646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_delete_block(LLVMBasicBlockRef BB) { 55746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDeleteBasicBlock(BB); 55846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 55946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 56046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 56146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> llvalue -> llbasicblock */ 56246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMBasicBlockRef llvm_append_block(value Name, LLVMValueRef Fn) { 56346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMAppendBasicBlock(Fn, String_val(Name)); 56446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 56546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 56646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* string -> llbasicblock -> llbasicblock */ 56746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMBasicBlockRef llvm_insert_block(value Name, LLVMBasicBlockRef BB) { 56846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMInsertBasicBlock(BB, String_val(Name)); 56946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 57046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 57146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> bool */ 57246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_value_is_block(LLVMValueRef Val) { 57346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_bool(LLVMValueIsBasicBlock(Val)); 57446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 57546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 5762618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/*--... Operations on phi nodes ............................................--*/ 5772618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 5782618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/* (llvalue * llbasicblock) -> llvalue -> unit */ 5792618a6c1122d5d2007787fb56156be44b21ab32aGordon HenriksenCAMLprim value llvm_add_incoming(value Incoming, LLVMValueRef PhiNode) { 5802618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen LLVMAddIncoming(PhiNode, 5812618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen (LLVMValueRef*) &Field(Incoming, 0), 5822618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen (LLVMBasicBlockRef*) &Field(Incoming, 1), 5832618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 1); 5842618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen return Val_unit; 5852618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen} 5862618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 5872618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/* llvalue -> (llvalue * llbasicblock) list */ 5882618a6c1122d5d2007787fb56156be44b21ab32aGordon HenriksenCAMLprim value llvm_incoming(LLVMValueRef PhiNode) { 5892618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen unsigned I; 5902618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen CAMLparam0(); 5912618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen CAMLlocal3(Hd, Tl, Tmp); 5922618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 5932618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen /* Build a tuple list of them. */ 5942618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Tl = Val_int(0); 5952618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen for (I = LLVMCountIncoming(PhiNode); I != 0; ) { 5962618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Hd = alloc(2, 0); 5972618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Hd, 0, (value) LLVMGetIncomingValue(PhiNode, --I)); 5982618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Hd, 1, (value) LLVMGetIncomingBlock(PhiNode, I)); 5992618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 6002618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Tmp = alloc(2, 0); 6012618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Tmp, 0, Hd); 6022618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Store_field(Tmp, 1, Tl); 6032618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Tl = Tmp; 6042618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen } 6052618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 6062618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen CAMLreturn(Tl); 6072618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen} 6082618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 60946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 61046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*===-- Instruction builders ----------------------------------------------===*/ 61146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 61246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen#define Builder_val(v) (*(LLVMBuilderRef *)(Data_custom_val(v))) 61346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 61446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksenvoid llvm_finalize_builder(value B) { 61546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMDisposeBuilder(Builder_val(B)); 61646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 61746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 61846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksenstatic struct custom_operations builder_ops = { 61946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen (char *) "LLVMBuilder", 62046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen llvm_finalize_builder, 62146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_compare_default, 62246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_hash_default, 62346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_serialize_default, 62446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen custom_deserialize_default 62546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen}; 62646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 62746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbuilder */ 62846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_builder_before(LLVMValueRef Inst) { 62946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value V; 63046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBuilderRef B = LLVMCreateBuilder(); 63146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMPositionBuilderBefore(B, Inst); 63246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen V = alloc_custom(&builder_ops, sizeof(LLVMBuilderRef), 0, 1); 63346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen Builder_val(V) = B; 63446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return V; 63546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 63646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 63746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbasicblock -> llbuilder */ 63846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_builder_at_end(LLVMBasicBlockRef BB) { 63946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value V; 64046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBuilderRef B = LLVMCreateBuilder(); 64146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMPositionBuilderAtEnd(B, BB); 64246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen V = alloc_custom(&builder_ops, sizeof(LLVMBuilderRef), 0, 1); 64346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen Builder_val(V) = B; 64446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return V; 64546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 64646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 64746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbuilder -> unit */ 64846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_position_before(LLVMValueRef Inst, value B) { 64946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMPositionBuilderBefore(Builder_val(B), Inst); 65046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return Val_unit; 65146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 65246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 65346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbasicblock -> llbuilder -> unit */ 65446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim value llvm_position_at_end(LLVMBasicBlockRef BB, value B) { 65546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMPositionBuilderAtEnd(Builder_val(B), BB); 6568ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen return Val_unit; 6578ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen} 65846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 65946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Terminators ........................................................--*/ 66046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 66146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbuilder -> llvalue */ 66246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_ret_void(value B) { 66346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildRetVoid(Builder_val(B)); 66446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 66546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 66646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbuilder -> llvalue */ 66746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_ret(LLVMValueRef Val, value B) { 66846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildRet(Builder_val(B), Val); 66946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 67046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 67146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbasicblock -> llbuilder -> llvalue */ 67246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_br(LLVMBasicBlockRef BB, value B) { 67346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildBr(Builder_val(B), BB); 67446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 67546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 67646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbasicblock -> llbasicblock -> llbuilder -> llvalue */ 67746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_cond_br(LLVMValueRef If, 67846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Then, 67946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Else, 68046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value B) { 68146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildCondBr(Builder_val(B), If, Then, Else); 68246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 68346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 68446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbasicblock -> int -> llbuilder -> llvalue */ 68546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_switch(LLVMValueRef Of, 68646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Else, 68746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value EstimatedCount, 68846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value B) { 68946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSwitch(Builder_val(B), Of, Else, Int_val(EstimatedCount)); 69046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 69146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 69246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> llbasicblock -> llbasicblock -> string -> 69346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen llbuilder -> llvalue */ 69446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_invoke_nat(LLVMValueRef Fn, value Args, 69546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Then, 69646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMBasicBlockRef Catch, 69746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 69846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildInvoke(Builder_val(B), Fn, (LLVMValueRef *) Op_val(Args), 69946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen Wosize_val(Args), Then, Catch, String_val(Name)); 70046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 70146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 70246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> llbasicblock -> llbasicblock -> string -> 70346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen llbuilder -> llvalue */ 70446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_invoke_bc(value Args[], int NumArgs) { 70546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return llvm_build_invoke_nat((LLVMValueRef) Args[0], Args[1], 70646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen (LLVMBasicBlockRef) Args[2], 70746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen (LLVMBasicBlockRef) Args[3], 70846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen Args[4], Args[5]); 70946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 71046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 71146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbuilder -> llvalue */ 71246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_unwind(value B) { 71346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUnwind(Builder_val(B)); 71446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 71546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 71646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llbuilder -> llvalue */ 71746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_unreachable(value B) { 71846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUnreachable(Builder_val(B)); 71946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 72046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 72146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Arithmetic .........................................................--*/ 72246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 72346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 72446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_add(LLVMValueRef LHS, LLVMValueRef RHS, 72546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 72646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAdd(Builder_val(B), LHS, RHS, String_val(Name)); 72746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 72846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 72946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 73046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sub(LLVMValueRef LHS, LLVMValueRef RHS, 73146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 73246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSub(Builder_val(B), LHS, RHS, String_val(Name)); 73346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 73446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 73546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 73646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_mul(LLVMValueRef LHS, LLVMValueRef RHS, 73746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 73846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildMul(Builder_val(B), LHS, RHS, String_val(Name)); 73946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 74046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 74146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 74246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_udiv(LLVMValueRef LHS, LLVMValueRef RHS, 74346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 74446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUDiv(Builder_val(B), LHS, RHS, String_val(Name)); 74546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 74646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 74746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 74846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sdiv(LLVMValueRef LHS, LLVMValueRef RHS, 74946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 75046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSDiv(Builder_val(B), LHS, RHS, String_val(Name)); 75146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 75246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 75346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 75446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fdiv(LLVMValueRef LHS, LLVMValueRef RHS, 75546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 75646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFDiv(Builder_val(B), LHS, RHS, String_val(Name)); 75746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 75846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 75946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 76046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_urem(LLVMValueRef LHS, LLVMValueRef RHS, 76146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 76246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildURem(Builder_val(B), LHS, RHS, String_val(Name)); 76346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 76446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 76546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 76646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_srem(LLVMValueRef LHS, LLVMValueRef RHS, 76746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 76846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSRem(Builder_val(B), LHS, RHS, String_val(Name)); 76946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 77046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 77146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 77246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_frem(LLVMValueRef LHS, LLVMValueRef RHS, 77346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 77446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFRem(Builder_val(B), LHS, RHS, String_val(Name)); 77546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 77646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 77746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 77846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_shl(LLVMValueRef LHS, LLVMValueRef RHS, 77946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 78046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildShl(Builder_val(B), LHS, RHS, String_val(Name)); 78146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 78246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 78346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 78446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_lshr(LLVMValueRef LHS, LLVMValueRef RHS, 78546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 78646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildLShr(Builder_val(B), LHS, RHS, String_val(Name)); 78746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 78846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 78946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 79046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_ashr(LLVMValueRef LHS, LLVMValueRef RHS, 79146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 79246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAShr(Builder_val(B), LHS, RHS, String_val(Name)); 79346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 79446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 79546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 79646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_and(LLVMValueRef LHS, LLVMValueRef RHS, 79746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 79846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAnd(Builder_val(B), LHS, RHS, String_val(Name)); 79946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 80046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 80146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 80246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_or(LLVMValueRef LHS, LLVMValueRef RHS, 80346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 80446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildOr(Builder_val(B), LHS, RHS, String_val(Name)); 80546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 80646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 80746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 80846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_xor(LLVMValueRef LHS, LLVMValueRef RHS, 80946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 81046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildXor(Builder_val(B), LHS, RHS, String_val(Name)); 81146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 81246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 81346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> string -> llbuilder -> llvalue */ 81446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_neg(LLVMValueRef X, 81546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 81646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildNeg(Builder_val(B), X, String_val(Name)); 81746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 81846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 81946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> string -> llbuilder -> llvalue */ 82046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_not(LLVMValueRef X, 82146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 82246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildNot(Builder_val(B), X, String_val(Name)); 82346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 82446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 82546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Memory .............................................................--*/ 82646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 82746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> string -> llbuilder -> llvalue */ 82846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_malloc(LLVMTypeRef Ty, 82946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 83046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildMalloc(Builder_val(B), Ty, String_val(Name)); 83146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 83246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 83346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> llvalue -> string -> llbuilder -> llvalue */ 83446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_array_malloc(LLVMTypeRef Ty, LLVMValueRef Size, 83546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 83646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildArrayMalloc(Builder_val(B), Ty, Size, String_val(Name)); 83746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 83846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 83946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> string -> llbuilder -> llvalue */ 84046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_alloca(LLVMTypeRef Ty, 84146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 84246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildAlloca(Builder_val(B), Ty, String_val(Name)); 84346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 84446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 84546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* lltype -> llvalue -> string -> llbuilder -> llvalue */ 84646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_array_alloca(LLVMTypeRef Ty, LLVMValueRef Size, 84746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 84846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildArrayAlloca(Builder_val(B), Ty, Size, String_val(Name)); 84946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 85046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 85146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llbuilder -> llvalue */ 85246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_free(LLVMValueRef Pointer, value B) { 85346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFree(Builder_val(B), Pointer); 85446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 85546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 85646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> string -> llbuilder -> llvalue */ 85746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_load(LLVMValueRef Pointer, 85846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 85946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildLoad(Builder_val(B), Pointer, String_val(Name)); 86046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 86146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 86246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llbuilder -> llvalue */ 86346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_store(LLVMValueRef Value, LLVMValueRef Pointer, 86446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value B) { 86546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildStore(Builder_val(B), Value, Pointer); 86646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 86746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 86846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> string -> llbuilder -> llvalue */ 86946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_gep(LLVMValueRef Pointer, value Indices, 87046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 87146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildGEP(Builder_val(B), Pointer, 87246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen (LLVMValueRef *) Op_val(Indices), Wosize_val(Indices), 87346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 87446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 87546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 87646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Casts ..............................................................--*/ 87746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 87846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 87946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_trunc(LLVMValueRef X, LLVMTypeRef Ty, 88046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 88146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildTrunc(Builder_val(B), X, Ty, String_val(Name)); 88246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 88346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 88446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 88546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_zext(LLVMValueRef X, LLVMTypeRef Ty, 88646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 88746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildZExt(Builder_val(B), X, Ty, String_val(Name)); 88846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 88946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 89046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 89146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sext(LLVMValueRef X, LLVMTypeRef Ty, 89246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 89346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSExt(Builder_val(B), X, Ty, String_val(Name)); 89446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 89546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 89646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 89746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fptoui(LLVMValueRef X, LLVMTypeRef Ty, 89846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 89946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPToUI(Builder_val(B), X, Ty, String_val(Name)); 90046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 90146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 90246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 90346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fptosi(LLVMValueRef X, LLVMTypeRef Ty, 90446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 90546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPToSI(Builder_val(B), X, Ty, String_val(Name)); 90646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 90746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 90846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 90946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_uitofp(LLVMValueRef X, LLVMTypeRef Ty, 91046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 91146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildUIToFP(Builder_val(B), X, Ty, String_val(Name)); 91246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 91346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 91446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 91546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_sitofp(LLVMValueRef X, LLVMTypeRef Ty, 91646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 91746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSIToFP(Builder_val(B), X, Ty, String_val(Name)); 91846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 91946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 92046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 92146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fptrunc(LLVMValueRef X, LLVMTypeRef Ty, 92246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 92346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPTrunc(Builder_val(B), X, Ty, String_val(Name)); 92446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 92546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 92646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 92746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fpext(LLVMValueRef X, LLVMTypeRef Ty, 92846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 92946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFPExt(Builder_val(B), X, Ty, String_val(Name)); 93046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 93146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 93246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 93346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_prttoint(LLVMValueRef X, LLVMTypeRef Ty, 93446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 93546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildPtrToInt(Builder_val(B), X, Ty, String_val(Name)); 93646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 93746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 93846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 93946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_inttoptr(LLVMValueRef X, LLVMTypeRef Ty, 94046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 94146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildIntToPtr(Builder_val(B), X, Ty, String_val(Name)); 94246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 94346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 94446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 94546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_bitcast(LLVMValueRef X, LLVMTypeRef Ty, 94646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 94746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildBitCast(Builder_val(B), X, Ty, String_val(Name)); 94846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 94946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 95046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Comparisons ........................................................--*/ 95146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 95246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* int_predicate -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 95346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_icmp(value Pred, 95446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef LHS, LLVMValueRef RHS, 95546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 95646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildICmp(Builder_val(B), Int_val(Pred) + LLVMIntEQ, LHS, RHS, 95746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 95846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 95946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 96046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* real_predicate -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 96146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_fcmp(value Pred, 96246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef LHS, LLVMValueRef RHS, 96346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 96446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildFCmp(Builder_val(B), Int_val(Pred), LHS, RHS, 96546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 96646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 96746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 96846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/*--... Miscellaneous instructions .........................................--*/ 96946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 9702618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen/* (llvalue * llbasicblock) list -> string -> llbuilder -> llvalue */ 9712618a6c1122d5d2007787fb56156be44b21ab32aGordon HenriksenCAMLprim LLVMValueRef llvm_build_phi(value Incoming, value Name, value B) { 9722618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen value Hd, Tl; 9732618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen LLVMValueRef FirstValue, PhiNode; 9742618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 9752618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen assert(Incoming != Val_int(0) && "Empty list passed to Llvm.build_phi!"); 9762618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 9772618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen Hd = Field(Incoming, 0); 9782618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen FirstValue = (LLVMValueRef) Field(Hd, 0); 9792618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen PhiNode = LLVMBuildPhi(Builder_val(B), LLVMTypeOf(FirstValue), 9802618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen String_val(Name)); 9812618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 9822618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen for (Tl = Incoming; Tl != Val_int(0); Tl = Field(Tl, 1)) { 9832618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen value Hd = Field(Tl, 0); 9842618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen LLVMAddIncoming(PhiNode, (LLVMValueRef*) &Field(Hd, 0), 9852618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen (LLVMBasicBlockRef*) &Field(Hd, 1), 1); 9862618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen } 9872618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen 9882618a6c1122d5d2007787fb56156be44b21ab32aGordon Henriksen return PhiNode; 98946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 99046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 99146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue array -> string -> llbuilder -> llvalue */ 99246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_call(LLVMValueRef Fn, value Params, 99346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 99446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildCall(Builder_val(B), Fn, (LLVMValueRef *) Op_val(Params), 99546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen Wosize_val(Params), String_val(Name)); 99646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 99746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 99846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 99946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_select(LLVMValueRef If, 100046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Then, LLVMValueRef Else, 100146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 100246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildSelect(Builder_val(B), If, Then, Else, String_val(Name)); 100346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 100446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 100546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> lltype -> string -> llbuilder -> llvalue */ 100646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_va_arg(LLVMValueRef List, LLVMTypeRef Ty, 100746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 100846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildVAArg(Builder_val(B), List, Ty, String_val(Name)); 100946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 101046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 101146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> string -> llbuilder -> llvalue */ 101246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_extractelement(LLVMValueRef Vec, 101346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Idx, 101446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 101546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildExtractElement(Builder_val(B), Vec, Idx, String_val(Name)); 101646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 101746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 101846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 101946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_insertelement(LLVMValueRef Vec, 102046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Element, 102146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Idx, 102246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 102346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildInsertElement(Builder_val(B), Vec, Element, Idx, 102446abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen String_val(Name)); 102546abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 102646abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 102746abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen/* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ 102846abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon HenriksenCAMLprim LLVMValueRef llvm_build_shufflevector(LLVMValueRef V1, LLVMValueRef V2, 102946abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen LLVMValueRef Mask, 103046abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen value Name, value B) { 103146abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen return LLVMBuildShuffleVector(Builder_val(B), V1, V2, Mask, String_val(Name)); 103246abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen} 103346abf91f7378fb7bb118d66fe6d69b5d3af1e9d5Gordon Henriksen 1034