Bug Summary

File:bindings/ocaml/executionengine/executionengine_ocaml.c
Location:line 297, column 21
Description:Call to 'malloc' has an allocation size of 0 bytes

Annotated Source Code

1/*===-- executionengine_ocaml.c - LLVM OCaml Glue ---------------*- C++ -*-===*\
2|* *|
3|* The LLVM Compiler Infrastructure *|
4|* *|
5|* This file is distributed under the University of Illinois Open Source *|
6|* License. See LICENSE.TXT for details. *|
7|* *|
8|*===----------------------------------------------------------------------===*|
9|* *|
10|* This file glues LLVM's OCaml interface to its C interface. These functions *|
11|* are by and large transparent wrappers to the corresponding C functions. *|
12|* *|
13|* Note that these functions intentionally take liberties with the CAMLparamX *|
14|* macros, since most of the parameters are not GC heap objects. *|
15|* *|
16\*===----------------------------------------------------------------------===*/
17
18#include <string.h>
19#include <assert.h>
20#include "llvm-c/ExecutionEngine.h"
21#include "llvm-c/Target.h"
22#include "caml/alloc.h"
23#include "caml/custom.h"
24#include "caml/fail.h"
25#include "caml/memory.h"
26#include "caml/callback.h"
27
28static void llvm_raise(value Prototype, char *Message) {
29 CAMLparam1(Prototype)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_Prototype; __attribute__ ((unused
)) int caml__dummy_Prototype = ( (caml__roots_Prototype.next =
caml_local_roots), (caml_local_roots = &caml__roots_Prototype
), (caml__roots_Prototype.nitems = 1), (caml__roots_Prototype
.ntables = 1), (caml__roots_Prototype.tables [0] = &Prototype
), 0);
30 CAMLlocal1(CamlMessage)value CamlMessage = 0; struct caml__roots_block caml__roots_CamlMessage
; __attribute__ ((unused)) int caml__dummy_CamlMessage = ( (caml__roots_CamlMessage
.next = caml_local_roots), (caml_local_roots = &caml__roots_CamlMessage
), (caml__roots_CamlMessage.nitems = 1), (caml__roots_CamlMessage
.ntables = 1), (caml__roots_CamlMessage.tables [0] = &CamlMessage
), 0);
31
32 CamlMessage = copy_stringcaml_copy_string(Message);
33 LLVMDisposeMessage(Message);
34
35 raise_with_argcaml_raise_with_arg(Prototype, CamlMessage);
36 CAMLnoreturn((void) caml__frame);
37}
38
39/*--... Operations on generic values .......................................--*/
40
41#define Genericvalue_val(v)(*(LLVMGenericValueRef *)(((void *) &(((value *)((v))) [1
])))) (*(LLVMGenericValueRef *)(Data_custom_val(v)((void *) &(((value *)((v))) [1]))))
42
43static void llvm_finalize_generic_value(value GenVal) {
44 LLVMDisposeGenericValue(Genericvalue_val(GenVal)(*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal)
)) [1])))));
45}
46
47static struct custom_operations generic_value_ops = {
48 (char *) "Llvm_executionengine.GenericValue.t",
49 llvm_finalize_generic_value,
50 custom_compare_default((void*)0),
51 custom_hash_default((void*)0),
52 custom_serialize_default((void*)0),
53 custom_deserialize_default((void*)0),
54 custom_compare_ext_default((void*)0)
55};
56
57static value alloc_generic_value(LLVMGenericValueRef Ref) {
58 value Val = alloc_customcaml_alloc_custom(&generic_value_ops, sizeof(LLVMGenericValueRef), 0, 1);
59 Genericvalue_val(Val)(*(LLVMGenericValueRef *)(((void *) &(((value *)((Val))) [
1])))) = Ref;
60 return Val;
61}
62
63/* Llvm.lltype -> float -> t */
64CAMLprim value llvm_genericvalue_of_float(LLVMTypeRef Ty, value N) {
65 CAMLparam1(N)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_N; __attribute__ ((unused)) int
caml__dummy_N = ( (caml__roots_N.next = caml_local_roots), (
caml_local_roots = &caml__roots_N), (caml__roots_N.nitems
= 1), (caml__roots_N.ntables = 1), (caml__roots_N.tables [0]
= &N), 0);
66 CAMLreturn(alloc_generic_value(do{ value caml__temp_result = (alloc_generic_value( LLVMCreateGenericValueOfFloat
(Ty, (* (double *)(N))))); caml_local_roots = caml__frame; return
(caml__temp_result); }while(0)
67 LLVMCreateGenericValueOfFloat(Ty, Double_val(N))))do{ value caml__temp_result = (alloc_generic_value( LLVMCreateGenericValueOfFloat
(Ty, (* (double *)(N))))); caml_local_roots = caml__frame; return
(caml__temp_result); }while(0);
68}
69
70/* 'a -> t */
71CAMLprim value llvm_genericvalue_of_pointer(value V) {
72 CAMLparam1(V)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_V; __attribute__ ((unused)) int
caml__dummy_V = ( (caml__roots_V.next = caml_local_roots), (
caml_local_roots = &caml__roots_V), (caml__roots_V.nitems
= 1), (caml__roots_V.ntables = 1), (caml__roots_V.tables [0]
= &V), 0);
73 CAMLreturn(alloc_generic_value(LLVMCreateGenericValueOfPointer(Op_val(V))))do{ value caml__temp_result = (alloc_generic_value(LLVMCreateGenericValueOfPointer
(((value *) (V))))); caml_local_roots = caml__frame; return (
caml__temp_result); }while(0);
74}
75
76/* Llvm.lltype -> int -> t */
77CAMLprim value llvm_genericvalue_of_int(LLVMTypeRef Ty, value Int) {
78 return alloc_generic_value(LLVMCreateGenericValueOfInt(Ty, Int_val(Int)((int) ((Int) >> 1)), 1));
79}
80
81/* Llvm.lltype -> int32 -> t */
82CAMLprim value llvm_genericvalue_of_int32(LLVMTypeRef Ty, value Int32) {
83 CAMLparam1(Int32)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_Int32; __attribute__ ((unused)
) int caml__dummy_Int32 = ( (caml__roots_Int32.next = caml_local_roots
), (caml_local_roots = &caml__roots_Int32), (caml__roots_Int32
.nitems = 1), (caml__roots_Int32.ntables = 1), (caml__roots_Int32
.tables [0] = &Int32), 0);
84 CAMLreturn(alloc_generic_value(do{ value caml__temp_result = (alloc_generic_value( LLVMCreateGenericValueOfInt
(Ty, (*((int32 *) ((void *) &(((value *)((Int32))) [1])))
), 1))); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0)
85 LLVMCreateGenericValueOfInt(Ty, Int32_val(Int32), 1)))do{ value caml__temp_result = (alloc_generic_value( LLVMCreateGenericValueOfInt
(Ty, (*((int32 *) ((void *) &(((value *)((Int32))) [1])))
), 1))); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0);
86}
87
88/* Llvm.lltype -> nativeint -> t */
89CAMLprim value llvm_genericvalue_of_nativeint(LLVMTypeRef Ty, value NatInt) {
90 CAMLparam1(NatInt)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_NatInt; __attribute__ ((unused
)) int caml__dummy_NatInt = ( (caml__roots_NatInt.next = caml_local_roots
), (caml_local_roots = &caml__roots_NatInt), (caml__roots_NatInt
.nitems = 1), (caml__roots_NatInt.ntables = 1), (caml__roots_NatInt
.tables [0] = &NatInt), 0);
91 CAMLreturn(alloc_generic_value(do{ value caml__temp_result = (alloc_generic_value( LLVMCreateGenericValueOfInt
(Ty, (*((intnat *) ((void *) &(((value *)((NatInt))) [1])
))), 1))); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0)
92 LLVMCreateGenericValueOfInt(Ty, Nativeint_val(NatInt), 1)))do{ value caml__temp_result = (alloc_generic_value( LLVMCreateGenericValueOfInt
(Ty, (*((intnat *) ((void *) &(((value *)((NatInt))) [1])
))), 1))); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0);
93}
94
95/* Llvm.lltype -> int64 -> t */
96CAMLprim value llvm_genericvalue_of_int64(LLVMTypeRef Ty, value Int64) {
97 CAMLparam1(Int64)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_Int64; __attribute__ ((unused)
) int caml__dummy_Int64 = ( (caml__roots_Int64.next = caml_local_roots
), (caml_local_roots = &caml__roots_Int64), (caml__roots_Int64
.nitems = 1), (caml__roots_Int64.ntables = 1), (caml__roots_Int64
.tables [0] = &Int64), 0);
98 CAMLreturn(alloc_generic_value(do{ value caml__temp_result = (alloc_generic_value( LLVMCreateGenericValueOfInt
(Ty, (*((int64 *) ((void *) &(((value *)((Int64))) [1])))
), 1))); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0)
99 LLVMCreateGenericValueOfInt(Ty, Int64_val(Int64), 1)))do{ value caml__temp_result = (alloc_generic_value( LLVMCreateGenericValueOfInt
(Ty, (*((int64 *) ((void *) &(((value *)((Int64))) [1])))
), 1))); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0);
100}
101
102/* Llvm.lltype -> t -> float */
103CAMLprim value llvm_genericvalue_as_float(LLVMTypeRef Ty, value GenVal) {
104 CAMLparam1(GenVal)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_GenVal; __attribute__ ((unused
)) int caml__dummy_GenVal = ( (caml__roots_GenVal.next = caml_local_roots
), (caml_local_roots = &caml__roots_GenVal), (caml__roots_GenVal
.nitems = 1), (caml__roots_GenVal.ntables = 1), (caml__roots_GenVal
.tables [0] = &GenVal), 0);
105 CAMLreturn(copy_double(do{ value caml__temp_result = (caml_copy_double( LLVMGenericValueToFloat
(Ty, (*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal
))) [1]))))))); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0)
106 LLVMGenericValueToFloat(Ty, Genericvalue_val(GenVal))))do{ value caml__temp_result = (caml_copy_double( LLVMGenericValueToFloat
(Ty, (*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal
))) [1]))))))); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0);
107}
108
109/* t -> 'a */
110CAMLprim value llvm_genericvalue_as_pointer(value GenVal) {
111 return Val_op(LLVMGenericValueToPointer(Genericvalue_val(GenVal)))((value) (LLVMGenericValueToPointer((*(LLVMGenericValueRef *)
(((void *) &(((value *)((GenVal))) [1])))))));
112}
113
114/* t -> int */
115CAMLprim value llvm_genericvalue_as_int(value GenVal) {
116 assert(LLVMGenericValueIntWidth(Genericvalue_val(GenVal)) <= 8 * sizeof(value)((LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *
) &(((value *)((GenVal))) [1]))))) <= 8 * sizeof(value
) && "Generic value too wide to treat as an int!") ? (
void) (0) : __assert_fail ("LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal))) [1]))))) <= 8 * sizeof(value) && \"Generic value too wide to treat as an int!\""
, "/tmp/buildd/llvm-toolchain-snapshot-3.6~svn220848/bindings/ocaml/executionengine/executionengine_ocaml.c"
, 117, __PRETTY_FUNCTION__))
117 && "Generic value too wide to treat as an int!")((LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *
) &(((value *)((GenVal))) [1]))))) <= 8 * sizeof(value
) && "Generic value too wide to treat as an int!") ? (
void) (0) : __assert_fail ("LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal))) [1]))))) <= 8 * sizeof(value) && \"Generic value too wide to treat as an int!\""
, "/tmp/buildd/llvm-toolchain-snapshot-3.6~svn220848/bindings/ocaml/executionengine/executionengine_ocaml.c"
, 117, __PRETTY_FUNCTION__));
118 return Val_int(LLVMGenericValueToInt(Genericvalue_val(GenVal), 1))(((intnat)(LLVMGenericValueToInt((*(LLVMGenericValueRef *)(((
void *) &(((value *)((GenVal))) [1])))), 1)) << 1) +
1);
119}
120
121/* t -> int32 */
122CAMLprim value llvm_genericvalue_as_int32(value GenVal) {
123 CAMLparam1(GenVal)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_GenVal; __attribute__ ((unused
)) int caml__dummy_GenVal = ( (caml__roots_GenVal.next = caml_local_roots
), (caml_local_roots = &caml__roots_GenVal), (caml__roots_GenVal
.nitems = 1), (caml__roots_GenVal.ntables = 1), (caml__roots_GenVal
.tables [0] = &GenVal), 0);
124 assert(LLVMGenericValueIntWidth(Genericvalue_val(GenVal)) <= 32((LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *
) &(((value *)((GenVal))) [1]))))) <= 32 && "Generic value too wide to treat as an int32!"
) ? (void) (0) : __assert_fail ("LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal))) [1]))))) <= 32 && \"Generic value too wide to treat as an int32!\""
, "/tmp/buildd/llvm-toolchain-snapshot-3.6~svn220848/bindings/ocaml/executionengine/executionengine_ocaml.c"
, 125, __PRETTY_FUNCTION__))
125 && "Generic value too wide to treat as an int32!")((LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *
) &(((value *)((GenVal))) [1]))))) <= 32 && "Generic value too wide to treat as an int32!"
) ? (void) (0) : __assert_fail ("LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal))) [1]))))) <= 32 && \"Generic value too wide to treat as an int32!\""
, "/tmp/buildd/llvm-toolchain-snapshot-3.6~svn220848/bindings/ocaml/executionengine/executionengine_ocaml.c"
, 125, __PRETTY_FUNCTION__));
126 CAMLreturn(copy_int32(LLVMGenericValueToInt(Genericvalue_val(GenVal), 1)))do{ value caml__temp_result = (caml_copy_int32(LLVMGenericValueToInt
((*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal
))) [1])))), 1))); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0);
127}
128
129/* t -> int64 */
130CAMLprim value llvm_genericvalue_as_int64(value GenVal) {
131 CAMLparam1(GenVal)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_GenVal; __attribute__ ((unused
)) int caml__dummy_GenVal = ( (caml__roots_GenVal.next = caml_local_roots
), (caml_local_roots = &caml__roots_GenVal), (caml__roots_GenVal
.nitems = 1), (caml__roots_GenVal.ntables = 1), (caml__roots_GenVal
.tables [0] = &GenVal), 0);
132 assert(LLVMGenericValueIntWidth(Genericvalue_val(GenVal)) <= 64((LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *
) &(((value *)((GenVal))) [1]))))) <= 64 && "Generic value too wide to treat as an int64!"
) ? (void) (0) : __assert_fail ("LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal))) [1]))))) <= 64 && \"Generic value too wide to treat as an int64!\""
, "/tmp/buildd/llvm-toolchain-snapshot-3.6~svn220848/bindings/ocaml/executionengine/executionengine_ocaml.c"
, 133, __PRETTY_FUNCTION__))
133 && "Generic value too wide to treat as an int64!")((LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *
) &(((value *)((GenVal))) [1]))))) <= 64 && "Generic value too wide to treat as an int64!"
) ? (void) (0) : __assert_fail ("LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal))) [1]))))) <= 64 && \"Generic value too wide to treat as an int64!\""
, "/tmp/buildd/llvm-toolchain-snapshot-3.6~svn220848/bindings/ocaml/executionengine/executionengine_ocaml.c"
, 133, __PRETTY_FUNCTION__));
134 CAMLreturn(copy_int64(LLVMGenericValueToInt(Genericvalue_val(GenVal), 1)))do{ value caml__temp_result = (caml_copy_int64(LLVMGenericValueToInt
((*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal
))) [1])))), 1))); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0);
135}
136
137/* t -> nativeint */
138CAMLprim value llvm_genericvalue_as_nativeint(value GenVal) {
139 CAMLparam1(GenVal)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_GenVal; __attribute__ ((unused
)) int caml__dummy_GenVal = ( (caml__roots_GenVal.next = caml_local_roots
), (caml_local_roots = &caml__roots_GenVal), (caml__roots_GenVal
.nitems = 1), (caml__roots_GenVal.ntables = 1), (caml__roots_GenVal
.tables [0] = &GenVal), 0);
140 assert(LLVMGenericValueIntWidth(Genericvalue_val(GenVal)) <= 8 * sizeof(value)((LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *
) &(((value *)((GenVal))) [1]))))) <= 8 * sizeof(value
) && "Generic value too wide to treat as a nativeint!"
) ? (void) (0) : __assert_fail ("LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal))) [1]))))) <= 8 * sizeof(value) && \"Generic value too wide to treat as a nativeint!\""
, "/tmp/buildd/llvm-toolchain-snapshot-3.6~svn220848/bindings/ocaml/executionengine/executionengine_ocaml.c"
, 141, __PRETTY_FUNCTION__))
141 && "Generic value too wide to treat as a nativeint!")((LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *
) &(((value *)((GenVal))) [1]))))) <= 8 * sizeof(value
) && "Generic value too wide to treat as a nativeint!"
) ? (void) (0) : __assert_fail ("LLVMGenericValueIntWidth((*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal))) [1]))))) <= 8 * sizeof(value) && \"Generic value too wide to treat as a nativeint!\""
, "/tmp/buildd/llvm-toolchain-snapshot-3.6~svn220848/bindings/ocaml/executionengine/executionengine_ocaml.c"
, 141, __PRETTY_FUNCTION__));
142 CAMLreturn(copy_nativeint(LLVMGenericValueToInt(Genericvalue_val(GenVal),1)))do{ value caml__temp_result = (caml_copy_nativeint(LLVMGenericValueToInt
((*(LLVMGenericValueRef *)(((void *) &(((value *)((GenVal
))) [1])))),1))); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0);
143}
144
145
146/*--... Operations on execution engines ....................................--*/
147
148/* unit -> bool */
149CAMLprim value llvm_initialize_native_target(value Unit) {
150 LLVMLinkInInterpreter();
151 LLVMLinkInMCJIT();
152
153 return Val_bool(!LLVMInitializeNativeTarget() &&(((intnat)((!LLVMInitializeNativeTarget() && !LLVMInitializeNativeAsmParser
() && !LLVMInitializeNativeAsmPrinter()) != 0) <<
1) + 1)
154 !LLVMInitializeNativeAsmParser() &&(((intnat)((!LLVMInitializeNativeTarget() && !LLVMInitializeNativeAsmParser
() && !LLVMInitializeNativeAsmPrinter()) != 0) <<
1) + 1)
155 !LLVMInitializeNativeAsmPrinter())(((intnat)((!LLVMInitializeNativeTarget() && !LLVMInitializeNativeAsmParser
() && !LLVMInitializeNativeAsmPrinter()) != 0) <<
1) + 1);
156}
157
158/* llmodule -> ExecutionEngine.t */
159CAMLprim LLVMExecutionEngineRef llvm_ee_create(LLVMModuleRef M) {
160 LLVMExecutionEngineRef Interp;
161 char *Error;
162 if (LLVMCreateExecutionEngineForModule(&Interp, M, &Error))
163 llvm_raise(*caml_named_value("Llvm_executionengine.Error"), Error);
164 return Interp;
165}
166
167/* llmodule -> ExecutionEngine.t */
168CAMLprim LLVMExecutionEngineRef
169llvm_ee_create_interpreter(LLVMModuleRef M) {
170 LLVMExecutionEngineRef Interp;
171 char *Error;
172 if (LLVMCreateInterpreterForModule(&Interp, M, &Error))
173 llvm_raise(*caml_named_value("Llvm_executionengine.Error"), Error);
174 return Interp;
175}
176
177/* llmodule -> int -> ExecutionEngine.t */
178CAMLprim LLVMExecutionEngineRef
179llvm_ee_create_jit(LLVMModuleRef M, value OptLevel) {
180 LLVMExecutionEngineRef JIT;
181 char *Error;
182 if (LLVMCreateJITCompilerForModule(&JIT, M, Int_val(OptLevel)((int) ((OptLevel) >> 1)), &Error))
183 llvm_raise(*caml_named_value("Llvm_executionengine.Error"), Error);
184 return JIT;
185}
186
187/* llmodule -> llcompileroption -> ExecutionEngine.t */
188CAMLprim LLVMExecutionEngineRef
189llvm_ee_create_mcjit(LLVMModuleRef M, value OptRecord) {
190 LLVMExecutionEngineRef MCJIT;
191 char *Error;
192 struct LLVMMCJITCompilerOptions Options;
193
194 LLVMInitializeMCJITCompilerOptions(&Options, sizeof(Options));
195 Options.OptLevel = Int_val(Field(OptRecord, 0))((int) (((((value *)(OptRecord)) [0])) >> 1));
196 Options.CodeModel = Int_val(Field(OptRecord, 1))((int) (((((value *)(OptRecord)) [1])) >> 1));
197 Options.NoFramePointerElim = Int_val(Field(OptRecord, 2))((int) (((((value *)(OptRecord)) [2])) >> 1));
198 Options.EnableFastISel = Int_val(Field(OptRecord, 3))((int) (((((value *)(OptRecord)) [3])) >> 1));
199 Options.MCJMM = NULL((void*)0);
200
201 if (LLVMCreateMCJITCompilerForModule(&MCJIT, M, &Options,
202 sizeof(Options), &Error))
203 llvm_raise(*caml_named_value("Llvm_executionengine.Error"), Error);
204 return MCJIT;
205}
206
207/* ExecutionEngine.t -> unit */
208CAMLprim value llvm_ee_dispose(LLVMExecutionEngineRef EE) {
209 LLVMDisposeExecutionEngine(EE);
210 return Val_unit(((intnat)(0) << 1) + 1);
211}
212
213/* llmodule -> ExecutionEngine.t -> unit */
214CAMLprim value llvm_ee_add_module(LLVMModuleRef M, LLVMExecutionEngineRef EE) {
215 LLVMAddModule(EE, M);
216 return Val_unit(((intnat)(0) << 1) + 1);
217}
218
219/* llmodule -> ExecutionEngine.t -> llmodule */
220CAMLprim LLVMModuleRef llvm_ee_remove_module(LLVMModuleRef M,
221 LLVMExecutionEngineRef EE) {
222 LLVMModuleRef RemovedModule;
223 char *Error;
224 if (LLVMRemoveModule(EE, M, &RemovedModule, &Error))
225 llvm_raise(*caml_named_value("Llvm_executionengine.Error"), Error);
226 return RemovedModule;
227}
228
229/* string -> ExecutionEngine.t -> llvalue option */
230CAMLprim value llvm_ee_find_function(value Name, LLVMExecutionEngineRef EE) {
231 CAMLparam1(Name)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_Name; __attribute__ ((unused))
int caml__dummy_Name = ( (caml__roots_Name.next = caml_local_roots
), (caml_local_roots = &caml__roots_Name), (caml__roots_Name
.nitems = 1), (caml__roots_Name.ntables = 1), (caml__roots_Name
.tables [0] = &Name), 0);
232 CAMLlocal1(Option)value Option = 0; struct caml__roots_block caml__roots_Option
; __attribute__ ((unused)) int caml__dummy_Option = ( (caml__roots_Option
.next = caml_local_roots), (caml_local_roots = &caml__roots_Option
), (caml__roots_Option.nitems = 1), (caml__roots_Option.ntables
= 1), (caml__roots_Option.tables [0] = &Option), 0);
233 LLVMValueRef Found;
234 if (LLVMFindFunction(EE, String_val(Name)((char *) ((char *) (Name))), &Found))
235 CAMLreturn(Val_unit)do{ value caml__temp_result = ((((intnat)(0) << 1) + 1)
); caml_local_roots = caml__frame; return (caml__temp_result)
; }while(0);
236 Option = alloccaml_alloc(1, 0);
237 Field(Option, 0)(((value *)(Option)) [0]) = Val_op(Found)((value) (Found));
238 CAMLreturn(Option)do{ value caml__temp_result = (Option); caml_local_roots = caml__frame
; return (caml__temp_result); }while(0);
239}
240
241/* llvalue -> GenericValue.t array -> ExecutionEngine.t -> GenericValue.t */
242CAMLprim value llvm_ee_run_function(LLVMValueRef F, value Args,
243 LLVMExecutionEngineRef EE) {
244 unsigned NumArgs;
245 LLVMGenericValueRef Result, *GVArgs;
246 unsigned I;
247
248 NumArgs = Wosize_val(Args)(((mlsize_t) (((((header_t *) (Args)) [-1])) >> 10)));
249 GVArgs = (LLVMGenericValueRef*) malloc(NumArgs * sizeof(LLVMGenericValueRef));
250 for (I = 0; I != NumArgs; ++I)
251 GVArgs[I] = Genericvalue_val(Field(Args, I))(*(LLVMGenericValueRef *)(((void *) &(((value *)(((((value
*)(Args)) [I])))) [1]))));
252
253 Result = LLVMRunFunction(EE, F, NumArgs, GVArgs);
254
255 free(GVArgs);
256 return alloc_generic_value(Result);
257}
258
259/* ExecutionEngine.t -> unit */
260CAMLprim value llvm_ee_run_static_ctors(LLVMExecutionEngineRef EE) {
261 LLVMRunStaticConstructors(EE);
262 return Val_unit(((intnat)(0) << 1) + 1);
263}
264
265/* ExecutionEngine.t -> unit */
266CAMLprim value llvm_ee_run_static_dtors(LLVMExecutionEngineRef EE) {
267 LLVMRunStaticDestructors(EE);
268 return Val_unit(((intnat)(0) << 1) + 1);
269}
270
271/* llvalue -> string array -> (string * string) array -> ExecutionEngine.t ->
272 int */
273CAMLprim value llvm_ee_run_function_as_main(LLVMValueRef F,
274 value Args, value Env,
275 LLVMExecutionEngineRef EE) {
276 CAMLparam2(Args, Env)struct caml__roots_block *caml__frame = caml_local_roots; struct
caml__roots_block caml__roots_Args; __attribute__ ((unused))
int caml__dummy_Args = ( (caml__roots_Args.next = caml_local_roots
), (caml_local_roots = &caml__roots_Args), (caml__roots_Args
.nitems = 1), (caml__roots_Args.ntables = 2), (caml__roots_Args
.tables [0] = &Args), (caml__roots_Args.tables [1] = &
Env), 0);
277 int I, NumArgs, NumEnv, EnvSize, Result;
278 const char **CArgs, **CEnv;
279 char *CEnvBuf, *Pos;
280
281 NumArgs = Wosize_val(Args)(((mlsize_t) (((((header_t *) (Args)) [-1])) >> 10)));
282 NumEnv = Wosize_val(Env)(((mlsize_t) (((((header_t *) (Env)) [-1])) >> 10)));
283
284 /* Build the environment. */
285 CArgs = (const char **) malloc(NumArgs * sizeof(char*));
286 for (I = 0; I != NumArgs; ++I)
1
Assuming 'I' is equal to 'NumArgs'
→
2
←
Loop condition is false. Execution continues on line 290
→
287 CArgs[I] = String_val(Field(Args, I))((char *) ((char *) ((((value *)(Args)) [I]))));
288
289 /* Compute the size of the environment string buffer. */
290 for (I = 0, EnvSize = 0; I != NumEnv; ++I) {
3
←
The value 0 is assigned to 'EnvSize'
→
4
←
Assuming 'I' is equal to 'NumEnv'
→
5
←
Loop condition is false. Execution continues on line 296
→
291 EnvSize += strlen(String_val(Field(Field(Env, I), 0))((char *) ((char *) ((((value *)((((value *)(Env)) [I]))) [0]
))))) + 1;
292 EnvSize += strlen(String_val(Field(Field(Env, I), 1))((char *) ((char *) ((((value *)((((value *)(Env)) [I]))) [1]
))))) + 1;
293 }
294
295 /* Build the environment. */
296 CEnv = (const char **) malloc((NumEnv + 1) * sizeof(char*));
297 CEnvBuf = (char*) malloc(EnvSize);
6
←
Call to 'malloc' has an allocation size of 0 bytes
298 Pos = CEnvBuf;
299 for (I = 0; I != NumEnv; ++I) {
300 char *Name = String_val(Field(Field(Env, I), 0))((char *) ((char *) ((((value *)((((value *)(Env)) [I]))) [0]
)))),
301 *Value = String_val(Field(Field(Env, I), 1))((char *) ((char *) ((((value *)((((value *)(Env)) [I]))) [1]
))));
302 int NameLen = strlen(Name),
303 ValueLen = strlen(Value);
304
305 CEnv[I] = Pos;
306 memcpy(Pos, Name, NameLen);
307 Pos += NameLen;
308 *Pos++ = '=';
309 memcpy(Pos, Value, ValueLen);
310 Pos += ValueLen;
311 *Pos++ = '\0';
312 }
313 CEnv[NumEnv] = NULL((void*)0);
314
315 Result = LLVMRunFunctionAsMain(EE, F, NumArgs, CArgs, CEnv);
316
317 free(CArgs);
318 free(CEnv);
319 free(CEnvBuf);
320
321 CAMLreturn(Val_int(Result))do{ value caml__temp_result = ((((intnat)(Result) << 1)
+ 1)); caml_local_roots = caml__frame; return (caml__temp_result
); }while(0);
322}
323
324/* llvalue -> ExecutionEngine.t -> unit */
325CAMLprim value llvm_ee_free_machine_code(LLVMValueRef F,
326 LLVMExecutionEngineRef EE) {
327 LLVMFreeMachineCodeForFunction(EE, F);
328 return Val_unit(((intnat)(0) << 1) + 1);
329}
330
331extern value llvm_alloc_data_layout(LLVMTargetDataRef TargetData);
332
333/* ExecutionEngine.t -> Llvm_target.DataLayout.t */
334CAMLprim value llvm_ee_get_data_layout(LLVMExecutionEngineRef EE) {
335 value DataLayout;
336 LLVMTargetDataRef OrigDataLayout;
337 char* TargetDataCStr;
338
339 OrigDataLayout = LLVMGetExecutionEngineTargetData(EE);
340 TargetDataCStr = LLVMCopyStringRepOfTargetData(OrigDataLayout);
341 DataLayout = llvm_alloc_data_layout(LLVMCreateTargetData(TargetDataCStr));
342 LLVMDisposeMessage(TargetDataCStr);
343
344 return DataLayout;
345}