annotate llvm/bindings/ocaml/bitwriter/bitwriter_ocaml.c @ 252:1f2b6ac9f198 llvm-original

LLVM16-1
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 18 Aug 2023 09:04:13 +0900
parents 79ff65ed7e25
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 /*===-- bitwriter_ocaml.c - LLVM OCaml Glue ---------------------*- C++ -*-===*\
anatofuz
parents:
diff changeset
2 |* *|
anatofuz
parents:
diff changeset
3 |* Part of the LLVM Project, under the Apache License v2.0 with LLVM *|
anatofuz
parents:
diff changeset
4 |* Exceptions. *|
anatofuz
parents:
diff changeset
5 |* See https://llvm.org/LICENSE.txt for license information. *|
anatofuz
parents:
diff changeset
6 |* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception *|
anatofuz
parents:
diff changeset
7 |* *|
anatofuz
parents:
diff changeset
8 |*===----------------------------------------------------------------------===*|
anatofuz
parents:
diff changeset
9 |* *|
anatofuz
parents:
diff changeset
10 |* This file glues LLVM's OCaml interface to its C interface. These functions *|
anatofuz
parents:
diff changeset
11 |* are by and large transparent wrappers to the corresponding C functions. *|
anatofuz
parents:
diff changeset
12 |* *|
anatofuz
parents:
diff changeset
13 |* Note that these functions intentionally take liberties with the CAMLparamX *|
anatofuz
parents:
diff changeset
14 |* macros, since most of the parameters are not GC heap objects. *|
anatofuz
parents:
diff changeset
15 |* *|
anatofuz
parents:
diff changeset
16 \*===----------------------------------------------------------------------===*/
anatofuz
parents:
diff changeset
17
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
18 #include "caml/alloc.h"
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
19 #include "caml/memory.h"
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
20 #include "caml/mlvalues.h"
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
21 #include "llvm_ocaml.h"
150
anatofuz
parents:
diff changeset
22 #include "llvm-c/BitWriter.h"
anatofuz
parents:
diff changeset
23 #include "llvm-c/Core.h"
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 /* Llvm.llmodule -> string -> bool */
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
26 value llvm_write_bitcode_file(value M, value Path) {
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
27 int Result = LLVMWriteBitcodeToFile(Module_val(M), String_val(Path));
150
anatofuz
parents:
diff changeset
28 return Val_bool(Result == 0);
anatofuz
parents:
diff changeset
29 }
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 /* ?unbuffered:bool -> Llvm.llmodule -> Unix.file_descr -> bool */
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
32 value llvm_write_bitcode_to_fd(value U, value M, value FD) {
150
anatofuz
parents:
diff changeset
33 int Unbuffered;
anatofuz
parents:
diff changeset
34 int Result;
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 if (U == Val_int(0)) {
anatofuz
parents:
diff changeset
37 Unbuffered = 0;
anatofuz
parents:
diff changeset
38 } else {
anatofuz
parents:
diff changeset
39 Unbuffered = Bool_val(Field(U, 0));
anatofuz
parents:
diff changeset
40 }
anatofuz
parents:
diff changeset
41
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
42 Result = LLVMWriteBitcodeToFD(Module_val(M), Int_val(FD), 0, Unbuffered);
150
anatofuz
parents:
diff changeset
43 return Val_bool(Result == 0);
anatofuz
parents:
diff changeset
44 }
anatofuz
parents:
diff changeset
45
anatofuz
parents:
diff changeset
46 /* Llvm.llmodule -> Llvm.llmemorybuffer */
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
47 value llvm_write_bitcode_to_memory_buffer(value M) {
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
48 return to_val(LLVMWriteBitcodeToMemoryBuffer(Module_val(M)));
150
anatofuz
parents:
diff changeset
49 }