blob: c9d0b8771b47a96e5515de184327ee0b42a6e66f [file] [log] [blame]
Gordon Henriksenab4b7d32008-03-16 20:08:03 +00001/*===-- target_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 "llvm-c/Target.h"
19#include "caml/alloc.h"
20
Micah Villmow9cfc13d2012-10-08 16:39:34 +000021/* string -> DataLayout.t */
22CAMLprim LLVMDataLayoutRef llvm_targetdata_create(value StringRep) {
23 return LLVMCreateDataLayout(String_val(StringRep));
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000024}
25
Micah Villmow9cfc13d2012-10-08 16:39:34 +000026/* DataLayout.t -> [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
27CAMLprim value llvm_targetdata_add(LLVMDataLayoutRef TD, LLVMPassManagerRef PM){
28 LLVMAddDataLayout(TD, PM);
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000029 return Val_unit;
30}
31
Micah Villmow9cfc13d2012-10-08 16:39:34 +000032/* DataLayout.t -> string */
33CAMLprim value llvm_targetdata_as_string(LLVMDataLayoutRef TD) {
34 char *StringRep = LLVMCopyStringRepOfDataLayout(TD);
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000035 value Copy = copy_string(StringRep);
36 LLVMDisposeMessage(StringRep);
37 return Copy;
38}
39
Micah Villmow9cfc13d2012-10-08 16:39:34 +000040/* DataLayout.t -> unit */
41CAMLprim value llvm_targetdata_dispose(LLVMDataLayoutRef TD) {
42 LLVMDisposeDataLayout(TD);
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000043 return Val_unit;
44}
45
Micah Villmow9cfc13d2012-10-08 16:39:34 +000046/* DataLayout.t -> Endian.t */
47CAMLprim value llvm_byte_order(LLVMDataLayoutRef TD) {
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000048 return Val_int(LLVMByteOrder(TD));
49}
50
Micah Villmow9cfc13d2012-10-08 16:39:34 +000051/* DataLayout.t -> int */
52CAMLprim value llvm_pointer_size(LLVMDataLayoutRef TD) {
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000053 return Val_int(LLVMPointerSize(TD));
54}
55
Micah Villmow9cfc13d2012-10-08 16:39:34 +000056/* DataLayout.t -> Llvm.lltype -> Int64.t */
57CAMLprim value llvm_size_in_bits(LLVMDataLayoutRef TD, LLVMTypeRef Ty) {
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000058 return caml_copy_int64(LLVMSizeOfTypeInBits(TD, Ty));
59}
60
Micah Villmow9cfc13d2012-10-08 16:39:34 +000061/* DataLayout.t -> Llvm.lltype -> Int64.t */
62CAMLprim value llvm_store_size(LLVMDataLayoutRef TD, LLVMTypeRef Ty) {
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000063 return caml_copy_int64(LLVMStoreSizeOfType(TD, Ty));
64}
65
Micah Villmow9cfc13d2012-10-08 16:39:34 +000066/* DataLayout.t -> Llvm.lltype -> Int64.t */
67CAMLprim value llvm_abi_size(LLVMDataLayoutRef TD, LLVMTypeRef Ty) {
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000068 return caml_copy_int64(LLVMABISizeOfType(TD, Ty));
69}
70
Micah Villmow9cfc13d2012-10-08 16:39:34 +000071/* DataLayout.t -> Llvm.lltype -> int */
72CAMLprim value llvm_abi_align(LLVMDataLayoutRef TD, LLVMTypeRef Ty) {
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000073 return Val_int(LLVMABIAlignmentOfType(TD, Ty));
74}
75
Micah Villmow9cfc13d2012-10-08 16:39:34 +000076/* DataLayout.t -> Llvm.lltype -> int */
77CAMLprim value llvm_stack_align(LLVMDataLayoutRef TD, LLVMTypeRef Ty) {
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000078 return Val_int(LLVMCallFrameAlignmentOfType(TD, Ty));
79}
80
Micah Villmow9cfc13d2012-10-08 16:39:34 +000081/* DataLayout.t -> Llvm.lltype -> int */
82CAMLprim value llvm_preferred_align(LLVMDataLayoutRef TD, LLVMTypeRef Ty) {
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000083 return Val_int(LLVMPreferredAlignmentOfType(TD, Ty));
84}
85
Micah Villmow9cfc13d2012-10-08 16:39:34 +000086/* DataLayout.t -> Llvm.llvalue -> int */
87CAMLprim value llvm_preferred_align_of_global(LLVMDataLayoutRef TD,
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000088 LLVMValueRef GlobalVar) {
89 return Val_int(LLVMPreferredAlignmentOfGlobal(TD, GlobalVar));
90}
91
Micah Villmow9cfc13d2012-10-08 16:39:34 +000092/* DataLayout.t -> Llvm.lltype -> Int64.t -> int */
93CAMLprim value llvm_element_at_offset(LLVMDataLayoutRef TD, LLVMTypeRef Ty,
Gordon Henriksenab4b7d32008-03-16 20:08:03 +000094 value Offset) {
95 return Val_int(LLVMElementAtOffset(TD, Ty, Int_val(Offset)));
96}
97
Micah Villmow9cfc13d2012-10-08 16:39:34 +000098/* DataLayout.t -> Llvm.lltype -> int -> Int64.t */
99CAMLprim value llvm_offset_of_element(LLVMDataLayoutRef TD, LLVMTypeRef Ty,
Gordon Henriksenab4b7d32008-03-16 20:08:03 +0000100 value Index) {
101 return caml_copy_int64(LLVMOffsetOfElement(TD, Ty, Int_val(Index)));
102}