1 /*===-- target_ocaml.c - LLVM OCaml Glue ------------------------*- C++ -*-===*\
3 |* The LLVM Compiler Infrastructure *|
5 |* This file is distributed under the University of Illinois Open Source *|
6 |* License. See LICENSE.TXT for details. *|
8 |*===----------------------------------------------------------------------===*|
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. *|
13 |* Note that these functions intentionally take liberties with the CAMLparamX *|
14 |* macros, since most of the parameters are not GC heap objects. *|
16 \*===----------------------------------------------------------------------===*/
18 #include "llvm-c/Target.h"
19 #include "caml/alloc.h"
21 /* string -> DataLayout.t */
22 CAMLprim LLVMTargetDataRef llvm_targetdata_create(value StringRep) {
23 return LLVMCreateTargetData(String_val(StringRep));
26 /* DataLayout.t -> [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
27 CAMLprim value llvm_targetdata_add(LLVMTargetDataRef TD, LLVMPassManagerRef PM){
28 LLVMAddTargetData(TD, PM);
32 /* DataLayout.t -> string */
33 CAMLprim value llvm_targetdata_as_string(LLVMTargetDataRef TD) {
34 char *StringRep = LLVMCopyStringRepOfTargetData(TD);
35 value Copy = copy_string(StringRep);
36 LLVMDisposeMessage(StringRep);
40 /* DataLayout.t -> unit */
41 CAMLprim value llvm_targetdata_dispose(LLVMTargetDataRef TD) {
42 LLVMDisposeTargetData(TD);
46 /* DataLayout.t -> Endian.t */
47 CAMLprim value llvm_byte_order(LLVMTargetDataRef TD) {
48 return Val_int(LLVMByteOrder(TD));
51 /* DataLayout.t -> int */
52 CAMLprim value llvm_pointer_size(LLVMTargetDataRef TD) {
53 return Val_int(LLVMPointerSize(TD));
56 /* DataLayout.t -> Llvm.lltype -> Int64.t */
57 CAMLprim value llvm_size_in_bits(LLVMTargetDataRef TD, LLVMTypeRef Ty) {
58 return caml_copy_int64(LLVMSizeOfTypeInBits(TD, Ty));
61 /* DataLayout.t -> Llvm.lltype -> Int64.t */
62 CAMLprim value llvm_store_size(LLVMTargetDataRef TD, LLVMTypeRef Ty) {
63 return caml_copy_int64(LLVMStoreSizeOfType(TD, Ty));
66 /* DataLayout.t -> Llvm.lltype -> Int64.t */
67 CAMLprim value llvm_abi_size(LLVMTargetDataRef TD, LLVMTypeRef Ty) {
68 return caml_copy_int64(LLVMABISizeOfType(TD, Ty));
71 /* DataLayout.t -> Llvm.lltype -> int */
72 CAMLprim value llvm_abi_align(LLVMTargetDataRef TD, LLVMTypeRef Ty) {
73 return Val_int(LLVMABIAlignmentOfType(TD, Ty));
76 /* DataLayout.t -> Llvm.lltype -> int */
77 CAMLprim value llvm_stack_align(LLVMTargetDataRef TD, LLVMTypeRef Ty) {
78 return Val_int(LLVMCallFrameAlignmentOfType(TD, Ty));
81 /* DataLayout.t -> Llvm.lltype -> int */
82 CAMLprim value llvm_preferred_align(LLVMTargetDataRef TD, LLVMTypeRef Ty) {
83 return Val_int(LLVMPreferredAlignmentOfType(TD, Ty));
86 /* DataLayout.t -> Llvm.llvalue -> int */
87 CAMLprim value llvm_preferred_align_of_global(LLVMTargetDataRef TD,
88 LLVMValueRef GlobalVar) {
89 return Val_int(LLVMPreferredAlignmentOfGlobal(TD, GlobalVar));
92 /* DataLayout.t -> Llvm.lltype -> Int64.t -> int */
93 CAMLprim value llvm_element_at_offset(LLVMTargetDataRef TD, LLVMTypeRef Ty,
95 return Val_int(LLVMElementAtOffset(TD, Ty, Int_val(Offset)));
98 /* DataLayout.t -> Llvm.lltype -> int -> Int64.t */
99 CAMLprim value llvm_offset_of_element(LLVMTargetDataRef TD, LLVMTypeRef Ty,
101 return caml_copy_int64(LLVMOffsetOfElement(TD, Ty, Int_val(Index)));